code wiki / _hdl_build / nx_gaterigor.nx

nx_gaterigor.nx

buildroot/runtime/_hdl_build/nx_gaterigor.nx

6460 B147 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_gaterigor.nx -- "DID WE BUILD JUNK" AUDITOR (operator 2026-07-21: "darpa level evaluation... so itd pass nasa or darpa or any other sota org"). Applies the standards-body principle -- A TEST THAT CANNOT FAIL PROVES NOTHING (DO-178C structural coverage / NASA IV&V / the liar-kill doctrine) -- to OUR OWN verification layer. Scans *_gate.nx files and grades each: RIGOROUS if it shows evidence of a NEGATIVE CONTROL or MUTATION proof (a tooth that expects FAILURE), else VACUOUS = junk confidence (a green means nothing if the gate can't go red). Static heuristic (marker scan); the strong form dynamically mutates + re-runs (filed rung). Rolls up a fleet RIGOR gauge. argv: <dir> [dir2...] Report: VACUOUS <gatefile> (each gate with NO neg-control evidence), then NX-GATERIGOR gates=G rigorous=R vacuous=V rigor_permil=<g> exit 0 = ran. Deterministic. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

nx_seat_drive_lib.nx nx_deploy_lib.nx nx_syscalls.nx nx_gaterigor.nx

imports: nx_seat_drive_lib.nxnx_deploy_lib.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sd_w sys_write sys_exit sys_mmap sys_openat_rd sys_getdents64 dirent_type dirent_name gr_ends_gate sys_read sys_close gr_rigorous gr_has dirent_reclen sd_num sys_mmap ↻

structs

none

consts

15const GR_MAGIC_262144: i64 = 262144
16const GR_MAGIC_1024: i64 = 1024
18const GR_FILECAP: i64 = 2097152

functions

20func gr_ends_gate(nm: *u8) -> i64
called by 1: main
37func gr_has(buf: *u8, n: i64, lit: *u8) -> i64
called by 1: gr_rigorous
55func gr_rigorous(buf: *u8, n: i64) -> i64
called by 1: main calls 1: gr_has
72func main(argc: i64, argv: *i64) -> i64