From 0ffb2c04d7d64244d87b01a90c616379b6a84380 Mon Sep 17 00:00:00 2001
From: Drew T <50529377+Druthulu@users.noreply.github.com>
Date: Sat, 1 Aug 2026 20:48:10 -0600
Subject: [PATCH] docs: regenerate family-hseq digest at HEAD (the checkpoint's
 queue is derived from it)

---
 docs/family-hseq.md | 72 ++++++++++++++++++++++-----------------------
 1 file changed, 36 insertions(+), 36 deletions(-)

diff --git a/docs/family-hseq.md b/docs/family-hseq.md
index acada553d0..07f074fbf1 100644
--- a/docs/family-hseq.md
+++ b/docs/family-hseq.md
@@ -2,13 +2,13 @@
 
 > Generated by `tools/family_hseq.py` from the 138 overlay sigs + per-overlay src stubs. Ranked by TEMPLATABLE byte-weight (PURE+IMM members × nins × 4). The byte-gate is the arbiter.
 >
-> **Scope: the 138 OVERLAYS only** (no main, no resident) · generated at HEAD `commit:1350` · 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: the 138 OVERLAYS only** (no main, no resident) · generated at HEAD `commit:1352` · 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):** 95.5% fn / 92.5% instr / 85.9% distinct-code matched. Unmatched: 15,800 instances / 975,117 ins (12,005 distinct classes).
+**Fleet (overlays):** 95.7% fn / 92.8% instr / 86.5% distinct-code matched. Unmatched: 15,161 instances / 935,927 ins (11,519 distinct classes).
 
-**Tail cross-check (Phase-25 close):** 8,848 tail fns / 432,623 ins → 471 h_seq families ≥2, **127 substantial (nins≥80) / 118,240 ins**.
+**Tail cross-check (Phase-25 close):** 8,696 tail fns / 422,958 ins → 463 h_seq families ≥2, **125 substantial (nins≥80) / 113,971 ins**.
 
-**Full frontier (all unmatched by h_seq):** 2275 target families (≥2 members or a matched sibling) + 3767 singletons (Step-D residue). Substantial: **458 families / 428,722 templatable ins**, 24 with a matched sibling (zero-crack). Substantial member classes: 2,592 PURE · 31 IMM · 6 STRUCT-excluded.
+**Full frontier (all unmatched by h_seq):** 2242 target families (≥2 members or a matched sibling) + 3767 singletons (Step-D residue). Substantial: **451 families / 411,548 templatable ins**, 17 with a matched sibling (zero-crack). Substantial member classes: 2,403 PURE · 31 IMM · 6 STRUCT-excluded.
 
 
 ## Top substantial families (by templatable byte-weight)
@@ -33,35 +33,35 @@
 | 16 | 491 | 7 (7/0/0) | 6/7 | cross-address | PURE | 0 | Y | 0x801863cc modal | 3,437 |
 | 17 | 166 | 20 (20/0/0) | 20/20 | scattered | PURE | 0 | · | 0x8017fac0 modal | 3,320 |
 | 18 | 293 | 11 (11/0/0) | 4/11 | cross-address | PURE | 0 | · | 0x8017c43c modal | 3,223 |
