code wiki / _hdl_build / nx_jam_check_test.nx

nx_jam_check_test.nx

buildroot/runtime/_hdl_build/nx_jam_check_test.nx

6076 B105 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic jam

docs dependencies structs consts functions

about

nx_jam_check_test.nx -- ACCEPTANCE GATE for the jam-physics pre-flight. Every KAT is hand-computed exact integer math (units: um / milli-mm^3 / ms): flow = ((E_um * 2405 / 1000) * 1000) / (dist_um * 60000 / F_milli_mm_min) KAT core move: X 0->50mm at F6000 (100 mm/s) -> time 500ms. E=2.0mm -> vol 4810 milli-mm^3 -> flow 9620 milli-mm^3/s E=0.33mm -> vol 793 -> flow 1586 E=8.0mm -> vol 19240 -> flow 38480 (beyond the whole table) Table: 190->6000 200->8000 210->10000 220->11500 230->13000 (PROVISIONAL data; logic exact). license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_jam_check.nxnx_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

13	func jt_puts(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
14	func jt_putn(v: i64) -> i64 { let bb: u8 = sys_mmap(28); var m: i64=v; if m<0 {m=0-m;sys_write(1,"-" as u8,1)} let t: *u8=sys_mmap(28); 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; while i<k {bb[i]=t[k-1-i];i=i+1} sys_write(1,bb,k); return 0 } called by 1: main calls 2: sys_mmap sys_write
15	func jt_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: main
17	func main() -> i64 calls 9: sys_mmap jc_capacity_milli jt_puts jc_temp_for_flow jc_parse_milli jt_len+3