← All proofs

Claim

REFUSALS DO NOT CONSUME ELIGIBLE VALUE

Status

PROVEN_IN_CODE

Law

A declined decision never spends a free question and never settles payment — the debit is reversed.

Implementation

record.refusal → debit reversal at onSend; refusalIssued branch never reaches consumeFreeQuestion; refusals never settle x402

Test

tests/refusals.test.ts suite

Limitation

publication_gate refusals (claim produced, withheld) do charge — documented

Last verified

2026-10-17 · build edd6a6f (edd6a6f35dcab81b178a2e1ef1a31c2901aa67b8)

Reproduction

pnpm --filter @tollbridge/api test tests/refusals.test.ts