code wiki / _hdl_build / nx_seat_hub_gate.nx

nx_seat_hub_gate.nx

buildroot/runtime/_hdl_build/nx_seat_hub_gate.nx

6402 B135 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic seat
docsdependenciesstructsconstsfunctions

about

nx_seat_hub_gate.nx -- GATE for the S2b hub-frame wrapper (5 teeth, 3 negative controls). PREREQ: stage first: _offc/nx_seat_hub.elf + _offc/nx_fix_echo.elf. Run from nxc2 root. The wrapper is judged OFFLINE against controlled bodies (nx_fix_echo stands in for nx_mcp_call; hubconf mcpelf= points at it, capfile= is a dummy) -- the LIVE hub tooth is a separate one-shot run (network gates flake; live proof is banked, not gated). SELF-EXEC CHAIN (one wrapper fork per process): argv = [self] [stage] [pass]. Teeth: T1 checkin HELD accepted | T2 NEG checkin CONTENDED refused | T3 NEG garbage/empty body refused | T4 checkout done=1 accepted | T5 NEG checkout marker-absent refused. Verdict: NX-SEAT-HUB-GATE pass=N/5 verdict=GREEN|RED (exit 0 iff 5/5). license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 4 imports · 0 importers

nx_seat_drive_lib.nx nx_seg_store.nx nx_deploy_lib.nx nx_syscalls.nx nx_seat_hub_gate.nx

imports: nx_seat_drive_lib.nxnx_seg_store.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 hg_atoi ss_writefile sys_openat_wr sys_write sys_close sys_fsync hg_len hg_run sys_mmap dep_run_capture sys_fork sys_openat_wr ↻ sys_dup3 sys_mmap ↻ sys_execve_clean sys_close ↻ sys_execve sys_exit sys_wait4 sd_w sys_write ↻ sys_mmap ↻ hg_itoa sys_mmap ↻ sys_exit ↻ sys_execve ↻

structs

none

consts

none

functions

16func hg_atoi(s: *u8) -> i64
called by 1: main
27func hg_itoa(dst: *u8, v: i64) -> i64
called by 1: main calls 1: sys_mmap
39func hg_len(s: *u8) -> i64
called by 1: main
46func hg_run(confp: *u8, outp: *u8) -> i64
called by 1: main calls 2: sys_mmapdep_run_capture
54func main(argc: i64, argv: *i64) -> i64