code wiki / (root) / nx_iot_sc_broadcast_gate.nx

nx_iot_sc_broadcast_gate.nx

buildroot/runtime/nx_iot_sc_broadcast_gate.nx

2403 B61 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic iot

docs dependencies structs consts functions

about

nx_iot_sc_broadcast_gate.nx -- gate for the sovereign ESP-Touch broadcaster. Proves (a) genSpecBytes payload + sockaddr_in byte-exactness, and (b) the REAL socket path works HERE: opens a UDP socket and actually sends packets via sys_sendto (single 64B send returns 64; full sequence sends 59 packets to loopback). The ONLY thing unprovable without a device is over-the-air reception (a deployment seam, documented honestly, not faked green). expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

imports: nx_iot_sc_broadcast.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

9	func main() -> i64 calls 5: nx_sc_genspec nx_sc_sockaddr nx_sc_open nx_sc_send_one nx_sc_broadcast