E.10:7.4 - Global tests (apply after 7.2 and 7.3)

MG-DA-T1 (Three-arena witness). A LEX.TokenClass(t)=KernelToken candidate includes the tri-domain witnesses from MG-K1. Other token classes document at least one contrasting arena. MG-DA‑T2 (Object‑of‑talk). The head noun uniquely signals the subject area; avoid free-floating metaphors. MG-DA‑T3 (Implementation-word recovery). Do not relocate mechanism- or implementation-looking wording by lexical category. First recover the object and rule; remove accidental implementation wording from the candidate token only after that recovery. Use U.Method, qualifying U.MethodDescription, qualified holder-ability claim under A.2.2, U.Mechanism, a system or architecture object, A.19 CharacteristicSpace, A.2.5 SystemRoleAssignmentStateRelation, C.29 representation, formal substrate, source wording, or another value only when its predicate is satisfied. MG-DA‑T4 (Enum clarity). For an enumeration, list the closed value set, the kind being classified, and the rule that classifies it. Add a CharacteristicSpace only when the enumeration is one declared CSLC scale for a named U.Characteristic; list shape alone does not establish CHR membership. MG-DA-T5 (Collision and uniqueness). Before merge, perform a full-text search over the corpus and the Reserved-Names registry. A candidate colliding with an existing token used in another FPF sense is not admitted; rename it or raise a DRR to deprecate the prior token. MG-DA‑T6 (Teaching swap). In the stated didactic use under §6.2, the term can be swapped in without caveats. MG-DA-T7 (EntityOfConcern ground). The definition card states the EntityOfConcern-side kind criterion for membership explicitly; reviewers can check membership without consulting external narrative.