What problem does it solve? Feature maps and verification contracts rot the moment application behavior changes, leaving stale task references, dead paths, broken links, and unproven coverage claims that nobody notices until a release breaks. ## Core Features & Use Cases - Static Verification Audit: Runs verify_audit.py to detect placeholders, stale mise tasks, stale paths, unlinked maps, duplicate scenario IDs, and unsupported automated coverage claims without executing any code. - Change-to-Map Reconciliation: With --base <merge-base>, matches changed source files against map references, flags unmapped changes, and records a --rationale for purely internal changes. - Proof Freshness Tracking: Compares the newest run record against current contract and map hashes, reporting proof as current, stale, or none, and writes a JSON audit record separating authored edits from run results. - Use Case: Before reporting a behavior-changing task, run the audit against the merge base to confirm the diff, feature IDs, tests, and map entries agree, then update only the affected map rows and cite the audit record in the PR. ## Quick Start Ask the agent to audit this repository's verification contract and feature maps against the merge base and report any stale tasks, paths, or unmapped changes.
