feat(math): add combinatorial maps domain with faces and dual operations (#1728) - #2030

Merged

morluto merged 5 commits into

mainfrom

agent/combinatorial-maps-1728

Aug 19, 2026

Commits on Aug 19, 2026

feat(math): add combinatorial maps domain with faces and dual operations
morluto
committed
f0fd149
wire(combinatorial_maps): register domain in catalog and root namespace
morluto
committed
0c9c92d
test(combinatorial_maps): cover faces, dual, incidence, and validation
morluto
committed
c20dd4e
fix(combinatorial_maps): make vertex-face multiplicity JSON-safe and fix formatting
morluto
committed
830b677
fix(combinatorial_maps): correct orientation reversal, dual budgets, and value validation
morluto
committed
f6021cc