feat: expose readiness criterion id summaries

Jacobinwwey · Jacobinwwey · commit cde8d6c736b0 · 2026-04-20T22:46:04.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
@@ -220,6 +220,11 @@ This document re-baselines current mainline truth on 2026-04-19, records what ch
   - readiness now reports `provenance.runtimeProjectRootAligned`
   - hermetic runtime/API paths can now prove they are reading real repo evidence instead of silently implying local runtime-root alignment
   - overall status still remains `in_progress` / `no-go`.
+- The next bounded execution slice after that makes unmet prerequisite ids directly diffable:
+  - readiness now reports `promotionCriteriaSatisfiedIds`
+  - readiness now reports `promotionCriteriaUnsatisfiedIds`
+  - current mainline unmet ids are `graph_backend_independent` and `vector_backend_independent`
+  - 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
@@ -297,6 +297,23 @@ Execution anchor:
   - decision stays `no-go`,
   - file snapshots still do not qualify as independent graph backend readiness.
 
+## Latest Mainline Increment (2026-04-20 M8.14 Foundation Criterion-Id Summaries)
+
+- Added derived criterion-id summaries so CI and operator tooling can diff prerequisite state without scanning the full criteria array:
+  - `FoundationReadinessReport.promotionCriteriaSatisfiedIds`
+  - `FoundationReadinessReport.promotionCriteriaUnsatisfiedIds`
+- Current mainline unmet criteria are now explicit at the top level:
+  - `graph_backend_independent`
+  - `vector_backend_independent`
+- Runtime/operator visibility stayed aligned:
+  - `scripts/verify-foundation-readiness.js` now prints satisfied and unsatisfied criterion ids,
+  - markdown readiness reports include both id lists inside `Promotion Criteria`,
+  - `src/frontend/agent_workspace_runtime.js` persists `promotionCriteriaUnsatisfiedIds` and surfaces `unmet graph_backend_independent, vector_backend_independent` in the toolbar summary.
+- Guardrail remains unchanged on `main`:
+  - status stays `in_progress`,
+  - decision stays `no-go`,
+  - derived id lists improve diffability only; they do not alter readiness semantics.
+
 ## 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
@@ -83,6 +83,9 @@ Bundle note:
   - passed `5/7`
   - satisfied: `store_backend_evidence_present`, `query_backend_boundary_present`, `vector_backend_present`, `docs_aligned`, `readiness_verifier_present`
   - unsatisfied: `graph_backend_independent`, `vector_backend_independent`
+- 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 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
diff --git a/docs/diataxis/zh/explanation/development-progress-dashboard.md b/docs/diataxis/zh/explanation/development-progress-dashboard.md
@@ -297,6 +297,23 @@
   - 决策仍为 `no-go`，
   - file snapshot 仍不构成独立 graph backend readiness。
 
+## 主线最新增量（2026-04-20 M8.14 Foundation 条件 ID 摘要）
+
+- 已新增派生条件 ID 摘要，CI 与执行侧不再需要扫描整段 criteria 数组才能比对 prerequisite 状态：
+  - `FoundationReadinessReport.promotionCriteriaSatisfiedIds`
+  - `FoundationReadinessReport.promotionCriteriaUnsatisfiedIds`
+- 当前主线未满足条件现在可直接读取：
+  - `graph_backend_independent`
+  - `vector_backend_independent`
+- 运行时/执行侧可见性保持对齐：
+  - `scripts/verify-foundation-readiness.js` 现在会输出 satisfied / unsatisfied criterion ids，
+  - readiness markdown 报告会在 `Promotion Criteria` 小节中同时写出两组 id，
+  - `src/frontend/agent_workspace_runtime.js` 会保留 `promotionCriteriaUnsatisfiedIds`，并在工具栏摘要里显示 `unmet graph_backend_independent, vector_backend_independent`。
+- `main` 上的护栏结论保持不变：
+  - 状态仍为 `in_progress`，
+  - 决策仍为 `no-go`，
+  - 派生 id 列表只提升可比对性，不改变 readiness 语义。
+
 ## 主线最新增量（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
