边界情况
EC-1生成未核实- 情境
- 发布已存在 changes 记录
- 操作
- upsertRelease 执行
- 结果
- 跳过 changes 插入，直接确保回归任务后返回 releaseId
PRODUCT SPACE
CoDelphi ⌁ gzhanlei/codelphi · main ↗
CoDelphi 把 GitHub 仓库变成一份可追溯的产品规格。 连接仓库后，AI 自动提取功能清单与用户场景，每次 push 自动总结行为变化——每一条结论都附带可点击的源码证据，而不是凭空生成的摘要。
导出 ▾
最近一次分析：succeeded
分析完整性：部分完整——合并完整性部分（合并层有截断/冲突/护栏检出）；核验部分（存在一致性冲突或影子对比不一致）。分析成功不等于完整，完整不等于正确；结论采纳前应经人工核实。
源码装配覆盖率（按文件字节）12.7%（已装配实现文件 196/492 个，6 趟提取）；本规格未覆盖全部实现面（提取趟数触顶），未覆盖部分不产生结论。。运行时开关与数据依赖行为静态提取不可见（边界说明）；发现缺口请在左侧功能树进入功能页，用「编辑/新增场景」人工补充并标记核实。
未核实
实现分布 · 1 个文件
lib/analysis.ts↗6 行EC-1EC-10EC-2EC-3EC-4EC-5EC-6EC-7EC-8EC-9ER-1ER-2ER-3HP-1HP-2HP-3HP-4HP-5HP-6HP-7HP-8HP-9
边界情况
EC-10生成未核实- 情境
- 仓库没有任何规格版本
- 操作
- loadPreviousSpecText 执行
- 结果
- 返回空数组，锚定降级为仅命名约束
边界情况
EC-2生成未核实- 情境
- 增量模式下 AI 输出命中 carried 键
- 操作
- insertSpecVersion 执行
- 结果
- 该 AI 功能被丢弃并计数，carried 内容保全
边界情况
EC-3生成未核实- 情境
- 新版场景数较上一版骤降超过阈值
- 操作
- detectSpecCollapse 执行
- 结果
- 返回坍缩告警，只告警不阻断落库
边界情况
EC-4生成未核实- 情境
- 前后场景行为相反或数字/否定冲突（如 404 与 400、可以重试与不可以重试）
- 操作
- scenarioVariantSimilar 判定
- 结果
- 返回 false，不折叠，两条变化均保留
边界情况
EC-5生成未核实- 情境
- 前后场景 category 不一致（happy 与 edge）
- 操作
- scenarioVariantSimilar 判定
- 结果
- 直接返回 false，不折叠
边界情况
EC-6生成未核实- 情境
- 同功能内 removed↔added 且行为字段逐项等价
- 操作
- scenarioChanges 执行
- 结果
- 折叠为 reason=renumber，不产生变化行
边界情况
EC-7生成未核实- 情境
- 同功能内 removed↔added 措辞近似但语义相同
- 操作
- scenarioChanges 执行
- 结果
- 折叠为 reason=variant 进 folded 审计面，不产生变化行、不删数据
边界情况
EC-8生成未核实- 情境
- 两条场景行为相反、主体互换、数字或否定冲突
- 操作
- scenarioVariantSimilar 执行
- 结果
- 返回 false，保留为真实变化
边界情况
EC-9生成未核实- 情境
- prioritize 中的功能名在上一版规格中不存在
- 操作
- loadPreviousSpecText 执行
- 结果
- 顺序不变，全部功能按 position 序返回
错误路径
ER-1生成未核实- 情境
- 保存过程中任一步抛错
- 操作
- saveResult 执行
- 结果
- 事务回滚并抛出错误，run 不标记成功
错误路径
ER-2生成未核实- 情境
- 当前 run 已被更新的 run 取代
- 操作
- assertLatestRun 执行
- 结果
- 抛出 Analysis superseded by run N，事务回滚
错误路径
ER-3生成未核实- 情境
- 新增功能的实现证据文件本次均无行为性行变更
- 操作
- diffFeature 执行
- 结果
- 折叠为 reason=tests-only，不落行为变化
正常路径
HP-1生成未核实- 情境
- 分析成功且存在上一版规格
- 操作
- saveResult 执行
- 结果
- 事务内写入规格版本、覆盖率回执、发布记录与改动文件清单，run 标记 succeeded
正常路径
HP-2生成未核实- 情境
- 发布已存在同 sha 记录
- 操作
- upsertRelease 执行
- 结果
- 按唯一键更新 analysis_run_id 与 spec_version_id，不重复插入
正常路径
HP-3生成未核实- 情境
- 增量模式存在受影响集之外的既有功能
- 操作
- insertSpecVersion 执行
- 结果
- 未受影响功能原样沿用上一版，AI 输出与人工条目按优先级合并
正常路径
HP-4生成未核实- 情境
- 同功能内 removed↔added 场景措辞近似但语义相同
- 操作
- diffSpec 计算变化
- 结果
- 该对折叠为 reason=variant 的审计明细，不产生变化行
正常路径
HP-5生成未核实- 情境
- 分析产出的场景与上一版行为等价但编号变化
- 操作
- diffSpec 计算场景差异
- 结果
- removed↔added 对折叠为 reason=renumber，不产生变化行
正常路径
HP-6生成未核实- 情境
- 分析产出的场景与上一版为同义改写（如「演示访客」改为「demo 访客」）
- 操作
- diffSpec 计算场景差异
- 结果
- removed↔added 对折叠为 reason=variant，写入 folded 审计，changes 为空
正常路径
HP-7生成未核实- 情境
- 分析产出新规格
- 操作
- insertSpecVersion 执行
- 结果
- 写入规格版本并在同事务内重建 path→规格反向索引
正常路径
HP-8生成未核实- 情境
- 仓库已有最新规格版本
- 操作
- loadPreviousSpecText 执行
- 结果
- 返回按 position 序的功能与场景全文，供 prompt 锚定
正常路径
HP-9生成未核实- 情境
- 增量分析已确定受影响功能清单
- 操作
- loadPreviousSpecText 传入 prioritize 执行
- 结果
- 受影响功能稳定排到最前，其余保持 position 序