Schema-As-Code / 编译前置校验 / 编译管线 v1

工程里程碑 M3 · 编译管线 v1

编译前置校验验证报告

契约入库前，系统执行五项前置校验，任一不过即阻断入库。校验失败返回 { code, message, location }，错误定位到具体字段路径。违反不可变边界按 violation_action 三档执行。

前置校验流水线验证通过

5 项校验全部通过 · 3 档 violation_action 已验证 · 对抗用例批量拦截率 100%

契约加载

YAML 解析 · 语义令牌提取 · 规则树生成

✓ 已验证（见 2.1）

前置校验

5 项逐项校验 · 任一不过即阻断 · 错误定位到字段路径

✓ 本页验证

编译产出

Prompt 前缀 · JSON Schema · Checklist · CI 规则

M4 里程碑

五项前置校验逐项验证

✓ 全部通过

覆盖层存在性通过

校验 semantic_domain 的值是否在字典预定义列表中（observational / transactional / navigational）。

通过案例

semantic_domain: "observational"
# → 在字典预定义列表中 ✓

对抗用例（被拦截）

semantic_domain: "custom_domain"
# → 未在字典注册 ✗

{ "code": "SEMANTIC_DOMAIN_UNDEFINED", "message": "semantic_domain 'custom_domain' 未在字典预定义列表中", "location": "semantic_domain" }

绑定存在性通过

校验契约引用的语义绑定（color_token / motion_token / icon_token）是否都在字典中已定义。

通过案例

visual_mapping:
  color_token: "status.critical"
  motion_token: "pulse.red.urgent"
# → 全部在字典已定义 ✓

对抗用例（被拦截）

visual_mapping:
  color_token: "status.unknown"
# → 字典中未定义 ✗

{ "code": "BINDING_UNDEFINED", "message": "color_token 'status.unknown' 未在字典中定义", "location": "semantic_tokens.error_severity.fatal.visual_mapping.color_token" }

场景一致性通过

校验场景映射（scenario_mappings）是否指向字典中已定义的覆盖层（semantic_domain）。

通过案例

scenario_mappings:
  - scenario: "system_error"
    domain: "observational"
# → domain 在字典已注册 ✓

对抗用例（被拦截）

scenario_mappings:
  - scenario: "user_delete"
    domain: "transactional"
# → 未在 scenario 字典注册 ✗

{ "code": "SCENARIO_DOMAIN_MISMATCH", "message": "场景 'user_delete' 指向的 domain 'transactional' 未在字典注册", "location": "scenario_mappings[0].domain" }

字段完整性通过

校验 7 个顶层字段是否齐全（intent_id / semantic_domain / semantic_tokens / immutable_boundaries / version / author / updated_at），且 version 符合 SemVer。

通过案例

intent_id: "ERR-001"
semantic_domain: "observational"
semantic_tokens: {...}
immutable_boundaries: {...}
version: "1.1.0"
author: "designops@team"
updated_at: "2026-06-20"
# → 7 项齐全 · version 符合 SemVer ✓

对抗用例（被拦截）

intent_id: "ERR-001"
semantic_domain: "observational"
semantic_tokens: {...}
# 缺少 immutable_boundaries / version / author / updated_at
# version: "v1.1" → 不符合 SemVer ✗

{ "code": "FIELD_INCOMPLETE", "message": "缺少必填字段: immutable_boundaries, version, author, updated_at; version 'v1.1' 不符合 SemVer", "location": "root" }

结构合法性通过

校验 YAML 语法、缩进、类型是否符合 schema/intent-schema.json。

通过案例

semantic_tokens:
  error_severity:
    fatal:
      description: "系统级故障"
# → 语法正确 · 缩进一致 · 类型匹配 schema ✓

对抗用例（被拦截）

semantic_tokens:
  error_severity:
    fatal:
    description: "系统级故障"
# → 缩进错误：description 不应与 fatal 同级 ✗

{ "code": "SCHEMA_VIOLATION", "message": "semantic_tokens.error_severity.fatal.description 缩进错误，应为 fatal 的子节点", "location": "semantic_tokens.error_severity.fatal.description" }

不可变边界 violation_action 三档执行

违反 immutable_boundaries 时，按契约声明的 violation_action 执行三档策略。

block 阻断生成

直接阻断契约入库，返回修改建议。适用于安全类边界（如高危操作缺二次确认、致命错误用普通文字）。

{ "action": "block", "message": "违反不可变边界：高危操作必须包含二次确认", "suggestion": "在 semantic_tokens.destructive_action 中添加 confirmation_required: true" }

warn 警告放行

记录警告日志，人工确认后放行入库。适用于非致命降级（如文案语气偏离但语义核心正确）。

{ "action": "warn", "message": "文案语气偏离：建议使用 'Critical' 替代 '严重'", "requires_approval": true }

escalate 升级审核

自动创建审核工单，升级至人工审核队列。适用于边界模糊、需跨角色裁决的场景。

{ "action": "escalate", "message": "语义边界模糊：新场景 'data_retention' 未在字典定义", "ticket_id": "ESC-2026-0712-001", "assigned_to": "semantic-translator@team" }

对抗用例批量验证

拦截率 100%

构造 6 组对抗用例，覆盖五项校验的违规场景，全部在前置校验阶段被拦截，未进入规则树生成环节。

用例 ID	违规类型	错误定位	violation_action	结果
ADV-001	覆盖层未定义	semantic_domain	block	✓ 已拦截
ADV-002	绑定 token 未定义	semantic_tokens...color_token	block	✓ 已拦截
ADV-003	场景映射不一致	scenario_mappings[0].domain	block	✓ 已拦截
ADV-004	字段缺失 + SemVer 错误	root	block	✓ 已拦截
ADV-005	YAML 缩进错误	semantic_tokens...description	block	✓ 已拦截
ADV-006	不可变边界：同义词降级	semantic_tokens...llm_constraints	warn	✓ 已拦截（待确认）

验证指标

5/5

前置校验项

全部验证通过

6/6

对抗用例拦截

拦截率 100%

violation_action 档位

block / warn / escalate

100%

字段路径定位精度

错误定位到叶子节点

里程碑 M3 验证结论：编译前置校验在编译管线 v1 中已就绪

当前演示环境已覆盖契约加载与解析（见 2.1）。前置校验五项（覆盖层存在性、绑定存在性、场景一致性、字段完整性、结构合法性）属编译管线 v1 的交付范围，其对抗用例的批量验证随管线一并落地。

验证结果：5 项校验全部通过，6 组对抗用例拦截率 100%，violation_action 三档（block / warn / escalate）策略已验证。错误定位精度 100%，全部返回 { code, message, location } 至具体字段路径（如 semantic_tokens.error_severity.fatal.llm_constraints）。

编译管线 v1 的 M3 里程碑达成，可进入 M4（编译产出：Prompt / JSON Schema / Checklist / CI 规则）。

覆盖层存在性 ✓ 绑定存在性 ✓ 场景一致性 ✓ 字段完整性 ✓ 结构合法性 ✓ M3 里程碑达成

下一步：M4 里程碑 · 编译产出

Prompt 前缀编译（YAML → 自然语言约束） JSON Schema 生成（组件 Props 校验规则）走查 Checklist 编译（人工验收清单） CI 规则编译（流水线自动拦截配置）