Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:30:20 UTC
E.10:8.7 - Acceptance and regression checks (LEX and USM)
SCR‑MOR‑S01 (Suffix whitelist). Every normative token with a reserved suffix matches § 8.1 row semantics and passes EntityOfConcern and Description-episteme boundary and specification-use gates.
SCR-MOR-S02 (Kernel exclusions). KernelToken names contain none of the inadmissible suffixes from section 8.2.
SCR-MOR-S03 (Prefixes). Reserved prefixes obey § 8.3; no local glossary, source, scheme, or use mints U.*.
SCR‑MOR‑S04 (Run and design gate).Work appears only for executions; MethodDescription has no runtime actuals.
SCR‑MOR‑S05 (Collision). Full‑text + Reserved‑Names checks pass (no other sense of the token elsewhere).
SCR‑MOR‑S06 (Object‑of‑talk). Heads pass M‑2; no bare metaphors as heads.
RSCR-MOR-E01 (DevOps firewall). Tool and file suffixes stay in local glossaries or operational configurations; none leak into KernelToken names.
RSCR‑MOR‑E02 (USM compliance). For each LexicalAct, verify USM.Scope ∈ AllowedScopes(LEX.TokenClass) (see § 7.5).