F.15:8 - Static conformance rules for local material
SCR-F15-S1 (Finite exact scope). Every selected member resolves to one exact governed value, occurrence, episteme, or by-value scheme at one exact version; the receiving use and triggered rule refs are explicit. Scope membership is selection, not evidence or conformance.
SCR-F15-S2 (Local-sense basis currentness).
Each relied-on local-sense claim names its effective ReferenceScheme and exact expression. If a LocalSenseBasisRelation is cited, its exact occurrence and separate description resolve under F.17; a source title, carrier, NameCard, or row does not replace it.
SCR-F15-S3 (SchemeSenseCell identity).
Each cell is the exact F.17 value <ReferenceScheme by value, LocalExpression, LocalSenseClaim>. No cross-local items, description fields, source labels, or selected Structures are merged into one cell.
SCR-F15-S4 (Two selected registers). When Tech and Plain designations are current, both are the exact expressions selected by the same current F.18 NameCard for the same governed value and admitted use. Register difference does not create another value or sense.
SCR-F15-S5 (Minimal gloss). A local gloss states only the needed sense and blocked use. It does not smuggle behavior, permission, evidence, source authority, publication status, global sameness, or a check result.
SCR-F15-S6 (Local reuse before Bridge).
Another expression under the same <ReferenceScheme, LocalSenseClaim> projection is a designation or alias question. Different projections open the F.9 question only when a named semantic-correspondence use is current; scheme difference alone proves no Bridge.