Automated cryptographic, architectural parity and tamper-resistance verification for the C → WebAssembly Merkle Tree engine.