Identify unstated failure modes, identity confusion, purity gaps, and topological edge cases in ISO-style specifications.