code wiki / _hdl_build / nx_softjiggle_gate.nx

nx_softjiggle_gate.nx

buildroot/runtime/_hdl_build/nx_softjiggle_gate.nx

10862 B244 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_softjiggle_gate.nx -- gate for the jiggle-bone substrate. The jiggle ESSENCE is measured, not asserted: T1 REST: node parked at its anchor stays put (gravity variant settles at the k/g equilibrium and stays) T2 LAG + OVERSHOOT: step the anchor -> the node measurably LAGS, then OVERSHOOTS past, then settles = the damped-oscillation signature that IS jiggle T3 DECAY: successive overshoot peaks strictly shrink (energy dissipates -- no runaway) T4 NO-EXPLOSION: violent anchor teleport -> displacement NEVER exceeds maxstretch (clamp by construction) T5 DETERMINISM: two lattices, same shake script -> byte-identical states T6 CONFIG-IS-DATA: stiffer/looser nodes produce different trajectories (profiles are data, mod-shippable) + PNG knowledge/nx_jiggle_trace.png: the anchor step vs node response TRACE (lag/overshoot/decay, visible) license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_png.nx nx_softjiggle.nx nx_softjiggle_gate.nx

imports: nx_syscalls.nxnx_png.nxnx_softjiggle.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap sj_bytes sj_init sj_hdr sj_add sj_hdr ↻ sj_node sj_step sj_hdr ↻ sj_node ↻ sj_axis sj_capsule sj_isqrt sj_node ↻ hw sys_write pn sys_mmap ↻ sys_write ↻ sj_anchor sj_node ↻ gabs write_png sys_mmap ↻ png_g png_paeth png_sabs dfe_compress sys_mmap ↻ dfe_fill_tables dfe_deflate sys_mmap ↻ dfe_bits dfe_hash dfe_matchlen dfe_sym dfe_bits ↻ dfe_rev dfe_rev ↻

structs

none

consts

none

functions

15func hw(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
16func pn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
28func gabs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
called by 1: main
30func main() -> i64
calls 15: sys_mmapsj_bytessj_initsj_addsj_stepsj_node+9