pdlc-retro — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited pdlc-retro (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
读取 docs/.pdlc-state/ 下的状态机历史,按时间范围聚合,生成趋势复盘报告。
<!-- @include templates/prompts/iron-law-tool.md(已内联于下方,无需另读) --> ⛔ IRON LAW · 不可违反的硬门禁(工具型命令)
本命令不是主链路上的阶段:不追加 `history`,不改 `current_stage` / `next_step` / `last_phase_result`,也不为此分配功能ID。以下规则不可协商:
违反任一条 = 立即中止当前命令,输出违规详情,等待人工介入。 <!-- @include-end templates/prompts/iron-law-tool.md -->
<!-- @include templates/prompts/state-read.md(已内联于下方,无需另读) -->
docs/.pdlc-state/*.json 不一定都是 /pdlc-* 命令写出来的——手写的、旧版本写的、照着格式仿写的 都可能混在里面。字段对不上契约时,不许边猜边算、再把猜出来的东西当结论。先体检,再计算; 体检发现的每一处偏差,都必须出现在输出的最前面。
体检脚本随本 skill 一起分发,就在本 skill 目录下:scripts/pdlc-state-lint.sh(运行时会告知本 skill 的 所在目录)。它与正在运行的 skill 同一版本,体检规则——合法阶段名、偏差代码——与下方 §2 一致。
在项目根执行 bash <本 skill 目录>/scripts/pdlc-state-lint.sh .。stdout 每行一条偏差:文件<TAB>代码<TAB>说明。退出码三态:
0 已体检、全部合契约 → 照常出结论,不输出体检块1 已体检、有偏差 → 照常计算,但输出最前面必须先放「输入契约体检」块(见 §3)2 无法体检(缺 jq / 无状态目录)→ 体检块写「无法体检:<原因>」,不得当成合契约体检脚本不可用时(找不到,或当前平台没有随 skill 分发它),按 §2 的规则逐条人工核对, 体检块首行注明「体检脚本不可用,以下为人工核对」。
读侧跳过 _ 前缀的索引文件(如 _relations.json)与 statusline.json,它们不是功能状态机。
<!-- finding-codes:start -->
| 代码 | 判定 | 读侧怎么处理 |
|---|---|---|
json-invalid | 文件不是合法 JSON | 跳过该文件,列入体检块 |
missing-field | 缺 feature_id / current_stage / history / next_step / created_at 之一 | 用到该字段的指标,对这份文件记「不可判」 |
field-type-invalid | 字段在、类型不对(如 current_stage 不是字符串、history 不是数组、last_phase_result 不是对象、history 条目不是对象) | 按缺失处理:用到它的指标对这份文件记「不可判」。类型不对的时间戳不再另报 timestamp-no-time |
missing-last_phase_result | 缺 last_phase_result(多为旧文件) | 不推断本阶段结果与 checks |
terminal_state-in-instance | 实例里出现 terminal_state | 忽略该字段,判终态只看 §4 |
non-contract-field | 其它表外顶层字段(如 title) | 忽略 |
stage-alias | stage 用了已知别名 | 可按说明里的 别名→短名 归一化计数,但必须在体检块写明归一化了哪些 |
stage-unknown | stage 既不是短名也不是已知别名 | 单独成行,不并入任何阶段 |
current_stage-unknown | current_stage 既不是短名,也不以 _done 结尾 | 该功能归入「❓ 异常」 |
next_step-not-command | next_step 不是纯命令名(如带散文后缀) | 按原文展示,不据此推断下一步 |
timestamp-no-time | 时间戳只有日期、没有时刻 | 依赖它的耗时类指标记「不可测」,不得算成 0 |
relations-not-object | relations 不是六键对象(如数组) | 这份文件的关系不入图,列入体检块 |
relations-unknown-type | 关系键不在六类之内 | 该键下的关系不入图 |
relations-target-not-id | 关系目标不是 feature ID(散文、模块路径等) | 该条不入图 |
relations-dangling | 目标 ID 没有对应的状态文件 | 标「悬空」,不参与影响半径计算 |
id-prefix-mismatch | 走的是修复流程(有 fix 阶段),ID 却不以 B 开头 | 缺陷计数按 ID 前缀的契约口径算,同时在体检块点名这份 |
checks-key-unknown | last_phase_result.checks 里有状态机不认的键(如照抄 yml 的 unit / lint) | 该键当作不存在:对应维度记「无法判定」,不按键名猜它对应哪个 check |
checks-value-invalid | check 的值不是布尔也不是 null(如 "4 passed, 1 failed") | 该项记「无法判定」,不从字符串里解析结论 |
ok-checks-mismatch | ok=true,但有 check 为 false | 以 checks 为准:本阶段按未通过展示,在体检块点名这份 |
done-legacy | current_stage 以 _done 结尾,但不是 ship_done / deploy_done(旧版写法) | 按「已走完」展示但标「是否已发布未知」;/pdlc-ship 会列出来请人确认 |
second-state-dir | 仓库根另有一个 .pdlc-state/ | 本命令只读 docs/.pdlc-state/,提示两处并存 |
<!-- finding-codes:end -->
「不入图」不是丢弃:关系目标是散文时,把它硬解读成某个 feature,等于把猜测升格成结构—— 影响半径会因此多出一条本不存在的强依赖。宁可在体检块里原样列出,交给人判断。
#### 阶段短名全集
history[].stage 与 last_phase_result.stage 只能取下表的短名——每个短名由对应命令写入, 等于该命令 frontmatter 的 stage:。别名只为读旧数据时容忍,归一化必须披露;写的时候一律用短名。
<!-- stage-names:start -->
| 短名 | 由哪个命令写入 | 已知别名(读侧可归一化,须披露) |
|---|---|---|
requirements | pdlc-prd | prd |
design | pdlc-design | |
tdd | pdlc-tdd | |
impl | pdlc-implement | implement, implementation |
review | pdlc-review | |
e2e | pdlc-e2e | |
ship | pdlc-ship | |
deploy | pdlc-deploy | |
fix | pdlc-fix | bugfix |
refactor | pdlc-refactor | |
feature | pdlc-feature |
<!-- stage-names:end -->
旧版/pdlc-task曾写入task,现已不写(任务看板不是阶段,写入会覆盖主链路的current_stage/next_step)。 见到current_stage=task说明那次任务操作把功能的阶段盖掉了:体检报current_stage-unknown,向用户说明后按history里最后一个主链路阶段理解进度。
⚠️ 输入契约体检:<N> 份状态文件,<M> 处偏差——以下结论建立在这些处理之上
· 3/5 份缺 created_at → 时间窗改用 history 末条 done_at
· 阶段别名 prd→requirements ×1、implementation→impl ×2 → 已归一化计数
· 5/5 份含 terminal_state → 已忽略(判终态只看 current_stage)
· 2 份的 done_at 只有日期 → 阶段耗时记「不可测」读者看到的时候已经信了前面的数字
cut -f2 | sort | uniq -c,份数按第一列去重。真机验证时脚本报 25 处无时刻的时间戳,报告正文却自己数成了 26——同一份报告里两个数字对不上, 读者就不知道该信哪个
已抵达终态 ⇔ `current_stage` 以 `_done` 结尾(终态即「已发布」:/pdlc-ship 写 ship_done、/pdlc-deploy 写 deploy_done;旧版本留下的 feature_done / fix_done / review_done 也按终态读)。
terminal_state:说的是「这个命令走完后应当到达的终态名」——是目标,不是事实。拿它判终态, 等于把「打算完成」当成「已经完成」。
[feature_done, fix_done])。封闭列表会把合法的终态漏判成「进行中」,逼着读侧去别的字段里找答案——而最顺手的那个字段恰好就是 terminal_state。
/pdlc-task 写的 next_step 恒为 null,却未必完成;空的或残缺的状态文件也读得出 null。<!-- @include-end templates/prompts/state-read.md -->
--range <N>d | all:时间窗口(默认 30d)--feature <feature-id>:只看单个功能的时间线(输出 history 详情而非聚合)docs/.pdlc-state/*.json(跳过 _ 前缀的索引文件与 statusline.json)created_at 过滤到时间窗口内。缺 created_at 的文件改用 history 末条 done_at——这是口径替换,必须计入体检块,不得静默history 数组对时间窗口内的所有功能聚合:
交付量:
current_stage 以 _done 结尾——判终态的唯一依据,不看 terminal_state(它是目标不是事实)、不用封闭列表feature_id 以 B 开头(契约口径)。体检报 id-prefix-mismatch 的文件在体检块点名,不据此改口径——两个口径打架时,报出来比悄悄挑一个更有用质量趋势:
passed / (passed + failed + manual));某阶段一条自检记录都没有 → 写「无数据」,不写 0%failed、manual 数stage-alias 按 别名→短名 归一化后计数(归一化了哪些写进体检块);stage-unknown 单独成行,不并入任何阶段阶段耗时:
done_at 差值作为阶段耗时,输出各阶段中位数timestamp-no-time)→ 该间隔不可测,不计入中位数;全部不可测 → 整节写「不可测:<原因>」。不得输出 0.0h——它会被读成「快到不耗时」,实际是精度不够卡点案例:
failed > 2 或 manual > 1 的阶段状态机只记「走到了哪」,记不下「循环驱动推了几次、在哪被拦、为什么」——这些在驱动的运行记录里。用本 skill 自带的 scripts/pdlc-loop.sh 汇总(只读,不调用模型):
bash scripts/pdlc-loop.sh --report --since <窗口起点 YYYY-MM-DD> --project <项目根> # --range all 时不带 --since--feature 模式不跑这一步<!-- @include templates/prompts/self-audit.md(已内联于下方,无需另读) -->
重新阅读本次产出物,按质量关卡清单逐项检查。勾选已通过,标注未通过原因。
注意:自检清单的具体内容由各命令自行定义,本片段只规定结构。
针对自检段标注为未通过的项:
⚠️ 单次修复原则:若一轮修复后仍有项未通过,不再递归修复,防止死循环。 <!-- @include-end templates/prompts/self-audit.md -->
复盘报告自检清单:
terminal_state)<!-- @include templates/prompts/loop-prevention.md(已内联于下方,无需另读) -->
本命令所有的自检-修复循环均受以下约束:
这是为了防止 agent 在"修完再查、查完再修"的往返中陷入死循环。 <!-- @include-end templates/prompts/loop-prevention.md -->
docs/07_reviews/retro/<YYYY-MM>-retro.md(按当月归档)# <YYYY-MM> PDLC 迭代复盘
> 时间窗口:<起> ~ <止>
> 生成时间:<ISO 时间>
## 输入契约体检
(仅在体检有偏差或无法体检时出现;按「偏差类 × 份数 × 处理方式」汇总,放在全文最前面)
## 交付量
- 完成功能:<N> 个
- 修复缺陷:<M> 个
## 质量趋势
| 阶段 | 自检通过率 | 平均失败数 | 平均人工介入数 |
|------|----------|------------|--------------|
| requirements | XX% | N.N | N.N |
| design | XX% | N.N | N.N |
| tdd | XX% | N.N | N.N |
| impl | XX% | N.N | N.N |
| review | XX% | N.N | N.N |
## 阶段耗时中位数
- 需求: X.Xh 设计: X.Xh TDD: X.Xh 实现: X.Xh 评审: X.Xh
(时间戳缺时刻导致不可测时,写「不可测:<原因>」,不写 0.0h)
## 卡点案例
- <feature-id> 在 <stage> 阶段: <原因>
## 自动推进(循环驱动)
(`scripts/pdlc-loop.sh --report` 的原样输出,下面 1~3 句解读;没有运行记录时只写「没有循环运行记录」)
## 值得保留的做法
- <从高通过率/低耗时的功能中提炼><!-- @include templates/prompts/handoff.md(已内联于下方,无需另读) -->
命令完成后必须输出以下格式的最终消息:
✅ <阶段名> 完成:<主要产出物路径>
📊 自检:<通过数>/<总数> 通过(若有未通过,附要点)
📦 状态快照:docs/.pdlc-state/<feature-id>.json
👉 下一步:/pdlc-<next_step>
(如果有分叉)或 /pdlc-<alt>(条件:<选择依据>)规则:
next_step,此时输出 👉 下一步:(本次流程结束,无后续)/pdlc-tdd;若测试已齐 → /pdlc-review"<!-- @include-end templates/prompts/handoff.md -->
本命令的 handoff 输出:
✅ 复盘报告已生成:docs/07_reviews/retro/<YYYY-MM>-retro.md
📊 时间窗口:<起> ~ <止>,共 <N> 个功能
⚠️ 输入契约体检:<M> 处偏差(见报告开头;无偏差则省略本行)
👉 下一步:(本次流程结束,建议人工 review 报告)参数:$ARGUMENTS
~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.