code wiki / _hdl_build / nx_relchan_gate.nx
nx_relchan_gate.nx
buildroot/runtime/_hdl_build/nx_relchan_gate.nx
about
nx_relchan_gate.nx -- proves + MEASURES the sovereign reliable/ordered/exactly-once event channel
(nx_relchan) over a LOSSY link (drops both events AND acks). Critical game events survive packet loss
without being lost or double-applied -- the correctness the position stream doesn't need but captures do.
1) all N events delivered EXACTLY ONCE, IN ORDER, despite event+ack loss (converges via retransmit)
2) idempotent (neg): replaying an already-delivered event delivers nothing more
3) honest no-fake (neg): under TOTAL loss nothing is delivered (no fabricated delivery)
4) ack advances the window: a cumulative ack stops retransmission of acked events
Built nx_cc_sovereign -> nxasm_x86 (no gcc, no .sh). license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_relchan.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
| 13 | func main() -> i64 |