fix: expand discipline probes and complete RQ-4~8 definitions

Add UniqueNextStepRecommendationGate and control-plane classifiers
(PF-138/139/140/172), wire them into compliance/cp-gate/report skills,
and fill missing audit-requirements RQ dimensions for full RQ-1~8 coverage.

Author: rockyshi1993

instructions/17-compliance.instructions.md

@@ -147,7 +147,7 @@ version: 1.15.2
 | FC4 | 文件名/路径合规（`NN--` 双横杠开头；本轮无报告产物时标 N/A） |
 | FC5 | `ArtifactDeliveryManifestV1` 完整对账；`UserFacingArtifactSetV1` required hidden=0、计数守恒；semantic name/action/order 与 capability renderer 有效 |
 | FC6 | 新增 DevCodex 规范资产 `.md` 行数检查（instructions / skills / prompts / templates / 规范源等超 500 行须按 C13 拆分；业务项目需求、技术方案、报告和正式项目文档不因 C13 强制拆分） |
-| FC7 | 用户决策选项与报告决策点必带推荐 + 理由：所有 AskUserQuestion / 多选项呈现 / CP 范围选择 / 方案对比 / analyze-audit 报告决策点必须有且仅有 1 个 🟢 推荐项（首位置 + 标签含"(推荐)"或表格标 ⭐），并附一句话推荐理由；没有可推荐动作时必须显式写 `推荐：无后续动作` 与原因 |
+| FC7 | 用户决策选项与报告决策点必带推荐 + 理由：所有 AskUserQuestion / 多选项呈现 / CP 范围选择 / 方案对比 / analyze-audit 报告决策点必须有且仅有 1 个 🟢 推荐项（首位置 + 标签含"(推荐)"或表格标 ⭐），并附一句话推荐理由；**完成态「下一步/后续建议」适用 UniqueNextStepRecommendationGate**（禁止用「或/或者」并列 ≥2 条可执行路径；探针 `classifyNextStepOrForkSample`）；没有可推荐动作时必须显式写 `推荐：无后续动作` 与原因 |
 
 > ℹ️ **层次说明**：FC 关注“写入与输出格式是否完整落盘”，T 层关注“任务目标是否最终达成”。看似相近的检查项（如 FC1 vs T3、FC2 vs T2）属于不同验证层，前者防止漏写，后者确认闭环完成。
 
@@ -159,7 +159,7 @@ version: 1.15.2
 | SC2 | 代码已诊断（无未处理 error） | dev/fix 🔴 |
 | SC3 | 修复已全局扫描（同类错误模式全局+数据联动+grep零残留） | fix 🔴 |
 | SC4 | 关联文件已同步（含 profile 中定义的 dev 模式专属同步命令，如 `devcodex update`）| dev/fix/self-fix 🔴 |
-| SC5 | 后续建议与推荐结论已输出；报告含多个建议/路径时必须有 `推荐结论` / `推荐方案`，无待跟进时显式标注“推荐：无后续动作” | 全工作流 |
+| SC5 | 后续建议与推荐结论已输出；报告含多个建议/路径时必须有 `推荐结论` / `推荐方案` 且 **唯一主动作**；禁止完成态 free-text「A 或 B」同级推荐；无待跟进时显式标注“推荐：无后续动作” | 全工作流 |
 | SC6 | Agent SUMMARY 已更新（写入动作已发生） | 全工作流 🔴 |
 | SC7 | 全局 SUMMARY 关键决策已追加 | 有关键决策时 🔴 |
 | SC8 | 上次待跟进已查阅 | 全工作流 🔴 |

scripts/lib/discipline-execution-probe.js

