feat(#279): verify-full tier + type-widening scan (and the hollow tests that hid four bugs) - #375

Merged

randomm merged 6 commits into

mainfrom

feature/issue-279-verify-tier-and-type-scan

Aug 6, 2026

Commits on Aug 6, 2026

wip(#279): verify-tier and invariant-scan groundwork
randomm
committed
5a0ae46
fix(#279): make the two hollow smoke tests actually execute
randomm
committed
2c7f9c8
test(#279): prove both features are WIRED, not merely implemented
randomm
committed
2f75196
docs(#279): verify-full tier + type-widening scan
randomm
committed
99ec65e
chore(#279): nudge CI
randomm
committed
6978d88
chore(#279): re-trigger CI after the GitHub Actions outage
randomm
committed
621c009