nx_eqsat_wire_probe.nx

nx_eqsat_wire_probe.nx -- LN8 WIRING WITNESS (lang.plan rung LN8, symbol opt_eqsat_pass). The pass itself is proven by nx_opt_eqsat_pass_gate (10/10) on an in-memory IR fixture. THIS file is the witness that the SHIPPING PIPELINE runs it: compiled by the toolchain compiler under --ir-dump, the post-opt IR of ewp_xor_self must carry NO live OP_XOR (op=12) whose result is a non-constant -- the x ^ x instruction folds to the constant 0 through the e-graph, which the incumbent opt_const_fold structurally cannot do (it needs BOTH operands constant). The control ewp_xor_pair (x ^ y, two distinct params) MUST keep its xor. Behaviour is identical either way (the gate runs the binary too: exit code = the same small number with or without the pass). Built with --no-crash-guard inside the gate so the dumped IR is this file plus nx_syscalls only. license_tier: ORIGINAL No hw writes (Rule 26).