nx_eqdispatch_probe.nx

nx_eqdispatch_probe.nx -- DECISIVE MINIMAL REPRO for debt 1785530065 (2232): "nx_cc compiles == as >" in a multi-branch i64 equality dispatch returning STRING LITERALS. WHY THIS SHAPE: the reported subject (nx_mcu_ready.rdy_reason) is a 4-branch if-chain comparing an i64 against module consts and RETURNING a string literal from each arm. This probe isolates exactly that and NOTHING else -- no imports beyond syscalls, no structs, no loops around the dispatch. THE DISCRIMINATOR: eq_pick(999) matches NO branch, so a correct compiler returns the fallthrough D. If == is emitted as >, then 999 > 100 is TRUE and the FIRST arm wins. CORRECT : D A B C D ==-as-> : A A A A A The INT-ARM control separates "equality codegen broken" from "string-return dispatch broken". LOCAL RESULT 2026-08-01 (laptop nxc2 toolchain, elf 11207B): STRING-ARM=DABCD INT-ARM=41234 -- BOTH CORRECT, i.e. the general claim is REFUTED under that compiler. This NAS copy exists to close the scope gap, because the two toolchains have diverged before and a refutation on one proves nothing about the other. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0