PRODUCT SPACE

CoDelphi ⌁ gzhanlei/codelphi · main ↗

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

最近一次分析:succeeded

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

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

分析完整性账本

run 级汇总一次成功分析完成了什么、没完成什么:六维度各自 complete/partial/failed/not_applicable,整体状态取最差维度,禁止合并成单一百分比;账本随 run 成功 best-effort 落库,可按 run 或规格版本读取。

代码生成稳定链接 分析完整性账本
未核实
实现分布 · 1 个文件
边界情况EC-1生成未核实
情境
实现文件装配数为 0
操作
deriveSourceCoverage 执行
结果
sourceCoverage 状态为 failed
边界情况EC-2生成未核实
情境
分区被截断或 diff 有省略路径
操作
deriveSourceCoverage 执行
结果
sourceCoverage 状态为 partial
边界情况EC-3生成未核实
情境
某趟候选全部被证据清洗拒绝
操作
deriveEvidenceIntegrity 执行
结果
evidenceIntegrity 状态为 failed,并累计 allCandidatesRejectedPasses
边界情况EC-4生成未核实
情境
增量 run 未执行 M9 影子且无结果冲突
操作
deriveVerification 执行
结果
verification 状态为 not_applicable,humanVerification 固定为 external
错误路径ER-1生成未核实
情境
账本写入数据库失败
操作
saveCompletenessLedger 执行
结果
异常上抛,由调用方 best-effort 处理,不回滚分析
正常路径HP-1生成未核实
情境
一次分析 run 成功且各维度数据齐备
操作
saveCompletenessLedger 执行
结果
写入 analysis_completeness_ledger,六维度状态与 overall 一并落库