v1.9.1

v1.9.1 (2025-11-24)

Bug Fixes

• Add missing space (#30, 948bb83)

• prompts: Enforce wait for user answers in spec generation (#30, 948bb83)

Documentation

• prompts: Add example format for clarifying questions (#30, 948bb83)

• prompts: Add validation report output location (#30, 948bb83)

• prompts: Improve task list format with hierarchical structure (#30, 948bb83)

• prompts: Remove redundant instruction from iterative process (#30, 948bb83)

Refactoring

• prompts: Align validation to focus on proof artifacts (#30, 948bb83)

• prompts: Consolidate functional requirements into demoable units (#30, 948bb83)

• prompts: Improve clarity and enforceability in spec generation (#30, 948bb83)

• prompts: Improve spec generation workflow and task list formatting (#30, 948bb83)

• prompts: Remove demo criteria, consolidate into proof artifacts (#30, 948bb83)

• prompts: Reorganize generate-spec workflow steps (#30, 948bb83)

---

Detailed Changes: v1.9.0...v1.9.1