code wiki / _hdl_build / nx_uiq_atree_gate.nx

nx_uiq_atree_gate.nx

buildroot/runtime/_hdl_build/nx_uiq_atree_gate.nx

4267 B99 linesdepth 8pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic uiq
docsdependenciesstructsconstsfunctions

about

nx_uiq_atree_gate.nx -- D001 gate for the F106b ARIA-tree + ZSS TED organ (gv-verdict anchored). Proves BEFORE any page is judged: exact node counts on a known fixture, TED oracle (identical=0, one delete=1, one heading rename=1, one wrapper insert=1, symmetric), script bodies masked, and a runtime-built 62-node scale tree (count exact + self-TED 0) beyond fixture size. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_uiq_atree_lib.nx nx_gate_verdict.nx nx_uiq_atree_gate.nx

imports: nx_uiq_atree_lib.nxnx_gate_verdict.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 at_build cs_mask_scripts cs_find_from at_arr cs_find_from ↻ cs_namec cs_span_eq at_attr_val cs_find_from ↻ cs_len at_tagrole at_tag_eq cs_len ↻ uiq_word_eq at_tag_eq ↻ gv_check gv_puts ↻ at_ted_html at_build ↻ at_ted at_order at_arr ↻ at_lcost at_arr ↻ at_names_eq at_min3 at_selftest cs_len ↻ at_build ↻ at_ted_html ↻ ag_app gv_verdict gv_puts ↻ gv_num

structs

none

consts

none

functions

9func ag_app(dst: *u8, off: i64, lit: *u8) -> i64
called by 1: main
16func main() -> i64