code wiki / _hdl_build / nx_softbind_gate.nx

nx_softbind_gate.nx

buildroot/runtime/_hdl_build/nx_softbind_gate.nx

7663 B171 linesdepth 4pulls 7 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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ sb_alloc sd_alloc sys_mmap ↻ sb_seat_mob sd_seat sb_offy sb_tick_mob sb_tick_mob_firm sb_tick_fn sb_tick_pt sd_step sd_step_ax sb_offy ↻ sb_k_up sb_branch_permil sd_isqrt sb_k_dn sb_k_up ↻ sb_k_lat sb_k_sym

structs

none

consts

17const SBG_Q8: i64 = 256

functions

19func main() -> i64