create-yss-spec 3.0.1 → 3.1.3

package/template/docs/process/frontend-backend-delivery.md

@@ -0,0 +1,72 @@
+# 前后端交付与联合接收
+
+本合同适用于 `profile_id: harness.frontend-delivery`、profile 中 `frontend_delivery.required: true` 或显式绑定 `frontend_delivery` 的工作。它补充既有切片就绪和前端还原验证条件，不另起生命周期或批准入口。旧通用研发 profile 未选择该路线时维持原行为。
+
+## 职责与先后关系
+
+战略方维护业务规则、Spec、页面流程和视觉基线；后端维护 API 及后端交付；前端维护工程设计、页面和验收证据；统一管理方维护基线引用、跨仓切片与业务验收汇总。
+
+前端消费需求可在上游设计时提前反馈。前端项目在战略和后端交付尚未齐备时，只能验包、诊断和回交缺口。两类输入通过接收核验后，可以准备前端工程设计、实现计划和 Slice Contract；合同获准前不得写代码。
+
+## 后端导出与前端导入
+
+后端每个交付包绑定一个窄业务切片。交付描述采用 `schemas/backend-delivery.schema.json`，包含战略包路径与摘要、切片规则/场景、OpenAPI operationId、冻结接口和后端 Slice Contract 的批准绑定、构建与部署身份、测试数据准备说明及验证证据。
+
+接口和 Slice Contract 的 `digest` 均为原文件字节 SHA-256，分别由既有 `gate.openapi-frozen` 和 `gate.slice-contract-approved` 的批准记录绑定。同包携带源角色政策及所需用户决定/批准证据；接收端按源政策验证，不能只填 `status: approved`。
+
+验证记录采用 `schemas/backend-delivery-verification.schema.json`，`subject_digest` 使用 `backendDeliveryBasis()`。实际命令、执行时间、零退出码与日志摘要必须齐备；契约验证逐条覆盖交付接口及场景的成功/失败结果。`supporting_files` 显式列出批准或用户决定的其余本地依赖；导出时通过临时源视图验证闭包，漏文件会失败。
+
+```bash
+scripts/backend-delivery export --source-root <backend> --delivery <relative-delivery.json> --output <new-directory> --zip
+scripts/backend-delivery verify --bundle <directory-or-zip>
+scripts/backend-delivery import --bundle <directory-or-zip> --target-root <frontend>
+```
+
+后端交付保存于 `docs/backend-deliveries/<delivery-id>/<version>/`。战略快照自动通过既有工具导入 `docs/handoffs/`；两种包各自原子落盘、重复导入幂等，同身份版本不同内容拒绝。后端接收失败后已成功导入的战略快照可以保留并在重试时复用，不自动放行工作。
+
+目录和 ZIP 使用同一逻辑包摘要。只携带不可变文件与包内路径映射，不要求源仓或兄弟仓存在，不执行来源代码，不打包运行时凭据；目标根 `CONTEXT.md` 仍由目标维护者对账。
+
+## 接收与启动
+
+导入只产生 `frontend-acceptance-draft.json`，不会批准资产。接收方完成正式词汇对账并按 `schemas/frontend-delivery-acceptance.schema.json` 准备接收记录：
+
+- `backend_delivery` 绑定后端导入收据和包摘要。
+- `strategic_handoff` 绑定战略导入收据、包摘要、正式 `context_reconciliation_ref` 和全部源规则/关键场景的承接 rows。
+- `frontend_cases` 绑定业务规则/场景、成功或失败结果、已交付接口、Visual Baseline `case_id` 和可读取的用例说明。
+- 已规划的承接使用 `mapped`，表示已映射用例，不声称代码已实现。当前交付范围必须 mapped 到当前切片；其他范围的 pending、conflict、deferred 或 not-applicable 沿用战略逐条承接的理由、证据和依赖阻断规则。
+
+完成接收核对后记录 `status: accepted` 并执行：
+
+```bash
+scripts/verify-frontend-delivery --root <frontend> --slice <slice-id> <relative-acceptance.json>
+```
+
+工具重新验两类包及批准、当前目标词汇、已知战略变更、最新已导入后端版本、场景映射和真实服务。成功仅返回 `inputs-verified`、`ready_for_agent: false`，供准备前端实现资产使用；`accepted` 字段本身不能证明就绪。
+
+编译输入传入 `slice_id`、`frontend_delivery.acceptance_ref`；编译结果冻结 `frontend_delivery.digest`（接收文件字节摘要）。正式 Slice Contract 保存为 `frontend.delivery`，也可消费 `resolution.frontend_delivery`。两个位置同时出现时须相同。实施、派发和恢复从已持久化合同读取这组绑定，再实际运行校验器；旧成功输出不作为新的放行证据。
+
+前端计划和正式验证证据绑定 `slice_id` 与 `frontend_delivery`；验证阶段另绑定 `slice_contract_ref`。Task Package 的实现任务从 `contract.slice_contract_ref` 读取绑定，准备任务使用 `slice_id` 与 `frontend_delivery`。模板维护或只读接收诊断不冒充产品实现任务。
+
+## 真实服务检查
+
+环境提供一个可只读探测的 JSON 版本响应，`revision_path` 和 JSON Pointer 由交付描述登记，不假定业务服务已有固定端点。响应须匹配 `deployment_id`、`source_commit`、`openapi_digest`、`artifact_digest` 和 `test_data_digest`；最后一项绑定已准备的数据说明/数据集版本。不能提供这些可核验身份时先补部署证据与探测能力。
+
+探测使用 GET、同 origin、不跟随重定向和有界超时。受保护探测通过 `authorization_env` 指定当前执行环境提供 Authorization 值的变量名；包和输出不携带其值。
+
+版本响应通过只证明当前服务身份可达，业务接口正确性仍依赖同基线的后端契约测试及后续真实联调。离线验包不能证明服务当前可用，也不能证明未同步源仓没有新变化。
+
+## 变更与完成
+
+战略变化使用现有规则/场景及设计基线的依赖失效规则。最新已导入的同身份后端交付使旧接收记录失效。不同切片采用不同后端交付身份，避免不相关切片互相阻塞。依赖未知时扩大阻断；缺口回交资产维护方，业务规则冲突回战略方。
+
+后端可交接、前端可验收和业务切片完成分开记录。最终业务验收绑定同一战略、API、后端部署和前端版本，复用既有视觉、交互、权限/失败场景、端到端和 Fresh Verification 条件；验包不替代其中任何一项。
+
+## 维护与验证
+
+共享实现由当前主模板维护，通过 `scripts/sync-strategic-handoff-tools` 分发；canonical Skill 变更后生成运行时投影与 lock。新/旧模板的实例初始化与 sync 不静默转换 profile。场景入口为 `scripts/verify-frontend-delivery-scenarios`，通过临时实例和明确标注的合成测试服务验证行为，不作为具体产品的交付证据。
+
+前端 `frontend_cases` 的 `evidence_ref` 必须同时绑定 `evidence_digest`（原始文件字节 SHA-256）。用例内容变化后须更新接收记录并重编译依赖合同。
+
+OpenAPI Freeze 的来源门禁兼容综合模板 `gate.openapi-frozen` 与研发模板 `gate.openapi-freeze-confirmed`；仍严格校验来源角色策略及批准字节绑定，不允许其他门禁代替。每个交付范围至少包含一个带成功/失败验证的战略场景。
+
+生命周期中的稳定入口为 `gate.frontend-delivery-inputs-verified`，定义见各自 `lifecycle-registry.yaml`；角色表将它登记为 evidence_only，实际核验仍由脚本执行，不增设人工批准，也不替代 Slice Contract 的批准门禁。

