code wiki / (root) / nx_dms_catalog_store_gate.nx

nx_dms_catalog_store_gate.nx

buildroot/runtime/nx_dms_catalog_store_gate.nx

2436 B47 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic dms
docsdependenciesstructsconstsfunctions

about

nx_dms_catalog_store_gate.nx -- durability gate for the media catalog. Build catalog (incl. a soft-removed asset) -> save -> reload into a FRESH catalog (simulated restart) -> every record survived (count, talent/use, soft-remove flag) AND the reloaded catalog still consent-gates against the rights ledger, including revoke-after-reload. Returns 0 iff durable + correct; nonzero pinpoints the first failure.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_rights_ledger.nx nx_dms_catalog.nx nx_dms_catalog_store.nx nx_dms_catalog_store_gate.nx

imports: nx_syscalls.nxnx_rights_ledger.nxnx_dms_catalog.nxnx_dms_catalog_store.nx

imported by: nobody (leaf or entry point)

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

main nx_rights_ledger_new sys_mmap nx_dms_catalog_new sys_mmap ↻ nx_rights_grant nx_use_is_valid _rl_at nx_dms_catalog_add nx_use_is_valid ↻ _dms_find_hash _dms_at _dms_at ↻ nx_dms_catalog_remove _dms_find_id _dms_at ↻ _dms_at ↻ nx_dms_catalog_save 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 ↻

structs

none

consts

none

functions

14func main() -> i64