code wiki / _hdl_build / nx_capgraph_selfcheck.nx

nx_capgraph_selfcheck.nx

buildroot/runtime/_hdl_build/nx_capgraph_selfcheck.nx

3329 B79 linesdepth 5pulls 6 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 nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ tr_run_capture sys_mmap ↻ sys_pipe2 sys_fork sys_close sys_dup3 sys_execve_clean sys_close_inherited sys_close_inherited_proc sys_execve tr_exec_failed sys_write ↻ sys_exit ↻ sys_read sys_wait4 wait_status_rc wait_term_signal wait_exit_code go_puts ↻

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