5 Commits

Author	SHA1	Message	Date
Drew T	db63fcc673	tools(phase-35): T6 part 2 — the dead macro branches dropped from 12 live tools; the macro-form guard in tool_census --check (ast scan of every LIVE tool, FROZEN/retired/6 whitelisted detectors excluded; 0 LIVE tools reference the retired form; --guard-root negative control: the pre-T4 tree flags exactly the 12 fixed + 3 retired); progress.py: an empty-bodied included member is EMPTY, not folded into REAL (the R32 bucket assertion caught the double count) — the fleet denominator 363,221 -> 363,680 (+459: SC03_015's 219 single-site macros, SC03_118 +3, the never-extended members of five groups) and REAL 360,744 -> 350,533 with EMPTY up the same; progress.json + README block + fleet table regenerated; SETUP; kit corpus	2026-09-08 20:53:05 -06:00
Drew T	5a9f455e60	tools(phase-35): T6 part 1 — 14 macro-era tools FROZEN (tools/frozen.py: one refusal from main(), imports never exit; the plan's 7 + 7 the guard census found, family_remap's CLI among them), 4 retired to tools/sunset/ (dedup_propagate + dedup_extend -> share_body.py with add_members_surgical and the load_sig library moved verbatim; macro_draft; test_reconcile_ledger), six lane callers repointed to share_body --apply --bucket new, validate_targets imports share_body, tool_census accepts FROZEN; dictionary + sunset README rows; kit corpus	2026-09-08 20:34:41 -06:00
Drew T	9062f0fcc0	docs(phase-16): PIVOT — m2c+permuter won't crack the loose-typed core; new plan + harness fixes ... - docs/struct-core-pivot.md: findings + decision + new research directions. Root cause = the original engine is LOOSELY TYPED (K&R; same fn called with int/ptr, arg/no-arg across sites), so no single canonical signature exists -> m2c guesses inconsistently, permuter can't fix semantics, byte-gate (correctly) rejects. Yields ~3%, not the crack. New plan: emulator-recover the actor struct/types -> Ghidra global type propagation -> Ghidra-C -> permuter+gate. - harness bug-fixes (REAL, kept): p16_permute output-0-only match (killed the false '42%'), base.c keeps callee externs, winner_to_draft line-strip; sig_unify canonicalizes m2c's no-extern prototypes; gen_engine_decls.py (documents why a global canonical header breaks loose-typed matches). - a few byte-gated leaf matches banked in ov_SC01_077.c.	2026-06-19 10:05:58 -06:00
Drew T	ed6314f090	feat(phase-16): wire the permuter into auto_driver (the near-miss yield lever) ... - driver per-fn flow: m2c -> match_one prefilter -> if near-miss & --permute-secs>0, run decomp-permuter (time-boxed, reuses p16_permute setup/run) -> use the score-0 winner as the draft -> whole-binary byte-gate. The permuter is closing near-misses well in the overnight batch, so it's the driver's core yield step for the unattended run. - +--permute-j (RAM-bound on the 15GiB box).	2026-06-18 23:41:40 -06:00
Drew T	c8c9fd20c1	feat(phase-16): S5 driver+supervisor+safe-exit + NULL fix + sig_unify pipeline ... - common.h: +NULL (byte-neutral; recovers 54/106 m2c CC1-fails that were just NULL-undeclared) - tools/auto_driver.py: never-stop worklist loop (m2c -> sig_unify -> byte-gate -> propagate -> commit), STOP-sentinel safe-exit at every fn boundary, heartbeat.json - tools/auto_supervisor.sh (pure-bash babysitter, relaunch-on-crash, reap permuters, MCP-off), auto_stop.sh (touch .run/auto/STOP), auto_status.sh (remote check-in) - p16_known_answer.py: +--gate (whole-binary capability test) - YIELD REALITY (honest, P9): macro+sig_unify whole-binary = 4/16 (25%) on KNOWN-matchable, ~1% on the unmatched hard tail. The permuter is the untested differentiator -> overnight test. - CURRENT_PHASE: full night's findings + Drew's never-stop/safe-exit/graduated-ladder refinements	2026-06-18 23:15:31 -06:00