판 이력 — VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification | AIChainDay