边界情况
EC-1生成未核实- 情境
- 分析运行无覆盖率回执
- 操作
- buildProductOverview 执行
- 结果
- coverageByte 与 coverageFiles 为 null，不展示覆盖率行
PRODUCT SPACE
CoDelphi ⌁ gzhanlei/codelphi · main ↗
CoDelphi 把 GitHub 仓库变成一份可追溯的产品规格。 连接仓库后，AI 自动提取功能清单与用户场景，每次 push 自动总结行为变化——每一条结论都附带可点击的源码证据，而不是凭空生成的摘要。
导出 ▾
最近一次分析：succeeded
分析完整性：部分完整——合并完整性部分（合并层有截断/冲突/护栏检出）；核验部分（存在一致性冲突或影子对比不一致）。分析成功不等于完整，完整不等于正确；结论采纳前应经人工核实。
源码装配覆盖率（按文件字节）12.7%（已装配实现文件 196/492 个，6 趟提取）；本规格未覆盖全部实现面（提取趟数触顶），未覆盖部分不产生结论。。运行时开关与数据依赖行为静态提取不可见（边界说明）；发现缺口请在左侧功能树进入功能页，用「编辑/新增场景」人工补充并标记核实。
未核实
实现分布 · 2 个文件
components/product-overview.tsx↗1 行EC-2HP-2lib/analysis.ts↗6 行EC-1EC-3EC-4EC-5EC-6EC-7ER-1ER-2ER-3HP-1HP-3HP-4HP-5HP-6
边界情况
EC-2生成未核实- 情境
- 本次分析无覆盖率回执
- 操作
- 渲染总览信任行
- 结果
- 覆盖率位置显示「源码装配覆盖率 —（无覆盖率回执）」
边界情况
EC-3生成未核实- 情境
- 上一版为回填快照或沿用版本，无有效回执
- 操作
- loadInheritedCoverageReceipt 执行
- 结果
- 沿版本链向上最多回看 10 版，跳过 implFilesTotal=0 的合成零回执，取最近有效回执
边界情况
EC-4生成未核实- 情境
- 提取趟数达到上限
- 操作
- isCoverageCapped 执行
- 结果
- 返回 true，展示层显式警示本规格未覆盖全部实现面
边界情况
EC-5生成未核实- 情境
- 分区被截断或 diff 有未选路径
- 操作
- deriveSourceCoverage 执行
- 结果
- 状态为 partial，并保留 diffTotalPaths/diffSelectedPaths/diffOmittedPaths 计数
边界情况
EC-6生成未核实- 情境
- 传入的受影响功能名在上一版规格中不存在
- 操作
- loadPreviousSpecText 执行
- 结果
- 无命中，功能顺序保持原 position 序不变
边界情况
EC-7生成未核实- 情境
- 仓库没有任何规格版本
- 操作
- loadPreviousSpecText 执行
- 结果
- 返回空数组，锚定降级为仅命名约束
错误路径
ER-1生成未核实- 情境
- 版本链上全部回执均无效
- 操作
- loadInheritedCoverageReceipt 执行
- 结果
- 返回 null
错误路径
ER-2生成未核实- 情境
- 未装配任何实现文件
- 操作
- deriveSourceCoverage 执行
- 结果
- 状态为 failed
错误路径
ER-3生成未核实- 情境
- 读取上一版规格文本抛错
- 操作
- runAnalysisBody 加载锚
- 结果
- 记录错误日志，previousSpecText 置空，本次分析不因锚加载失败而中断
正常路径
HP-1生成未核实- 情境
- 分析运行带覆盖率回执
- 操作
- buildProductOverview 执行
- 结果
- 返回 coverageByte 与 coverageFiles 展示标签
正常路径
HP-2生成未核实- 情境
- 本次分析产生覆盖率回执
- 操作
- 渲染总览信任行
- 结果
- 展示源码装配覆盖率字节、证据文件数与 Spec 版本号
正常路径
HP-3生成未核实- 情境
- 分析完成并写入规格版本
- 操作
- computeCoverageReceipt 与 saveCoverageReceipt 执行
- 结果
- 回执记录装配文件数/字节、总面、覆盖率、趟数与 diff 覆盖口径并落库
正常路径
HP-4生成未核实- 情境
- 分析 run 完成源码装配
- 操作
- deriveSourceCoverage 执行
- 结果
- 覆盖率回执含 implFilesAssembled/implFilesTotal/coverageRatio，全部装配且未截断时状态为 complete
正常路径
HP-5生成未核实- 情境
- 仓库已有上一版规格且本次为增量分析
- 操作
- loadPreviousSpecText 传入受影响功能名执行
- 结果
- 受影响功能按传入顺序排最前，其余功能保持 position 序返回
正常路径
HP-6生成未核实- 情境
- 仓库已有上一版规格且本次为全量分析
- 操作
- loadPreviousSpecText 不传 prioritize 执行
- 结果
- 全部功能按 position 序返回场景全文锚