Proof Intelligence Hardening
Consolidation pass on the proof intelligence surface. Two confirmed bugs corrupt data, the staleness detector produces 78% false positives, shared logic is copy-pasted three times, and the audit display conflates actionable findings with monitoring noise. These aren't independent problems — they grew feature-by-feature without a consolidation pass. The proof surface now undermines its own credibility: the tool that verifies AI work can't get its own verification data right.
verdict PASSscore 29 / 29findings 17 (0 risk · 6 debt · 11 obs)duration 1h 42mrejection cycles 0shipped May 5, 2026surface cli
Pipeline timeline
Intent to proven code in 1h 42m across Think, Plan, Build, and Verify.
Think10m
Plan18m
Build63m
Verify11m
Assertion ledger
29 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | AC status counts come only from the AC Walkthrough section, not the entire report | verified | ok |
| A002 | A PASS mention in the Findings section does not inflate the assertion count | verified | ok |
| A003 | Reports missing the AC Walkthrough heading still produce counts using full content | verified | ok |
| A004 | The FAIL rejection logic exists in exactly one helper function | verified | ok |
| A005 | A FAIL result in single-phase flow still blocks completion | verified | ok |
| A006 | A FAIL result in multi-phase flow still blocks completion | verified | ok |
| A007 | The recovery path uses the same counting function as the main completion path | verified | ok |
| A008 | Zero-run health output uses the shared computation function instead of hardcoded values | verified | ok |
Findings 17 total
debtpackages/cli/src/commands/work.ts→ closed
guardFailResult JSDoc first line says 'Write proof chain files' — copy-paste from writeProofChain description
obspackages/cli/src/commands/work.ts→ closed
guardFailResult changes multi-phase FAIL message format from original — adds 'Phase N: ' prefix not present before
obspackages/cli/src/utils/proofSummary.ts→ closed
parseACResults heading match is case-sensitive and exact — '## AC walkthrough' or '## AC Walkthrough' (extra space) would miss
obspackages/cli/tests/commands/work.test.ts→ closed
No tagged tests for A004-A008 — structural/behavioral assertions verified by source inspection only, not by @ana-tagged test cases
obs→ closed
Proof context finding 'Theoretical false-match in parseACResults regex' from V1 Code Changes is now resolved by this build's section scoping
+12more findings
Integrity seal
scopesha256:057fbf44a671d...
contractsha256:eddfe6b4c1b77...
plansha256:c9b2fb9aa040b...
specsha256:9ec351ab5c14e...
build-reportsha256:a3e4207f259db...
build-datasha256:d5768448f812f...
verify-reportsha256:060ba9016f8cb...
verify-datasha256:c6a16b5928edb...
audit cmd$ ana proof audit proof-intelligence-hardening → all hashes match