ADI Reasoning: The Symbolic Scaffold That Forces LLMs to Separate Hypothesis Generation From Verification
Chain-of-thought prompting lets LLMs perform abduction, deduction, and induction simultaneously in a single autoregressive pass, with no separation and no accountability for which mode is active at any step. The ADI Protocol formalizes Peirce's tripartite inference as an explicit scaffold, enforces consistency through five algebraic invariants (the Gamma Quintet), and uses the Weakest Link bound to ensure no conclusion can exceed the reliability of its least-supported premise.