code wiki / (root) / nx_tabrec_gate.nx

nx_tabrec_gate.nx

buildroot/runtime/nx_tabrec_gate.nx

2030 B33 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_tabrec_gate.nx -- proves the canonical tab-record parser/builder, and demonstrates the consolidated pattern: a gate with ZERO local helpers -- it imports nx_gate (gw/gn) and nx_tabrec (tr_*) and nothing is re-rolled. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_gate.nx nx_tabrec.nx nx_tabrec_gate.nx

imports: nx_gate.nxnx_tabrec.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write tr_cat tr_tab tr_field tr_atoi tr_field_eq tr_field ↻ gn sys_write ↻ sys_mmap

structs

none

consts

none

functions

7func main() -> i64
calls 7: gwtr_cattr_tabtr_fieldtr_atoitr_field_eq+1