code wiki / _hdl_build / nx_atlas_discover_gate.nx

nx_atlas_discover_gate.nx

buildroot/runtime/_hdl_build/nx_atlas_discover_gate.nx

5268 B119 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic atlas
docsdependenciesstructsconstsfunctions

about

nx_atlas_discover_gate.nx -- gate for atlas recombination discovery (authored ON nx_gate_verdict per the migrate-on-touch law). Per-run-unique /tmp fixture planes: T1 proposes novel MCP-live pairs above minscore (data-adjacent + cross-owner scoring) T2 EXCLUDES the already-composed pair (both organs in the exclusion plan = no proposal) T3 EXCLUDES non-mcp-live organs (internal/GAP rows never proposed) T4 deterministic (two runs -> byte-identical discovery plane) T5 unseeded catalog -> fail-closed nonzero exit license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 5 imports · 0 importers

nx_store_seed_lib.nx nx_seg_store.nx nx_deploy_lib.nx nx_gate_verdict.nx nx_syscalls.nx nx_atlas_discover_gate.nx

imports: nx_store_seed_lib.nxnx_seg_store.nxnx_deploy_lib.nxnx_gate_verdict.nxnx_syscalls.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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real sys_mmap ↻ ag_mkpfx ss_cat ss_catn sys_mmap ↻ ss_cat ↻ sts_seed sts_pfxhash ss_begin_cap sys_mmap ↻ sts_mm sys_mmap ↻ sts_werr sys_write ↻ sys_exit ↻ sts_rowkey ss_catn ↻

structs

none

consts

15const AG_CAP: i64 = 262144
16const AG_PFX: i64 = 128

functions

18func ag_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: ag_has
19func ag_has(q: *u8, n: i64, s: *u8) -> i64
called by 1: main calls 1: ag_slen
32func ag_mkpfx(dst: *u8, stem: *u8, epoch: i64) -> i64
called by 1: main calls 2: ss_catss_catn
40func main() -> i64