nx_gate_migrate.nx

nx_gate_migrate.nx -- D001 GATE-DRY MIGRATION VERIFIER (2026-07-22). THE DEBT: 1918 of 1996 gate organs (96%) hand-roll their verdict scaffold instead of inheriting nx_gate_verdict. Every prior attempt to eat it reached for a BYTE-equivalence proof and refused, because byte-identity is UNACHIEVABLE BY CONSTRUCTION here: gv_check emits " <name>: PASS" where a hand-rolled row emits " <name> PASS", and gv_verdict reformats the summary line entirely. The wrong oracle -- not a hard problem -- is why D001 never moved. THE SOUND ORACLE = JUDGE-EQUIVALENCE, 4 clauses, measured before vs after in the SAME environment: (a) exit code identical -- the gate still passes/fails the same way (b) judge verdict identical -- gg_line_green(last "verdict=" line, "GREEN") agrees. We COMPOSE nx_gate_green (the ecosystem's ONE judge) rather than reimplement it: the migration is sound exactly when the thing that JUDGES gates cannot tell the difference. (c) PASS/FAIL vector identical -- same checks, same results, same counts (d) evidence side-effect preserved -- OPTIONAL, only when the caller names the file; when absent it is reported UNCHECKED, never silently assumed clean (self-ceiling law L011). Byte-difference alone MUST NOT refuse -- that is the whole point (tooth T5). DIVISION OF LABOUR (deliberate): the EDIT is semantic and belongs to the gate's owner lane; the PROOF is mechanizable and belongs here. So this is a VERIFIER with commit-or-restore, never an auto-editor. never-brick: on ANY divergence, failed build, or harness error the ORIGINAL source is RESTORED and the verdict is REFUSE. The pre-migration copy is kept (rule 13 additive) as <src>.premigrate. nx_gate_migrate verify <gate> <migrated-src> [evidence-file] nx_gate_migrate anchor <gate> <anchored-src> -- seq585: adopt the canonical verdict= anchor nx_gate_migrate probe <gate> nx_gate_migrate selftest ANCHOR RUNG (seq585, MUST precede the DRY rung for the 953 unjudgeable gates): a gate that emits PASS/FAIL + exit 0/1 but no "verdict=" line is machine-read as NOT-GREEN by gg_line_green (missing anchor == failure, nx_gate_green.nx:56) -- a silent false negative. `anchor` verifies an anchor-ADOPTION edit: before must have NO anchor in its output, after MUST have one, exit + PASS/FAIL vector identical, and the emitted verdict must AGREE with the exit code (GREEN iff exit 0 -- an anchor that lies about the exit is worse than no anchor). Same commit-or-restore as verify. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0