Rewrite canonical IB slice in current Idriç style - #48

Draft

isomorphisms wants to merge 10 commits into

types/canonical-information-prepaintfrom

style/current-idric-ib

Commits on Sep 9, 2026

Express canonical strand types in Idriç style
isomorphisms
committed
3483fa4
Express prepaint revisions without Nat
isomorphisms
committed
ee6c0b9
Serialize canonical strand projection in current Idriç style
isomorphisms
committed
b265a75
Exercise strand types through semantic constructors
isomorphisms
committed
2eb6bc1
Remove superseded implementation-first information model
isomorphisms
committed
bbbf861
Remove superseded prepaint model module
isomorphisms
committed
7d97d05
Keep strand smoke pure until final output
isomorphisms
committed
42ecb2d
Merge current canonical-model head into style rewrite
isomorphisms
committed
be07c95
Follow current Edric bootstrap boundary
isomorphisms
committed
1206338
Merge latest canonical-model CI head into style rewrite
isomorphisms
committed
f4f7803