From 375507834cd98df1e1d97e85d5b47a5254cbff55 Mon Sep 17 00:00:00 2001 From: Drew T <50529377+Druthulu@users.noreply.github.com> Date: Thu, 3 Sep 2026 22:50:43 -0600 Subject: [PATCH] =?UTF-8?q?docs(progress):=20main's=20R34=20caveat=20is=20?= =?UTF-8?q?retired=20=E2=80=94=20its=20boundaries=20are=20independently=20?= =?UTF-8?q?verified=20now?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The fleet report still printed 'caveat is R34: no independent second oracle for a PS-X EXE'. That was true until this session; make sig-main-oracle + audit-corpus now cover main at 0 phantom / 0 truncated / 1 explained pad-tail. A stale caveat is the same class of false statement as a stale wall verdict. --- docs/progress.fleet.md | 2 +- docs/progress.md | 2 -- tools/progress.py | 2 +- 3 files changed, 2 insertions(+), 4 deletions(-) diff --git a/docs/progress.fleet.md b/docs/progress.fleet.md index 1dadc3769..4333fbb59 100644 --- a/docs/progress.fleet.md +++ b/docs/progress.fleet.md @@ -7,7 +7,7 @@ FLEET fn-count byte-ident: 363100 / 363151 = 99.99% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 13488257 / 13523865 = 99.7% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 5816503 / 5851972 = 99.4% (90909/90929 unique fns; the DISTINCT-RE number) -MAIN game-code weighted : 47521 / 79510 = 59.8% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-08-05; caveat is R34: no independent second oracle for a PS-X EXE, NOT drift) +MAIN game-code weighted : 47521 / 79510 = 59.8% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-08-05; boundaries INDEPENDENTLY VERIFIED since P31 S77 — `make sig-main-oracle` + `make audit-corpus`: 0 phantom, 0 truncated, 1 explained pad-tail) (fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 13440736 / 13444355 = 100.0%) FLEET REAL substantive : 360781 (of which dedup-shared 255632 via 2220 groups / 255708 instances) diff --git a/docs/progress.md b/docs/progress.md index 257a1026e..96612180d 100644 --- a/docs/progress.md +++ b/docs/progress.md @@ -18,5 +18,3 @@ REAL matches: AverageZ3 CdQueueBusy CdReadRequest CdReadSectorReadyCB CdReadStat NON_MATCHING: build SHA1: 143dbb89f34491258bbc27810d0a12ec8b43a8dd (byte-identical) - -empties audit: 43/43 genuine jr;nop (all clean) diff --git a/tools/progress.py b/tools/progress.py index ac80187c6..98faeb88b 100644 --- a/tools/progress.py +++ b/tools/progress.py @@ -977,7 +977,7 @@ def fleet(): f"FLEET distinct-code(uniq): {wm['dedup_m']:7d} / {wm['dedup_t']} = {wm['dedup_pct']:.1f}% ({wm['dedup_fns']}/{wm['dedup_total_fns']} unique fns; the DISTINCT-RE number)"] if wm.get('main_t'): head += [ - f"MAIN game-code weighted : {wm['main_m']:7d} / {wm['main_t']} = {wm['main_pct']:.1f}% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated {wm['main_sig_date']}; caveat is R34: no independent second oracle for a PS-X EXE, NOT drift)", + f"MAIN game-code weighted : {wm['main_m']:7d} / {wm['main_t']} = {wm['main_pct']:.1f}% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated {wm['main_sig_date']}; boundaries INDEPENDENTLY VERIFIED since P31 S77 — `make sig-main-oracle` + `make audit-corpus`: 0 phantom, 0 truncated, 1 explained pad-tail)", f" (fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: {wm['fleet_m_exmain']} / {wm['fleet_t_exmain']} = {wm['fleet_pct_exmain']:.1f}%)"] else: head += ["# (instr-weighted + distinct-code metrics need .run/sig.*.jsonl — run `make sig-overlays`)"]