Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:10:03 UTC
F.12:15.1 - Static conformance
SCR-F12-S01 (actual subjects). Every evaluation names exact promise content, delivery Work or population, observations and measured values, window, and rule; cells are optional addresses only.
SCR-F12-S02 (scope match). Promise, Work, evidence, population, and window align.
SCR-F12-S03 (evidence). Observations concern the promised outcome of the judged Work.
SCR-F12-S04 (evaluation explicit). The performing System, evaluation Work, enacted Method, exact A.6.1 application and argument and result bindings, characteristic, scale, unit, aggregation, threshold, exclusions, and declared result values are stated as needed.
SCR-F12-S05 (indicator boundary). Direct measurement adds no proxy. A distinct indicator relation names exact participants and a defining or testing pattern, or the evaluation stops at A.6.RCD missing-governor.
SCR-F12-S06 (direct relations). Promise use, delivery, fulfilment, measurement, indicator, evidence use, assurance or material reliance, evaluation, status, and any verdict assertion use their defining or testing patterns.
SCR-F12-S07 (result and status). The operation result stays on its declared scale; RequirementStatus and EvidenceStatus are mapped separately, and evidence insufficiency is never implicit target falsity.
SCR-F12-S08 (optional episteme). A C.2.1 verdict episteme exists only for a named later use and remains distinct from result and status.
SCR-F12-S09 (no generic Bridge). F.9 is used only for a real local-meaning relation and establishes none of the other relations.
SCR-F12-S10 (temporal honesty). No timeless or retroactively rewritten result or status assertion appears.