From 3e0ecfaccf050fd4626d8e931c665760f242eef7 Mon Sep 17 00:00:00 2001
From: Drew T <50529377+Druthulu@users.noreply.github.com>
Date: Sun, 6 Sep 2026 20:58:29 -0600
Subject: [PATCH] =?UTF-8?q?fix(phase-33):=20audit=5Ffrontier's=20LINKED-st?=
 =?UTF-8?q?ub=20count=20reads=20the=20Stub=20records=20(the=20reference=20?=
 =?UTF-8?q?view=20holds=20addresses)=20=E2=80=94=20control:=201,258=20tota?=
 =?UTF-8?q?l,=201,258=20inside=20LINKED,=200=20game-code;=20docs/family-hs?=
 =?UTF-8?q?eq.md=20regenerated=20by=20the=20aborted=20run's=20step=2002?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/family-hseq.md     | 2 +-
 tools/audit_frontier.py | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/family-hseq.md b/docs/family-hseq.md
index baa1d8dea..80bf84371 100644
--- a/docs/family-hseq.md
+++ b/docs/family-hseq.md
@@ -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).
 
diff --git a/tools/audit_frontier.py b/tools/audit_frontier.py
index 7d11e9f96..c1fa43a0c 100644
--- a/tools/audit_frontier.py
+++ b/tools/audit_frontier.py
@@ -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, "