From e02fd383587bf180bd00a375492221726cf942af Mon Sep 17 00:00:00 2001
From: Drew T <50529377+Druthulu@users.noreply.github.com>
Date: Thu, 30 Jul 2026 17:01:53 -0600
Subject: [PATCH] =?UTF-8?q?feat(phase-30):=20T0.5=20=E2=80=94=20DefineFunc?=
 =?UTF-8?q?tions=20completion=20pass=20wired=20into=20the=20batch=20(defin?=
 =?UTF-8?q?e=20missing=20stubs=20from=20splat=20truth,=20re-decompile)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Probe: main +476/477, fresh-import ov_SC03_001 +238/238, ov_SC02_011 +227/228. Raw-blob
auto-analysis finds only the reachable subset (Phase-10 finding, now automated per program).
---
 tools/prefetch_fleet.py | 25 +++++++++++++++++++++++--
 1 file changed, 23 insertions(+), 2 deletions(-)

diff --git a/tools/prefetch_fleet.py b/tools/prefetch_fleet.py
index 812a68c9d..cdc1eaf89 100644
--- a/tools/prefetch_fleet.py
+++ b/tools/prefetch_fleet.py
@@ -100,6 +100,19 @@ def run_decompile(program, addrfile, log):
         return subprocess.run(cmd, stdout=lf, stderr=subprocess.STDOUT, cwd=REPO).returncode
 
 
+def run_define(program, addrs, log):
+    """DefineFunctions.java completion pass (the Phase-10 mechanism): raw-blob auto-analysis only
+    finds the REACHABLE subset; splat's linear sweep found them all, so seed the program with the
+    still-missing stub addrs (probe evidence: main 477/2002, fresh imports ~60% defined) and let
+    the decompile retry pick them up. Reads .run/<prog>_funcs.txt implicitly (0xADDR per line)."""
+    fl = os.path.join(REPO, ".run", f"{program}_funcs.txt")
+    open(fl, "w").write("\n".join("0x%08X" % a for a in addrs) + "\n")
+    cmd = [HEADLESS, PROJ_DIR, PROJ, "-process", program, "-noanalysis",
+           "-scriptPath", SCRIPTS, "-postScript", "DefineFunctions.java"]
+    with open(log, "a") as lf:
+        return subprocess.run(cmd, stdout=lf, stderr=subprocess.STDOUT, cwd=REPO).returncode
+
+
 def import_overlay(ov, log):
     blob = family_remap.img_path(ov)
     vram = vram_of(ov)
@@ -148,12 +161,20 @@ def main():
                     or "Unable to locate" in tail):
                 if import_overlay(p, log) == 0:
                     rc = run_decompile(p, addrfile, log)
+        # completion pass: define the still-missing addrs, then re-decompile (resumable delta)
+        have = cached()
+        missing = [x for x in addrs if fname(x) not in have]
+        if rc == 0 and missing:
+            if run_define(p, missing, log) == 0:
+                rc = run_decompile(p, addrfile, log)
         got = len(cached()) - before
+        have = cached()
+        missing = [x for x in addrs if fname(x) not in have]
         state = "OK" if rc == 0 else f"RC={rc}"
         print(f"[{i}/{len(order)}] {p:16} +{got}/{len(addrs)}  {state}  "
               f"({(time.time()-t0)/60:.0f} min elapsed)", flush=True)
-        if rc != 0 or got < len(addrs):
-            failed[p] = (rc, len(addrs) - got)
+        if rc != 0 or missing:
+            failed[p] = (rc, len(missing))
     print(f"[prefetch] DONE: cache {len(cached())} files; "
           f"{len(failed)} programs with residue: "
           + (", ".join(f"{p}(rc={rc},missing={m})" for p, (rc, m) in sorted(failed.items())[:20]) or "none"))