package/template/docs/process/harness-executive-blueprint.md

@@ -2,7 +2,7 @@
 
 Harness 以仓库身份、影响面、条件门禁和可读证据串联研发流程。执行编排器只推进第一个未阻塞工作单元，并在人工暂停、handoff、实现、合并和发布边界集中回写 checkpoint。
 
-## 核心不变量
+## 核心约束
 
 - `template-source` 只维护流程模板，不生成具体产品资产。
 - `project-instance` 必须从最近可信阶段进入，不以目录猜测门禁状态。

package/template/docs/process/harness-process-tailoring.md

@@ -49,6 +49,7 @@
 ## 5. 上下文、反证与质量基线裁剪
 
 - Slice Contract 的 `common.context_plan` 是实现上下文的唯一轻量计划：先读 `CONTEXT.md`、已批准 Spec、当前合同和适用 ADR / 工程基线，再按影响面按需加载 references；达到最小充分证据后停止扩展。缺失权威上下文只能 `blocked` 或 `reroute`。
+- `project-instance` 的所有生命周期工作单元在批准或 `next_route` 前必须生成并校验 `context_reconciliation`；它绑定根目录唯一 `CONTEXT.md`、结构化术语引用以及全文/引用集双摘要，是横切证据而不是新增 gate。`template-source` 维护只验证模板、schema、场景和分发投影，结果记录带原因的 `not-applicable`。
 - 质量标准在 `engineering-baseline` 中定义一次，以 `baseline_id` / `baseline_version` 被 Slice Contract、YSS Skill Execution Result、`code-review` 和发布检查复用；切片不得重定义同一标准。约束结果统一写入 `constraint_results`。
 - 只有命中高风险影响时才要求 Doubt-Driven 在途反证：API / 数据迁移、跨仓契约、发布回滚、实际改变的安全行为、生命周期或生成语义。反证写入现有决策 / 架构 / 契约 / 发布审查记录，不新增生命周期阶段；缺少反证、证据不足或残余风险未处理即阻断。
 - Wayfinder 是超长工作的可选规划模式，不改变阶段、门禁或 Ticket 状态；地图收敛后按 `wayfinder → handoff → to-spec` 返回主链。

