Designing an AI Evidence Gateway: Durable WAL, Portable MMR Proofs, and Bounded Formal Checks

AI gateways are often discussed as routing layers: authenticate a caller, apply policy, forward a...