mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-10-07 09:27:55 -04:00
T5: forms I/M closed: ladder sweep + residue, gate green, progress snapshot
This commit is contained in:
Drew T
@@ -27,9 +27,9 @@ originals; nothing "functionally equivalent" counts. What the repository claims
|
||||
|
||||
One source per unique function (Phase 35): 102,991 function bodies written once in C (3,173 of them shared headers instantiated 262,594 times); 139 duplicate copies remain in 41 ledgered classes (declaration conflicts left for the types phase); 38 functions whose bytes vary per binary share one text through the text tier (2,030 sites); 1,645 same-address copies of 377 tiny bodies inside the cross-address classes are deferred to the names phase.
|
||||
|
||||
Levers off (Phase 36, snapshot 2026-10-01): 1,868 register pins and 1,861 asm statements remain in 1,837 functions (661 distinct bodies), 3,729 of them marked `// !FAKE:`; 1,589 volatile qualifiers and 50 bare `register` keywords are censused; 6,447 GTE coprocessor operations and 22 whole-body assembly routines kept inside C shells (2,682 sites; the original's scratchpad stack-switch trampolines, one copy per overlay, listed in the verbatim manifest) are not levers and are excluded.
|
||||
Levers off (Phase 36, snapshot 2026-10-02): 1,868 register pins and 1,843 asm statements remain in 1,832 functions (660 distinct bodies), 3,711 of them marked `// !FAKE:`; 1,587 volatile qualifiers and 50 bare `register` keywords are censused; 6,463 GTE coprocessor operations and 22 whole-body assembly routines kept inside C shells (2,682 sites; the original's scratchpad stack-switch trampolines, one copy per overlay, listed in the verbatim manifest) are not levers and are excluded.
|
||||
|
||||
Types (snapshot P39, 2026-10-01): 502,988 raw pointer-cast dereferences remain in 69,492 functions (four forms; 36,853 typed cast-member accesses and 18,892 address-of casts counted apart); 1,650 struct definitions (1,021 in the canonical header, 326 in `include/`, 600 block-scope frames inside `.c` functions, 29 in per-function shared headers, 0 at `.c` file scope) over 1,024 names and 523 distinct layouts; 53 duplicate classes covering 496 names, 53 of them listed with a cause in `docs/struct-twins.md` (0 gating); 0 variant camps, 0 dead names (3 kept with a cause), 0 `pad<SIZE>` names, 0 parse-error declarations; 229 lying call declarations (an empty K&R list or a type narrower than the callee's definition) over 24 callees; the struct map clusters the cast sites into 19,123 types by evidence (99.2 % of sites assigned).
|
||||
Types (snapshot P39, 2026-10-02): 336,219 raw pointer-cast dereferences remain in 50,865 functions (four forms; 173,103 typed cast-member accesses and 18,889 address-of casts counted apart); 1,650 struct definitions (1,021 in the canonical header, 326 in `include/`, 600 block-scope frames inside `.c` functions, 29 in per-function shared headers, 0 at `.c` file scope) over 1,024 names and 523 distinct layouts; 53 duplicate classes covering 496 names, 53 of them listed with a cause in `docs/struct-twins.md` (0 gating); 0 variant camps, 0 dead names (2 kept with a cause), 0 `pad<SIZE>` names, 0 parse-error declarations; 229 lying call declarations (an empty K&R list or a type narrower than the callee's definition) over 24 callees; the struct map clusters the cast sites into 17,965 types by evidence (98.8 % of sites assigned).
|
||||
|
||||
_Generated by `tools/progress.py --readme` from `docs/progress.json` — numbers are never typed by hand._
|
||||
<!-- progress:end -->
|
||||
|
||||
@@ -7,7 +7,7 @@
|
||||
FLEET fn-count byte-ident: 363677 / 363677 = 100.00% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
|
||||
FLEET instr-weighted : 13492113 / 13492113 = 100.0% (shipped .text across main + resident + 216 overlays; the decomp.dev-DISPLAY number)
|
||||
FLEET distinct-code(uniq): 5820205 / 5820205 = 100.0% (90984/90984 unique fns; the DISTINCT-RE number)
|
||||
MAIN game-code weighted : 45150 / 45150 = 100.0% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; build-derived sig (make sig-main) dated 2026-10-01; boundaries INDEPENDENTLY VERIFIED since P31 S77 — `make sig-main-oracle` + `make audit-corpus`: 0 phantom, 0 truncated, 0 pad-tail)
|
||||
MAIN game-code weighted : 45150 / 45150 = 100.0% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; build-derived sig (make sig-main) dated 2026-10-02; boundaries INDEPENDENTLY VERIFIED since P31 S77 — `make sig-main-oracle` + `make audit-corpus`: 0 phantom, 0 truncated, 0 pad-tail)
|
||||
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 13446963 / 13446963 = 100.0%)
|
||||
|
||||
FLEET REAL substantive : 350530 (of which dedup-shared 251924 via 3173 groups / 262594 instances)
|
||||
|
||||
+25
-25
@@ -49,24 +49,24 @@
|
||||
"deferred_same_address_texts": 377,
|
||||
"deferred_same_address_copies": 1645,
|
||||
"levers": {
|
||||
"date": "2026-10-01",
|
||||
"date": "2026-10-02",
|
||||
"what": "compiler-forcing constructs left in the C: register pins + asm statements (the classes Phase 36 drives to 0; GTE coprocessor ops and whole-body hand-asm routines excluded), with the volatile/register qualifiers censused",
|
||||
"sites": 3729,
|
||||
"sites": 3711,
|
||||
"pins": 1868,
|
||||
"asm_statements": 1861,
|
||||
"bodies": 1837,
|
||||
"distinct_bodies": 661,
|
||||
"marked_fake": 3729,
|
||||
"asm_statements": 1843,
|
||||
"bodies": 1832,
|
||||
"distinct_bodies": 660,
|
||||
"marked_fake": 3711,
|
||||
"unmarked": 0,
|
||||
"volatile_sites": 1589,
|
||||
"volatile_sites": 1587,
|
||||
"register_keyword_sites": 50,
|
||||
"gte_sites": 6447,
|
||||
"gte_sites": 6463,
|
||||
"hand_asm_routines_in_c_shells": 22,
|
||||
"hand_asm_routine_sites": 2682
|
||||
},
|
||||
"types": {
|
||||
"date": "2026-10-01",
|
||||
"head": "313ee50403",
|
||||
"date": "2026-10-02",
|
||||
"head": "2407750392",
|
||||
"snapshot": "P39",
|
||||
"census": ".run/P39/census/type_census.json",
|
||||
"what": "the structs phases' counters: raw pointer-cast dereferences in four forms (P *(T*)(\u2026), I *(T*)ident, X ((T*)e)[i], M M2C_FIELD), struct definitions and their duplicate classes, lying call declarations, and the struct map's types",
|
||||
@@ -77,22 +77,22 @@
|
||||
"duplicate_classes_gating": 0,
|
||||
"duplicate_classes_listed": 53,
|
||||
"dead_names": 0,
|
||||
"dead_names_kept": 3,
|
||||
"dead_names_kept": 2,
|
||||
"pad_names": 0,
|
||||
"parse_error_declarations": 0,
|
||||
"raw_cast_sites": 502988,
|
||||
"raw_cast_sites": 336219,
|
||||
"raw_cast_forms": {
|
||||
"P": 408979,
|
||||
"I": 60666,
|
||||
"X": 13800,
|
||||
"A": 18892,
|
||||
"C": 36853,
|
||||
"M": 19543,
|
||||
"K": 12
|
||||
"P": 257469,
|
||||
"I": 49831,
|
||||
"X": 13790,
|
||||
"K": 20975,
|
||||
"A": 18889,
|
||||
"C": 173103,
|
||||
"M": 15129
|
||||
},
|
||||
"raw_cast_bodies": 69492,
|
||||
"address_of_sites": 18892,
|
||||
"typed_cast_member_sites": 36853,
|
||||
"raw_cast_bodies": 50865,
|
||||
"address_of_sites": 18889,
|
||||
"typed_cast_member_sites": 173103,
|
||||
"absolute_address_casts": 0,
|
||||
"struct_definitions": 1650,
|
||||
"canonical_definitions": 1021,
|
||||
@@ -101,13 +101,13 @@
|
||||
"duplicate_classes": 53,
|
||||
"duplicate_names": 496,
|
||||
"variant_names": 0,
|
||||
"dead_canonical_names": 56,
|
||||
"dead_canonical_names": 55,
|
||||
"lying_declarations": 229,
|
||||
"lying_callees": 24,
|
||||
"asm_label_aliases": 5148,
|
||||
"multi_spelled_callees": 3773,
|
||||
"struct_map_types": 19123,
|
||||
"struct_map_explained_pct": 99.2
|
||||
"struct_map_types": 17965,
|
||||
"struct_map_explained_pct": 98.8
|
||||
}
|
||||
},
|
||||
"corrections": [
|
||||
|
||||
@@ -6,3 +6,4 @@ date label commit definitions narrow_decls callees kr_empty narrow pinned_rows p
|
||||
2026-09-12 t4 274223396dc7b5e7eedd8c8f96c82b0e80738c6a 15653 8830 950 2997 5833 13 10 411848 177902 503013 409006 60664 13800 19543 18912 36681 7255 1179 5989 527 206 2823 18741 99.2 5002 147
|
||||
2026-09-12 t4-close bd7d32ec2316b2a150ad41b0ac9d6da3786dff92 16094 1796 76 1373 423 1 1 411820 177902 502985 408978 60664 13800 19543 18888 36681 7255 1179 5989 527 206 2823 18213 99.2 5262 199 418 96
|
||||
2026-09-30 P38 close c82a24899467ab87461bcdf28f4d320cc309c6a3 16094 229 24 216 13 0 0 411816 176269 502983 408974 60666 13800 19543 18892 36853 1650 1021 600 523 53 496 19122 99.2 5293 200 418 96
|
||||
2026-10-02 P3.39 T5: forms I/M closed 2407750392ce8a73f18f5c1fad968e78845bc108 16094 229 24 216 13 0 0 260306 320402 336219 257469 49831 13790 15129 18889 173103 1650 1021 600 523 53 496 17965 98.8 5293 200 418 96
|
||||
|
||||
|
@@ -15,6 +15,7 @@
|
||||
| 2026-09-12 | t4 | `274223396` | 8830 | 2997 | 5833 | 13 | 411848 | 177902 | **503013** | 36681 | 7255 (1179 / 5989) | 527 | 206 / 2823 | 18741 (99.2 %) | 5002 | — |
|
||||
| 2026-09-12 | t4-close | `bd7d32ec2` | 1796 | 1373 | 423 | 1 | 411820 | 177902 | **502985** | 36681 | 7255 (1179 / 5989) | 527 | 206 / 2823 | 18213 (99.2 %) | 5262 | 418 |
|
||||
| 2026-09-30 | P38 close | `c82a24899` | 229 | 216 | 13 | 0 | 411816 | 176269 | **502983** | 36853 | 1650 (1021 / 600) | 523 | 53 / 496 | 19122 (99.2 %) | 5293 | 418 |
|
||||
| 2026-10-02 | P3.39 T5: forms I/M closed | `240775039` | 229 | 216 | 13 | 0 | 260306 | 320402 | **336219** | 173103 | 1650 (1021 / 600) | 523 | 53 / 496 | 17965 (98.8 %) | 5293 | 418 |
|
||||
|
||||
**How to read it.** A *lying declaration* is a call site whose in-scope declaration names fewer parameters
|
||||
than the callee's own definition. It is not a style problem: on this processor an argument travels in a
|
||||
|
||||
@@ -102,6 +102,7 @@
|
||||
| 2026-09-12 | 111 | | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | 789 / 2091 | 3,730 | 502,985 | 7,255 |
|
||||
| 2026-09-29 | 40 | P37 (v2.3.0) | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | 789 / 2091 | 3,730 | — | — |
|
||||
| 2026-09-30 | 93 | | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | — | — | 502,983 | 1,650 |
|
||||
| 2026-10-01 | 13 | | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | — | — | — | — |
|
||||
| 2026-10-01 | 73 | | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | — | — | — | — |
|
||||
| 2026-10-02 | 76 | | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | — | — | 336,219 | 1,650 |
|
||||
|
||||
81 dated rows · phase ticks from the 38 PhaseEnds · the chart: `docs/story-timeline.svg`.
|
||||
82 dated rows · phase ticks from the 38 PhaseEnds · the chart: `docs/story-timeline.svg`.
|
||||
|
||||
+44
-44
@@ -6,10 +6,10 @@
|
||||
<line x1="60" y1="195.0" x2="980" y2="195.0" stroke="#ddd"/><text x="54" y="199.0" text-anchor="end" font-size="11" fill="#555">50%</text>
|
||||
<line x1="60" y1="112.5" x2="980" y2="112.5" stroke="#ddd"/><text x="54" y="116.5" text-anchor="end" font-size="11" fill="#555">75%</text>
|
||||
<line x1="60" y1="30.0" x2="980" y2="30.0" stroke="#ddd"/><text x="54" y="34.0" text-anchor="end" font-size="11" fill="#555">100%</text>
|
||||
<line x1="203.5" y1="30" x2="203.5" y2="360" stroke="#eee"/><text x="203.5" y="376" text-anchor="middle" font-size="11" fill="#555">Jul 2026</text>
|
||||
<line x1="465.1" y1="30" x2="465.1" y2="360" stroke="#eee"/><text x="465.1" y="376" text-anchor="middle" font-size="11" fill="#555">Aug 2026</text>
|
||||
<line x1="726.8" y1="30" x2="726.8" y2="360" stroke="#eee"/><text x="726.8" y="376" text-anchor="middle" font-size="11" fill="#555">Sep 2026</text>
|
||||
<line x1="980.0" y1="30" x2="980.0" y2="360" stroke="#eee"/><text x="980.0" y="376" text-anchor="middle" font-size="11" fill="#555">Oct 2026</text>
|
||||
<line x1="202.2" y1="30" x2="202.2" y2="360" stroke="#eee"/><text x="202.2" y="376" text-anchor="middle" font-size="11" fill="#555">Jul 2026</text>
|
||||
<line x1="461.5" y1="30" x2="461.5" y2="360" stroke="#eee"/><text x="461.5" y="376" text-anchor="middle" font-size="11" fill="#555">Aug 2026</text>
|
||||
<line x1="720.7" y1="30" x2="720.7" y2="360" stroke="#eee"/><text x="720.7" y="376" text-anchor="middle" font-size="11" fill="#555">Sep 2026</text>
|
||||
<line x1="971.6" y1="30" x2="971.6" y2="360" stroke="#eee"/><text x="971.6" y="376" text-anchor="middle" font-size="11" fill="#555">Oct 2026</text>
|
||||
<line x1="60.0" y1="360" x2="60.0" y2="352" stroke="#888"/>
|
||||
<line x1="60.0" y1="360" x2="60.0" y2="352" stroke="#888"/>
|
||||
<line x1="60.0" y1="360" x2="60.0" y2="352" stroke="#888"/>
|
||||
@@ -20,44 +20,44 @@
|
||||
<text x="68.4" y="390" text-anchor="middle" font-size="10" fill="#333">P7</text>
|
||||
<line x1="68.4" y1="360" x2="68.4" y2="352" stroke="#888"/>
|
||||
<line x1="68.4" y1="360" x2="68.4" y2="352" stroke="#888"/>
|
||||
<line x1="76.9" y1="360" x2="76.9" y2="352" stroke="#888"/>
|
||||
<line x1="76.9" y1="360" x2="76.9" y2="352" stroke="#888"/>
|
||||
<line x1="76.9" y1="360" x2="76.9" y2="352" stroke="#888"/>
|
||||
<line x1="93.8" y1="360" x2="93.8" y2="352" stroke="#888"/>
|
||||
<text x="93.8" y="390" text-anchor="middle" font-size="10" fill="#333">P15</text>
|
||||
<line x1="102.2" y1="360" x2="102.2" y2="352" stroke="#888"/>
|
||||
<line x1="110.6" y1="360" x2="110.6" y2="352" stroke="#888"/>
|
||||
<line x1="110.6" y1="360" x2="110.6" y2="352" stroke="#888"/>
|
||||
<line x1="110.6" y1="360" x2="110.6" y2="352" stroke="#888"/>
|
||||
<line x1="119.1" y1="360" x2="119.1" y2="352" stroke="#888"/>
|
||||
<line x1="161.3" y1="360" x2="161.3" y2="352" stroke="#888"/>
|
||||
<line x1="186.6" y1="360" x2="186.6" y2="352" stroke="#888"/>
|
||||
<line x1="211.9" y1="360" x2="211.9" y2="352" stroke="#888"/>
|
||||
<text x="211.9" y="390" text-anchor="middle" font-size="10" fill="#333">P23</text>
|
||||
<line x1="262.6" y1="360" x2="262.6" y2="352" stroke="#888"/>
|
||||
<line x1="287.9" y1="360" x2="287.9" y2="352" stroke="#888"/>
|
||||
<line x1="321.7" y1="360" x2="321.7" y2="352" stroke="#888"/>
|
||||
<text x="321.7" y="390" text-anchor="middle" font-size="10" fill="#333">P26</text>
|
||||
<line x1="321.7" y1="360" x2="321.7" y2="352" stroke="#888"/>
|
||||
<line x1="330.1" y1="360" x2="330.1" y2="352" stroke="#888"/>
|
||||
<line x1="448.3" y1="360" x2="448.3" y2="352" stroke="#888"/>
|
||||
<text x="448.3" y="390" text-anchor="middle" font-size="10" fill="#333">P29</text>
|
||||
<line x1="574.9" y1="360" x2="574.9" y2="352" stroke="#888"/>
|
||||
<text x="574.9" y="390" text-anchor="middle" font-size="10" fill="#333">P30</text>
|
||||
<line x1="760.6" y1="360" x2="760.6" y2="352" stroke="#888"/>
|
||||
<text x="760.6" y="390" text-anchor="middle" font-size="10" fill="#333">P31</text>
|
||||
<line x1="769.0" y1="360" x2="769.0" y2="352" stroke="#888"/>
|
||||
<text x="769.0" y="390" text-anchor="middle" font-size="10" fill="#333">P32</text>
|
||||
<line x1="777.4" y1="360" x2="777.4" y2="352" stroke="#888"/>
|
||||
<line x1="785.9" y1="360" x2="785.9" y2="352" stroke="#888"/>
|
||||
<line x1="785.9" y1="360" x2="785.9" y2="352" stroke="#888"/>
|
||||
<line x1="785.9" y1="360" x2="785.9" y2="352" stroke="#888"/>
|
||||
<line x1="811.2" y1="360" x2="811.2" y2="352" stroke="#888"/>
|
||||
<line x1="963.1" y1="360" x2="963.1" y2="352" stroke="#888"/>
|
||||
<line x1="380.7" y1="30" x2="380.7" y2="360" stroke="#c33" stroke-dasharray="4,3"/><text x="384.7" y="44" font-size="11" fill="#c33">2026-07-22: main enters the denominators</text>
|
||||
<polyline fill="none" stroke="#1f77b4" stroke-width="2" points="287.9,169.4 296.3,152.3 304.8,149.5 313.2,133.5 321.7,135.5 330.1,125.8 338.5,122.1 347.0,111.7 355.4,108.2 363.9,102.6 372.3,102.5 380.7,100.5 389.2,98.1 397.6,96.3 406.1,94.1 414.5,90.4 422.9,81.5 431.4,74.4 439.8,72.3 448.3,68.9 456.7,65.8 465.1,55.0 482.0,50.8 490.5,48.1 498.9,46.5 507.3,49.7 515.8,50.5 541.1,48.7 549.5,47.0 558.0,46.0 566.4,45.9 574.9,45.5 583.3,44.8 591.7,44.6 600.2,43.6 608.6,42.9 650.8,42.8 667.7,38.6 676.1,34.9 684.6,34.2 701.5,33.6 709.9,33.3 718.3,32.1 726.8,31.6 735.2,31.0 743.7,30.9 752.1,30.1 760.6,30.0 769.0,30.0 777.4,30.0 785.9,30.0 794.3,30.0 802.8,30.0 811.2,30.0 819.6,30.0 963.1,30.0 971.6,30.0 980.0,30.0"/><text x="70" y="352" font-size="12" fill="#1f77b4">instruction-weighted (all binaries)</text>
|
||||
<polyline fill="none" stroke="#2ca02c" stroke-width="2" points="287.9,263.2 296.3,230.9 304.8,225.5 313.2,197.6 321.7,196.8 330.1,184.2 338.5,181.7 347.0,159.9 355.4,152.9 363.9,140.5 372.3,140.4 380.7,136.8 389.2,136.7 397.6,136.7 406.1,134.8 414.5,131.5 422.9,114.5 431.4,106.2 439.8,103.4 448.3,100.4 456.7,94.4 465.1,77.8 482.0,69.5 490.5,65.5 498.9,64.8 507.3,70.9 515.8,72.4 541.1,69.1 549.5,65.6 558.0,63.7 566.4,63.3 574.9,62.7 583.3,61.3 591.7,60.8 600.2,58.5 608.6,57.0 650.8,56.9 667.7,47.8 676.1,40.3 684.6,38.8 701.5,37.9 709.9,37.4 718.3,34.8 726.8,33.8 735.2,32.2 743.7,32.0 752.1,30.3 760.6,30.1 769.0,30.0 777.4,30.0 785.9,30.0 794.3,30.0 802.8,30.0 811.2,30.0 819.6,30.0 963.1,30.0 971.6,30.0 980.0,30.0"/><text x="70" y="338" font-size="12" fill="#2ca02c">distinct code (each body once)</text>
|
||||
<polyline fill="none" stroke="#999" stroke-width="2" points="76.9,276.3 85.3,190.3 93.8,180.2 102.2,176.8 110.6,167.4 119.1,163.1 127.5,158.2 136.0,154.4 144.4,151.7 152.8,151.5 161.3,149.9 186.6,149.9 195.0,148.1 203.5,146.8 211.9,146.0 220.4,143.4 228.8,143.0 254.1,142.1 262.6,122.3 271.0,121.4 279.4,114.5 287.9,113.9 296.3,88.6 304.8,88.1 313.2,81.9 321.7,87.3 330.1,75.2 338.5,74.3 347.0,72.8 355.4,71.4 363.9,69.9 372.3,69.8 380.7,68.9 389.2,67.4 397.6,66.4 406.1,65.7 414.5,64.6 422.9,62.5 431.4,59.3 439.8,57.3 448.3,54.5 456.7,52.3 465.1,45.1 482.0,42.9 490.5,41.5 498.9,41.1 507.3,43.3 515.8,44.2 541.1,42.5 549.5,41.8 558.0,41.5 566.4,41.3 574.9,40.9 583.3,40.4 591.7,40.2 600.2,39.8 608.6,39.5 650.8,39.5 667.7,35.3 676.1,32.1 684.6,31.6 701.5,31.2 709.9,30.9 718.3,30.4 726.8,30.2 735.2,30.1 743.7,30.0 752.1,30.0 760.6,30.0 769.0,30.0 777.4,30.0 785.9,30.0 794.3,30.0 802.8,30.0 811.2,30.0 819.6,30.0 963.1,30.0 971.6,30.0 980.0,30.0"/><text x="70" y="324" font-size="12" fill="#999">function count</text>
|
||||
<line x1="76.7" y1="360" x2="76.7" y2="352" stroke="#888"/>
|
||||
<line x1="76.7" y1="360" x2="76.7" y2="352" stroke="#888"/>
|
||||
<line x1="76.7" y1="360" x2="76.7" y2="352" stroke="#888"/>
|
||||
<line x1="93.5" y1="360" x2="93.5" y2="352" stroke="#888"/>
|
||||
<text x="93.5" y="390" text-anchor="middle" font-size="10" fill="#333">P15</text>
|
||||
<line x1="101.8" y1="360" x2="101.8" y2="352" stroke="#888"/>
|
||||
<line x1="110.2" y1="360" x2="110.2" y2="352" stroke="#888"/>
|
||||
<line x1="110.2" y1="360" x2="110.2" y2="352" stroke="#888"/>
|
||||
<line x1="110.2" y1="360" x2="110.2" y2="352" stroke="#888"/>
|
||||
<line x1="118.5" y1="360" x2="118.5" y2="352" stroke="#888"/>
|
||||
<line x1="160.4" y1="360" x2="160.4" y2="352" stroke="#888"/>
|
||||
<line x1="185.5" y1="360" x2="185.5" y2="352" stroke="#888"/>
|
||||
<line x1="210.5" y1="360" x2="210.5" y2="352" stroke="#888"/>
|
||||
<text x="210.5" y="390" text-anchor="middle" font-size="10" fill="#333">P23</text>
|
||||
<line x1="260.7" y1="360" x2="260.7" y2="352" stroke="#888"/>
|
||||
<line x1="285.8" y1="360" x2="285.8" y2="352" stroke="#888"/>
|
||||
<line x1="319.3" y1="360" x2="319.3" y2="352" stroke="#888"/>
|
||||
<text x="319.3" y="390" text-anchor="middle" font-size="10" fill="#333">P26</text>
|
||||
<line x1="319.3" y1="360" x2="319.3" y2="352" stroke="#888"/>
|
||||
<line x1="327.6" y1="360" x2="327.6" y2="352" stroke="#888"/>
|
||||
<line x1="444.7" y1="360" x2="444.7" y2="352" stroke="#888"/>
|
||||
<text x="444.7" y="390" text-anchor="middle" font-size="10" fill="#333">P29</text>
|
||||
<line x1="570.2" y1="360" x2="570.2" y2="352" stroke="#888"/>
|
||||
<text x="570.2" y="390" text-anchor="middle" font-size="10" fill="#333">P30</text>
|
||||
<line x1="754.2" y1="360" x2="754.2" y2="352" stroke="#888"/>
|
||||
<text x="754.2" y="390" text-anchor="middle" font-size="10" fill="#333">P31</text>
|
||||
<line x1="762.5" y1="360" x2="762.5" y2="352" stroke="#888"/>
|
||||
<text x="762.5" y="390" text-anchor="middle" font-size="10" fill="#333">P32</text>
|
||||
<line x1="770.9" y1="360" x2="770.9" y2="352" stroke="#888"/>
|
||||
<line x1="779.3" y1="360" x2="779.3" y2="352" stroke="#888"/>
|
||||
<line x1="779.3" y1="360" x2="779.3" y2="352" stroke="#888"/>
|
||||
<line x1="779.3" y1="360" x2="779.3" y2="352" stroke="#888"/>
|
||||
<line x1="804.4" y1="360" x2="804.4" y2="352" stroke="#888"/>
|
||||
<line x1="954.9" y1="360" x2="954.9" y2="352" stroke="#888"/>
|
||||
<line x1="377.8" y1="30" x2="377.8" y2="360" stroke="#c33" stroke-dasharray="4,3"/><text x="381.8" y="44" font-size="11" fill="#c33">2026-07-22: main enters the denominators</text>
|
||||
<polyline fill="none" stroke="#1f77b4" stroke-width="2" points="285.8,169.4 294.2,152.3 302.5,149.5 310.9,133.5 319.3,135.5 327.6,125.8 336.0,122.1 344.4,111.7 352.7,108.2 361.1,102.6 369.5,102.5 377.8,100.5 386.2,98.1 394.5,96.3 402.9,94.1 411.3,90.4 419.6,81.5 428.0,74.4 436.4,72.3 444.7,68.9 453.1,65.8 461.5,55.0 478.2,50.8 486.5,48.1 494.9,46.5 503.3,49.7 511.6,50.5 536.7,48.7 545.1,47.0 553.5,46.0 561.8,45.9 570.2,45.5 578.5,44.8 586.9,44.6 595.3,43.6 603.6,42.9 645.5,42.8 662.2,38.6 670.5,34.9 678.9,34.2 695.6,33.6 704.0,33.3 712.4,32.1 720.7,31.6 729.1,31.0 737.5,30.9 745.8,30.1 754.2,30.0 762.5,30.0 770.9,30.0 779.3,30.0 787.6,30.0 796.0,30.0 804.4,30.0 812.7,30.0 954.9,30.0 963.3,30.0 971.6,30.0 980.0,30.0"/><text x="70" y="352" font-size="12" fill="#1f77b4">instruction-weighted (all binaries)</text>
|
||||
<polyline fill="none" stroke="#2ca02c" stroke-width="2" points="285.8,263.2 294.2,230.9 302.5,225.5 310.9,197.6 319.3,196.8 327.6,184.2 336.0,181.7 344.4,159.9 352.7,152.9 361.1,140.5 369.5,140.4 377.8,136.8 386.2,136.7 394.5,136.7 402.9,134.8 411.3,131.5 419.6,114.5 428.0,106.2 436.4,103.4 444.7,100.4 453.1,94.4 461.5,77.8 478.2,69.5 486.5,65.5 494.9,64.8 503.3,70.9 511.6,72.4 536.7,69.1 545.1,65.6 553.5,63.7 561.8,63.3 570.2,62.7 578.5,61.3 586.9,60.8 595.3,58.5 603.6,57.0 645.5,56.9 662.2,47.8 670.5,40.3 678.9,38.8 695.6,37.9 704.0,37.4 712.4,34.8 720.7,33.8 729.1,32.2 737.5,32.0 745.8,30.3 754.2,30.1 762.5,30.0 770.9,30.0 779.3,30.0 787.6,30.0 796.0,30.0 804.4,30.0 812.7,30.0 954.9,30.0 963.3,30.0 971.6,30.0 980.0,30.0"/><text x="70" y="338" font-size="12" fill="#2ca02c">distinct code (each body once)</text>
|
||||
<polyline fill="none" stroke="#999" stroke-width="2" points="76.7,276.3 85.1,190.3 93.5,180.2 101.8,176.8 110.2,167.4 118.5,163.1 126.9,158.2 135.3,154.4 143.6,151.7 152.0,151.5 160.4,149.9 185.5,149.9 193.8,148.1 202.2,146.8 210.5,146.0 218.9,143.4 227.3,143.0 252.4,142.1 260.7,122.3 269.1,121.4 277.5,114.5 285.8,113.9 294.2,88.6 302.5,88.1 310.9,81.9 319.3,87.3 327.6,75.2 336.0,74.3 344.4,72.8 352.7,71.4 361.1,69.9 369.5,69.8 377.8,68.9 386.2,67.4 394.5,66.4 402.9,65.7 411.3,64.6 419.6,62.5 428.0,59.3 436.4,57.3 444.7,54.5 453.1,52.3 461.5,45.1 478.2,42.9 486.5,41.5 494.9,41.1 503.3,43.3 511.6,44.2 536.7,42.5 545.1,41.8 553.5,41.5 561.8,41.3 570.2,40.9 578.5,40.4 586.9,40.2 595.3,39.8 603.6,39.5 645.5,39.5 662.2,35.3 670.5,32.1 678.9,31.6 695.6,31.2 704.0,30.9 712.4,30.4 720.7,30.2 729.1,30.1 737.5,30.0 745.8,30.0 754.2,30.0 762.5,30.0 770.9,30.0 779.3,30.0 787.6,30.0 796.0,30.0 804.4,30.0 812.7,30.0 954.9,30.0 963.3,30.0 971.6,30.0 980.0,30.0"/><text x="70" y="324" font-size="12" fill="#999">function count</text>
|
||||
<text x="500" y="446" text-anchor="middle" font-size="14" font-weight="bold">After 100 % — the Gen3 debts as a share of their first measurement (every lever increment; the two raw-cast instruments)</text>
|
||||
<line x1="60" y1="686.0" x2="980" y2="686.0" stroke="#ddd"/><text x="54" y="690.0" text-anchor="end" font-size="11" fill="#555">0%</text>
|
||||
<line x1="60" y1="630.5" x2="980" y2="630.5" stroke="#ddd"/><text x="54" y="634.5" text-anchor="end" font-size="11" fill="#555">25%</text>
|
||||
@@ -86,7 +86,7 @@
|
||||
<text x="970" y="557.2" text-anchor="end" font-size="12" fill="#d62728">register pins + asm statements (the lever series, 98 increments): 53,221 → 3,730</text>
|
||||
<polyline fill="none" stroke="#9467bd" stroke-width="2" stroke-dasharray="5,4" points="771.3,464.0 951.5,465.2"/>
|
||||
<text x="970" y="526.2" text-anchor="end" font-size="12" fill="#9467bd">raw pointer-cast dereferences — the one-form regex count (until the census, 2026-09-12): 414,148 → 411,850</text>
|
||||
<polyline fill="none" stroke="#9467bd" stroke-width="2" stroke-dasharray="" points="951.5,464.0 970.5,464.0 970.5,464.0 970.5,464.0 980.0,464.0"/>
|
||||
<text x="970" y="541.7" text-anchor="end" font-size="12" fill="#9467bd">raw pointer-cast dereferences — the four-form census (2026-09-12 →; a new instrument, its own 100 %): 503,016 → 502,983</text>
|
||||
<polyline fill="none" stroke="#9467bd" stroke-width="2" stroke-dasharray="" points="951.5,464.0 970.5,464.0 970.5,464.0 970.5,464.0 980.0,464.0 980.0,537.6"/>
|
||||
<text x="970" y="541.7" text-anchor="end" font-size="12" fill="#9467bd">raw pointer-cast dereferences — the four-form census (2026-09-12 →; a new instrument, its own 100 %): 503,016 → 336,219</text>
|
||||
<text x="980" y="726" text-anchor="end" font-size="10" fill="#777">generated by tools/timeline.py — keyed by date</text>
|
||||
</svg>
|
||||
|
||||
|
Before Width: | Height: | Size: 13 KiB After Width: | Height: | Size: 13 KiB |
+200
-200
@@ -1,210 +1,210 @@
|
||||
# The struct map — the types the fleet's cast sites need (Phase 37 T1)
|
||||
|
||||
> **Generated by `tools/type_census.py` at `7845da8f03` (2026-10-01T17:32:55Z); never typed (R75).** Every raw pointer-cast dereference in `src/` was assigned to a base (a parameter, a local, a global by value or by address, an absolute address) and the bases were clustered by EVIDENCE only — the same global symbol, an argument passed to a callee's parameter, an assignment or return, a pointer field read, a shared body's fleet-wide identity — never by a similar offset signature. Each cluster is one type the tree needs. Names are placeholders (`Unkstruct_<addr>`: the lowest global instance's address, else the lowest member function's); fields are placeholders (`unk<HEX>`) until Phase 38 cites evidence.
|
||||
> **Generated by `tools/type_census.py` at `2407750392` (2026-10-02T21:02:21Z); never typed (R75).** Every raw pointer-cast dereference in `src/` was assigned to a base (a parameter, a local, a global by value or by address, an absolute address) and the bases were clustered by EVIDENCE only — the same global symbol, an argument passed to a callee's parameter, an assignment or return, a pointer field read, a shared body's fleet-wide identity — never by a similar offset signature. Each cluster is one type the tree needs. Names are placeholders (`Unkstruct_<addr>`: the lowest global instance's address, else the lowest member function's); fields are placeholders (`unk<HEX>`) until Phase 38 cites evidence.
|
||||
|
||||
**19123 types explain 498868 of 502988 dereference sites (99.2 %); 4120 sites have a base the census could not classify; 857 types carry a width conflict.** Merges by evidence: param 38862, assign 16777, arg 10823, field 9896, ret-of 4334, return 1524, assign& 1183, arg& 270.
|
||||
**17965 types explain 332308 of 336219 dereference sites (98.8 %); 3911 sites have a base the census could not classify; 813 types carry a width conflict.** Merges by evidence: param 39296, assign 19429, arg 10512, field 6555, ret-of 6018, return 1535, assign& 1401, arg& 253, nested 9.
|
||||
|
||||
| # | type | sites | bodies | fields | size ≥ | width conflicts (+sign mixes) | instance globals | pointer globals |
|
||||
|---:|---|---:|---:|---:|---:|---:|---|---|
|
||||
| 1 | `Unkstruct_800B5CB8` | 107580 | 11184 | 134 | 0x10c | 50 (+55 sign) | D_800B5CB8, D_800D3888, D_80181448, D_80181538… | D_8006386C, D_80074778, D_80074780, D_80074784… |
|
||||
| 2 | `Unkstruct_80126B58` | 65397 | 17047 | 175 | 0x24c | 50 (+60 sign) | D_80126B58 | D_80126B58 |
|
||||
| 3 | `Unkstruct_cb638a45` | 6477 | 381 | 6 | 0x10 | 0 (+0 sign) | | |
|
||||
| 1 | `Unkstruct_800D3888` | 19185 | 4303 | 122 | 0x10c | 50 (+46 sign) | D_800D3888, D_80181538, D_801818AC, D_8018192C… | D_8006386C, D_80074778, D_80074780, D_80074784… |
|
||||
| 2 | `Unkstruct_cb638a45` | 6477 | 381 | 6 | 0x10 | 0 (+0 sign) | | |
|
||||
| 3 | `Unkstruct_80126B58` | 5482 | 2947 | 165 | 0x24c | 40 (+45 sign) | D_80126B58 | D_80126B58 |
|
||||
| 4 | `Unkstruct_dac960ce` | 4464 | 124 | 13 | 0x24c | 0 (+2 sign) | | |
|
||||
| 5 | `Unkstruct_0caecd54` | 4340 | 124 | 23 | 0xfe | 0 (+1 sign) | | |
|
||||
| 5 | `Unkstruct_a5d21dec` | 4340 | 124 | 23 | 0xfe | 0 (+1 sign) | | |
|
||||
| 6 | `Unkstruct_f8ed2b9f` | 4061 | 4061 | 1 | 0x217 | 0 (+0 sign) | | |
|
||||
| 7 | `Unkstruct_a32b99a1` | 3936 | 123 | 8 | 0x4b | 0 (+1 sign) | | |
|
||||
| 7 | `Unkstruct_cedd385d` | 3936 | 123 | 8 | 0x4b | 0 (+1 sign) | | |
|
||||
| 8 | `Unkstruct_8e3dbe51` | 3930 | 131 | 5 | 0x4c | 0 (+1 sign) | | |
|
||||
| 9 | `Unkstruct_8014A1B0` | 3778 | 542 | 13 | 0xfe | 0 (+1 sign) | | |
|
||||
| 10 | `Unkstruct_80128EA8` | 3311 | 632 | 18 | 0x38 | 0 (+13 sign) | | |
|
||||
| 11 | `Unkstruct_57a28935` | 3271 | 196 | 26 | 0xa4 | 3 (+9 sign) | | |
|
||||
| 12 | `Unkstruct_1fa9e810` | 3144 | 131 | 3 | 0x49 | 0 (+0 sign) | | |
|
||||
| 13 | `Unkstruct_30b21035` | 3100 | 124 | 13 | 0x54 | 0 (+0 sign) | | |
|
||||
| 14 | `Unkstruct_80126948` | 2986 | 832 | 34 | 0xa4 | 0 (+10 sign) | D_80126948, D_80126E60 | D_80114EE8, D_801151D4, D_80126948, D_80126E60… |
|
||||
| 15 | `Unkstruct_adc0bee4` | 2646 | 126 | 8 | 0x34 | 0 (+3 sign) | | |
|
||||
| 16 | `Unkstruct_198fc7cc` | 2580 | 129 | 16 | 0x38 | 3 (+1 sign) | | |
|
||||
| 17 | `Unkstruct_801439FC` | 2489 | 981 | 57 | 0x10c | 9 (+22 sign) | | |
|
||||
| 18 | `Unkstruct_80130D48` | 2382 | 587 | 25 | 0x64 | 6 (+3 sign) | | D_80072C84, D_80078E78 |
|
||||
| 19 | `Unkstruct_ed8f1335` | 2356 | 124 | 18 | 0x24 | 0 (+0 sign) | | |
|
||||
| 20 | `Unkstruct_8016B4F8` | 2140 | 535 | 5 | 0x30 | 0 (+0 sign) | | |
|
||||
| 21 | `Unkstruct_80139C7C` | 2111 | 265 | 14 | 0x44 | 0 (+3 sign) | | |
|
||||
| 22 | `Unkstruct_b047cdf2` | 2108 | 124 | 6 | 0x20 | 0 (+0 sign) | | |
|
||||
| 23 | `Unkstruct_2729e670` | 2091 | 123 | 6 | 0x4b | 0 (+0 sign) | | |
|
||||
| 24 | `Unkstruct_dd542e54` | 2016 | 126 | 7 | 0x18 | 0 (+0 sign) | | |
|
||||
| 25 | `Unkstruct_f49880fd` | 2000 | 125 | 6 | 0x54 | 0 (+1 sign) | | |
|
||||
| 26 | `Unkstruct_a8d34bce` | 1948 | 1948 | 1 | 0x215 | 0 (+0 sign) | | |
|
||||
| 27 | `Unkstruct_568f7bda` | 1875 | 125 | 9 | 0x38 | 0 (+0 sign) | | |
|
||||
| 28 | `Unkstruct_8016DF5C` | 1791 | 131 | 9 | 0x38 | 0 (+3 sign) | | |
|
||||
| 29 | `Unkstruct_cd1bacd2` | 1764 | 126 | 10 | 0x38 | 0 (+0 sign) | | |
|
||||
| 30 | `Unkstruct_8011F7A8` | 1742 | 270 | 7 | 0x11e | 0 (+0 sign) | D_8011F7A8 | |
|
||||
| 31 | `Unkstruct_84612d18` | 1722 | 123 | 8 | 0x4b | 0 (+0 sign) | | |
|
||||
| 32 | `Unkstruct_57db4d07` | 1664 | 128 | 13 | 0x0 | 13 (+0 sign) | | |
|
||||
| 33 | `Unkstruct_4692fc17` | 1612 | 124 | 4 | 0x1e | 0 (+3 sign) | | |
|
||||
| 34 | `Unkstruct_eda88e53` | 1596 | 133 | 6 | 0x54 | 6 (+0 sign) | | |
|
||||
| 35 | `Unkstruct_8012D3B4` | 1588 | 183 | 23 | 0x24 | 16 (+9 sign) | | D_80074808, D_800A5E60 |
|
||||
| 36 | `Unkstruct_4e09b6d9` | 1572 | 131 | 9 | 0x32 | 0 (+1 sign) | | |
|
||||
| 37 | `Unkstruct_23e45db5` | 1512 | 126 | 11 | 0x16 | 0 (+0 sign) | | |
|
||||
| 38 | `Unkstruct_47470ce3` | 1488 | 124 | 6 | 0x1e | 0 (+0 sign) | | |
|
||||
| 39 | `Unkstruct_b5c0372a` | 1441 | 131 | 9 | 0x58 | 0 (+0 sign) | | |
|
||||
| 40 | `Unkstruct_0980b9f0` | 1441 | 131 | 4 | 0x49 | 0 (+0 sign) | | |
|
||||
| 41 | `Unkstruct_ba6e2e9f` | 1439 | 1439 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 42 | `Unkstruct_a68f6d03` | 1364 | 124 | 9 | 0x14 | 0 (+0 sign) | | |
|
||||
| 43 | `Unkstruct_8fdd92d1` | 1300 | 130 | 4 | 0x24 | 2 (+0 sign) | | |
|
||||
| 44 | `Unkstruct_110cf29e` | 1250 | 125 | 7 | 0x2c | 0 (+0 sign) | | |
|
||||
| 45 | `Unkstruct_4db8cec8` | 1240 | 124 | 8 | 0x36 | 0 (+0 sign) | | |
|
||||
| 46 | `Unkstruct_f0bc3b7a` | 1240 | 124 | 7 | 0x100 | 0 (+0 sign) | | |
|
||||
| 47 | `Unkstruct_297e7547` | 1240 | 124 | 10 | 0x58 | 0 (+0 sign) | | |
|
||||
| 48 | `Unkstruct_dd59c999` | 1240 | 124 | 6 | 0x38 | 0 (+2 sign) | | |
|
||||
| 49 | `Unkstruct_919ca3ea` | 1230 | 123 | 6 | 0x10 | 0 (+0 sign) | | |
|
||||
| 50 | `Unkstruct_a459e3e5` | 1220 | 122 | 6 | 0x34 | 0 (+0 sign) | | |
|
||||
| 51 | `Unkstruct_8014CA00` | 1219 | 407 | 4 | 0x2e | 0 (+3 sign) | | |
|
||||
| 52 | `Unkstruct_74787850` | 1206 | 1073 | 1 | 0x2 | 0 (+1 sign) | | D_801152A8 |
|
||||
| 53 | `Unkstruct_f9a7989e` | 1179 | 131 | 3 | 0x36 | 0 (+1 sign) | | |
|
||||
| 54 | `Unkstruct_0b30043d` | 1128 | 376 | 3 | 0x5e | 0 (+0 sign) | | |
|
||||
| 55 | `Unkstruct_301381d4` | 1116 | 124 | 3 | 0x36 | 0 (+1 sign) | | |
|
||||
| 56 | `Unkstruct_0ced46e2` | 1116 | 124 | 5 | 0xfe | 0 (+0 sign) | | |
|
||||
| 57 | `Unkstruct_4857195e` | 1107 | 123 | 5 | 0x34 | 0 (+0 sign) | | |
|
||||
| 58 | `Unkstruct_50a3f6b4` | 1040 | 130 | 3 | 0x36 | 0 (+0 sign) | | |
|
||||
| 59 | `Unkstruct_800B9A02` | 992 | 434 | 1 | 0x2 | 0 (+0 sign) | D_800B9A02 | |
|
||||
| 60 | `Unkstruct_f74e3af7` | 992 | 124 | 5 | 0xfe | 0 (+0 sign) | | |
|
||||
| 61 | `Unkstruct_b6c7c603` | 931 | 133 | 7 | 0x20 | 1 (+0 sign) | | |
|
||||
| 62 | `Unkstruct_b774eeeb` | 917 | 131 | 4 | 0x41 | 0 (+0 sign) | | |
|
||||
| 63 | `Unkstruct_859b4fab` | 910 | 130 | 4 | 0xb0 | 0 (+0 sign) | | |
|
||||
| 64 | `Unkstruct_801463A0` | 907 | 210 | 13 | 0x54 | 0 (+1 sign) | | D_80126B78 |
|
||||
| 65 | `Unkstruct_6d3f3f5d` | 889 | 127 | 6 | 0x38 | 0 (+0 sign) | | |
|
||||
| 66 | `Unkstruct_6d856e9d` | 889 | 127 | 5 | 0x1e | 3 (+1 sign) | | |
|
||||
| 67 | `Unkstruct_d0c6cce6` | 889 | 127 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 68 | `Unkstruct_1e86c313` | 882 | 126 | 4 | 0x8 | 0 (+0 sign) | | |
|
||||
| 69 | `Unkstruct_a41ec127` | 882 | 126 | 6 | 0x38 | 0 (+0 sign) | | |
|
||||
| 70 | `Unkstruct_17738e2c` | 876 | 33 | 32 | 0xa4 | 12 (+5 sign) | | |
|
||||
| 71 | `Unkstruct_3f697924` | 875 | 125 | 5 | 0x38 | 0 (+0 sign) | | |
|
||||
| 72 | `Unkstruct_e505dcd3` | 868 | 124 | 4 | 0x8 | 0 (+0 sign) | | |
|
||||
| 73 | `Unkstruct_fe02110c` | 868 | 124 | 3 | 0x10 | 0 (+2 sign) | | |
|
||||
| 74 | `Unkstruct_92677d11` | 861 | 123 | 5 | 0x240 | 0 (+0 sign) | | |
|
||||
| 75 | `Unkstruct_86465c2c` | 861 | 123 | 7 | 0x20 | 0 (+0 sign) | | |
|
||||
| 76 | `Unkstruct_ffd2397c` | 854 | 122 | 5 | 0x34 | 0 (+0 sign) | | |
|
||||
| 77 | `Unkstruct_801270C0` | 821 | 820 | 1 | 0x2 | 0 (+0 sign) | D_801270C0 | |
|
||||
| 78 | `Unkstruct_2932a0a7` | 798 | 133 | 6 | 0x12 | 5 (+0 sign) | | |
|
||||
| 79 | `Unkstruct_0a8f505b` | 790 | 83 | 14 | 0x10c | 0 (+5 sign) | | |
|
||||
| 80 | `Unkstruct_12f4cee2` | 786 | 131 | 5 | 0x28 | 0 (+0 sign) | | |
|
||||
| 81 | `Unkstruct_d2490774` | 786 | 131 | 3 | 0xb0 | 0 (+0 sign) | | |
|
||||
| 82 | `Unkstruct_80135260` | 780 | 130 | 3 | 0x54 | 0 (+0 sign) | | |
|
||||
| 83 | `Unkstruct_b196f9c0` | 768 | 128 | 5 | 0x14 | 1 (+0 sign) | | |
|
||||
| 84 | `Unkstruct_36c327cf` | 762 | 127 | 2 | 0x18 | 0 (+0 sign) | | |
|
||||
| 85 | `Unkstruct_6cd0e445` | 756 | 126 | 2 | 0x10 | 0 (+0 sign) | | |
|
||||
| 86 | `Unkstruct_c0b9c5d5` | 750 | 125 | 6 | 0x10 | 0 (+0 sign) | | |
|
||||
| 87 | `Unkstruct_64375b18` | 744 | 124 | 5 | 0xa0 | 0 (+0 sign) | | |
|
||||
| 88 | `Unkstruct_438adcd1` | 744 | 124 | 5 | 0x14 | 0 (+0 sign) | | |
|
||||
| 89 | `Unkstruct_97b6f459` | 744 | 124 | 5 | 0x28 | 0 (+0 sign) | | |
|
||||
| 90 | `Unkstruct_38975874` | 744 | 124 | 4 | 0x84 | 0 (+0 sign) | | |
|
||||
| 91 | `Unkstruct_76b1caf3` | 744 | 124 | 2 | 0x3 | 0 (+0 sign) | | |
|
||||
| 92 | `Unkstruct_8016BBE0` | 690 | 139 | 9 | 0x38 | 0 (+0 sign) | | |
|
||||
| 93 | `Unkstruct_80146A6C` | 680 | 137 | 7 | 0x2c | 0 (+0 sign) | | |
|
||||
| 94 | `Unkstruct_800AF630` | 671 | 537 | 3 | 0xa3dc | 0 (+0 sign) | D_800AF630 | |
|
||||
| 95 | `Unkstruct_8012C284` | 668 | 533 | 1 | 0x2 | 0 (+1 sign) | | D_80126720 |
|
||||
| 96 | `Unkstruct_80115128` | 667 | 534 | 1 | 0x2 | 0 (+0 sign) | D_80115128 | |
|
||||
| 97 | `Unkstruct_896c95f7` | 665 | 133 | 3 | 0x5e | 0 (+0 sign) | | |
|
||||
| 98 | `Unkstruct_61789347` | 665 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 99 | `Unkstruct_5f294c87` | 665 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 100 | `Unkstruct_801345F8` | 665 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 101 | `Unkstruct_801345F8` | 665 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 102 | `Unkstruct_801152A0` | 665 | 399 | 1 | 0x2 | 0 (+0 sign) | D_801152A0 | |
|
||||
| 103 | `Unkstruct_fdd04bae` | 650 | 130 | 3 | 0x38 | 0 (+0 sign) | | |
|
||||
| 104 | `Unkstruct_eb8b6fbf` | 645 | 129 | 5 | 0xfe | 0 (+0 sign) | | |
|
||||
| 105 | `Unkstruct_90d0825c` | 645 | 129 | 5 | 0x1c | 1 (+0 sign) | | |
|
||||
| 106 | `Unkstruct_27c177f1` | 645 | 129 | 4 | 0x34 | 0 (+0 sign) | | |
|
||||
| 107 | `Unkstruct_4f9f60b8` | 630 | 126 | 4 | 0x78 | 0 (+0 sign) | | |
|
||||
| 108 | `Unkstruct_7a31a22f` | 630 | 126 | 2 | 0x19c | 0 (+0 sign) | | |
|
||||
| 109 | `Unkstruct_187abeff` | 630 | 126 | 5 | 0x68 | 0 (+0 sign) | | |
|
||||
| 110 | `Unkstruct_f9fa1fb7` | 630 | 126 | 4 | 0x20 | 0 (+0 sign) | | |
|
||||
| 111 | `Unkstruct_20d4328b` | 630 | 126 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 112 | `Unkstruct_d94ab931` | 625 | 125 | 4 | 0x6 | 2 (+1 sign) | | |
|
||||
| 113 | `Unkstruct_7ef9c9ef` | 625 | 125 | 4 | 0x6 | 2 (+1 sign) | | |
|
||||
| 114 | `Unkstruct_ad0948d5` | 625 | 125 | 5 | 0x1c | 0 (+0 sign) | | |
|
||||
| 115 | `Unkstruct_fccefc1f` | 625 | 125 | 2 | 0x1a | 0 (+0 sign) | | |
|
||||
| 116 | `Unkstruct_57ae03d1` | 620 | 124 | 2 | 0x2c | 0 (+0 sign) | | |
|
||||
| 117 | `Unkstruct_af1e9d57` | 620 | 248 | 4 | 0x64 | 0 (+0 sign) | | |
|
||||
| 118 | `Unkstruct_172cbd29` | 620 | 124 | 2 | 0x1fc | 0 (+0 sign) | | |
|
||||
| 119 | `Unkstruct_2c2c1d2e` | 620 | 124 | 4 | 0x24 | 0 (+0 sign) | | |
|
||||
| 120 | `Unkstruct_aaf4c4dd` | 615 | 615 | 1 | 0x16 | 0 (+0 sign) | | |
|
||||
| 121 | `Unkstruct_293d71dc` | 600 | 75 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 122 | `Unkstruct_78eaa73c` | 553 | 7 | 15 | 0x10a | 0 (+7 sign) | | |
|
||||
| 123 | `Unkstruct_8011512E` | 532 | 133 | 1 | 0x2 | 0 (+0 sign) | D_8011512E | |
|
||||
| 124 | `Unkstruct_8016BFA8` | 532 | 133 | 4 | 0x24 | 0 (+0 sign) | | |
|
||||
| 125 | `Unkstruct_7476116e` | 532 | 133 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 126 | `Unkstruct_30befa8c` | 520 | 130 | 3 | 0xfe | 0 (+0 sign) | | |
|
||||
| 127 | `Unkstruct_01082f7a` | 520 | 520 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 128 | `Unkstruct_db0ee441` | 516 | 129 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 129 | `Unkstruct_290ce261` | 504 | 126 | 3 | 0xfe | 0 (+0 sign) | | |
|
||||
| 130 | `Unkstruct_d6100faa` | 504 | 126 | 3 | 0x20 | 0 (+0 sign) | | |
|
||||
| 131 | `Unkstruct_fc43506c` | 504 | 126 | 3 | 0xe | 0 (+0 sign) | | |
|
||||
| 132 | `Unkstruct_7cb40b10` | 500 | 500 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 133 | `Unkstruct_4e078af8` | 496 | 124 | 2 | 0x4 | 0 (+2 sign) | | |
|
||||
| 134 | `Unkstruct_494cef68` | 496 | 124 | 2 | 0x188 | 0 (+0 sign) | | |
|
||||
| 135 | `Unkstruct_93df0322` | 496 | 124 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 136 | `Unkstruct_3b2b6e45` | 496 | 124 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 137 | `Unkstruct_9e228c39` | 492 | 123 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 138 | `Unkstruct_a05973fa` | 492 | 123 | 3 | 0x2c | 0 (+0 sign) | | |
|
||||
| 139 | `Unkstruct_48c11385` | 441 | 21 | 5 | 0x68 | 0 (+0 sign) | | |
|
||||
| 140 | `Unkstruct_a55a221e` | 428 | 428 | 1 | 0x215 | 0 (+0 sign) | | |
|
||||
| 141 | `Unkstruct_02864986` | 420 | 420 | 1 | 0x2 | 0 (+1 sign) | | D_80115158 |
|
||||
| 142 | `Unkstruct_80131B14` | 404 | 383 | 5 | 0x32 | 0 (+0 sign) | | |
|
||||
| 143 | `Unkstruct_8011511A` | 404 | 146 | 1 | 0x2 | 0 (+1 sign) | D_8011511A | |
|
||||
| 144 | `Unkstruct_8016B5C0` | 399 | 133 | 2 | 0x1c | 0 (+0 sign) | | |
|
||||
| 145 | `Unkstruct_8016BFA8` | 399 | 133 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 146 | `Unkstruct_8011F7F0` | 399 | 133 | 3 | 0x42 | 0 (+0 sign) | D_8011F7F0 | |
|
||||
| 147 | `Unkstruct_630777a3` | 399 | 266 | 2 | 0x5 | 0 (+0 sign) | | |
|
||||
| 148 | `Unkstruct_1649b9a7` | 392 | 28 | 8 | 0x38 | 0 (+2 sign) | | |
|
||||
| 149 | `Unkstruct_ea5ed765` | 390 | 130 | 1 | 0xdb | 0 (+0 sign) | | |
|
||||
| 150 | `Unkstruct_80135260` | 390 | 130 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 151 | `Unkstruct_a472a6ba` | 387 | 129 | 3 | 0x1c | 0 (+0 sign) | | |
|
||||
| 152 | `Unkstruct_f2440762` | 384 | 128 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 153 | `Unkstruct_80164BDC` | 384 | 128 | 5 | 0x64 | 0 (+1 sign) | | |
|
||||
| 154 | `Unkstruct_8c2ab96e` | 384 | 128 | 3 | 0x8 | 0 (+0 sign) | | |
|
||||
| 155 | `Unkstruct_d448adea` | 384 | 48 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 156 | `Unkstruct_2552224c` | 381 | 127 | 3 | 0x10 | 0 (+0 sign) | | |
|
||||
| 157 | `Unkstruct_e79a0730` | 378 | 126 | 2 | 0x24 | 0 (+0 sign) | | |
|
||||
| 158 | `Unkstruct_1a8e907f` | 378 | 126 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 159 | `Unkstruct_e1c73ac0` | 378 | 126 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 160 | `Unkstruct_8ba4da0a` | 378 | 126 | 3 | 0x1c | 0 (+0 sign) | | |
|
||||
| 161 | `Unkstruct_93e44aed` | 378 | 126 | 2 | 0x1c | 0 (+0 sign) | | |
|
||||
| 162 | `Unkstruct_8dd0822e` | 378 | 126 | 3 | 0xe | 0 (+0 sign) | | |
|
||||
| 163 | `Unkstruct_89684c99` | 375 | 125 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 164 | `Unkstruct_d0754cca` | 375 | 125 | 2 | 0x24 | 0 (+0 sign) | | |
|
||||
| 165 | `Unkstruct_89f82b52` | 372 | 124 | 3 | 0x1ca | 0 (+0 sign) | | |
|
||||
| 166 | `Unkstruct_924d03d6` | 372 | 124 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 167 | `Unkstruct_7fd6458b` | 372 | 124 | 1 | 0x40 | 0 (+0 sign) | | |
|
||||
| 168 | `Unkstruct_92a372de` | 372 | 124 | 2 | 0x24 | 0 (+0 sign) | | |
|
||||
| 169 | `Unkstruct_4a31f01c` | 372 | 124 | 3 | 0x1c | 0 (+0 sign) | | |
|
||||
| 170 | `Unkstruct_39de3511` | 372 | 124 | 3 | 0x12 | 0 (+0 sign) | | |
|
||||
| 171 | `Unkstruct_1b4331f0` | 369 | 123 | 3 | 0x5e | 0 (+0 sign) | | |
|
||||
| 172 | `Unkstruct_75e9a6af` | 369 | 123 | 3 | 0x10 | 0 (+0 sign) | | |
|
||||
| 173 | `Unkstruct_c59d6379` | 366 | 14 | 24 | 0xa2 | 3 (+3 sign) | | |
|
||||
| 174 | `Unkstruct_5c635b4b` | 364 | 14 | 13 | 0x34 | 0 (+0 sign) | | |
|
||||
| 175 | `Unkstruct_800AE620` | 325 | 322 | 0 | 0x0 | 0 (+0 sign) | D_800AE620 | |
|
||||
| 176 | `Unkstruct_814e4d87` | 300 | 75 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 177 | `Unkstruct_09b02bee` | 300 | 75 | 2 | 0x4 | 0 (+0 sign) | | |
|
||||
| 178 | `Unkstruct_1ef3b11b` | 280 | 10 | 7 | 0x10c | 0 (+1 sign) | | |
|
||||
| 179 | `Unkstruct_80115188` | 274 | 270 | 1 | 0x4 | 0 (+0 sign) | D_80115188 | |
|
||||
| 180 | `Unkstruct_80129CF8` | 273 | 90 | 33 | 0xa435 | 0 (+5 sign) | | D_800AF630 |
|
||||
| 181 | `Unkstruct_a2d6c72b` | 273 | 21 | 4 | 0x100 | 0 (+0 sign) | | |
|
||||
| 182 | `Unkstruct_80078EB4` | 270 | 137 | 1 | 0x2 | 0 (+0 sign) | D_80078EB4 | |
|
||||
| 183 | `Unkstruct_80115118` | 268 | 265 | 1 | 0x2 | 0 (+1 sign) | D_80115118 | |
|
||||
| 184 | `Unkstruct_801152B0` | 268 | 268 | 0 | 0x0 | 0 (+0 sign) | D_801152B0 | |
|
||||
| 185 | `Unkstruct_801269F4` | 267 | 134 | 1 | 0x2 | 0 (+0 sign) | D_801269F4 | |
|
||||
| 186 | `Unkstruct_8012C1DC` | 267 | 134 | 3 | 0x1c | 0 (+0 sign) | | |
|
||||
| 187 | `Unkstruct_8011515C` | 267 | 267 | 1 | 0x2 | 0 (+1 sign) | D_8011515C | |
|
||||
| 188 | `Unkstruct_1db7b82d` | 266 | 133 | 1 | 0x2e | 0 (+0 sign) | | |
|
||||
| 189 | `Unkstruct_6bd63257` | 266 | 133 | 2 | 0x1e | 0 (+0 sign) | | |
|
||||
| 190 | `Unkstruct_f85de09d` | 266 | 133 | 1 | 0x2 | 0 (+0 sign) | | |
|
||||
| 191 | `Unkstruct_a310cf42` | 266 | 133 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 192 | `Unkstruct_80115124` | 266 | 266 | 1 | 0x2 | 0 (+0 sign) | D_80115124 | |
|
||||
| 193 | `Unkstruct_800D4BE0` | 266 | 133 | 1 | 0x4 | 0 (+0 sign) | D_800D4BE0 | |
|
||||
| 194 | `Unkstruct_800D4F8C` | 266 | 133 | 1 | 0x4 | 0 (+0 sign) | D_800D4F8C | |
|
||||
| 195 | `Unkstruct_8016BFA8` | 266 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 196 | `Unkstruct_8016BFA8` | 266 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 197 | `Unkstruct_80176734` | 266 | 133 | 1 | 0x2c | 0 (+0 sign) | | D_8011F7B0 |
|
||||
| 198 | `Unkstruct_80126B62` | 265 | 252 | 2 | 0xe | 0 (+1 sign) | D_80126B62 | |
|
||||
| 199 | `Unkstruct_76f4299b` | 262 | 131 | 1 | 0x4a | 0 (+0 sign) | | |
|
||||
| 200 | `Unkstruct_3816caab` | 260 | 130 | 2 | 0x1c | 0 (+0 sign) | | |
|
||||
| 9 | `Unkstruct_57a28935` | 3271 | 196 | 26 | 0xa4 | 3 (+9 sign) | | |
|
||||
| 10 | `Unkstruct_1fa9e810` | 3144 | 131 | 3 | 0x49 | 0 (+0 sign) | | |
|
||||
| 11 | `Unkstruct_30b21035` | 3100 | 124 | 13 | 0x54 | 0 (+0 sign) | | |
|
||||
| 12 | `Unkstruct_80126948` | 3034 | 848 | 34 | 0xa4 | 0 (+10 sign) | D_80126948, D_80126E60 | D_80114EE8, D_801151D4, D_80126948, D_80126E60… |
|
||||
| 13 | `Unkstruct_a2c8734a` | 2646 | 126 | 8 | 0x34 | 0 (+3 sign) | | |
|
||||
| 14 | `Unkstruct_198fc7cc` | 2580 | 129 | 16 | 0x38 | 3 (+1 sign) | | |
|
||||
| 15 | `Unkstruct_80130D48` | 2382 | 587 | 25 | 0x64 | 6 (+3 sign) | | D_80072C84, D_80078E78 |
|
||||
| 16 | `Unkstruct_ed8f1335` | 2356 | 124 | 18 | 0x24 | 0 (+0 sign) | | |
|
||||
| 17 | `Unkstruct_8016B4F8` | 2140 | 535 | 5 | 0x30 | 0 (+0 sign) | | |
|
||||
| 18 | `Unkstruct_80139C7C` | 2111 | 265 | 14 | 0x44 | 0 (+3 sign) | | |
|
||||
| 19 | `Unkstruct_b047cdf2` | 2108 | 124 | 6 | 0x20 | 0 (+0 sign) | | |
|
||||
| 20 | `Unkstruct_1255bbfd` | 2091 | 123 | 6 | 0x4b | 0 (+0 sign) | | |
|
||||
| 21 | `Unkstruct_dd542e54` | 2016 | 126 | 7 | 0x18 | 0 (+0 sign) | | |
|
||||
| 22 | `Unkstruct_f49880fd` | 2000 | 125 | 6 | 0x54 | 0 (+1 sign) | | |
|
||||
| 23 | `Unkstruct_a8d34bce` | 1948 | 1948 | 1 | 0x215 | 0 (+0 sign) | | |
|
||||
| 24 | `Unkstruct_568f7bda` | 1875 | 125 | 9 | 0x38 | 0 (+0 sign) | | |
|
||||
| 25 | `Unkstruct_8016DF5C` | 1791 | 131 | 9 | 0x38 | 0 (+3 sign) | | |
|
||||
| 26 | `Unkstruct_cd1bacd2` | 1764 | 126 | 10 | 0x38 | 0 (+0 sign) | | |
|
||||
| 27 | `Unkstruct_8011F7A8` | 1742 | 270 | 7 | 0x11e | 0 (+0 sign) | D_8011F7A8 | |
|
||||
| 28 | `Unkstruct_9928c710` | 1722 | 123 | 8 | 0x4b | 0 (+0 sign) | | |
|
||||
| 29 | `Unkstruct_57db4d07` | 1664 | 128 | 13 | 0x0 | 13 (+0 sign) | | |
|
||||
| 30 | `Unkstruct_4692fc17` | 1612 | 124 | 4 | 0x1e | 0 (+3 sign) | | |
|
||||
| 31 | `Unkstruct_d77ead3e` | 1596 | 133 | 6 | 0x54 | 6 (+0 sign) | | |
|
||||
| 32 | `Unkstruct_8012D3B4` | 1588 | 183 | 23 | 0x24 | 16 (+9 sign) | | D_80074808, D_800A5E60 |
|
||||
| 33 | `Unkstruct_4e09b6d9` | 1572 | 131 | 9 | 0x32 | 0 (+1 sign) | | |
|
||||
| 34 | `Unkstruct_645b745d` | 1548 | 258 | 4 | 0x7c | 0 (+0 sign) | | |
|
||||
| 35 | `Unkstruct_23e45db5` | 1512 | 126 | 11 | 0x16 | 0 (+0 sign) | | |
|
||||
| 36 | `Unkstruct_b5c0372a` | 1441 | 131 | 9 | 0x58 | 0 (+0 sign) | | |
|
||||
| 37 | `Unkstruct_0980b9f0` | 1441 | 131 | 4 | 0x49 | 0 (+0 sign) | | |
|
||||
| 38 | `Unkstruct_47470ce3` | 1404 | 117 | 6 | 0x1e | 0 (+0 sign) | | |
|
||||
| 39 | `Unkstruct_d12e3a28` | 1364 | 124 | 9 | 0x14 | 0 (+0 sign) | | |
|
||||
| 40 | `Unkstruct_8fdd92d1` | 1300 | 130 | 4 | 0x24 | 2 (+0 sign) | | |
|
||||
| 41 | `Unkstruct_110cf29e` | 1250 | 125 | 7 | 0x2c | 0 (+0 sign) | | |
|
||||
| 42 | `Unkstruct_4db8cec8` | 1240 | 124 | 8 | 0x36 | 0 (+0 sign) | | |
|
||||
| 43 | `Unkstruct_f0bc3b7a` | 1240 | 124 | 7 | 0x100 | 0 (+0 sign) | | |
|
||||
| 44 | `Unkstruct_297e7547` | 1240 | 124 | 10 | 0x58 | 0 (+0 sign) | | |
|
||||
| 45 | `Unkstruct_d292c30d` | 1240 | 124 | 6 | 0x38 | 0 (+2 sign) | | |
|
||||
| 46 | `Unkstruct_919ca3ea` | 1230 | 123 | 6 | 0x10 | 0 (+0 sign) | | |
|
||||
| 47 | `Unkstruct_a459e3e5` | 1220 | 122 | 6 | 0x34 | 0 (+0 sign) | | |
|
||||
| 48 | `Unkstruct_1149cbcc` | 1206 | 1073 | 1 | 0x2 | 0 (+1 sign) | | D_801152A8 |
|
||||
| 49 | `Unkstruct_f9a7989e` | 1179 | 131 | 3 | 0x36 | 0 (+1 sign) | | |
|
||||
| 50 | `Unkstruct_0b30043d` | 1128 | 376 | 3 | 0x5e | 0 (+0 sign) | | |
|
||||
| 51 | `Unkstruct_301381d4` | 1116 | 124 | 3 | 0x36 | 0 (+1 sign) | | |
|
||||
| 52 | `Unkstruct_4e427c01` | 1116 | 124 | 5 | 0xfe | 0 (+0 sign) | | |
|
||||
| 53 | `Unkstruct_4857195e` | 1107 | 123 | 5 | 0x34 | 0 (+0 sign) | | |
|
||||
| 54 | `Unkstruct_50a3f6b4` | 1040 | 130 | 3 | 0x36 | 0 (+0 sign) | | |
|
||||
| 55 | `Unkstruct_800B9A02` | 992 | 434 | 1 | 0x2 | 0 (+0 sign) | D_800B9A02 | |
|
||||
| 56 | `Unkstruct_ee756a74` | 992 | 124 | 5 | 0xfe | 0 (+0 sign) | | |
|
||||
| 57 | `Unkstruct_b6c7c603` | 931 | 133 | 7 | 0x20 | 1 (+0 sign) | | |
|
||||
| 58 | `Unkstruct_b774eeeb` | 917 | 131 | 4 | 0x41 | 0 (+0 sign) | | |
|
||||
| 59 | `Unkstruct_859b4fab` | 910 | 130 | 4 | 0xb0 | 0 (+0 sign) | | |
|
||||
| 60 | `Unkstruct_801463A0` | 907 | 210 | 13 | 0x54 | 0 (+1 sign) | | D_80126B78 |
|
||||
| 61 | `Unkstruct_6d3f3f5d` | 889 | 127 | 6 | 0x38 | 0 (+0 sign) | | |
|
||||
| 62 | `Unkstruct_85709988` | 889 | 127 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 63 | `Unkstruct_1e86c313` | 882 | 126 | 4 | 0x8 | 0 (+0 sign) | | |
|
||||
| 64 | `Unkstruct_a41ec127` | 882 | 126 | 6 | 0x38 | 0 (+0 sign) | | |
|
||||
| 65 | `Unkstruct_17738e2c` | 876 | 33 | 32 | 0xa4 | 12 (+5 sign) | | |
|
||||
| 66 | `Unkstruct_3f697924` | 875 | 125 | 5 | 0x38 | 0 (+0 sign) | | |
|
||||
| 67 | `Unkstruct_e505dcd3` | 868 | 124 | 4 | 0x8 | 0 (+0 sign) | | |
|
||||
| 68 | `Unkstruct_95febbc1` | 868 | 124 | 3 | 0x10 | 0 (+2 sign) | | |
|
||||
| 69 | `Unkstruct_92677d11` | 861 | 123 | 5 | 0x240 | 0 (+0 sign) | | |
|
||||
| 70 | `Unkstruct_86465c2c` | 861 | 123 | 7 | 0x20 | 0 (+0 sign) | | |
|
||||
| 71 | `Unkstruct_ffd2397c` | 854 | 122 | 5 | 0x34 | 0 (+0 sign) | | |
|
||||
| 72 | `Unkstruct_2932a0a7` | 798 | 133 | 6 | 0x12 | 5 (+0 sign) | | |
|
||||
| 73 | `Unkstruct_0a8f505b` | 790 | 83 | 14 | 0x10c | 0 (+5 sign) | | |
|
||||
| 74 | `Unkstruct_12f4cee2` | 786 | 131 | 5 | 0x28 | 0 (+0 sign) | | |
|
||||
| 75 | `Unkstruct_d2490774` | 786 | 131 | 3 | 0xb0 | 0 (+0 sign) | | |
|
||||
| 76 | `Unkstruct_80135260` | 780 | 130 | 3 | 0x54 | 0 (+0 sign) | | |
|
||||
| 77 | `Unkstruct_d827da45` | 774 | 258 | 3 | 0x12 | 0 (+0 sign) | | |
|
||||
| 78 | `Unkstruct_b196f9c0` | 768 | 128 | 5 | 0x14 | 1 (+0 sign) | | |
|
||||
| 79 | `Unkstruct_36c327cf` | 762 | 127 | 2 | 0x18 | 0 (+0 sign) | | |
|
||||
| 80 | `Unkstruct_6cd0e445` | 756 | 126 | 2 | 0x10 | 0 (+0 sign) | | |
|
||||
| 81 | `Unkstruct_c0b9c5d5` | 750 | 125 | 6 | 0x10 | 0 (+0 sign) | | |
|
||||
| 82 | `Unkstruct_64375b18` | 744 | 124 | 5 | 0xa0 | 0 (+0 sign) | | |
|
||||
| 83 | `Unkstruct_b8ff4ce4` | 744 | 124 | 5 | 0x14 | 0 (+0 sign) | | |
|
||||
| 84 | `Unkstruct_97b6f459` | 744 | 124 | 5 | 0x28 | 0 (+0 sign) | | |
|
||||
| 85 | `Unkstruct_72479d90` | 744 | 124 | 4 | 0x7c | 0 (+0 sign) | | |
|
||||
| 86 | `Unkstruct_38975874` | 744 | 124 | 4 | 0x84 | 0 (+0 sign) | | |
|
||||
| 87 | `Unkstruct_76b1caf3` | 744 | 124 | 2 | 0x3 | 0 (+0 sign) | | |
|
||||
| 88 | `Unkstruct_6f21e02b` | 711 | 79 | 6 | 0x7c | 0 (+0 sign) | | |
|
||||
| 89 | `Unkstruct_801270C0` | 690 | 689 | 1 | 0x2 | 0 (+0 sign) | D_801270C0 | |
|
||||
| 90 | `Unkstruct_8016BBE0` | 690 | 139 | 9 | 0x38 | 0 (+0 sign) | | |
|
||||
| 91 | `Unkstruct_80146A6C` | 680 | 137 | 7 | 0x2c | 0 (+0 sign) | | |
|
||||
| 92 | `Unkstruct_800AF630` | 671 | 537 | 3 | 0xa3dc | 0 (+0 sign) | D_800AF630 | |
|
||||
| 93 | `Unkstruct_8012C284` | 668 | 533 | 1 | 0x2 | 0 (+1 sign) | | D_80126720 |
|
||||
| 94 | `Unkstruct_896c95f7` | 665 | 133 | 3 | 0x5e | 0 (+0 sign) | | |
|
||||
| 95 | `Unkstruct_61789347` | 665 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 96 | `Unkstruct_5f294c87` | 665 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 97 | `Unkstruct_801345F8` | 665 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 98 | `Unkstruct_801345F8` | 665 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 99 | `Unkstruct_801152A0` | 659 | 397 | 1 | 0x2 | 0 (+0 sign) | D_801152A0 | |
|
||||
| 100 | `Unkstruct_fdd04bae` | 650 | 130 | 3 | 0x38 | 0 (+0 sign) | | |
|
||||
| 101 | `Unkstruct_eb8b6fbf` | 645 | 129 | 5 | 0xfe | 0 (+0 sign) | | |
|
||||
| 102 | `Unkstruct_90d0825c` | 645 | 129 | 5 | 0x1c | 1 (+0 sign) | | |
|
||||
| 103 | `Unkstruct_27c177f1` | 645 | 129 | 4 | 0x34 | 0 (+0 sign) | | |
|
||||
| 104 | `Unkstruct_4f9f60b8` | 630 | 126 | 4 | 0x78 | 0 (+0 sign) | | |
|
||||
| 105 | `Unkstruct_7a31a22f` | 630 | 126 | 2 | 0x19c | 0 (+0 sign) | | |
|
||||
| 106 | `Unkstruct_187abeff` | 630 | 126 | 5 | 0x68 | 0 (+0 sign) | | |
|
||||
| 107 | `Unkstruct_f9fa1fb7` | 630 | 126 | 4 | 0x20 | 0 (+0 sign) | | |
|
||||
| 108 | `Unkstruct_20d4328b` | 630 | 126 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 109 | `Unkstruct_d94ab931` | 625 | 125 | 4 | 0x6 | 2 (+1 sign) | | |
|
||||
| 110 | `Unkstruct_7ef9c9ef` | 625 | 125 | 4 | 0x6 | 2 (+1 sign) | | |
|
||||
| 111 | `Unkstruct_ad0948d5` | 625 | 125 | 5 | 0x1c | 0 (+0 sign) | | |
|
||||
| 112 | `Unkstruct_fccefc1f` | 625 | 125 | 2 | 0x1a | 0 (+0 sign) | | |
|
||||
| 113 | `Unkstruct_b500a675` | 620 | 124 | 2 | 0x2c | 0 (+0 sign) | | |
|
||||
| 114 | `Unkstruct_af1e9d57` | 620 | 248 | 4 | 0x64 | 0 (+0 sign) | | |
|
||||
| 115 | `Unkstruct_172cbd29` | 620 | 124 | 2 | 0x1fc | 0 (+0 sign) | | |
|
||||
| 116 | `Unkstruct_c5b84dea` | 620 | 124 | 4 | 0x24 | 0 (+0 sign) | | |
|
||||
| 117 | `Unkstruct_aaf4c4dd` | 615 | 615 | 1 | 0x16 | 0 (+0 sign) | | |
|
||||
| 118 | `Unkstruct_293d71dc` | 600 | 75 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 119 | `Unkstruct_8011512E` | 532 | 133 | 1 | 0x2 | 0 (+0 sign) | D_8011512E | |
|
||||
| 120 | `Unkstruct_8016BFA8` | 532 | 133 | 4 | 0x24 | 0 (+0 sign) | | |
|
||||
| 121 | `Unkstruct_7476116e` | 532 | 133 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 122 | `Unkstruct_80115128` | 527 | 394 | 1 | 0x2 | 0 (+0 sign) | D_80115128 | |
|
||||
| 123 | `Unkstruct_30befa8c` | 520 | 130 | 3 | 0xfe | 0 (+0 sign) | | |
|
||||
| 124 | `Unkstruct_01082f7a` | 520 | 520 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 125 | `Unkstruct_db0ee441` | 516 | 129 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 126 | `Unkstruct_290ce261` | 504 | 126 | 3 | 0xfe | 0 (+0 sign) | | |
|
||||
| 127 | `Unkstruct_d6100faa` | 504 | 126 | 3 | 0x20 | 0 (+0 sign) | | |
|
||||
| 128 | `Unkstruct_fc43506c` | 504 | 126 | 3 | 0xe | 0 (+0 sign) | | |
|
||||
| 129 | `Unkstruct_7cb40b10` | 500 | 500 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 130 | `Unkstruct_4e078af8` | 496 | 124 | 2 | 0x4 | 0 (+2 sign) | | |
|
||||
| 131 | `Unkstruct_494cef68` | 496 | 124 | 2 | 0x188 | 0 (+0 sign) | | |
|
||||
| 132 | `Unkstruct_6216dfea` | 496 | 124 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 133 | `Unkstruct_6feef4cf` | 496 | 124 | 4 | 0x38 | 0 (+0 sign) | | |
|
||||
| 134 | `Unkstruct_9e228c39` | 492 | 123 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 135 | `Unkstruct_76fe8618` | 492 | 123 | 3 | 0x2c | 0 (+0 sign) | | |
|
||||
| 136 | `Unkstruct_48c11385` | 441 | 21 | 5 | 0x68 | 0 (+0 sign) | | |
|
||||
| 137 | `Unkstruct_a55a221e` | 428 | 428 | 1 | 0x215 | 0 (+0 sign) | | |
|
||||
| 138 | `Unkstruct_02864986` | 420 | 420 | 1 | 0x2 | 0 (+1 sign) | | D_80115158 |
|
||||
| 139 | `Unkstruct_f9be7d6a` | 405 | 45 | 6 | 0x7c | 0 (+0 sign) | | |
|
||||
| 140 | `Unkstruct_8011511A` | 404 | 146 | 1 | 0x2 | 0 (+1 sign) | D_8011511A | |
|
||||
| 141 | `Unkstruct_8016B5C0` | 399 | 133 | 2 | 0x1c | 0 (+0 sign) | | |
|
||||
| 142 | `Unkstruct_8016BFA8` | 399 | 133 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 143 | `Unkstruct_5e1aeb8f` | 399 | 133 | 3 | 0x10 | 0 (+0 sign) | | |
|
||||
| 144 | `Unkstruct_8011F7F0` | 399 | 133 | 3 | 0x42 | 0 (+0 sign) | D_8011F7F0 | |
|
||||
| 145 | `Unkstruct_630777a3` | 399 | 266 | 2 | 0x5 | 0 (+0 sign) | | |
|
||||
| 146 | `Unkstruct_80135260` | 390 | 130 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 147 | `Unkstruct_a472a6ba` | 387 | 129 | 3 | 0x1c | 0 (+0 sign) | | |
|
||||
| 148 | `Unkstruct_f2440762` | 384 | 128 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 149 | `Unkstruct_80164BDC` | 384 | 128 | 5 | 0x64 | 0 (+1 sign) | | |
|
||||
| 150 | `Unkstruct_8c2ab96e` | 384 | 128 | 3 | 0x8 | 0 (+0 sign) | | |
|
||||
| 151 | `Unkstruct_d448adea` | 384 | 48 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 152 | `Unkstruct_c06886a4` | 381 | 127 | 2 | 0x1c | 0 (+0 sign) | | |
|
||||
| 153 | `Unkstruct_e79a0730` | 378 | 126 | 2 | 0x24 | 0 (+0 sign) | | |
|
||||
| 154 | `Unkstruct_1a8e907f` | 378 | 126 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 155 | `Unkstruct_e1c73ac0` | 378 | 126 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 156 | `Unkstruct_b36b9c5c` | 378 | 126 | 3 | 0x1c | 0 (+0 sign) | | |
|
||||
| 157 | `Unkstruct_93e44aed` | 378 | 126 | 2 | 0x1c | 0 (+0 sign) | | |
|
||||
| 158 | `Unkstruct_8dd0822e` | 378 | 126 | 3 | 0xe | 0 (+0 sign) | | |
|
||||
| 159 | `Unkstruct_89684c99` | 375 | 125 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 160 | `Unkstruct_d0754cca` | 375 | 125 | 2 | 0x24 | 0 (+0 sign) | | |
|
||||
| 161 | `Unkstruct_89f82b52` | 372 | 124 | 3 | 0x1ca | 0 (+0 sign) | | |
|
||||
| 162 | `Unkstruct_924d03d6` | 372 | 124 | 3 | 0x6 | 0 (+0 sign) | | |
|
||||
| 163 | `Unkstruct_7fd6458b` | 372 | 124 | 1 | 0x40 | 0 (+0 sign) | | |
|
||||
| 164 | `Unkstruct_7f39c942` | 372 | 124 | 3 | 0x1c | 0 (+0 sign) | | |
|
||||
| 165 | `Unkstruct_39de3511` | 372 | 124 | 3 | 0x12 | 0 (+0 sign) | | |
|
||||
| 166 | `Unkstruct_1b4331f0` | 369 | 123 | 3 | 0x5e | 0 (+0 sign) | | |
|
||||
| 167 | `Unkstruct_75e9a6af` | 369 | 123 | 3 | 0x10 | 0 (+0 sign) | | |
|
||||
| 168 | `Unkstruct_c59d6379` | 366 | 14 | 24 | 0xa2 | 3 (+3 sign) | | |
|
||||
| 169 | `Unkstruct_bf723e51` | 364 | 14 | 13 | 0x34 | 0 (+0 sign) | | |
|
||||
| 170 | `Unkstruct_5f78a994` | 336 | 24 | 8 | 0x38 | 0 (+2 sign) | | |
|
||||
| 171 | `Unkstruct_800AE620` | 325 | 322 | 0 | 0x0 | 0 (+0 sign) | D_800AE620 | |
|
||||
| 172 | `Unkstruct_814e4d87` | 300 | 75 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 173 | `Unkstruct_09b02bee` | 300 | 75 | 2 | 0x4 | 0 (+0 sign) | | |
|
||||
| 174 | `Unkstruct_33ccb6b5` | 294 | 98 | 2 | 0x24 | 0 (+0 sign) | | |
|
||||
| 175 | `Unkstruct_1ef3b11b` | 280 | 10 | 7 | 0x10c | 0 (+1 sign) | | |
|
||||
| 176 | `Unkstruct_80115188` | 274 | 270 | 1 | 0x4 | 0 (+0 sign) | D_80115188 | |
|
||||
| 177 | `Unkstruct_80129CF8` | 273 | 90 | 33 | 0xa435 | 0 (+5 sign) | | D_800AF630 |
|
||||
| 178 | `Unkstruct_a2d6c72b` | 273 | 21 | 4 | 0x100 | 0 (+0 sign) | | |
|
||||
| 179 | `Unkstruct_801152B0` | 268 | 268 | 0 | 0x0 | 0 (+0 sign) | D_801152B0 | |
|
||||
| 180 | `Unkstruct_801269F4` | 267 | 134 | 1 | 0x2 | 0 (+0 sign) | D_801269F4 | |
|
||||
| 181 | `Unkstruct_8012C1DC` | 267 | 134 | 3 | 0x1c | 0 (+0 sign) | | |
|
||||
| 182 | `Unkstruct_8011515C` | 267 | 267 | 1 | 0x2 | 0 (+1 sign) | D_8011515C | |
|
||||
| 183 | `Unkstruct_1db7b82d` | 266 | 133 | 1 | 0x2e | 0 (+0 sign) | | |
|
||||
| 184 | `Unkstruct_6bd63257` | 266 | 133 | 2 | 0x1e | 0 (+0 sign) | | |
|
||||
| 185 | `Unkstruct_f85de09d` | 266 | 133 | 1 | 0x2 | 0 (+0 sign) | | |
|
||||
| 186 | `Unkstruct_a310cf42` | 266 | 133 | 1 | 0x4 | 0 (+0 sign) | | |
|
||||
| 187 | `Unkstruct_80115124` | 266 | 266 | 1 | 0x2 | 0 (+0 sign) | D_80115124 | |
|
||||
| 188 | `Unkstruct_800D4BE0` | 266 | 133 | 1 | 0x4 | 0 (+0 sign) | D_800D4BE0 | |
|
||||
| 189 | `Unkstruct_800D4F8C` | 266 | 133 | 1 | 0x4 | 0 (+0 sign) | D_800D4F8C | |
|
||||
| 190 | `Unkstruct_8016BFA8` | 266 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 191 | `Unkstruct_8016BFA8` | 266 | 133 | 0 | 0x0 | 0 (+0 sign) | | |
|
||||
| 192 | `Unkstruct_80176734` | 266 | 133 | 1 | 0x2c | 0 (+0 sign) | | D_8011F7B0 |
|
||||
| 193 | `Unkstruct_30ffce68` | 262 | 131 | 2 | 0xc2 | 0 (+0 sign) | | |
|
||||
| 194 | `Unkstruct_76f4299b` | 262 | 131 | 1 | 0x4a | 0 (+0 sign) | | |
|
||||
| 195 | `Unkstruct_3816caab` | 260 | 130 | 2 | 0x1c | 0 (+0 sign) | | |
|
||||
| 196 | `Unkstruct_ac2c8f05` | 260 | 130 | 1 | 0x16e | 0 (+0 sign) | | |
|
||||
| 197 | `Unkstruct_985493b9` | 256 | 128 | 2 | 0x1c1 | 0 (+0 sign) | | |
|
||||
| 198 | `Unkstruct_c21b1a66` | 255 | 255 | 1 | 0x5 | 0 (+0 sign) | | |
|
||||
| 199 | `Unkstruct_80126B62` | 252 | 242 | 1 | 0x2 | 0 (+1 sign) | D_80126B62 | |
|
||||
| 200 | `Unkstruct_ae2d1f2a` | 252 | 7 | 13 | 0x24c | 0 (+2 sign) | | |
|
||||
|
||||
*19123 types in all; the table shows the 200 largest by site count. The full map with every type's layout (offset, width, sign, site count per field) and conflicts is `.run/P37/census/struct_map.json`.*
|
||||
*17965 types in all; the table shows the 200 largest by site count. The full map with every type's layout (offset, width, sign, site count per field) and conflicts is `.run/P37/census/struct_map.json`.*
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
# T5 log: globals/abs addresses to declared symbols (forms I, M)
|
||||
|
||||
## Attempt 1 (archived: logs/T5.progress1.md)
|
||||
- c1 ef4507badb: I/M composition; ABS literal sites 0; 15 `--try --recipes` probes (10 IDENTICAL, 3 DIFFERS, 2 NO-SITE).
|
||||
- c2 f476751f9f, 9d2c7e9dc6: `restruct --rung S --recipes --forms I,M` ladder, per-site RESIDUAL(R<n>-why); cycle RECIPES=1 FORMS=I,M.
|
||||
- c3: calibration + pilot cycle t5_imS1 on ov_SC07_006; forced expert hand-back while running.
|
||||
|
||||
## Attempt 2 (this context)
|
||||
- 10:29 pgrep: pilot pid 2021488 in its gate; waited with `tail --pid`; exit 0, cycle commit 1134b7a127 (14 drawn / 279 residual, R22 218/218).
|
||||
- Archived progress file: eb4695b944.
|
||||
- Brief c4 (sweep all segs, then residue, then gate): returned blocked bfc3f0cb41. The orphaned c3 agent had started `restruct_cycle.sh 2 20 200 S ov_*` (pid 2091853) after c4's first pgrep; c4 correctly refused a second cycle (its own launch died at the dirty-tree check, exit 3, touched nothing).
|
||||
- Brief c5 (wait for pid 2091853 and any follow-up cycle, then leftovers, residue all segs, census, gate): done 2407750392, log logs/T5.c5.md.
|
||||
- c3 batches S2-S13 (ov_*), S15 (md_*), S18 (main) committed green, R22 218/0 each.
|
||||
- Deviation (c5): src/shared global-base sites (529) sit in .h TUs, drawn only with `--headers`; c5 reverted its uncommitted residue rows, ran HEADERS=1 cycles S20-S23 (5 drawn, mostly R2-HEADER-EXTERN), then residue again.
|
||||
- Residue rows +6797 (t5_res_{ov,md,main,shared}).
|
||||
- 1 GADDR residual left: src/800_b_2.c:4639 `gaddr:D_800A4F17` file-scope (ladder needs fn).
|
||||
- Drawn total ≈ 1676 (sum of batch lines); raw I 51505 → 49831 consistent.
|
||||
|
||||
## Verify (this context)
|
||||
- `PY tools/type_census.py --check-casts --residue --quiet` → rc 1 (lying only): `raw P=257464 I=49831 X=13790 M=15128 (uncovered P=0 I=0 X=0 M=0); ... unbacked 0; lying=229 (ledgered 0)`.
|
||||
- `bash tools/run.sh --bg t5_verify_gate -- bash -c 'make clean && make extract-all JOBS=16 && make check-all JOBS=16'` → `check-all: 218 passed, 0 failed of 218` (.run/logs/t5_verify_gate.log).
|
||||
|
||||
## D1 progress
|
||||
- First `--snapshot` attempt: missing label (usage error); second: STALE census at .run/P39/census → `type_census.py --out-dir .run/P39/census` (.run/logs/t5_census.log), then `readability_progress.py --snapshot 'P3.39 T5: forms I/M closed' && timeline.py && progress.py --readme` (.run/logs/t5_snap.log) OK.
|
||||
|
||||
## Hypotheses rejected
|
||||
- Abs-address tooling: 0 ABS literal sites (c1).
|
||||
- shared = residue only: wrong, .h global sites need `--headers` ladder pass first (c5).
|
||||
|
||||
## Retrievers
|
||||
- none this attempt (attempt 1: one inline, no report).
|
||||
@@ -5,3 +5,4 @@ T2 | done | cast and lying gate instruments, reinterpret-macro set | - | tasks/T
|
||||
T3 | done | rung S sweep, overlays (forms P and X) | - | tasks/T3.md | logs/T3.md | -
|
||||
T4 | blocked | rung S sweep, md_*, main and shared bodies (forms P and X) | - | tasks/T4.md | logs/T4.md | -
|
||||
T10 | done | residue coverage gate (--check-casts --residue) and 3.40 sizing | - | tasks/T10.md | logs/T10.md | -
|
||||
T5 | done | globals and absolute addresses to declared symbols (forms I and M, residual non-struct bases) | - | tasks/T5.md | logs/T5.md | -
|
||||
|
||||
@@ -0,0 +1,29 @@
|
||||
# T5 — globals and absolute addresses to declared symbols (forms I and M, residual non-struct bases)
|
||||
|
||||
Status: done | expert: expert-opus55 (attempt 2) | ctx-at-completion: n/a | commit: see COMMIT | coder runs: c1 done (ef4507badb), c2 done (f476751f9f), c3 pilot+sweep (orphaned at handoff; cycles 1134b7a127, S2-S18), c4 blocked (bfc3f0cb41, cycle already running), c5 done (2407750392)
|
||||
Done: forms I and M at 0 uncovered: ~1676 global/gaddr sites drawn to typed externs (R2 extern array mostly) by the recipe ladder; every refused site and every non-global I/M base is a ledger RESIDUAL with a specific cause; R22 218/218.
|
||||
progress: readability snapshot 'P3.39 T5: forms I/M closed' (raw I 49831, M 15129), timeline and README regenerated in the T5 commit.
|
||||
Files:
|
||||
- src/**/*.c, src/shared/*.h — recipe-drawn extern declarations (cycle commits t5_imS1..S23)
|
||||
- .run/P37/restruct/ledger.jsonl — per-site RESIDUAL(R<n>-why) and t5_res_* residue rows (force-added)
|
||||
- tools/restruct.py, tools/restruct_cycle.sh — `--rung S --recipes --forms I,M`, RECIPES/FORMS pass-through (c2)
|
||||
- docs/ops/p39-t5-2026-10-02-restruct-im-recipes.md — ops note (c2)
|
||||
- README.md, docs/progress*.{json,md}, docs/readability*, docs/story-timeline.* — D1 progress regeneration
|
||||
Decisions:
|
||||
- binding: I/M global sites close through `restruct --rung S --recipes --forms I,M` first; RESIDUAL only with the refusing recipe as cause (R2-NO-SCALAR-EXTERN, R2-WIDTH, R2-DIFFERS, R2-REKEYS, R2-COMPILE-ERROR, R2-HEADER-EXTERN, R3-NOT-CONTIGUOUS, R3-COMPILE-ERROR); non-global I/M bases close with `--residue --forms I,M`.
|
||||
- Absolute-address clause vacuous: 0 ABS `0x80…` literal sites in I/M (c1), so no symbol-file edits.
|
||||
Deviations:
|
||||
- shared headers were planned residue-only; their 529 global-base sites need the ladder with `--headers` (HEADERS=1 cycles S20-S23, 5 drawn) before residue.
|
||||
- Attempt 1 handed back while c3's cycle ran; c3's orphaned agent kept sweeping (ov_*, md_*, main); c4 refused to race it; c5 waited and finished.
|
||||
Findings:
|
||||
- Ladder yield is low (~1676 drawn vs ~48k residual sites by R cause); the biggest refusals are R2-NO-SCALAR-EXTERN 18,945 and R2-WIDTH 10,186. Those are the backlog for any later typed-global work.
|
||||
- 1 GADDR residual remains: src/800_b_2.c:4639 `gaddr:D_800A4F17` at file scope (ladder needs a function).
|
||||
- `readability_progress.py` reads `.run/P39/census/type_census.json`; refresh it with `type_census.py --out-dir .run/P39/census` before `--snapshot "<label>"`.
|
||||
Gotchas:
|
||||
- harness: an orphaned coder's agent survives the expert hand-back and keeps launching cycles; a new coder's pgrep can pass and then race it. A respawn should wait for the orphan's cycles and treat a dirty-tree refusal (exit 3) as the signal.
|
||||
- generalizable: `restruct --plan --rung S` skips `.h` TUs unless `--headers` is passed; global sites in headers need a HEADERS=1 cycle.
|
||||
- workflow: D1 snapshot = `type_census.py --out-dir .run/P39/census` → `readability_progress.py --snapshot "<label>"` → `timeline.py` → `progress.py --readme`.
|
||||
Research: none
|
||||
Next task needs: T6 owns lying=229 (the only remaining cause of `--check-casts --residue` rc 1). T11 catch-up can start from snapshot 'P3.39 T5: forms I/M closed'.
|
||||
Verified: PY tools/type_census.py --check-casts --residue --quiet → uncovered P=0 I=0 X=0 M=0, unbacked 0, rc 1 on lying=229 only (T6); make clean && make extract-all JOBS=16 && make check-all JOBS=16 → check-all: 218 passed, 0 failed of 218
|
||||
Full log: phase-ends/current/logs/T5.md
|
||||
Reference in New Issue
Block a user