A policy endorsement case study shows how machine-readable constraints, architecture graphs, deterministic checks, and Agentic AI can surface design flaws befor