PRODUCT SPACE

CoDelphi ⌁ gzhanlei/codelphi · main ↗

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

最近一次分析:succeeded

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

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

行为面枚举提取

把窗口 diff 的行为文件按路径稳定分组,逐文件定向读取变更区上下文并显式提问行为/无行为,组失败重试一次后跳过;输出枚举完整性指标(complete/partial/failed/not_applicable)与 hunk 公平预算截断计数。

代码生成稳定链接 行为面枚举提取
未核实
实现分布 · 1 个文件
边界情况EC-1生成未核实
情境
行为文件组数超过上限
操作
enumerateBehavioralChunks 执行
结果
只处理前 maxGroups 组,打 warn 日志,状态记为 partial
边界情况EC-2生成未核实
情境
行为文件在窗口内被删除或不可读
操作
enumerateBehavioralChunks 执行
结果
跳过该文件读取,patch 仍在组 prompt 中提供
错误路径ER-1生成未核实
情境
某组定向提取重试后仍失败
操作
enumerateBehavioralChunks 执行
结果
跳过该组,groupsFailed 计数增加,不阻塞主提取产出
正常路径HP-1生成未核实
情境
窗口存在行为变更文件且枚举开关开启
操作
enumerateBehavioralChunks 执行
结果
按组定向提取并清洗证据,返回 chunks 与 pathsEnumerated/groupsCompleted 等指标
正常路径HP-2生成未核实
情境
单文件多个 hunk 且总需求超过 400 行预算
操作
allocateHunkReads 执行
结果
每 hunk 先保底核心区间,剩余按需求比例分配,未满足的标记 truncated