code wiki / _hdl_build / nx_pattern_emit6_erfc.nx
nx_pattern_emit6_erfc.nx
buildroot/runtime/_hdl_build/nx_pattern_emit6_erfc.nx
about
nx_pattern_emit6_erfc.nx -- PATTERN EMITTER: MATH_KERNEL / ERFC_CF (DLMF ch7 rung 2,
ME2-ERF-002). The Builder authors f64 erfc from the SOVEREIGN spec (nx_mathspec_erfc).
The emitter contains STRUCTURE only -- the Laplace continued fraction (backward
recurrence, a_k=k/2) -- and every NUMBER written into the kernel comes from the spec
table c[] (c[0]=1/sqrt(pi) FIRST so the tamper's litskip=0 targets the load-bearing
scale). Domain 1.75..6; the f64 ULP bar vs the sovereign oracle is the Engineer's
separate gate (_f64_erfc_gate); the emitted test checks ALGORITHM INVARIANTS only.
license_tier: ORIGINAL
dependencies 2 imports · 1 importers
imports: nx_pattern_emit.nxnx_syscalls.nx
imported by: nx_pattern_emit6_demo9.nx
structs
| none |
consts
| none |
functions
| 12 | func pe6c_wlit(fd: i64, v: i64) -> i64 |
| 18 | func pe6_author_erfc(modfile: *u8, modpath: *u8, testpath: *u8, c: *i64) -> i64 |