边界情况
EC-1生成未核实- 情境
- 变更文件无 patch、语言未知或 patch 超过 4000 字符疑似截断
- 操作
- 分析期执行 behavioralChangePaths
- 结果
- 保守视为行为变更，文件进入行为变更集
PRODUCT SPACE
CoDelphi ⌁ gzhanlei/codelphi · main ↗
CoDelphi 把 GitHub 仓库变成一份可追溯的产品规格。 连接仓库后，AI 自动提取功能清单与用户场景，每次 push 自动总结行为变化——每一条结论都附带可点击的源码证据，而不是凭空生成的摘要。
导出 ▾
最近一次分析：succeeded
分析完整性：部分完整——合并完整性部分（合并层有截断/冲突/护栏检出）；核验部分（存在一致性冲突或影子对比不一致）。分析成功不等于完整，完整不等于正确；结论采纳前应经人工核实。
源码装配覆盖率（按文件字节）12.7%（已装配实现文件 196/492 个，6 趟提取）；本规格未覆盖全部实现面（提取趟数触顶），未覆盖部分不产生结论。。运行时开关与数据依赖行为静态提取不可见（边界说明）；发现缺口请在左侧功能树进入功能页，用「编辑/新增场景」人工补充并标记核实。
未核实
实现分布 · 1 个文件
lib/patch-scan.ts↗4 行EC-1EC-2EC-3ER-1HP-1
边界情况
EC-2生成未核实- 情境
- 同一功能内一条场景为「创建不再因 MissingOAuth2TokenError 返回 422」，另一条场景肯定陈述同一 token。
- 操作
- 调用 detectOutcomeConflicts 处理该功能场景。
- 结果
- 「不再」与 token 之间无句读，判为否定，与肯定陈述构成冲突对并输出。
边界情况
EC-3生成未核实- 情境
- token 前 16 字符窗口内不存在「不再」。
- 操作
- 调用 isNegated 判定该 token。
- 结果
- 返回 false，该 token 按肯定陈述处理。
错误路径
ER-1生成未核实- 情境
- 场景结果陈述中不包含待判定 token
- 操作
- 调用 isNegated 判定该 token
- 结果
- indexOf 返回 -1，直接返回 false
正常路径
HP-1生成未核实- 情境
- 实现文件 patch 仅含注释或空白变动
- 操作
- behavioralChangePaths 执行
- 结果
- 该文件不进入行为变更集