Changelog¶

All notable changes to Wardline are documented here.

This project adheres to Semantic Versioning and follows the Keep a Changelog format.

Unreleased ¶

Java language binding specification (Part II-B)
Supplementary rule groups: SCN-021 (contradictory decorator detection), SCN-022 (field-completeness verification), SUP-001 (supplementary decorator contracts)
Governance retention requirements documentation with CI artefact configuration
Obligation-ledger conformance model replacing release-only conformance matrix
Bounded Assurance Review (BAR) system for evidence-based compliance verification
wardline regime status and wardline regime verify governance health commands
wardline report overview static report generation (Markdown, HTML, JSON)
wardline corpus publish conformance status generation from corpus + self-hosting SARIF
Restoration boundaries (@restoration_boundary) with evidence-bounded tier restoration
@data_flow advisory decorator (Group 16) for parameterised data-flow intent
Exception drift detection: preview-drift and migrate commands for L3 taint migration
Manifest delegation system for per-path exception authority in monorepos
Overlay validation_scope and contract_bindings for boundary contract verification
Analysis levels guide (L1/L2/L3 comparison and choosing guide)
Governance profiles guide (lite vs assurance migration path)

SARIF output expanded with 30+ run-level properties including governance events, conformance gaps, control law state, and coverage metrics
Expanded severity matrix to 72 cells (9 rules × 8 taint states)
Coherence checks expanded to 14 checks covering tier topology, contracts, and restoration evidence
Exception register now tracks recurrence_count, governance_path, and analysis_level

Taint join commutativity for MIXED_RAW edge cases
Deterministic SARIF output in --verification-mode (no timestamps, stable ordering)

Authority tier model refined to four tiers (INTEGRAL, ASSURED, GUARDED, EXTERNAL_RAW)
Taint state vocabulary expanded to 8 canonical states