Build deterministic AI systems using executable specs, EARS syntax, verification gates, and runtime diagnostics