code wiki / _hdl_build / nx_ecomat_evprobe.nx

nx_ecomat_evprobe.nx

buildroot/runtime/_hdl_build/nx_ecomat_evprobe.nx

11264 B211 linesdepth 9pulls 18 transitivereach 0 importersview sourcekind tooltopic ecomat
docsdependenciesstructsconstsfunctions

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

nx_ecomat_lib.nx nx_syscalls.nx nx_gate_verdict_lib.nx nx_ecomat_evprobe.nx

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

main _p el_len sys_write ss_open ss_open2 ss_open3 sys_now_us sys_mmap nxa_die nxa_lock_take nxa_lock_give nxa_report_overrun sys_clock_gettime_mono sys_mmap ↻ ss_manifest_dyn ss_manifest_file_dyn sys_mmap ↻ ss_cat ss_readall sys_munmap ss3_admit ss3_ann sys_mmap ↻ ss_cat ↻ ss_catn sys_write ↻ sys_munmap ↻ sys_now_us ↻ ss3_streq ss3_docs_size sys_mmap ↻ ss_cat ↻ sys_fstatat sys_munmap ↻ ss3_load_range ss_cat ↻ ss_loadfile sys_map_file ss_readall ↻

structs

none

consts

40const EV_STALE_DAYS_DEFAULT: i64 = 7 // = evidence_policy.conf ttl_sec (604800s). argv[2] overrides.
41const EV_EXIT_ABSENT: i64 = 1
42const EV_EXIT_NOSTORE: i64 = 2
43const EV_LOWER_DELTA: i64 = 32 // 'a' - 'A'
44const EV_UPPER_A: i64 = 65
45const EV_UPPER_Z: i64 = 90

functions

47func ev_tolower(c: i64) -> i64
called by 1: ev_contains_ci
56func ev_atoi(s: *u8) -> i64
called by 1: main
71func ev_contains_ci(buf: *u8, n: i64, pat: *u8) -> i64
called by 1: ev_slot calls 2: el_lenev_tolower
90func ev_slot(dom: *u8, slot: i64, evkind: i64, evlog: *u8, evpat: *u8, cnt: *i64) -> i64
135func main(argc: i64, argv: *i64) -> i64