판 이력 — State Representation and Termination for Recursive Reasoning Systems | AIChainDay