边界情况
EC-1生成未核实- 情境
- 零行为变更窗口但整条版本链无覆盖率回执
- 操作
- runAnalysisBody 执行
- 结果
- 写入诚实的零回执并打 warn 日志
PRODUCT SPACE
CoDelphi ⌁ gzhanlei/codelphi · main ↗
CoDelphi 把 GitHub 仓库变成一份可追溯的产品规格。 连接仓库后，AI 自动提取功能清单与用户场景，每次 push 自动总结行为变化——每一条结论都附带可点击的源码证据，而不是凭空生成的摘要。
导出 ▾
最近一次分析：succeeded
分析完整性：部分完整——合并完整性部分（合并层有截断/冲突/护栏检出）；核验部分（存在一致性冲突或影子对比不一致）。分析成功不等于完整，完整不等于正确；结论采纳前应经人工核实。
源码装配覆盖率（按文件字节）12.7%（已装配实现文件 196/492 个，6 趟提取）；本规格未覆盖全部实现面（提取趟数触顶），未覆盖部分不产生结论。。运行时开关与数据依赖行为静态提取不可见（边界说明）；发现缺口请在左侧功能树进入功能页，用「编辑/新增场景」人工补充并标记核实。
未核实
实现分布 · 1 个文件
lib/analysis.ts↗5 行EC-1EC-2EC-3EC-4EC-5ER-1HP-1HP-2HP-3HP-4HP-5
边界情况
EC-2生成未核实- 情境
- 仓库尚无上一版规格
- 操作
- loadLatestSpecFeatures 执行
- 结果
- 返回 null，无法沿用
边界情况
EC-3生成未核实- 情境
- 零行为变更窗口且仓库无上一版规格
- 操作
- runAnalysisBody 执行
- 结果
- 无规格可沿用，按既有空态处理
边界情况
EC-4生成未核实- 情境
- 零行为变更窗口且上一版无有效覆盖率回执
- 操作
- loadInheritedCoverageReceipt 执行
- 结果
- 沿版本链向上取最近有效回执，避免落合成零回执
边界情况
EC-5生成未核实- 情境
- 窗口内无实现级行为变更但 diff 命中功能证据面
- 操作
- runAnalysisBody 执行
- 结果
- 不激活增量重提取，避免文档内容被写成假场景
错误路径
ER-1生成未核实- 情境
- 零行为变更窗口但找不到上一版规格
- 操作
- runAnalysisBody 执行
- 结果
- 抛出 no-behavioral-change window but no previous spec found
正常路径
HP-1生成未核实- 情境
- 已有上一版规格且本窗口无行为变更文件
- 操作
- runAnalysisBody 执行
- 结果
- 跳过 AI 提取，规格原样沿用上一版，release 说明声明无行为变化
正常路径
HP-2生成未核实- 情境
- 零行为变更窗口且版本链上存在有效覆盖率回执
- 操作
- loadInheritedCoverageReceipt 执行
- 结果
- 继承最近有效回执作为本版覆盖率
正常路径
HP-3生成未核实- 情境
- 窗口内只有文档或注释变更
- 操作
- runAnalysisBody 执行
- 结果
- 跳过 AI 提取，上一版规格整体沿用，不产生行为变化
正常路径
HP-4生成未核实- 情境
- 窗口内仅有文档/注释/格式提交
- 操作
- runAnalysisBody 执行
- 结果
- 上一版规格原样沿用，零变化，不调用 AI 提取
正常路径
HP-5生成未核实- 情境
- 窗口无实现级行为变更且存在上一版规格
- 操作
- runAnalysisBody 执行
- 结果
- 上一版规格原样沿用，零变化