nx_gvmigrate.nx

nx_gvmigrate.nx -- STAGE the gv_check -> gv_check_eq migration (the edit substrate, not the judge). WHY THIS EXISTS. nx_gatelaw_gate's L4 axis measures gates that EMIT their values and reads 2 of 3,422: 666 gates already inherit the base class and print only PASS or FAIL. An arithmetic that cannot see a number can never contradict one, so a PASS-only gate makes an independent SECOND METHOD CLASS structurally impossible -- that is the fleet-level reason PROVEN reads 0/105. gv_check_eq(name, actual, expected, ctr) asserts AND emits in ONE expression, so the number tested and the number published cannot drift apart by construction. The primitive shipped; the TRANSFORMATION was missing. WHAT THIS IS NOT: a second migrator. nx_gate_migrate already owns the dangerous half -- a 4-clause judge-equivalence oracle (exit code, verdict line, PASS/FAIL vector, evidence side-effect) with commit-or-restore never-brick. This organ only writes <src>.migrated, exactly as nx_dedup_migrate stage does, and hands it to that verifier. Composing the proven judge beats re-implementing it, and a second ruler over gate equivalence is precisely the duplicate-ruler defect. SCOPE, MEASURED OVER THE POPULATION, NOT SAMPLED. 901 call sites, corpus_complete=1: 670 carry '==', 147 '>', 44 '>=', 44 '<', 42 ne, 24 '<=', 7 '&&', and 262 sites are MULTI-LINE continuations. An 18-line sample of that same population contained ZERO '==' and would have killed this work; only the full count reversed it. Coarse caveat, stated: those are line-contains counts, so a token inside a tooth NAME inflates them -- this organ re-derives the truth per site by parsing. ONLY the (A == B) as i64 shape is rewritten, because it is the only shape the base class has an emitter for. Every other operator is SKIPPED AND NAMED rather than guessed at: inventing an emitter that does not exist would not compile, and silently dropping a tooth would be far worse than skipping it. The counts printed below form a partition that SUMS to the sites found. license_tier: ORIGINAL