F.0.1:7 - Conformance Checklist

F.0.1:7.1 - Static checks

• SCR-F01 (Recoverable source). Every load-bearing local meaning identifies the exact source, edition, and passage directly or through an unambiguous scoped reference.
• SCR-F02 (Plain first result). The ordinary branch’s result is a readable meaning statement, and the practitioner may stop there.
• SCR-F03 (Conditional cell). A SchemeSenseCell appears only for a named reuse, claim, receiver, or relation need and keeps ReferenceScheme, LocalExpression, and LocalSenseClaim distinct.
• SCR-F04 (Separate support). A LocalSenseBasisRelation is asserted only when current; source identification, reliance, and assurance are not inferred from it.
• SCR-F05 (No string identity). Shared wording, family, score, or row does not establish a relation between local senses.
• SCR-F06 (Explicit relation and use). Every claimed cross-local relation uses exact F.17 endpoints and the applicable F.9 relation profile. When a receiving use is current, a separate C.2.1 claim names the proposed action, use direction, correspondence rule, tolerated loss, and polarity.
• SCR-F07 (Temporal honesty). Designed descriptions and performed occurrences remain distinct wherever the source fixes that difference.
• SCR-F08 (No subject capture). The local gloss does not redefine the subject’s behaviour, deontics, measurement, kind, proof, or work rules.

F.0.1:7.2 - Regression and evolution checks

• RSCR-F01 (Affected edition change). A changed edition or passage reopens only local claims and later uses that relied on the changed content.
• RSCR-F02 (Endpoint change). A changed cell claim or stance triggers recheck of relations and uses that cite that endpoint.
• RSCR-F03 (Composition guard). A relation chain never silently becomes a direct relation or unrestricted substitution.
• RSCR-F04 (Source-cut relevance). Reopen F.1 only when the receiving question or use, a relied source role, known rival, counterexample, or transfer limit changes.
• RSCR-F05 (Historical recovery). An old Context-shaped artifact is recovered only for a current reliance; missing values return as exact unresolved inputs.