code wiki / _hdl_build / nx_capgraph_selfcheck.nx

nx_capgraph_selfcheck.nx

buildroot/runtime/_hdl_build/nx_capgraph_selfcheck.nx

3329 B79 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind tooltopic capgraph
docsdependenciesstructsconstsfunctions

about

nx_capgraph_selfcheck.nx -- runs nx_gateverify over EVERY gate in this lane and refuses to pass unless all of them AGREE. WHY: for the last several rounds I confirmed "all five gates GREEN and AGREE" with an ad-hoc shell loop typed fresh each time. That is precisely the component this session proved least reliable -- my own verification patterns accused seven innocent gates, missed a tooth-helper name, and twice mis-counted correct output. ★A CHECK I RETYPE EACH TIME IS A CHECK THAT WILL EVENTUALLY BE TYPED WRONG, and it leaves no artifact anyone else can re-run. AGREE is a strictly stronger claim than GREEN: GREEN says the teeth passed, AGREE says the LEDGER can be trusted to say so -- and the ledger is what every ruler reads. nx_capgraph_selfcheck exit 0 = all AGREE · 1 = at least one gate's record cannot be trusted license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_gateorder_lib.nx nx_tool_run.nx nx_capgraph_selfcheck.nx

imports: nx_gateorder_lib.nxnx_tool_run.nx

imported by: nobody (leaf or entry point)

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

main go_puts sys_write go_strlen sc_one tr_run1 sys_mmap tr_run_capture sys_mmap ↻ sys_pipe2 sys_fork sys_close sys_dup3 sys_execve_clean sys_close ↻ sys_execve sys_exit sys_read sys_wait4 wait_exit_code go_puts ↻ go_first go_match_at go_strlen ↻ go_kv go_puts ↻ go_puti sys_mmap ↻ sys_write ↻

structs

none

consts

18const SC_CAP: i64 = 262144
19const SC_VERIFY: *u8 = "/volume1/homes/elderwesto/nishihost/nx_gateverify.elf" as *u8

functions

26func sc_one(name: *u8)
called by 1: main calls 3: tr_run1go_putsgo_first
58func main(argc: i64, argv: *i64) -> i64