code wiki / _hdl_build / nx_riscv_gate.nx

nx_riscv_gate.nx

buildroot/runtime/_hdl_build/nx_riscv_gate.nx

3849 B61 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic riscv
docsdependenciesstructsconstsfunctions

about

nx_riscv_gate.nx -- SOVEREIGN verifier for the whole RISC-V toolchain. The ECOSYSTEM checks itself: this organ reads the green-only status logs that each riscv organ writes on PASS, and confirms every rung is GREEN. This REPLACES the (banned) shell for-loop/grep -- no bash, no sh, no grep. Pattern reused from the ladder/adversary. T1 all 6 backend rungs have a GREEN status-log: emit, decode, elf, codegen, loop, emu. T2 (teeth) a bogus marker is NOT found (the check is real, not a rubber stamp). expect_exit: 0 Sovereign: nx_riscv_lib (UI) + nx_syscalls.

dependencies 2 imports · 0 importers

nx_riscv_lib.nx nx_syscalls.nx nx_riscv_gate.nx

imports: nx_riscv_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 g_puts sys_write sys_mmap check_log read_file sys_openat_rd sys_read sys_close contains slen g_puts ↻ g_pn nxi_out nxi_fd sys_mmap ↻ ccz_cat_num sys_write ↻ sys_munmap ck g_puts ↻ read_file ↻ contains ↻ sys_openat_append sys_write ↻ sys_close ↻ sys_exit

structs

none

consts

none

functions

10func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 1: contains
11func read_file(path: *u8, buf: *u8, cap: i64) -> i64
called by 2: check_logmain calls 3: sys_openat_rdsys_readsys_close
17func contains(buf: *u8, n: i64, needle: *u8) -> i64
called by 2: check_logmain calls 1: slen
23func check_log(path: *u8, marker: *u8, buf: *u8, cap: i64) -> i64
called by 1: main calls 3: read_filecontainsg_puts
30func main() -> i64
calls 11: g_putssys_mmapcheck_logg_pnckread_file+5