feat: expose readiness gates in runtime

Jacobinwwey · Jacobinwwey · commit 241e699e72c1 · 2026-04-20T22:59:27.000-05:00
diff --git a/docs/brainstorms/2026-04-19-mainline-progress-reconciliation-and-post-m7-direction-requirements.md b/docs/brainstorms/2026-04-19-mainline-progress-reconciliation-and-post-m7-direction-requirements.md
@@ -229,6 +229,10 @@ This document re-baselines current mainline truth on 2026-04-19, records what ch
   - agent-workspace diagnostics snapshots now persist both `promotionCriteriaSatisfiedIds` and `promotionCriteriaUnsatisfiedIds`
   - toolbar summaries now render both satisfied and unmet criterion ids from the same readiness payload
   - overall status still remains `in_progress` / `no-go`.
+- The next bounded execution slice after that makes runtime gate parity explicit:
+  - agent-workspace diagnostics snapshots now persist `mandatoryCheckIds`
+  - toolbar summaries now render the same gate ids exposed by `mandatoryChecks`
+  - overall status still remains `in_progress` / `no-go`.
 - Current expected outcome on `main` remains:
   - status `in_progress`
   - decision `no-go`
diff --git a/docs/diataxis/en/explanation/development-progress-dashboard.md b/docs/diataxis/en/explanation/development-progress-dashboard.md
@@ -327,6 +327,19 @@ Execution anchor:
   - decision stays `no-go`,
   - runtime parity improves inspectability only; it does not relax graph/vector independence requirements.
 
+## Latest Mainline Increment (2026-04-20 M8.16 Foundation Runtime Gate Parity)
+
+- Closed the next operator-runtime parity gap for readiness verification gates:
+  - `lastFoundationReadiness.mandatoryCheckIds`
+  - `lastFoundationReadiness.mandatoryChecksCount`
+- Runtime/operator visibility now exposes the same gate ids already carried by the typed readiness payload:
+  - toolbar summaries render `gates contract, core_behavior, persistence_safety, interaction_non_regression, documentation`,
+  - diagnostics snapshots keep the gate ids for downstream diffing and exported reports.
+- Guardrail remains unchanged on `main`:
+  - status stays `in_progress`,
+  - decision stays `no-go`,
+  - gate parity improves inspectability only; it does not weaken the promotion contract.
+
 ## Latest Mainline Increment (2026-04-20 M8.13 Foundation Readiness Provenance Evidence)
 
 - Added machine-readable provenance so operator tooling can tell whether readiness is reading the runtime project root or falling back to real repo evidence:
diff --git a/docs/diataxis/en/explanation/foundation-reentry-readiness-checklist.md b/docs/diataxis/en/explanation/foundation-reentry-readiness-checklist.md
@@ -53,6 +53,7 @@ Bundle note:
   - diagnostics snapshot field `lastFoundationReadiness`
   - runbook link `foundation-reentry-readiness-checklist`
   - runtime snapshots now preserve both `promotionCriteriaSatisfiedIds` and `promotionCriteriaUnsatisfiedIds`
+  - runtime snapshots now preserve `mandatoryCheckIds` for the active gate contract
 - Current expected result on `main` is:
   - status `In Progress`
   - decision `No-Go`
@@ -88,6 +89,7 @@ Bundle note:
   - `promotionCriteriaSatisfiedIds = [store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present]`
   - `promotionCriteriaUnsatisfiedIds = [graph_backend_independent, vector_backend_independent]`
 - Current expected runtime/operator summary phrasing on `main` is:
+  - `gates contract, core_behavior, persistence_safety, interaction_non_regression, documentation`
   - `satisfied store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present`
   - `unmet graph_backend_independent, vector_backend_independent`
 - Current expected provenance behavior is:
diff --git a/docs/diataxis/zh/explanation/development-progress-dashboard.md b/docs/diataxis/zh/explanation/development-progress-dashboard.md
@@ -327,6 +327,19 @@
   - 决策仍为 `no-go`，
   - 运行时对齐只提升可检查性，不放宽 graph/vector independence 要求。
 
