Status: IN
Payment ledger auditability is supported by the architecture's irreversible accumulation: because double-entry pairs are append-only and balances are derived from complete ledger scans, the full financial history is structurally difficult to lose — though the audit mechanism may have blind spots (such as the integrity verification function's exclusion of transfer transactions), meaning auditability largely follows from the state-growth property but may not guarantee complete traceability without additional verification.
domain-specific auditability falls out of the architecture's general irreversible-accumulation property
Depends on (SL): payment-ledger-is-fully-auditable, state-is-irreversibly-accumulative