Cryptographic Proof Plane

Proof Center & Empirical Telemetry

Live dynamic verification status, 100-scenario controlled benchmark comparison, and empirical AWS memory visibility measurements. No static assertions or simulated passes.

Master Independent Verifier

Live automated execution verifying mathematical invariants across all 4 planes

COMPLIANCE:100%

Controlled Head-to-Head Scenario Matrix

100 Systematic Scenarios: Naive Direct Execution vs QUOIN Fenced Execution

SCENARIO ID	DESCRIPTION	NAIVE BASELINE	QUOIN FENCE	OVERHEAD

Independent Terminal Verification Commands

Reproduce all cryptographic verifications, adversarial break vectors, and benchmark comparisons directly from the shell:

python scripts/verify_all.py# Run independent master verifier

python scripts/run_break_campaign.py# Execute 27 adversarial break classes

python benchmarks/campaign.py# Run 100-scenario controlled benchmark