 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
|
4c21267910
|
T5.c2: restruct: rung S I/M recipe ladder (--forms I,M), Rn-cause residuals, GADDR; cycle pass-through
|
2026-10-02 10:26:27 -06:00 |
|
|
Drew T
|
61ff5364ac
|
T10.c2: type_census --check-casts --residue gate, residue census, ops doc, card row
|
2026-10-02 09:42:01 -06:00 |
|
|
Drew T
|
4e5eb4cca8
|
T10.c1: restruct: per-site residue_match, --forms P,I,X,M, merged residue rows
|
2026-10-02 09:18:31 -06:00 |
|
|
Drew T
|
aa4e43fbfe
|
T4.c1: restruct: exact --only main selector (top-level src/*.c, src/resident/); kit-corpus
|
2026-10-02 03:46:29 -06:00 |
|
|
Drew T
|
83ee0c4366
|
T3.c8: restruct: kept-macro carry matches respelled nested bases; repair func_8017EA20 row
|
2026-10-02 03:31:12 -06:00 |
|
|
Drew T
|
5a098cad91
|
T3.c7: restruct --residue/--check-residue; t3_resid ledgers 34131 undrawn ov bodies
|
2026-10-02 03:15:59 -06:00 |
|
|
Drew T
|
1a65f29eb1
|
T3.c6: head_types --add-pads additive mode; 17 Unkstruct_80126B58 pad fields (S61 R22 green)
|
2026-10-02 03:07:21 -06:00 |
|
|
Drew T
|
9c28338337
|
T3.c5: Fix rung S plan/apply done disagreement; site rows carry base type
|
2026-10-02 02:46:01 -06:00 |
|
|
Drew T
|
3079d799f5
|
T3.c4: restruct: S --redraw re-walks a named TU:FN body with no drawable base
|
2026-10-01 17:55:54 -06:00 |
|
|
Drew T
|
680edf971d
|
T3.c4: restruct: --only TU:FN names one body
|
2026-10-01 17:50:11 -06:00 |
|
|
Drew T
|
ce476e80f0
|
T3.c4: restruct: macro sites keyed as census K, carried on re-judge; alias-def params; S --redraw
|
2026-10-01 17:47:59 -06:00 |
|
|
Drew T
|
8a0ff32fde
|
T3.c3: restruct S: unjudged S rows are not done (ledger_index); selftest fixtures carry bases
|
2026-10-01 17:21:02 -06:00 |
|
|
Drew T
|
f2900bb378
|
T3.c3: restruct S: canonical base needs no struct-map name; pinned bbt in apply; unjudged rows redraw
|
2026-10-01 17:03:56 -06:00 |
|
|
Drew T
|
06da215a66
|
T3.c2: rung S plan reads a pinned base->type (--bbt) and skips finished files
|
2026-10-01 14:40:49 -06:00 |
|
|
Drew T
|
610b918ed8
|
T3.c1: restruct --try-file: print per-site classes and the respelled CAST_ lines
|
2026-10-01 12:15:48 -06:00 |
|
|
Drew T
|
c163069640
|
T3.c1: restruct S: per-site classes, CAST_* respell of kept P-forms, --only glob; backs MEMBERS/S+A
|
2026-10-01 12:11:23 -06:00 |
|
|
Drew T
|
55f08e3c50
|
T2.c3: type_census --check-casts: kept-macro sites, ledger-backed gate, lying TSV, selftest controls
|
2026-10-01 11:22:56 -06:00 |
|
|
Drew T
|
a3739875c1
|
T2.c2: lever_census --strict --residue: strict_failures(), selftest controls, residue TSV
|
2026-10-01 11:08:29 -06:00 |
|
|
Drew T
|
2baecd375d
|
T1.c2: timeline --check: do not compare the latest row's Commits cell
|
2026-10-01 10:43:19 -06:00 |
|
|
Drew T
|
6ea94447d7
|
T1.c1: restruct rung D --redraw: supersede stale lifted decl rows with no lying decl
|
2026-10-01 10:24:41 -06:00 |
|
|
Drew T
|
ee7db975dd
|
chore: install Project Architect 3.0
|
2026-10-01 09:57:51 -06:00 |
|
|
Drew T
|
14e100d723
|
T10.c1: timeline gains a struct-definitions column; regenerated
|
2026-09-30 19:40:51 -06:00 |
|
|
Drew T
|
67c6710fb1
|
T10.c1: progress/readability read the newest phase census; README Types at P38 close
|
2026-09-30 19:40:40 -06:00 |
|
|
Drew T
|
98a40961c0
|
T6.c2: share_body: --only takes comma-separated h_exact prefixes
|
2026-09-30 18:47:55 -06:00 |
|
|
Drew T
|
594ea80c8d
|
T5.1.c8: type_census: tag+typedef of one def = one type (+selftest); fold F20T onto Obj20_80178D40
|
2026-09-30 17:01:22 -06:00 |
|
|
Drew T
|
e477c4a992
|
T5.1.c7: struct_twins: UNBOUND causes from use sites, SDK as note, fixed order; ## Twins regenerated
|
2026-09-30 16:44:09 -06:00 |
|
|
Drew T
|
c4168ef1db
|
rules: R120 narrowed to reply drafts; commit helper check narrowed to match
|
2026-09-30 15:33:25 -06:00 |
|
|
Drew T
|
c0632d55fc
|
rules: R120 outward-thread hygiene; commit helper keeps such records local
|
2026-09-30 15:26:32 -06:00 |
|
|
Drew T
|
343b718b21
|
T5.1.c6: type_census: layout hash keys packed/aligned(N) defs off natural alignment; +1 selftest
|
2026-09-30 15:03:29 -06:00 |
|
|
Drew T
|
1c842e2563
|
T5.1.c5: fold MATRIX-shaped class onto SDK MATRIX, MtxBuf, V4 class onto V (aligned(2)); R22 green
|
2026-09-30 14:21:30 -06:00 |
|
|
Drew T
|
ead6a3f0ee
|
T5.1.c5: fold 10 tier-1 classes (member conform + --fold-canon); drop dead B4; R22 green
|
2026-09-30 14:03:50 -06:00 |
|
|
Drew T
|
5fcb110a2e
|
T5.1.c3b: SDK fold: 140 MATRIX-shaped defs onto MATRIX; drop unused tag EntD820; --fold-class <lh>:sdk works
|
2026-09-30 13:25:02 -06:00 |
|
|
Drew T
|
5752b77628
|
T5.1.c3b: redo fold batch 2 without SDK canon (tier-1 no longer picks SDK names); pad_names 0
|
2026-09-30 12:52:47 -06:00 |
|
|
Drew T
|
f9d3c125c9
|
T5.1.c3b: fold 10 tier-1 classes w/ placeholder respell; refuse attr-mixed and name-collision classes
|
2026-09-30 12:37:36 -06:00 |
|
|
Drew T
|
d71d4c179c
|
T5.1.c4: struct_twins.py: tier-2 twin evidence; ## Twins lists 19 SEPARATE classes
|
2026-09-30 12:23:48 -06:00 |
|
|
Drew T
|
4e75840da8
|
T5.1.c3b: fold_apply: one alias per name (tag-only def of a typedef name gets none); archive c3 progress
|
2026-09-30 11:44:52 -06:00 |
|
|
Drew T
|
fe07c88a25
|
T5.1.c3: lift_types --fold/--fold-dead modes (WIP: first apply red, reverted)
|
2026-09-30 11:38:12 -06:00 |
|
|
Drew T
|
516b2db94d
|
T5.1.c2b: pad fields to pad_<off> (28), prim_layout_class post-relocation invariant, struct-map regen
|
2026-09-30 11:07:50 -06:00 |
|
|
Drew T
|
446161539c
|
T5.1.c2: lift_types --census: batch ov-file moved (83 groups, 1374 defs; 39 canon defs to struct_types.h)
|
2026-09-30 10:16:18 -06:00 |
|
|
Drew T
|
6869f8f26d
|
T5.1.c2: lift_types --census: rename pass, one text per name (17 renames, 68 defs)
|
2026-09-30 10:08:14 -06:00 |
|
|
Drew T
|
b65da945f6
|
T5.1.c1: type_census: --check-structs liveness dead, struct-twins allowlist, block frames, TSVs
|
2026-09-30 09:52:40 -06:00 |
|
|
Drew T
|
907138d267
|
T5.c1: fleet lift 1308 types to engine_types.h; lift_types file-scope/common.h/local-.h guards
|
2026-09-29 23:45:59 -06:00 |
|
|
Drew T
|
61c49eda01
|
T4.c3: restruct head-fold: sibling headers in includers' closure + file-scope #define bodies renamed
|
2026-09-29 23:05:50 -06:00 |
|
|
Drew T
|
5ae5fe94c6
|
T4.c2: restruct: atomic locked inflight, one apply at a time, TOOL-ERROR restores, HF settled fix
|
2026-09-29 22:16:32 -06:00 |
|
|
Drew T
|
d87c35435d
|
T4.c1: restruct rung L head-fold mode; probe t38_4probe folds 4 defs, R22 green
|
2026-09-29 22:01:34 -06:00 |
|
|
Drew T
|
1a35655ab3
|
T3.c3: restruct pass_hint aligned rows; drop cross-base overlapping edits as KEPT(overlap-edit)
|
2026-09-29 21:26:13 -06:00 |
|
|
Drew T
|
e4341ee118
|
T3.c2: includers follow -Iinclude; Unkstruct_80078E78; fold Blk98_80029274; decisions text
|
2026-09-29 21:10:25 -06:00 |
|
|
Drew T
|
5aaa251545
|
T3.c1: head_types.py max-site split; struct_types.h + decisions record; canon header
|
2026-09-29 21:00:34 -06:00 |
|
|
Drew T
|
3ac7abee73
|
T2.c1: type_census --check-structs gate; restruct ledger_latest + audit_type_violations; actor-struct s32
|
2026-09-29 20:32:52 -06:00 |
|