feat(irverify): hold aliases and every channel's bytes to a rule - #361

Merged

OmarAlJarrah merged 6 commits into

mainfrom

feat/irverify-alias-invariants

Aug 11, 2026

Commits on Aug 9, 2026

feat(irverify): hold Naming.Aliases to a rule
OmarAlJarrah
committed
72d141d

Commits on Aug 11, 2026

Merge remote-tracking branch 'origin/main' into feat/irverify-alias-invariants
OmarAlJarrah
committed
f4a2b6e
fix(irverify): widen the blank-alias rule and pin what the tests claim
OmarAlJarrah
committed
d1c19a8
feat(irverify): hold every name channel's bytes, and an alias to its Source
OmarAlJarrah
committed
b75eec5
test(irverify): guard the alias interactions the rule order decides
OmarAlJarrah
committed
a32bc89
docs(ir-design): state the byte rule where each channel's rules are
OmarAlJarrah
committed
ec6cb6f