Fix test behavioral coverage gaps
Two tests pass but don't prove what they claim. One has dead logic that duplicates another assertion. One tests a trivially true property of a pure function instead of the actual behavioral guard it's named after. These create false confidence — the test suite reports green but the claimed behavior is unexercised. Fix both so the assertions match their intent.
verdict PASSscore 10 / 10findings 4 (1 risk · 0 debt · 3 obs)duration 28mrejection cycles 0shipped May 21, 2026surface cli
Pipeline timeline
Intent to proven code in 28m across Think, Plan, Build, and Verify.
Think4m
Plan6m
Build5m
Verify5m
Assertion ledger
10 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | The dead ternary line is removed from the doctor scaffold test | verified | ok |
| A002 | The doctor test still verifies deployment is listed as a scaffold default | verified | ok |
| A003 | The doctor test still verifies troubleshooting is listed as a scaffold default | verified | ok |
| A004 | An entry with an existing surface is not overwritten during backfill | verified | ok |
| A005 | The backfill guard test uses a surface mismatch to prove the guard works | verified | ok |
| A006 | The backfill guard test does not skip the backfill loop via migration marker | verified | ok |
| A007 | The replacement test carries the A021 contract tag | verified | ok |
| A008 | The trivial deriveSurface idempotency test is removed | verified | ok |
Findings 4 total
riskpackages/cli/src/commands/work.ts→ closed
Backfill guard treats empty string surface as 'no surface' — !'' is truthy in JS, so surface: '' would be overwritten during backfill
obspackages/cli/tests/commands/work.test.ts→ closed
New backfill guard test doesn't verify the negative case — no test for what happens if surface is removed from the guard condition
obs→ closed
Proof context finding surface-awareness-bridge-C1 directly resolved by this build — trivial idempotency test replaced with behavioral backfill guard test
obs→ closed
Proof context finding add-doctor-command-C2 directly resolved by this build — dead ternary logic removed from A022 test
Integrity seal
scopesha256:25f3647eb8f07...
contractsha256:1f32c2f4922e2...
plansha256:534b3ea105671...
specsha256:fab8cee104766...
build-reportsha256:d38a921e89aab...
build-datasha256:875737dc24d0f...
verify-reportsha256:39a86d0815c22...
verify-datasha256:f442747e420e1...
audit cmd$ ana proof audit fix-test-behavioral-coverage → all hashes match