Foundations of Global Consistency Checking with Noisy LLM Oracles | ScienceToStartup | ScienceToStartup