ARK-468 — Database Destructive Query · Exact Action Match
收藏官方服务:
资源简介:
ARK-468 — Part of the ExecutionProof experimental corpus by Remnant Fieldworks Inc. This experiment establishes the baseline for database destructive query authorization using a 5-tuple: database_name, table_name, operation (DROP/DELETE/TRUNCATE), schema_version, execution_mode. 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 database authorization.
提供机构:
Zenodo创建时间:
2026-07-18



