판 이력 — ContractEval: Query-Conditioned Execution Matching for Procedural Instruction Conformance | AIChainDay