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 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 sys_openat_append sts_werr ↻ sys_flock reg_key reg_cat ss_get sys_mmap ↻ ss_scan sys_mmap ↻ ss_manifest_dyn ss_scan_seglist reg_strlen reg_id_present sts_unlock

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