前言

为什么需要这一机制

前言 不能停在故事类比。真实系统要解决的变化是从 以读完故事作为完成 到 以可迁移的机制证据作为完成；可执行机制是：故事负责建立动机，机制图负责列出对象、状态、边界和可推翻的证据；两者通过一张类比拆解表连接。

对 前言 的验收从同一份最小输入开始，先预测 故事问题、真实对象、状态变化、边界反例、迁移复核 各自会看到什么，再运行正常、边界和故障场景。故事帮助记住矛盾，状态、协议、类型、构建或反馈证据才决定解释是否成立。

核心合同

在 前言 中，公式或状态表达式里的量必须绑定到具体对象、单位、版本或生命周期。先给基线输入算出预期，再逐步观察；如果最终结果碰巧相同，但中途已违反 状态变化 或 边界反例，仍应拒绝该实现。

目录节点到机制证据

前言

在 前言 中，目录坐标 前言 对应“故事问题”这一步。它不是故事情节的复述，而是要求读者解释：故事负责建立动机，机制图负责列出对象、状态、边界和可推翻的证据；两者通过一张类比拆解表连接。

复核 前言 时，为 前言 固定一个最小输入，先写出预期状态和输出，再改变与“故事问题”直接相连的一个条件。若出现“复述人物行为却说不出真实组件的输入、状态和失败条件”，应记录最早偏离的节点、拒绝结果以及恢复后的重放结果。

最小可重放实现

# 前言：按依赖顺序解锁并保留复核证据
for unit in learning_path:
    assert prerequisites_verified(unit)
    assert run_change_reset(unit).reproducible

这段实现草图只表达 前言 的验证合同，不复制书中叙事或代码。实际运行时应保存输入、环境、每个节点状态、最终结果和复位结果，使另一位读者能够从干净状态重放。

专属因果实验

先预测改变一个控制量后，前言 的哪一节点最先变化。依次切换基线、边界和注入故障，保存一次轨迹；随后点击“重置实验”，确认控件、节点选择、压力值和状态文本全部恢复。

故障诊断

术语与边界

前言 使用五个可验证术语：、、、、。术语若不能指向本页实验中的控件、节点或状态，就仍然只是目录名词。

本页小结

前言 的关键不是记住故事，而是能解释“故事负责建立动机，机制图负责列出对象、状态、边界和可推翻的证据；两者通过一张类比拆解表连接”。完成标准是用本页合同推出预期，沿五个专属节点观察实际，诊断“复述人物行为却说不出真实组件的输入、状态和失败条件”，并证明复位后的同一输入重新得到基线轨迹。