@@ -1,8 +1,11 @@
 'use strict'
 
 /**
- * Discipline cluster probe (VL-053~061 family) — lightweight classifiers for
- * unauthorized push, preference menus after convergence, and CI-regression stop-without-self-fix.
+ * Discipline cluster probe (VL-053~061 + PF-172 + control-plane absorb PF-138/139/140 family).
+ * Lightweight classifiers for unauthorized push, preference menus after convergence,
+ * CI-regression stop-without-self-fix, completion free-text next-step "A 或 B" forks,
+ * CP artifact-before-confirm, CodeTruth matrix at CP, control-plane digest binding,
+ * and author-self-review vs independent review boundary.
  * Extends existing CP/release/expert gates; does not invent a parallel Skill.
  */
 
@@ -35,6 +38,76 @@ function classifyPreferenceMenuAfterConvergenceSample(sample) {
   return 'ok'
 }
 
+/**
+ * CP confirm request after convergence must point at on-disk artifact (PF-138 / GR-045).
+ * @param {string} sample
+ * @returns {'ok'|'missing-cp-artifact'|'not-cp-confirm'}
+ */
+function classifyCpArtifactBeforeConfirmSample(sample) {
+  const text = String(sample || '')
+  const asksConfirm = /确认\s*CP[123]|⏸\s*CP[123]|等待确认\s*CP|请确认\s*(需求|方案|计划)|CP1\s*确认|CP2\s*确认/i.test(text)
+  if (!asksConfirm) return 'not-cp-confirm'
+  const hasArtifact =
+    /01-需求确认\.md|01-产品需求\.md|01-问题确认\.md|02-技术方案\.md|04-实施计划\.md|00-需求概况\.md|00-问题概况\.md|artifactPath|artifactSha256|CpArtifactBeforeConfirmGate/i.test(
+      text
+    )
+  if (!hasArtifact) return 'missing-cp-artifact'
+  return 'ok'
+}
+
+/**
+ * Control-plane / optimization CP draft must carry CodeTruth matrix evidence (PF-139 / GR-046).
+ * @param {string} sample
+ * @returns {'ok'|'missing-code-truth-matrix'|'not-control-plane-cp'}
+ */
+function classifyCodeTruthMatrixAtCpSample(sample) {
+  const text = String(sample || '')
+  const controlCp =
+    /控制面|MCP|Hook|CLI|validate\.js|分发|部署副本|workflow-capabilities|CodeTruth|CP2\s*技术方案|技术方案确认/i.test(
+      text
+    ) && /CP[12]|方案|需求确认|可实施|定稿/i.test(text)
+  if (!controlCp) return 'not-control-plane-cp'
+  const hasMatrix =
+    /CodeTruthEvidenceMatrix|CodeTruthEvidenceMatrixGate|repoPath|currentBehavior|negativeProbe|证据矩阵/i.test(text)
+  const claimsReady = /可确认\s*CP|可实施|方案已定稿|PR-1\s*通过|已验证.*方案/i.test(text)
+  if (claimsReady && !hasMatrix) return 'missing-code-truth-matrix'
+  if (!hasMatrix && /控制面|MCP|Hook|CLI/.test(text) && /定稿|最终方案|推荐方案\s*=/i.test(text)) {
+    return 'missing-code-truth-matrix'
+  }
+  return 'ok'
+}
+
+/**
+ * Control-plane CP confirmation must bind digest (PF-140 / ConfirmBindingGate residual).
+ * @param {string} sample
+ * @returns {'ok'|'missing-digest'|'not-control-plane-confirm'}
+ */
+function classifyControlPlaneDigestSample(sample) {
+  const text = String(sample || '')
+  const controlConfirm =
+    /控制面|Hook|MCP|CLI|分发|部署/i.test(text) && /确认\s*CP|CP[123]\s*[✅|已确认]|memory_cp_confirm/i.test(text)
+  if (!controlConfirm) return 'not-control-plane-confirm'
+  const hasDigest = /artifactSha256|sha256|digest|ConfirmBindingGate|artifactPath/i.test(text)
+  if (!hasDigest) return 'missing-digest'
+  return 'ok'
+}
+
+/**
+ * Author self-check must not be labeled independent design review (PF-140 / VL-057 residual).
+ * @param {string} sample
+ * @returns {'ok'|'author-self-review-as-independent'|'not-review-claim'}
+ */
+function classifyAuthorSelfReviewBoundarySample(sample) {
+  const text = String(sample || '')
+  const claimsIndependent = /独立审查|独立设计审查|independent\s*review|外部审查已通过|作者自审代替/i.test(text)
+  if (!claimsIndependent) return 'not-review-claim'
+  const onlySelf = /作者自审|self-review|自检通过|本人复审|方案作者.*审查/i.test(text)
+  const hasIndependentEvidence = /独立审查员|第二审查|Codex.*审查|Grok.*审查|audit\s*session|外部 Agent/i.test(text)
+  if (onlySelf && !hasIndependentEvidence) return 'author-self-review-as-independent'
+  if (/作者自审代替独立|自审冒充独立/i.test(text)) return 'author-self-review-as-independent'
+  return 'ok'
+}
+
 /**
  * @param {string} sample
  * @returns {'ok'|'stop-without-self-fix'|'not-ci-regression'}
@@ -49,18 +122,90 @@ function classifyOwnIntroducedRegressionSample(sample) {
   return 'ok'
 }
 
+/**
+ * Strip quoted / meta discussion of the word 或 so rules about forbidding "或"
+ * do not false-positive as dual-action forks.
+ * @param {string} text
+ * @returns {string}
+ */
+function stripOrMetaNoise(text) {
+  return String(text || '')
+    .replace(/「[^」]*」/g, ' ')
+    .replace(/『[^』]*』/g, ' ')
+    .replace(/"[^"]*"/g, ' ')
+    .replace(/'[^']*'/g, ' ')
+    .replace(/禁止[^\n。；;]{0,40}(?:或|或者)/g, ' ')
+    .replace(/不得[^\n。；;]{0,40}(?:或|或者)/g, ' ')
+    .replace(/勿[^\n。；;]{0,40}(?:或|或者)/g, ' ')
+    .replace(/forbid[^\n.]{0,40}\bor\b/gi, ' ')
+    .replace(/do\s+not[^\n.]{0,40}\bor\b/gi, ' ')
+}
+
+/**
+ * Primary recommendation surface only — alternatives under 不推荐 are allowed.
+ * @param {string} text
+ * @returns {string}
+ */
+function primaryRecommendationSurface(text) {
+  return String(text || '').split(/(?:^|\n)\s*(?:不推荐|备选\s*[（(]明确劣于|非推荐路径|明确劣于推荐)/)[0]
+}
+
+/**
+ * Completion / free-text next-step must be a single primary action (PF-172 / PI-151 / VL-077).
+ * @param {string} sample
+ * @returns {'ok'|'or-fork'|'not-next-step'}
+ */
+function classifyNextStepOrForkSample(sample) {
+  const text = String(sample || '')
+  if (/推荐\s*[：:]\s*无后续动作/.test(text)) return 'ok'
+  const isNext = /下一步|后续建议|推荐下一步|推荐结论|推荐方案|##\s*后续|##\s*推荐|推荐\s*[：:]/i.test(text)
+  if (!isNext) return 'not-next-step'
+
+  const primary = stripOrMetaNoise(primaryRecommendationSurface(text))
+
+  if (/(?:下一步|后续建议|推荐下一步|推荐结论|推荐方案)[^\n]*\n\s*[-*•]\s*.+\n\s*[-*•]\s*.+/i.test(primary)) {
+    return 'or-fork'
+  }
+  if (/(?:下一步|推荐下一步|后续建议|推荐结论|推荐方案)[^\n]{0,160}?(?:或|或者)/.test(primary)) {
+    return 'or-fork'
+  }
+  if (/推荐\s*[：:][^\n]{0,120}?(?:或|或者)/.test(primary)) {
+    return 'or-fork'
+  }
+  if (
+    /(?:做|对齐|实施|处理|先|挑|选|跑|修)[^\n]{0,48}(?:或|或者)[^\n]{0,48}(?:做|对齐|实施|处理|挑|选|跑|修)/.test(primary) &&
+    /(?:下一步|后续|推荐)/.test(primary)
+  ) {
+    return 'or-fork'
+  }
+
+  return 'ok'
+}
+
 function buildDisciplineProbeReceipt(sample) {
   return {
     schemaVersion: 'DisciplineExecutionProbeReceiptV1',
     push: classifyPushAuthorizationSample(sample),
     preferenceMenu: classifyPreferenceMenuAfterConvergenceSample(sample),
-    ciRegression: classifyOwnIntroducedRegressionSample(sample)
+    ciRegression: classifyOwnIntroducedRegressionSample(sample),
+    nextStepOrFork: classifyNextStepOrForkSample(sample),
+    cpArtifactBeforeConfirm: classifyCpArtifactBeforeConfirmSample(sample),
+    codeTruthAtCp: classifyCodeTruthMatrixAtCpSample(sample),
+    controlPlaneDigest: classifyControlPlaneDigestSample(sample),
+    authorSelfReviewBoundary: classifyAuthorSelfReviewBoundarySample(sample)
   }
 }
 
 module.exports = {
   classifyPushAuthorizationSample,
   classifyPreferenceMenuAfterConvergenceSample,
+  classifyCpArtifactBeforeConfirmSample,
+  classifyCodeTruthMatrixAtCpSample,
+  classifyControlPlaneDigestSample,
+  classifyAuthorSelfReviewBoundarySample,
   classifyOwnIntroducedRegressionSample,
+  classifyNextStepOrForkSample,
+  stripOrMetaNoise,
+  primaryRecommendationSurface,
   buildDisciplineProbeReceipt
 }

scripts/test-discipline-execution-probe.js

@@ -6,6 +6,11 @@ const {
   classifyPushAuthorizationSample,
   classifyPreferenceMenuAfterConvergenceSample,
   classifyOwnIntroducedRegressionSample,
+  classifyNextStepOrForkSample,
+  classifyCpArtifactBeforeConfirmSample,
+  classifyCodeTruthMatrixAtCpSample,
+  classifyControlPlaneDigestSample,
+  classifyAuthorSelfReviewBoundarySample,
   buildDisciplineProbeReceipt
 } = require('./lib/discipline-execution-probe')
 
@@ -34,7 +39,75 @@ assert.strictEqual(
   'ok'
 )
 
+// PF-172 next-step or-fork
+assert.strictEqual(classifyNextStepOrForkSample('只改本地文件'), 'not-next-step')
+assert.strictEqual(
+  classifyNextStepOrForkSample('推荐下一步：对齐 VL-010，或挑 PF-138 做 Intake'),
+  'or-fork'
+)
+assert.strictEqual(
+  classifyNextStepOrForkSample(
+    '推荐下一步：实施 PF-172。\n不推荐：先洗 VL 表（不修本逃逸面）。'
+  ),
+  'ok'
+)
+assert.strictEqual(classifyNextStepOrForkSample('推荐：无后续动作'), 'ok')
+
+// PF-138 CpArtifactBeforeConfirm
+assert.strictEqual(classifyCpArtifactBeforeConfirmSample('随便聊聊'), 'not-cp-confirm')
+assert.strictEqual(
+  classifyCpArtifactBeforeConfirmSample('方案已收敛。请确认 CP1'),
+  'missing-cp-artifact'
+)
+assert.strictEqual(
+  classifyCpArtifactBeforeConfirmSample(
+    '请确认 CP1；产物已落盘 `01-需求确认.md`（CpArtifactBeforeConfirmGate）'
+  ),
+  'ok'
+)
+
+// PF-139 CodeTruth at CP
+assert.strictEqual(classifyCodeTruthMatrixAtCpSample('修个文案'), 'not-control-plane-cp')
+assert.strictEqual(
+  classifyCodeTruthMatrixAtCpSample('控制面 MCP 方案已定稿，可确认 CP2，推荐方案=Wave'),
+  'missing-code-truth-matrix'
+)
+assert.strictEqual(
+  classifyCodeTruthMatrixAtCpSample(
+    '控制面 CP2 技术方案；CodeTruthEvidenceMatrixGate repoPath=mcp/profile-server.js currentBehavior=… negativeProbe=…；可确认 CP2'
+  ),
+  'ok'
+)
+
+// PF-140 digest + author self-review
+assert.strictEqual(classifyControlPlaneDigestSample('确认普通需求'), 'not-control-plane-confirm')
+assert.strictEqual(
+  classifyControlPlaneDigestSample('控制面 Hook 变更，确认 CP2 已完成'),
+  'missing-digest'
+)
+assert.strictEqual(
+  classifyControlPlaneDigestSample(
+    '控制面 CLI 变更；确认 CP2；artifactPath=02-技术方案.md artifactSha256=abc ConfirmBindingGate'
+  ),
+  'ok'
+)
+assert.strictEqual(classifyAuthorSelfReviewBoundarySample('无审查声明'), 'not-review-claim')
+assert.strictEqual(
+  classifyAuthorSelfReviewBoundarySample('独立审查已通过；作者自审自检通过，无需他人'),
+  'author-self-review-as-independent'
+)
+assert.strictEqual(
+  classifyAuthorSelfReviewBoundarySample('独立审查已通过；Codex 审查报告 + audit session 证据'),
+  'ok'
+)
+
 const r = buildDisciplineProbeReceipt('hello')
 assert.strictEqual(r.push, 'not-release-action')
+assert.strictEqual(r.nextStepOrFork, 'not-next-step')
+assert.strictEqual(r.cpArtifactBeforeConfirm, 'not-cp-confirm')
+assert.strictEqual(r.codeTruthAtCp, 'not-control-plane-cp')
+
+const bad = buildDisciplineProbeReceipt('推荐下一步：做 A 或做 B')
+assert.strictEqual(bad.nextStepOrFork, 'or-fork')
 
 console.log('discipline-execution-probe tests passed')

skills/audit-requirements/SKILL.md

@@ -41,6 +41,50 @@ description: 需求文档审查维度 RQ-1~RQ-8 — 需求定义/功能描述/
 - 需求应包含足够的正例、反例、边界例、异常与回退口径；缺失项应进入待确认问题
 - 技术验收 / 测试方案类文档才要求可执行验证用例、正向/负向场景和通过标准
 
+**RQ-4 需求一致性 🔴**
+- 同一需求包内编号、术语、范围、优先级与阶段声明不得互相矛盾；同名功能不得给出相反行为
+- 变更需求必须锚定原需求基线（路径/版本/章节），并显式列出 retained / changed / removed / deferred
+- 正例：变更确认稿可追溯到原 F-01，且“不做什么”与正文功能列表无冲突
+- 反例：同一 F-id 在概况写“必须登录”、在确认写“匿名可用”且无裁决记录 → 阻断
+- 必要证据：冲突对（摘录 A/B）、裁决位置（确认稿/报告）、未决冲突清单（可为空）
+- 验证路线：交叉阅读 `00/01` + 功能清单 + 排除范围；无冲突则写 `RQ-4=PASS`，有未决冲突则 `FAIL` 并禁止进入 CP2 编码
+
+**RQ-5 影响分析完整性 🟡**
+- 当需求触及外部系统、共享契约、多模块、数据迁移、权限边界或发布面时，必须说明影响面与回滚/降级口径；纯文案/单页说明可标 `N/A + skipReason`
+- 影响面至少覆盖：直接消费者、间接调用链/数据依赖、破坏性兼容风险、需同步的 Profile/文档/配置（若适用）
+- 正例：新增公开 API 列出 SDK/网站/旧客户端三类消费者与兼容策略
+- 反例：引入跨服务写路径却只写“影响后端”且无消费者与回滚 → `FAIL`
+- 必要证据：ImpactSurface 列表（或 N/A 理由）、兼容/回滚一句、关联模块路径
+- 验证路线：对照变更类型检查是否触发外部依赖/共享契约；无外部依赖时 `RQ-5=N/A`
+
+**RQ-6 约束条件明确性 🟡**
+- 业务、合规、性能、安全、环境与时间窗口等约束须可观察、可判定，禁止仅写“尽量快/安全/兼容”
+- 约束写清：主体（谁遵守）、条件（何时生效）、边界（上限/下限/禁止项）、例外（若有）
+- 正例：“管理端导出单次 ≤ 1 万行；超限返回 400 与可操作提示”
+- 反例：“系统应高性能”且无指标/场景/失败表现 → `FAIL` 或降为待确认
+- 必要证据：约束条目表（主体/条件/边界/例外）或明确“无额外约束”
+- 验证路线：扫描非功能/约束章节；技术量化指标可下沉 CP2，但业务边界须在需求层可判定
+
+**RQ-7 版本与变更追溯 💡/🔴**
+- 有版本号、修订日期或变更记录时，当前有效需求必须可指向唯一 current 真相源；历史版本须标记 historical/superseded
+- 需求变更路径：概况 → 确认 → 回写目标需求真相源；缺失回写锚点时不得宣称“已同步主需求”
+- 正例：`01-需求确认.md` 文首 `version/status/supersedes`，旧稿 status=superseded
+- 反例：多份 active 确认稿并行、无 supersedes → 阻断（🔴）；仅缺 changelog 小节但 current 唯一 → 💡 改进
+- 必要证据：current 路径、version/status、supersedes 链（可空）、变更回写位置
+- 验证路线：列任务目录全部需求稿 status；current 计数必须 = 1
+
+**RQ-8 项目上下文一致性 🟡**
+- 需求中的技术栈、目录边界、脚本、环境、发布面与 active Profile / 仓库现实一致；不一致须标注假设或待确认，不得静默当作事实
+- 无项目 Profile 时 `RQ-8=N/A`；有 Profile 时至少核对 01 项目信息中的栈/阶段/关键路径是否与需求假设冲突
+- 正例：需求声明 Node 20 + monorepo 包名与 Profile 01 一致
+- 反例：需求写“必须改 Django 中间件”而 Profile/仓库为纯 Node CLI → `FAIL` 或待确认
+- 必要证据：Profile 对照表（字段/需求声明/一致或差异）、差异处置（改需求/改 Profile/待确认）
+- 验证路线：定向读取 active Profile 与需求假设句；差异进入待确认或阻断扩展范围
+
+**RequirementDimensionCompletenessGate（声明完整性）**
+- 凡 Skill/报告/清单声明覆盖 `RQ-1~RQ-8`，正文必须为每一维提供可执行通过条件、至少一类失败反例、必要证据字段与验证路线（或显式 `N/A + skipReason` 边界）
+- 仅维度总览表/索引而无独立定义 → 本审查层与 validate 探针均视为不完整，不得标 RQ 全覆盖 PASS
+
 **PhaseDeliverySemanticGate（条件）**
 - 多阶段需求、路线图或“全部纳入某阶段”必须为每阶段标记 `phaseKind=planning-only / design-ready / implementation / release`，分别说明 planning coverage 与 source delivery。
 - 建立 `PhaseDeliverySemanticMatrix`：originalIntent、phaseKind、inScope、sourceDelivery、entry、exit、carryOver、closeRule、confirmationText 必须一致。