nx_print_runtime_runout_test.nx
buildroot/runtime/nx_print_runtime_runout_test.nx
about
nx_print_runtime_runout_test.nx -- filament runout edge detection.
Closed-form invariants:
(a) Steady-0 (filament present): no fire across many steps
(b) 0->1 edge: fires exactly once
(c) Steady-1 (already triggered): does NOT re-fire
(d) 1->0 transition (operator reloaded filament): no fire
(e) 0->1 again after reload: fires again
(f) Truthy normalization (sensor_triggered = 42 treated as 1)
(g) Null monitor returns NONE
expect_exit: 0
license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_print_runtime_monitor.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
| 18 | const Q14: i64 = 16384 |
functions
| 20 | func main() -> i64 |