package/template/docs/process/implementation-repo-integration.md

@@ -66,6 +66,8 @@ apps/
 
 ## 2. 影响面路由
 
+采用后端交付驱动前端的专职项目，按 [前后端交付与联合接收](frontend-backend-delivery.md) 执行输入校验。该条件同时进入合同编译、任务派发、生命周期实施/恢复和正式前端证据检查；原通用研发 profile 保留兼容，不能以兼容入口替专职项目跳过接收。
+
 | 影响面 | 必须绑定的记录 | 本变更结论 |
 |---|---|---|
 | Harness-only | change、文档路径、压力场景、fresh verification、checkpoint | required：模板仓库、CLI 仓库 |

package/template/docs/process/lifecycle-artifact-map.md

@@ -26,8 +26,9 @@
 
 | 稳定 ID | 门禁 | 所属阶段 | 触发条件 | 前置门禁 | 必须留下的证据 |
 |---|---|---|---|---|---|
+| `gate.frontend-delivery-inputs-verified` | 前端联合输入核验 | `stage.system-data-engineering` | 专职前端 profile 或显式 frontend_delivery 绑定的任务启动、恢复、合同编译、实现和验证；实际执行 scripts/verify-frontend-delivery，输入就绪不等于实现获批。 | 无 | `evidence.fresh-verification` |
 | `gate.repository-identity-valid` | 仓库身份校验 | `stage.entry-triage` | 每次进入流程。 | 无 | `evidence.repository-identity-check` |
-| `gate.domain-strategy-approved` | DDD 战略设计批准 | `stage.discovery` | 存在 DDD 战略设计影响或需要确定领域边界、统一语言和核心规则。 | 无 | `evidence.domain-strategy-review`、`evidence.approval-record` |
+| `gate.domain-strategy-approved` | 业务边界与规则确认 | `stage.discovery` | 需要确定业务板块、业务责任区、统一业务词汇、协作关系或关键规则。 | 无 | `evidence.domain-strategy-review`、`evidence.approval-record` |
 | `gate.stage-decision-package-approved` | 阶段决策包批准 | `stage.discovery` | Discovery 到 Spec 入口需要稳定的阶段决策合同。 | `gate.domain-strategy-approved` | `evidence.stage-decision-package`、`evidence.approval-record` |
 | `gate.spec-baseline-approved` | Spec 基线批准 | `stage.spec-architecture` | 新功能、行为变化或范围扩大进入 Spec 基线。 | 无 | `evidence.approval-record` |
 | `gate.prototype-reviewed` | 原型评审 | `stage.product-design` | 命中产品设计影响，且低保真页面、流程、状态或 API 反推需要独立评审。 | 无 | `evidence.prototype-review-result` |
@@ -48,8 +49,8 @@
 | 稳定 ID | 产物 | 所属阶段 | 触发条件 |
 |---|---|---|---|
 | `artifact.impact-assessment` | 影响面分析 | `stage.entry-triage` | 每次变更。 |
