code wiki / _hdl_build / nx_pattern_emit6.nx
nx_pattern_emit6.nx
buildroot/runtime/_hdl_build/nx_pattern_emit6.nx
about
nx_pattern_emit6.nx -- PATTERN EMITTER: MATH_KERNEL (shape 11 -- first NEW shape past the
original 10/10 census; the math-engine arc's autonomy lever). The Builder authors an f64
TRANSCENDENTAL from a data spec: LOG_REDUCE template (exponent split at the sqrt2 boundary ->
s=(m-1)/(m+1) -> Horner in z=s^2 -> k*ln2 hi/lo recombine). EVERY number in the emitted module
comes from the spec array (oracle-generated, mpmath@60dps) -- the emitter contains STRUCTURE,
never constants (no-magic-numbers law). The emitted test derives KATs from the ALGORITHM'S OWN
INVARIANTS (ln(1)=+0 exactly since s=0; the IEEE specials table), no Claude arithmetic; the
semantic ULP bar is the Engineer's separate oracle-vector gate (_f64_log_gate_authored).
Spec layout: c[0]=ONE c[1]=SQRT2_CUT_SIG c[2]=LN2_HI c[3]=LN2_LO, coeffs hi-first c[4..4+ncoef).
Extends emit(231)/emit2(235)/emit3(241)/emit4(262)/emit5(GEOMETRY+PID). LAWS: flat ifs, no
&&/||, <=6 args per func, one transcendental per emitted file. license_tier: ORIGINAL
dependencies 2 imports · 9 importers
imports: nx_pattern_emit.nxnx_syscalls.nx
imported by: nx_auto_builder.nxnx_auto_builder_s20.nxnx_pattern_emit6_demo.nxnx_pattern_emit6_demo2.nxnx_pattern_emit6_demo3.nxnx_pattern_emit6_demo4.nxnx_pattern_emit6_demo5.nxnx_pattern_emit6_demo6.nxnx_warden_build.nx
structs
| none |
consts
| none |
functions
| 15 | func pe6_author_logf64(name: *u8, modfile: *u8, modpath: *u8, testpath: *u8, c: *i64, ncoef: i64) -> i64 |
| 71 | func pe6_wlit(fd: i64, v: i64) -> i64 |
| 88 | func pe6_author_sincos(modfile: *u8, modpath: *u8, testpath: *u8, c: *i64) -> i64 |
| 179 | func pe6_author_atan(modfile: *u8, modpath: *u8, testpath: *u8, c: *i64) -> i64 |
| 277 | func pe6_author_pow(modfile: *u8, modpath: *u8, testpath: *u8, c: *i64) -> i64 |
| 449 | func pe6_author_tan(modfile: *u8, modpath: *u8, testpath: *u8, c: *i64) -> i64 |
| 609 | func pe6_author_sinhcosh(modfile: *u8, modpath: *u8, testpath: *u8, c: *i64) -> i64 |