code wiki / _hdl_build / nx_capaxes_derive_test.nx

nx_capaxes_derive_test.nx

buildroot/runtime/_hdl_build/nx_capaxes_derive_test.nx

1357 B34 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic capaxes
docsdependenciesstructsconstsfunctions

about

nx_capaxes_derive_test.nx -- runs the axis-derivation and prints its rock list. Exists for the same reason as nx_rebuild_plan_test: /api/gate_run is the only on-demand exec route and it admits VERIFIERS ONLY (name ends gate|test|kat) -- which is exactly what makes it never-brick. A new MCP tool needs a client reconnect before a stub exists, so a thin verifier is the sanctioned way to run a non-verifier organ in the session that built it. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 1 imports · 0 importers

nx_tool_run.nx nx_capaxes_derive_test.nx

imports: nx_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 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 cdt_w

structs

none

consts

9const CDT_CAP: i64 = 262144
10const CDT_ELF: *u8 = "/volume1/homes/elderwesto/nishihost/nx_capaxes_derive.elf" as *u8

functions

12func cdt_w(s: *u8)
called by 1: main
18func main(argc: i64, argv: *i64) -> i64
calls 2: tr_run1cdt_w