code wiki / (root) / nx_seg_store_gate.nx

nx_seg_store_gate.nx

buildroot/runtime/nx_seg_store_gate.nx

15327 B226 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic seg
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_seg_store.nx nx_gate.nx nx_gate_verdict.nx nx_seg_store_gate.nx

imports: nx_seg_store.nxnx_gate.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 gw sys_write ss_next_segid ss_max_segid 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 ↻ ss_cat ss_readall sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close ss_segid_ok ss_begin ss_begin_cap sys_mmap ↻ ss_add ss_add2 ss_w32 ss_len ss_commit ss_segid_ok ↻ ss_commit_body ss_segid_ok ↻ sys_mmap ↻

structs

none

consts

6const K_MAGIC_140712850411539: i64 = 140712850411539 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
7const K_MAGIC_1785516000000000: i64 = 1785516000000000 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
8const K_MAGIC_135251248111617: i64 = 135251248111617 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
9const K_MAGIC_139871015653377: i64 = 139871015653377 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
10const K_MAGIC_139925199040513: i64 = 139925199040513 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
11const K_MAGIC_140190138056705: i64 = 140190138056705 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
12const K_MAGIC_140712850411538: i64 = 140712850411538 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
13const K_MAGIC_1785516000: i64 = 1785516000 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
14const K_MAGIC_1785516000000: i64 = 1785516000000 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
15const K_MAGIC_1785516000000001: i64 = 1785516000000001 // NX-UNNAMED: mechanical, collision-free placeholder -- this name RESTATES the value and so carries no meaning. Replace it with a domain term that says WHY, or move the number to a config row.
17const G_BYTE_MAX: i64 = 255 // T15: the byte planted into a length field so the record runs past its buffer
18const G_KIND_BYTES: i64 = 1 // record layout: u8 kind | u32be klen | key | u32be vlen | value
19const G_U32_BYTES: i64 = 4

functions

20func main() -> i64