fix: 对齐 MCP 链接能力的共享状态契约

Author: rockyshi1993

changelogs/releases/v1.20.2.md

@@ -15,6 +15,7 @@
 - 修复卸载配置恢复依赖当前包配置、残留重试和 generation 清理扫描重复问题；项目历史与用户文件遵守各自保留边界。
 - 消除卸载中逐阶段重写整份事务日志的重复开销，保留写前恢复资料、最终持久化及旧版本崩溃恢复能力。
 - 记忆、报告和任务产物使用对应模板或明确的模板扩展，记录实际生成来源；避免同一产物槽重复生成。
+- 修复 MCP 链接工具公开状态与底层校验器不一致的问题；共享同一状态词表，未核实点击能力时保留可移植链接及真实证据状态。
 - 模板结构检查与用户意图满足度分别留证。历史产物对比新版模板得到诊断结果，不回填虚假的历史生成依据，也不批量改写历史报告。
 - 检查优化任务目录，记录有界扫描未覆盖的范围；包含流程简称的正文不能让整个任务跳过检查。
 - 实际隔离 Codex CLI 探针核对工具调用、上下文重绑和业务文件；协议探针、自然语言业务结果、模型自述与外部宿主拒绝分别记录。

hooks/_runtime/evidence/codex-skill-route-pass.v1.json

@@ -5,24 +5,24 @@
   "hostVariant": "codex-cli/exec-user-global-local-stdio",
   "testedVersion": "codex-cli 0.153.4",
   "protocol": "MCP 2024-11-05",
-  "runtimeContractDigest": "817bcbf6b7725c0aaa833246a58c67c9b87b2450256f566ac23a2d1f2d2e77be",
+  "runtimeContractDigest": "8c2ad999d19e8e3510e7d65f01e2dc42eea2eb388a30a3189fc905191475824c",
   "hostAdapterDigest": "1095efd90a80d223c5990a70a8503f5cbbe818e4d2f5253b944bce92536873a3",
