판 이력 — DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models | AIChainDay