feat: persist readiness criteria matrix in runtime

Author: Jacobinwwey

docs/brainstorms/2026-04-19-mainline-progress-reconciliation-and-post-m7-direction-requirements.md

@@ -237,6 +237,10 @@ This document re-baselines current mainline truth on 2026-04-19, records what ch
   - agent-workspace diagnostics snapshots now persist full `mandatoryChecks`, `promotionBlockers`, and `recommendations`
   - toolbar summaries now expose recommendation counts alongside the existing gate/blocker ids
   - overall status still remains `in_progress` / `no-go`.
+- The next bounded execution slice after that makes runtime criterion-matrix parity explicit:
+  - agent-workspace diagnostics snapshots now persist full `promotionCriteria`
+  - toolbar summaries now expose compact criterion-matrix entry counts alongside the existing `criteria x/y` totals
+  - overall status still remains `in_progress` / `no-go`.
 - Current expected outcome on `main` remains:
   - status `in_progress`
   - decision `no-go`

docs/diataxis/en/explanation/development-progress-dashboard.md

@@ -354,6 +354,18 @@ Execution anchor:
   - decision stays `no-go`,
   - actionable-detail parity improves inspectability only; it does not relax the no-go contract.
 
+## Latest Mainline Increment (2026-04-20 M8.18 Foundation Runtime Criterion-Matrix Parity)
+
+- Closed the next operator-runtime parity gap for the full promotion-criteria matrix already present in the typed readiness payload:
+  - `lastFoundationReadiness.promotionCriteria`
+- Runtime/operator visibility now keeps the same criterion-matrix detail used by downstream diagnostics:
+  - toolbar summaries expose `criteria-detail 7` alongside the existing `criteria 5/7` aggregate,
+  - diagnostics snapshots preserve every criterion entry with `criterionId`, `satisfied`, and `summary`.
+- Guardrail remains unchanged on `main`:
+  - status stays `in_progress`,
+  - decision stays `no-go`,
+  - criterion-matrix parity improves inspectability only; it does not relax graph/vector independence requirements.
+
 ## 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:

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 full `promotionCriteria`
   - runtime snapshots now preserve `mandatoryCheckIds` for the active gate contract
   - runtime snapshots now preserve full `mandatoryChecks`, `promotionBlockers`, and `recommendations`
 - Current expected result on `main` is:
@@ -91,6 +92,7 @@ Bundle note:
   - `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`
+  - `criteria-detail 7`
   - `recommendations 2`
   - `satisfied store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present`
   - `unmet graph_backend_independent, vector_backend_independent`

docs/diataxis/zh/explanation/development-progress-dashboard.md

@@ -354,6 +354,18 @@
   - 决策仍为 `no-go`，
   - 可执行细节对齐只提升可检查性，不会放松 no-go contract。
 
+## 主线最新增量（2026-04-20 M8.18 Foundation 运行时条件矩阵对齐）
+
+- 已补齐 typed readiness payload 中完整 promotion-criteria matrix 在运行时中的下一处对齐缺口：
+  - `lastFoundationReadiness.promotionCriteria`
+- 运行时/执行侧现在会保留下游诊断需要的同一份 criterion matrix 细节：
+  - 工具栏摘要会在现有 `criteria 5/7` 聚合之外显示 `criteria-detail 7`，
+  - diagnostics snapshot 会保留每条 criterion 的 `criterionId`、`satisfied`、`summary`。
+- `main` 上的护栏结论保持不变：
+  - 状态仍为 `in_progress`，
+  - 决策仍为 `no-go`，
+  - 条件矩阵对齐只提升可检查性，不会放宽 graph/vector independence 要求。
+
 ## 主线最新增量（2026-04-20 M8.13 Foundation Readiness 来源证据）
 
 - 已新增 machine-readable provenance，执行侧现在可以直接知道 readiness 是读取 runtime project root，还是回退到真实 repo 证据：

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 现在会保留完整 `promotionCriteria`
   - runtime snapshot 现在也会保留当前 gate contract 的 `mandatoryCheckIds`
   - runtime snapshot 现在也会保留完整 `mandatoryChecks`、`promotionBlockers`、`recommendations`
 - 当前主线的预期结果是：
