# Changelog

本项目遵循 [Semantic Versioning](https://semver.org/)。

## 0.1.1 - 2026-08-23

### Changed

- 更新 README、申报书和验收记录，使 GitHub 公开仓库与 Mooncakes 发布状态保持一致；
- 记录 `yourenA1108/flipspec` 的公开仓库、包名和发布后验收材料。

## 0.1.0 - 2026-08-11

### Added

- FlipSpec DSL、带源码位置的词法分析和递归下降解析；
- 整数、布尔值、文本、有限域、修改成本与锁定特征；
- Kleene 三值逻辑、可递归解释树和阻断条件提取；
- 有界反事实搜索、稳定排序和支配方案过滤；
- 单变量敏感性探测和有界决策表；
- 表达式化简、否定范式、部分求值与结构指标；
- 批量场景回归、环境差异和全决策面特征影响度；
- 模型 lint 与持久化修复方案一致性复核；
- 最小性证书，用于复核最低代价方案是否来自完整有限域搜索；
- 预算曲线、模型画像和修复组合分析；
- DSL 往返序列化；
- 文本、Markdown、JSON 与 Mermaid 导出；
- 可运行 CLI 演示、自动化测试与 GitHub Actions CI；
- 中文 README、语言参考、设计说明和选题调研记录。