PRODUCT SPACE

CoDelphi ⌁ gzhanlei/codelphi · main ↗

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

最近一次分析:succeeded

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

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

GitHub webhook 验签与投递幂等

校验 GitHub webhook HMAC 签名,按 X-GitHub-Delivery 两阶段持久化接收事实并幂等推进状态机,重复投递返回原结果。

代码生成稳定链接 github webhook 验签与投递幂等
未核实
实现分布 · 1 个文件
边界情况EC-1生成未核实
情境
push 为分支删除或非默认分支
操作
处理 push webhook
结果
返回 202 ignored,不入队
边界情况EC-2生成未核实
情境
仓库触发模式为 daily 或 push_count 且未达阈值
操作
处理 push webhook
结果
pending_push_count 加一,投递标记 skipped 并返回 202 deferred_trigger,不入队
错误路径ER-1生成未核实
情境
签名缺失或不匹配
操作
处理 webhook
结果
返回 401 invalid_signature
错误路径ER-2生成未核实
情境
阶段二入队抛可重试异常
操作
处理 push webhook
结果
投递标记 failed_retryable 并返回 500 delivery_retryable
正常路径HP-1生成未核实
情境
签名正确且投递首次到达
操作
processGitHubWebhook 执行
结果
阶段一落库 received,阶段二推进为 queued 并返回 202 与 runId
正常路径HP-2生成未核实
情境
同一 delivery 已 queued 或 skipped
操作
再次处理该投递
结果
幂等返回原结果,不重复入队