code wiki / (root) / nx_mvault_caption_gate.nx

nx_mvault_caption_gate.nx

buildroot/runtime/nx_mvault_caption_gate.nx

3034 B70 linesdepth 7pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic mvault
docsdependenciesstructsconstsfunctions

about

nx_mvault_caption_gate.nx -- proves the comprehensive per-item capture: measurement + tag + caption persist under one CID, read back exact, and the per-item field index enumerates all three. (Build with a clean /tmp store; run-exit == 0 means GREEN.)

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_mvault_tag.nx nx_mvault_measure.nx nx_mvault_caption.nx nx_mvault_caption_gate.nx

imports: nx_syscalls.nxnx_mvault_tag.nxnx_mvault_measure.nxnx_mvault_caption.nx

imported by: nobody (leaf or entry point)

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

main 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 ↻ mv_ratio_str mv_u_dec sys_mmap ↻ mv_meas_make mv_leg_str mv_u_dec ↻ mv_tag_make mv_caption_make mv_capmode_str mv_cap_put sys_mmap ↻ mv_cap_kp cp_cat mv_cap_idxkey mv_cap_kp ↻ cp_cat ↻ reg_put reg_put_x sts_lock sts_mm sys_mmap ↻ sts_werr sys_exit ↻ ss_cat

structs

none

consts

none

functions

11func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
12func streq_n(a: *u8, alen: i64, b: *u8, blen: i64) -> i64
called by 1: main
19func main(argc: i64, argv: *i64) -> i64