# 选题查重与差异化记录 首次调研日期：2026-08-10 复查日期：2026-08-21 ## 检索范围 - Mooncakes 模块文档、manifest API 与近期包列表； - GitHub 和网页搜索中的公开 MoonBit 项目； - 关键词：`flipspec`、`counterfactual`、`policy repair`、`minimum-cost repair`、`minimality certificate`、`rule engine`、`explainable policy`、`three-valued logic`、`decision table`； - 相邻类别：JSON 规则执行、项目材料核验、提交证明、来源追踪、CSP/robots/Permissions-Policy 等具体协议策略库、统计因果推断、组合测试生成。 ## 初审驳回样例专项自查 2026-08-21 根据用户提供的初审驳回截图复查。截图中的驳回原因集中在： - 与近期维护的同名或近名仓库存在实质重叠； - 使用 `check`、`audit`、`proof`、`trace`、`robots` 等关键词后，与 Mooncakes 上已有项目功能边界不清； - 申报书没有说明与已有项目的扩展关系或差异关系。 FlipSpec 已做对应规避：项目不命名为 `*check`、`*proof`、`*trace` 或 `*policy`；`moon.mod` 不再使用 `policy engine`、`rules` 等泛化描述；申报书新增“初审风险专项说明”。本项目不做 README/仓库材料核验，不做提交证明或来源追踪，不解析 robots.txt、CSP、Permissions-Policy 等协议，也不做统计因果推断。 ## 主要结论 截至 2026-08-21，未发现 Mooncakes 或 GitHub 上已有 MoonBit 包同时提供以下组合能力： 1. 声明有限特征域、当前值、锁定状态和修改代价； 2. 对三值策略表达式求值并输出解释树； 3. 搜索使结果翻转的最低代价修改集合； 4. 输出单变量敏感性、决策表、影响度和修复复核； 5. 生成最小性证书，说明最低代价结论是否来自完整有限域搜索； 6. 输出预算曲线、模型画像和修复组合分析，解释搜索规模与候选修复前沿。 复查时发现若干相邻项目，因此 FlipSpec 已将功能边界进一步收紧为：**有限域反事实规格、最低代价结果翻转与最小性证书**。它不是通用 JSON 规则执行器、不是项目材料核验器、不是具体协议策略解析器，也不是统计因果推断库。 ## 相邻项目对比 | 项目 | 可核验来源 | 相似点 | 差异与规避措施 | | --- | --- | --- | --- | | `YeeHh2004/moonrule` | / | MoonBit 规则引擎，支持可解释表达式规则，关键词包含 `rules`、`json`、`expression`、`policy` | MoonRule 面向 JSON 数据和动态规则求值。FlipSpec 面向声明式有限域策略，不接收任意 JSON 数据；核心输出是最低代价反事实修复、支配过滤、决策表和最小性证书。 | | `WB-ai-nb/constraint-lens` | / | 包描述涉及 reviewer feedback、novelty matrix、resubmission plan，也有 planning 语义 | Constraint Lens 面向评审反馈解析和重提计划。FlipSpec 不解析自然语言评审意见，不生成申诉/重提材料；它处理可枚举策略模型并计算可复核的结果翻转方案。 | | `WB-ai-nb/reviewproof-kit` | / | 关键词涉及 review、resubmission、provenance、license | 该项目偏提交材料、重提证明与溯源披露。FlipSpec 的输入是策略 DSL，输出是执行级反事实搜索结果，不覆盖材料审查流程。 | | `SHX-ai-nb/capsuletrace-upload` | / | 关键词涉及 traceability、validation、acceptance、ci、mooncakes | 该项目偏能力边界和验收轨迹校验。FlipSpec 的 trace 是布尔表达式解释树和反事实修复证据，不做 Mooncakes 验收材料追踪。 | | `ZYK-ai-nb/cspkit` | / | 关键词包含 policy-audit | 该项目是 Content-Security-Policy 的解析、审核和 diff 工具，属于具体 Web 安全协议。FlipSpec 不解析 CSP，也不绑定具体协议。 | | `JQ-ai-nb/robopolicy` | / | 关键词包含 policy、audit | 该项目是 robots.txt、crawler access 和 sitemap 审核库。FlipSpec 不处理爬虫协议，而是通用有限域策略反事实修复。 | | `LMK-ai-nb/permscope` | / | 关键词包含 permissions-policy、audit | 该项目解析和审核 HTTP Permissions-Policy。FlipSpec 不解析 HTTP 头，也不做 Web 安全规则库。 | | `qjgqjg/moon-causal` | / | 反事实概念可能被同时检索到 | 该项目是 causal inference、statistics、matching、weighting 工具。FlipSpec 不估计因果效应、不处理样本数据、不做统计推断；它只在声明的离散域中枚举结果翻转方案。 | | `Yaozhuwa/caseweave` | | 约束和组合枚举方向相邻，文档页可访问 | 该项目偏组合测试用例生成。FlipSpec 不生成测试矩阵，核心输出是最低代价修复方案、最小性证书和修复前沿解释。正式发布前需再次核验该包 manifest。 | ## 本次为降低雷同风险已做的改动 - 新增 `PlanCertificate`，记录搜索空间大小、已求值赋值数、截断状态、最佳代价和最低代价是否已被完整搜索排除； - 新增 `Plan::certify(model)` 与 `Policy::search_space_size()` API； - 新增 `PlanCertificate::to_markdown()` 与 `PlanCertificate::to_json()` 导出； - 新增 `Policy::budget_report()`、`Policy::profile()` 与 `Plan::portfolio()`； - CLI 新增 `--certificate`、`--budget`、`--profile`、`--portfolio` 及其 JSON 输出； - `moon.mod` 关键词从 `policy`、`rules` 收窄为 `finite-domain`、`minimality`、`repair-plan`； - 自动测试从 52 项增加到 60 项，覆盖完整搜索证书、预算截断证书、预算曲线、模型画像和修复组合分析； - README、申报书与设计文档明确说明项目边界，避免被误解为通用规则执行器、评审材料核验器、提交证明工具、来源追踪工具或协议策略库。 ## 原创与参考声明 项目的数据模型、DSL、解析器、三值求值、搜索、支配过滤、最小性证书、报告导出、测试和示例均为本项目原创 MoonBit 实现，没有复制或移植第三方源代码。反事实解释是一个通用研究概念，本项目只采用“用最小输入变化解释结果”的思想，自行定义了面向离散策略的语义、API 和导出格式。 正式发布前建议再次搜索 `flipspec`、`counterfactual policy repair`、`minimum-cost repair` 和 `minimality certificate`，并在仓库 Issue 中记录当日检索结果。