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, "