feat: mirror readiness criterion ids in runtime

Author: Jacobinwwey

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

@@ -225,6 +225,10 @@ This document re-baselines current mainline truth on 2026-04-19, records what ch
   - readiness now reports `promotionCriteriaUnsatisfiedIds`
   - current mainline unmet ids are `graph_backend_independent` and `vector_backend_independent`
   - overall status still remains `in_progress` / `no-go`.
+- The next bounded execution slice after that makes runtime criterion-id parity explicit:
+  - 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`.
 - Current expected outcome on `main` remains:
   - status `in_progress`
   - decision `no-go`

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

@@ -314,6 +314,19 @@ Execution anchor:
   - decision stays `no-go`,
   - derived id lists improve diffability only; they do not alter readiness semantics.
 
+## Latest Mainline Increment (2026-04-20 M8.15 Foundation Runtime Criterion-Id Parity)
+
+- Closed the remaining operator-runtime parity gap for derived criterion-id summaries:
+  - `lastFoundationReadiness.promotionCriteriaSatisfiedIds`
+  - `lastFoundationReadiness.promotionCriteriaUnsatisfiedIds`
+- Runtime/operator visibility now mirrors the full typed readiness payload instead of only the unmet subset:
+  - toolbar summaries render both `satisfied ...` and `unmet ...` criterion ids,
+  - diagnostics snapshots keep both arrays for downstream diffing and report exports.
+- Guardrail remains unchanged on `main`:
+  - status stays `in_progress`,
+  - decision stays `no-go`,
+  - runtime 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

@@ -52,6 +52,7 @@ Bundle note:
   - toolbar button `Foundation Readiness`
   - diagnostics snapshot field `lastFoundationReadiness`
   - runbook link `foundation-reentry-readiness-checklist`
+  - runtime snapshots now preserve both `promotionCriteriaSatisfiedIds` and `promotionCriteriaUnsatisfiedIds`
 - Current expected result on `main` is:
   - status `In Progress`
   - decision `No-Go`
@@ -86,6 +87,9 @@ Bundle note:
 - Current expected derived criterion-id summaries on `main` are:
   - `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:
+  - `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:
   - direct verifier/utility usage reports `runtimeProjectRootAligned = true`
   - hermetic runtime/API usage may report `runtimeProjectRootAligned = false` while preserving the same repo-truth readiness payload

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

@@ -314,6 +314,19 @@
   - 决策仍为 `no-go`，
   - 派生 id 列表只提升可比对性，不改变 readiness 语义。
 
+## 主线最新增量（2026-04-20 M8.15 Foundation 运行时条件 ID 对齐）
+
+- 已补齐派生条件 ID 摘要在执行侧运行时中的最后一处对齐缺口：
+  - `lastFoundationReadiness.promotionCriteriaSatisfiedIds`
+  - `lastFoundationReadiness.promotionCriteriaUnsatisfiedIds`
+- 运行时/执行侧可见性现在完整镜像 typed readiness payload，而不再只保留 unmet 子集：
+  - 工具栏摘要会同时显示 `satisfied ...` 与 `unmet ...` 条件 id，
+  - diagnostics snapshot 会保留两组数组，便于后续 diff 与报告导出。
+- `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

@@ -52,6 +52,7 @@
   - 工具栏按钮 `Foundation Readiness`
   - diagnostics snapshot 字段 `lastFoundationReadiness`
   - runbook link `foundation-reentry-readiness-checklist`
+  - runtime snapshot 现在会同时保留 `promotionCriteriaSatisfiedIds` 与 `promotionCriteriaUnsatisfiedIds`
 - 当前主线的预期结果是：
   - 状态 `In Progress`
   - 决策 `No-Go`
@@ -86,6 +87,9 @@
 - 当前 `main` 的预期派生条件 ID 摘要为：
   - `promotionCriteriaSatisfiedIds = [store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present]`
   - `promotionCriteriaUnsatisfiedIds = [graph_backend_independent, vector_backend_independent]`
