diff --git a/.run/P36/census/lever_census.json b/.run/P36/census/lever_census.json index 7ca159cd4c..1519a804c7 100644 --- a/.run/P36/census/lever_census.json +++ b/.run/P36/census/lever_census.json @@ -237,7 +237,7 @@ } }, "coverage_ok": true, - "elapsed_s": 23.5, + "elapsed_s": 23.0, "generated": "2026-09-10", "gte_levers": { "direct": 362, @@ -248,7 +248,7 @@ "via_macro": 100, "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": "0d92d1029", + "head": "f96af3e48", "headers": 3181, "levers_AB": { "asm": 10240, diff --git a/.run/P36/census/lever_census.txt b/.run/P36/census/lever_census.txt index 8d87268453..757c25b6f0 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 13879 13879 0 5276 953 2080 13879 0 {'pin': 13879} - B asm 19783 19770 13 7352 904 1980 10506 9277 {'instruction': 1199, 'keepalive': 1317, 'gte': 6858, 'barrier': 3563, 'gte-lever': 462, 'gte-unsigned': 3, 'launder': 3686, 'asm-body': 13, 'verbatim-body': 2682} + B asm 19783 19770 13 7352 904 1980 10506 9277 {'gte': 6858, 'barrier': 3563, 'gte-lever': 462, 'gte-unsigned': 3, 'launder': 3686, 'instruction': 1199, 'asm-body': 13, 'keepalive': 1317, 'verbatim-body': 2682} C volatile 1590 1438 152 496 96 610 14 1576 {'decl-body': 58, 'decl-file': 152, 'cast': 1378, 'param': 2} D register 50 50 0 47 47 6 0 50 {'register': 50} E asm-label 7680 1257 6423 989 119 2084 0 7680 {'asm-label': 7680} F builtin 445 445 0 428 28 302 0 445 {'builtin': 445} G attribute 76 1 75 1 1 40 0 76 {'attribute': 76} - UNION A–D: 9,580 bodies · 1,542 distinct (addresses normalized) · 279 multi-copy classes holding 8,317 bodies · by kind {'ov': 9052, 'md': 135, 'main': 165, 'shared': 218, 'resident': 10} + UNION A–D: 9,580 bodies · 1,542 distinct (addresses normalized) · 279 multi-copy classes holding 8,317 bodies · by kind {'ov': 9052, 'shared': 218, 'main': 165, 'md': 135, 'resident': 10} THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 24,119 sites in 6,317 bodies (1,257 distinct) · marked !FAKE 24,119 · UNMARKED 0 orphan !FAKE markers (no pin/asm site on the line nor below): 0 GTE levers (clobbers beyond the canonical macro's): 462 sites (100 via a variant macro, 362 direct) · marked 462 · UNMARKED 0 · unsigned GTE statements 3 @@ -28,4 +28,4 @@ lever_census: 218 binaries · 4,121 TUs + 3,181 headers · coverage OK · unclas 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.5 s + elapsed 23.0 s diff --git a/docs/lever-progress.tsv b/docs/lever-progress.tsv index ffc3f8d633..b994b69bdd 100644 --- a/docs/lever-progress.tsv +++ b/docs/lever-progress.tsv @@ -28,3 +28,4 @@ date milestone head sites_AB pins asm bodies_AB distinct_AB marked unmarked gte_ 2026-09-10 S102 T7 wave b — b2/b5/b5s/b6 banked plus R19 and R20's own closes (766 bodies): a chained assignment, a symbol alias defeating cross-jump, and the store hoisted above its copy 9d78fc408 24915 14541 10374 6577 1259 24915 0 462 314 1590 50 7680 445 76 2026-09-10 S102 T7 b7 — func_80166690: four accumulators retyped short in ONE edit, the truncation temps deleted, the colour temp typed to its destination field (126 bodies) 17d192d24 24789 14415 10374 6451 1258 24789 0 462 314 1590 50 7680 445 76 2026-09-10 S102 T7 b8 — func_80135888: a guarded do-while defeating cross-jump, a duplicated block replaced by goto to shed one loop-weighted reference, and a two-arm temp inlined (134 bodies, the largest class) 0d92d1029 24119 13879 10240 6317 1257 24119 0 462 314 1590 50 7680 445 76 +2026-09-10 S102 wave b close — 8 agent closes banked (b1/b2/b3/b5/b5s/b6/b7/b8), b4/b9 read without closing; R19/R20/R21 added; fleet 218/218 f96af3e48 24119 13879 10240 6317 1257 24119 0 462 314 1590 50 7680 445 76 diff --git a/docs/levers.md b/docs/levers.md index 67943b51ac..d8c4fecd09 100644 --- a/docs/levers.md +++ b/docs/levers.md @@ -74,6 +74,7 @@ counted, not marked). E, F and G belong to the canonical type layer and are the | 2026-09-10 | S102 T7 wave b — b2/b5/b5s/b6 banked plus R19 and R20's own closes (766 bodies): a chained assignment, a symbol alias defeating cross-jump, and the store hoisted above its copy | 14541 | 10374 | **24915** | 6577 | 1259 | 462 | 314 | 1590 | 50 | 7680 | 445 | 76 | `9d78fc408` | | 2026-09-10 | S102 T7 b7 — func_80166690: four accumulators retyped short in ONE edit, the truncation temps deleted, the colour temp typed to its destination field (126 bodies) | 14415 | 10374 | **24789** | 6451 | 1258 | 462 | 314 | 1590 | 50 | 7680 | 445 | 76 | `17d192d24` | | 2026-09-10 | S102 T7 b8 — func_80135888: a guarded do-while defeating cross-jump, a duplicated block replaced by goto to shed one loop-weighted reference, and a two-arm temp inlined (134 bodies, the largest class) | 13879 | 10240 | **24119** | 6317 | 1257 | 462 | 314 | 1590 | 50 | 7680 | 445 | 76 | `0d92d1029` | +| 2026-09-10 | S102 wave b close — 8 agent closes banked (b1/b2/b3/b5/b5s/b6/b7/b8), b4/b9 read without closing; R19/R20/R21 added; fleet 218/218 | 13879 | 10240 | **24119** | 6317 | 1257 | 462 | 314 | 1590 | 50 | 7680 | 445 | 76 | `f96af3e48` | ### The campaign — every batch, from the ledger (derived on every render)