create-yss-spec 3.3.1 → 3.3.4

package/template/.trae/skills/yss-web-controller/SKILL.md

@@ -1,91 +0,0 @@
----
-name: yss-web-controller
-description: Use when generating or refactoring YSS Web Adapter Controllers, request DTOs, response VOs, validation, result wrappers, or Web Convertors from frozen contracts and stable Application interfaces.
----
-
-# yss-web-controller
-
-## 架构分流（先执行）
-
-读取当前合同的 architecture_identity 并与工程基线、仓库登记及 Manifest 核对；再且只读取 `references/profiles/<architecture_profile>.md`。支持的分支为 target-domain-model、layered-mvc-service、mvc-data-analysis-v1；成熟度以注册表为准，不能把 draft 称为受支持。MVC 不执行下文 DDD 专属规则，也不加载其旧分层 guide；组件、安全、批准合同、允许路径及执行证据规则仍共用。
-
-以下 Application / Domain Gateway / Infrastructure / Web module 叙述仅适用于 target-domain-model；MVC 的 service/core/repository/server/client 所有权由所选 Profile 引用定义。
-
-这是一个 Web 适配层生成型 skill。优先复用脚本 `scripts/generate_controller.mjs` 和模板，不手写重复 CRUD。
-
-## 何时使用
-
-- 用户要批量生成 Controller。
-- 用户要根据冻结 OpenAPI 字段合同、metadata 和稳定 Application 接口生成 Request / Response / Controller / WebConvertor。
-- 用户要求统一 Web Adapter 风格、返回值和接口路径。
-
-## 不适用
-
-- 用户只是要新增一个手写复杂接口，不一定要用脚本。
-- 用户还没有稳定的 Application Service、冻结 OpenAPI 或 metadata，先回 实现合同编译器 补 `yss-application` / `yss-domain` 和相应合同输入。
-
-## 优先流程
-
-1. 先确认冻结 OpenAPI、批准且版本当前的 Web generation contract schema v2、Application Service 接口、metadata、基础包、模块名、领域 segment 和 web 落盘目录；合同必须绑定 Slice `contract_id` / `contract_version` / `slice_id`、`yss-dto` wire profile 引用与 digest、允许写路径、证据与验证命令。
-2. 加载并遵守 `yss-dto` 与 `yss-validation`；错误映射影响命中时再加载 `yss-exception`。
-3. 涉及 DTO / VO / CMD / Query POJO 样板代码时，加载并遵守 `lombok`。
-4. 涉及 Domain / Application Result 到 VO / DTO 或 CMD / Query 到输入模型的转换时，加载并遵守 `mapstruct`。
-5. 运行 `node scripts/generate_controller.mjs`。
-6. 生成后检查路径、命名、返回值包装、Application Service 引用、`@Valid`、Lombok 注解和 MapStruct WebConvertor 是否对齐项目。
-7. 对复杂接口做少量手工修正，不在 skill 中承诺自动覆盖全部业务逻辑。
-
-## 推荐命令
-
-```bash
-node scripts/generate_controller.mjs \
-  --metadata-file /path/metadata.json \
-  --contract-file /path/approved-web-generation-contract.json \
-  --dto-wire-profile-file /path/to/yss-dto/references/openapi-wire-profile.yaml \
-  --scaffold-manifest-file /path/service/.yss/scaffold-generation.json \
-  --base-package com.yss.demo \
-  --module-name demo \
-  --domain-segment example \
-  --web-project-dir /path/demo-adapter/demo-web \
-  --application-service-package com.yss.demo.application.service \
-  --validation-namespace javax
-```
-
-## 输出预期
-
-- `rest/dto/request/*CreateRequest.java`
-- `rest/dto/request/*UpdateRequest.java`
-- `rest/dto/request/*PageRequest.java`
-- `rest/dto/response/*Response.java`
-- `rest/*Controller.java`
-- `rest/convertor/*WebConvertor.java`
-
-## 约束
-
-- 生成代码只依赖既有 Application Service；读写操作都禁止绕过 Application。复杂查询经 Application Query Port 接入 Infrastructure。
-- 返回包装类、分页默认值、允许字段与 `PageResult.of(...)` 参数语义必须消费合同绑定的 `yss-dto/references/openapi-wire-profile.yaml`；Web skill 不复制或自行维护第二套协议。
-- DTO / VO / CMD / Query 默认用 Lombok 处理 getter/setter、constructor、builder 和日志样板；不要在 Controller 内部类或非约定包临时定义主要 DTO / VO。
-- `WebConvertor` 使用 `@Mapper(componentModel = "spring")` 和构造器注入；禁止静态 `INSTANCE`、在 Controller / Application 中大段手写字段赋值、使用 `BeanUtils.copyProperties` 或反射式通用拷贝。
-- HTTP Request 不继承会暴露内部协作字段的 `PageQuery`；只生成冻结 OpenAPI allowlist 字段，禁止把 `offset`、`needTotalCount`、`tempTotalCount` 变成客户端输入。
-- `fields.<table>.pagination` 必须显式列出 `yss-dto` wire profile 允许暴露的字段子集；模板不得无条件生成字段或自行定义默认值。
-- 先跑脚本，再按项目规范做少量手调。
-- `javax` / `jakarta` validation namespace 必须来自工程基线，不得按记忆选择。
-- 若用户只是要改单个 Controller，先看现有代码，不要盲覆盖整个目录。
-- 脚本是 initialize-only；写入前先规划全部目标并校验 `allowed_write_paths`，任一目标已存在或传入 `--force` 时整体返回 `unsupported`。落盘使用排他创建和失败回滚，不得留下部分文件；旧项目迁移不属于该生成器。
-- `integration_mode=existing-project` 保留已登记工程的 Boot 2/Boot 3 能力；`integration_mode=scaffold-v2` 必须提供 `--scaffold-manifest-file`，且 Manifest 已达到 `empty-scaffold-verified`，Profile、基础包和标准 Web module 路径全部一致。
-
-## 按需读取
-
-- 分层开发规范：`references/web-adapter-layer-guide.md`
-- Web 生成合同 schema：`references/web-generation-contract.schema.json`
-- 生成脚本：`scripts/generate_controller.mjs`
-- Controller 模板：`assets/templates/Controller.java.template`
-- Convertor 模板：`assets/templates/WebConvertor.java.template`
-- POJO 样板代码：`lombok`
-- 对象转换：`mapstruct`
-
-## 阶段 7 合同
-
-- 只消费已批准且当前的 schema v2 Web generation contract 和冻结 OpenAPI/no-impact record；schema v1 为 `unsupported`，不得自动升级，也不得用 Controller 或半成品 backend 反向定义产品契约。
-- DTO/VO/WebConvertor 机械骨架可用 `controlled-generation`；权限、错误映射、校验语义和接口行为必须使用 `behavior-tdd`。
-- 写入必须位于合同 `allowed_write_paths`，并提供 Controller、DTO/VO、WebConvertor、契约/API 测试和实际验证结果。
-- 按统一 `YSS Skill Execution Result` 返回偏离与新增影响；出现新 API/schema、权限或响应包装变化时暂停并回到 实现合同编译器/生命周期。

