F.14:14 - Relations

• A.2, A.2.1, A.2.5, and A.2.7 define or constrain system-role kinds, assignments, assignment-state predicates and direct state relations, and relations among system-role kinds. For precise performed Work, A.13 first recovers each exact actual performer and A.15.1 independently admits the dated occurrence; F.6 defines only the later assignment-bound attribution when that relation is expressly consumed. F.14 only blocks names that hide these distinctions.
• Use F.8 to make one candidate’s smallest mint-or-reuse disposition after the F.14 stop test.
• F.9 defines only an actual relation between exact local senses. Shared spelling and cell presence establish none.
• F.17 defines the public term-row form and its entry threshold; F.18 defines the durable naming-settlement NameCard form; neither defines the governed value.
• Use C.2.1 to identify every persisted NameCard, row, or control-record episteme and its EpistemeEditionRelation; use E.24.PUB to state row publication occurrence, expression form, and carrier bearing.
• Use F.10, A.10, B.3, E.10.D2, and the direct policy, access, and source patterns for the corresponding status, evidence, assurance, description, policy, access, and source claims that often arrive with role-like suffixes.