code wiki / _hdl_build / nx_seat_hub_gate.nx
nx_seat_hub_gate.nx
buildroot/runtime/_hdl_build/nx_seat_hub_gate.nx
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
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
structs
| none |
consts
| none |
functions
| 16 | func hg_atoi(s: *u8) -> i64 called by 1: main |
| 27 | func hg_itoa(dst: *u8, v: i64) -> i64 |
| 39 | func hg_len(s: *u8) -> i64 called by 1: main |
| 46 | func hg_run(confp: *u8, outp: *u8) -> i64 |
| 54 | func main(argc: i64, argv: *i64) -> i64 |