code wiki / _hdl_build / nx_pattern_emit6_erfc.nx

nx_pattern_emit6_erfc.nx

buildroot/runtime/_hdl_build/nx_pattern_emit6_erfc.nx

4227 B63 linesdepth 3pulls 3 transitivereach 1 importersview sourcekind librarytopic pattern
docsdependenciesstructsconstsfunctions

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

nx_pattern_emit.nx nx_syscalls.nx nx_pattern_emit6_erfc.nx nx_pattern_emit6_demo9.nx

imports: nx_pattern_emit.nxnx_syscalls.nx

imported by: nx_pattern_emit6_demo9.nx

structs

none

consts

none

functions

12func pe6c_wlit(fd: i64, v: i64) -> i64
called by 1: pe6_author_erfc calls 2: pe_wpe_wn
18func pe6_author_erfc(modfile: *u8, modpath: *u8, testpath: *u8, c: *i64) -> i64