F.15:6 - Objects under check
A practitioner applying F.15 may check these exact objects together but redefines none:
- effective
U.ReferenceSchemevalues and exact prior/later editions; - independently governed local-sense claims and F.17
SchemeSenseCellcoordinates; - exact governed values and relation occurrences together with the rules that identify each value or say when each relation obtains, and the PatternIDs that locate those rules;
- F.4
SystemRoleKindDescriptionepistemes and their exact local system-role kinds; - F.18 NameCard epistemes, selected Tech/Plain designations, aliases, and lineage;
- F.17 UnifiedTermRow epistemes and exact row editions, including admissible one-cell rows;
- actual F.9 Bridge occurrences, with Bridge descriptions or Cards referenced separately when current;
- status families, values, targets, scopes, windows, source conditions, and uses recovered through F.10 or another applicable status rule;
- selected bounded-model-use Structures and their separate descriptions only when structural organization changes the checked use;
- exact source, evidence, currentness, and publication relation occurrences needed by the result’s receiving use.
A description, Card, row, label, shared table, stable id, selected scope, or earlier pass makes none of these subject relations obtain and grants no continuity, equivalence, conformance, authority, system-role kind or assignment, status, or evidence use.