Deep Dive Part 4: Z3 Formal Verification, the Three-Layer Stack, and Claude Code as Architect

Every AI-governance product running today uses some version of LLM-as-a-judge: feed the agent's output to a second model and ask it whether the first model behaved. It is probabilistic reasoning about