code wiki / (root) / nx_analyst_infer_gate.nx

nx_analyst_infer_gate.nx

buildroot/runtime/nx_analyst_infer_gate.nx

16972 B254 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic analyst
docsdependenciesstructsconstsfunctions

about

nx_analyst_infer_gate.nx -- proves the analyst's statistical-inference layer with HAND-COMPUTED known answers, every threshold arithmetic worked out by hand from rp^2*(n-2) > ceil(tcp^2*(1e6-rp^2)/1e6). D001-compliant: emits its verdict through the ONE shared nx_gate_verdict lib (anchor "verdict="). The discriminating pair this gate exists for: the SAME two r values nx_analyst_report produces on its capstone dataset (size r=994, age r=-172) are tested here at n=8 instead of that gate's n=300. At n=300 both are real; at n=8 size still is and age is NOISE. Sample size -- not effect size -- is what flips it, which is exactly what the report could not previously say. Every positive tooth is paired with an adversarial negative that MUST be rejected, so passing on true positives alone cannot make this green. license_tier: ORIGINAL No hardware writes (Rule 26).

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_analyst_infer.nx nx_analyst_infer_gate.nx

imports: nx_gate_verdict.nxnx_analyst_infer.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write gv_check gv_puts ↻ ig_eq ai_r_significant sys_mmap ↻ ai_tcrit_load ai_tcrit_parse sys_openat_rd sys_mmap ↻ sys_read sys_close ai_atoi_rng ai_r_sig_from ai_tcrit_from ai_tcrit sys_mmap ↻ ai_tcrit_load ↻ ai_tcrit_from ↻ ai_min_n sys_mmap ↻ ai_tcrit_load ↻ ai_r_sig_from ↻ ai_key_driver_guarded sys_mmap ↻ ai_tcrit_load ↻ ai_r_sig_from ↻ ai_r_verdict ai_r_significant ↻ ai_cat ai_itoa sys_mmap ↻ ai_min_n ↻ ai_tcrit_audit sys_mmap ↻

structs

none

consts

14const IG_NCOL: i64 = 2

functions

16func ig_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 }
called by 1: main
18func main() -> i64