-| `artifact.domain-strategy` | DDD 战略设计 | `stage.discovery` | 新产品/模块、跨上下文功能、统一语言冲突、服务边界或核心规则变化。 |
-| `artifact.stage-decision-package` | 阶段决策包 | `stage.discovery` | Discovery 到 Spec 入口需要结构化上游决策。 |
+| `artifact.domain-strategy` | 业务边界与规则设计 | `stage.discovery` | 新产品/模块、跨责任区协作、业务词汇冲突、责任边界或关键规则变化。 |
+| `artifact.stage-decision-package` | 方案决策包 | `stage.discovery` | Discovery 到 Spec 入口需要结构化上游决策。 |
 | `artifact.discovery-record` | Discovery 记录 | `stage.discovery` | 新问题或边界不清。 |
 | `artifact.spec` | Spec | `stage.spec-architecture` | 新功能、行为变化或范围扩大。 |
 | `artifact.product-overview` | 产品总体设计 | `stage.spec-architecture` | 进入 Spec 基线。 |
@@ -78,8 +79,9 @@
 
 | 稳定 ID | 证据 | 说明 |
 |---|---|---|
+| `evidence.context-reconciliation` | Context Reconciliation 证据 | 工作单元在批准或流转前对根目录唯一 CONTEXT.md 的稳定术语回写、作用域解析和双摘要核对结果；不新增门禁。 |
 | `evidence.impact-assessment` | 影响面分析记录 | 受影响仓库、资产、风险与最近可信阶段。 |
-| `evidence.domain-strategy-review` | DDD 战略设计评审证据 | 子域、限界上下文、统一语言、Context Map、场景和不变量的结构化评审结果。 |
+| `evidence.domain-strategy-review` | 业务边界与规则评审证据 | 业务板块、业务责任区、统一业务词汇、协作与交接关系、关键场景和不可违反规则的结构化评审结果。 |
 | `evidence.tactical-design-review` | DDD 战术设计评审证据 | 聚合、Entity、Value Object、不变量、状态机、一致性、Gateway 与 API 隔离的结构化评审结果。 |
 | `evidence.stage-decision-package` | 阶段决策包验证证据 | 阶段决策包的 Schema、引用、语义一致性、影响传播和下游消费验证结果。 |
 | `evidence.maintenance-intensity-checkpoint` | 模板维护强度 checkpoint | template-source 变更的 L1 / L2 / L3 分级、触发项、最低验证证据、review 模式和升级记录。 |

package/template/docs/process/lifecycle-registry-baseline.json

@@ -1,7 +1,7 @@
 {
   "schema_version": 1,
   "registry_id": "yss.lifecycle",
-  "semantic_sha256": "6fe3accf810dda1686080f1dd32f9393b22fa006acceb89ff17cb5668a8a67a6",
+  "semantic_sha256": "7757565261e3290046cd31d6b4287fc1e5ec8bdf7fae4735b0be8ac882e87b8d",
   "published_ids": [
     "artifact.architecture-review",
     "artifact.data-architecture",
@@ -19,8 +19,8 @@
     "artifact.openapi-freeze-record",
     "artifact.parent-ticket",
     "artifact.product-overview",
-    "artifact.prototype-deliverable",
     "artifact.prototype-confirmation",
+    "artifact.prototype-deliverable",
     "artifact.prototype-review",
     "artifact.retrospective",
     "artifact.slice-implementation-contract",
@@ -34,6 +34,7 @@
     "evidence.approval-record",
     "evidence.browser-prototype-verification",
     "evidence.checkpoint-and-rollback",
+    "evidence.context-reconciliation",
     "evidence.contract-approval",
     "evidence.design-review-result",
     "evidence.domain-strategy-review",
@@ -54,6 +55,7 @@
     "gate.design-reviewed",
     "gate.domain-strategy-approved",
     "gate.engineering-baseline-accepted",
+    "gate.frontend-delivery-inputs-verified",
     "gate.frontend-implementation-verified",
     "gate.openapi-draft-reviewed",
     "gate.openapi-frozen",
@@ -81,20 +83,21 @@
     "work-unit.domain-strategy-design",
     "work-unit.entry-triage",
     "work-unit.fresh-verification",
+    "work-unit.frontend-implementation-verification",
     "work-unit.independent-review",
     "work-unit.intensity-aware-review",
     "work-unit.intensity-aware-verification",
-    "work-unit.frontend-implementation-verification",
     "work-unit.prototype-design",
     "work-unit.release-and-retrospective",
     "work-unit.release-and-rollback",
+    "work-unit.service-project-initialization",
     "work-unit.skill-projection-sync",
     "work-unit.slice-implementation",
     "work-unit.spec-synthesis",
     "work-unit.ssot-update",
     "work-unit.stage-decision",
     "work-unit.technical-analysis",
-    "work-unit.ticket-decomposition",
-    "work-unit.template-snapshot-build"
+    "work-unit.template-snapshot-build",
+    "work-unit.ticket-decomposition"
   ]
 }