@@ -83,6 +83,9 @@
   - 通过 `5/7`
   - 已满足：`store_backend_evidence_present`、`query_backend_boundary_present`、`vector_backend_present`、`docs_aligned`、`readiness_verifier_present`
   - 未满足：`graph_backend_independent`、`vector_backend_independent`
+- 当前 `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]`
 - 当前预期 provenance 行为为：
   - 直接 verifier/utility 调用会报告 `runtimeProjectRootAligned = true`
   - hermetic runtime/API 调用可能报告 `runtimeProjectRootAligned = false`，但 readiness 载荷仍必须保持同一份 repo-truth 结论
diff --git a/scripts/foundation-readiness-utils.js b/scripts/foundation-readiness-utils.js
@@ -336,6 +336,12 @@ function evaluateFoundationReadiness(options = {}) {
   ];
   const promotionCriteriaPassed = promotionCriteria.filter((entry) => entry.satisfied).length;
   const promotionCriteriaTotal = promotionCriteria.length;
+  const promotionCriteriaSatisfiedIds = promotionCriteria
+    .filter((entry) => entry.satisfied)
+    .map((entry) => entry.criterionId);
+  const promotionCriteriaUnsatisfiedIds = promotionCriteria
+    .filter((entry) => !entry.satisfied)
+    .map((entry) => entry.criterionId);
 
   const promotionBlockers = [];
   const recommendations = [];
