Change CardDef.id to be RRI#4845

Draft

backspace wants to merge 3 commits into

mainfrom

carddef-id-rri-cs-11042

Commits on May 14, 2026

Brand CardDef.id and downstream identifier types as RealmResourceIdentifier

backspace
and
claude
committed
Drop redundant rri() casts and brand test fixtures for CS-11042

backspace
and
claude
committed

Commits on May 15, 2026

Merge remote-tracking branch 'origin/main' into carddef-id-rri-cs-11042
backspace
committed