package/template/.trae/skills/yss-web-controller/agents/openai.yaml

@@ -1,5 +0,0 @@
-version: 1
-interface:
-  display_name: "YSS Web Controller"
-  short_description: "按批准 Slice/Web 合同生成 Controller、Wire DTO 与 Convertor"
-  default_prompt: "Use $yss-web-controller with an approved schema v2 Web generation contract, frozen OpenAPI, stable Application interfaces, and allowed write paths to generate YSS REST adapters atomically."

package/template/.trae/skills/yss-web-controller/assets/templates/Controller.java.template

@@ -1,72 +0,0 @@
-package ${base_package}.rest;
-
-${application_service_import}
-${dto_imports}
-${web_convertor_import}
-import ${page_result_type};
-import ${single_result_type};
-import lombok.RequiredArgsConstructor;
-import org.springframework.web.bind.annotation.*;
-import io.swagger.v3.oas.annotations.Operation;
-import io.swagger.v3.oas.annotations.tags.Tag;
-import ${validation_namespace}.validation.Valid;
-
-/**
- * ${domain_desc} 管理
- *
- * @author ${author}
- */
-@RestController
-@RequestMapping("/api/${module_name}/${domain_url_path}")
-@RequiredArgsConstructor
-@Tag(name = "${domain_desc}管理")
-public class ${domain_class}Controller {
-
-    ${application_service_field}
-    private final ${web_convertor_class} webConvertor;
-
-    /**
-     * 分页查询 ${domain_desc}
-     */
-    @PostMapping("/page")
-    @Operation(summary = "分页查询")
-    public ${page_result_simple_name}<${response_class}> page(@Valid @RequestBody ${page_request_class} request) {
-        return webConvertor.toResponsePage(${query_call});
-    }
-
-    /**
-     * 根据ID查询 ${domain_desc}
-     */
-    @GetMapping("/{id}")
-    @Operation(summary = "详情查询")
-    public ${single_result_simple_name}<${response_class}> detail(@PathVariable Long id) {
-        return ${single_result_simple_name}.${single_result_factory_method}(webConvertor.toResponse(${detail_call}));
-    }
-
-    /**
-     * 新增 ${domain_desc}
-     */
-    @PostMapping
-    @Operation(summary = "新增")
-    public ${single_result_simple_name}<Long> add(@Valid @RequestBody ${create_request_class} request) {
-        return ${single_result_simple_name}.${single_result_factory_method}(${add_call});
-    }
-
-    /**
-     * 更新 ${domain_desc}
-     */
-    @PutMapping
-    @Operation(summary = "更新")
-    public ${single_result_simple_name}<Boolean> update(@Valid @RequestBody ${update_request_class} request) {
-        return ${single_result_simple_name}.${single_result_factory_method}(${update_call});
-    }
-
-    /**
-     * 删除 ${domain_desc}
-     */
-    @DeleteMapping("/{id}")
-    @Operation(summary = "删除")
-    public ${single_result_simple_name}<Boolean> delete(@PathVariable Long id) {
-        return ${single_result_simple_name}.${single_result_factory_method}(${delete_call});
-    }
-}

