ARK-471 — Database Destructive Query · Cross-Context Replay

ARK-471 — Part of the ExecutionProof experimental corpus by Remnant Fieldworks Inc. This experiment tests whether a database destructive query authorization approved for one context can be replayed in a different context. It uses a 5-dimension context tuple (tenant, session, resource, audience, environment) and tests 8 arms × 100 scenarios = 800 decisions: ALLOW (exact context match), DENY (any dimension differs). Verdict: PASS (g_allow_exact=1.0000, g_deny_replay_min=1.0000, g_margin=0.9500). Dual-guard concordance: 800/800 (100%). Kill-gate: 150/150 wrong-allows (falsifiable). Prevents cross-context replay attacks for database destructive operations.