Contract
Define required reality before action.
Evidence ceiling E3Proof boundary
FRP-2.0.0-draft.1 · FSK-1.0.0
Model Checking
Check the state machine, not the marketing
Protocol function
Check the state machine, not the marketing
The current seller-controlled model explored 2,374 states and 5,804 transitions with 0 invariant failures under its stated abstraction. It does not prove real-world source honesty or all production behavior.
Evidence
Observe contract-authorized sources.
Kernel
Apply deterministic quorum and STOP rules.
Certificate
Bind classification, evidence root and lineage.
Sentinel
Detect later contradiction and propose re-evaluation.
Verifier
Reproduce integrity and classification offline.
Evidence boundary
Built and seller-tested—not independently validated.
Current public evidence is E1–E3. No institutional participant, named integration, independent reproduction, paid evaluation or production customer deployment is claimed.
SELLER CONTROLLED
158 tests recorded in the canonical SCOPE manifest; 4,096 adversarial combinations with 0 observed false FINAL; 32/32 vectors in each canonical verifier; 0 differential discrepancies; executable model; clean offline reproduction.
NOT YET ESTABLISHED
Independent implementation; signed outside falsification; institution-hidden performance; target-system truth; production performance; third-party assurance; institution authorization.
EXTERNAL COUNTS
Independent implementations 0 · outside falsification records 0 · institution-authored executed cases 0 · production platform dependencies 0.