code wiki / _hdl_build / nx_iot_ctl_gate.nx

nx_iot_ctl_gate.nx

buildroot/runtime/_hdl_build/nx_iot_ctl_gate.nx

14360 B316 linesdepth 8pulls 16 transitivereach 0 importersview sourcekind gate/prooftopic iot
docsdependenciesstructsconstsfunctions

about

nx_iot_ctl_gate.nx -- gate for the sovereign home-electronics organ. Every tooth is designed to FAIL if the claim is false, not to co-sign it: T1 manifest defaults load, and ORDER IS PRECEDENCE (kasa:9999 outranks http:80) -- the exact inversion that makes the live survey call a smart plug a "web-device" T2 conf parsing is real: a conf image REPLACES the defaults, with the parsed values readable back (not merely "a file was opened") T3 fail-safe: a MALFORMED / absent conf degrades to defaults, never to an empty manifest (an organ that silently sees nothing is worse than one that sees the default set) T4 the UDP blind spot is DECLARED: wiz/38899 is present in the manifest, marked udp, and excluded from the swept set T5 NEVER-BRICK: no write verb exists; on/off/set/flash/provision/gcode all resolve to BAD, and the verb map has exactly 4 read-only entries T6 REAL loopback sweep: a live listener on 127.0.0.1 is found through the SHARED lscan_sweep primitive (the same bytes nx_printer_ctl runs) T7 REAL end-to-end classification: a fork'd fake Kasa device on loopback is swept, and the emitted JSON says smart-plug + kasa -- NOT web-device T8 REAL Kasa probe roundtrip: framed+autokey-encrypted get_sysinfo over the kernel TCP stack, reply decrypted, vendor decided by REPLY signal T9 NEGATIVE CONTROL for T7/T8: an HTTP-only listener must NOT be called a kasa plug (a classifier that says "kasa" to everything passes T7) license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_tls13_io.nx nx_lan_scan.nx nx_iot_ctl_lib.nx nx_gate_verdict.nx nx_iot_ctl_gate.nx

imports: nx_syscalls.nxnx_tls13_io.nxnx_lan_scan.nxnx_iot_ctl_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write iotm_new sys_mmap ↻ iotm_defaults iotm_add iotm_row iotm_label iotm_row ↻ iotm_count iotm_count ↻ iotm_port iotm_row ↻ iotc_mask_row iotm_count ↻ iotc_streq iotc_kind_name iotm_kind iotm_row ↻ gv_check gv_puts ↻ iotm_parse iotc_is_space iotc_word_num iotc_word_eq iotc_vendor_of iotc_word_eq ↻ iotc_kind_of iotc_word_eq ↻ sys_mmap ↻ iotm_add ↻ iotm_proto iotm_row ↻ iotm_vendor iotm_row ↻ iotm_label ↻

structs

none

consts

none

functions

33func ig_contains(buf: *u8, len: i64, needle: *u8) -> i64
called by 1: main
54func ig_fake_kasa(listen_fd: i64) -> i64
71func main() -> i64