package/template/docs/process/lifecycle-registry.yaml

@@ -45,12 +45,17 @@ stages:
     exit_criteria: 所有命中门禁通过，人工审查点已完成，checkpoint 可追溯。
 
 evidence:
+  - id: evidence.context-reconciliation
+    name: Context Reconciliation 证据
+    description: 工作单元在批准或流转前对根目录唯一 CONTEXT.md 的稳定术语回写、作用域解析和双摘要核对结果；不新增门禁。
   - id: evidence.impact-assessment
     name: 影响面分析记录
     description: 受影响仓库、资产、风险与最近可信阶段。
   - id: evidence.domain-strategy-review
     name: DDD 战略设计评审证据
     description: 子域、限界上下文、统一语言、Context Map、场景和不变量的结构化评审结果。
+    public_name: 业务边界与规则评审证据
+    public_description: 业务板块、业务责任区、统一业务词汇、协作与交接关系、关键场景和不可违反规则的结构化评审结果。
   - id: evidence.tactical-design-review
     name: DDD 战术设计评审证据
     description: 聚合、Entity、Value Object、不变量、状态机、一致性、Gateway 与 API 隔离的结构化评审结果。
@@ -107,6 +112,11 @@ evidence:
     description: 可追溯的变更边界、发布记录和恢复动作。
 
 gates:
+  - id: gate.frontend-delivery-inputs-verified
+    name: 前端联合输入核验
+    stage: stage.system-data-engineering
+    trigger: 专职前端 profile 或显式 frontend_delivery 绑定的任务启动、恢复、合同编译、实现和验证；实际执行 scripts/verify-frontend-delivery，输入就绪不等于实现获批。
+    evidence: [evidence.fresh-verification]
   - id: gate.repository-identity-valid
     name: 仓库身份校验
     stage: stage.entry-triage
@@ -116,6 +126,8 @@ gates:
     name: DDD 战略设计批准
     stage: stage.discovery
     trigger: 存在 DDD 战略设计影响或需要确定领域边界、统一语言和核心规则。
+    public_name: 业务边界与规则确认
+    public_trigger: 需要确定业务板块、业务责任区、统一业务词汇、协作关系或关键规则。
     evidence: [evidence.domain-strategy-review, evidence.approval-record]
   - id: gate.stage-decision-package-approved
     name: 阶段决策包批准
@@ -199,10 +211,13 @@ artifacts:
     name: DDD 战略设计
     stage: stage.discovery
     trigger: 新产品/模块、跨上下文功能、统一语言冲突、服务边界或核心规则变化。
+    public_name: 业务边界与规则设计
+    public_trigger: 新产品/模块、跨责任区协作、业务词汇冲突、责任边界或关键规则变化。
   - id: artifact.stage-decision-package
     name: 阶段决策包
     stage: stage.discovery
     trigger: Discovery 到 Spec 入口需要结构化上游决策。
+    public_name: 方案决策包
   - id: artifact.discovery-record
     name: Discovery 记录
     stage: stage.discovery
@@ -363,12 +378,18 @@ work_units:
     input: 已澄清的业务场景、领域词汇、约束和现有上下文。
     output: 子域、限界上下文、Context Map、统一语言、事件、核心领域概念候选和不变量。
     completion: 边界、语义方向、规则所有权和关键场景可审查；无未解释冲突。
+    public_name: 业务边界与协作梳理
+    public_input: 已澄清的业务故事、业务词汇、约束和现有协作关系。
+    public_output: 业务板块、业务责任区、协作与交接关系、统一业务词汇、已发生的业务事实、待确认的关键业务对象和不可违反的业务规则。
   - id: work-unit.stage-decision
     name: 阶段决策包综合
     scope: project-instance
     input: Discovery、DDD 战略设计以及产品经理负责的商业约束输入。
     output: 带版本、digest、证据和下游映射的阶段决策包。
     completion: 必填字段、引用、影响面和下游消费验证通过；批准门禁完成。
