Reference Verifier Spec v0. 1 defines deterministic verifier semantics for execution-bound admissibility claims. The verifier evaluates whether execution claims are reproducible under fixed contract identity, canonical input identity, and replay-equivalence constraints. It formalizes fail-closed behavior for unverifiable or non-equivalent claims and provides a strict status model for admissibility verification. Included files: - REFERENCEVERIFIERSPECV0₁. md - RUNTIMEINVARIANTTESTSV0₁. md - TERMINOLOGYCANON. md - INVARIANTS. md - FORMALMODELONEPAGE. md - MANIFESTEVENTV0₁. md - FILEHASHESSHA256. txt Verification status applies to the v0. 1 baseline only and does not propagate across modified runtime, policy, or contract identities.
OLEG SURKOV (Wed,) studied this question.