package/template/.trae/skills/yss-web-controller/assets/templates/WebConvertor.java.template

@@ -1,30 +0,0 @@
-package ${base_package}.rest.convertor;
-
-import ${page_result_type};
-${application_type_imports}
-import ${base_package}.rest.dto.request.${domain_class}CreateRequest;
-import ${base_package}.rest.dto.request.${domain_class}UpdateRequest;
-import ${base_package}.rest.dto.request.${domain_class}PageRequest;
-import ${base_package}.rest.dto.response.${domain_class}Response;
-import org.mapstruct.Mapper;
-import java.util.List;
-
-@Mapper(componentModel = "spring")
-public interface ${web_convertor_class} {
-
-    ${domain_class}CreateCommand toCreateCommand(${domain_class}CreateRequest source);
-
-    ${domain_class}UpdateCommand toUpdateCommand(${domain_class}UpdateRequest source);
-
-    ${domain_class}PageQuery toPageQuery(${domain_class}PageRequest source);
-
-    ${domain_class}Response toResponse(${domain_class}Result source);
-
-    List<${domain_class}Response> toResponses(List<${domain_class}Result> source);
-
-    default ${page_result_simple_name}<${domain_class}Response> toResponsePage(${page_result_simple_name}<${domain_class}Result> source) {
-        return ${page_result_simple_name}.${page_result_factory_method}(
-${page_result_factory_arguments}
-        );
-    }
-}

package/template/.trae/skills/yss-web-controller/assets/templates/web/dto/CreateRequest.java.template

@@ -1,19 +0,0 @@
-package ${base_package}.rest.dto.request;
-
-import ${command_dto_type};
-import lombok.Getter;
-import lombok.Setter;
-import ${validation_namespace}.validation.constraints.NotBlank;
-import ${validation_namespace}.validation.constraints.NotNull;
-import java.util.Date;
-import java.math.BigDecimal;
-import java.time.LocalDateTime;
-import java.time.LocalDate;
-
-/** ${domain_desc}新增请求。字段来自批准的 OpenAPI allowlist。 */
-@Getter
-@Setter
-public class ${domain_class}CreateRequest extends ${command_dto_simple_name} {
-
-${field_declarations}
-}

package/template/.trae/skills/yss-web-controller/assets/templates/web/dto/PageRequest.java.template

@@ -1,21 +0,0 @@
-package ${base_package}.rest.dto.request;
-
-import ${query_dto_type};
-import lombok.Getter;
-import lombok.Setter;
-import ${validation_namespace}.validation.constraints.Pattern;
-import java.util.Date;
-import java.math.BigDecimal;
-import java.time.LocalDateTime;
-import java.time.LocalDate;
-
-/**
- * ${domain_desc}分页请求。仅暴露已冻结的 HTTP 查询字段。
- */
-@Getter
-@Setter
-public class ${domain_class}PageRequest extends ${query_dto_simple_name} {
-${pagination_field_declarations}
-
-${field_declarations}
-}

