边界情况
EC-1生成未核实- 情境
- 证据入参为带 evidence 字段的场景对象
- 操作
- isTestOnlyEvidence 执行
- 结果
- 递归取出 evidence 数组后判定,全部非实现代码时返回 true
CoDelphi 把 GitHub 仓库变成一份可追溯的产品规格。 连接仓库后,AI 自动提取功能清单与用户场景,每次 push 自动总结行为变化——每一条结论都附带可点击的源码证据,而不是凭空生成的摘要。
分析完整性:部分完整——合并完整性部分(合并层有截断/冲突/护栏检出);核验部分(存在一致性冲突或影子对比不一致)。分析成功不等于完整,完整不等于正确;结论采纳前应经人工核实。
源码装配覆盖率(按文件字节)12.7%(已装配实现文件 196/492 个,6 趟提取);本规格未覆盖全部实现面(提取趟数触顶),未覆盖部分不产生结论。。运行时开关与数据依赖行为静态提取不可见(边界说明);发现缺口请在左侧功能树进入功能页,用「编辑/新增场景」人工补充并标记核实。
components/evidence-links.tsx ↗1 行HP-5lib/evidence-url.ts ↗2 行EC-7HP-7lib/evidence.ts ↗7 行EC-1EC-10EC-11EC-2EC-3EC-4EC-5EC-6EC-8EC-9HP-1HP-2HP-3HP-4HP-6HP-8HP-9EC-1生成未核实EC-10生成未核实EC-11生成未核实EC-2生成未核实EC-3生成未核实EC-4生成未核实EC-5生成未核实EC-6生成未核实EC-7生成未核实EC-8生成未核实EC-9生成未核实HP-1生成未核实HP-2生成未核实HP-3生成未核实HP-4生成未核实HP-5生成未核实HP-6生成未核实HP-7生成未核实HP-8生成未核实HP-9生成未核实