Deterministic SPI NOR 4KB-sector / 64KB-MMU-page modular interval-algebra overlap checker + bootloader/partition-table/otadata/coredump mandatory slot validator engine (.csv, .bin, .json, .txt) built for Espressif (ESP-IDF), PlatformIO, Arduino, ESPHome — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…