F.15:5 - Minimal vocabulary

• Finite harness scope - an F.15-local by-value selection of exact current refs, versions, triggered rules, and one receiving use; not a U-kind, relation, evidence set, or selected Structure by default.
• Static Conformance Rule (SCR) - an F.15-local declared predicate over exact current inputs.
• Regression and Stability Conformance Rule (RSCR) - an F.15-local declared predicate over exact earlier/later inputs plus the continuity or change claim and receiving use.
• Check application - an actual A.6.1 operation application with exact rule and object bindings, when current.
• Dated assessment Work - a specific U.Work occurrence used only for a replayable performance claim. Each performer must already have the A.13 core and the Work must already be independently admitted under A.15.1. F.6 is additionally required only when the receiving claim needs precise assignment-bound attribution.
• Result claim - one C.2.1 episteme asserting pass, fail, or undetermined for one exact rule application, scope version, and use; not a general status value.
• Witness - an exact example, counterexample, invariant, trace, or edition note cited by the result claim; its presence is not the result or an evidence-use relation.
• Conformance record - an optional C.2.1 episteme that packages refs to the scope, applications/work, result claims, witnesses/evidence paths, non-admitted uses, and reopen conditions; it performs no check.
• Changed member - one exact prior/later pair whose governed identity, relation truth, description, designation, status use, or publication availability may affect the receiving use.