No proof. No merge.

CI passed. CodeAudit found the missing proof.

AI agents write code fast. CodeAudit checks whether a pull request changed behavior without enough evidence to merge.

CodeAudit verdictNEEDS PROOF
Behavior changed
Refund logic now touches invoice sync and ledger writes.
Proof found
Build passed. Existing tests passed.
Missing proof
No regression test proves partial refunds still sync invoice balance.
Required action
Add regression test before merge. Then rerun CodeAudit.