code wiki / _hdl_build / nx_mr_lagprobe.nx
nx_mr_lagprobe.nx
buildroot/runtime/_hdl_build/nx_mr_lagprobe.nx
about
nx_mr_lagprobe.nx -- DIAGNOSTIC: why is the constant-velocity steady lag 171 q8 and not the
closed-form C*v*Q8/K = 426? The MR gate measured 171 with min==max==171 over 96 ticks, i.e. a
TRUE fixed point, which my hand analysis says is impossible (it predicts a residual acc of -15).
One of the two is wrong; this dumps the raw solver state per tick so the runtime adjudicates.
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 3 imports · 0 importers
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
structs
| none |
consts
| 10 | const LP_STRIDE: i64 = 6 |
| 11 | const LP_Q8: i64 = 256 |
| 12 | const LP_G: i64 = 1024 |
| 13 | const LP_K: i64 = 60 |
| 14 | const LP_C: i64 = 100 |
| 15 | const LP_MAXD: i64 = 64 |
| 16 | const LP_SETTLE: i64 = 600 |
| 17 | const LP_SHOW: i64 = 8 |
functions
| 19 | func main() -> i64 |