+- 当前主线预期的运行时/执行侧摘要措辞为：
+  - `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 行为为：
   - 直接 verifier/utility 调用会报告 `runtimeProjectRootAligned = true`
   - hermetic runtime/API 调用可能报告 `runtimeProjectRootAligned = false`，但 readiness 载荷仍必须保持同一份 repo-truth 结论

src/agent_workspace.runtime.behavior.test.ts

@@ -1790,6 +1790,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(
+            'satisfied store_backend_evidence_present, query_backend_boundary_present, vector_backend_present, docs_aligned, readiness_verifier_present'
+        );
         expect(messages.textContent || '').toContain('unmet graph_backend_independent, vector_backend_independent');
         expect(messages.textContent || '').toContain('graph_backend_not_independent');
         expect(messages.textContent || '').toContain('vector_backend_not_independent');
@@ -1817,6 +1820,13 @@ describe('agent workspace runtime behavior', () => {
                 vectorAdapterLinkedIntoQueryBackend: true,
                 repoRootSource: 'cwd',
                 runtimeProjectRootAligned: false,
+                promotionCriteriaSatisfiedIds: [
+                    'store_backend_evidence_present',
+                    'query_backend_boundary_present',
+                    'vector_backend_present',
+                    'docs_aligned',
+                    'readiness_verifier_present',
+                ],
                 promotionCriteriaUnsatisfiedIds: [
                     'graph_backend_independent',
                     'vector_backend_independent',

src/frontend/agent_workspace_runtime.js

@@ -1446,6 +1446,7 @@
                     runtimeProjectRootAligned: false,
                     promotionCriteriaPassed: 0,
                     promotionCriteriaTotal: 0,
+                    promotionCriteriaSatisfiedIds: [],
                     promotionCriteriaUnsatisfiedIds: [],
                     promotionBlockerIds: [],
                     promotionBlockersCount: 0,
@@ -1500,6 +1501,9 @@
                     const promotionCriteriaTotal = Number.isFinite(Number(readiness && readiness.promotionCriteriaTotal))
                         ? Number(readiness && readiness.promotionCriteriaTotal)
                         : promotionCriteria.length;
+                    const promotionCriteriaSatisfiedIds = Array.isArray(readiness && readiness.promotionCriteriaSatisfiedIds)
+                        ? readiness.promotionCriteriaSatisfiedIds.map((entry) => trimString(entry)).filter(Boolean)
+                        : promotionCriteria.filter((entry) => entry.satisfied).map((entry) => entry.criterionId);
                     const promotionCriteriaUnsatisfiedIds = Array.isArray(readiness && readiness.promotionCriteriaUnsatisfiedIds)
                         ? readiness.promotionCriteriaUnsatisfiedIds.map((entry) => trimString(entry)).filter(Boolean)
                         : promotionCriteria.filter((entry) => !entry.satisfied).map((entry) => entry.criterionId);
@@ -1525,6 +1529,7 @@
                         runtimeProjectRootAligned: Boolean(provenance.runtimeProjectRootAligned),
                         promotionCriteriaPassed,
                         promotionCriteriaTotal,
+                        promotionCriteriaSatisfiedIds,
                         promotionCriteriaUnsatisfiedIds,
                         promotionBlockerIds,
                         promotionBlockersCount: promotionBlockerIds.length,
@@ -1537,7 +1542,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}, 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'}, 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',
@@ -1557,6 +1562,7 @@
                                 runtimeProjectRootAligned: Boolean(provenance.runtimeProjectRootAligned) ? 'yes' : 'no',
                                 promotionCriteriaPassed,
                                 promotionCriteriaTotal,
+                                promotionCriteriaSatisfiedIds: promotionCriteriaSatisfiedIds.join(', ') || 'none',
                                 promotionCriteriaUnsatisfiedIds: promotionCriteriaUnsatisfiedIds.join(', ') || 'none',
                                 promotionBlockerIds: promotionBlockerIds.join(', ') || 'none',
                             }
@@ -1583,6 +1589,7 @@
                         runtimeProjectRootAligned: false,
                         promotionCriteriaPassed: 0,
                         promotionCriteriaTotal: 0,
+                        promotionCriteriaSatisfiedIds: [],
                         promotionCriteriaUnsatisfiedIds: [],
                         promotionBlockerIds: [],
                         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}, criteria {promotionCriteriaPassed}/{promotionCriteriaTotal}, 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}, 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."
     }

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

src/server.migration.test.ts

@@ -457,6 +457,13 @@ describe('server migration settings routes', () => {
           }),
           promotionCriteriaPassed: 5,
           promotionCriteriaTotal: 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'