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 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 ↻ 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

structs

none

consts

none

functions

14func main() -> i64