판 이력 — Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents | AIChainDay