nx_probe_ptrarg_live.nx

nx_probe_ptrarg_live.nx -- LIVE WITNESS for pointer-vs-scalar param type checking (2026-08-05). This BUILDS -- and that is BY DESIGN, not a gap: integer LITERALS are exempt from the 2026-08-01 call-arg type check because the corpus uses literals as null/sentinel pointers (nx_parse.nx VK_CONST_INT exemption; only a TYPED value carries a real claim about pointerness). The ENFORCED direction has its own witness: nx_probe_ptrint_live.nx (pointer-into-integer REFUSED). The reverse TYPED direction (i64 var into *u8) is DELIBERATELY DISABLED pending the sys_munmap arg-1 residue (57/70 corpus rejects, unexplained -- see nx_parse.nx flip-line comment). license_tier: ORIGINAL expect_exit: 0