package/template/.trae/skills/yss-web-controller/assets/templates/web/dto/Response.java.template

@@ -1,18 +0,0 @@
-package ${base_package}.rest.dto.response;
-
-import lombok.Getter;
-import lombok.Setter;
-import java.io.Serializable;
-import java.util.Date;
-import java.math.BigDecimal;
-import java.time.LocalDateTime;
-import java.time.LocalDate;
-
-/** ${domain_desc}公开响应。字段来自批准的 OpenAPI allowlist。 */
-@Getter
-@Setter
-public class ${domain_class}Response implements Serializable {
-    private static final long serialVersionUID = 1L;
-
-${field_declarations}
-}

package/template/.trae/skills/yss-web-controller/assets/templates/web/dto/UpdateRequest.java.template

@@ -1,19 +0,0 @@
-package ${base_package}.rest.dto.request;
-
-import ${command_dto_type};
-import lombok.Getter;
-import lombok.Setter;
-import ${validation_namespace}.validation.constraints.NotBlank;
-import ${validation_namespace}.validation.constraints.NotNull;
-import java.util.Date;
-import java.math.BigDecimal;
-import java.time.LocalDateTime;
-import java.time.LocalDate;
-
-/** ${domain_desc}更新请求。字段来自批准的 OpenAPI allowlist。 */
-@Getter
-@Setter
-public class ${domain_class}UpdateRequest extends ${command_dto_simple_name} {
-
-${field_declarations}
-}

package/template/.trae/skills/yss-web-controller/references/profiles/layered-mvc-service.md

@@ -1,3 +0,0 @@
-# layered-mvc-service
-
-先读仓库 `docs/agents/backend-architecture-profiles.md`。server 的 Controller 只调用 service；私有 DTO 在 server，已批准 published-client 的公开 DTO 在 client。server 持有 MapStruct WebConvertor、HTTP 校验与错误脱敏。不得从表结构反推 OpenAPI，不得直连 Repository。执行脚本前确认其接受当前 Profile；不接受时返回 blocked，禁止伪造 DDD Manifest 绕过。

package/template/.trae/skills/yss-web-controller/references/profiles/mvc-data-analysis-v1.md

@@ -1,3 +0,0 @@
-# mvc-data-analysis-v1
-
-遵守 `layered-mvc-service.md`，但用例接口位于 core，公开 DTO 位于 client。server 同时依赖 core 与 client 并持有转换；core 不得为了复用 HTTP DTO 而依赖 client。

package/template/.trae/skills/yss-web-controller/references/profiles/target-domain-model.md

@@ -1,3 +0,0 @@
-# target-domain-model
-
-完整执行规则见 `../web-adapter-layer-guide.md`。Web 位于 adapter/web，DTO 位于 Web；只调用稳定 Application 接口，通过 MapStruct 适配 wire 与内部模型。

package/template/.trae/skills/yss-web-controller/references/web-adapter-layer-guide.md

