code wiki / _hdl_build / nx_survey_evidence_gate.nx

nx_survey_evidence_gate.nx

buildroot/runtime/_hdl_build/nx_survey_evidence_gate.nx

10930 B209 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic survey
docsdependenciesstructsconstsfunctions

about

nx_survey_evidence_gate.nx -- the EVIDENCE-DRIVEN METRICS gate (operator 2026-07-10: "dont just make up metrics we are evidence driven use proven evidence as of 25 26 that the feedback and questions will help us identify quantitative and qualitative areas of improvement"). The nx_connect_h2h_exceed keystone applied to METRIC SELECTION: a shipped analytic is EVIDENCED only when (a) its implementation symbol exists in runtime/nx_survey_stats.nx on disk, AND (b) a VERBATIM needle from the corresponding banked 2024-2026 corpus (knowledge/library/swc_svy_*.txt, fetched keyless from OpenAlex over sovereign TLS) is found in the banked bytes -- real literature tying that metric/question class to identifying improvement areas. Three verdict classes per row: EVIDENCED symbol present + needle present (we ship it, the field backs it) EVIDENCED-GAP symbol ABSENT + needle present (the field says it matters; our honest build list -- the evidence itself ranks the roadmap: attention checks, LLM text coding) REJECTED needle absent (fabricated citation -> the row DIES; the neg-control proves this fires) Exits 0 iff every real row lands its declared class AND the fabricated row is REJECTED. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_survey_evidence_gate.nx

imports: nx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap ep sys_write eread sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close erow sys_mmap ↻ eread ↻ ehas eslen ep ↻ en ep ↻ sys_mmap ↻ sys_write ↻ en ↻

structs

none

consts

none

functions

18func ep(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 3: enerowmain calls 1: sys_write
19func en(v: i64) -> i64
called by 2: erowmain calls 3: epsys_mmapsys_write
32func eslen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: ehas
34func eread(path: *u8, szp: *i64) -> *u8
50func ehas(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: erow calls 1: eslen
66func erow(label: *u8, bank: *u8, needle: *u8, src: *u8, srcn: i64, sym: *u8, expect: i64, st: *i64) -> i64
called by 1: main calls 5: sys_mmapereadehasepen
96func main() -> i64