nx_ownership_alias.nx

nx_ownership_alias.nx -- the ALIAS-SWEEP witness for LN5 (nx_ownership_gate). `q` is a second name for one buffer. `p` is released. `q` is read anyway. A checker that marked only the name written inside the sys_munmap would report NOTHING here -- and this is not an exotic shape, it is what `let q = p` means. The refusal must name `q`, the name at the use, not `p`. Under the default this compiles and runs exit 0 (64 bytes is below NXA_SMALL_MAX, so the release is an arena no-op) -- the same false comfort the main fixture records. license_tier: ORIGINAL No hw writes (Rule 26).