Contract
Define required reality before action.
Evidence ceiling E3Proof boundary
FRP-2.0.0-draft.1 · FSK-1.0.0
External Assurance Package
Begin review without informal setup
Protocol function
Begin review without informal setup
The package binds release identity, FRP, FSK, schemas, vectors, verifiers, formal model, build instructions, SBOM, provenance, attack instructions, known limitations and Evidence Boundary. Proprietary adapters, private attack data and customer material are excluded.
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.