{"id":"ledger-interpretation-is-consistently-safe","text":"The financial ledger's dual interpretation (full balance from complete scan, spending limits from outflows only) provides both audit completeness and focused business metrics from a single data source — unless the non-atomic balance check allows concurrent mutations between balance reads and spending limit enforcement, enabling over-spending that neither interpretation would detect in isolation.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["payment-ledger-is-fully-auditable","daily-limit-only-counts-outflows"],"outlist":["payment-balance-check-not-atomic"],"label":"dual ledger interpretation is complete only if the balance check is atomic; the TOCTOU gap could allow over-spending between the two read modes"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"ledger-interpretation-is-consistently-safe","truth_value":"IN","reason":"SL justification valid","antecedents":["payment-ledger-is-fully-auditable","daily-limit-only-counts-outflows"],"label":"dual ledger interpretation is complete only if the balance check is atomic; the TOCTOU gap could allow over-spending between the two read modes","outlist":["payment-balance-check-not-atomic"]},{"node":"payment-ledger-is-fully-auditable","truth_value":"IN","reason":"SL justification valid","antecedents":["double-entry-invariant","balance-derived-from-ledger"],"label":"Double-entry + ledger-derived balances = auditable, but verify_integrity skips transfers","outlist":["verify-integrity-ignores-transfers"]},{"node":"double-entry-invariant","truth_value":"IN","reason":"premise"},{"node":"balance-derived-from-ledger","truth_value":"IN","reason":"premise"},{"node":"daily-limit-only-counts-outflows","truth_value":"IN","reason":"premise"}]}}