code wiki / _hdl_build / nx_ecomat_evprobe.nx
nx_ecomat_evprobe.nx
buildroot/runtime/_hdl_build/nx_ecomat_evprobe.nx
about
nx_ecomat_evprobe.nx -- DOES EACH DOMAIN'S EVIDENCE POINTER ACTUALLY MATCH ITS LOG?
★WHY (measured 2026-08-07). A domain's grade is live-derived by scanning its evidence log for its
declared pattern. em_derive_level matches those bytes EXACTLY. When the pattern's CASE is wrong the
scan finds nothing and the derive returns TOY(1) -- and TOY is indistinguishable, in every report
downstream, from a real measurement of a genuinely immature domain.
CAUGHT LIVE: lab-science declared "verdict=" while knowledge/status/labsci_gate.log emits
"VERDICT=GREEN checks=13 passed=13 permil=1000". A domain scoring 13/13 at permil=1000 was being
published as TOY, and the ecosystem headline carried that number.
★A CONSTANT WEARING THE SHAPE OF A MEASUREMENT IS WORSE THAN A BLANK: a blank would have shown up
as DANGLING and been chased. This showed up as a grade.
So: for EVERY domain and BOTH evidence slots, report whether the declared pattern is actually
PRESENT in the declared log -- and when it is absent, say whether a CASE-VARIANT of it is present,
which is the difference between "this gate has not run" and "your pattern is misspelled".
Full population, never a sample: every domain, every declared slot, counts printed.
nx_ecomat_evprobe [store_prefix]
exit: 0 all declared pointers MATCH | 1 at least one ABSENT | 2 store empty/missing
license_tier: ORIGINAL expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_ecomat_lib.nxnx_syscalls.nxnx_gate_verdict_lib.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
| 40 | const EV_STALE_DAYS_DEFAULT: i64 = 7 // = evidence_policy.conf ttl_sec (604800s). argv[2] overrides. |
| 41 | const EV_EXIT_ABSENT: i64 = 1 |
| 42 | const EV_EXIT_NOSTORE: i64 = 2 |
| 43 | const EV_LOWER_DELTA: i64 = 32 // 'a' - 'A' |
| 44 | const EV_UPPER_A: i64 = 65 |
| 45 | const EV_UPPER_Z: i64 = 90 |
functions
| 47 | func ev_tolower(c: i64) -> i64 called by 1: ev_contains_ci |
| 56 | func ev_atoi(s: *u8) -> i64 called by 1: main |
| 71 | func ev_contains_ci(buf: *u8, n: i64, pat: *u8) -> i64 |
| 90 | func ev_slot(dom: *u8, slot: i64, evkind: i64, evlog: *u8, evpat: *u8, cnt: *i64) -> i64 |
| 135 | func main(argc: i64, argv: *i64) -> i64 |