code wiki / _hdl_build / lmprobe_lm002.nx

lmprobe_lm002.nx

buildroot/runtime/_hdl_build/lmprobe_lm002.nx

1484 B35 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tooltopic lmprobe

docs dependencies structs consts functions

about

lmprobe_lm002.nx -- LANDMINE PROBE for LM-002 "flat ifs only: 4-deep nested-if miscompiles". CONTRACT (the retirement oracle used for LM-003/LM-007): exit 0 => ROOT-FIXED, the construct now computes correctly; non-zero OR build-failure => STILL LIVE. Deliberately import-light (nx_estr is the shared emit BASE CLASS, nothing else) so a compile failure is attributable to the nested-if construct under test rather than to import weight. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_estr.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

12	func probe(a: i64, b: i64, c: i64, d: i64) -> i64 called by 1: main
24	func main() -> i64 calls 3: probe es_puts sys_exit