_nx_argtype_live_probe.nx

Live proof that ARGUMENT TYPE CHECKING is active in the shipped toolchain. This is the exact shape of the sev-8 ev_num_after silent-zero (debt 1785518763): an out-pointer handed to an integer parameter, where it became a loop bound and the loop never executed -- an evidence organ then reported a ZERO tally for every gate. EXPECTED: BUILD-FAILED with `arg 4 is a POINTER but the parameter is an INTEGER`.