PRODUCT SPACE

CoDelphi ⌁ gzhanlei/codelphi · main ↗

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

最近一次分析:succeeded

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

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

Chandler 用户令牌刷新

按用户持久化 Chandler access/refresh token 并加密落库,临期 60 秒内用用户级 GET_LOCK 串行刷新;远端明确拒绝清行引导重登录,超时或 5xx 保留行可重试。

代码生成稳定链接 chandler 用户令牌刷新
未核实
实现分布 · 1 个文件
边界情况EC-1生成未核实
情境
同一用户并发刷新
操作
getValidUserToken 执行
结果
GET_LOCK 串行化,拿不到锁抛 refresh_failed
错误路径ER-1生成未核实
情境
刷新被远端 4xx 明确拒绝
操作
getValidUserToken 执行
结果
清除该用户令牌行并抛 refresh_rejected,引导重新登录
错误路径ER-2生成未核实
情境
刷新请求超时或远端 5xx
操作
getValidUserToken 执行
结果
保留令牌行并抛 refresh_failed,可重试
正常路径HP-1生成未核实
情境
用户已绑定 Chandler 且 access token 未临期
操作
getValidUserToken 执行
结果
解密返回现有 access token,不发起刷新
正常路径HP-2生成未核实
情境
access token 已临期且存在 refresh token
操作
getValidUserToken 执行
结果
持用户级锁刷新并写回新令牌,返回新 access token