+    public_name: 方案决策包综合
+    public_input: Discovery、业务边界与规则设计以及产品经理负责的商业约束输入。
+    public_output: 带版本、digest、证据和下游映射的方案决策包。
   - id: work-unit.spec-synthesis
     name: Spec 综合
     scope: project-instance
@@ -387,6 +408,12 @@ work_units:
     input: Spec、原型、API/数据/工程影响面。
     output: OpenAPI、数据架构、Tactical DDD Check、工程基线、架构审查和 Slice 合同草案。
     completion: 命中契约已冻结；无 API 影响有可读记录；命中领域影响时战术模型无未解释冲突；工程基线通过。
+  - id: work-unit.service-project-initialization
+    name: 独立服务项目初始化
+    scope: project-instance
+    input: 逐项目批准的架构决策、schema v3 初始化合同、战略上下文交接及目标/skillUtils 写范围。
+    output: 独立 Git project-instance、锁定 skillUtils、唯一根 CONTEXT、架构身份、Manifest 和验证证据；父项目仅保留引用。
+    completion: 当前合同与交接摘要一致，真实 Wrapper 三命令通过后仅 empty-scaffold-verified；首切片仍须独立批准和验证。
   - id: work-unit.ticket-decomposition
     name: 垂直切片 Ticket 正式化
     scope: project-instance

package/template/docs/process/schemas/backend-architecture-identity.schema.json

@@ -0,0 +1,19 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://yss.local/schemas/backend-architecture-identity.schema.json",
+  "title": "后端架构身份",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["architecture_family", "architecture_profile", "generator_skill", "requested_capabilities", "resolved_modules", "contract_digest", "verification_database", "production_database"],
+  "properties": {
+    "architecture_family": {"enum": ["domain-driven", "layered-mvc"]},
+    "architecture_profile": {"enum": ["target-domain-model", "layered-mvc-service", "mvc-data-analysis-v1"]},
+    "generator_skill": {"type": "string", "minLength": 1},
+    "requested_capabilities": {"type": "array", "uniqueItems": true, "items": {"type": "string"}},
+    "resolved_modules": {"type": "array", "minItems": 1, "uniqueItems": true, "items": {"type": "string"}},
+    "contract_digest": {"type": "string", "pattern": "^(sha256:)?[a-f0-9]{64}$"},
+    "verification_database": {"const": "h2"},
+    "production_database": {"const": "not-bound"}
+  },
+  "description": "各 Manifest kind、工程基线、仓库登记、Slice/work unit/Execution Result 引用此 schema；具体 Profile/生成器/模块闭包由 yss-skill-registry.yaml 定义并由 backend-architecture.mjs 校验。"
+}

package/template/docs/process/schemas/backend-delivery-verification.schema.json

@@ -0,0 +1,113 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "type": "object",
+  "additionalProperties": false,
+  "properties": {
+    "schema_version": {
+      "const": 1
+    },
+    "kind": {
+      "enum": [
+        "backend-contract",
+        "backend-deployment"
+      ]
+    },
+    "subject_digest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "results": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "properties": {
+          "command": {
+            "type": "string",
+            "minLength": 1
+          },
+          "executed_at": {
+            "type": "string",
+            "minLength": 1
+          },
+          "exit_code": {
+            "const": 0
+          },
+          "evidence": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "properties": {
+                "ref": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "digest": {
+                  "type": "string",
+                  "pattern": "^sha256:[0-9a-f]{64}$"
+                }
+              },
+              "required": [
+                "ref",
+                "digest"
+              ]
+            },
+            "minItems": 1,
+            "uniqueItems": true
+          }
+        },
+        "required": [
+          "command",
+          "executed_at",
+          "exit_code",
+          "evidence"
+        ]
+      },
+      "minItems": 1,
+      "uniqueItems": true
+    },
+    "operation_ids": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1
+      },
+      "minItems": 0,
+      "uniqueItems": true
+    },
+    "coverage": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "properties": {
+          "source_id": {
+            "type": "string",
+            "minLength": 1
+          },
+          "outcome": {
+            "enum": [
+              "success",
+              "failure"
+            ]
+          }
+        },
+        "required": [
+          "source_id",
+          "outcome"
+        ]
+      },
+      "minItems": 0,
+      "uniqueItems": true
+    }
+  },
+  "required": [
+    "schema_version",
+    "kind",
+    "subject_digest",
+    "results",
+    "operation_ids",
+    "coverage"
+  ]
+}