mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-10-01 23:52:03 -04:00
Code Issues Packages Projects Releases Wiki Activity

docs: regenerate family-hseq digest at HEAD (the checkpoint's queue is derived from it)

Browse Source
This commit is contained in:
Drew T
2026-08-01 20:48:10 -06:00
parent 443279e25a
commit 0ffb2c04d7
1 changed files with 36 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/family-hseq.md
+36 -36
View File
@@ -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 |