code wiki / _hdl_build / nx_math_ext_verify.nx
nx_math_ext_verify.nx
buildroot/runtime/_hdl_build/nx_math_ext_verify.nx
about
nx_math_ext_verify.nx -- STANDING guardrail for the math EXTENSIONS that are proven
but live OUTSIDE the rung table (compositions / closed forms with no emitter rung):
erf full-domain (_f64_erf_full_gate), gamma reflection 0<x<0.5 (_f64_gamma_refl_gate),
integer-order incomplete gamma (_f64_igammaq_gate) -- all S-class GREEN; plus the
negative-x gamma KNOWN GAP (_f64_gamma_refl_neg_gate, conditioning-limited ~19 ulp,
re-measured transparently so a regression past the gap is caught, never hidden).
Each gate is built+run through the sovereign lane (nx_sov_build_run) so the extension
is re-proven FROM SOURCE every beat -- it cannot stale-rot. Wired into the math autorun
tail. Exit = number of S-class extension gates that are not GREEN (the known gap does
NOT count; it is reported as GAP/closed). EXTVERIFY row -> knowledge/status/math_engine.log.
license_tier: ORIGINAL
module: nishi-core.math.ext_verify
depends: nishi-core.sys.syscalls
capability: MATH_EXTENSION_STANDING_GUARDRAIL
dependencies 1 imports · 0 importers
imports: nx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 18 | func ev_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } |
| 21 | func ev_stage(base: *u8) -> i64 |
| 41 | func ev_report(fd: i64, name: *u8, rc: i64) -> i64 |
| 47 | func main() -> i64 |