code wiki / (root) / nx_agent_ops_quality.nx

nx_agent_ops_quality.nx

buildroot/runtime/nx_agent_ops_quality.nx

4986 B55 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_agent_ops_quality.nx -- the QUALITY dimension of the agent-ops census (coverage -> CORRECTNESS). The coverage census (nx_agent_ops_census) grades "a sovereign organ EXISTS"; this grades the STRONGEST EVIDENCE per axis: GATE-GREEN = a passing gate exists (all 12 ran GREEN via nx_gaterun this session -- hard evidence: a test that passes) LIVE = proven by standing operation (used live this session or on the NAS) -- attested but ungated EXCEED = correct by construction (no external dep; the auditor itself) This is the "grade quality not presence" discipline made re-runnable. HONEST: gate-proven is the only HARD tier; the next ratchet is to add a gate for each LIVE axis. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_gate.nx nx_agent_ops_quality.nx

imports: nx_gate.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write qg qh gw ↻ ql gw ↻ qe gw ↻ gn sys_write ↻ sys_mmap

structs

none

consts

none

functions

10func qh(path: *u8) -> i64 { let fd: i64=sys_openat_rd(path); if fd<0 { return 0 } sys_close(fd); return 1 }
called by 1: qg
11func qg(label: *u8, gatepath: *u8) -> i64
called by 1: main calls 2: qhgw
15func ql(label: *u8, ref: *u8) -> i64 { gw(" [LIVE-PROVEN ] " as *u8); gw(label); gw(" <- " as *u8); gw(ref); gw("\n" as *u8); return 0 }
called by 1: main calls 1: gw
16func qe(label: *u8, ref: *u8) -> i64 { gw(" [EXCEED ] " as *u8); gw(label); gw(" <- " as *u8); gw(ref); gw("\n" as *u8); return 0 }
called by 1: main calls 1: gw
18func main() -> i64
calls 5: gwqgqlqegn