code wiki / (root) / nx_probe_match.nx

nx_probe_match.nx

buildroot/runtime/nx_probe_match.nx

927 B34 linesdepth 0pulls 0 transitivereach 0 importersview sourcekind probetopic probe
docsdependenciesstructsconstsfunctions

about

nx_probe_match.nx -- EVIDENCE GATE for the disputed "exhaustive match is dead code" claim. Compiles a real `match` (plain enum + tagged enum with payload binding) through the SOVEREIGN chain (nx_cc_sovereign -> nxasm_x86_main). If run-exit=0, match WORKS sovereignly. Syntax mirrors end2end_test.nx Cases 10 + 12. expect_exit: 0

dependencies 0 imports · 0 importers

imports: none

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main classify

structs

none

consts

none

functions

11func classify(c: i64) -> i64
called by 1: main
20func main() -> i64
calls 1: classify