Config (YAML/JSON) → Architecture + Scenario → DOE Generation → Batch Evaluation ↓ ↓ Requirements ───────────────────────────────────────────→ Verification ...