F.8:10 - Consequences
Good consequences:
- vocabulary grows only when a receiving use needs a stronger name;
- role-like, source, and record-like expressions return to their governed subjects before naming;
- aliases and F.17 rows retain their admitted meaning and scope;
- F.5 and F.18 receive a recovered subject and a selected naming path; and
- accountable decisions and policy identifiers remain inspectable without making their records act.
Costs:
- authors must recover the subject, pattern, use, scheme, and local sense before naming;
- mixed expressions need separate decisions, and some attractive words stay local or remain aliases;
- durable or public use may require its own NameCard, Bridge, row, reliance, decision result, or publication object; and
- a proposed U-kind receives no F.8 name before E.24.UK settles admission.
Refresh by meaning, not by neighbour edition.
- If F.14, F.5, F.17, or F.18 changes the lightest-sufficient naming ladder, row-entry threshold,
AdmissibleUse, or escalation to a stronger naming object, revisit §§0 and 4.1–4.4, case 7.2, checks 03–09, and the compact corpus entry. - If A.2, C.3, F.4, A.2.1, A.13, A.15.1, or F.6 changes how a local system-role kind is recovered, how
L,K,D, andArelate, how an exact actual performer and Work are admitted, or when precise assignment-bound attribution enters, revisit the corresponding target rows, step 7, §4.3, cases 7.1, 7.3, and 7.6, invariant 4, and checks 06–08. - If A.6.RCD, C.11, C.2.1, or A.15.1 changes how a decision or choice occurrence, result, result episteme, decision-making Work, or missing governor is established, revisit §4.5, the accountable stop in 7.6, invariant 6, and check 10.
- If E.24.CD, E.24.UK, A.8, or A.11 changes object recovery, admission dispositions, or the admission-before-naming order, revisit the entry and ordinary conditions for use, stopping, or returning, the pre-admission target and step 11, case 7.5, invariant 8, and check 12.
- If the policy subject pattern, E.9, A.6.RCD, C.11, or C.2.1 changes the policy specification–identifier distinction or the support required for mint history, revisit the policy target, step 10, case 7.4, §8.1, invariant 9, and checks 10 and 13.
- If a source used in §12 changes a distinction that F.8 adopted, or a better current source preserves the needed precision and readability at lower use cost, revisit that source row and only the F.8 loci named by it.
A new edition number, publication status, link, harmless wording repair, or added example does not reopen F.8 when these meanings stay unchanged. A changed disposition, governed subject, kind or relation, admitted use, ordering dependency, or better solution reopens only the dependent loci named above.