@@ -1,86 +0,0 @@
-# YSS Web Adapter Target Profile 指南
-
-Web Adapter 负责 HTTP 边界、Wire DTO、校验、YSS Result 包装、WebConvertor 和异常翻译。它只调用 Application，不直接访问 Domain Gateway、Repository 或 PO。
-
-## 1. 包结构
-
-```text
-{base_package}.rest
-├── dto
-│   ├── request
-│   └── response
-├── convertor
-├── exception
-└── *Controller.java
-```
-
-DTO 固定属于 Web module。独立 client module 与把 client DTO 放进 Domain module 均为 `unsupported`；如未来确需发布复用制品，必须另行设计并批准新的 Target Profile，不能由当前脚手架推断或回退。
-
-## 2. Wire 合同
-
-- Request/Response 字段必须来自冻结 OpenAPI 和批准 allowlist。
-- 数据库 metadata 只补充 Java 类型候选，不能自行扩大公开字段。
-- Web Page Request 不继承含内部协作字段的 `PageQuery`；分页字段、默认值、枚举和禁用字段全部来自合同绑定且 digest 匹配的 `yss-dto` wire profile，再与 `fields.<table>.pagination` allowlist 取交集。Web Adapter 不维护第二份分页协议。
-- `orderBy` / `groupBy` 必须在 Application/Infrastructure 映射到数据库列白名单。
-- `offset`、`needTotalCount`、`tempTotalCount` 禁止进入 HTTP 绑定面。
-
-## 3. Controller
-
-```java
-@RestController
-@RequestMapping("/api/quality/quality-rule")
-@RequiredArgsConstructor
-@Tag(name = "质量规则管理")
-public class QualityRuleController {
-    private final QualityRuleService service;
-    private final QualityRuleWebConvertor webConvertor;
-
-    @PostMapping
-    public SingleResult<Long> create(@Valid @RequestBody QualityRuleCreateRequest request) {
-        return SingleResult.of(service.create(webConvertor.toCreateCommand(request)));
-    }
-}
-```
-
-- 只使用 OpenAPI 3 `io.swagger.v3.oas.annotations`；Swagger 2 为 `unsupported`，不存在 legacy Profile。
-- Controller 不捕获通用 `Exception`，不写业务规则，不手工执行持久化分页。
-- Controller seam 只出现 Web Request/Response 和 Application Service。
-
-## 4. WebConvertor
-
-```java
-@Mapper(componentModel = "spring")
-public interface QualityRuleWebConvertor {
-    QualityRuleCreateCommand toCreateCommand(QualityRuleCreateRequest source);
-    QualityRuleResponse toResponse(QualityRuleResult source);
-}
-```
-
-- 使用构造器注入，不定义静态 `INSTANCE`。
-- Request → Application Command/Query；Application Result → Response。
-- 不导入 Domain Model 或 Repository PO。
-- 父 POM 必须配置 MapStruct processor、Lombok 与 `lombok-mapstruct-binding`，验证生成实现真实编译。
-
-## 5. Exception Translator
-
-- Domain/Application 错误经专门 Translator 映射为冻结 API 的 HTTP status、YSS error code 和消毒后的公开消息。
-- known business、known system、unknown/runtime 三类都必须有 MockMvc/HTTP contract test。
-- unknown/runtime 保留内部 cause/stack 用于日志，但公开响应禁止返回 `getLocalizedMessage()`。
-- 复用 YSS global handler 前必须实测 auto-configuration 和 precedence；未经验证不能仅凭依赖存在宣称生效。
-
-## 6. 生成门禁
-
-- `generate_controller.mjs` 只消费 `schema_version=2`、`status=approved` 且 `current_version=contract_version` 的 Web generation contract；schema v1 为 `unsupported`。
-- `references/web-generation-contract.schema.json` 是 Web generation contract v2 的机器可读结构合同；生成器仍执行跨字段、文件系统与 Manifest 语义校验。
-- 合同必须声明 Slice `contract_id/contract_version/slice_id`、`integration_mode`、`implementation_project_root`、`allowed_write_paths`、预期证据、验证命令、`base_package`、`module_name`、`domain_segment`、Application Service package、`target-domain-model`、平台/validation Profile、`dto_placement=web`、`dto_wire_profile_ref/digest`、OpenAPI Freeze 引用和每张表的 create/update/query/pagination/response allowlist；CLI 身份必须逐项匹配。
-- `scaffold-v2` 模式必须绑定已达 `empty-scaffold-verified` 或 `first-slice-verified` 的 Manifest，并校验标准 Web module 路径和所有 Profile；`existing-project` 模式不得伪造 scaffold manifest。
-- 生成器是 initialize-only，必须在写入前规划全部目标并校验每个目标位于批准写路径；任一文件已存在或传入 `--force` 时整体阻断。落盘使用排他创建，任一步失败都回滚本次已创建文件，不允许部分成功。
-- 权限、校验语义、异常行为和复杂查询仍使用 `behavior-tdd`，不能由 metadata 猜测。
-
-## 7. 验证
-
-- Controller 只依赖 Application。
-- WebConvertor 无 Domain/Infrastructure import，并由 Spring 注入。
-- Wire forbidden fields 无法绑定。
-- OpenAPI 3 注解、YSS Result wrapper、Validation namespace 与平台 Profile 一致。
-- 执行项目根 `./mvnw test/package`，并保留 HTTP/serialization/exception 证据。

package/template/.trae/skills/yss-web-controller/references/web-generation-contract.schema.json

