|
|
@@ -51,8 +51,13 @@ stripped; dep-slot renumbering benign, proven via slot formula):
|
|
|
* `ERRORS.MOD` 28/30 (`errors-verify-01`; heap was import weight — dropped
|
|
|
unused Compiler/ComLine; EditPos module + `EDITERR` overlay load decoded).
|
|
|
* `CODEGEN.MOD` 34/37 (`codegen-verify-01`; keywordTable low-byte overlay).
|
|
|
-* `SYMTAB.MOD` WIP: compiles through GetAttr, dies in EnterIdent (heap);
|
|
|
- genuine fixes banked (TryCompile logic, allocHook, view-typed params).
|
|
|
+* `SYMTAB.MOD` prefix 7/14 exact, tail by construction (`symtab-wip-04`):
|
|
|
+ nesting per call-graph (`ee`/`ec` reproduced), record-field views, direct-
|
|
|
+ VAR recursive arms (incl. SRC-vs-entry object fix), REPEAT loops, `i * 16`
|
|
|
+ peephole, FindExport hoisted out. ImportAll region PROVEN uncompilable
|
|
|
+ under v1.00-retail (6 experiments; Borland heap ~2x) — full-module
|
|
|
+ verification awaits a bigger-heap Turbo. Genuine fixes banked (TryCompile
|
|
|
+ logic, allocHook, view-typed params, call-graph map).
|
|
|
Toolchain rules proven on hardware: DEF-leak, exact DEF/MOD param names,
|
|
|
no FORWARD of DEF-declared procs, nominal array checks, transfer-index
|
|
|
and transfer-deref bans, zero-cost `CHR(ORD())`/`ORD()`/`CHR()`/`= 0`,
|
