Skip to content

Guard host userdata identity against stale-reference reuse - #8

Merged
rbroderi merged 2 commits into
mainfrom
guard-lupa-294-host-identity
Sep 12, 2026
Merged

Guard host userdata identity against stale-reference reuse#8
rbroderi merged 2 commits into
mainfrom
guard-lupa-294-host-identity

Document direct host userdata identity invariant

b01e957
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar