A.6.9:4.4 - Lexical guardrails

In normative or decision-carrying prose, replace the umbrella word with a sentence that exposes the action and stop:

Intended meaning	Plain action	Exact follow-through
ordinary same-context designation	“Both expressions designate this local sense.”	Cite the common projection and naming pattern; no Bridge.
cross-family semantic interpretation	“Use A to explain B; do not substitute it.”	Test the cross-family Bridge. Use it for explanation only when it obtains and a separate affirmative explanation-use claim states its nearest non-use.
naming convenience	“Use the label ‘actor’ in this comparison; keep account and customer eligibility distinct.”	Obtaining Bridge plus a C.2.1 claim naming direction, label rule, and zero tolerance for eligibility transfer.
directional substitution	“For calculation X, read A as B by rule R within tolerance T; do not reverse it.”	Obtaining Bridge, affirmative claim for `<X,A->B,R,T>`, and current A.10 or B.3 reliance.
type-structure reuse	“Reuse this subtype row only while invariants I remain true and loss stays within T.”	Obtaining Bridge plus a separately warranted structural-use claim.
contrast	“These senses differ in this stated way; do not substitute them.”	Obtaining `Disjoint` or `Partial-overlap` Bridge plus negative substitution-use polarity.
unresolved proposal	“The mapping is available, but the semantic relation is not established.”	Candidate card or plain stop naming the missing endpoint, predicate fact, or dependency.

Plain teaching prose may retain same, align, or map when the local sentence tells the reader what to do and what result would reopen the claim. Add a non-inference only when a plausible intended reader could otherwise overread the sentence and the guard changes understanding or action.