Deterministic ARMv7-M PMSAv7 power-of-two natural-alignment + 8-subregion bitmask exact-cover solver & ARMv8-M PMSAv8 RLAR/MAIR_EL1 32-byte granularity compiler engine (.c, .h, .ld, .json) built for ARM, STMicroelectronics, FreeRTOS-MPU, NXP — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…