学习实验室 / 数据契约
数据契约实验室
这次上游变化，会破坏哪个消费约定？
比较生产者承诺与消费方约定，用同一批事件回放旧新版本，再查看可验证的证据。全部检查在你的浏览器内完成。
浏览器本地 · 不上传 · 合成样例四个实验，一条明确方向。
新生产者 → 现有消费方。契约变更是声明，样例回放是观察；两者都没有执行真实生产实现。
DCL/1 是受限契约语言，不是完整 JSON Schema 校验器。未知关键字会报输入错误。
粘贴输入包
限制：每份输入 2 MB；500 行 JSONL；12 个消费方；Schema 深度 8、节点 160。允许末尾换行，中间空白行视为错误。
验证报告
样例可以暴露失败，无法证明所有真实行为兼容。“已证明包含”仅指 DCL/1 结构值集合；语义检查依赖明确声明。
生产者 → 消费方
生产者契约双向比较
相同行分别验证旧新契约
| 行号 | 结果 | 旧：结构 / 语义 | 新：结构 / 语义 | 新增 / 修复 / 未变错误 |
|---|
全部校验错误
| 行号 | 阶段 | JSON Pointer | 代码 | 说明 |
|---|
保存证据
JSON 和可阅读报告包含输入契约、消费方名称、生成反例与诊断，不含原始事件值。CSV 会给公式形态的单元格加前缀，并给全部字段加引号；导入表格时请保留这些保护。