nx_probe_closure_lift.nx

nx_probe_closure_lift.nx -- LN13b BEHAVIOUR WITNESS: a non-capturing function literal is lifted, its address is a value, and CALLING that value computes what the body says. WHY THIS IS A SELF-CHECKING PROGRAM AND NOT A LIST OF ASSERTIONS IN A GATE. The defect this rung closes is not "does it compile" -- the pre-fix compiler REFUSED the construct outright, which is easy to detect. The defect worth guarding is the one that survives a green compile: a literal that lifts to the wrong body, binds the wrong parameter, or returns the caller's first argument because a synthesized return carried value id 0. None of those change the exit status of the COMPILER; all of them change the exit status of THIS PROGRAM. So the witness is a run, and the gate reads only its exit code -- 0 means every arithmetic identity below held. Each check returns a DISTINCT non-zero code so a failure names itself without a debugger. license_tier: ORIGINAL. Pure arithmetic, no syscalls beyond exit. No hw writes (Rule 26).