code wiki / (root) / nx_xform_gate.nx

nx_xform_gate.nx

buildroot/runtime/nx_xform_gate.nx

6239 B115 linesdepth 11pulls 23 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_xform_gate.nx -- proves the transform-DAG engine: topological ordering, CYCLE refusal, the three data-test operators, whole-token dep matching (the subtle bug: "avg" must NOT match "avg_price"), and end-to-end DESCENDANT-ONLY fail-closed skipping over the real conf + azdemo store. D001 verdict via nx_gate_verdict. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_xform.nx nx_xform_gate.nx

imports: nx_gate_verdict.nxnx_xform.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 ↻ xg_eq xf_csv_has xf_topo sys_mmap ↻ xf_csv_has ↻ xg_pos xf_streq xf_test xf_streq ↻ xf_order_json sys_mmap ↻ xf_load sys_openat_rd sys_mmap ↻ sys_read sys_close xf_dup sys_mmap ↻ xf_atoi xf_topo ↻ xf_raw xf_num sys_mmap ↻ xf_qstr gv_puts ↻ xg_has xf_run_json sys_mmap ↻ xf_load ↻ xf_topo ↻ xf_raw ↻ xf_num ↻

structs

none

consts

none

functions

8func xg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 }
called by 1: main
9func xg_has(hay: *u8, needle: *u8) -> i64
called by 1: main
25func xg_pos(order: *i64, n: i64, ids: *i64, name: *u8) -> i64
called by 1: main calls 1: xf_streq
31func main() -> i64