code wiki / (root) / nx_evidence_fleet_t138.nx

nx_evidence_fleet_t138.nx

buildroot/runtime/nx_evidence_fleet_t138.nx

23306 B411 linesdepth 6pulls 8 transitivereach 2 importersview sourcekind tooltopic evidence
docsdependenciesstructsconstsfunctions

about

nx_evidence_fleet.nx -- THE CENSUS-OF-CENSUSES HONESTY ROLLUP (operator 2026-07-10: "review again everything and make sure our wiring of our systems is showing us a more real census iteratively so we can really get to state of the art"). Every /compare/<domain> matrix publishes a coverage number, but a number is only as real as its EVIDENCE: a domain with a <domain>.gates file has its capabilities FORKED-and-proven-GREEN by nx_swcompare_evidence; a domain WITHOUT one is symbol-presence only (the weakest tier -- the code exists on disk, unverified it works or is wired). This organ walks knowledge/compare/, and for every head-to-head census (<domain>.matrix) reports EVIDENCE-BACKED (has .gates, N executable gates) vs SYMBOL-ONLY, and the FLEET HONESTY permille = evidence-backed / total. It names exactly which domains still need a .gates file = the rollout worklist. Read-only. See [[feedback-census-evidence-backed-not-symbol-presence]]. license_tier: ORIGINAL

dependencies 3 imports · 2 importers

nx_syscalls.nx nx_evprofile_lib.nx nx_fio.nx nx_evidence_fleet_t138.nx nx_evidence_fleet_gate_t138.nx nx_evidence_fleet_run_t138.nx

imports: nx_syscalls.nxnx_evprofile_lib.nxnx_fio.nx

imported by: nx_evidence_fleet_gate_t138.nxnx_evidence_fleet_run_t138.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

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

functions

21func 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
22func ef_wn(v0: i64) -> i64
called by 2: ef_runmain calls 2: sys_writesys_mmap
28func ef_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 8: efpg_fieldef_endsef_findef_claimweightefp_writeefp_path+2
29func ef_ends(name: *u8, nl: i64, suf: *u8) -> i64
called by 2: ef_runefp_progression calls 1: ef_slen
33func 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
35func ef_gate_rows(path: *u8) -> i64
called by 1: ef_run calls 4: sys_openat_rdsys_mmapsys_readsys_close
52func ef_run(st: *i64, verbose: i64) -> i64
called by 1: main calls 8: sys_openat_rdsys_mmapsys_getdents64ef_endsef_gate_rowsef_w+2
94func ef_find(buf: *u8, from: i64, to: i64, needle: *u8) -> i64
called by 1: ef_claimweight calls 1: ef_slen
104func ef_claimweight(st: *i64) -> i64
called by 1: main calls 7: sys_mmapsys_openat_rdsys_readsys_closeef_findef_slen+1
155func efp_write(s:*u8)->i64
called by 6: mainefp_numefp_jsonefp_progressionefp_capturemain calls 2: ef_slensys_write
160func efp_num(v:i64)->i64
called by 2: efp_progressionefp_capture calls 3: sys_mmap_sharedefp_writesys_munmap
171func efp_json(s:*u8)->i64
called by 2: efp_hexefp_progression calls 3: efp_writesys_mmap_sharedsys_munmap
184func efp_hex(d:*u8)->i64
called by 2: mainefp_progression calls 3: sys_mmap_sharedefp_jsonsys_munmap
190func efp_path(dir:*u8,pre:*u8,dom:*u8,suf:*u8)->*u8
called by 1: efp_progression calls 3: ef_slensys_mmap_sharedevp_cat
197func 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
200func efp_snapshot(path:*u8,mode:i64,out:*i64,digest:*u8)->i64
called by 2: mainefp_progression calls 6: sys_mmap_sharedfio_region_initfio_region_openfio_region_nextfio_region_closesys_munmap
240func efp_field(buf:*u8,n:i64,key:*u8,pair:i64,out:*i64)->i64
called by 2: efpg_fieldefp_stamp calls 1: ef_slen
268func efp_stamp(path:*u8,now:i64,f:*i64,digest:*u8)->i64
called by 2: mainefp_progression calls 7: sys_mmap_sharedfio_region_initfio_region_opensys_munmapfio_region_closefio_region_next+1
302func 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
374func efp_capture(matrixdir:*u8,gatedir:*u8,statusdir:*u8,path:*u8)->i64
called by 3: mainmainmain calls 9: sys_openat_exclusiveefp_writeefp_numefp_progressionsys_fsyncsys_close+3
388func main(argc: i64, argv: *i64) -> i64
calls 9: evp_streqefp_captureefp_writeefp_progressionsys_mmapef_w+3