code wiki / (root) / nx_numeric_oracle_test.nx

nx_numeric_oracle_test.nx

buildroot/runtime/nx_numeric_oracle_test.nx

7016 B161 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic numeric
docsdependenciesstructsconstsfunctions

about

nx_numeric_oracle_test.nx -- verify the verifier. The oracle is the tool every future kernel passes through. If the oracle is buggy, every "verified" claim downstream is suspect. So we test it harder than a normal smoke -- positive + negative paths, witness extraction, all 6 verdicts, metamorphic invariants.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_prng.nx nx_tensor.nx nx_numeric_oracle.nx nx_numeric_oracle_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_prng.nxnx_tensor.nxnx_numeric_oracle.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 nx_t_alloc nx_dt_is_valid nx_dt_element_bytes sys_mmap ↻ nx_t_compute_strides_rowma nx_t_fill_zero nx_t_set_i64 nx_t_flat_offset nx_no_check_bit_exact_i64 nx_no_witness_clear _no_structural_check nx_t_is_contiguous nx_no_check_structural _no_structural_check ↻ nx_no_check_epsilon_rel_q1 nx_no_witness_clear ↻ _no_structural_check ↻ nx_t_is_contiguous ↻ nx_prng_init nx_no_gen_random_i64 nx_t_alloc ↻ nx_prng_range_lo_hi nx_prng_range nx_prng_next nx_no_check_double_transpo nx_no_witness_clear ↻ nx_t_is_contiguous ↻ sys_mmap ↻ nx_t_permute sys_mmap ↻ nx_t_get_i64 nx_t_flat_offset ↻ nx_no_differential_verdict _no_structural_check ↻ nx_no_check_bit_exact_i64 ↻ nx_no_check_epsilon_rel_q1 ↻ nx_no_kahan_sum_i64 nx_no_check_reproducible

structs

none

consts

none

functions

14func main() -> nx_int
calls 15: sys_mmapnx_t_allocnx_t_fill_zeronx_t_set_i64nx_no_check_bit_exact_i64nx_no_check_structural+9