판 이력 — Compute-Bounded Security Assurance - Coverage, Verification, and Response under Resource Constraints | AIChainDay