code wiki / _hdl_build / nx_email_mailbox_gate.nx

nx_email_mailbox_gate.nx

buildroot/runtime/_hdl_build/nx_email_mailbox_gate.nx

5791 B120 linesdepth 4pulls 5 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 3 imports · 0 importers

nx_email_mailbox.nx nx_syscalls.nx nx_gate_verdict.nx nx_email_mailbox_gate.nx

imports: nx_email_mailbox.nxnx_syscalls.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 sys_mkdir sys_openat_wr sys_close 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 ↻ slen nx_mbox_deliver 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 ↻ ss_cat ss_catn sys_mmap ↻ sys_write ↻ ss_write_seg ss_sr_new sys_mmap ↻

structs

none

consts

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

functions

24func 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
25func ewn(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
34func 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
35func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
36func 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
38func main() -> i64
calls 18: sys_mkdirsys_openat_wrsys_closesys_mmapslennx_mbox_deliver+12