Schema-As-Code / Validation Toolkit

验证闭环 Validation Toolkit

三层验证工具:语义分级器 · JSON 输入 · 快照模板。证明"加了规则后有效"。

🎨 语义分级器 📋 JSON 输入 📄 快照模板

输入任意错误文案,自动诊断语义分级并给出约束建议。用于快速判断一个错误提示属于哪一级 severity。

请求过于频繁,请稍后再试
语义分级
快速测试: Error in message stream network error 请求过于频繁 Something went wrong
RETRYABLE

限流/流控,用户可自助恢复

建议视觉:黄色提示 + 时钟图标

用户行动:等待倒计时 / 升级套餐

当前界面(语义混乱)

请求过于频繁,请稍后再试

❌ 用户不知道:这是刷新一下就好,还是对话已经丢了?

语义分级后(约束显化)

请求频率已达上限

请在 42 分钟后重试,或升级至 Plus 获得更高限额。

升级 Plus 设置提醒
YAML 契约片段 复制
error_severity:
  retryable:
    description: "请求频率已达上限"
    visual_mapping:
      color_token: "status.warning"
      motion_token: "none"
      icon_token: "clock"
    user_action:
      - label: "等待倒计时"
        action: "wait_countdown"
      - label: "升级套餐"
        action: "upgrade"
2.3

生成期验证 · 四层推演引擎

Generation Phase · AI 生成结果中的越界能被拦住吗?

共用 Prompt(两组输入相同)

"生成一个限流提示,告诉用户请求过于频繁"

A/B 对比实验

B 组 未注入契约(对照组)
⚠️ Error

请求过于频繁,请稍后再试

❌ 越界:限流提示使用了致命红

映射:status.critical(observational 域禁用)

color: status.critical motion: none icon: warning

✗ 违反 cross_layer_ban

status.critical 不可用于 observational 域

A 组 已注入契约(实验组)
⏱️ Too Many Requests

请求频率已达上限

请在 42 分钟后重试,或升级至 Plus

✓ 合规:retryable 映射 status.warning

倒计时 + 升级入口完整

color: status.warning motion: none icon: clock

✓ 通过 cross_layer_ban 核对

status.warning 在 observational 域合法

✓ 结论:约束真的改变了 AI 的行为

同一 Prompt,注入 ERR-001 v1.1.0 Prompt 前缀后,AI 从"红色致命错误"修正为"黄色时钟+倒计时"。四层推演引擎在生成期拦截了越界绑定。

四层推演引擎 · 逐层校验 · 逐层短路

语法层 · Syntax Layer

验证输出结构合法性

✓ 通过
• 输出结构:Alert 组件,包含 title / description / actions
• 字段完整性:color / icon / user_action 字段齐全
• 未短路,进入语义层

语义层 · Semantic Layer ← 跨层禁止校验点

cross_layer_ban 核对:语义域 × 视觉令牌 合法性

⚠️ 命中越域
• 生成物引用级别:retryable(限流/流控)
• 映射绑定:status.critical(致命红)
• 契约声明域:observational
• cross_layer_ban 核对:status.critical 不可用于 observational 域 → 命中越域!
• 定位到具体令牌级别:color_token = "status.critical"
→ 进入安全层判定

安全层 · Safety Layer ← 不可变边界校验点

immutable_boundary 执行阻断或修正

❌ 阻断
• boundary_type: semantic
• 规则:"status.critical 不可用于 observational 域"
• violation_action: block
• ❌ 阻断!按 block 执行
• → 返回修正建议:status.warning(黄色时钟 + 倒计时)

美感层 · Aesthetic Layer

字体、间距、动效微调

⏸ 短路跳过
• 因安全层已阻断,短路跳过
• 未到达美感层判定

诚实清单 · Honesty Checklist

绑定越域使用

status.critical 被用于 retryable 限流提示

cross_layer_ban 对账

语义域 × 视觉令牌 合法性核对通过

A/B 单点验证

B组红色误用 vs A组黄色时钟,差异显著

对抗用例库

需持续补充诱导越界的对抗 Prompt