BUG-001 / recorded verification

Did the fix hold?

Comparison ready
The same regression expectation was evaluated before and after the repair. The original source fails at $40; the repaired source passes at $45.
failed✗ Failed

Before · seeded defect

Assertions0 passed · 1 failed
Duration184 ms
Source revisionbaseline-seeded-bug

Expected 4500 cents, received 4000 cents.

passed✓ Passed

After · Bob fix

Assertions1 passed · 0 failed
Duration201 ms
Source revisionbob-fix-verified

Expected 4500 cents, received 4500 cents.

Source diff

The repair removes the duplicate discount subtraction while keeping the expected total assertion unchanged.

- return subtotal - discount * 2
+ return subtotal - discount

✓ calculateTotal(5000, SAVE10) === 4500
Provenance
Fixture identitynorthstar-v1
Regression commandnpm test -- checkout
Evidence policyRecorded from genuine local test runs