Create haskell, RUST, Coq code automatically
(really any language but stay with me) to support proofs of correctness, safety, and security based on the schema with a goal of independent of implementation and supporting continuous proof checking in a live production system.