code wiki / (root) / nx_analyst_insight_gate.nx

nx_analyst_insight_gate.nx

buildroot/runtime/nx_analyst_insight_gate.nx

7364 B126 linesdepth 9pulls 19 transitivereach 0 importersview sourcekind gate/prooftopic analyst
docsdependenciesstructsconstsfunctions

about

nx_analyst_insight_gate.nx -- F1003: prove the no-target insight miner finds real structure, names the classes correctly, and CANNOT quietly p-hack. Two datasets: one with planted structure (every finding class present, hand-checkable) and one of pure noise wide enough that the required family-wise level falls off the critical table -- where the honest output is a REFUSAL, not a top-5 list. D001-compliant verdict via nx_gate_verdict. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_analyst_insight.nx nx_analyst_insight_gate.nx

imports: nx_gate_verdict.nxnx_analyst_insight.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 ai_mine ins_conf sys_openat_rd sys_mmap ↻ sys_read sys_close ins_atoi_rng ai_alpha_for_m sys_mmap ↻ ai_tcrit_parse sys_openat_rd ↻ sys_mmap ↻ sys_read ↻ sys_close ↻ ai_atoi_rng sys_mmap ↻ am_pearson_milli sys_mmap ↻ df_mean df_sum df_isqrt ai_spearman_milli sys_mmap ↻ ai_rank2_into am_pearson_milli ↻ ins_abs ai_r_sig_bonferroni ai_alpha_for_m ↻ ai_r_sig_alpha sys_mmap ↻ ai_tcrit_parse ↻ ai_r_sig_from ai_tcrit_from ins_add

structs

none

consts

9const IG_N: i64 = 40
10const IG_WIDE: i64 = 30
11const IG_CAP: i64 = 65536

functions

13func ig_lcg(s: i64) -> i64 { return (s * 1103515245 + 12345) & 0x7fffffff }
called by 1: main
14func ig_has(hay: *u8, n: i64, needle: *u8) -> i64
called by 1: main
27func ig_no(v: i64) -> i64 { if v == 0 { return 1 } return 0 }
called by 1: main
29func main() -> i64