先读上一章，沿用其中建立的输入、标识与状态概念。
本章先跟踪一次正常操作，再改变输入或终止条件，观察原解释能否成立。代码中的检查与返回结果共同构成实验，不以模型说“成功”作为完成证据。
读完后应能复现正文结果，解释失败发生在哪个边界，并完成不依赖答案启动的独立练习。