@@ -1,98 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://yss.local/schemas/web-generation-contract.schema.json",
-  "title": "YSS Web Generation Contract",
-  "type": "object",
-  "additionalProperties": false,
-  "required": [
-    "schema_version",
-    "contract_id",
-    "contract_version",
-    "current_version",
-    "slice_id",
-    "status",
-    "integration_mode",
-    "implementation_project_root",
-    "base_package",
-    "module_name",
-    "domain_segment",
-    "application_service_package",
-    "architecture_profile",
-    "platform_profile",
-    "validation_namespace",
-    "dto_placement",
-    "dto_wire_profile_ref",
-    "dto_wire_profile_digest",
-    "openapi_freeze_ref",
-    "allowed_write_paths",
-    "expected_evidence_files",
-    "verification_commands",
-    "fields"
-  ],
-  "properties": {
-    "schema_version": { "const": 2 },
-    "contract_id": { "$ref": "#/$defs/nonEmptyString" },
-    "contract_version": { "type": "integer", "minimum": 1 },
-    "current_version": { "type": "integer", "minimum": 1 },
-    "slice_id": { "$ref": "#/$defs/nonEmptyString" },
-    "status": { "const": "approved" },
-    "integration_mode": { "enum": ["existing-project", "scaffold-v2"] },
-    "implementation_project_root": { "$ref": "#/$defs/nonEmptyString" },
-    "scaffold_manifest_ref": { "$ref": "#/$defs/nonEmptyString" },
-    "base_package": { "$ref": "#/$defs/nonEmptyString" },
-    "module_name": { "$ref": "#/$defs/nonEmptyString" },
-    "domain_segment": { "$ref": "#/$defs/nonEmptyString" },
-    "application_service_package": { "$ref": "#/$defs/nonEmptyString" },
-    "architecture_profile": { "enum": ["target-domain-model", "layered-mvc-service", "mvc-data-analysis-v1"] },
-    "architecture_identity": { "type": "object", "description": "由 backend-architecture-identity.schema.json 和注册表校验，并与 Manifest 完全一致" },
-    "platform_profile": { "enum": ["spring-boot-2.7-jdk8", "spring-boot-3-jdk17"] },
-    "validation_namespace": { "enum": ["javax", "jakarta"] },
-    "dto_placement": { "enum": ["web", "server", "client"] },
-    "dto_wire_profile_ref": { "$ref": "#/$defs/nonEmptyString" },
-    "dto_wire_profile_digest": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-    "openapi_freeze_ref": { "$ref": "#/$defs/nonEmptyString" },
-    "allowed_write_paths": { "$ref": "#/$defs/nonEmptyStringArray" },
-    "expected_evidence_files": { "$ref": "#/$defs/nonEmptyStringArray" },
-    "verification_commands": { "$ref": "#/$defs/nonEmptyStringArray" },
-    "fields": {
-      "type": "object",
-      "minProperties": 1,
-      "additionalProperties": {
-        "type": "object",
-        "additionalProperties": false,
-        "required": ["create", "update", "query", "pagination", "response"],
-        "properties": {
-          "create": { "$ref": "#/$defs/stringArray" },
-          "update": { "$ref": "#/$defs/stringArray" },
-          "query": { "$ref": "#/$defs/stringArray" },
-          "pagination": {
-            "type": "array",
-            "uniqueItems": true,
-            "items": { "$ref": "#/$defs/nonEmptyString" }
-          },
-          "response": { "$ref": "#/$defs/stringArray" }
-        }
-      }
-    }
-  },
-  "allOf": [
-    {
-      "if": { "properties": { "integration_mode": { "const": "scaffold-v2" } } },
-      "then": { "required": ["scaffold_manifest_ref"] },
-      "else": { "not": { "required": ["scaffold_manifest_ref"] } }
-    },
-    {
-      "if": { "properties": { "platform_profile": { "const": "spring-boot-2.7-jdk8" } } },
-      "then": { "properties": { "validation_namespace": { "const": "javax" } } }
-    },
-    {
-      "if": { "properties": { "platform_profile": { "const": "spring-boot-3-jdk17" } } },
-      "then": { "properties": { "validation_namespace": { "const": "jakarta" } } }
-    }
-  ],
-  "$defs": {
-    "nonEmptyString": { "type": "string", "minLength": 1 },
-    "stringArray": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/nonEmptyString" } },
-    "nonEmptyStringArray": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/nonEmptyString" } }
-  }
-}