refactor(language): an expression resolves straight into the program's own nodes - #638

Merged

FBumann merged 6 commits into

claude/blissful-heisenberg-z5rpwo-namedfrom

claude/mathspec-packages-review-urd4ya

Sep 23, 2026

Commits on Sep 23, 2026

chore(resolution): one function reads an expression string into its typed tree
claude
committed
87a7a0f
refactor(language): a piecewise block is checked once at load, and the expansion only writes rows
claude
committed
7c31400
chore: a shape the package already has is not declared a second time
claude
committed
52e6cae
refactor(language): an expression resolves straight into the program's own nodes
claude
committed
d517959
chore(schema): the published schema carries the macro block's current sentence
claude
committed
5bd26ca
refactor(program): an assumption is the class named Assumption
claude
committed
f2675a2