code wiki / (root) / nx_sreach_scorecard.nx

nx_sreach_scorecard.nx

buildroot/runtime/nx_sreach_scorecard.nx

6928 B116 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind tool

docs dependencies structs consts functions

about

nx_sreach_scorecard.nx -- the SEARCH lane's S-CLASS-EXCEED scorecard, GATE-DERIVED (Auditor verb: GRADE; the B0 evidence-driven-assessment law: a grade is the LAST verdict of a re-runnable gate, never an assertion). module: nishi-core.search.sreach_scorecard capability: GRADER + EVIDENCE Two layers, kept honest and separate: RUNGS -- every shipped SREACH rung graded from its own gate log's LAST verdict row (stale log = RED, claim without fresh gate). GAPS -- the NAMED remaining work between "policy-layer exceed, gated" and FULL-FIELD S-CLASS EXCEED. A gap is never hidden by a green scorecard; the verdict prints both layers. Durable row -> knowledge/status/sreach_scorecard.log (examinable).

dependencies 3 imports · 0 importers

imports: nx_str.nxnx_syscalls.nxnx_gate_green.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

none

functions

20	func scp(s: *u8) -> i64 { sys_write(1, s, nx_str_len(s)); return 0 } called by 3: sc_row sc_gap main calls 2: sys_write nx_str_len
21	func scn(v: i64) -> i64 called by 1: main calls 2: sys_write sys_mmap
29	func scf(fd: i64, s: *u8) -> i64 { sys_write(fd, s, nx_str_len(s)); return 0 } called by 3: sc_row sc_gap main calls 2: sys_write nx_str_len
30	func scfn(fd: i64, v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
44	func sc_row(lfd: i64, name: u8, path: u8, anchor: u8, pat: u8, acc: *i64) -> i64 called by 1: main calls 3: gg_gate_green scp scf
55	func sc_gap(lfd: i64, name: u8, why: u8) -> i64 called by 1: main calls 2: scp scf
61	func main() -> i64 calls 11: scp sys_openat_append sys_exit scf scfn sys_now_realtime_sec+5