fix: harden profile lifecycle validation

Author: rockyshi1993

changelogs/unreleased.md

@@ -10,6 +10,7 @@
 
 ### 2026-07-15
 
+- 修复 `ProfileLifecycleClassificationGate` 的可执行语义：共享 contract 改为稳定基线/活文档/条件或本地文档三类独立 inspection，validator 输出逐类缺项，新增无关“本地/required/conditional”、三类单缺失、中英文完整声明与 workspace fallback/overlay 负向/正向夹具；同步修正 monSQLize closed-loop Profile 和原 F-012 尾项，不改变 Profile 档位或 CLI 契约。
 - 实施 ISSUE-043 的 Turn Liveness P0/P1/P2：新增状态机、工具 lease、continuation ACK、checkpoint、`TurnRecoveryCard` 与跨重启重放，接入 `ai-agent-system-architecture` / `host-contract-verification` / `execution-contract` / `rework-prevention-engineering` / TestRoute / report / prompts / Profile，并以 V98、runtime replay、gray sidecar zero-write 与 package fixture 守门；Hook 仅具备事件到达时的历史停滞识别能力，sidecar 保持 one-shot gray，禁止自动唤醒、状态写入、进程控制和未知副作用重放。
 - 新增 gray `brand-visual-quality` 与 `BrandVisualQualityGate`，覆盖 MasterLineage、ThemeGeometryParity、MicroOpticalVariant、MonoMaster、VisualEvidencePack、VisualBlockerReset；以 V97 正负 fixture 和独立前向试用守门，未形成真实 WorkUnit 前不晋级 active。
 - `RuntimeStateTransitionProjectionGate` 将 append-only 历史迁移、当前权威投影、低权威 consumer drift 和真正 `CONFLICTING_CURRENT_STATE` 分离，保留 schema v1/read-only 兼容并降低 strict conflict 噪声。

mcp/profile-contract.js

@@ -197,11 +197,26 @@ function inspectFeatureInventoryDocument(markdown, { requireV1 = false } = {}) {
   }
 }
 
