판 이력 — CogniConsole: Externalizing Inference-Time Control as a Formal Abstraction for Reliable LLM Interactions | AIChainDay