Refactor/printer#122

Merged

dkcumming merged 11 commits intoruntimeverification:masterfrom

cds-rs:refactor/printer

Mar 2, 2026

Commits on Mar 1, 2026

Remove MonoItem from Item for structural phase enforcement
cds-amal
committed
docs: update comments to reflect structural phase enforcement
cds-amal
committed
chore(changelog): add missing entries for #121, #124, #126, #127
cds-amal
committed

Commits on Mar 2, 2026

feat: collect Dynamic types as DynType and add debug logging for skipped types
cds-amal
committed