code wiki / _hdl_build / nx_galx_tags_gate.nx

nx_galx_tags_gate.nx

buildroot/runtime/_hdl_build/nx_galx_tags_gate.nx

5504 B91 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic galx
docsdependenciesstructsconstsfunctions

about

nx_galx_tags_gate.nx -- sovereign gate for nx_galx_tags. Builds a tag-op log via tg_op_line (dogfood), then asserts tg_tags_for_id / tg_ids_for_tag replay it to the correct CURRENT set: add, remove (v=0), last-wins, multi-tag ordering, and absent id/tag. No bash. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_galx_tags.nx nx_galx_tags_gate.nx

imports: nx_syscalls.nxnx_galx_tags.nx

imported by: nobody (leaf or entry point)

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

main gp_p sys_write sys_mmap tg_op_line tg_emit_u sys_mmap ↻ tg_tags_for_id sys_mmap ↻ tg_tabs tg_pint tg_eqn chk_j gp_jeq gp_p ↻ sys_write ↻ tg_ids_for_tag sys_mmap ↻ tg_tabs ↻ tg_eqn ↻ tg_pint ↻ tg_emit_u ↻ tg_all_tags sys_mmap ↻ tg_tabs ↻ tg_eqn ↻ tg_ids_for_tag ↻ tg_op_line_s tg_tags_for_id_s sys_mmap ↻ tg_tabs ↻ tg_eqn ↻ tg_pint ↻ tg_ids_for_tag_s sys_mmap ↻ tg_tabs ↻ tg_eqn ↻ tg_pint ↻ tg_all_tags_s sys_mmap ↻

structs

none

consts

none

functions

7func gp_p(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: chk_jmain calls 1: sys_write
8func gp_n(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
16func gp_jeq(out: *u8, len: i64, exp: *u8) -> i64
called by 1: chk_j
23func chk_j(label: *u8, out: *u8, len: i64, exp: *u8) -> i64
called by 1: main calls 3: gp_jeqgp_psys_write
28func main(argc: i64, argv: *i64) -> i64
calls 12: gp_psys_mmaptg_op_linetg_tags_for_idchk_jtg_ids_for_tag+6