F.14:9 - Reasoning primitives

candidateExpression(e) and recoveredGovernedValue(e, v) and proposedUse(u)
  -> choose a naming disposition for <v,u>, not an ontology for string e.

existingDesignationOrLocalExpression(v, u) is sufficient
  -> stop; do not mint NameCard, SenseCell, row, or name family.

An obtaining systemRoleKindBundleRelation(K1, K2) does not by itself establish a new K1K2 system-role kind. Any such kind requires independent admission under A.2 with C.3.

statusVariant(S, windowOrValue)
  -> keep status family S unless the pattern that defines the status claim establishes a different family.

differentLocalSenseProjections(c1, c2)
  -> test F.9 only for a named correspondence use; not(Bridge(c1,c2)) by difference alone.

The presence of a naming object establishes neither that its governed value exists nor that another naming object is required. Recover the value independently and test the next object’s own receiving-use condition.

These are stopping and dispatch rules. They create no values or relation occurrences.