|
|
@@ -131,3 +131,19 @@ Next: GENZ80 media hunt; stage-2 pty-driven MCD diff per module.
|
|
|
mcode.c (heap high-water log) for ground truth; heap size does not affect
|
|
|
emitted code, so verification stays sound. Fallback: partial (prefix)
|
|
|
verification, honestly labeled.
|
|
|
+
|
|
|
+## SYMTAB session 2026-10-07 (prefix verification via stub-tails)
|
|
|
+- Stub-tails method works: stub bodies from EnterIdent on (+7 DEF-stub
|
|
|
+ HALTs), keep headers -> v1.00 emits MCD (1059B). Full module still OOMs
|
|
|
+ in EnterIdent (unchanged wall).
|
|
|
+- Our MCD retains 6-char uppercase names (no directive); originals are
|
|
|
+ numbered -> FINAL SYMTAB needs explicit `$[+ remove` (+ `$[-` for IMDCLS).
|
|
|
+- Prefix score (leave-truncated, jumps masked): 2/12 SAME* (MatchSym,
|
|
|
+ EnterChained). Rest diverge STRUCTURALLY (inverted conditions, extra
|
|
|
+ leaves, +30mn in PutAttr) = draft-v1 group-guess quality, not heap
|
|
|
+ artifacts. Notably ours runs LONGER everywhere (temps), orig is leaner.
|
|
|
+- Inter-proc gap filler differs by toolchain (orig `...ff`, ours `...00`),
|
|
|
+ excluded from scoring like dep-slots.
|
|
|
+- Next: re-read prefix bodies (PutAttr/GetAttr/AllocSym/FindModule first)
|
|
|
+ against symtab.txt statement-by-statement; keep heap discipline (flat,
|
|
|
+ minimal nodes). VM path still open for full-module compile.
|