-function hasProfileLifecycle(corpus) {
+function inspectProfileLifecycle(corpus) {
   const text = String(corpus || '')
-  return /stable baseline|稳定基线/i.test(text) &&
-    /living document|活文档/i.test(text) &&
-    /conditional|required|conditional-required|条件必需|条件\s*[\/]\s*本地|本地/i.test(text)
+  const result = {
+    stableBaseline: /\bstable[\s-]+baseline\b|稳定基线/i.test(text),
+    livingDocument: /\bliving[\s-]+documents?\b|活文档/i.test(text),
+    conditionalOrLocalDocs: /\bconditional(?:-required)?\s*(?:(?:\/|or|and)\s*)?local\s+docs?\b|条件(?:必需)?\s*(?:\/|或|和)\s*本地文档/i.test(text)
+  }
+  const missing = []
+  if (!result.stableBaseline) missing.push('stable-baseline')
+  if (!result.livingDocument) missing.push('living-document')
+  if (!result.conditionalOrLocalDocs) missing.push('conditional-or-local-docs')
+  return {
+    ...result,
+    missing,
+    valid: missing.length === 0
+  }
+}
+
+function hasProfileLifecycle(corpus) {
+  return inspectProfileLifecycle(corpus).valid
 }
 
 function inspectProfileContract(tier, availableFiles, corpus = '', documents = {}) {
@@ -266,6 +281,7 @@ module.exports = {
   parseMarkdownTables,
   inspectFeatureInventoryDocument,
   hasFeatureInventorySource,
+  inspectProfileLifecycle,
   hasProfileLifecycle,
   inspectProfileContract
 }

scripts/test-validate-profile.js

@@ -106,6 +106,21 @@ function createWorkspaceNamespaceWorkspace(projectInfo) {
     return root
 }
 
+function createClosedLoopWorkspaceNamespace(projectInfo) {
+    const root = createWorkspaceNamespaceWorkspace(projectInfo)
+    writeFile(root, '.devcodex/workspace/profile/README.md', [
+        '# README',
+        '',
+        '- Profile 档位：profile-closed-loop。',
+        '- 生命周期：01~03 为稳定基线；04~07 为活文档；config.local.json 与 08+ 为条件 / 本地文档。'
+    ].join('\n'))
+    writeFile(root, '.devcodex/workspace/profile/04-测试规范.md', '# 04 — 测试规范\n')
+    writeFile(root, '.devcodex/workspace/profile/05-发布规范.md', '# 05 — 发布规范\n')
+    writeFile(root, '.devcodex/workspace/profile/06-功能清单.md', featureInventoryDocument())
+    writeFile(root, '.devcodex/workspace/profile/07-用户文档与契约规范.md', '# 07 — 用户文档与契约规范\n')
+    return root
+}
+
 function legacyProjectInfo() {
     return [
         '# 01 — 项目信息',
@@ -174,6 +189,22 @@ function currentProjectInfo() {
     ].join('\n')
 }
 
+function createClosedLoopWorkspace(lifecycle, readmeExtras = []) {
+    const root = createWorkspace(currentProjectInfo())
+    writeFile(root, '.devcodex/profile/README.md', [
+        '# README',
+        '',
+        '- Profile 档位：profile-closed-loop。',
+        `- 生命周期：${lifecycle}。`,
+        ...readmeExtras
+    ].join('\n'))
+    writeFile(root, '.devcodex/profile/04-测试规范.md', '# 04 — 测试规范\n')
+    writeFile(root, '.devcodex/profile/05-发布规范.md', '# 05 — 发布规范\n')
+    writeFile(root, '.devcodex/profile/06-功能清单.md', featureInventoryDocument())
+    writeFile(root, '.devcodex/profile/07-用户文档与契约规范.md', '# 07 — 用户文档与契约规范\n')
+    return root
+}
+
 function validLocalConfig() {
     return JSON.stringify({
         connections: {
@@ -424,6 +455,48 @@ function main() {
 
         assert.strictEqual(closedLoopResult.status, 0, closedLoopOutput)
 
+        const closedLoopChineseRoot = createClosedLoopWorkspace('01~03 为稳定基线；04~07 为活文档；config.local.json 与 08+ 为条件 / 本地文档')
+        const closedLoopChineseResult = runValidate(closedLoopChineseRoot)
+        assert.strictEqual(
+            closedLoopChineseResult.status,
+            0,
+            `${closedLoopChineseResult.stdout}\n${closedLoopChineseResult.stderr}`
+        )
+
+        const lifecycleDiagnosticCases = [
+            {
+                name: 'stable-baseline',
+                lifecycle: 'living document / conditional-required local docs',
+                expected: 'stable-baseline'
+            },
+            {
+                name: 'living-document',
+                lifecycle: 'stable baseline / conditional-required local docs',
+                expected: 'living-document'
+            },
+            {
+                name: 'conditional-or-local-docs',
+                lifecycle: 'stable baseline / living document',
+                extras: [
+                    '- 本地命令：npm test。',
+                    '- required checks remain enabled。',
+                    '- conditional workflows are documented elsewhere。'
+                ],
+                expected: 'conditional-or-local-docs'
+            }
+        ]
+        for (const diagnosticCase of lifecycleDiagnosticCases) {
+            const diagnosticRoot = createClosedLoopWorkspace(diagnosticCase.lifecycle, diagnosticCase.extras)
+            const diagnosticResult = runValidate(diagnosticRoot)
+            const diagnosticOutput = `${diagnosticResult.stdout}\n${diagnosticResult.stderr}`
+            assert.strictEqual(diagnosticResult.status, 1, `${diagnosticCase.name}: ${diagnosticOutput}`)
+            assert.match(diagnosticOutput, new RegExp(`lifecycle missing ${diagnosticCase.expected}`))
+            for (const category of ['stable-baseline', 'living-document', 'conditional-or-local-docs']) {
+                if (category === diagnosticCase.expected) continue
+                assert.doesNotMatch(diagnosticOutput, new RegExp(`lifecycle missing ${category}`))
+            }
+        }
+
         const missingColumnsRoot = createWorkspace(currentProjectInfo())
         writeFile(missingColumnsRoot, '.devcodex/profile/README.md', '# README\n\n- Profile 档位：profile-closed-loop。\n- 生命周期：stable baseline / living document / conditional-required local docs。\n')
         writeFile(missingColumnsRoot, '.devcodex/profile/04-测试规范.md', '# 04\n')
@@ -677,6 +750,22 @@ function main() {
         assert.strictEqual(explicitFallbackResult.status, 0, explicitFallbackOutput)
         assert.doesNotMatch(explicitFallbackOutput, /missing required/)
 
+        const closedLoopFallbackRoot = createClosedLoopWorkspaceNamespace(currentProjectInfo())
+        const closedLoopFallbackProfileDir = path.join(closedLoopFallbackRoot, '.devcodex', 'chat', 'profile')
+        writeFile(closedLoopFallbackRoot, '.devcodex/chat/profile/01-项目信息.md', currentProjectInfo())
+        const closedLoopFallbackResult = runValidateWithArgs(
+            path.join(closedLoopFallbackRoot, 'chat'),
+            [
+                '--profile-dir',
+                closedLoopFallbackProfileDir,
+                '--workspace-profile',
+                path.join(closedLoopFallbackRoot, '.devcodex', 'workspace', 'profile')
+            ]
+        )
+        const closedLoopFallbackOutput = `${closedLoopFallbackResult.stdout}\n${closedLoopFallbackResult.stderr}`
+        assert.strictEqual(closedLoopFallbackResult.status, 0, closedLoopFallbackOutput)
+        assert.doesNotMatch(closedLoopFallbackOutput, /lifecycle missing/)
+
         const localTierOverridesFallbackRoot = createWorkspaceNamespaceWorkspace(currentProjectInfo())
         const localStandardProfileDir = path.join(localTierOverridesFallbackRoot, '.devcodex', 'sample', 'profile')
         writeFile(localTierOverridesFallbackRoot, '.devcodex/sample/profile/01-项目信息.md', [

scripts/validate-profile.js

@@ -18,7 +18,7 @@ const {
   PROFILE_TIERS,
   extractProfileTierDeclarations,
   hasFeatureInventorySource: contractHasFeatureInventorySource,
-  hasProfileLifecycle: contractHasProfileLifecycle,
+  inspectProfileLifecycle,
   inspectFeatureInventoryDocument,
   parseMarkdownTables,
   FEATURE_INVENTORY_COLUMN_LABELS
@@ -27,6 +27,8 @@ const { resolveProfileDir } = require('../hooks/_runtime/workspace-layout.cjs')
 
 // ProfileGenerationContractGate / FeatureInventorySchemaGate / ProfileTierMigrationSafetyGate
 // share the tier vocabulary: profile-lite | profile-standard | profile-closed-loop.
+// ProfileLifecycleClassificationGate keeps the historical "conditional-required/local docs" contract anchor;
+// user diagnostics expose its precise category key as "conditional-or-local-docs".
 
 const PLUGIN_ROOT = path.resolve(__dirname, '..')
 const args = process.argv.slice(2)
@@ -771,10 +773,6 @@ function validateCanonicalFeatureInventory(projectInfo, inventoryResult) {
   }
 }
 
-function hasProfileLifecycle(combined) {
-  return contractHasProfileLifecycle(combined)
-}
-
 function validateProfileTier(tier, combined) {
   if (tier === 'profile-lite') return
 
@@ -798,8 +796,9 @@ function validateProfileTier(tier, combined) {
     if (!hasProfileFile('07-用户文档与契约规范.md')) {
       err('[profile] profile-closed-loop requires 07-用户文档与契约规范.md')
     }
-    if (!hasProfileLifecycle(combined)) {
-      err('[profile] profile-closed-loop requires lifecycle wording for stable baseline, living document and conditional-required/local docs')
+    const lifecycle = inspectProfileLifecycle(combined)
+    for (const missing of lifecycle.missing) {
+      err(`[profile] profile-closed-loop lifecycle missing ${missing}`)
     }
   }
   validateCanonicalFeatureInventory(projectInfoText, inventoryResult)