-  "sourceEvidenceDigest": "2370b83d264e524303aef870da1f92c8e35cdfccc16c111a7000554e379af59e",
+  "sourceEvidenceDigest": "0896badef267d5cb9189ad179191864a10a85ce424d556a08b01ddf52579280c",
   "sourceProbe": {
     "schemaVersion": "SkillRouteS15EvidenceV1",
-    "probeRunId": "s15-codex-probe-6d08427b-174f-42fc-87d5-b4d05e19702e",
+    "probeRunId": "s15-codex-probe-ef147927-de37-42a9-8ccc-53f1489f7814",
     "authorizationSource": "isolated-probe-authority",
     "contextSource": "host-hooks",
     "observationMode": "hook-post-history",
     "receiptStatus": "relevant-complete",
-    "completedAt": "2026-09-09T02:16:04.857Z"
+    "completedAt": "2026-09-09T03:01:11.039Z"
   },
   "runtimeBinding": {
     "source": "isolated-source-candidate",
-    "expectedDigest": "817bcbf6b7725c0aaa833246a58c67c9b87b2450256f566ac23a2d1f2d2e77be",
-    "generationDigest": "817bcbf6b7725c0aaa833246a58c67c9b87b2450256f566ac23a2d1f2d2e77be",
-    "modeReceiptDigest": "817bcbf6b7725c0aaa833246a58c67c9b87b2450256f566ac23a2d1f2d2e77be",
-    "routeEnvelopeDigest": "817bcbf6b7725c0aaa833246a58c67c9b87b2450256f566ac23a2d1f2d2e77be"
+    "expectedDigest": "8c2ad999d19e8e3510e7d65f01e2dc42eea2eb388a30a3189fc905191475824c",
+    "generationDigest": "8c2ad999d19e8e3510e7d65f01e2dc42eea2eb388a30a3189fc905191475824c",
+    "modeReceiptDigest": "8c2ad999d19e8e3510e7d65f01e2dc42eea2eb388a30a3189fc905191475824c",
+    "routeEnvelopeDigest": "8c2ad999d19e8e3510e7d65f01e2dc42eea2eb388a30a3189fc905191475824c"
   },
   "probe": {
     "schemaVersion": "SkillRouteProbeSummaryV1",

hooks/_runtime/host-skill-route-capabilities.v1.json

@@ -13,10 +13,10 @@
       "status": "PASS",
       "testedVersion": "codex-cli 0.153.4",
       "protocol": "MCP 2024-11-05",
-      "runtimeContractDigest": "817bcbf6b7725c0aaa833246a58c67c9b87b2450256f566ac23a2d1f2d2e77be",
+      "runtimeContractDigest": "8c2ad999d19e8e3510e7d65f01e2dc42eea2eb388a30a3189fc905191475824c",
       "hostAdapterDigest": "1095efd90a80d223c5990a70a8503f5cbbe818e4d2f5253b944bce92536873a3",
       "evidenceRef": "hooks/_runtime/evidence/codex-skill-route-pass.v1.json",
-      "evidenceDigest": "13ef8b58b0335d32a957e8778fcaf2e8dcdcbd188a3e0a231effa5184808b7e0",
+      "evidenceDigest": "1e798a5d4f0d5b5a2eeed3e15a76c7503f613233ac44ffe8da0be475b4dae324",
       "entrySurface": "codex exec --ephemeral",
       "bootstrapDelivery": "stable user-global Hook launcher UserPromptSubmit or profile_context_plan fallback",
       "defaultEligible": true

mcp/memory-server.js

@@ -150,7 +150,7 @@ const {
   renderTaskContinuityViewHuman
 } = require('../hooks/_runtime/task-continuity-view-v1.cjs')
 const { normalizeLanguageTag } = require('../hooks/_runtime/language-context.cjs')
-const { createLinkCapabilityDecision } = require('../hooks/_runtime/visible-output-contract.cjs')
+const { createLinkCapabilityDecision, EVIDENCE_STATES } = require('../hooks/_runtime/visible-output-contract.cjs')
 const {
   createWorkspaceSessionRouteIndex,
   digestSessionRef
@@ -324,7 +324,7 @@ const LINK_CAPABILITY_DECISION_SCHEMA = Object.freeze({
   properties: {
     schemaVersion: { const: 'LinkCapabilityDecisionV1' },
     surface: { type: 'string', minLength: 1 },
-    evidenceState: { type: 'string', enum: ['verified', 'inferred', 'failed'] },
+    evidenceState: { type: 'string', enum: [...EVIDENCE_STATES] },
     mode: { type: 'string', enum: ['clickable', 'portable', 'plain', 'failed'] },
     workspaceRoot: { anyOf: [{ type: 'string' }, { type: 'null' }] },
     targetRelation: { type: 'string', enum: ['workspace', 'external', 'ambiguous'] },

scripts/test-mcp-servers.js

@@ -6621,6 +6621,14 @@ function testMemoryArtifactLinkProjectionAndWriterIntegration() {
     targetPath: 'reports/Report One.md',
     purpose: 'dedupe probe'
   }
+  const unverifiedCapability = createLinkCapabilityDecision({
+    surface: 'unverified-memory-mcp-test',
+    evidenceState: 'unverified',
+    supportsMarkdown: true,
+    workspaceRoot: activeRoot,
+    targetRelation: 'workspace'
+  })
+  assert.strictEqual(unverifiedCapability.validation.valid, true)
   const projected = runServer('mcp/memory-server.js', [
     rpcRequest(1, 'tools/list'),
     rpcRequest(2, 'tools/call', {
@@ -6631,12 +6639,34 @@ function testMemoryArtifactLinkProjectionAndWriterIntegration() {
         artifacts: [reportArtifact, duplicateArtifact],
         linkCapability: capability
       }
+    }),
+    rpcRequest(20, 'tools/call', {
+      name: 'memory_artifact_link_project',
+      arguments: {
+        documentPath: dailyDocument,
+        artifacts: [reportArtifact],
+        linkCapability: unverifiedCapability
+      }
     })
   ], projectRoot)
   const listedTools = resultById(projected, 1).tools
   const projectionSchema = findToolSchema(listedTools, 'memory_artifact_link_project')
   assert.deepStrictEqual(projectionSchema.required, ['documentPath', 'artifacts', 'linkCapability'])
   assert.deepStrictEqual(projectionSchema.properties.operation.enum, ['project', 'validate-existing'])
+  const declaredEvidenceStates = projectionSchema.properties.linkCapability.properties.evidenceState.enum
+  assert(declaredEvidenceStates.includes(unverifiedCapability.evidenceState), 'tools/list must accept the producer unverified fallback')
+  for (const evidenceState of declaredEvidenceStates) {
+    const decision = createLinkCapabilityDecision({
+      surface: 'declared-memory-mcp-state', evidenceState, supportsMarkdown: true,
+      workspaceRoot: activeRoot, targetRelation: 'workspace', evidenceRefs: ['test:canonical-containment']
+    })
+    assert.strictEqual(decision.validation.valid, true, `tools/list declares an unsupported state: ${evidenceState}`)
+  }
+  const portableProjection = toolJson(resultById(projected, 20))
+  assert.strictEqual(portableProjection.capability.evidenceState, 'unverified')
+  assert.strictEqual(portableProjection.capability.mode, 'portable')
+  assert.strictEqual(portableProjection.capability.absolutePathFallback, false)
+  assert.strictEqual(portableProjection.links[0].markdown, '[Report One](<../../../../reports/Report One.md>)')
   const projection = toolJson(resultById(projected, 2))
   assert.strictEqual(projection.schemaVersion, 'ArtifactLinkProjectionSetV1')
   assert.strictEqual(projection.dedupe.inputCount, 2)