DSH 学习 · 确定性实验 01
改变策略、seed 和并发上限，然后逐帧检查四个子调用。默认场景会拒绝一次写入；切到“全部放行”后，写入仍先经过 policy lane，才进入工具主体。
可拖动时间轴
正在读取动态效果偏好。
圆点是教学事件，横条是工具主体的活动区间。第三维没有额外语义，所以本实验只用二维图；完整内容始终保留在下方事件表。
键盘：焦点不在表单控件时，← / → 逐帧，Home / End 跳到首末帧，空格播放或暂停。
阶段覆盖
行是四个子调用，列是调度器实际执行的阶段顺序，格子里是该阶段的 tick。被拒绝的调用在 body start 和 body end 两列是空的——区分 allow 与 deny 靠的是这个空缺，不是颜色。
并发上限
纵轴是同时处在执行区间的工具主体数量，虚线是本次请求的上限。阶梯而不是曲线：并发只在 tick 边界改变，在两个 tick 之间插值等于编造中间值。
这条线证明的是教学模型遵守了所选上限，不是真实部署的调度器行为。同一组数字在下方事件表里逐行可读。
独立校验
独立校验（oracle） 重新读取事件流，独立核对 parent、阶段顺序、策略结果、主体执行次数、并发上限和外层结算顺序。测试还会篡改一条 deny 事件，确认 独立校验 能报错。
证据边界
文字替代
表格不随动画隐藏；未来事件只降低对比度。
| 刻度 | 执行通道 | 调用 | 阶段 | 判定 | 说明 |
|---|
来源分层
Code Mode Consumer 把内部调用交给 registry 的 staged scheduler；前置与后置阶段有序推进，只有主体阶段并发，独占调用形成屏障。
查看固定源码位置四个虚构工具名、离散 tick、固定 seed 生成的持续时间、三套简化策略和二维布局由本页定义，不是 DSH 生产配置。