PRODUCT SPACE

CoDelphi ⌁ gzhanlei/codelphi · main ↗

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

最近一次分析:succeeded

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

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

功能流程图生成与校验

把功能场景交给 LLM 生成可验证的用户执行图,经确定性护栏校验(节点/边/入口上限、场景引用、重试与终态证据),校验失败自动整图重生成一次;护栏拒绝码落库供空态解释。

代码生成稳定链接 功能流程图生成与校验
未核实
实现分布 · 3 个文件
边界情况EC-1生成未核实
情境
首次输出未通过护栏校验
操作
generateFeatureFlowGraph 执行
结果
携带校验错误整图重新生成一次并再次校验
边界情况EC-2生成未核实
情境
场景集未变且已有有效图,本次生成被护栏拒绝
操作
saveFeatureFlowError 执行
结果
保留旧图,仅记录失败码与时间
边界情况EC-3生成未核实
情境
场景集已变化且生成被护栏拒绝
操作
loadFeatureFlowErrors 执行
结果
旧图作废,指纹一致时返回失败码供空态解释
错误路径ER-1生成未核实
情境
流程图未通过校验且重生成仍失败
操作
syncFeatureFlowsForVersion 执行
结果
failed 计数加一,落库失败码,不中断其他功能生成
正常路径HP-1生成未核实
情境
功能场景可形成主链
操作
generateFeatureFlowGraph 执行
结果
返回通过 validateFeatureFlowGraph 校验的流程图