nx_swcompare_evidence.nx
buildroot/runtime/nx_swcompare_evidence.nx
about
nx_swcompare_evidence.nx -- the EVIDENCE layer under the SoftwareCompare matrices. Operator 2026-07-10:
"compare ... doesnt provide evidence for all the capabilities we claim and generate those autonomously".
For a <domain> this organ AUTONOMOUSLY produces two kinds of evidence and LIAR-KILLS a bare claim:
(1) GROUNDING -- for every claimed-present axis in <domain>.matrix, it OPENS the named organ source on
disk, finds the implementing symbol, and captures the ACTUAL source LINE + occurrence count. A claim
whose symbol is NOT in its named file = UNGROUNDED -> RED (mechanically catches a fabricated cell).
(2) EXECUTED PROOF -- it FORKS each gate in <domain>.gates (a real self-testing elf), captures its live
"pass=N/M ... GREEN" verdict + exit code. Not a stored number: the gate RUNS every time.
Modes: no-arg = console + liar-kill gate (exit 0/1); "json" = evidence JSON; "html" = the evidence page.
Liar-kill: every PRESENT/Yes/Best/Part axis grounded, EVERY declared gate GREEN (quorum -- see below), a
NEG-CONTROL bogus symbol NOT found. NOTE: no '#'/'!' in string literals (nx_cc trap) -> rgb() + emit those
bytes. license_tier: ORIGINAL
2026-07-30 QUORUM CORRECTION: this header used to read ">=1 executed gate GREEN", and the code matched it.
That was the defect, not a typo -- one green gate out of five stamped a whole domain PROVEN. The rule now
comes from the shared evidence law (nx_evidence_verdict.nx) so no future reader can re-loosen it locally.
dependencies 5 imports · 0 importers
imports: nx_syscalls.nxnx_evidence_verdict.nxnx_sha256.nxnx_artifact_root.nxnx_guarded_run.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 22 | const EV_MAGIC_8192: i64 = 8192 |
| 23 | const EV_MAGIC_4096: i64 = 4096 |
| 24 | const EV_MAGIC_4095: i64 = 4095 |
| 25 | const EV_MAGIC_604800: i64 = 604800 |
| 26 | const EV_MAGIC_8388608: i64 = 8388608 |
| 27 | const EV_MAGIC_1024: i64 = 1024 |
| 28 | const EV_MAGIC_65536: i64 = 65536 |
| 29 | const EV_MAGIC_2097152: i64 = 2097152 |
| 30 | const EV_MAGIC_16384: i64 = 16384 |
| 31 | const EV_MAGIC_12345: i64 = 12345 |
| 313 | const EV_GR_DEADLINE_MS: i64 = 120000 |
| 314 | const EV_GR_DEADLINE_MIN: i64 = 1000 |
| 315 | const EV_GR_DEADLINE_CONF: *u8 = "knowledge/status/evidence_gate_deadline.conf" |
| 347 | const EV_GR_OVR_CONF: *u8 = "knowledge/status/evidence_gate_deadline_overrides.conf" |
functions
| 54 | func ev_bite_fold(elf: *u8) -> i64 called by 1: ev_gates calls 6: sys_mmapev_readev_find_lineev_num_aftersys_now_realtime_secev_ttl_sec |
| 94 | func ev_num_after(buf: *u8, n: i64, key: *u8, kl: i64) -> i64 |
| 115 | func ev_ttl_sec() -> i64 |
| 129 | func ev_resolve(inp: *u8, out: *u8) -> i64 { return ar_resolve(inp, out) } |
| 133 | func ev_prov_fold(elf: *u8) -> i64 |
| 147 | func w(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 } |
| 148 | func wc(fd: i64, code: i64) -> i64 { let t: *u8 = sys_mmap(2); t[0] = code as u8; sys_write(fd, t, 1); return 0 } |
| 149 | func wn(fd: i64, v: i64) -> i64 |
| 155 | func wj(fd: i64, s: *u8) -> i64 |
| 162 | func wq(fd: i64) -> i64 { wc(fd, 34); return 0 } |
| 163 | func kv_s(fd: i64, key: *u8, val: *u8) -> i64 { wq(fd); w(fd, key); wq(fd); wc(fd, 58); wq(fd); wj(fd, val); wq(fd); return 0 } |
| 164 | func kv_n(fd: i64, key: *u8, v: i64) -> i64 { wq(fd); w(fd, key); wq(fd); wc(fd, 58); wn(fd, v); return 0 } |
| 165 | func streq(a: *u8, b: *u8) -> i64 { var i: i64 = 0; while a[i] != (0 as u8) { if a[i] != b[i] { return 0 } i = i + 1 } if b[i] != (0 as u8) { return 0 } return 1 } |
| 166 | func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 168 | func ev_read(path: *u8, buf: *u8, cap: i64) -> i64 called by 7: ev_bite_foldev_ttl_secev_prov_foldev_scanev_gatesev_write_host+1 calls 3: sys_openat_rdsys_readsys_close |
| 177 | func ev_ident_ch(c: i64) -> i64 called by 1: ev_find_line |
| 185 | func ev_find_line(buf: *u8, n: i64, needle: *u8, cnt: *i64) -> i64 |
| 221 | func ev_line_at(buf: *u8, n: i64, off: i64, dst: *u8, cap: i64) -> i64 called by 1: ev_scan |
| 240 | func ev_num_after_endpos(ob: *u8, on: i64, needle: *u8, endpos: *i64) -> i64 |
| 271 | func ev_parse_pass(ob: *u8, on: i64, outn: *i64, outm: *i64) -> i64 |
| 317 | func ev_gate_deadline_ms() -> i64 |
| 350 | func ev_basename(pth: *u8) -> *u8 called by 1: ev_gate_deadline_for |
| 359 | func ev_gate_deadline_for(elf: *u8) -> i64 |
| 405 | func ev_run(elf: *u8, outpath: *u8) -> i64 called by 1: ev_gates calls 6: sys_mmapev_resolvesys_openat_wrnx_guarded_runev_gate_deadline_forsys_close |
| 444 | func ev_split(line: *u8, ln: i64, fs: *i64, fe: *i64, maxf: i64) -> i64 |
| 454 | func ev_fcopy(line: *u8, s: i64, e: i64, dst: *u8, cap: i64) -> i64 |
| 463 | func ev_scan(domain: *u8, mode: i64, st: *i64) -> i64 |
| 585 | func ev_gates(domain: *u8, mode: i64, ran: *i64, st_out: *i64) -> i64 |
| 701 | func ev_stamp(domain: *u8, ok: i64, grounded: i64, present: i64, green: i64, ran: i64) -> i64 |
| 731 | func ev_write_host(fd: i64) -> i64 |
| 744 | func ev_write_dig(fd: i64) -> i64 |
| 760 | func main(argc: i64, argv: *i64) -> i64 |