nx_retire_onto.nx

nx_retire_onto.nx -- CLI for retiring a private function onto its shared owner (global tooling, 2026-08-24). Thin main only; every function lives in nx_retire_onto_lib.nx so nx_retire_onto_gate composes them in-process. nx_retire_onto one <file.nx> <private_fn> <owner_lib.nx> <owner_fn> [dry|prove|apply] nx_retire_onto sweep <plane-prefix> <symbol-suffix> <owner_lib.nx> <owner_fn> [dry|prove|apply] prove = generate a differential probe (private vs owner over a declared input ladder), build it with the estate's builder, run it; apply = the same, and write ONLY on a PASS. Nothing writes unproven. plane-prefix is the libindex row plane, spelled IN FULL (knowledge/store/libindex-); every library symbol ending in <symbol-suffix> is a candidate. Dry by default. Prints one line per candidate and a partition that sums: retirable + already + applied + refused = candidates. exit 0 = ran (dry, applied, already) · 1 = a sweep saw at least one REFUSED · 2 = usage or a single REFUSED license_tier: ORIGINAL