Skip to content

fix(xanmod): reject unterminated ownership proof tails - #48

Merged
LucaLin233 merged 5 commits into
mainfrom
luno/fix-xanmod-proof-tail
Sep 8, 2026
Merged

fix(xanmod): reject unterminated ownership proof tails#48
LucaLin233 merged 5 commits into
mainfrom
luno/fix-xanmod-proof-tail

test(xanmod): assert cleanup state reset and scope deletion guarantee

d2bc2fa
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar