code wiki / _hdl_build / nx_cg_restprobe.nx

nx_cg_restprobe.nx

buildroot/runtime/_hdl_build/nx_cg_restprobe.nx

3410 B81 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_cg_restprobe.nx -- DIAGNOSTIC: the damped 3-point solver did not reach an exact fixed point in 20,000 ticks after a kick, yet nx_softtissue_mr_gate T5 proves it stays EXACTLY at rest when seated there. Both cannot be waved at: rest is a stable fixed point the solver apparently does not CONVERGE to. This measures the residual instead of theorising about it -- amplitude, velocity, and whether it is a periodic limit cycle or a slow drift, over a budget far larger than the gate's. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_softbind.nx nx_gate_verdict.nx nx_cg_restprobe.nx

imports: nx_syscalls.nxnx_softbind.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_head gv_puts sys_write sb_alloc sd_alloc sys_mmap sb_seat_mob sd_seat sb_offy sb_impulse_mob sd_impulse sb_tick_pt sd_step sd_isqrt sd_deadsnap sd_abs sb_offy ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap sb_off_y_q8 sb_offy ↻ sys_mmap ↻ rp_same

structs

none

consts

11const RP_STRIDE: i64 = 6
12const RP_WORDS: i64 = 18
13const RP_K: i64 = 60
14const RP_C: i64 = 100
15const RP_MAXD: i64 = 64
16const RP_KICK: i64 = 400
17const RP_WARM: i64 = 200000
18const RP_WIN: i64 = 4000
19const RP_SHOW: i64 = 24

functions

21func rp_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
22func rp_same(a: *i64, b: *i64, n: i64) -> i64 { var i: i64 = 0; while i < n { if a[i] != b[i] { return 0 } i = i + 1 } return 1 }
called by 1: main
24func main() -> i64