fix(kernel-ui): validate branded KRef values instead of unsafe casts#921

Merged

rekmarks merged 3 commits into

mainfrom

rekm/branded-kernel-identifiers-II

Apr 7, 2026

Commits on Apr 7, 2026

fix(ocap-kernel): address PR review feedback on branded types

rekmarks
and
claude
committed
fix(kernel-ui): validate branded KRef values instead of unsafe casts

rekmarks
and
claude
committed
fix(kernel-ui): validate KRef target at state-entry and improve cast safety

rekmarks
and
claude
committed