mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 06:49:47 -04:00
Code Issues Packages Projects Releases Wiki Activity

fix(phase-33): audit_frontier's LINKED-stub count reads the Stub records (the reference view holds addresses) — control: 1,258 total, 1,258 inside LINKED, 0 game-code; docs/family-hseq.md regenerated by the aborted run's step 02

Browse Source
This commit is contained in:
Drew T
2026-09-06 20:58:29 -06:00
parent 8845fdd994
commit 3e0ecfaccf
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/family-hseq.md
+1 -1
View File
@@ -5,7 +5,7 @@
> Generated by `tools/family_hseq.py` from the 217 binary sigs + per-binary src stubs. Ranked by TEMPLATABLE byte-weight (PURE+IMM members × nins × 4). The byte-gate is the arbiter.
>
> **Scope (217 binaries): 141 location overlays + 75 md_* modules + the resident · MAIN IS EXCLUDED** · generated at HEAD `commit:4014` · stub set derived from `corpus.stubs` — the same oracle `progress.py` counts, so same-tree overlay totals agree by construction; compare digests only at the same HEAD.
> **Scope (217 binaries): 141 location overlays + 75 md_* modules + the resident · MAIN IS EXCLUDED** · generated at HEAD `commit:4027` · stub set derived from `corpus.stubs` — the same oracle `progress.py` counts, so same-tree overlay totals agree by construction; compare digests only at the same HEAD.
**Fleet (overlays):** 100.0% fn / 100.0% instr / 100.0% distinct-code matched. Unmatched: 0 instances / 0 ins (0 distinct classes).
tools/audit_frontier.py
+2 -1
View File
@@ -190,7 +190,8 @@ def main():
# The denominator facts, DERIVED (P33 A5, S87): this used to be a typed caveat naming "the 39 un-onboarded
# modules" and "main's missing oracle" — both resolved in P30/P31 while the text stayed. R51.
linked = {f"src/{seg}.c" for seg in progress._main_linked_segs_from_makefile()}
n_linked_stubs = sum(1 for b, st in ref.items() if b in ("main", "SLUS_007.26") for x in st if getattr(x, "path", "") in linked)
# ref holds ADDRESSES (set(corpus.stubs(b))); the Stub records with their TU path come from the dict itself
n_linked_stubs = sum(1 for st in corpus.stubs("main").values() if st.path in linked) if "main" in ref else 0
n_total = total_open
print(f"DENOMINATOR (R34/R36): agreement above says nothing about code never onboarded, so:")
print(f" stubs {n_total} total, {n_linked_stubs} inside main's LINKED (Sony-object) regions by design, "