DROP REQUIRED EVIDENCE
PENDING_REALITY · FAIL CLOSED
Evidence ceiling E3Proof boundary
COUNTEREXAMPLE SYNTHESIS
Make the attack generator part of the product.
Instead of relying only on hand-authored cases, Site 60 synthesizes minimal mutations across evidence, obligation binding, graph binding, runtime measurement, signatures, freshness, authority roots and contradiction state.
Current bounded synthesis
11/11 current mutations fail closed.
0 unsafe Reality Commit outcomes in the current synthesized trust-binding search.
TAMPER EVIDENCE VALUE
PENDING_REALITY · FAIL CLOSED
WRONG OBLIGATION RECEIPT
PENDING_REALITY · FAIL CLOSED
WRONG GRAPH RECEIPT
PENDING_REALITY · FAIL CLOSED
WRONG RUNTIME MEASUREMENT
PENDING_REALITY · FAIL CLOSED
REPLAY EVIDENCE OTHER OBLIGATION
PENDING_REALITY · FAIL CLOSED
CORRUPT SIGNATURE
PENDING_REALITY · FAIL CLOSED
STALE EVIDENCE
PENDING_REALITY · FAIL CLOSED
CORRELATE AUTHORITY ROOTS
PENDING_REALITY · FAIL CLOSED
ADD GOVERNING CONTRADICTION
CONTRADICTED · FAIL CLOSED
DEBUG ATTESTATION
PENDING_REALITY · FAIL CLOSED