C.3.4:6.4 - Cross-local Use

KUA-09 (Identity check before bridge). On a locality change, first compare exact base-kind definitions. Same-kind reuse needs no KindBridge but still uses the receiving declaration and a fresh judgment. Distinct-kind use establishes a KindBridge only when its directional correspondence predicate obtains. Differing adaptation constraints or bindings may additionally require an exact correspondence declaration. Source judgments are never copied as receiving truth; justified bridge consequences affect R only.

KUA-10 (Definedness and fail-closed use). Outside adaptation applicability, return not-applicable and form no judgment. For an admissible request with an unavailable dependency, return unknown. Outside correspondence definedness, the guard declines that cross-local use without rewriting an independently evaluated receiving result.