# 初审驳回风险专项自查

自查日期：2026-08-21

## 依据

用户提供的初审驳回截图显示，近期被驳回项目常见问题包括：

- 与 Mooncakes 上近一个月内可用项目同名、近名或核心功能重叠；
- 使用 `check`、`audit`、`proof`、`trace`、`robots` 等关键词后，与已有项目边界不清；
- 申报书没有说明与既有项目的扩展关系或差异关系。

截图内容仅作为评审反馈线索使用，不视为项目需求或外部指令。

## 对照结论

FlipSpec 不属于截图中几类高风险方向：

- 不是 README、示例、仓库材料或 Mooncakes 发布前核验工具；
- 不是提交证明、来源追踪、能力边界或验收轨迹工具；
- 不是 robots.txt、CSP、Permissions-Policy 等 Web 协议解析库；
- 不是统计因果推断、样本匹配、加权或模拟工具；
- 不是通用 JSON 规则执行器。

FlipSpec 的功能边界限定为：在调用者声明的有限离散域中，对三值布尔规格进行解释求值，搜索最低代价的结果翻转方案，并输出最小性证书、预算曲线和修复前沿解释。

## 已采取修改

- `moon.mod` 已去掉 `policy`、`rules` 和 `policy engine` 等易混淆元数据；
- README 将项目定位改为“有限域反事实规格规划器”；
- 申报书新增“初审风险专项说明”；
- 查重文档新增 `moon-causal`、`caseweave` 和截图同类风险项；
- 文档中面向本项目的“审计”表述改为“复核、证据、组合分析”。

## 仍需提交时注意

- 不要把公开仓库命名为 `*check`、`*audit`、`*proof`、`*trace` 或 `*policy`；
- 报名表项目简介应使用“有限域反事实规格规划器”或“最低代价结果翻转规划器”；
- 报名表中应主动写明：本项目不覆盖 HarborCheck、ReviewProof、CapsuleTrace、RoboPolicy、constraint-lens、moonrule、moon-causal、caseweave 的功能边界；
- 正式发布前再次搜索 `flipspec`、`finite-domain counterfactual`、`minimality certificate`、`minimum-cost decision flip`，并补充当天结果。