feat(language): a file says what it reads, and fragments and patches compose into one model - #571

Closed

FabianHofmann wants to merge 11 commits into

mainfrom

Commits on Sep 19, 2026

feat(language): a file says what it reads under one given key
FabianHofmann
committed
5ff1426
fix(language): typeset_declaration says why a given name prints no line, and given: sits beside variables:
FabianHofmann
committed
84c7797
feat(language): a patch file extends a model rather than a copy of it
FabianHofmann
committed
bf9bfeb
fix(language): a patch cannot retire or partly restate a dimension, and a null section is refused
FabianHofmann
committed
e65969f
feat(language): fragments compose into one model, each reading what a sibling introduces
FabianHofmann
committed
de802dd
fix(language): a merged objective sums in one order, and a fragment cannot read what it builds
FabianHofmann
committed
1da63b5
docs(examples): a component library composes into one model, and each file prints alone
FabianHofmann
committed
cea9efe
docs(examples): the library pages state a rule once, and name the port flow one way
FabianHofmann
committed
16777b6
docs: one word per concept and shorter sentences on the given pages
FabianHofmann
committed
4afb08c

Commits on Sep 22, 2026

Merge origin/main into feat/given
FabianHofmann
committed
793ac7d
Merge origin/main into feat/given
FabianHofmann
committed
f314efc