V1 Code Changes
Surgical code changes preparing for 1.0.0. Remove dead references, fix a parser coupling bug, standardize CLI output, clean build config. No new features. Every change is a fix, removal, or standardization. This is the second of two scopes — the first (v1-documentation-overhaul) handles docs. This scope handles code.
verdict PASSscore 20 / 20findings 4 (1 risk · 1 debt · 2 obs)duration 2h 17mrejection cycles 1shipped May 3, 2026surface cli
Pipeline timeline
Intent to proven code in 2h 17m across Think, Plan, Build, and Verify.
Think1m
Plan86m
Build44m
Verify6m
Assertion ledger
20 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | The parser matches AC results by status word, not by emoji symbol | verified | ok |
| A002 | Existing verify reports with emoji format still parse correctly | verified | ok |
| A003 | Bold-label format from real verify runs parses correctly | verified | ok |
| A004 | Arrow-suffix format from real verify runs parses correctly | verified | ok |
| A005 | The overall Result line is not counted as an individual AC pass | verified | ok |
| A006 | All existing proof summary tests pass without fixture changes | verified | ok |
| A007 | All existing work pipeline tests pass unchanged | verified | ok |
| A008 | The verbose flag no longer exists on the scan command | verified | ok |
Findings 4 total
riskpackages/cli/src/utils/proofSummary.ts→ closed
Theoretical false-match in parseACResults regex — bullet lines outside AC section containing PASS/FAIL could inflate counts
debtpackages/cli/tests/utils/proofSummary.test.ts→ closed
No false-match edge case test for non-AC bullet lines containing status words
obspackages/cli/src/utils/proofSummary.ts→ closed
proofSummary.ts ~1550 lines — past comfort threshold, known from prior cycles
obs.husky/pre-commit→ closed
Pre-commit comment claims ~9s / 10s threshold — will drift as test count grows (1807 now)
Integrity seal
scopesha256:38a98678fc871...
contractsha256:9fa69ffdc2079...
plansha256:d764ef387b75e...
specsha256:c200eb5a33983...
build-reportsha256:78eaaa83ee63c...
build-datasha256:0d5cd50604f0c...
verify-reportsha256:d915118cab049...
verify-datasha256:297c79058f045...
audit cmd$ ana proof audit v1-code-changes → all hashes match