Deterministic CoreML Protobuf & Model Intermediate Language (MIL) program-graph parser + Apple Neural Engine rank<=4 / 64-byte channel-stride constraint auditor + 4/6/8-bit palettized LUT weight verifier engine (.mlmodel, .zip, .bin) built for Apple CoreML, Xcode, coremltools, Apple Silicon — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…