판 이력 — Rules to Tools: Executable Checks for LLM Agents in Scientific Computing | AIChainDay