code wiki / (root) / nx_evidence_fleet.nx

nx_evidence_fleet.nx

buildroot/runtime/nx_evidence_fleet.nx

22961 B410 linesdepth 6pulls 8 transitivereach 2 importersview sourcekind tooltopic evidence
docsdependenciesstructsconstsfunctions

about

nx_evidence_fleet.nx -- existing Compare fleet evidence collector. Legacy mode counts declared gate maps; it does not execute gates or validate current artifacts. progression <matrix-dir> <gates-dir> <status-dir> [exclusive-output.json] reports scoped input identities, declarations, retained execution records, age and explicit unknown binding. Observation inputs are read-only. Optional output creates one new exclusive snapshot file and checks file/directory durability; an existing path is refused without replacement. No universal chaos score, freshness pass threshold or served-acceptance inference. license_tier: ORIGINAL

dependencies 3 imports · 2 importers

nx_syscalls.nx nx_evprofile_lib.nx nx_fio.nx nx_evidence_fleet.nx nx_evidence_fleet_canonical_gate_t nx_evidence_fleet_gate.nx

imports: nx_syscalls.nxnx_evprofile_lib.nxnx_fio.nx

imported by: nx_evidence_fleet_canonical_gate_t138.nxnx_evidence_fleet_gate.nx

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

main evp_streq efp_capture sys_openat_exclusive efp_write ef_slen sys_write efp_num sys_mmap_shared efp_write ↻ sys_munmap efp_progression sys_now_realtime_sec 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 nxa_dump_sizes sys_clock_gettime_real sys_openat_directory efp_write ↻ efp_num ↻ sys_mmap_shared ↻ sys_close efp_json efp_write ↻ sys_mmap_shared ↻ sys_munmap ↻ sys_getdents64 ef_ends ef_slen ↻ efp_path

structs

none

consts

12const EF_MAGIC_65536: i64 = 65536
13const EF_MAGIC_65535: i64 = 65535
14const EF_MAGIC_131072: i64 = 131072
15const EF_MAGIC_262144: i64 = 262144
16const EF_MAGIC_262143: i64 = 262143
18const EF_DIR: *u8 = "knowledge/compare"

functions

20func ef_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: ef_runmain calls 1: sys_write
21func ef_wn(v0: i64) -> i64
called by 2: ef_runmain calls 2: sys_writesys_mmap
27func ef_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 8: ef_endsef_findef_claimweightefp_writeefp_pathefp_release_path+2
28func ef_ends(name: *u8, nl: i64, suf: *u8) -> i64
called by 2: ef_runefp_progression calls 1: ef_slen
32func ef_exists(path: *u8) -> i64 { let fd: i64=sys_openat_rd(path); if fd<0{return 0} sys_close(fd); return 1 }
called by 1: ef_claimweight calls 2: sys_openat_rdsys_close
34func ef_gate_rows(path: *u8) -> i64
called by 2: ef_runmain calls 4: sys_openat_rdsys_mmapsys_readsys_close
51func ef_run(st: *i64, verbose: i64) -> i64
called by 2: mainmain calls 8: sys_openat_rdsys_mmapsys_getdents64ef_endsef_gate_rowsef_w+2
93func ef_find(buf: *u8, from: i64, to: i64, needle: *u8) -> i64
called by 1: ef_claimweight calls 1: ef_slen
103func ef_claimweight(st: *i64) -> i64
called by 2: mainmain calls 7: sys_mmapsys_openat_rdsys_readsys_closeef_findef_slen+1
154func efp_write(s:*u8)->i64
called by 6: efp_numefp_jsonefp_progressionefp_capturemainmain calls 2: ef_slensys_write
159func efp_num(v:i64)->i64
called by 2: efp_progressionefp_capture calls 3: sys_mmap_sharedefp_writesys_munmap
170func efp_json(s:*u8)->i64
called by 2: efp_hexefp_progression calls 3: efp_writesys_mmap_sharedsys_munmap
183func efp_hex(d:*u8)->i64
called by 2: efp_progressionmain calls 3: sys_mmap_sharedefp_jsonsys_munmap
189func efp_path(dir:*u8,pre:*u8,dom:*u8,suf:*u8)->*u8
called by 1: efp_progression calls 3: ef_slensys_mmap_sharedevp_cat
196func efp_release_path(p:*u8)->i64 {if (p as i64)>0 {return sys_munmap(p,ef_slen(p)+1)};return 0}
called by 1: efp_progression calls 2: sys_munmapef_slen
199func efp_snapshot(path:*u8,mode:i64,out:*i64,digest:*u8)->i64
called by 2: efp_progressionmain calls 6: sys_mmap_sharedfio_region_initfio_region_openfio_region_nextfio_region_closesys_munmap
239func efp_field(buf:*u8,n:i64,key:*u8,pair:i64,out:*i64)->i64
called by 2: efp_stampefpg_field calls 1: ef_slen
267func efp_stamp(path:*u8,now:i64,f:*i64,digest:*u8)->i64
called by 2: efp_progressionmain calls 7: sys_mmap_sharedfio_region_initfio_region_opensys_munmapfio_region_closefio_region_next+1
301func efp_progression(matrixdir:*u8,gatedir:*u8,statusdir:*u8)->i64
called by 2: efp_capturemain calls 15: sys_now_realtime_secsys_openat_directoryefp_writeefp_numsys_mmap_sharedsys_close+9
373func efp_capture(matrixdir:*u8,gatedir:*u8,statusdir:*u8,path:*u8)->i64
called by 2: mainmain calls 9: sys_openat_exclusiveefp_writeefp_numefp_progressionsys_fsyncsys_close+3
387func main(argc: i64, argv: *i64) -> i64
calls 9: evp_streqefp_captureefp_writeefp_progressionsys_mmapef_w+3