-| 19 | 92 | 35 (35/0/0) | 11/35 | scattered | PURE | 1 | · | 0x8017c910 matched | 3,220 |
-| 20 | 90 | 35 (35/0/0) | 11/35 | scattered | PURE | 1 | · | 0x8017c064 matched | 3,150 |
-| 21 | 770 | 4 (4/0/0) | 1/4 | per-location | PURE | 134 | · | 0x80144b9c matched-ov077 | 3,080 |
-| 22 | 611 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | · | 0x80186e24 modal | 3,055 |
-| 23 | 263 | 11 (11/0/0) | 11/11 | scattered | PURE | 0 | · | 0x80182fd4 modal | 2,893 |
-| 24 | 557 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x80186570 modal | 2,785 |
-| 25 | 185 | 15 (15/0/0) | 13/15 | scattered | PURE | 0 | · | 0x8018b23c modal | 2,775 |
-| 26 | 551 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x80189540 modal | 2,755 |
-| 27 | 125 | 22 (22/0/0) | 22/22 | scattered | PURE | 0 | Y | 0x80185440 modal | 2,750 |
-| 28 | 386 | 7 (7/0/0) | 6/7 | cross-address | PURE | 0 | · | 0x80186b78 modal | 2,702 |
-| 29 | 177 | 15 (15/0/0) | 13/15 | scattered | PURE | 0 | · | 0x8018aa98 modal | 2,655 |
-| 30 | 83 | 31 (31/0/0) | 30/31 | scattered | PURE | 1 | · | 0x80189c7c matched | 2,573 |
-| 31 | 513 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x801878e8 modal | 2,565 |
-| 32 | 96 | 25 (25/0/0) | 10/25 | scattered | PURE | 1 | · | 0x8017c738 matched | 2,400 |
-| 33 | 154 | 15 (15/0/0) | 15/15 | scattered | PURE | 0 | · | 0x8018389c modal | 2,310 |
-| 34 | 164 | 14 (14/0/0) | 14/14 | scattered | PURE | 0 | · | 0x80190748 modal | 2,296 |
-| 35 | 147 | 15 (15/0/0) | 15/15 | scattered | PURE | 0 | · | 0x80183cac modal | 2,205 |
-| 36 | 144 | 15 (15/0/0) | 15/15 | scattered | PURE | 0 | · | 0x8018365c modal | 2,160 |
-| 37 | 305 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x8018165c modal | 2,135 |
-| 38 | 296 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x8017e2ec modal | 2,072 |
-| 39 | 187 | 11 (11/0/0) | 4/11 | cross-address | PURE | 0 | · | 0x8017c150 modal | 2,057 |
-| 40 | 121 | 17 (17/0/0) | 17/17 | scattered | PURE | 0 | · | 0x8018b76c modal | 2,057 |
-| 41 | 137 | 15 (15/0/0) | 15/15 | scattered | PURE | 0 | Y | 0x80183084 modal | 2,055 |
-| 42 | 82 | 25 (25/0/0) | 10/25 | scattered | PURE | 1 | · | 0x8017c5f0 matched | 2,050 |
-| 43 | 203 | 10 (5/5/0) | 8/10 | cross-address | IMM | 0 | · | 0x8017efa8 modal | 2,030 |
-| 44 | 101 | 19 (19/0/0) | 19/19 | scattered | PURE | 1 | · | 0x8018038c matched | 1,919 |
-| 45 | 274 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x801823f0 modal | 1,918 |
-| 46 | 273 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x80182a48 modal | 1,911 |
-| 47 | 133 | 14 (14/0/0) | 10/14 | scattered | PURE | 0 | · | 0x8017d0bc modal | 1,862 |
-| 48 | 98 | 19 (19/0/0) | 19/19 | scattered | PURE | 1 | · | 0x8017fd58 matched | 1,862 |
-| 49 | 265 | 7 (1/6/0) | 7/7 | cross-address | IMM | 0 | · | 0x80183e04 modal | 1,855 |
-| 50 | 129 | 14 (14/0/0) | 10/14 | scattered | PURE | 0 | · | 0x8017c7b8 modal | 1,806 |
+| 19 | 770 | 4 (4/0/0) | 1/4 | per-location | PURE | 134 | · | 0x80144b9c matched-ov077 | 3,080 |
+| 20 | 611 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | · | 0x80186e24 modal | 3,055 |
+| 21 | 263 | 11 (11/0/0) | 11/11 | scattered | PURE | 0 | · | 0x80182fd4 modal | 2,893 |
+| 22 | 557 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x80186570 modal | 2,785 |
+| 23 | 185 | 15 (15/0/0) | 13/15 | scattered | PURE | 0 | · | 0x8018b23c modal | 2,775 |
+| 24 | 551 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x80189540 modal | 2,755 |
+| 25 | 125 | 22 (22/0/0) | 22/22 | scattered | PURE | 0 | Y | 0x80185440 modal | 2,750 |
+| 26 | 386 | 7 (7/0/0) | 6/7 | cross-address | PURE | 0 | · | 0x80186b78 modal | 2,702 |
+| 27 | 177 | 15 (15/0/0) | 13/15 | scattered | PURE | 0 | · | 0x8018aa98 modal | 2,655 |
+| 28 | 513 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x801878e8 modal | 2,565 |
+| 29 | 154 | 15 (15/0/0) | 15/15 | scattered | PURE | 0 | · | 0x8018389c modal | 2,310 |
+| 30 | 164 | 14 (14/0/0) | 14/14 | scattered | PURE | 0 | · | 0x80190748 modal | 2,296 |
+| 31 | 147 | 15 (15/0/0) | 15/15 | scattered | PURE | 0 | · | 0x80183cac modal | 2,205 |
+| 32 | 144 | 15 (15/0/0) | 15/15 | scattered | PURE | 0 | · | 0x8018365c modal | 2,160 |
+| 33 | 305 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x8018165c modal | 2,135 |
+| 34 | 296 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x8017e2ec modal | 2,072 |
+| 35 | 187 | 11 (11/0/0) | 4/11 | cross-address | PURE | 0 | · | 0x8017c150 modal | 2,057 |
+| 36 | 121 | 17 (17/0/0) | 17/17 | scattered | PURE | 0 | · | 0x8018b76c modal | 2,057 |
+| 37 | 137 | 15 (15/0/0) | 15/15 | scattered | PURE | 0 | Y | 0x80183084 modal | 2,055 |
+| 38 | 203 | 10 (5/5/0) | 8/10 | cross-address | IMM | 0 | · | 0x8017efa8 modal | 2,030 |
+| 39 | 274 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x801823f0 modal | 1,918 |
+| 40 | 273 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x80182a48 modal | 1,911 |
+| 41 | 133 | 14 (14/0/0) | 10/14 | scattered | PURE | 0 | · | 0x8017d0bc modal | 1,862 |
+| 42 | 265 | 7 (1/6/0) | 7/7 | cross-address | IMM | 0 | · | 0x80183e04 modal | 1,855 |
+| 43 | 129 | 14 (14/0/0) | 10/14 | scattered | PURE | 0 | · | 0x8017c7b8 modal | 1,806 |
+| 44 | 257 | 7 (7/0/0) | 7/7 | cross-address | PURE | 0 | · | 0x80180ca8 modal | 1,799 |
+| 45 | 438 | 4 (4/0/0) | 1/4 | per-location | PURE | 134 | Y | 0x801380e0 matched-ov077 | 1,752 |
+| 46 | 579 | 3 (3/0/0) | 2/3 | cross-address | PURE | 0 | Y | 0x8018103c draft-ov077 | 1,737 |
+| 47 | 288 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | Y | 0x80184c74 modal | 1,728 |
+| 48 | 143 | 12 (12/0/0) | 10/12 | scattered | PURE | 0 | · | 0x8017d77c modal | 1,716 |
+| 49 | 281 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | Y | 0x80186270 modal | 1,686 |
+| 50 | 281 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | · | 0x801894f0 modal | 1,686 |