code wiki / _hdl_build / nx_research_dynamics2_gate.nx
nx_research_dynamics2_gate.nx
buildroot/runtime/_hdl_build/nx_research_dynamics2_gate.nx
about
nx_research_dynamics2_gate.nx -- the time-stepping dynamics substrate scales to a MULTI-DOF system: two
unit masses coupled by three unit springs (wall-m1, m1-m2, m2-wall). a1 = -2x1+x2, a2 = x1-2x2 (k=1).
Start mass 1 displaced (x1=A, x2=0, at rest): energy SLOSHES back and forth between the masses (the normal-mode
beat) -- yet the TOTAL energy is conserved by the symplectic leapfrog and DRIFTS under forward-Euler. Same
conservation verifier + liar-kill as the single oscillator, now on a coupled system with real energy exchange.
Fixed-point integers (no float), deterministic. GREEN iff 6/6. license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_syscalls.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
| none |
functions
| 9 | func g_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 10 | func g_n(v: i64) -> i64 { var m: i64=v; if m<0{g_w("-");m=0-m} let t:*u8=sys_mmap(24); var k:i64=0; if m==0{t[0]=48 as u8;k=1}; while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1}; var i:i64=0; let o:*u8=sys_mmap(24); while i<k{o[i]=t[k-1-i];i=i+1}; sys_write(1,o,k); return 0 } |
| 11 | func g_row(id: *u8, ok: i64, pass: *i64) -> i64 { g_w(" "); g_w(id); g_w(": "); if ok==1 { g_w("OK\n"); pass[0]=pass[0]+1 } else { g_w("FAIL\n") } return 0 } |
| 12 | func iabs(x: i64) -> i64 { if x<0 { return 0-x } return x } |
| 13 | func permille(dev: i64, E0: i64) -> i64 { return dev*1000/E0 } called by 1: main |
| 15 | func energy2(x1: i64, x2: i64, v1: i64, v2: i64) -> i64 { let d: i64=x1-x2; return v1*v1+v2*v2 + x1*x1 + d*d + x2*x2 } |
| 18 | func sim_lf2(x10: i64, x20: i64, D: i64, N: i64, out: *i64) -> i64 |
| 38 | func sim_eu2(x10: i64, x20: i64, D: i64, N: i64, out: *i64) -> i64 |
| 56 | func main() -> i64 |