code wiki / _hdl_build / nx_pattern_emit6_demo6.nx

nx_pattern_emit6_demo6.nx source

↩ module page · 24 lines · 968 B

1// nx_pattern_emit6_demo6.nx -- the TEAM authoring f64 sinh+cosh (no Claude core logic). 2// Spec = _pm_sinhcosh_spec.nx, GENERATED SOVEREIGNLY by nx_mathspec_sinhcosh 3// (bigfloat; Bernoulli exp form + exact factorial Taylor; no python, no minimax). 4import "nx_pattern_emit6.nx" 5import "_pm_sinhcosh_spec.nx" 6import "nx_syscalls.nx" 7 8func p66_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_sinhcosh_spec_fill(c) 13 let a: i64 = pe6_author_sinhcosh("_pe_f64sinhcosh.nx" as *u8, 14 "runtime/_hdl_build/_pe_f64sinhcosh.nx" as *u8, 15 "runtime/_hdl_build/_pe_f64sinhcosh_test.nx" as *u8, 16 c) 17 if a == 1 { 18 p66_w("TEAM AUTHORED CORE: _pe_f64sinhcosh (MATH_KERNEL/SINHCOSH dd, spec=sovereign bigfloat) -- Engineer verify next\n" as *u8) 19 sys_exit(0) 20 } 21 p66_w("author failed\n" as *u8) 22 sys_exit(1) 23 return 1 24}