nx_retire_onto_lib.nx

nx_retire_onto_lib.nx -- RETIRE A PRIVATE FUNCTION ONTO ITS SHARED OWNER, function side (global tooling, 2026-08-24, born on procgen PG2). WHY THIS EXISTS: the library plane's first census (nx_libindex find isqrt) returned 106 of 5,517 libraries carrying a private isqrt beside nx_vecmath's gate-proven vm_isqrt, and nx_nxa_fk carrying quaternion primitives beside vm_q_*. nx_oo_extract moves BYTE-IDENTICAL bodies into one lib; these bodies are not identical -- each is its own hand-rolled Newton loop -- so the move is "keep the private NAME, replace the BODY with one call to the owner". That was done by hand for eight files earlier the same day. A hand edit repeated 106 times is the class of work an organ exists for, and a hand edit is also the class of work that silently half-lands (the estate's str.replace law). WHAT IT DOES: rewrites func <private>(<params>) -> <ret> { ... } to func <private>(<params>) -> <ret> { return <owner>(<param names>) } and inserts `import "<owner_lib basename>"` after the LAST import line when it is absent (before the first top-level func/const when the file has no imports). Brace matching SKIPS string literals and line comments, so a `}` inside a string or a comment cannot end the body early -- the gate plants exactly that. WHAT IT REFUSES, BY NAME: the function is absent or malformed; the owner lib is unreadable or lacks the owner function; arity, any parameter TYPE, or the return type differ; the file IS the owner lib. A refusal writes nothing. Idempotent: a body that already is the one-line delegation reports ALREADY and writes nothing, so a sweep can be re-run after a partial apply and the partition still sums. WHAT IT DOES NOT DO: prove behaviour. The proof lane is the consumer's rebuild plus the consumer's own gates on the roster. An exact floor replacing a capped Newton loop is a NAMED delta, never a silent one, and the name of it is printed on the APPLIED line. NO SILENT CAPS: files are read whole through sys_read_file (sized from the file); the only bounded buffers are a pattern scratch (RO_PAT_CAP, sized for "func <name>(" and `import "<basename>"`) and the parameter table (RO_MAX_PARAMS -- a function with more parameters than that REFUSES by name rather than truncating). license_tier: ORIGINAL