PRODUCT SPACE

CoDelphi ⌁ gzhanlei/codelphi · main ↗

CoDelphi 把 GitHub 仓库变成一份可追溯的产品规格。 连接仓库后,AI 自动提取功能清单与用户场景,每次 push 自动总结行为变化——每一条结论都附带可点击的源码证据,而不是凭空生成的摘要。

最近一次分析:succeeded

分析完整性:部分完整——合并完整性部分(合并层有截断/冲突/护栏检出);核验部分(存在一致性冲突或影子对比不一致)。分析成功不等于完整,完整不等于正确;结论采纳前应经人工核实。

源码装配覆盖率(按文件字节)12.7%(已装配实现文件 196/492 个,6 趟提取);本规格未覆盖全部实现面(提取趟数触顶),未覆盖部分不产生结论。。运行时开关与数据依赖行为静态提取不可见(边界说明);发现缺口请在左侧功能树进入功能页,用「编辑/新增场景」人工补充并标记核实。

规格差异变体折叠

比较前后两版规格产出变化行,并把行为等价、换编号与措辞近似的差异折叠进审计面;变体判定宁漏勿错合,折叠不删除数据。

代码生成稳定链接 规格差异变体折叠
未核实
实现分布 · 1 个文件
边界情况EC-1生成未核实
情境
两条场景 category 不同(happy 与 edge)
操作
scenarioVariantSimilar 执行
结果
返回 false,不折叠
边界情况EC-2生成未核实
情境
两条场景结果数字不同(404 与 400)
操作
scenarioVariantSimilar 执行
结果
数字签名不一致,返回 false,不折叠
边界情况EC-3生成未核实
情境
两条场景结果否定词计数不同(可以重试 与 不可以重试)
操作
scenarioVariantSimilar 执行
结果
返回 false,不折叠
边界情况EC-4生成未核实
情境
两条场景情境被同义改写但操作与结果行为等价
操作
scenarioVariantSimilar 执行
结果
返回 true,判为同一行为
错误路径ER-1生成未核实
情境
两条场景骨架词共享但结果语义相反(跳转 dashboard 与 锁定账户)
操作
scenarioVariantSimilar 执行
结果
返回 false,真差异不被误合
正常路径HP-1生成未核实
情境
同功能内一条场景被移除、另一条措辞近似的新场景被加入
操作
diffSpecWithFolded 执行
结果
该对折叠为 reason=variant 进入 folded,changes 中不产生变化行
正常路径HP-2生成未核实
情境
同功能内 removed↔added 且行为字段逐项等价
操作
diffSpecWithFolded 执行
结果
折叠为 reason=renumber,不产生变化行