feat!: abstract roots and union classes - #46

Merged

btravers merged 12 commits into

mainfrom

worktree-feat-abstract-roots-and-union-classes

Aug 8, 2026

Commits on Aug 8, 2026

refactor: move extend and its declaration record into base.ts
btravers
committed
ad7a5ba
feat: add Entity.abstract, a tagless root that carries shared behaviour
btravers
committed
8cfc486
feat!: entities are final — extend moves to Entity.abstract
btravers
committed
9f8c73a
feat: return a class from Entity.union, so a union is a type with statics
btravers
committed
a8f9b8a
test: model the billing documents as a root and a union class
btravers
committed
921a3bd
test: state the extend merge rule and tighten the root's coverage
btravers
committed
8bd0583
test: guard that a root's abstract member binds every variant
btravers
committed
5bfd666
docs: cover abstract roots, union classes, and the extend migration
btravers
committed
3ba6b63
refactor(example): split the billing domain so the root crosses a module boundary
btravers
committed
b2f1de2
test: pin what a root does not carry into a variant
btravers
committed
8983323
docs: state what a root does not carry, and re-attach the union's doc block
btravers
committed
d48f670
test: make the sibling-variant equality pin discriminate
btravers
committed
316adbe