+## 主线最新增量（2026-04-20 M8.16 Foundation 运行时门禁对齐）
+
+- 已补齐 readiness verification gate 在执行侧运行时中的下一处对齐缺口：
+  - `lastFoundationReadiness.mandatoryCheckIds`
+  - `lastFoundationReadiness.mandatoryChecksCount`
+- 运行时/执行侧现在会暴露 typed readiness payload 已携带的同一组 gate ids：
+  - 工具栏摘要会显示 `gates contract, core_behavior, persistence_safety, interaction_non_regression, documentation`，
+  - diagnostics snapshot 会保留 gate ids，便于后续 diff 与导出报告。
+- `main` 上的护栏结论保持不变：
+  - 状态仍为 `in_progress`，
+  - 决策仍为 `no-go`，
+  - gate 对齐只提升可检查性，不会削弱 promotion contract。
+
 ## 主线最新增量（2026-04-20 M8.13 Foundation Readiness 来源证据）
 
 - 已新增 machine-readable provenance，执行侧现在可以直接知道 readiness 是读取 runtime project root，还是回退到真实 repo 证据：
diff --git a/docs/diataxis/zh/explanation/foundation-reentry-readiness-checklist.md b/docs/diataxis/zh/explanation/foundation-reentry-readiness-checklist.md
@@ -53,6 +53,7 @@
   - diagnostics snapshot 字段 `lastFoundationReadiness`
   - runbook link `foundation-reentry-readiness-checklist`
   - runtime snapshot 现在会同时保留 `promotionCriteriaSatisfiedIds` 与 `promotionCriteriaUnsatisfiedIds`
+  - runtime snapshot 现在也会保留当前 gate contract 的 `mandatoryCheckIds`
 - 当前主线的预期结果是：
   - 状态 `In Progress`
   - 决策 `No-Go`
@@ -88,6 +89,7 @@
   - `promotionCriteriaSatisfiedIds = [store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present]`
   - `promotionCriteriaUnsatisfiedIds = [graph_backend_independent, vector_backend_independent]`
 - 当前主线预期的运行时/执行侧摘要措辞为：
+  - `gates contract, core_behavior, persistence_safety, interaction_non_regression, documentation`
   - `satisfied store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present`
   - `unmet graph_backend_independent, vector_backend_independent`
 - 当前预期 provenance 行为为：
