code wiki / (root) / nx_evidence_fleet.nx

nx_evidence_fleet.nx

buildroot/runtime/nx_evidence_fleet.nx

9727 B170 linesdepth 2pulls 2 transitivereach 1 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 1 imports · 1 importers

nx_syscalls.nx nx_evidence_fleet.nx nx_evidence_fleet_gate.nx

imports: nx_syscalls.nx

imported by: nx_evidence_fleet_gate.nx

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

main sys_mmap ef_w sys_write ef_run sys_openat_rd sys_mmap ↻ sys_getdents64 ef_ends ef_slen ef_gate_rows sys_openat_rd ↻ sys_mmap ↻ sys_read sys_close ef_w ↻ ef_wn sys_write ↻ sys_mmap ↻ sys_close ↻ ef_wn ↻ ef_claimweight sys_mmap ↻ sys_openat_rd ↻ sys_read ↻ sys_close ↻ ef_find ef_slen ↻ ef_slen ↻ ef_exists sys_openat_rd ↻ sys_close ↻

structs

none

consts

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

functions

19func 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
20func ef_wn(v0: i64) -> i64
called by 2: ef_runmain calls 2: sys_writesys_mmap
26func ef_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 3: ef_endsef_findef_claimweight
27func ef_ends(name: *u8, nl: i64, suf: *u8) -> i64
called by 1: ef_run calls 1: ef_slen
31func 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
33func ef_gate_rows(path: *u8) -> i64
called by 2: ef_runmain calls 4: sys_openat_rdsys_mmapsys_readsys_close
50func ef_run(st: *i64, verbose: i64) -> i64
called by 2: mainmain calls 8: sys_openat_rdsys_mmapsys_getdents64ef_endsef_gate_rowsef_w+2
92func ef_find(buf: *u8, from: i64, to: i64, needle: *u8) -> i64
called by 1: ef_claimweight calls 1: ef_slen
102func ef_claimweight(st: *i64) -> i64
called by 2: mainmain calls 7: sys_mmapsys_openat_rdsys_readsys_closeef_findef_slen+1
149func main(argc: i64, argv: *i64) -> i64
calls 5: sys_mmapef_wef_runef_wnef_claimweight