@@ -480,6 +486,8 @@ function evaluateFoundationReadiness(options = {}) {
     mandatoryChecks,
     promotionCriteriaPassed,
     promotionCriteriaTotal,
+    promotionCriteriaSatisfiedIds,
+    promotionCriteriaUnsatisfiedIds,
     promotionCriteria,
     promotionBlockers,
     recommendations,
@@ -545,6 +553,8 @@ function formatFoundationReadinessMarkdown(result, reportPaths) {
 
   lines.push('', '## Promotion Criteria', '');
   lines.push(`- Passed: ${result.promotionCriteriaPassed}/${result.promotionCriteriaTotal}`);
+  lines.push(`- Satisfied ids: ${result.promotionCriteriaSatisfiedIds.join(', ') || 'none'}`);
+  lines.push(`- Unsatisfied ids: ${result.promotionCriteriaUnsatisfiedIds.join(', ') || 'none'}`);
   result.promotionCriteria.forEach((entry) => {
     lines.push(`- ${entry.criterionId}: ${entry.satisfied ? 'yes' : 'no'} (${entry.summary})`);
   });
diff --git a/scripts/verify-foundation-readiness.js b/scripts/verify-foundation-readiness.js
@@ -56,6 +56,12 @@ function printHumanReport(result, reportPaths) {
   console.log(
     `[Foundation Readiness] Promotion criteria: ${result.promotionCriteriaPassed}/${result.promotionCriteriaTotal}`
   );
+  console.log(
+    `[Foundation Readiness] Promotion criteria satisfied ids: ${result.promotionCriteriaSatisfiedIds.join(', ') || 'none'}`
+  );
+  console.log(
+    `[Foundation Readiness] Promotion criteria unsatisfied ids: ${result.promotionCriteriaUnsatisfiedIds.join(', ') || 'none'}`
+  );
   result.promotionCriteria.forEach((entry) => {
     console.log(
       `  - ${entry.criterionId}: ${entry.satisfied ? 'yes' : 'no'} (${entry.summary})`
diff --git a/src/agent_workspace.runtime.behavior.test.ts b/src/agent_workspace.runtime.behavior.test.ts
@@ -1694,6 +1694,17 @@ describe('agent workspace runtime behavior', () => {
                     },
                     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',
+                    ],
                     promotionCriteria: [
                         {
                             criterionId: 'store_backend_evidence_present',
@@ -1779,6 +1790,7 @@ 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('unmet graph_backend_independent, vector_backend_independent');
         expect(messages.textContent || '').toContain('graph_backend_not_independent');
         expect(messages.textContent || '').toContain('vector_backend_not_independent');
         expect(messages.textContent || '').toContain('criteria 5/7');
@@ -1805,6 +1817,10 @@ describe('agent workspace runtime behavior', () => {
                 vectorAdapterLinkedIntoQueryBackend: true,
                 repoRootSource: 'cwd',
                 runtimeProjectRootAligned: false,
+                promotionCriteriaUnsatisfiedIds: [
+                    'graph_backend_independent',
+                    'vector_backend_independent',
+                ],
                 promotionBlockerIds: [
                     'graph_backend_not_independent',
                     'vector_backend_not_independent',
diff --git a/src/foundation.readiness.contract.test.ts b/src/foundation.readiness.contract.test.ts
@@ -39,6 +39,24 @@ type FoundationReadinessResult = {
   };
   promotionCriteriaPassed: number;
   promotionCriteriaTotal: number;
+  promotionCriteriaSatisfiedIds: Array<
+    | 'store_backend_evidence_present'
+    | 'graph_backend_independent'
+    | 'query_backend_boundary_present'
+    | 'vector_backend_present'
+    | 'vector_backend_independent'
+    | 'docs_aligned'
+    | 'readiness_verifier_present'
+  >;
+  promotionCriteriaUnsatisfiedIds: Array<
+    | 'store_backend_evidence_present'
+    | 'graph_backend_independent'
+    | 'query_backend_boundary_present'
+    | 'vector_backend_present'
+    | 'vector_backend_independent'
+    | 'docs_aligned'
+    | 'readiness_verifier_present'
+  >;
   promotionCriteria: Array<{
     criterionId:
       | 'store_backend_evidence_present'
@@ -168,6 +186,17 @@ describe('foundation readiness contract', () => {
     });
     expect(result.promotionCriteriaPassed).toBe(5);
     expect(result.promotionCriteriaTotal).toBe(7);
+    expect(result.promotionCriteriaSatisfiedIds).toEqual([
+      'store_backend_evidence_present',
+      'query_backend_boundary_present',
+      'vector_backend_present',
+      'docs_aligned',
+      'readiness_verifier_present',
+    ]);
+    expect(result.promotionCriteriaUnsatisfiedIds).toEqual([
+      'graph_backend_independent',
+      'vector_backend_independent',
+    ]);
     expect(result.promotionCriteria.map((entry) => entry.criterionId)).toEqual([
       'store_backend_evidence_present',
       'graph_backend_independent',
@@ -265,6 +294,17 @@ describe('foundation readiness contract', () => {
     });
     expect(result.promotionCriteriaPassed).toBe(6);
     expect(result.promotionCriteriaTotal).toBe(7);
+    expect(result.promotionCriteriaSatisfiedIds).toEqual([
+      'store_backend_evidence_present',
+      'query_backend_boundary_present',
+      'vector_backend_present',
+      'vector_backend_independent',
+      'docs_aligned',
+      'readiness_verifier_present',
+    ]);
+    expect(result.promotionCriteriaUnsatisfiedIds).toEqual([
+      'graph_backend_independent',
+    ]);
     expect(
       result.promotionCriteria
         .filter((entry) => entry.satisfied)
@@ -350,6 +390,16 @@ describe('foundation readiness contract', () => {
     });
     expect(result.promotionCriteriaPassed).toBe(7);
     expect(result.promotionCriteriaTotal).toBe(7);
+    expect(result.promotionCriteriaSatisfiedIds).toEqual([
+      'store_backend_evidence_present',
+      'graph_backend_independent',
+      'query_backend_boundary_present',
+      'vector_backend_present',
+      'vector_backend_independent',
+      'docs_aligned',
+      'readiness_verifier_present',
+    ]);
+    expect(result.promotionCriteriaUnsatisfiedIds).toEqual([]);
     expect(result.promotionCriteria.every((entry) => entry.satisfied)).toBe(true);
     expect(result.promotionBlockers).toEqual([]);
   });
@@ -401,6 +451,17 @@ describe('foundation readiness contract', () => {
     });
     expect(result.promotionCriteriaPassed).toBe(3);
     expect(result.promotionCriteriaTotal).toBe(7);
+    expect(result.promotionCriteriaSatisfiedIds).toEqual([
+      'store_backend_evidence_present',
+      'docs_aligned',
+      'readiness_verifier_present',
+    ]);
+    expect(result.promotionCriteriaUnsatisfiedIds).toEqual([
+      'graph_backend_independent',
+      'query_backend_boundary_present',
+      'vector_backend_present',
+      'vector_backend_independent',
+    ]);
     expect(
       result.promotionCriteria
         .filter((entry) => entry.satisfied)
diff --git a/src/frontend/agent_workspace_runtime.js b/src/frontend/agent_workspace_runtime.js
@@ -1446,6 +1446,7 @@
                     runtimeProjectRootAligned: false,
                     promotionCriteriaPassed: 0,
                     promotionCriteriaTotal: 0,
+                    promotionCriteriaUnsatisfiedIds: [],
                     promotionBlockerIds: [],
                     promotionBlockersCount: 0,
                     recommendationsCount: 0,
@@ -1499,6 +1500,9 @@
                     const promotionCriteriaTotal = Number.isFinite(Number(readiness && readiness.promotionCriteriaTotal))
                         ? Number(readiness && readiness.promotionCriteriaTotal)
                         : promotionCriteria.length;
+                    const promotionCriteriaUnsatisfiedIds = Array.isArray(readiness && readiness.promotionCriteriaUnsatisfiedIds)
+                        ? readiness.promotionCriteriaUnsatisfiedIds.map((entry) => trimString(entry)).filter(Boolean)
+                        : promotionCriteria.filter((entry) => !entry.satisfied).map((entry) => entry.criterionId);
                     diagnostics.lastFoundationReadiness = {
                         requestedAt,
                         respondedAt: nowIso(),
@@ -1521,6 +1525,7 @@
                         runtimeProjectRootAligned: Boolean(provenance.runtimeProjectRootAligned),
                         promotionCriteriaPassed,
                         promotionCriteriaTotal,
+                        promotionCriteriaUnsatisfiedIds,
                         promotionBlockerIds,
                         promotionBlockersCount: promotionBlockerIds.length,
                         recommendationsCount,
@@ -1532,7 +1537,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}, 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}, unmet ${promotionCriteriaUnsatisfiedIds.join(', ') || 'none'}, blockers ${promotionBlockerIds.join(', ') || 'none'}).`,
                             {
                                 status: trimString(readiness && readiness.status) || 'unknown',
                                 decision: trimString(readiness && readiness.decision) || 'unknown',
@@ -1552,6 +1557,7 @@
                                 runtimeProjectRootAligned: Boolean(provenance.runtimeProjectRootAligned) ? 'yes' : 'no',
                                 promotionCriteriaPassed,
                                 promotionCriteriaTotal,
+                                promotionCriteriaUnsatisfiedIds: promotionCriteriaUnsatisfiedIds.join(', ') || 'none',
                                 promotionBlockerIds: promotionBlockerIds.join(', ') || 'none',
                             }
                         )
@@ -1577,6 +1583,7 @@
                         runtimeProjectRootAligned: false,
                         promotionCriteriaPassed: 0,
                         promotionCriteriaTotal: 0,
+                        promotionCriteriaUnsatisfiedIds: [],
                         promotionBlockerIds: [],
                         promotionBlockersCount: 0,
                         recommendationsCount: 0,
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}, 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}, 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
diff --git a/src/learning/KnowledgeLearningPlatform.test.ts b/src/learning/KnowledgeLearningPlatform.test.ts
diff --git a/src/learning/types.ts b/src/learning/types.ts
diff --git a/src/server.migration.test.ts b/src/server.migration.test.ts
