code wiki / _hdl_build / nx_pattern_emit6_demo7.nx
nx_pattern_emit6_demo7.nx source
↩ module page · 24 lines · 941 B
1// nx_pattern_emit6_demo7.nx -- the TEAM authoring f64 erf (no Claude core logic).
2// Spec = _pm_erf_spec.nx, GENERATED SOVEREIGNLY by nx_mathspec_erf (bf_pi Machin +
3// Newton sqrt, rails held bit-exact vs known-good; 32 exact-factorial reciprocals).
4import "nx_pattern_emit6_erf.nx"
5import "_pm_erf_spec.nx"
6import "nx_syscalls.nx"
7
8func p67_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
9
10func main() -> i64 {
11 let c: *i64 = sys_mmap(8 * 40) as *i64
12 pm_erf_spec_fill(c)
13 let a: i64 = pe6_author_erf("_pe_f64erf.nx" as *u8,
14 "runtime/_hdl_build/_pe_f64erf.nx" as *u8,
15 "runtime/_hdl_build/_pe_f64erf_test.nx" as *u8,
16 c)
17 if a == 1 {
18 p67_w("TEAM AUTHORED CORE: _pe_f64erf (MATH_KERNEL/ERF_TAYLOR dd, spec=sovereign bigfloat) -- Engineer verify next\n" as *u8)
19 sys_exit(0)
20 }
21 p67_w("author failed\n" as *u8)
22 sys_exit(1)
23 return 1
24}