nx_autofix_auto.nx

nx_autofix_auto.nx -- THE SELF-LOCALIZING FIX LOOP (2026-07-16): removes the last a-priori knowledge from the autonomous fix episode. nx_autofix_localfix proved the LOCAL MAKER (model-generated fix, machine-verified) but was TOLD the buggy line. This organ DISCOVERS it: it parses the candidate grader's own per-function FNRES rows to find WHICH function fails, extracts that function's current source line from the file (brace-depth clip), and only then hands it to the local maker. The independent grader (fresh compile+run) remains the only judge at every stage. THE NOT-HARDCODED TOOTH: the SAME organ runs against TWO candidates whose seeded bugs live in DIFFERENT functions (candidate2 -> sgn, candidate3 -> dbl; neither is in the few-shot template). Correct localization must name a different function in each episode -- data-driven, not baked in. Episode: [1 IDENTIFY+LOCATE] grader run -> failing FNRES row -> function name [2 FLAG w/ the DISCOVERED name] [3 BACKUP] [4 FIX = local 1.5B i8 greedy, few-shot, buggy line = the EXTRACTED source] [5 VERIFY = no failing FNRES row] [6 REVERT + re-grade = original failing row returns]. RETRY LADDER (2026-07-17): round-2 = ONE greedy retry on a reframed prompt (echo-aware + machine report); rounds 3+ = AF_BON_N SAMPLED retries (pinned temp/top-p/top-k, FIXED seed ladder -> the whole sweep stays deterministic: seeds are part of the input, xorshift64* is seed-deterministic). Greedy is a fixed point (same prompt -> same bytes -- the v2 sweep showed every greedy round-2 on a miss reproduced round-1 byte-identically); independent samples break it (A1 best-of-N precedent). The fresh compile+run grader stays the ONLY judge at every rung; failed samples are reverted. argv: <model> [manifest] [ledger-override] -- the override is the TESTING LANE: a validation run writes episode rows to a scratch ledger so it can never masquerade as the newest official batch (the swebench gate + autograde pulse read the real ledger's newest ts batch). Green-only: CGB localpass row per verified fix (generator=15b-autofix-auto). Misses bank curriculum. exit: 0 = every episode's loop sound (fix green OR honest miss) | 1 = a loop-integrity failure. license_tier: ORIGINAL