code wiki / _hdl_build / nx_email_mailbox_gate.nx

nx_email_mailbox_gate.nx

buildroot/runtime/_hdl_build/nx_email_mailbox_gate.nx

5252 B112 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic email
docsdependenciesstructsconstsfunctions

about

nx_email_mailbox_gate.nx -- GATE for EMAIL R3 (mailbox store, nx_email_mailbox). REAL filesystem I/O against a fresh segment-store dir (the harness rm -rf + mkdir's knowledge/status/mbox_test before each run): COMPLETENESS : deliver two messages; fetch each back BYTE-IDENTICAL; fetch a never-delivered id -> absent. SOFT-DELETE : tombstone msg-001; it disappears from the current view (fetch -> tombstoned, exists -> 0) while msg-002 is unaffected (per-key isolation). HISTORY : after delete, msg-001 still has 2 retained versions (put + tombstone) -- Cardinal 13, nothing erased. Evidence -> knowledge/status/email_mailbox.log (MBOXGATE authored=organ ... verdict=GREEN) license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_email_mailbox.nx nx_syscalls.nx nx_email_mailbox_gate.nx

imports: nx_email_mailbox.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 sys_mkdir sys_openat_wr sys_close sys_mmap slen nx_mbox_deliver 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

structs

none

consts

20const MBOX_LOG: *u8 = "knowledge/status/email_mailbox.log"
21const MBOX_PREFIX: *u8 = "knowledge/status/mbox_test/"

functions

23func ew(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 }
called by 2: epfmain calls 1: sys_write
24func ewn(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
33func epf(fd: i64, label: *u8, pass: i64) -> i64 { ew(fd, label); if pass == 1 { ew(fd, "PASS" as *u8) } else { ew(fd, "FAIL" as *u8) } return 0 }
called by 1: main calls 1: ew
34func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
35func memeq(a: *u8, b: *u8, len: i64) -> i64 { var i: i64 = 0; while i < len { if a[i] != b[i] { return 0 } i = i + 1 } return 1 }
called by 1: main
37func main() -> i64
calls 15: sys_mkdirsys_openat_wrsys_closesys_mmapslennx_mbox_deliver+9