nx_dedup_migrate.nx

nx_dedup_migrate.nx -- D001-FAMILY ORGAN-DEDUP MIGRATION VERIFIER (2026-07-23, dedupq-/TS03 lane). THE DEBT (measured): 245 organs in _hdl_build re-implement the same ~10 span/JSON helpers inline (~2400 duplicated funcs, D001-family; queue = knowledge/store/dedupq-). The canonical base is nx_sovjson_lib.nx (proven consumers: nx_seat/nx_clawf_route/nx_actlog/nx_tokroi/nx_ctxcost). The EDIT (delegate local helpers to sj_*) is mechanical -- an author lane or the local maker produces a .migrated source; THIS organ is the unfailable judge that makes committing it safe, which is what lets the migration run AUTONOMOUSLY (a tool that cannot do the wrong thing beats a session that must remember). THE SOUND ORACLE = BEHAVIOR-EQUIVALENCE (source-byte equivalence is the WRONG oracle -- param names/registers differ across organs; the exact lesson that unblocked the D001 gate campaign via judge-equivalence): (a) exit code identical (original argless probe vs migrated argless probe) (b) stdout byte-identical -- or, when the original is not self-deterministic (two baseline runs differ, e.g. epoch stamps), digit-normalized-identical; the MODE is DECLARED in the report, never silently weakened (c) non-vacuity: the migrated source imports nx_sovjson_lib AND calls sj_* AND differs from the original (an unchanged "migration" is a lie -> REFUSE) commit-or-restore: on ANY refusal/build-failure/harness error the ORIGINAL source is restored AND rebuilt (so /tmp + staged artifacts match reality); the pre-migration copy is kept as <src>.premigrate, FIRST-TOUCH preserved (rule 13 additive -- a second run never clobbers the true original). never-brick: touches ONLY buildroot sources + /tmp build artifacts; live elf promotion stays a separate deliberate /api step. No hw writes (Rule 26). nx_dedup_migrate stage <organ> -- copy <src> -> <src>.migrated (edit substrate) nx_dedup_migrate verify <organ> <migrated-src> -- judge + commit-or-restore nx_dedup_migrate selftest -- hermetic oracle teeth (gv lib) license_tier: ORIGINAL expect_exit: 0