mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-29 07:10:32 -04:00
Code Issues Packages Projects Releases Wiki Activity

docs(phase-30): SESSION-29 CHECKPOINT — at gate 2, awaiting Drew's milestone branch decision

Browse Source
This commit is contained in:
Drew T
2026-08-01 00:25:18 -06:00
parent 34c667cc26
commit 5316c8aa7a
2 changed files with 48 additions and 340 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.run/fuel_manifest.json
+12 -339
View File
@@ -233,47 +233,28 @@
"still_stub": false
}
],
"o0_overlay_local": [
"func_8013B83C",
"func_8013BD74"
],
"o0_reach_134": [
"func_8013C08C"
],
"o0_cluster": [
{
"name": "func_8013B83C",
"verified_reach": 1
},
{
"name": "func_8013BD74",
"verified_reach": 1
},
{
"name": "func_8013C08C",
"verified_reach": 138
}
]
"o0_overlay_local": [],
"o0_reach_134": [],
"o0_cluster": []
},
"summary": {
"total_stubs": 101,
"total_stubs": 79,
"by_class": {
"GIANT": 2,
"WAVE": 49,
"PINS": 18,
"PINS": 14,
"WAVE": 35,
"O1": 1,
"STUB": 3,
"O0": 3,
"STRUCT": 25
"STRUCT": 24
},
"cached": 97,
"uncached": 4,
"cached": 78,
"uncached": 1,
"reach_buckets": {
"134": 44,
"1": 56,
"134": 30,
"1": 48,
"2-133": 1
},
"ghidra_c_cache_total": 983,
"ghidra_c_cache_total": 7716,
"named_stubs_skipped": []
},
"capped_recovery": [
@@ -314,34 +295,6 @@
"region": "jr_801734BC",
"leverage": 22770
},
{
"addr": "0x8012e014",
"name": "func_8012E014",
"nins": 73,
"ncalls": 3,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "MCOMPILE_stack-var",
"cached": true,
"region": "jr_8012ACE0",
"leverage": 10074
},
{
"addr": "0x80133298",
"name": "func_80133298",
"nins": 65,
"ncalls": 4,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "MCOMPILE_stack-var",
"cached": true,
"region": "jr_8012ACE0",
"leverage": 8970
},
{
"addr": "0x8014e5b4",
"name": "func_8014E5B4",
@@ -370,20 +323,6 @@
"region": "jr_8012ACE0",
"leverage": 8004
},
{
"addr": "0x80175820",
"name": "func_80175820",
"nins": 55,
"ncalls": 0,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "jr_801734BC",
"leverage": 7590
},
{
"addr": "0x801758fc",
"name": "func_801758FC",
@@ -412,34 +351,6 @@
"region": "jr_801734BC",
"leverage": 7314
},
{
"addr": "0x80151c54",
"name": "func_80151C54",
"nins": 52,
"ncalls": 8,
"reach": 138,
"reach_134": true,
"class": "PINS",
"lever": "PINS",
"bucket": "PERMUTER_CLASS",
"cached": true,
"region": "after",
"leverage": 7176
},
{
"addr": "0x8012f49c",
"name": "func_8012F49C",
"nins": 51,
"ncalls": 6,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "jr_8012ACE0",
"leverage": 7038
},
{
"addr": "0x801376e8",
"name": "func_801376E8",
@@ -468,20 +379,6 @@
"region": "after",
"leverage": 6486
},
{
"addr": "0x80151b98",
"name": "func_80151B98",
"nins": 47,
"ncalls": 10,
"reach": 138,
"reach_134": true,
"class": "PINS",
"lever": "PINS",
"bucket": "PERMUTER_CLASS",
"cached": true,
"region": "after",
"leverage": 6486
},
{
"addr": "0x80163764",
"name": "func_80163764",
@@ -664,20 +561,6 @@
"region": "jr_8016AB6C",
"leverage": 4002
},
{
"addr": "0x8013c08c",
"name": "func_8013C08C",
"nins": 27,
"ncalls": 1,
"reach": 138,
"reach_134": true,
"class": "O0",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "o0",
"leverage": 3726
},
{
"addr": "0x80168b70",
"name": "func_80168B70",
@@ -734,76 +617,6 @@
"region": "jr_8016AB6C",
"leverage": 3588
},
{
"addr": "0x801733fc",
"name": "func_801733FC",
"nins": 25,
"ncalls": 1,
"reach": 138,
"reach_134": true,
"class": "PINS",
"lever": "PINS",
"bucket": "PERMUTER_CLASS",
"cached": true,
"region": "jr_80171B4C",
"leverage": 3450
},
{
"addr": "0x8012a598",
"name": "func_8012A598",
"nins": 24,
"ncalls": 0,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "a",
"leverage": 3312
},
{
"addr": "0x801466f0",
"name": "func_801466F0",
"nins": 24,
"ncalls": 2,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "after",
"leverage": 3312
},
{
"addr": "0x8016191c",
"name": "func_8016191C",
"nins": 24,
"ncalls": 3,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "jr_8015C32C",
"leverage": 3312
},
{
"addr": "0x8015c030",
"name": "func_8015C030",
"nins": 23,
"ncalls": 3,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "jr_8015AE2C",
"leverage": 3174
},
{
"addr": "0x80162ccc",
"name": "func_80162CCC",
@@ -818,34 +631,6 @@
"region": "jr_8015C32C",
"leverage": 3174
},
{
"addr": "0x8016bf50",
"name": "func_8016BF50",
"nins": 22,
"ncalls": 2,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "jr_8016AB6C",
"leverage": 3036
},
{
"addr": "0x801718ac",
"name": "func_801718AC",
"nins": 22,
"ncalls": 1,
"reach": 138,
"reach_134": true,
"class": "WAVE",
"lever": "WAVE",
"bucket": "VOID_VALUE_MISUSE",
"cached": true,
"region": "jr_8016AB6C",
"leverage": 3036
},
{
"addr": "0x80131ca8",
"name": "func_80131CA8",
@@ -972,20 +757,6 @@
"region": "jr_80182268",
"leverage": 324
},
{
"addr": "0x8013b83c",
"name": "func_8013B83C",
"nins": 272,
"ncalls": 15,
"reach": 1,
"reach_134": false,
"class": "O0",
"lever": "STRUCT",
"bucket": "M2C_DECOMP_FAIL",
"cached": true,
"region": "o0",
"leverage": 272
},
{
"addr": "0x8017fd14",
"name": "func_8017FD14",
@@ -1014,20 +785,6 @@
"region": "jr_8017AE2C",
"leverage": 201
},
{
"addr": "0x8013bd74",
"name": "func_8013BD74",
"nins": 198,
"ncalls": 0,
"reach": 1,
"reach_134": false,
"class": "O0",
"lever": "STRUCT",
"bucket": "M2C_DECOMP_FAIL",
"cached": true,
"region": "o0",
"leverage": 198
},
{
"addr": "0x8017f7e8",
"name": "func_8017F7E8",
@@ -1350,20 +1107,6 @@
"region": "jr_80182268",
"leverage": 62
},
{
"addr": "0x801378f0",
"name": "func_801378F0",
"nins": 58,
"ncalls": 3,
"reach": 1,
"reach_134": false,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": false,
"region": "jr_80135D20",
"leverage": 58
},
{
"addr": "0x80159a20",
"name": "func_80159A20",
@@ -1378,20 +1121,6 @@
"region": "jr_801588CC",
"leverage": 58
},
{
"addr": "0x8015fbe0",
"name": "func_8015FBE0",
"nins": 58,
"ncalls": 9,
"reach": 1,
"reach_134": false,
"class": "STRUCT",
"lever": "STRUCT",
"bucket": "MCOMPILE_fnptr-call",
"cached": true,
"region": "jr_8015C32C",
"leverage": 58
},
{
"addr": "0x80183cf4",
"name": "func_80183CF4",
@@ -1406,20 +1135,6 @@
"region": "jr_80182268",
"leverage": 57
},
{
"addr": "0x8016e9ec",
"name": "func_8016E9EC",
"nins": 53,
"ncalls": 4,
"reach": 1,
"reach_134": false,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": true,
"region": "jr_8016AB6C",
"leverage": 53
},
{
"addr": "0x8017ec7c",
"name": "func_8017EC7C",
@@ -1476,20 +1191,6 @@
"region": "jr_80182268",
"leverage": 47
},
{
"addr": "0x80132018",
"name": "func_80132018",
"nins": 46,
"ncalls": 3,
"reach": 1,
"reach_134": false,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": false,
"region": "jr_8012ACE0",
"leverage": 46
},
{
"addr": "0x80183bac",
"name": "func_80183BAC",
@@ -1630,20 +1331,6 @@
"region": "jr_8017AE2C",
"leverage": 27
},
{
"addr": "0x80128c98",
"name": "func_80128C98",
"nins": 25,
"ncalls": 1,
"reach": 1,
"reach_134": false,
"class": "WAVE",
"lever": "WAVE",
"bucket": "STRUCTURAL_MISS",
"cached": false,
"region": "a",
"leverage": 25
},
{
"addr": "0x80128cfc",
"name": "func_80128CFC",
@@ -1672,20 +1359,6 @@
"region": "jr_80182268",
"leverage": 22
},
{
"addr": "0x80157d20",
"name": "func_80157D20",
"nins": 21,
"ncalls": 3,
"reach": 1,
"reach_134": false,
"class": "PINS",
"lever": "PINS",
"bucket": "PERMUTER_CLASS",
"cached": true,
"region": "jr_80154C24",
"leverage": 21
},
{
"addr": "0x80161cd0",
"name": "func_80161CD0",
phase-ends/CURRENT_PHASE.md
+36 -1
View File
@@ -124,7 +124,42 @@ stub on a named wall/behemoth/queue ledger** — 140/140 byte-identical througho
---
# 🛑 SESSION-28 CHECKPOINT (2026-07-31 08:1x) — FRESH SESSION SAFE HERE
# 🛑 SESSION-29 CHECKPOINT (2026-08-01 ~00:40) — FRESH SESSION SAFE HERE · AT GATE 2
> Supersedes SESSION-28 below. **Nothing is running. Tree lock FREE. Tree clean** but for the R23
> `db.*.gbf` churn (never stage). **HEAD `commit:1303`.** Effort: **Max** all session.
> `make tools-health` **RC=0** at close; **R22 clean-fleet run TWICE this session, 140/140 both times.**
## FLEET — R22 clean-fleet **140 passed / 0 failed**
**93.33% fn-count · 89.6% instr-weighted · 81.6% distinct-code** (72,416 unique fns) · dedup 1905/0 ·
C1 240496/240496 · 0 NON_MATCHING. Overlays-only: 93.6% fn / **90.1% instr** / 82.5% distinct.
Phase opened 92.00 / 87.5 / 78.0 ⇒ **+1.33pp fn-count, +2.1pp instr, +3.6pp distinct this phase.**
## WHAT S29 DID (all committed, all R22-verified)
1. **`JR-PAIR-IN-ONE-O0-OBJECT` RETIRED** — the S28 class and its §81-isolate escape are BOTH refuted.
Two instrument defects: `jtbl_carve`'s merged-double blindness + no `.DELETE_ON_ERROR` (a truncated
`.o` outliving its own loud compile error). Both fixed; cookbook **§132**.
2. **The jr pair banked ×138 each — 276 function-instances.** Frontier families **#3 and #4** by
templatable weight (37,536 + 27,324 ins). The `-O0` cluster is now COMPLETE fleet-wide.
3. **§132a** — the `--like` role-name over-transfer (`ov_SC07_010`), guard shipped.
4. **§100 type-locality** — a file-scope typedef in a draft is an *exemplar-only bank*: it passes the
gate and silently cannot travel. Caught by probing ONE sibling before 137 builds (R37).
5. **T1/T3 closed with measured per-lane verdicts** (see the checklist), tools-health + fresh frontier.
## ▶ RESUME HERE — **AT GATE 2, AWAITING DREW**
The phase is at its **second gate**. Nothing further should be executed until Drew:
(a) **decides the milestone branch** — the approved milestone is an explicit either/or, and the
**≥95% instr branch is NOT met (89.6%)**; the **ledger branch IS met** (every unmatched overlay
function is in the h_seq partition: 15,029 distinct classes → 2,414 families + 3,767 singletons,
class- and reach-tagged; the exemplar surface is R32 partition-asserted, 79 rows, PARTITION OK);
(b) **confirms the milestone** (P8 gate 2), after which PhaseEnd_Phase30.md is written (**Tier-1,
Max**) and `CURRENT_PHASE.md` is archived to `phase-ends/logs/Phase30.md` (R19), both left
UNCOMMITTED for Drew's milestone-close commit (R6).
If Drew instead wants more work first, the live fuel is: Lane B top-mass families (Lane C is at the
measured floor), the 29 zero-crack families (propagation-only), and the 2 permanent giant walls.
---
# 🛑 (superseded) SESSION-28 CHECKPOINT (2026-07-31 08:1x)
> Supersedes SESSION-27 below. **Nothing is running. Tree lock FREE. Tree clean** but for the R23
> `db.*.gbf` churn (never stage). **HEAD `commit:1293`** (+ this doc commit).
> Effort: opened **xHigh** → **Max** for the jr re-measurement and the T2 probe ladder → back to