Security invariants
Which security invariants and failure cases can be checked from outside?
flop invariants --helpA security rule is broader than a passing API check. Explore the failure matrix, see the exact rule and find the evidence still missing.
Where the evidence stops
Some public fields agree. Read the remaining gaps.
A scoped check found a disagreement.
A mapped check lacks usable evidence.
No current check can establish this rule.
Evidence captured from to . Individual source times are inside each cell.
Find the rule. Open the gap.
Recorded evidence. No devnet requests on this page.
54 of 78 source rows match. Open a cell for its quote and checks.
Miner
Quote. Observe. Bound the claim.
Start with the rule
The pinned paper describes requirements. Every row keeps its quote, source lines and explicit gaps.
Inspect the observation
The verifier, indexer audit, harness and spec differ run their existing checks against raw recordings.
Keep the boundary
Agreement in public fields cannot prove runtime enforcement, honest execution or consensus finality.
The page rechecks immutable recordings. It does not run attacks, submit transactions or refresh public endpoints. The report download preserves the original page evaluation time.