code wiki / _hdl_build / lmprobe_lm001.nx

lmprobe_lm001.nx

buildroot/runtime/_hdl_build/lmprobe_lm001.nx

1818 B44 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tooltopic lmprobe
docsdependenciesstructsconstsfunctions

about

lmprobe_lm001.nx -- LANDMINE PROBE for LM-001 "no &&/|| -- use flag idiom (go/scan vars)". CONTRACT (the retirement oracle, same as lmprobe_lm002/004): exit 0 => ROOT-FIXED (short-circuit && and || now parse AND evaluate correctly on all truth-table rows); non-zero OR build-failure => STILL LIVE (if the operators are unsupported the file FAILS TO BUILD, which IS the STILL-LIVE verdict -- never inconclusive). Import-light so a compile failure is attributable to the operator. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_estr.nx lmprobe_lm001.nx

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

main andcase orcase es_puts sys_write es_len sys_exit

structs

none

consts

none

functions

10func andcase(a: i64, b: i64) -> i64
called by 1: main
15func orcase(a: i64, b: i64) -> i64
called by 1: main
21func main() -> i64