ExecutionProof Enterprise Agent Boundary Testbed — ARK-493 through ARK-498 (Frozen Preregistration v1.1)

This deposition contains the frozen preregistration (v1.1), the complete testbed source, and the full evidence artifacts for six preregistered experiments (ARK-493 through ARK-498) characterizing the enforcement boundary of the ExecutionProof agent-authorization gate. The gate verifies six dimensions (actor identity, live authority, evidence, policy version, system state, exact-action integrity) and emits ALLOW / DENY / HOLD, recording every decision in a signed, hash-chained, independently reconstructable ProofRecord. Results (single reproducible run, preregistration hash verified at execution): 161 scored cases, 161 PASS, 0 enforcement leaks, GATE-STOP not triggered; dual-guard (in-process + isolated-subprocess) agreement on all 161 records. ARK-497 demonstrates independent reconstruction of all nine decision elements and 10/10 single-field tamper detection with zero false positives by a verifier statically proven to import nothing from the application. ARK-498 characterizes production-like overhead behind a real HTTP/loopback-TCP boundary (~1,810 requests) and meets all six frozen hard criteria: fail-closed leak count 0, zero duplicate executions, 100% ProofRecord completeness, clean error accounting, recovery with no automatic re-execution of denied requests, and 100% independent signature verification. Per-experiment: ARK-493 enforcement boundary (6 paths x 15 cells) PASS 90/90; ARK-494 semantic boundary / argument mutation PASS 13/13; ARK-495 temporal boundary / authority change mid-flight PASS 11/11; ARK-496 multi-agent delegation & self-approval defense PASS 8/8; ARK-497 independently reconstructable ProofRecord + tamper detection PASS 30/30; ARK-498 networked production-like performance PASS on all 6 hard criteria. Important: latency/throughput data are published as production-like overhead characterization, NOT a benchmark certification and NOT a production SLA, and must not be compared to the prior in-process microsecond testbed (ARK-483-492). Frozen preregistration v1.1 SHA-256 464b9fb8be9d6cca052f236dc9deec9f8e89b781cafc58701e79b2d05d52952a; it supersedes v1.0 (SHA-256 deb9c43ee252ecd9cb217788f783ebf6fd7113883170749fedaa1509425406ce), which is preserved unchanged. GATE-STOP and preserved-FAIL records from prior series remain unchanged; negative results are retained.