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