Deterministic Thumb-2 call-graph DAG + cycle detection with GCC `-fstack-usage` vertex weights + NVIC priority-preemption max-weight clique sum engine (.elf, .map, .su, .json) built for STMicroelectronics, ARM GCC, PlatformIO, Zephyr RTOS — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…