FPF Reference

E.10.D2:12.1 Static conformance checks (SCR)

Preface node heading:e-10-d2-12-1-static-conformance-checks-scr:41573

Content

  • SCR-D2-S01 (Suffix discipline). Every episteme with suffix –Spec passes the Spec-gate (F ≥ F4 ∧ testable invariants ∧ harness link ∧ Context named). Otherwise it bears –Description.
  • SCR‑D2‑S02 (Characterisation verbs). Texts never say an intension “contains” RCS/RSG; they say it is characterised by them via the Description/Spec.
  • SCR‑D2‑S03 (Plane purity). No episteme mixes role states and knowledge statuses; each appears only on its correct plane.
  • SCR‑D2‑S04 (context‑locality). Every Description/Spec names its U.BoundedContext; wording reads correctly when prefixed by the Context.
  • SCR‑D2‑S05 (Two registers). Tech and Plain labels present on all Descriptions/Specs.
  • SCR‑D2‑S06 (Carrier separation). Identity statements refer to Epistemes; files are referenced only as U.Carrier encodings.
  • SCR‑D2‑S07 (Windowed evaluation). All state attestations cite a window W (instant or interval).