create-yss-spec 3.4.1 → 3.4.3

package/template/.pi/skills/yss-web-controller/scripts/generate_controller.mjs

@@ -1,4 +1,5 @@
 #!/usr/bin/env node
+import { loadBackendPlatforms, assertPlatformAgreement } from "../../../../scripts/lib/backend-platform.mjs";
 import { createHash } from "node:crypto";
 import { constants, access, copyFile, mkdir, mkdtemp, readFile, rm, unlink, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";
@@ -10,8 +11,8 @@ import { assertArchitectureAgreement, validateArchitectureIdentity } from "../..
 
 const TYPE_MAPPING = { bigint: "Long", int: "Integer", integer: "Integer", smallint: "Integer", tinyint: "Integer", number: "Long", numeric: "BigDecimal", decimal: "BigDecimal", float: "Float", double: "Double", real: "Float", varchar: "String", varchar2: "String", nvarchar2: "String", char: "String", nchar: "String", text: "String", clob: "String", nclob: "String", date: "LocalDateTime", datetime: "LocalDateTime", timestamp: "LocalDateTime", "timestamp with time zone": "LocalDateTime", boolean: "Boolean", bool: "Boolean", bit: "Boolean", json: "String", jsonb: "String", uuid: "String" };
 const PLATFORM_VALIDATION_NAMESPACES = {
-  "spring-boot-2.7-jdk8": "javax",
-  "spring-boot-3-jdk17": "jakarta"
+  ...Object.fromEntries(loadBackendPlatforms().profiles.map(profile => [profile.id, profile.validation_namespace])),
+  "spring-boot-3-jdk17": "jakarta" // Existing-project compatibility only; new scaffolds use exact catalog profiles.
 };
 const required = ["metadata-file", "contract-file", "dto-wire-profile-file", "base-package", "module-name", "domain-segment"];
 const valued = new Set([...required, "output-dir", "web-project-dir", "web-output-dir", "author", "application-service-package", "validation-namespace", "scaffold-manifest-file"]);
@@ -170,6 +171,8 @@ async function validateContract(contract, args) {
   if (implementationRoot !== scaffoldRoot) throw new Error("implementation_project_root does not match the scaffold manifest project root");
   const expectedWebProject = mvc ? path.join(scaffoldRoot, `${manifest.project_name}-server`) : path.join(scaffoldRoot, `${manifest.project_name}-adapter`, `${manifest.project_name}-web`);
   if (!args["web-project-dir"] || path.resolve(args["web-project-dir"]) !== expectedWebProject) throw new Error("--web-project-dir does not match the scaffold manifest project layout");
+  if (manifest.platform_verification === "candidate") throw new Error("backend-platform: candidate scaffold is not ready for downstream generation");
+  if (manifest.platform_configuration) assertPlatformAgreement(manifest.platform_configuration, contract.architecture_identity?.platform_configuration);
   const profilePairs = mvc ? [["platform", "platform_profile"], ["validation_namespace", "validation_namespace"]] : [["architecture", "architecture_profile"], ["platform", "platform_profile"], ["validation_namespace", "validation_namespace"], ["dto_placement", "dto_placement"]];
   for (const [manifestField, contractField] of profilePairs) {
     if (manifest.profiles?.[manifestField] !== contract[contractField]) throw new Error(`scaffold manifest ${manifestField} profile does not match the approved Web contract`);

package/template/.pi/skills/ytable-usage/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: ytable-usage
-description: 指导 YSS UI 业务列表页、CRUD 表格、远程分页、操作列、气泡确认、列筛选、字典翻译、行拖拽、工具栏和自定义插槽正确使用 @yss-ui/components 的 YTable；当需要配置 YTableColumn、YTableActionConfig、pagination、filter-change 或表格实例方法时使用。
+description: "配置或修复 YSS UI YTable 的列、分页、行操作、筛选、拖拽与插槽；完整列表流程用 page-list-module。"
 ---
 
 # YTable 使用

package/template/.pi/skills/ytree-usage/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: ytree-usage
-description: 指导 YSS UI 左树右表、组织树、分类树、目录树和节点管理页使用 @yss-ui/components 的 YTree，覆盖 fieldNames 字段映射、搜索过滤、受控选中、节点动作、删除确认、虚拟滚动和自适应高度；当生成或修改树形筛选、左树右表、树搜索或树节点操作时使用。
+description: "配置或修复 YSS UI YTree 的字段映射、搜索、选中与节点操作；用于树形筛选和节点管理。"
 ---
 
 # YTree 使用

package/template/AGENTS.md

@@ -73,6 +73,7 @@
 - 实现者不做独立审查，Reviewer 不写实现；代码审查统一用 `code-review`。mandatory 不豁免；`violation` 修复后重审，`drift` / `new_impacts` 使合同 `stale` 并回编译器。
 - “完成 / 可合并 / 可发布”仅基于 Fresh Verification；历史结果、自述无效。
 - 会签按角色表 `gate_policy` 并经 `scripts/verify-approval-record --require-approved` 核验；`user_decision_policy` 命中的关键决定必须先展示可审阅资产，再取得提问者或其明确指定负责人的真实回复。无回复保持等待，数字人不能代答；原始来源、范围、复用和失效见生命周期 `references/user-decisions.md`。发布、商务承诺、运行时外部副作用仍须生物人。
+- 普通功能默认一个推进负责人和一个独立审查者；候选角色列表不要求逐角色签字。相邻检查可组合审查、逐项留结论。已有范围授权按用户决定协议验证延续，实质变化或未知影响才重新决定；外部强制审批不得裁掉，缺陷和缺证据仍阻断，非阻断建议进入待办。
 - 会签暂停、handoff、实现、合并、发布边界同步范围、证据、风险、会签点、Ticket 状态和下一步。Git checkpoint 只含本轮范围；提交 / 推送须用户授权。
 - 发布或阶段完成时判断复盘；架构 / 验证返工、IMPORTANT / CRITICAL finding、人工确认延期时，落中文复盘并修订事实源。
 

package/template/CONTEXT.md

@@ -55,7 +55,7 @@ context_schema_version: 1
 | 原型档位 | 用 H1 `visual-review`、H2 `flow-review` 表达原型需要回答的问题与最低证据强度。 | — | 不是实现技术栈分级，也不是成熟度评分；真实 YSS/AntDV 组件验证属于前端实现计划与实现还原验证，不属于第三种原型档位。 |
 | Visual Baseline Contract | 为生产前端还原冻结页面、视口、交互状态、参考图像和允许差异的可验收合同。 | — | 不是仅有一张原型截图或绝对像素匹配；每个基线必须可定位到同一视口和同一状态复验。 |
 | 垂直切片（Vertical Slice） | 贯穿所有受影响层、可独立验证的窄功能路径。 | — | 优先使用垂直切片，避免只按层拆分的横向任务。 |
-| Slice Implementation Contract | 阶段 7 进入实现前，由 `yss-implementation-contract-compiler` 根据冻结资产和垂直切片编译、再由生命周期编排器批准的实现合同，包含 Common、Frontend、Backend、Contract 和 Cross-repo 子合同。 | — | 实现合同编译器 只能生成草案，不能自行批准、设置 `ready-for-agent` 或宣布完成；Backend 子合同仍保留额外强约束。 |
+| Slice Implementation Contract | 阶段 7 进入实现前，由 `yss-implementation-contract-compiler` 根据冻结资产和垂直切片编译、再由生命周期编排器批准的实现合同，新 v3 将上游依据、实施范围、冻结 Skill、工作单元及验证要求单点保存，仅展开适用专项约束；v2 保留历史读取。 | — | 实现合同编译器 只能生成草案，不能自行批准、设置 `ready-for-agent` 或宣布完成；Backend 子合同仍保留额外强约束。 |
 | YSS Skill Execution Result | YSS 专项 skill 完成工作单元后返回的结构化执行证据，记录合同版本、变更文件、证据文件、实际验证、延期 seam、偏离和新增影响。 | — | 实现者自报 `implemented` 不构成最终通过，必须由 实现合同编译器、生命周期编排器和独立 Reviewer 复核。 |
 | ADR | 架构决策记录，用于沉淀难以回滚、非显而易见且存在真实取舍的技术决策。 | — | 常规实现选择不要写 ADR。 |
 | Fresh Verification | 完成前重新执行的验证证据，包括测试命令、契约校验、关键路径检查或人工审查结论。 | — | 不等同于“之前跑过”或实现者自述。 |
@@ -104,6 +104,7 @@ context_schema_version: 1
 | 模板源治理区 | 仅供 `template-source` 使用、保存审查证据、研究记录、跨仓契约、发布路线、源仓库治理决策和源仓库 LLM Wiki 编译树的归档区域。 | — | 不随 CLI 分发；不等于产品实例的研发管理资产。`wiki-root` 为 `.template-source/wiki`。 |
 | 仓库身份清单 | 显式声明仓库身份和清单结构版本的机器可读资产。 | — | 不承载项目名称、团队规模、Tracker 或其他易变业务配置。 |
 | 聚合门禁 | 汇总适用自动检查和独立专业审查后，对当前资产与范围作一次批准或验收；权威定义见生命周期注册表。 | — | 内部检查失败仍阻断；有效批准只在相关依据、范围或授权变化时失效。 |
+| 授权延续 | 原始用户批准明确覆盖当前边界、资产范围和决定依据时，经独立审查与当前验证继续推进。 | — | 不产生新的用户回复；未知或实质变化、撤回和外部强制审批缺失不能延续。证据格式见用户决定协议。 |
 | 内部检查 | 以 `check.*` 登记的自动前置核验、计算状态或独立专业审查；作为聚合门禁输入，不单独请求用户批准。 | — | 不等于省略检查或允许起草者自审。 |
 | 交付验收 | 对当前交付候选的独立审查、实际验证和回滚证据作出验收结论。 | — | 不授予实际合并、推送或发布权限；这些动作另按授权范围执行。 |
 

package/template/docs/agents/backend-architecture-profiles.md

@@ -21,7 +21,7 @@ Profile、模块闭包、生成器、成熟度和 Recipe 的权威映射见 `yss
 
 - 新脚手架统一 `verification_database=h2`、`production_database=not-bound`。仅测试和显式 `scaffold-local` 使用 H2；普通配置不设置数据库或默认激活 Profile。不另加生产驱动、第三方数据源或 Mock 服务。
 - 生产数据库、DDL、索引和方言在后续批准的存储工作单元接入；H2 测试不能证明生产方言兼容。脚手架不包含业务 SQL、schema/data 占位或业务 API。
-- 三种新 Profile 使用 `spring-boot-2.7-jdk8` / `javax`。组件 Skill 消费工程基线，不擅自升级 Java、Boot、处理器版本或替换依赖。MapStruct + Lombok 必须验证 binding 与生成代码编译。
+- DDD / 通用 MVC 消费批准的 `platform_configuration` v1，平台清单与证据规则见 `docs/engineering/backend-platforms.md`。数据分析初始化器保留 `spring-boot-2.7-jdk8` / `javax`，不自动开放新平台。组件 Skill 不擅自升级 Java、Boot、处理器或替换 YSS 依赖。MapStruct + Lombok 必须验证 binding 与生成代码编译。
 - 对 SQL 注入、敏感信息、权限和事务的规则不因 H2 或模板而豁免。MySQL 专属语法规则仅适用于批准的 MySQL 存储工作单元；框架命名/返回包装等差异须记录明确的 YSS 基线例外。
 
 ## 验证含义

package/template/docs/agents/digital-human-roles.yaml

@@ -173,6 +173,20 @@ stage_groups:
     members: [ role.lifecycle-orchestrator, role.project-manager, role.test-engineer, role.product-manager ]
 
 gate_policy:
+  # countersigners 是可胜任该边界的候选角色，不是必须集齐的签字名单。
+  review_execution:
+    default_owner_count: 1
+    default_independent_reviewer_count: 1
+    additional_reviewers: uncovered-expertise-or-external-requirement
+    adjacent_checks: one-review-with-per-check-conclusions
+    suggestions: backlog-without-blocking
+    violations_or_missing_evidence: blocking
+  continuation_reviews:
+    gate.plan-approved: [role.product-manager]
+    gate.spec-baseline-approved: [role.product-manager]
+    gate.product-design-approved: [role.frontend-engineer, role.test-engineer]
+    gate.engineering-contract-approved: [role.backend-engineer, role.test-engineer]
+    implementation-scope: [role.test-engineer]
   default_if_unlisted: biological-human
   evidence_only: []
   orchestrator:
@@ -198,8 +212,9 @@ gate_policy:
     - gate: gate.engineering-contract-approved
       drafter: role.backend-engineer
       countersigners:
-        - role.product-manager
         - role.test-engineer
+        # 保留既有合法记录的角色兼容；并非要求再增加一次产品会签。
+        - role.product-manager
   product_digital_human_with_biological_veto: []
   biological_human:
     - gate.product-design-approved
@@ -250,6 +265,15 @@ user_decision_policy:
   schema_version: 1
   default_responder: requester
   delegate_requires_requester_evidence: true
+  # 专业批准仍逐项核验；已有明确授权通过延续证明复用，不再重复询问用户。
+  continuation:
+    capability: approved-scope-continuation-v1
+    source_boundary: delivery-scope
+    boundaries: [gate.plan-approved, gate.spec-baseline-approved, gate.product-design-approved, gate.engineering-contract-approved, implementation-scope]
+    material_changes: [business-scope, acceptance, contract-commitments, authorization, risk-acceptance, quality, external-commitments]
+    unknown_change: blocked
+    external_requirements: preserve-project-policy
+    external_policy_unconfirmed: no-automatic-continuation
   source_kinds: [ platform-message, session-export, user-confirmation-file ]
   gates:
     - gate.plan-approved

package/template/docs/agents/issue-tracker.md

@@ -34,6 +34,8 @@ tracker:
 4. 多个持久化配置声明不同平台时返回 `conflict`，暂停并要求迁移，不覆盖任何配置。
 5. 选定 GitHub / GitLab 但凭据或平台暂不可用时，先在 `docs/.scratch/<feature>/` 生成“待发布平台”草案；`parent-ticket.md` 保留目标平台、标记 `publication: pending` 和 `pending_publication_to`；不得自动改投另一远程平台。
 
+Slice v3 声明冻结需求时，合同绑定的 Ticket 文件只保留冻结时状态。当前状态、验收结果和执行记录继续进入主 tracker；Local Markdown 使用现有父 Ticket / 任务包记录进度，远程平台不可用时沿用待发布记录。需求文件版本不得作为当前执行状态读取，也不得因更新进度而改写。协议见 [Slice 合同](../../.agents/skills/yss-implementation-contract-compiler/references/slice-implementation-contract.md#第二轮增量规则)。
+
 ## Local Markdown 主 tracker
 
 Local 主 tracker 的完整功能包结构如下：

package/template/docs/engineering/backend-platforms.json

@@ -0,0 +1,174 @@
+{
+  "schema_version": 1,
+  "kind": "backend-platform-catalog",
+  "profiles": [
+    {
+      "id": "spring-boot-2.7-jdk8",
+      "spring_boot_version": "2.7.18",
+      "java_version": 8,
+      "framework_line": "5.3",
+      "tomcat_line": "9.0",
+      "servlet_version": "4.0",
+      "validation_namespace": "javax",
+      "validation_group": "javax.validation",
+      "validation_artifact": "validation-api",
+      "web_starter": "spring-boot-starter-web",
+      "web_test_starter": "spring-boot-starter-test",
+      "aop_starter": "spring-boot-starter-aop",
+      "mybatis_plus_starter": "mybatis-plus-boot-starter",
+      "springdoc_major": 1,
+      "jackson_major": 2,
+      "swagger_artifact": "swagger-annotations",
+      "versions": {
+        "mapstruct": "1.5.5.Final",
+        "lombok": "1.18.30",
+        "lombok_mapstruct_binding": "0.2.0",
+        "swagger": "2.2.22",
+        "archunit": "1.2.1",
+        "compiler": "3.11.0",
+        "enforcer": "3.5.0",
+        "surefire": "3.2.5"
+      },
+      "candidate_blockers": [
+        "YSS parent/BOM/starter combination and real Maven/startup evidence required"
+      ],
+      "spring_cloud_line": "2021.0",
+      "openfeign_line": "3.1"
+    },
+    {
+      "id": "spring-boot-3.5-jdk17",
+      "spring_boot_version": "3.5.16",
+      "java_version": 17,
+      "framework_line": "6.2",
+      "tomcat_line": "10.1",
+      "servlet_version": "6.0",
+      "validation_namespace": "jakarta",
+      "validation_group": "jakarta.validation",
+      "validation_artifact": "jakarta.validation-api",
+      "web_starter": "spring-boot-starter-web",
+      "web_test_starter": "spring-boot-starter-test",
+      "aop_starter": "spring-boot-starter-aop",
+      "mybatis_plus_starter": "mybatis-plus-spring-boot3-starter",
+      "springdoc_major": 2,
+      "jackson_major": 2,
+      "swagger_artifact": "swagger-annotations-jakarta",
+      "versions": {
+        "mapstruct": "1.6.3",
+        "lombok": "1.18.42",
+        "lombok_mapstruct_binding": "0.2.0",
+        "swagger": "2.2.22",
+        "archunit": "1.4.1",
+        "compiler": "3.14.1",
+        "enforcer": "3.5.0",
+        "surefire": "3.5.4"
+      },
+      "candidate_blockers": [
+        "YSS parent/BOM/starter combination and real Maven/startup evidence required"
+      ],
+      "spring_cloud_line": "2025.0",
+      "openfeign_line": "4.3"
+    },
+    {
+      "id": "spring-boot-3.5-jdk21",
+      "spring_boot_version": "3.5.16",
+      "java_version": 21,
+      "framework_line": "6.2",
+      "tomcat_line": "10.1",
+      "servlet_version": "6.0",
+      "validation_namespace": "jakarta",
+      "validation_group": "jakarta.validation",
+      "validation_artifact": "jakarta.validation-api",
+      "web_starter": "spring-boot-starter-web",
+      "web_test_starter": "spring-boot-starter-test",
+      "aop_starter": "spring-boot-starter-aop",
+      "mybatis_plus_starter": "mybatis-plus-spring-boot3-starter",
+      "springdoc_major": 2,
+      "jackson_major": 2,
+      "swagger_artifact": "swagger-annotations-jakarta",
+      "versions": {
+        "mapstruct": "1.6.3",
+        "lombok": "1.18.42",
+        "lombok_mapstruct_binding": "0.2.0",
+        "swagger": "2.2.22",
+        "archunit": "1.4.1",
+        "compiler": "3.14.1",
+        "enforcer": "3.5.0",
+        "surefire": "3.5.4"
+      },
+      "candidate_blockers": [
+        "YSS parent/BOM/starter combination and real Maven/startup evidence required"
+      ],
+      "spring_cloud_line": "2025.0",
+      "openfeign_line": "4.3"
+    },
+    {
+      "id": "spring-boot-4.1-jdk17",
+      "spring_boot_version": "4.1.1",
+      "java_version": 17,
+      "framework_line": "7.0",
+      "tomcat_line": "11.0",
+      "servlet_version": "6.1",
+      "validation_namespace": "jakarta",
+      "validation_group": "jakarta.validation",
+      "validation_artifact": "jakarta.validation-api",
+      "web_starter": "spring-boot-starter-webmvc",
+      "web_test_starter": "spring-boot-starter-webmvc-test",
+      "aop_starter": "spring-boot-starter-aspectj",
+      "mybatis_plus_starter": "mybatis-plus-spring-boot4-starter",
+      "springdoc_major": 3,
+      "jackson_major": 3,
+      "swagger_artifact": "swagger-annotations-jakarta",
+      "versions": {
+        "mapstruct": "1.6.3",
+        "lombok": "1.18.42",
+        "lombok_mapstruct_binding": "0.2.0",
+        "swagger": "2.2.22",
+        "archunit": "1.4.1",
+        "compiler": "3.14.1",
+        "enforcer": "3.5.0",
+        "surefire": "3.5.4"
+      },
+      "candidate_blockers": [
+        "YSS parent/BOM/starter combination and real Maven/startup evidence required"
+      ],
+      "spring_cloud_line": "2025.1",
+      "openfeign_line": "5.0",
+      "spring_cloud_minimum": "2025.1.2"
+    },
+    {
+      "id": "spring-boot-4.1-jdk21",
+      "spring_boot_version": "4.1.1",
+      "java_version": 21,
+      "framework_line": "7.0",
+      "tomcat_line": "11.0",
+      "servlet_version": "6.1",
+      "validation_namespace": "jakarta",
+      "validation_group": "jakarta.validation",
+      "validation_artifact": "jakarta.validation-api",
+      "web_starter": "spring-boot-starter-webmvc",
+      "web_test_starter": "spring-boot-starter-webmvc-test",
+      "aop_starter": "spring-boot-starter-aspectj",
+      "mybatis_plus_starter": "mybatis-plus-spring-boot4-starter",
+      "springdoc_major": 3,
+      "jackson_major": 3,
+      "swagger_artifact": "swagger-annotations-jakarta",
+      "versions": {
+        "mapstruct": "1.6.3",
+        "lombok": "1.18.42",
+        "lombok_mapstruct_binding": "0.2.0",
+        "swagger": "2.2.22",
+        "archunit": "1.4.1",
+        "compiler": "3.14.1",
+        "enforcer": "3.5.0",
+        "surefire": "3.5.4"
+      },
+      "candidate_blockers": [
+        "YSS parent/BOM/starter combination and real Maven/startup evidence required"
+      ],
+      "spring_cloud_line": "2025.1",
+      "openfeign_line": "5.0",
+      "spring_cloud_minimum": "2025.1.2"
+    }
+  ],
+  "compatibility": []
+}

package/template/docs/engineering/backend-platforms.md

@@ -0,0 +1,77 @@
+# 后端脚手架平台合同
+
+DDD 和 Layered MVC 共同消费 `backend-platforms.json`。平台定义是候选配方，`compatibility` 是维护者核验后的 YSS 组合清单；空清单表示尚无可开放组合，不表示官方框架不支持这些版本。
+
+## 用户选择
+
+运行 `scripts/backend-platforms` 展示 Boot 精确补丁、Java、YSS 父 POM/BOM、可选状态和阻塞原因。生命周期编排器将平台与架构放在同一次用户决定中。缺少选择时询问；已有批准且当前的选择只展示摘要并复用。独立子项目可继承或覆盖，也可一次确认明确列出的多个项目。同一 Maven Reactor 不混用平台。
+
+候选为 2.7.18 / Java 8、3.5.16 / Java 17 或 21、4.1.1 / Java 17 或 21。3.5 和 4.1 推荐 Java 17。新增补丁必须先通过组合验证，生成合同不接受 `x`、版本范围或 `latest`。
+
+## 配置与一致性
+
+Project Scaffold Contract v4 新增 `platform_configuration` v2，两个脚手架的新生成必须提供；前端及数据分析初始化器保持原边界。架构决策保存同一对象，参与原用户决定快照和 digest。Manifest 顶层及 `architecture_identity` 传递同一配置。
+
+| 字段 | 内容 |
+|---|---|
+| `schema_version` | `2`（v1 只读审计） |
+| `profile_id` | 如 `spring-boot-3.5-jdk17` |
+| `spring_boot_version` | 精确补丁，如 `3.5.16` |
+| `java_version` | 经选择的 `8`、`17` 或 `21` |
+| `parent` / `bom` | `group_id`、`artifact_id`、`version` |
+| `compatibility_id` | 清单组合 ID |
+| `compatibility_digest` | `platformRecipeDigest(profile, entry)`，排除证据列表、支持状态和展示提示 |
+
+配置可由 `platformBinding(profile, entry)` 机械构造；该函数不批准用户选择或开放支持。修改平台、YSS 坐标或依赖配方会使绑定失效；仅更新同配方证据不改变用户选择摘要。历史 Manifest 继续只读验证，不自动补字段或重写批准。仅继承架构不等于继承平台批准。
+
+## 依赖与验证
+
+Boot BOM 管理 Spring Framework/MVC、嵌入式容器、Servlet、Validation、Jackson 等依赖，Boot Plugin 与 Boot 精确版本相同。YSS 父 POM/BOM 仍由用户确认，解析结果冲突则阻断，不能依靠属性覆盖宣称兼容。清单记录构建工具、Lombok、MapStruct、Swagger、ArchUnit 的候选版本；YSS 组件源码不在脚手架步骤中改造。
+
+Boot 4 使用对应 MVC / MVC 测试 starter、Jackson 3 默认栈与新的模块结构；MyBatis-Plus 必须使用相应 Boot 分支。Web/Validation 的 Jakarta 迁移不替换 `javax.sql` 等 Java SE API。Feign 等可选能力须在兼容条目的 `capabilities` 内有验证记录。清单记录 Cloud 2021.0 / 2025.0 / 2025.1（Boot 4.1 至少 2025.1.2）及 OpenFeign 3.1 / 4.3 / 5.0 线；实际内部 BOM 必须解析到对应组合。测试覆盖 Validation、JSON、MyBatis 查询映射和适用的 Feign JSON Decoder。
+
+真实验证保存 Maven 实际 JDK、effective POM、每个模块的依赖树、固定三条 Wrapper 命令结果，以及显式 `scaffold-local` 打包启动结果。启动检查只绑定回环地址，通过启动日志与 HTTP 响应验证机械 Web 服务；测试内 Controller 通过随机端口覆盖 JSON POST 往返及非法参数 400，不编译进生产 Jar，并终止验证进程。H2 仅用于测试和显式本地 Profile，不绑定生产数据库。生成器不添加用户业务示例。
+
+## 维护候选与开放组合
+
+`scripts/verify-backend-platform-matrix --evidence-dir <目录> --inputs <输入.json>` 是维护入口；没有输入或环境时输出十组 `blocked` 及原因，不伪造 Maven 结果。输入结构：
+
+- `catalog_ref`：相对输入文件的候选清单；保留官方平台定义，补充实际待验证的 YSS 组合。
+- `java_homes`：以 `8`、`17`、`21` 为键的实际 JDK 根目录。
+- `combinations`：每项有 `profile_id`、`spring_boot_version`、`architecture_family`、`contract_ref`，合同须真实批准、当前且指向不存在的输出目录。
+
+兼容条目包含 `id`、`profile_id`、`spring_boot_version`、`parent`、`bom`、`status`、`capabilities` 和 `evidence`。未验证时使用 `candidate`。每条证据绑定架构、可读取报告的 `ref` 与原始字节 `digest`。报告须匹配 Boot、Java、父 POM/BOM，三条 Maven 命令真实成功，并通过依赖、Surefire 实际用例和启动检查；跳过测试不通过。报告的 `verified_capabilities` 逐架构覆盖所选能力。`evidence_artifacts` 绑定日志、effective POM、依赖树和 `platform-tests.xml` 的相对路径与字节摘要，缺失或漂移即阻断。
+
+候选工程始终标记 `platform_verification=candidate`，不能进入普通验证完成升级、业务生成或首切片验证。维护者将真实证据及相关日志保存为可分发的相对路径包，审阅全部适用能力后才可把对应组合登记为 `verified`。候选晋级或替换同配方证据不改变配置摘要；真正的依赖配方变化才重新确认。矩阵命令不自动修改兼容清单、不批准合同、不发布版本。
+
+`scripts/fixtures/backend-scaffold/` 下的合成合同仅测试机制，绝不作为兼容证据。标准生成 CLI 无候选参数或环境变量后门。
+
+## 官方依据
+
+- [Boot 2.7 系统要求](https://docs.spring.io/spring-boot/docs/2.7.18/reference/html/getting-started.html#getting-started.system-requirements)：Java 8 起，默认 Tomcat 9 / Servlet 4.0。
+- [Boot 3.5 系统要求](https://docs.spring.io/spring-boot/3.5/system-requirements.html)：Java 17 起，Spring Framework 6.2，默认 Tomcat 10.1 / Servlet 6.0。
+- [Boot 4.1.1 系统要求](https://docs.spring.io/spring-boot/system-requirements.html)：Java 17 起，Spring Framework 7.0，Tomcat 11 / Servlet 6.1。
+- [Boot 4 迁移说明](https://github.com/spring-projects/spring-boot/wiki/Spring-Boot-4.0-Migration-Guide)：模块、starter、测试及 Jackson 变化。
+- [MyBatis-Plus 安装](https://baomidou.com/getting-started/install/)：Boot 2、3、4 的 starter 坐标。
+
+- [Spring Cloud 兼容矩阵](https://spring.io/projects/spring-cloud/)：发行列车、Boot 与 OpenFeign 版本对应。
+
+以上是候选配方依据，不替代内部 YSS 组合的实际验证。
+
+## 验证绑定与安全重试
+
+新生成使用平台配置 v2；Project Scaffold Contract 仍为 v4。v1 原始记录保留只读审计，不能原样用于新生成或新的支持认证。
+
+兼容证据同时绑定 recipe_digest、generator/verifier source_fingerprint 和 generated_tree_digest。模板、Wrapper、共享生成逻辑或验证逻辑改变时，旧证据不能开放新生成；源文件摘要不包括 Skill 说明文字。输入配方与验证记录分离不代表忽略证据，报告或日志缺失、漂移、失败仍阻断。
+
+版本行按 `(profile_id, spring_boot_version, java_version)` 唯一；同一版本线新增补丁时追加行，不覆盖旧行。多个补丁存在时不得只凭 profile_id 选第一个或最新版本；合同、组合条目和矩阵输入均带精确版本。原补丁的配方和批准不会因追加新补丁而变化。
+
+依赖核验以启动模块 compile/runtime 树为准，不用其他模块或 test/provided 依赖凑齐能力；从独立解析的所选 Boot BOM 获取精确托管版本进行比较，非 Boot 管理的内部兼容版本可通过组合 `components` 映射约束。随后检查实际可执行 Jar 的 BOOT-INF/lib。Maven effective-pom 的 artifact 参数及 dependency tree JSON 行为依据 [Maven Help Plugin](https://maven.apache.org/plugins/maven-help-plugin/effective-pom-mojo.html) 和 [Dependency Plugin](https://maven.apache.org/plugins/maven-dependency-plugin/tree-mojo.html)。
+
+首次生成成功而 Maven 验证失败时，使用原输入加 `--resume`。恢复前重新验证当前合同、架构决定与工程批准，并核对 Manifest、生成文件、文件清单和生成器/验证器摘要；任一漂移即阻断，绝不覆盖用户修改或再次生成。每次验证写入新的证据目录，旧日志保留。Surefire 报告必须来自本次命令执行，旧报告或跳过测试不能补足证据。发生源码或模板变化时，请使用新候选输出目录和对应合同，不通过恢复模式覆盖旧工程。
+
+空脚手架验证的证据目录必须位于生成工程外部，避免证据文件被误认为新增源码。首切片验证在批准的切片合同通过既有门禁后复用构建检查，但记录 `verification_scope=first-slice`；其证据不能用于开放平台组合，也不要求业务代码保持空脚手架摘要。
+
+兼容条目 `components` 按 `groupId:artifactId` → 精确版本记录实际引入的 MyBatis-Plus、Springdoc、Spring Cloud 与 YSS 运行时依赖；依赖树出现未登记组件或版本不符时阻断。独立 Boot BOM 管理的组件优先按 BOM 核验。
+
+Jar 核验拒绝未登记或版本不符的额外库；仅允许 Boot 对应版本的 jarmode 工具以及已选配方中的 provided Lombok 随包出现。原因是 [Boot repackage 默认包含 provided 依赖](https://docs.spring.io/spring-boot/maven-plugin/packaging.html)；这些打包例外不能补足必须存在于 compile/runtime 树的 Web、Servlet、JSON 等能力。

package/template/docs/process/MATT-POCOCK-ENGINEERING-SKILLS.md

@@ -8,5 +8,6 @@ Matt Pocock Engineering Skills 提供轻量的澄清、实现、TDD、诊断和
 - Matt user-invoked 的 `grill-with-docs`、`to-spec`、`to-tickets` 和 `implement` 必须由用户显式启动，任何 skill 不得自动调用它们；YSS 生命周期只准备、校验和验收其结果。所有 Matt model-invoked skill 仍须遵守 `AGENTS.md` 的阶段、门禁和证据要求，并只能在生命周期允许的工作单元中调用。
 - `code-review` 保持唯一默认审查入口。YSS 适配把 Slice `required_skills`、`alibaba-java-code-style` 与命中的 `yss-ui` / `yss-domain` 等专项 skill 编译为 Standards 检查输入，并要求实现仓已有的 `pnpm` / `./mvnw` 机器检查；禁止再增加第二个通用审查 skill 或专用审查 Cloud 环境来代替这条接线。审查 finding 按编排合同分流：实现者修复后全轴复审，或合同 `stale` 后回 实现合同编译器；审查者不得写实现。
 - `template-source` 只执行模板维护流程，不生成具体产品 Spec、原型、OpenAPI 或垂直切片 Ticket。
+- `code-review` 的 YSS 人员适配：普通功能默认一个独立 Reviewer，分别完成 Standards、Spec 与适用 UI 检查；能力缺口、冲突、外部制度或用户指定时才拆分多审查者。保留检查轴和证据，不将上游并行 Agent 形式转成固定多人会签。
 - Matt 的 `research` 已适配为 canonical `yss-research`，旧名只作为 deprecated alias。YSS 版本提供 `technical-evidence` / `strategy-evidence` profile、`quick` / `evidence-audited` 模式、证据合同和确定性校验，同时保留上游 revision 与原始 hash 以便追溯。
 - Agent 完成工作单元后返回可核验的 evidence refs、变更资产、验证命令、残余风险和下一路由。

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

@@ -8,6 +8,14 @@
 
 ## 1. 判定顺序
 
+普通功能采用一个推进负责人和一个独立审查者，按主要风险选择专业能力；仅在能力缺口、专业结论冲突或项目外部制度要求时增加审查者。角色表的 `countersigners` 是候选能力，不是全员签字名单。无依赖的审查可并行；同一候选的相邻检查可一次审查并逐项记录，聚合验收引用已有结论。
+
+人工暂停由决定变化触发：业务范围、关键规则、验收标准、契约承诺、授权边界、风险接受、已采纳质量标准或对外承诺发生实质变化时，展示差异后重新决定。API、数据和跨仓影响仍触发适用专业检查，但技术载体本身不要求重复人工批准。授权清单明确覆盖的范围按生命周期用户决定协议延续；未知变化先补影响分析，不默认沿用。
+
+排版、措辞和派生内容调整也必须更新当前摘要、差异说明和验证证据；独立审查证明决定依据未变后可延续，不通过忽略字节差异或修改原回复实现复用。普通实现细化补受影响测试和审查。项目外部制度未确认时不能使用自动延续；已登记的客户、公司和审计强制审批按原要求执行。
+
+违反验收/契约/已采纳质量标准、关键验证失败和关键证据缺失均阻断。个人偏好、未来优化等非阻断建议记明理由与待办去向，不新增强制门禁；未解决的重要风险须用户接受，不能改成建议绕过。
+
 1. 先读取 `yss-project.yaml`，非法、缺失或不支持的身份直接进入迁移检查。
 2. 判断是否为模板源维护、项目实例小改动、中等变更或全新产品 / 模块。
 3. 判断 UI、API、数据、后端、前端、跨仓库和高风险影响。
@@ -31,7 +39,7 @@
 
 ## 5. 上下文、反证与质量基线裁剪
 
-- Slice Contract 的 `common.context_plan` 是实现上下文的唯一轻量计划：先读 `CONTEXT.md`、已批准 Spec、当前合同和适用 ADR / 工程基线，再按影响面按需加载 references；达到最小充分证据后停止扩展。缺失权威上下文只能 `blocked` 或 `reroute`。
+- Slice Contract 的 Context Plan（v2 `common.context_plan`，v3 `scope.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 / 数据迁移、跨仓契约、发布回滚、实际改变的安全行为、生命周期或生成语义。反证写入现有决策 / 架构 / 契约 / 发布审查记录，不新增生命周期阶段；缺少反证、证据不足或残余风险未处理即阻断。

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

@@ -26,10 +26,10 @@
 
 | 稳定 ID | 门禁 | 所属阶段 | 触发条件 | 前置门禁 / 检查 | 必须留下的证据 |
 |---|---|---|---|---|---|
-| `gate.plan-approved` | Plan 批准 | `stage.plan` | Plan 结论进入 Spec；汇总战略检查后仅确认一次当前规划范围。 | `check.domain-strategy-approved`、`check.stage-decision-package-approved` | `evidence.approval-record` |
-| `gate.spec-baseline-approved` | Spec 基线批准 | `stage.spec-architecture` | 新功能、行为变化或范围扩大进入 Spec 基线。 | 无 | `evidence.approval-record` |
-| `gate.product-design-approved` | 产品设计批准 | `stage.product-design` | 存在产品设计影响；独立原型评审与交付物验证通过后确认最终原型。 | `check.prototype-reviewed`、`check.prototype-verified` | `evidence.prototype-confirmation` |
-| `gate.engineering-contract-approved` | 工程契约批准 | `stage.system-data-engineering` | 存在 API、架构或工程基线影响；完成适用专业审查后统一批准，有 API 影响时同时冻结当前 OpenAPI。 | `check.openapi-draft-reviewed`、`check.design-reviewed`、`check.architecture-reviewed`、`check.engineering-baseline-accepted`、`check.openapi-frozen` | `evidence.approval-record`、`evidence.fresh-verification` |
+| `gate.plan-approved` | Plan 批准 | `stage.plan` | Plan 结论进入 Spec；汇总战略检查，核验当前规划范围的原始批准或有效授权延续。 | `check.domain-strategy-approved`、`check.stage-decision-package-approved` | `evidence.approval-record` |
+| `gate.spec-baseline-approved` | Spec 基线批准 | `stage.spec-architecture` | 新功能、行为变化或范围扩大进入 Spec 基线；已授权范围内细化复用当前有效授权，实质变化重新决定。 | 无 | `evidence.approval-record` |
+| `gate.product-design-approved` | 产品设计批准 | `stage.product-design` | 存在产品设计影响；独立原型评审与交付物验证通过后核验原批准或授权延续，新增体验取舍由用户决定。 | `check.prototype-reviewed`、`check.prototype-verified` | `evidence.prototype-confirmation` |
+| `gate.engineering-contract-approved` | 工程契约批准 | `stage.system-data-engineering` | 存在 API、架构或工程基线影响；组合适用专业审查后统一批准并核验授权，有 API 影响时同时冻结当前 OpenAPI；范围内细化不重复请求用户确认。 | `check.openapi-draft-reviewed`、`check.design-reviewed`、`check.architecture-reviewed`、`check.engineering-baseline-accepted`、`check.openapi-frozen` | `evidence.approval-record`、`evidence.fresh-verification` |
 | `gate.slice-contract-approved` | 切片合同批准 | `stage.ticket-formalization` | 主控在已授权范围内批准已持久化且当前的垂直切片合同；不代替就绪计算。 | 无 | `evidence.contract-approval` |
 | `gate.delivery-accepted` | 交付验收 | `stage.verification-release-retrospective` | 实现交付验收；汇总独立审查、Fresh Verification 和回滚证据，不授予合并或发布权限。 | `check.frontend-implementation-verified` | `evidence.fresh-verification`、`evidence.checkpoint-and-rollback` |
 

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

@@ -1,7 +1,7 @@
 {
   "schema_version": 1,
   "registry_id": "yss.lifecycle",
-  "semantic_sha256": "5ec72f7acca16869cb25c1089f925c5a60c1dd376b4fc4799b09f5678ae065c3",
+  "semantic_sha256": "6d994e65718fd614c03519fe72377206bba11f5bc77da7aed0e0f1cd792cee88",
   "published_ids": [
     "artifact.architecture-review",
     "artifact.data-architecture",

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

@@ -150,7 +150,7 @@ gates:
   - id: gate.plan-approved
     name: Plan 批准
     stage: stage.plan
-    trigger: Plan 结论进入 Spec；汇总战略检查后仅确认一次当前规划范围。
+    trigger: Plan 结论进入 Spec；汇总战略检查，核验当前规划范围的原始批准或有效授权延续。
     evidence:
       - evidence.approval-record
     requires_checks:
@@ -159,14 +159,14 @@ gates:
   - id: gate.spec-baseline-approved
     name: Spec 基线批准
     stage: stage.spec-architecture
-    trigger: 新功能、行为变化或范围扩大进入 Spec 基线。
+    trigger: 新功能、行为变化或范围扩大进入 Spec 基线；已授权范围内细化复用当前有效授权，实质变化重新决定。
     evidence:
       - evidence.approval-record
     requires_checks: []
   - id: gate.product-design-approved
     name: 产品设计批准
     stage: stage.product-design
-    trigger: 存在产品设计影响；独立原型评审与交付物验证通过后确认最终原型。
+    trigger: 存在产品设计影响；独立原型评审与交付物验证通过后核验原批准或授权延续，新增体验取舍由用户决定。
     evidence:
       - evidence.prototype-confirmation
     requires_checks:
@@ -175,7 +175,7 @@ gates:
   - id: gate.engineering-contract-approved
     name: 工程契约批准
     stage: stage.system-data-engineering
-    trigger: 存在 API、架构或工程基线影响；完成适用专业审查后统一批准，有 API 影响时同时冻结当前 OpenAPI。
+    trigger: 存在 API、架构或工程基线影响；组合适用专业审查后统一批准并核验授权，有 API 影响时同时冻结当前 OpenAPI；范围内细化不重复请求用户确认。
     evidence:
       - evidence.approval-record
       - evidence.fresh-verification

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

@@ -59,6 +59,97 @@
         },
         "production_database": {
           "const": "not-bound"
+        },
+        "platform_configuration": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "schema_version",
+            "profile_id",
+            "spring_boot_version",
+            "java_version",
+            "parent",
+            "bom",
+            "compatibility_id",
+            "compatibility_digest"
+          ],
+          "properties": {
+            "schema_version": {
+              "enum": [
+                1,
+                2
+              ]
+            },
+            "profile_id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "spring_boot_version": {
+              "type": "string",
+              "pattern": "^\\d+\\.\\d+\\.\\d+$"
+            },
+            "java_version": {
+              "enum": [
+                8,
+                17,
+                21
+              ]
+            },
+            "compatibility_id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "compatibility_digest": {
+              "type": "string",
+              "pattern": "^sha256:[a-f0-9]{64}$"
+            },
+            "parent": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": [
+                "group_id",
+                "artifact_id",
+                "version"
+              ],
+              "properties": {
+                "group_id": {
+                  "type": "string",
+                  "pattern": "^[A-Za-z0-9_.-]+$"
+                },
+                "artifact_id": {
+                  "type": "string",
+                  "pattern": "^[A-Za-z0-9_.-]+$"
+                },
+                "version": {
+                  "type": "string",
+                  "pattern": "^[A-Za-z0-9_.-]+$"
+                }
+              }
+            },
+            "bom": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": [
+                "group_id",
+                "artifact_id",
+                "version"
+              ],
+              "properties": {
+                "group_id": {
+                  "type": "string",
+                  "pattern": "^[A-Za-z0-9_.-]+$"
+                },
+                "artifact_id": {
+                  "type": "string",
+                  "pattern": "^[A-Za-z0-9_.-]+$"
+                },
+                "version": {
+                  "type": "string",
+                  "pattern": "^[A-Za-z0-9_.-]+$"
+                }
+              }
+            }
+          }
         }
       }
     },

