code wiki / (root) / nx_analyze_gate.nx

nx_analyze_gate.nx

buildroot/runtime/nx_analyze_gate.nx

9924 B179 linesdepth 11pulls 24 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_analyze_gate.nx -- proves the analyst FRONT DOOR: the JSON an agent/workflow actually consumes is well-formed and CORRECT, over real sharded seg_store data. The numeric organs are gated elsewhere; what this gate owns is the SURFACE -- that the composed pipeline loads at scale, emits parseable JSON, and that the honesty flags carry the right values. D001 verdict via nx_gate_verdict. expect_exit: 0

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_analyze.nx nx_analyze_gate.nx

imports: nx_gate_verdict.nxnx_analyze.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 az_sig az_raw az_num sys_mmap ↻ 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_min_n sys_mmap ↻ ai_tcrit_load ↻ ai_r_sig_from ↻ gv_check gv_puts ↻ ag_has az_ci az_raw ↻ az_num ↻ sys_mmap ↻ ai_r_ci ai_tcrit_alpha sys_mmap ↻ ai_tcrit_parse ↻ ai_tcrit_from ↻ df_isqrt ai_exp_micro sys_now_us

structs

none

consts

8const AG_N: i64 = 300 // > one seg_store version window; forces the sharded path to matter
9const AG_SHARD: i64 = 150
10const AG_CAP: i64 = 65536

functions

12func ag_lcg(s: i64) -> i64 { return (s * 1103515245 + 12345) & 0x7fffffff }
called by 1: ag_row
13func ag_has(hay: *u8, needle: *u8) -> i64
called by 1: main
28func ag_catn(buf: *u8, o: i64, v: i64) -> i64
called by 2: ag_rowmain
40func ag_row(row: *u8, id: i64, seed: i64) -> i64
called by 1: main calls 2: ag_lcgag_catn
56func main() -> i64