From fdc98002e9f8dfd098937a5951ae7c7a0be9b22b Mon Sep 17 00:00:00 2001 From: Drew T <50529377+Druthulu@users.noreply.github.com> Date: Fri, 11 Sep 2026 02:52:08 -0600 Subject: [PATCH] =?UTF-8?q?phase-36:=20S104=20checkpoint=20refresh=20(~04:?= =?UTF-8?q?30)=20=E2=80=94=20~115=20closes,=20generators=20R27=E2=80=93R42?= =?UTF-8?q?,=20the=20sweep=20done,=20parked=20lists,=20e20=E2=80=93e24=20i?= =?UTF-8?q?n=20flight=20|=20=F0=9F=9B=91=20T7=20RUNNING?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .run/P36/census/lever_census.json | 12 ++++++------ .run/P36/census/lever_census.txt | 10 +++++----- phase-ends/CURRENT_PHASE.md | 8 ++------ 3 files changed, 13 insertions(+), 17 deletions(-) diff --git a/.run/P36/census/lever_census.json b/.run/P36/census/lever_census.json index ed197779a..a014494f5 100644 --- a/.run/P36/census/lever_census.json +++ b/.run/P36/census/lever_census.json @@ -5,7 +5,6 @@ "gte_mnemonics": { "gte_SetRotMatrix": 252, "gte_SetTransMatrix": 231, - "gte_avsz3": 25, "gte_avsz4": 56, "gte_dpcl": 134, "gte_ldclmv": 75, @@ -13,6 +12,7 @@ "gte_ldv0": 758, "gte_ldv3": 177, "gte_ldv3c": 184, + "gte_nccs": 25, "gte_nclip": 108, "gte_rtir": 78, "gte_rtps": 439, @@ -72,16 +72,16 @@ "cfake_markers": { "count": 44, "sample": [ - "src/ov_SC01_080/ov_SC01_080_jr_8017AE2C.c:5178", - "src/ov_SC02_027/ov_SC02_027_jr_8017D898.c:4534", - "src/ov_SC02_028/ov_SC02_028_jr_8017D898.c:5461", "src/800.c:12654", "src/md_SC07_003/md_SC07_003.c:3577", "src/md_SC07_004/md_SC07_004.c:280", "src/ov_SC01_000/ov_SC01_000_jr_8017BEBC.c:3570", "src/ov_SC01_009/ov_SC01_009_jr_8017E590.c:4271", "src/ov_SC01_077/ov_SC01_077_jr_80183CF4.c:3979", + "src/ov_SC01_080/ov_SC01_080_jr_8017AE2C.c:5178", "src/ov_SC02_011/ov_SC02_011_jr_80183178.c:2139", + "src/ov_SC02_027/ov_SC02_027_jr_8017D898.c:4534", + "src/ov_SC02_028/ov_SC02_028_jr_8017D898.c:5461", "src/ov_SC02_041/ov_SC02_041_jr_8017BEBC.c:7554", "src/ov_SC03_014/ov_SC03_014_jr_801848E4.c:5080", "src/ov_SC03_024/ov_SC03_024_jr_8017DF84.c:5534", @@ -281,7 +281,7 @@ } }, "coverage_ok": true, - "elapsed_s": 23.7, + "elapsed_s": 26.0, "generated": "2026-09-11", "gte_levers": { "direct": 357, @@ -292,7 +292,7 @@ "via_macro": 94, "what": "GTE ops whose clobbers exceed the canonical macro's (a scheduling steer): class-B levers INSIDE the headline number since T5 (2026-09-09), marked, 0 at the close" }, - "head": "c621e6d82", + "head": "6d513a6af", "headers": 3181, "levers_AB": { "asm": 2040, diff --git a/.run/P36/census/lever_census.txt b/.run/P36/census/lever_census.txt index c57868173..7f7db8823 100644 --- a/.run/P36/census/lever_census.txt +++ b/.run/P36/census/lever_census.txt @@ -6,13 +6,13 @@ lever_census: 218 binaries · 4,121 TUs + 3,181 headers · coverage OK · unclas coverage attribute raw 76 = live 76 + macro-block 0 + comment/dead 0 class sites in-bodies file-scope bodies distinct TUs marked unmarked kinds A pins 2337 2337 0 1453 617 1082 2337 0 {'pin': 2337} - B asm 11338 11325 13 4695 755 1428 2525 8813 {'keepalive': 340, 'barrier': 316, 'gte': 6346, 'launder': 691, 'gte-lever': 451, 'gte-unsigned': 270, 'instruction': 229, 'asm-body': 13, 'verbatim-body': 2682} - C volatile 1589 1437 152 495 94 609 14 1575 {'decl-file': 152, 'decl-body': 58, 'cast': 1377, 'param': 2} + B asm 11338 11325 13 4695 755 1428 2525 8813 {'gte': 6346, 'gte-lever': 451, 'barrier': 316, 'gte-unsigned': 270, 'launder': 691, 'instruction': 229, 'asm-body': 13, 'keepalive': 340, 'verbatim-body': 2682} + C volatile 1589 1437 152 495 94 609 14 1575 {'decl-body': 58, 'decl-file': 152, 'cast': 1377, 'param': 2} D register 50 50 0 47 47 6 0 50 {'register': 50} E asm-label 7788 1364 6424 1096 157 2090 0 7788 {'asm-label': 7788} F builtin 445 445 0 428 27 302 0 445 {'builtin': 445} G attribute 76 1 75 1 1 40 0 76 {'attribute': 76} - UNION A–D: 5,899 bodies · 1,153 distinct (addresses normalized) · 117 multi-copy classes holding 4,863 bodies · by kind {'shared': 161, 'ov': 5460, 'md': 117, 'main': 151, 'resident': 10} + UNION A–D: 5,899 bodies · 1,153 distinct (addresses normalized) · 117 multi-copy classes holding 4,863 bodies · by kind {'ov': 5460, 'main': 151, 'md': 117, 'shared': 161, 'resident': 10} THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 4,377 sites in 2,140 bodies (827 distinct) · marked !FAKE 4,377 · UNMARKED 0 orphan !FAKE markers (no pin/asm site on the line nor below): 0 marked ordinary-C fakes kept by Drew's S104 ruling (a) (`do { } while (0)`, dead initialisers; NOT levers): 44 @@ -22,11 +22,11 @@ lever_census: 218 binaries · 4,121 TUs + 3,181 headers · coverage OK · unclas whole-body asm routines in C shells, manifest PERMANENT (hand asm, NOT levers): 22 routines · 2,682 sites (2,660 private copies + 22 shared headers); asm-bodies NOT permanent (levers): 13 site(s) ['func_8001E378:DECOMPILE-NOW', 'func_80020F34:DECOMPILE-NOW', 'func_800249F0:DECOMPILE-NOW', 'func_80025CBC:DECOMPILE-NOW', 'func_80026514:UNCERTAIN', 'func_800268D0:UNCERTAIN', 'func_80027058:DECOMPILE-NOW', 'func_80027200:DECOMPILE-NOW', 'func_800CBA44:DECOMPILE-NOW', 'func_8017D810:DECOMPILE-NOW', 'func_8017E26C:UNCERTAIN', 'func_80184440:DECOMPILE-NOW', 'func_801A3BCC:DECOMPILE-NOW'] asm kinds: {'asm-body/direct': 13, 'barrier/direct': 314, 'barrier/via-macro': 2, 'gte/direct': 198, 'gte/via-macro': 6148, 'gte-lever/direct': 357, 'gte-lever/via-macro': 94, 'gte-unsigned/direct': 270, 'instruction/direct': 207, 'instruction/via-macro': 22, 'keepalive/direct': 340, 'launder/direct': 649, 'launder/via-macro': 42, 'verbatim-body/direct': 2682} instruction mnemonics: {'la': 139, 'addu': 23, 'addiu': 22, 'RTP_SND': 22, '.section': 7, 'lui': 4, 'lh': 3, 'and': 2, 'mult': 1, 'mfhi': 1, 'sll': 1, 'li': 1, 'lw': 1, 'nop': 1, 'srl': 1} - gte mnemonics: {'gte_ldv0': 758, 'gte_stlvnl': 593, 'gte_stsxy': 448, 'gte_rtps': 439, 'gte_stflg': 415, 'gte_rtpt': 352, 'gte_SetRotMatrix': 252, 'gte_stsxy3': 236, 'gte_SetTransMatrix': 231, 'gte_rtv0tr': 228, 'gte_ldv3c': 184, 'gte_ldv3': 177, 'gte_stsv': 161, 'lwc2': 158, 'gte_stsz4': 149, 'gte_stsz3': 147, 'gte_stszotz': 134, 'gte_dpcl': 134, 'gte_stsxy3_f3': 111, 'gte_stclmv': 111, 'gte_nclip': 108, 'gte_stopz': 108, 'gte_stsxy3c': 108, 'gte_stsxy3_ft3': 79, 'gte_rtir': 78, 'gte_ldclmv': 75, 'gte_avsz4': 56, 'gte_stotz': 52, 'gte_ldrgb': 30, 'gte_avsz3': 25} + gte mnemonics: {'gte_ldv0': 758, 'gte_stlvnl': 593, 'gte_stsxy': 448, 'gte_rtps': 439, 'gte_stflg': 415, 'gte_rtpt': 352, 'gte_SetRotMatrix': 252, 'gte_stsxy3': 236, 'gte_SetTransMatrix': 231, 'gte_rtv0tr': 228, 'gte_ldv3c': 184, 'gte_ldv3': 177, 'gte_stsv': 161, 'lwc2': 158, 'gte_stsz4': 149, 'gte_stsz3': 147, 'gte_stszotz': 134, 'gte_dpcl': 134, 'gte_stclmv': 111, 'gte_stsxy3_f3': 111, 'gte_nclip': 108, 'gte_stopz': 108, 'gte_stsxy3c': 108, 'gte_stsxy3_ft3': 79, 'gte_rtir': 78, 'gte_ldclmv': 75, 'gte_avsz4': 56, 'gte_stotz': 52, 'gte_ldrgb': 30, 'gte_nccs': 25} asm-bearing macro definitions: 314 (20 names, 3 with >1 text) kinds {'gte': 150, 'launder': 154, 'instruction': 9, 'barrier': 1} controls (R39): src/800.c func_800226C0 pins got 14 expected 45 N-A src/shared/ov/func_80178004.h pins got 8 expected 26 N-A ov_SC03_006 func_80184034 bare-name pins got 0 expected 3 N-A engine_prelude.h asm sites (a macro definition only) got 0 expected 0 OK - elapsed 23.7 s + elapsed 26.0 s diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 721558fc1..d9c3c1283 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -1905,15 +1905,11 @@ accumulate here as the phase produces them.** rough regex, unverified), ~110 of them `func_80157D20` copies** — the structs phase's signature population. R22 after every batch (r22_e/f/g): `check-all: 218 passed, 0 failed of 218`; census **4,517** → (after e1) exit 0. -## 🛑 SESSION CHECKPOINT — S104 (2026-09-10, refreshed ~23:55): T0–T6 ☑, **T7 RUNNING**. 5,097 → **4,603 sites** this session; 38 agent draws, **32 closed at 0** (31 with zero levers, d4 one marked do-while), d29 PARKED (a void→s32 signature — structs phase), d20 PARKED (a minimum-lever body with two invented always-false C branches — **Drew's call**); generators **R27–R37**; the census counts kept ordinary-C fakes apart; R22 `check-all: 218 passed, 0 failed of 218` after every batch | `lever_census --check` exit 0 (4,603 marked, 0 UNMARKED, 0 orphans) +## 🛑 SESSION CHECKPOINT — S104 (2026-09-11, refreshed ~04:30): T0–T6 ☑, **T7 RUNNING**. 5,097 → **~4,390 sites** this session; ~70 agent draws (d1–d39 single classes, e1–e24 TU batches of 3–4), ~115 classes closed at 0 — nearly all with ZERO levers, a handful with a marked do-while (ruling (a)); PARKED: signature changes (d29, d36, e1 ×2, e2, e3, e17) + relocation-only closes (e3 func_80037144, e8 func_801A5094, e12 func_80182614's second lever, e18 func_801805EC) + d20's invented-condition body (Drew's call); generators **R27–R42**; the all-families sweep finished (74 MATCH); `ov_SC02_017_jr_8017DF34.c` has 0 lever sites; R22 `check-all: 218 passed, 0 failed of 218` after every batch | `lever_census --check` exit 0 ### 0. How to use this block A fresh session reads CLAUDE.md's load order, replays this block verbatim, confirms the effort (**S104 ran at `/effort high` on -Opus 5 1M; every agent on Opus**) and executes §2. **In flight when last refreshed (~23:55):** agents d34 `func_80181408` (ov_SC06_010), d35 `func_8018486C` (ov_SC03_091), d36 -`func_80183CC4` (ov_SC03_094), d37 `func_8017DAB8` (ov_SC02_026), d38 `func_801818A4` (ov_SC02_031) — read-only; each leaves `.run/P36/agents/__/body.c` + `mechanism.md` (+ copies under -`scratch/`). And two detached regen passes: the all-families sweep `s104_all` (~660 of 1,020 judged, MATCH rows banked -from its jsonl through part 2 only — §3) and the R37 pass `s104_r37` (bank its TSV when it ends). d20 and d29 are PARKED -(§6). First commands: +Opus 5 1M; every agent on Opus**) and executes §2. **In flight when last refreshed (~04:30):** agents e20 (src/800.c: func_800168C4 func_8001A114 func_8001C320 func_8001C5B8), e21 (src/800_c.c: func_800359B0 func_80036AF8 func_80037EA0 func_80037F3C), e22 (ov_SC06_029: func_8017C954 func_80185D44 func_80181708 func_80184EFC), e23 (src/800_b_2.c: func_80034844 func_8002D320 func_800301C8 func_800314DC), e24 (ov_SC06_016: func_8017E54C func_8017E9CC func_8017F694 func_80180E24) — read-only; each leaves `/body.c` + `mechanism.md` per function; bank with `.run/P36/s104/bank_list.sh` (resolve TUs from the agent's table — `named_definitions` names can be ambiguous across overlays). And the R42 pass `s104_r42` (bank its TSV). The TU-batch lane: take the next 3–4 classes of one TU (skip `$4`–`$7` pins — the missing-parameter shape), brief with the TU's closed mechanisms. (§6). First commands: ``` git log --oneline -1 && git status --short | grep -v '^??' | wc -l ps -eo pid,etime,args | grep '[d]elever_regen' # is s104_all still running?