BENCHMARK V1.1 / SYNTHETIC-CONTROLLED

One method. Six boundaries.

Inspect controlled allowed/forbidden pairs, observable outcomes, deterministic verdicts, and the three current exact-remediation lifecycles.

RECORDED SYNTHETIC-CONTROLLED PROOFNo customer-production validation is claimed.

INTERACTIVE EVIDENCE VIEW

Choose a boundary family.

The selected scenario changes. Kimura’s contract → pair → attempt → oracle → verdict proof path does not.

EXECUTABLE ACTION CONTRACT

ALLOWED TWINCONTROL A

FORBIDDEN TWINCONTROL B

WHAT SHOULD HAPPENContract-defined boundary

WHAT WAS ATTEMPTEDCaptured action request

WHAT ACTUALLY HAPPENEDOutcome-oracle observation

CANONICAL VERDICT

EXACT REMEDIATION REPLAY

BOUNDARY PROOF PROTOCOL

The scenario changes. The proof method does not.

01Executable Action Contract

02Controlled Boundary Pair

03Actual Attempt

04Outcome Oracle

05Deterministic Verdict

06Exact Remediation Replay

07Allowed-Function Preservation

08Proof Capsule

VERIFIED CURRENT FIGURES

Benchmark v1.1

6boundary families

12 / 12valid controlled pairs

24 / 24verified oracle observations

12 / 12canonical verdicts

12 / 12benchmark Proof Capsules

3 / 3remediation lifecycles

3 / 3FIX_VERIFIED

100%allowed-function preservation across those 3 lifecycles

10 / 10fail-closed integrity tests

0unexpected nondeterminism

HONEST COVERAGE DENOMINATOR

26 supported / 91 compiled clauses

Unsupported clauses remain in the denominator rather than being silently excluded.

26 SUPPORTED65 UNSUPPORTED

EVIDENCE LIMITATIONS

Integrity is not external-event truth.

Current public benchmark evidence is synthetic-controlled and harness-observed. Hash verification establishes artifact integrity and linkage. It does not independently prove the truth of an external production event.

NO CUSTOMER-PRODUCTION VALIDATION CLAIMED