code wiki / _hdl_build / lmprobe_lm001.nx
lmprobe_lm001.nx
buildroot/runtime/_hdl_build/lmprobe_lm001.nx
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
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
| 10 | func andcase(a: i64, b: i64) -> i64 called by 1: main |
| 15 | func orcase(a: i64, b: i64) -> i64 called by 1: main |
| 21 | func main() -> i64 |