Open source legal AI document assistant with cryptographic guardrail verification.

Drop-in cryptographic verification for Mike, the open-source legal AI assistant by Will Chen. Every assistant response is checked against a plain-English policy compiled to SMT-LIB before it reaches the user. The proof is referenced by a proof_id persisted on the message row and surfaced as a "Verified" badge that any third party can independently re-verify. Preflight compiles each plain-English policy to SMT-LIB and discharges it through the Z3 SMT solver, so the verdict is mathematical, not stylistic, and the same input always yields the same answer.