code wiki / _hdl_build / nx_pattern_emit6_demo4.nx
nx_pattern_emit6_demo4.nx source
↩ module page · 24 lines · 921 B
1// nx_pattern_emit6_demo4.nx -- the TEAM authoring f64 pow (no Claude core logic).
2// Spec = _pm_pow_spec.nx, GENERATED SOVEREIGNLY by nx_mathspec_pow (bigfloat;
3// exact-rational L/P families, sqrt cuts by bigfloat binary search; no python).
4import "nx_pattern_emit6.nx"
5import "_pm_pow_spec.nx"
6import "nx_syscalls.nx"
7
8func p64_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_pow_spec_fill(c)
13 let a: i64 = pe6_author_pow("_pe_f64pow.nx" as *u8,
14 "runtime/_hdl_build/_pe_f64pow.nx" as *u8,
15 "runtime/_hdl_build/_pe_f64pow_test.nx" as *u8,
16 c)
17 if a == 1 {
18 p64_w("TEAM AUTHORED CORE: _pe_f64pow (MATH_KERNEL/POW dd, spec=sovereign bigfloat) -- Engineer verify next\n" as *u8)
19 sys_exit(0)
20 }
21 p64_w("author failed\n" as *u8)
22 sys_exit(1)
23 return 1
24}