Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 15:00:09 UTC
F.14:5 - Minimal vocabulary
Anti-explosion control pass — one bounded review of related candidate expressions before durable naming objects are added.
Candidate name family — proposed expressions that appear to cover related system-role, status, Work, evidence, source, capability, Method, policy, or local-sense concerns.
Recovered governed value — the exact typed value or relation the expression is trying to designate, under its direct pattern.
Naming use — the exact reader or practitioner action for which the expression is being considered.
Light disposition — no durable name, existing designation, alias, local expression, or existing row reuse.
System-role-kind relation expression — an expression designating an exact A.2.7 substitution, incompatibility, qualification, or bundle relation rather than another local system-role kind.
Status-family expression — an expression for a status family, value, window, confidence claim, or status-use relation defined under F.10 or a direct status pattern.
Blocked minting — the explained result that the candidate remains a light disposition or direct-pattern expression rather than a new durable name or naming object.