Searching protocol for "undecidability"
Rigorous mathematical proofs for AI claims.
Expose spec ambiguities early for clean UX.