mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-28 14:59:48 -04:00
phase-36: S104 checkpoint refresh (~04:30) — ~115 closes, generators R27–R42, the sweep done, parked lists, e20–e24 in flight | 🛑 T7 RUNNING
This commit is contained in:
Drew T
@@ -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,
|
||||
|
||||
@@ -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
|
||||
|
||||
@@ -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/<alias>__<fn>/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 `<PACK>/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?
|
||||
|
||||
Reference in New Issue
Block a user