边界情况
EC-1生成未核实- 情境
- 模型引用了本趟未读的文件
- 操作
- sanitizeEvidence 执行
- 结果
- 剔除该证据及整条场景/变化，打 warn 日志，其余产出保留
PRODUCT SPACE
CoDelphi ⌁ gzhanlei/codelphi · main ↗
CoDelphi 把 GitHub 仓库变成一份可追溯的产品规格。 连接仓库后，AI 自动提取功能清单与用户场景，每次 push 自动总结行为变化——每一条结论都附带可点击的源码证据，而不是凭空生成的摘要。
导出 ▾
最近一次分析：succeeded
分析完整性：部分完整——合并完整性部分（合并层有截断/冲突/护栏检出）；核验部分（存在一致性冲突或影子对比不一致）。分析成功不等于完整，完整不等于正确；结论采纳前应经人工核实。
源码装配覆盖率（按文件字节）12.7%（已装配实现文件 196/492 个，6 趟提取）；本规格未覆盖全部实现面（提取趟数触顶），未覆盖部分不产生结论。。运行时开关与数据依赖行为静态提取不可见（边界说明）；发现缺口请在左侧功能树进入功能页，用「编辑/新增场景」人工补充并标记核实。
未核实
实现分布 · 4 个文件
components/evidence-links.tsx↗1 行EC-6components/scenario-card.tsx↗1 行EC-4EC-5HP-5HP-6lib/ai.ts↗1 行EC-3EC-7ER-2ER-3ER-4HP-3HP-4HP-7lib/analysis.ts↗5 行EC-1EC-2ER-1HP-1HP-2
边界情况
EC-2生成未核实- 情境
- 候选全部被清洗后为空
- 操作
- sanitizeEvidence 执行
- 结果
- 标记 allCandidatesRejected 并打 error 日志，不伪装成正常空结果
边界情况
EC-3生成未核实- 情境
- 模型输出缺 changes 键
- 操作
- parseAnalysisContent 执行
- 结果
- changes 归一化为空数组
边界情况
EC-4生成未核实- 情境
- 证据数组为空
- 操作
- isTestOnlyEvidence 执行
- 结果
- 返回 false，不标记为测试佐证
边界情况
EC-5生成未核实- 情境
- 证据以 JSON 字符串或带 evidence 字段的场景对象传入
- 操作
- isTestOnlyEvidence 执行
- 结果
- 解析出证据数组后按同一口径判定
边界情况
EC-6生成未核实- 情境
- 证据含 CI/锁文件等基础设施文件
- 操作
- evidenceKind 执行
- 结果
- 仍判为 implementation，不标记为测试佐证
边界情况
EC-7生成未核实- 情境
- 部分证据路径不在允许集内
- 操作
- sanitizeEvidence 执行
- 结果
- 剔除不可溯源声明，droppedClaims 计数增加，证据完整性维度为 partial
错误路径
ER-1生成未核实- 情境
- 单趟提取重试后仍失败
- 操作
- extractPassWithRetry 执行
- 结果
- 错误向上抛出，run 失败
错误路径
ER-2生成未核实- 情境
- 响应不含完整 JSON 对象
- 操作
- parseAnalysisContent 执行
- 结果
- 抛出 AI response did not contain a JSON object
错误路径
ER-3生成未核实- 情境
- 模型输出结构不可解析
- 操作
- parseAnalysisContent 解析
- 结果
- schema 校验失败并抛错，交由重试与 run 失败如实暴露
错误路径
ER-4生成未核实- 情境
- 某趟候选全部被清洗
- 操作
- deriveEvidenceIntegrity 执行
- 结果
- allCandidatesRejectedPasses 计数增加，证据完整性维度为 failed
正常路径
HP-1生成未核实- 情境
- 模型引用的证据路径都在本分区允许集内
- 操作
- sanitizeEvidence 执行
- 结果
- 证据全部保留，返回清洗摘要且 droppedClaims 为 0
正常路径
HP-2生成未核实- 情境
- 单趟提取首次调用抛错
- 操作
- extractPassWithRetry 执行
- 结果
- 重试一次，重试调用照常落 LLM 回执，成功则继续
正常路径
HP-3生成未核实- 情境
- 模型在合法 diff 路径前后带零宽字符
- 操作
- parseAnalysisContent 执行
- 结果
- 证据路径去除不可见字符后通过允许集校验
正常路径
HP-4生成未核实- 情境
- 模型输出证据列表超过上限
- 操作
- parseAnalysisContent 在 schema 校验前执行 capEvidence
- 结果
- 证据截断为前 5 条，解析继续成功
正常路径
HP-5生成未核实- 情境
- 模型输出证据为 JSON 字符串或带 evidence 字段的场景对象
- 操作
- isTestOnlyEvidence 读取证据
- 结果
- 兼容三种形状解析出证据数组并判定是否全部非实现代码
正常路径
HP-6生成未核实- 情境
- 场景证据含实现代码路径
- 操作
- isTestOnlyEvidence 执行
- 结果
- 返回 false，按实现证据对待
正常路径
HP-7生成未核实- 情境
- 模型输出的证据路径都在允许集内
- 操作
- sanitizeEvidence 执行
- 结果
- 证据保留，keptClaims 计数增加，证据完整性维度为 complete