code wiki / _hdl_build / nx_softbind_gate.nx

nx_softbind_gate.nx

buildroot/runtime/_hdl_build/nx_softbind_gate.nx

7663 B171 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_softbind_gate.nx -- prove the solver-to-GEOMETRY binding is real (roadmap rung A4). nx_softdyn was 7/7 in isolation but bound to nothing; this gate proves the BINDING layer: per-mob hair/chest/skirt spring points driven by root motion, renderer-facing Q8 offsets. T1 LAG chest offset trails an accelerating root (that IS the jiggle signal) T2 OVERSHOOT root stops -> hair swings through the anchor (sign flips) = oscillation T3 SETTLE energy decays to a fraction of its peak (no perpetual motion) T4 CLAMP a teleporting root can never separate tissue past its per-kind clamp T5 KINDS DIFFER hair (soft, long clamp) peaks HIGHER than chest (stiff, short clamp) T6 DETERMINISM same trajectory twice -> identical checksum; different trajectory -> different T7 BITE the jiggle-missing detector FIRES on a frozen rig, stays SILENT on the live one T8 IMPULSE a kick displaces then returns to rest (hits/footfalls inherit realism) license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_softbind.nx nx_gate_verdict.nx nx_softbind_gate.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_ctr sys_mmap gv_head gv_puts sys_write sb_alloc sd_alloc sys_mmap ↻ sb_seat_mob sd_seat sb_offy sb_tick_mob sd_step sd_isqrt sd_deadsnap sd_abs sb_offy ↻ sb_k sb_c sb_maxd sb_off_x_q8 sb_disp_q8 sd_disp_q8 sd_isqrt ↻ sb_offy ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_check gv_puts ↻ sb_energy sd_energy sb_ck gv_bite gv_puts ↻ sb_impulse_mob sd_impulse

structs

none

consts

17const SBG_Q8: i64 = 256

functions

19func main() -> i64