package/template/docs/process/schemas/digital-human-task-package.schema.json

@@ -8,6 +8,7 @@
   "properties": {
     "plan_review_ref": { "type": "string", "minLength": 1 },
     "plan_user_decision_ref": { "type": "string", "minLength": 1 },
+    "plan_continuation_ref": { "type": "string", "minLength": 1 },
     "schema_version": { "const": 1 },
     "frontend_delivery": {
       "type": "object", "additionalProperties": false, "required": ["acceptance_ref"],
@@ -58,7 +59,7 @@
         "gate_refs": { "type": "array", "items": { "type": "string", "minLength": 1 } }
       }
     },
-    "user_decisions": { "type": "array", "items": { "type": "object", "required": ["boundary", "subject_ref", "scope", "user_decision_ref"], "properties": { "boundary": { "type": "string" }, "subject_ref": { "type": "string" }, "scope": { "type": "array", "minItems": 1, "items": { "type": "string" } }, "user_decision_ref": { "type": "string" } }, "additionalProperties": false } },
+    "user_decisions": { "type": "array", "items": { "type": "object", "required": ["boundary", "subject_ref", "scope"], "oneOf": [{"required": ["user_decision_ref"]}, {"required": ["continuation_ref"]}], "properties": { "boundary": { "type": "string" }, "subject_ref": { "type": "string" }, "scope": { "type": "array", "minItems": 1, "items": { "type": "string" } }, "user_decision_ref": { "type": "string", "minLength": 1 }, "continuation_ref": { "type": "string", "minLength": 1 } }, "additionalProperties": false } },
     "inputs": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } },
     "allowed_read_paths": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
     "objective": { "type": "string", "minLength": 1 },