code wiki / _hdl_build / _f64_soak_gate_authored.nx

_f64_soak_gate_authored.nx

buildroot/runtime/_hdl_build/_f64_soak_gate_authored.nx

5597 B164 linesdepth 4pulls 8 transitivereach 0 importersview sourcekind tooltopic f64
docsdependenciesstructsconstsfunctions

about

_f64_soak_gate_authored.nx -- SOVEREIGN ORACLE anchor + soak gate (ME0b + py-debt retirement for ME0). Pure Nishi end to end: no python, no shell. Phase 1 ANCHOR: nx_f64_oracle_sov must reproduce ALL stored expected values of the 1217-vector KAT set for ops add/sub/mul/div/sqrt. Those vectors were anchored to hardware IEEE once; the sovereign oracle matching them transfers the anchor, after which vector regeneration never needs python again. Phase 2 SOAK: sovereign xorshift64* PRNG generates raw bit patterns (every class: normals, subnormals, zeros, infs, NaNs reachable); for each, impl (nx_f64_*) vs oracle (orc_*) must agree BIT-EXACTLY across all 5 ops. Markers: ANCHOR total= ok= bad= / SOAKBAD op= a= b= impl= orc= / SOAK total= bad= F64SOAKGATE verdict=GREEN|RED

dependencies 7 imports · 0 importers

nx_syscalls.nx nx_f64.nx nx_f64_div.nx nx_f64_sqrt.nx nx_f64_cvt.nx nx_f64_oracle_sov.nx _f64_kat_vectors.nx _f64_soak_gate_authored.nx

imports: nx_syscalls.nxnx_f64.nxnx_f64_div.nxnx_f64_sqrt.nxnx_f64_cvt.nxnx_f64_oracle_sov.nx_f64_kat_vectors.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap f64_kat_fill_all f64_kat_fill_0 f64_kat_fill_1 f64_kat_fill_2 f64_kat_fill_3 f64_kat_fill_4 f64_kat_fill_5 f64_kat_fill_6 f64_kat_fill_7 f64_kat_fill_8 f64_kat_fill_9 f64_kat_fill_10 f64_kat_fill_11 f64_kat_fill_12 f64_kat_fill_13 f64_kat_fill_14 f64_kat_fill_15 f6s_orc orc_add orc_cls orc_ef orc_mf orc_sign sys_mmap ↻ orc_sig_norm orc_mf ↻ orc_ef ↻ orc_pack orc_below orc_extract53 orc_bit orc_sub orc_add ↻ orc_mul orc_cls ↻ orc_sign ↻ sys_mmap ↻ orc_sig_norm ↻

structs

none

consts

none

functions

24func f6s_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
26func f6s_putn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
40func f6s_puthex(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
53func f6s_rng(state: *i64) -> i64
called by 1: main
62func f6s_orc(op: i64, a: i64, b: i64) -> i64
called by 1: main calls 5: orc_addorc_suborc_mulorc_divorc_sqrt
71func f6s_impl(op: i64, a: i64, b: i64) -> i64
called by 1: main calls 5: nx_f64_addnx_f64_subnx_f64_mulnx_f64_divnx_f64_sqrt
80func main() -> i64
calls 8: sys_mmapf64_kat_fill_allf6s_orcf6s_putsf6s_putnf6s_puthex+2