只在浏览器内处理合成数据 · 不连接任何目标

输入管线实验台

同一个值，先经过哪一层、后经过哪一层，结论可能完全不同。调整顺序，再逐步执行，看看系统究竟在验证哪一种表示。

本地模拟器

实验只演示表示与契约，不包含注入语句。你可以编辑普通文本；长度超过 64 个字符会先被浏览器控件限制。

处理顺序

用“上移 / 下移”改变顺序，状态变化会由文字和颜色共同表达。