@@ -91,6 +92,7 @@
   - `promotionCriteriaUnsatisfiedIds = [graph_backend_independent, vector_backend_independent]`
 - 当前主线预期的运行时/执行侧摘要措辞为：
   - `gates contract, core_behavior, persistence_safety, interaction_non_regression, documentation`
+  - `criteria-detail 7`
   - `recommendations 2`
   - `satisfied store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present`
   - `unmet graph_backend_independent, vector_backend_independent`

src/agent_workspace.runtime.behavior.test.ts

@@ -1809,6 +1809,7 @@ describe('agent workspace runtime behavior', () => {
         expect(messages.textContent || '').toContain(
             'gates contract, core_behavior, persistence_safety, interaction_non_regression, documentation'
         );
+        expect(messages.textContent || '').toContain('criteria-detail 7');
         expect(messages.textContent || '').toContain('recommendations 2');
         expect(messages.textContent || '').toContain(
             'satisfied store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present'
@@ -1880,6 +1881,43 @@ describe('agent workspace runtime behavior', () => {
                     'graph_backend_independent',
                     'vector_backend_independent',
                 ],
+                promotionCriteria: [
+                    {
+                        criterionId: 'store_backend_evidence_present',
+                        satisfied: true,
+                        summary: 'Store backend evidence is present in the repository baseline.',
+                    },
+                    {
+                        criterionId: 'graph_backend_independent',
+                        satisfied: false,
+                        summary: 'Graph backend still resolves to file-backed snapshot semantics.',
+                    },
+                    {
+                        criterionId: 'query_backend_boundary_present',
+                        satisfied: true,
+                        summary: 'Dedicated query backend boundary is present.',
+                    },
+                    {
+                        criterionId: 'vector_backend_present',
+                        satisfied: true,
+                        summary: 'Dedicated vector adapter boundary is present.',
+                    },
+                    {
+                        criterionId: 'vector_backend_independent',
+                        satisfied: false,
+                        summary: 'Vector backend still resolves to lexical prefilter semantics.',
+                    },
+                    {
+                        criterionId: 'docs_aligned',
+                        satisfied: true,
+                        summary: 'EN/ZH checklist and dashboard references are aligned.',
+                    },
+                    {
+                        criterionId: 'readiness_verifier_present',
+                        satisfied: true,
+                        summary: 'Readiness verifier command is present in package scripts.',
+                    },
+                ],
                 promotionBlockerIds: [
                     'graph_backend_not_independent',
                     'vector_backend_not_independent',

src/frontend/agent_workspace_runtime.js

@@ -1451,6 +1451,7 @@
                     mandatoryChecksCount: 0,
                     promotionCriteriaSatisfiedIds: [],
                     promotionCriteriaUnsatisfiedIds: [],
+                    promotionCriteria: [],
                     promotionBlockerIds: [],
                     promotionBlockers: [],
                     promotionBlockersCount: 0,
@@ -1558,6 +1559,7 @@
                         mandatoryChecksCount: mandatoryCheckIds.length,
                         promotionCriteriaSatisfiedIds,
                         promotionCriteriaUnsatisfiedIds,
+                        promotionCriteria,
                         promotionBlockerIds,
                         promotionBlockers,
                         promotionBlockersCount: promotionBlockerIds.length,
@@ -1573,7 +1575,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'}, gates ${mandatoryCheckIds.join(', ') || 'none'}, criteria ${promotionCriteriaPassed}/${promotionCriteriaTotal}, satisfied ${promotionCriteriaSatisfiedIds.join(', ') || 'none'}, unmet ${promotionCriteriaUnsatisfiedIds.join(', ') || 'none'}, blockers ${promotionBlockerIds.join(', ') || 'none'}, recommendations ${recommendationsCount}).`,
+                            `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}, criteria-detail ${promotionCriteria.length}, satisfied ${promotionCriteriaSatisfiedIds.join(', ') || 'none'}, unmet ${promotionCriteriaUnsatisfiedIds.join(', ') || 'none'}, blockers ${promotionBlockerIds.join(', ') || 'none'}, recommendations ${recommendationsCount}).`,
                             {
                                 status: trimString(readiness && readiness.status) || 'unknown',
                                 decision: trimString(readiness && readiness.decision) || 'unknown',
@@ -1594,6 +1596,7 @@
                                 mandatoryCheckIds: mandatoryCheckIds.join(', ') || 'none',
                                 promotionCriteriaPassed,
                                 promotionCriteriaTotal,
+                                promotionCriteriaCount: promotionCriteria.length,
                                 promotionCriteriaSatisfiedIds: promotionCriteriaSatisfiedIds.join(', ') || 'none',
                                 promotionCriteriaUnsatisfiedIds: promotionCriteriaUnsatisfiedIds.join(', ') || 'none',
                                 promotionBlockerIds: promotionBlockerIds.join(', ') || 'none',
@@ -1627,6 +1630,7 @@
                         mandatoryChecksCount: 0,
                         promotionCriteriaSatisfiedIds: [],
                         promotionCriteriaUnsatisfiedIds: [],
+                        promotionCriteria: [],
                         promotionBlockerIds: [],
                         promotionBlockers: [],
                         promotionBlockersCount: 0,

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}, gates {mandatoryCheckIds}, criteria {promotionCriteriaPassed}/{promotionCriteriaTotal}, satisfied {promotionCriteriaSatisfiedIds}, unmet {promotionCriteriaUnsatisfiedIds}, blockers {promotionBlockerIds}, recommendations {recommendationsCount}).",
+      "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}, criteria-detail {promotionCriteriaCount}, satisfied {promotionCriteriaSatisfiedIds}, unmet {promotionCriteriaUnsatisfiedIds}, blockers {promotionBlockerIds}, recommendations {recommendationsCount}).",
       "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."
     }

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}，门禁 {mandatoryCheckIds}，条件 {promotionCriteriaPassed}/{promotionCriteriaTotal}，已满足 {promotionCriteriaSatisfiedIds}，未满足 {promotionCriteriaUnsatisfiedIds}，阻塞项 {promotionBlockerIds}，建议 {recommendationsCount} 条）。",
+      "foundationReadinessLoaded": "基础就绪性 {status} / {decision}（存储 {storeType}，图后端 {graphBackendStatus}/{graphBackendSignalKind}，图独立性 {graphBackendIndependent}，后端 {queryBackendDefaultMode}，打分信号 {queryBackendScoreSignals}，向量阶段 {vectorAdapterStatus}，信号类型 {vectorAdapterSignalKind}，独立性 {vectorAdapterIndependent}，接线 {vectorAdapterLinkedIntoQueryBackend}，repo 来源 {repoRootSource}，对齐 {runtimeProjectRootAligned}，门禁 {mandatoryCheckIds}，条件 {promotionCriteriaPassed}/{promotionCriteriaTotal}，条件明细 {promotionCriteriaCount}，已满足 {promotionCriteriaSatisfiedIds}，未满足 {promotionCriteriaUnsatisfiedIds}，阻塞项 {promotionBlockerIds}，建议 {recommendationsCount} 条）。",
       "memoryPolicyFailed": "记忆快照请求失败。",
       "memoryPolicyLoaded": "记忆快照已加载（{layer}/{operation}）：{entriesCount} 条，清理 {evictedCount} 条，总量 session {sessionCount}、unit {unitCount}、long-term {longTermCount}，推荐动作 {recommendedActionsCount} 个。"
     }