code wiki / _hdl_build / nx_seg_pos_gate.nx

nx_seg_pos_gate.nx

buildroot/runtime/_hdl_build/nx_seg_pos_gate.nx

5458 B106 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic seg
docsdependenciesstructsconstsfunctions

about

nx_seg_pos_gate.nx -- KAT gate for the PHRASE rung's store layer: the NXQ1 positions sidecar (builder round-trip), ss_phrase adjacency/order/negatives across MULTIPLE segments, the graceful DEGRADE on a sidecar-less (pre-phrase) segment, and the COMPACTION UPGRADE (ss_compact rebuilds through ss_write_seg -> the merged segment carries a fresh sidecar -> phrase goes exact again). Runs against /tmp prefixes (wiped per boot -> deterministic, zero tree pollution). license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_seg_store.nx nx_seg_pos_gate.nx

imports: nx_seg_store.nx

imported by: nobody (leaf or entry point)

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

main g_puts ss_begin ss_begin_cap sys_mmap ss_add ss_add2 ss_w32 ss_len ss_commit ss_segid_ok sys_mmap ↻ ss_cat ss_catn sys_mmap ↻ sys_write ss_write_seg ss_segid_ok ↻ sys_mmap ↻ ss_cat ↻ ss_catn ↻ sys_write ↻ ss_segname ss_cat ↻ ss_catn ↻ ss_writefile sys_openat_wr sys_write ↻ sys_close sys_fsync sys_renameat ss_build_keys sys_mmap ↻ ss_r32 ss_kcmp ss_w32 ↻ ss_build_terms sys_mmap ↻ ss_tok_table ss_r32 ↻

structs

none

consts

none

functions

8func g_puts(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: g_checkmain
9func g_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
10func g_num(v: i64) -> i64
called by 1: main
20func g_check(name: *u8, cond: i64, pass: *i64, total: *i64) -> i64
called by 1: main calls 1: g_puts
27func g_phrase2(prefix: *u8, h: *i64, a: *u8, b: *u8, c: *u8, ebox: *i64) -> i64
called by 1: main calls 1: ss_phrase
38func main() -> i64
calls 11: g_putsss_beginss_addss_commitss_openg_phrase2+5