code wiki / (root) / nx_xform_gate.nx

nx_xform_gate.nx

buildroot/runtime/nx_xform_gate.nx

6239 B115 linesdepth 11pulls 25 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)

structs

none

consts

none

functions

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