diff --git a/src/agent_workspace.runtime.behavior.test.ts b/src/agent_workspace.runtime.behavior.test.ts
@@ -1747,6 +1747,22 @@ describe('agent workspace runtime behavior', () => {
                             gateId: 'contract',
                             command: 'npm test -- src/knowledge.api.contract.test.ts --runInBand',
                         },
+                        {
+                            gateId: 'core_behavior',
+                            command: 'npm test -- src/learning/KnowledgeLearningPlatform.test.ts --runInBand',
+                        },
+                        {
+                            gateId: 'persistence_safety',
+                            command: 'npm test -- src/learning/KnowledgeLearningPlatform.persistence.test.ts --runInBand',
+                        },
+                        {
+                            gateId: 'interaction_non_regression',
+                            command: 'npm run test:agent-workspace:contracts',
+                        },
+                        {
+                            gateId: 'documentation',
+                            command: 'npm run docs:diataxis:check && npm run docs:site:build',
+                        },
                     ],
                     promotionBlockers: [
                         {
@@ -1790,6 +1806,9 @@ describe('agent workspace runtime behavior', () => {
         expect(messages.textContent || '').toContain('lexical_token_overlap');
         expect(messages.textContent || '').toContain('repo-source cwd');
         expect(messages.textContent || '').toContain('aligned no');
+        expect(messages.textContent || '').toContain(
+            'gates contract, core_behavior, persistence_safety, interaction_non_regression, documentation'
+        );
         expect(messages.textContent || '').toContain(
             'satisfied store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present'
         );
@@ -1820,6 +1839,13 @@ describe('agent workspace runtime behavior', () => {
                 vectorAdapterLinkedIntoQueryBackend: true,
                 repoRootSource: 'cwd',
                 runtimeProjectRootAligned: false,
+                mandatoryCheckIds: [
+                    'contract',
+                    'core_behavior',
+                    'persistence_safety',
+                    'interaction_non_regression',
+                    'documentation',
+                ],
                 promotionCriteriaSatisfiedIds: [
                     'store_backend_evidence_present',
                     'query_backend_boundary_present',
@@ -1837,6 +1863,7 @@ describe('agent workspace runtime behavior', () => {
                 ],
                 promotionCriteriaPassed: 5,
                 promotionCriteriaTotal: 7,
+                mandatoryChecksCount: 5,
                 promotionBlockersCount: 2,
                 recommendationsCount: 2,
             })
diff --git a/src/frontend/agent_workspace_runtime.js b/src/frontend/agent_workspace_runtime.js
@@ -1444,8 +1444,10 @@
                     vectorAdapterLinkedIntoQueryBackend: false,
                     repoRootSource: '',
                     runtimeProjectRootAligned: false,
+                    mandatoryCheckIds: [],
                     promotionCriteriaPassed: 0,
                     promotionCriteriaTotal: 0,
+                    mandatoryChecksCount: 0,
                     promotionCriteriaSatisfiedIds: [],
                     promotionCriteriaUnsatisfiedIds: [],
                     promotionBlockerIds: [],
@@ -1468,6 +1470,14 @@
                     const recommendationsCount = Array.isArray(readiness && readiness.recommendations)
                         ? readiness.recommendations.length
                         : 0;
+                    const mandatoryCheckIds = Array.isArray(readiness && readiness.mandatoryChecks)
+                        ? readiness.mandatoryChecks
+                            .map((entry) => {
+                                const source = entry && typeof entry === 'object' ? entry : {};
+                                return trimString(source.gateId);
+                            })
+                            .filter(Boolean)
+                        : [];
                     const provenance = readiness && readiness.provenance && typeof readiness.provenance === 'object'
                         ? readiness.provenance
                         : {};
@@ -1527,8 +1537,10 @@
                         vectorAdapterLinkedIntoQueryBackend: Boolean(baseline.vectorAdapterLinkedIntoQueryBackend),
                         repoRootSource: trimString(provenance.repoRootSource),
                         runtimeProjectRootAligned: Boolean(provenance.runtimeProjectRootAligned),
+                        mandatoryCheckIds,
                         promotionCriteriaPassed,
                         promotionCriteriaTotal,
+                        mandatoryChecksCount: mandatoryCheckIds.length,
                         promotionCriteriaSatisfiedIds,
                         promotionCriteriaUnsatisfiedIds,
                         promotionBlockerIds,
@@ -1542,7 +1554,7 @@
                         'assistant',
                         getI18nText(
                             'agentWorkspace.messages.foundationReadinessLoaded',
-                            `Foundation readiness ${trimString(readiness && readiness.status) || 'unknown'} / ${trimString(readiness && readiness.decision) || 'unknown'} (store ${trimString(baseline.storeType) || 'n/a'}, graph ${trimString(baseline.graphBackendStatus) || 'n/a'}/${trimString(baseline.graphBackendSignalKind) || 'n/a'}, graph-independent ${Boolean(baseline.graphBackendIndependent) ? 'yes' : 'no'}, backend ${trimString(baseline.queryBackendDefaultMode) || 'n/a'}, signals ${queryBackendScoreSignals.join(', ') || 'none'}, vector ${trimString(baseline.vectorAdapterStatus) || 'n/a'}, signal-kind ${trimString(baseline.vectorAdapterSignalKind) || 'n/a'}, independent ${Boolean(baseline.vectorAdapterIndependent) ? 'yes' : 'no'}, linked ${Boolean(baseline.vectorAdapterLinkedIntoQueryBackend) ? 'yes' : 'no'}, repo-source ${trimString(provenance.repoRootSource) || 'n/a'}, aligned ${Boolean(provenance.runtimeProjectRootAligned) ? 'yes' : 'no'}, criteria ${promotionCriteriaPassed}/${promotionCriteriaTotal}, satisfied ${promotionCriteriaSatisfiedIds.join(', ') || 'none'}, unmet ${promotionCriteriaUnsatisfiedIds.join(', ') || 'none'}, blockers ${promotionBlockerIds.join(', ') || 'none'}).`,
+                            `Foundation readiness ${trimString(readiness && readiness.status) || 'unknown'} / ${trimString(readiness && readiness.decision) || 'unknown'} (store ${trimString(baseline.storeType) || 'n/a'}, graph ${trimString(baseline.graphBackendStatus) || 'n/a'}/${trimString(baseline.graphBackendSignalKind) || 'n/a'}, graph-independent ${Boolean(baseline.graphBackendIndependent) ? 'yes' : 'no'}, backend ${trimString(baseline.queryBackendDefaultMode) || 'n/a'}, signals ${queryBackendScoreSignals.join(', ') || 'none'}, vector ${trimString(baseline.vectorAdapterStatus) || 'n/a'}, signal-kind ${trimString(baseline.vectorAdapterSignalKind) || 'n/a'}, independent ${Boolean(baseline.vectorAdapterIndependent) ? 'yes' : 'no'}, linked ${Boolean(baseline.vectorAdapterLinkedIntoQueryBackend) ? 'yes' : 'no'}, repo-source ${trimString(provenance.repoRootSource) || 'n/a'}, aligned ${Boolean(provenance.runtimeProjectRootAligned) ? 'yes' : 'no'}, gates ${mandatoryCheckIds.join(', ') || 'none'}, criteria ${promotionCriteriaPassed}/${promotionCriteriaTotal}, satisfied ${promotionCriteriaSatisfiedIds.join(', ') || 'none'}, unmet ${promotionCriteriaUnsatisfiedIds.join(', ') || 'none'}, blockers ${promotionBlockerIds.join(', ') || 'none'}).`,
                             {
                                 status: trimString(readiness && readiness.status) || 'unknown',
                                 decision: trimString(readiness && readiness.decision) || 'unknown',
@@ -1560,6 +1572,7 @@
                                     : 'no',
                                 repoRootSource: trimString(provenance.repoRootSource) || 'n/a',
                                 runtimeProjectRootAligned: Boolean(provenance.runtimeProjectRootAligned) ? 'yes' : 'no',
+                                mandatoryCheckIds: mandatoryCheckIds.join(', ') || 'none',
                                 promotionCriteriaPassed,
                                 promotionCriteriaTotal,
                                 promotionCriteriaSatisfiedIds: promotionCriteriaSatisfiedIds.join(', ') || 'none',
@@ -1587,8 +1600,10 @@
                         vectorAdapterLinkedIntoQueryBackend: false,
                         repoRootSource: '',
                         runtimeProjectRootAligned: false,
+                        mandatoryCheckIds: [],
                         promotionCriteriaPassed: 0,
                         promotionCriteriaTotal: 0,
+                        mandatoryChecksCount: 0,
                         promotionCriteriaSatisfiedIds: [],
                         promotionCriteriaUnsatisfiedIds: [],
                         promotionBlockerIds: [],
diff --git a/src/frontend/locales/en.json b/src/frontend/locales/en.json
@@ -282,7 +282,7 @@
       "learningQualitySnapshotFailed": "Learning quality snapshot request failed.",
       "learningQualitySnapshotLoaded": "Learning quality snapshot loaded (retest {retestPassRatePct}%, recurrence {misconceptionRecurrenceRatePct}%).",
       "foundationReadinessFailed": "Foundation readiness request failed.",
-      "foundationReadinessLoaded": "Foundation readiness {status} / {decision} (store {storeType}, graph {graphBackendStatus}/{graphBackendSignalKind}, graph-independent {graphBackendIndependent}, backend {queryBackendDefaultMode}, signals {queryBackendScoreSignals}, vector {vectorAdapterStatus}, signal-kind {vectorAdapterSignalKind}, independent {vectorAdapterIndependent}, linked {vectorAdapterLinkedIntoQueryBackend}, repo-source {repoRootSource}, aligned {runtimeProjectRootAligned}, criteria {promotionCriteriaPassed}/{promotionCriteriaTotal}, satisfied {promotionCriteriaSatisfiedIds}, unmet {promotionCriteriaUnsatisfiedIds}, blockers {promotionBlockerIds}).",
+      "foundationReadinessLoaded": "Foundation readiness {status} / {decision} (store {storeType}, graph {graphBackendStatus}/{graphBackendSignalKind}, graph-independent {graphBackendIndependent}, backend {queryBackendDefaultMode}, signals {queryBackendScoreSignals}, vector {vectorAdapterStatus}, signal-kind {vectorAdapterSignalKind}, independent {vectorAdapterIndependent}, linked {vectorAdapterLinkedIntoQueryBackend}, repo-source {repoRootSource}, aligned {runtimeProjectRootAligned}, gates {mandatoryCheckIds}, criteria {promotionCriteriaPassed}/{promotionCriteriaTotal}, satisfied {promotionCriteriaSatisfiedIds}, unmet {promotionCriteriaUnsatisfiedIds}, blockers {promotionBlockerIds}).",
       "memoryPolicyFailed": "Memory snapshot request failed.",
       "memoryPolicyLoaded": "Memory snapshot loaded ({layer}/{operation}): {entriesCount} entries, evicted {evictedCount}, totals session {sessionCount}, unit {unitCount}, long-term {longTermCount}, recommended {recommendedActionsCount} actions."
     }
diff --git a/src/frontend/locales/zh.json b/src/frontend/locales/zh.json
@@ -282,7 +282,7 @@
       "learningQualitySnapshotFailed": "学习质量快照请求失败。",
       "learningQualitySnapshotLoaded": "学习质量快照已加载（复测通过率 {retestPassRatePct}% ，误解复发率 {misconceptionRecurrenceRatePct}%）。",
       "foundationReadinessFailed": "基础就绪性请求失败。",
-      "foundationReadinessLoaded": "基础就绪性 {status} / {decision}（存储 {storeType}，图后端 {graphBackendStatus}/{graphBackendSignalKind}，图独立性 {graphBackendIndependent}，后端 {queryBackendDefaultMode}，打分信号 {queryBackendScoreSignals}，向量阶段 {vectorAdapterStatus}，信号类型 {vectorAdapterSignalKind}，独立性 {vectorAdapterIndependent}，接线 {vectorAdapterLinkedIntoQueryBackend}，repo 来源 {repoRootSource}，对齐 {runtimeProjectRootAligned}，条件 {promotionCriteriaPassed}/{promotionCriteriaTotal}，已满足 {promotionCriteriaSatisfiedIds}，未满足 {promotionCriteriaUnsatisfiedIds}，阻塞项 {promotionBlockerIds}）。",
+      "foundationReadinessLoaded": "基础就绪性 {status} / {decision}（存储 {storeType}，图后端 {graphBackendStatus}/{graphBackendSignalKind}，图独立性 {graphBackendIndependent}，后端 {queryBackendDefaultMode}，打分信号 {queryBackendScoreSignals}，向量阶段 {vectorAdapterStatus}，信号类型 {vectorAdapterSignalKind}，独立性 {vectorAdapterIndependent}，接线 {vectorAdapterLinkedIntoQueryBackend}，repo 来源 {repoRootSource}，对齐 {runtimeProjectRootAligned}，门禁 {mandatoryCheckIds}，条件 {promotionCriteriaPassed}/{promotionCriteriaTotal}，已满足 {promotionCriteriaSatisfiedIds}，未满足 {promotionCriteriaUnsatisfiedIds}，阻塞项 {promotionBlockerIds}）。",
       "memoryPolicyFailed": "记忆快照请求失败。",
       "memoryPolicyLoaded": "记忆快照已加载（{layer}/{operation}）：{entriesCount} 条，清理 {evictedCount} 条，总量 session {sessionCount}、unit {unitCount}、long-term {longTermCount}，推荐动作 {recommendedActionsCount} 个。"
     }

Original file line number	Diff line number	Diff line change
`@@ -282,7 +282,7 @@`
`282`	`282`	`"learningQualitySnapshotFailed": "Learning quality snapshot request failed.",`
`283`	`283`	`"learningQualitySnapshotLoaded": "Learning quality snapshot loaded (retest {retestPassRatePct}%, recurrence {misconceptionRecurrenceRatePct}%).",`
`284`	`284`	`"foundationReadinessFailed": "Foundation readiness request failed.",`
`285`		- "foundationReadinessLoaded": "Foundation readiness {status} / {decision} (store {storeType}, graph {graphBackendStatus}/{graphBackendSignalKind}, graph-independent {graphBackendIndependent}, backend {queryBackendDefaultMode}, signals {queryBackendScoreSignals}, vector {vectorAdapterStatus}, signal-kind {vectorAdapterSignalKind}, independent {vectorAdapterIndependent}, linked {vectorAdapterLinkedIntoQueryBackend}, repo-source {repoRootSource}, aligned {runtimeProjectRootAligned}, criteria {promotionCriteriaPassed}/{promotionCriteriaTotal}, satisfied {promotionCriteriaSatisfiedIds}, unmet {promotionCriteriaUnsatisfiedIds}, blockers {promotionBlockerIds}).",
	`285`	+ "foundationReadinessLoaded": "Foundation readiness {status} / {decision} (store {storeType}, graph {graphBackendStatus}/{graphBackendSignalKind}, graph-independent {graphBackendIndependent}, backend {queryBackendDefaultMode}, signals {queryBackendScoreSignals}, vector {vectorAdapterStatus}, signal-kind {vectorAdapterSignalKind}, independent {vectorAdapterIndependent}, linked {vectorAdapterLinkedIntoQueryBackend}, repo-source {repoRootSource}, aligned {runtimeProjectRootAligned}, gates {mandatoryCheckIds}, criteria {promotionCriteriaPassed}/{promotionCriteriaTotal}, satisfied {promotionCriteriaSatisfiedIds}, unmet {promotionCriteriaUnsatisfiedIds}, blockers {promotionBlockerIds}).",
`286`	`286`	`"memoryPolicyFailed": "Memory snapshot request failed.",`
`287`	`287`	`"memoryPolicyLoaded": "Memory snapshot loaded ({layer}/{operation}): {entriesCount} entries, evicted {evictedCount}, totals session {sessionCount}, unit {unitCount}, long-term {longTermCount}, recommended {recommendedActionsCount} actions."`
`288`	`288`	`}`