code wiki / (root) / nx_mvault_layout_gate.nx

nx_mvault_layout_gate.nx

buildroot/runtime/nx_mvault_layout_gate.nx

2209 B56 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic mvault

docs dependencies structs consts functions

about

nx_mvault_layout_gate.nx -- proves the DSM on-disk path derivation: <root>/<class>/<type>/<shard>/<cid16>_<source>.<ext>, self-describing, bounded fan-out (2-hex shard). run-exit == 0 means GREEN.

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_mvault_ingest.nxnx_mvault_layout.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

9	func streq(a: u8, b: u8) -> i64 called by 1: main
19	func main(argc: i64, argv: *i64) -> i64 calls 4: sys_mmap mv_disk_path streq sys_write