판 이력 — Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants | AIChainDay