{"id":"payment-double-entry-guarantees-balance-integrity","text":"The double-entry ledger invariant (every movement creates balanced debit-credit pairs) and full-ledger balance derivation guarantee that balances reflect the true sum of all operations — unless the non-atomic overdraft check allows concurrent payments to both pass validation and create conflicting ledger entries.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["double-entry-invariant","balance-derived-from-ledger"],"outlist":["payment-overdraft-not-atomic"],"label":"Double-entry provides an audit invariant, but TOCTOU in the overdraft check can create entries that individually balance but collectively overdraw"}],"dependents":["all-monetary-operations-maintain-double-entry-invariant"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"payment-double-entry-guarantees-balance-integrity","truth_value":"IN","reason":"SL justification valid","antecedents":["double-entry-invariant","balance-derived-from-ledger"],"label":"Double-entry provides an audit invariant, but TOCTOU in the overdraft check can create entries that individually balance but collectively overdraw","outlist":["payment-overdraft-not-atomic"]},{"node":"double-entry-invariant","truth_value":"IN","reason":"premise"},{"node":"balance-derived-from-ledger","truth_value":"IN","reason":"premise"}]}}