code wiki / (root) / nx_mvault_measure_gate.nx

nx_mvault_measure_gate.nx

buildroot/runtime/nx_mvault_measure_gate.nx

2631 B71 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic mvault
docsdependenciesstructsconstsfunctions

about

nx_mvault_measure_gate.nx -- proves the NishiCaption-grade measurement atom: lossless regressor + enum readings with source-leg + confidence, training keep-threshold, round-trip variance, caption emit modes. run-exit == 0 means GREEN.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_mvault_measure.nx nx_mvault_measure_gate.nx

imports: nx_syscalls.nxnx_mvault_measure.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 ↻ streq mv_meas_make mv_leg_str mv_u_dec ↻ mv_leg_str ↻ mv_meas_keep mv_meas_variance mv_caption_make mv_capmode_str mv_capmode_str ↻ sys_write

structs

none

consts

none

functions

9func streq(a: *u8, b: *u8) -> i64
called by 1: main
19func main(argc: i64, argv: *i64) -> i64
calls 10: sys_mmapmv_ratio_strstreqmv_meas_makemv_leg_strmv_meas_keep+4