作者为回放磁带定义了三条契约：回放运行必须零成本；未命中必须大声报错（退出码2并打印指纹）；缓存键必须可解释。