code wiki / (root) / nx_mvault_coll_gate.nx

nx_mvault_coll_gate.nx

buildroot/runtime/nx_mvault_coll_gate.nx

6543 B118 linesdepth 7pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic mvault
docsdependenciesstructsconstsfunctions

about

nx_mvault_coll_gate.nx -- proves the vault's collection/provenance axis. The teeth are the properties a media library actually breaks on: T3 re-declaring an album must NOT fork a second collection (derived ids) T6 re-ingesting an album must NOT duplicate its members (idempotent ingest) T7 one file may belong to SEVERAL albums (many-to-many, not a field) T9 a too-small buffer REFUSES rather than returning a partial album Each of those is a way a naive implementation silently corrupts a library: duplicate albums on re-run, item counts that inflate every sync, a re-post losing its first home, and a truncated album that looks complete. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_mvault_coll.nx nx_gate.nx nx_gate_verdict.nx nx_mvault_coll_gate.nx

imports: nx_mvault_coll.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 mvc_colid sys_mmap canon_encode sys_mmap ↻ cc_cmp cc_w32 cc_len sys_munmap cid_of sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word sha256_final blk_set_byte ↻ sha256_compress ↻ cid_from_digest sys_munmap ↻ sys_munmap ↻ cg_eq mvc_declare_pfx mvc_colid ↻ sys_mmap ↻ mvc_rec_build sys_mmap ↻ canon_encode ↻ sys_munmap ↻ reg_put reg_put_x

structs

none

consts

16const CG_PFX: *u8 = "knowledge/mvcoll-test-\x00"

functions

18func cg_eq(a: *u8, b: *u8) -> i64
called by 1: main
25func main() -> i64