Status: IN
Financial domains achieve end-to-end correctness when domain-adapted coordination (pessimistic locking for wallets, optimistic control for hotels, combined with structural write-read asymmetry) combines with emergent auditability from irreversible accumulation — producing the architecture's only domains with simultaneous safety, lifecycle correctness, and full traceability.
Financial correctness + auditability is end-to-end unless payment atomicity gap breaks the safety guarantee
Depends on (SL): financial-correctness-combines-locking-with-structural-asymmetry, financial-auditability-is-emergent-from-accumulation
Unless: payment-balance-check-not-atomic