판 이력 — ArgGYM: A Procedural, Engine-Verified Benchmark for Structured Defeasible Reasoning | AIChainDay