code wiki / _hdl_build / nx_pattern_emit6_demo3.nx
nx_pattern_emit6_demo3.nx source
↩ module page · 24 lines · 932 B
1// nx_pattern_emit6_demo3.nx -- the TEAM authoring f64 atan (no Claude core logic).
2// Spec = _pm_atan_spec.nx, GENERATED SOVEREIGNLY by nx_mathspec_atan (bigfloat atan
3// oracle, itself self-anchored by Machin + tan-roundtrip; no python anywhere).
4import "nx_pattern_emit6.nx"
5import "_pm_atan_spec.nx"
6import "nx_syscalls.nx"
7
8func p63_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 * 96) as *i64
12 pm_atan_spec_fill(c)
13 let a: i64 = pe6_author_atan("_pe_f64atan.nx" as *u8,
14 "runtime/_hdl_build/_pe_f64atan.nx" as *u8,
15 "runtime/_hdl_build/_pe_f64atan_test.nx" as *u8,
16 c)
17 if a == 1 {
18 p63_w("TEAM AUTHORED CORE: _pe_f64atan (MATH_KERNEL/ATAN, spec=sovereign bigfloat) -- Engineer verify next\n" as *u8)
19 sys_exit(0)
20 }
21 p63_w("author failed\n" as *u8)
22 sys_exit(1)
23 return 1
24}