MTMacroAtom and two-phase finalized - #265

Merged

kostub merged 9 commits into

feature/modular-arithmetic-pr2

Jul 26, 2026

Commits on Jul 26, 2026

[item 3] Add MTMacroParameterAtom template placeholder
kostub
committed
7d11833
[item 4] Add MTMacroAtom and kMTMathAtomMacro
kostub
committed
e604735
[item 5] Serialize MTMacroAtom as \<command>{arg}
kostub
committed
56b6657
[item 6] Split -[MTMathList finalized] into expand + reclassify phases

kostub
and
claude
committed
a4b1801
[item 7] Expand macros to raw atoms in finalize phase 1

kostub
and
claude
committed
be62477
[item 8] Transfer macro scripts onto the last scriptable expansion atom
kostub
committed
8d4dcf5
[item 9] Test one-pass expansion equivalence at the model layer
kostub
committed
36d72d2
Address PR #265 review

kostub
and
claude
committed
0736def
Align macro guards with the project assertion policy

kostub
and
claude
committed
c2bd777