code wiki / (root) / nx_iot_smartconfig_gate.nx

nx_iot_smartconfig_gate.nx

buildroot/runtime/nx_iot_smartconfig_gate.nx

2357 B66 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic iot
docsdependenciesstructsconstsfunctions

about

nx_iot_smartconfig_gate.nx -- KAT for the sovereign ESP-Touch v1 encoder. Pins byte-exactness against the Espressif spec (sovereignly fetched sc_java_*.raw): - CRC-8/MAXIM check value crc8("123456789") == 0xA1 (the canonical CRC-8/Dallas test) - guide code U8s == 515,514,513,512 - every datum code's MIDDLE U8 == 296 + index (the 0x01<<8 + seqHeader + EXTRA_LEN rule) - the nibble encoding of a known value (totalLen=11) lands in the low nibble - the exact U8 count for a known (ssid,bssid,pwd,ip) expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_iot_smartconfig.nx nx_iot_smartconfig_gate.nx

imports: nx_syscalls_x86_64.nxnx_iot_smartconfig.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_sc_crc8 nx_sc_crc8_upd nx_sc_encode nx_sc_crc8 ↻ nx_sc_emit_dc nx_sc_crc8_upd ↻

structs

none

consts

none

functions

12func main() -> i64
calls 2: nx_sc_crc8nx_sc_encode