code wiki / (root) / nx_print_runtime_shift_test.nx

nx_print_runtime_shift_test.nx

buildroot/runtime/nx_print_runtime_shift_test.nx

3444 B88 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic print
docsdependenciesstructsconstsfunctions

about

nx_print_runtime_shift_test.nx -- layer-shift / lost-steps detection. Closed-form invariants: (a) Perfect cmd == act on both axes: no fire (b) Sub-tolerance drift: no fire (c) X drift > tolerance: fires LAYER_SHIFT (d) Y drift > tolerance: fires LAYER_SHIFT (e) Negative drift (actual ahead of commanded): fires too (abs) (f) Setter rejects negative tolerance + null monitor (g) Tighter tolerance catches smaller drift (h) n_issues_total tracks fires expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_print_runtime_monitor.nx nx_print_runtime_shift_test.nx

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

main nx_runtime_monitor_new sys_mmap nx_runtime_monitor_step_la nx_runtime_monitor_set_lay

structs

none

consts

19const Q14: i64 = 16384

functions

21func main() -> i64