ARK-473 — Financial Transaction · Exact Action Match

ARK-473 — Part of the ExecutionProof experimental corpus by Remnant Fieldworks Inc. This experiment establishes the baseline for financial transaction authorization using a 5-tuple: account_from, account_to, amount, currency, transaction_type (TRANSFER/WITHDRAW/DEPOSIT). It tests whether authorization decisions enforce exact match across all tuple dimensions. Verdict: PASS (g_allow_exact=1.0000, g_deny_mismatch_min=1.0000, g_margin=1.0000). Dual-guard concordance: 800/800 (100%). Kill-gate: 600/600 wrong-allows (falsifiable). Part of the P01 production-boundary series testing real failure modes in financial authorization.