Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:00:05 UTC
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.