 Drew T
|
75722c455c
|
T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218
|
2026-10-02 19:28:37 -06:00 |
|
|
Drew T
|
1dc2dabc1f
|
T8.c2: batch t8_tus1: delever: batch t8_tus1 — 300 files (TUs; 595 dra | R22 218/218
|
2026-10-02 19:21:26 -06:00 |
|
|
Drew T
|
204cadccb0
|
T8.c1: lever_census: per-def asm-macro strict failures, --write-residue with ledger pass/cause
|
2026-10-02 19:20:11 -06:00 |
|
|
Drew T
|
9504eac300
|
router: T7.1 done
|
2026-10-02 19:08:39 -06:00 |
|
|
Drew T
|
4ddd7f89c1
|
T7.1: GTE to one spelling: direct GTE 492 -> 0, per-TU gte defs 150 -> 0; progress, timeline, README
|
2026-10-02 19:08:34 -06:00 |
|
|
Drew T
|
272cf38903
|
T7.1.c3: R22 218/218; census strict: direct GTE 0, per-TU gte defs 0; kit-corpus, tools-health OK
|
2026-10-02 18:53:27 -06:00 |
|
|
Drew T
|
0c9a78bc8e
|
T7.1.c3: gte_consolidate batch c3b2: 395 files consolidated, oracle IDENTICAL
|
2026-10-02 18:35:00 -06:00 |
|
|
Drew T
|
46ba9f1b16
|
T7.1.c3: gte_consolidate --keep-levers; batch c3b1: 40 files consolidated, oracle IDENTICAL
|
2026-10-02 18:32:34 -06:00 |
|
|
Drew T
|
346a0dd7b4
|
T7.1.c2: gte_consolidate: sign all inline GTE; header gets inline macros, variants, aliases (R22 pending)
|
2026-10-02 18:26:04 -06:00 |
|
|
Drew T
|
f2c7e2fb01
|
T7.1.c1: lever_census --strict: direct GTE excludes header-macro calls; split + by-kind output
|
2026-10-02 18:09:54 -06:00 |
|
|
Drew T
|
d27a04588f
|
router: T7 reopened as T7.1 (critic)
|
2026-10-02 17:51:14 -06:00 |
|
|
Drew T
|
077e0fd35a
|
T7: question: strict direct-GTE and per-TU macro clauses unreachable as counted
|
2026-10-02 17:49:48 -06:00 |
|
|
Drew T
|
5c36fb0f26
|
router: T6 done
|
2026-10-02 17:47:26 -06:00 |
|
|
Drew T
|
b5e98700dc
|
T6: lying 229 -> 11 ledgered; progress snapshot, timeline, README; ops note
|
2026-10-02 17:47:20 -06:00 |
|
|
Drew T
|
e18a12d44e
|
T6.c2: log: 22 groups drawn, 3 ledgered (11 sites), R22 218/218
|
2026-10-02 17:26:12 -06:00 |
|
|
Drew T
|
2e9d7ab26c
|
T6.c2: ledger 4 lying groups: ZERO-ARG-CALLERS func_8012BD14/CBF4, PROTO-DIFFERS func_80014CF8
|
2026-10-02 17:20:30 -06:00 |
|
|
Drew T
|
b9a067c275
|
T6.c2: restruct: shared-header def scope uses includers' tu_aliases (ov_SC01_005 builds ov_SC01_006)
|
2026-10-02 17:12:59 -06:00 |
|
|
Drew T
|
f6da69d124
|
T6.c2: rung D: aF8017E3F0 caller declarations to the real prototype (1 files)
|
2026-10-02 16:51:54 -06:00 |
|
|
Drew T
|
5922d8ffe6
|
T6.c2: rung D: aF8017E3F0 caller declarations to the real prototype (3 files)
|
2026-10-02 16:50:50 -06:00 |
|
|
Drew T
|
0b2d958a11
|
T6.c2: rung D: func_80181E0C caller declarations to the real prototype (1 files)
|
2026-10-02 16:49:47 -06:00 |
|
|
Drew T
|
bd64e30669
|
T6.c2: rung D: aF801848DC caller declarations to the real prototype (15 files)
|
2026-10-02 16:48:18 -06:00 |
|
|
Drew T
|
fa2f50529c
|
T6.c2: unalias func_801851DC and func_8018A224 in their own TUs (decls now agree)
|
2026-10-02 16:46:46 -06:00 |
|
|
Drew T
|
cda103fe46
|
T6.c2: restruct: rung D alias-def lookup, caller-only units, header def scope, asm-label decl skip
|
2026-10-02 16:46:29 -06:00 |
|
|
Drew T
|
b98cc9b701
|
T6.c1: log: partial at context threshold, 17 groups drawn, restruct fix uncommitted
|
2026-10-02 16:34:32 -06:00 |
|
|
Drew T
|
a4eeee46eb
|
T6.c1: restore three !FAKE asm barrier decls of aF8014C4AC the rung-D regex had respelled
|
2026-10-02 16:34:01 -06:00 |
|
|
Drew T
|
9901177d1b
|
T6.c1: rung D: func_801AAF34 caller declarations to the real prototype (1 files)
|
2026-10-02 16:25:32 -06:00 |
|
|
Drew T
|
43115e11dd
|
T6.c1: rung D: func_8012CC40 caller declarations to the real prototype (1275 files)
|
2026-10-02 16:24:24 -06:00 |
|
|
Drew T
|
3674ce1986
|
T6.c1: rung D: func_80143C74 caller declarations to the real prototype (119 files)
|
2026-10-02 16:20:15 -06:00 |
|
|
Drew T
|
e41e846088
|
T6.c1: rung D: func_8018283C caller declarations to the real prototype (1 files)
|
2026-10-02 16:18:15 -06:00 |
|
|
Drew T
|
10e6cb9d79
|
T6.c1: rung D: func_80173544 caller declarations to the real prototype (2 files)
|
2026-10-02 16:16:20 -06:00 |
|
|
Drew T
|
7fdc86aec7
|
T6.c1: rung D: func_80181E98_impl caller declarations to the real prototype (1 files)
|
2026-10-02 16:14:42 -06:00 |
|
|
Drew T
|
9036ad15f5
|
T6.c1: rung D: aF801843E0 caller declarations to the real prototype (4 files)
|
2026-10-02 16:13:42 -06:00 |
|
|
Drew T
|
a4280384b3
|
T6.c1: rung D: aF8018A224 caller declarations to the real prototype (2 files)
|
2026-10-02 16:04:29 -06:00 |
|
|
Drew T
|
dee7076e60
|
T6.c1: rung D: aF8018AFD0 caller declarations to the real prototype (8 files)
|
2026-10-02 16:02:22 -06:00 |
|
|
Drew T
|
9c2e789303
|
T6.c1: rung D: aF8018A860 caller declarations to the real prototype (8 files)
|
2026-10-02 16:01:21 -06:00 |
|
|
Drew T
|
5b9fd5108d
|
T6.c1: rung D: aF8018CB18 caller declarations to the real prototype (12 files)
|
2026-10-02 16:00:21 -06:00 |
|
|
Drew T
|
308766c7d1
|
T6.c1: rung D: aF80185EEC caller declarations to the real prototype (14 files)
|
2026-10-02 15:59:22 -06:00 |
|
|
Drew T
|
0bab3c0697
|
T6.c1: rung D: aF80161208 caller declarations to the real prototype (15 files)
|
2026-10-02 15:57:18 -06:00 |
|
|
Drew T
|
494ad17e31
|
T6.c1: rung D: aF8014C4AC caller declarations to the real prototype (33 files)
|
2026-10-02 15:56:13 -06:00 |
|
|
Drew T
|
c1ec43b570
|
T6.c1: rung D: aF80146A6C caller declarations to the real prototype (33 files)
|
2026-10-02 15:55:04 -06:00 |
|
|
Drew T
|
7f2811132f
|
T6.c1: rung D: aF801376E8 caller declarations to the real prototype (52 sites)
|
2026-10-02 15:48:09 -06:00 |
|
|
Drew T
|
097a842031
|
router: T11 done
|
2026-10-02 15:25:15 -06:00 |
|
|
Drew T
|
a04244ac86
|
T11: progress snapshot P3.39 T11, timeline and README Types cast-gate clause
|
2026-10-02 15:25:08 -06:00 |
|
|
Drew T
|
6b9baf6a99
|
T11.c1: progress: README Types sentence states check-casts --residue raw/covered/uncovered
|
2026-10-02 15:19:40 -06:00 |
|
|
Drew T
|
04701d7cdd
|
router: T5 done
|
2026-10-02 15:07:08 -06:00 |
|
|
Drew T
|
878f0f9e67
|
T5: log: note census scratch untrack
|
2026-10-02 15:07:01 -06:00 |
|
|
Drew T
|
9d16eb56e1
|
T5: untrack .run/P39/census scratch force-added by mistake
|
2026-10-02 15:06:56 -06:00 |
|
|
Drew T
|
64cc4dd265
|
T5: forms I/M closed: ladder sweep + residue, gate green, progress snapshot
|
2026-10-02 15:06:47 -06:00 |
|
|
Drew T
|
75d2fff8d8
|
T5.c5: residue: I/M rows ov/md/main/shared after header ladder; census I=0 M=0
|
2026-10-02 14:50:37 -06:00 |
|
|
Drew T
|
f6d1ff099f
|
T5: batch t5_imS23 — restruct: batch t5_imS23 rung S — 51 files (headers; 51 drawable) · 51 bodies: 0 sites → members / 0 kept / 0 skipped · levers off 0 · I/M recipes drawn 2 {'R2-extern-array': 2} / residual 49 {'R2-COMPILE-ERROR': 19, 'R2-HEADER-EXTERN': 8, 'R2-NO-SCALAR-EXTERN': 10, 'R2-WIDTH': 12} · compiles 944 in 37 s wall · final 51/51 identical · written 2 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 336219 cast sites in 50865 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)
|
2026-10-02 14:42:26 -06:00 |
|