边界情况
EC-1生成未核实- 情境
- 复述输出含未知路径或畸形条目
- 操作
- parseBehavioralDescriptions 执行
- 结果
- 只保留已知路径的合法条目，畸形条目丢弃
PRODUCT SPACE
CoDelphi ⌁ gzhanlei/codelphi · main ↗
CoDelphi 把 GitHub 仓库变成一份可追溯的产品规格。 连接仓库后，AI 自动提取功能清单与用户场景，每次 push 自动总结行为变化——每一条结论都附带可点击的源码证据，而不是凭空生成的摘要。
导出 ▾
最近一次分析：succeeded
分析完整性：部分完整——合并完整性部分（合并层有截断/冲突/护栏检出）；核验部分（存在一致性冲突或影子对比不一致）。分析成功不等于完整，完整不等于正确；结论采纳前应经人工核实。
源码装配覆盖率（按文件字节）12.7%（已装配实现文件 196/492 个，6 趟提取）；本规格未覆盖全部实现面（提取趟数触顶），未覆盖部分不产生结论。。运行时开关与数据依赖行为静态提取不可见（边界说明）；发现缺口请在左侧功能树进入功能页，用「编辑/新增场景」人工补充并标记核实。
行为面两步提取
把窗口 diff 的行为文件按路径序分组做定向微任务提取，逐文件显式提问行为或无行为，按 hunk 公平预算读取变更区上下文，失败重试一次后跳过并披露枚举指标。
代码生成稳定链接行为面两步提取未核实
实现分布 · 2 个文件
lib/ai.ts↗3 行EC-1EC-2HP-1lib/analysis.ts↗3 行EC-3EC-4EC-5ER-1HP-2HP-3HP-4
边界情况
EC-2生成未核实- 情境
- 判定输出缺 product 或 release 且 features 为空数组
- 操作
- analyzeBehavioralGroup 执行
- 结果
- 注入占位 product/release，features 空数组合法
边界情况
EC-3生成未核实- 情境
- 窗口内无实现级行为变更（纯文档/注释/格式提交）
- 操作
- runAnalysisBody 执行
- 结果
- 跳过全部 AI 提取，上一版规格原样沿用、零变化
边界情况
EC-4生成未核实- 情境
- 行为文件数超过组数上限
- 操作
- enumerateBehavioralChunks 执行
- 结果
- 只处理前 maxGroups 组，其余计入 pathsOmitted，状态为 partial
边界情况
EC-5生成未核实- 情境
- 单文件 hunk 总需求超过 400 行预算
- 操作
- allocateHunkReads 执行
- 结果
- 每 hunk 先保底核心区间，剩余按需求比例分配，未满足的 hunk 标记 truncated 并计数披露
错误路径
ER-1生成未核实- 情境
- 某组定向提取连续两次失败
- 操作
- enumerateBehavioralChunks 执行
- 结果
- 跳过该组，groupsFailed 计数增加，状态为 partial 而非完整成功
正常路径
HP-1生成未核实- 情境
- 行为变更文件含多个变更块
- 操作
- analyzeBehavioralGroup 执行
- 结果
- 先调用复述 prompt 逐块给出改前改后，再调用判定 prompt 输出场景
正常路径
HP-2生成未核实- 情境
- push 变更包含行为文件
- 操作
- runAnalysisBody 计算 behavioralPaths 并进入提取
- 结果
- 行为文件清单跨模式共享，供 RC2 与定向枚举使用
正常路径
HP-3生成未核实- 情境
- 窗口存在实现级行为变更
- 操作
- runAnalysisBody 执行
- 结果
- 按行为面文件清单分区逐趟提取后合并为完整规格
正常路径
HP-4生成未核实- 情境
- 窗口 diff 含行为文件
- 操作
- enumerateBehavioralChunks 执行
- 结果
- 按组定向提取，每组结果用组文件与全部 diff 文件作证据允许集清洗后返回