CLS 00 · 第七讲实验导航
先选自己要回答的问题，再进入下列 CLS 或 LAB。
- 先看什么
- 先读“怎么用这套材料”，确认课堂问题与实验的对应关系。
- 改什么
- 这里是导航，不要求改参数。
- 比较什么
- 定位一处尚不能解释的课堂判断，带着它进入对应实验。
七本现成材料按问题组织。CLS 是课前/课后阅读，LAB 是先预测、再运行、再解释的实验。请在自己的副本中填写预测，不覆盖教师原本。
CLS 01 · 搜索、反例与有限验证
从固定参数与当前上下文，读到反例、覆盖和候选剪枝。
- 先看什么
- 先读“固定参数还可以多算什么”，再读 A/B/C 与搜索树。
- 改什么
- 不用先运行；手算四项输入和 S3 的首次剪枝。
- 比较什么
- 区分“生成不到好答案”和“好答案被早早剪掉”。
CLS 02 · 检查信号、预算与证据交付
同一检查可以服务当前修订、筛选模仿或相对奖励。
- 先看什么
- 先读检查矩阵，再读预算与交付卡。
- 改什么
- 先写预测：删哪一列会改变 B 的奖励？
- 比较什么
- 比较检查覆盖变化与信号变化，说明每项证据支持什么。
LAB 01 · 分页反例与覆盖
用最小反例判断分页修复，而不是只看一次绿灯。
- 先看什么
- 先填写预测，再运行五项、四项与空输入。
- 改什么
- 只改输入长度或页大小；保持候选实现不变。
- 比较什么
- 比较漏项、重复、空输入异常，并将有限测试接回覆盖前提。
LAB 02 · 中途选择与错失方向
看见好分支在哪里被丢掉，并把成本一起记下来。
- 先看什么
- 先预测 Beam=2 第一轮保留谁，不要先看末端最高分。
- 改什么
- 一次只改 K，或把 S3 中途评分从 78 改成 87。
- 比较什么
- 比较首次剪枝、最终叶子与生成/评分成本；不同展开数不是同预算。
LAB 03 · 同一检查信号的三种去向
计算检查、筛选与相对信号，不实际训练模型。
- 先看什么
- 先保留 ABC 与 full，填写各候选得分预测。
- 改什么
- 改 check_set 为 drop_empty 或 five_only；再看 ABCB1 与 empty_only。
- 比较什么
- 比较 [1,0,1] 与全 1；解释删空输入为何未必影响 B。相对信号不是完整 GRPO。
LAB 04 · 超时迁移与证据交付
用确定性时间模拟分清超时、重试与总预算。
- 先看什么
- 先写预测，再看 response_ms=300、timeout_ms=200 的默认案例。
- 改什么
- 一次只改 timeout_ms、max_attempts 或 tie_policy；高级部分再改 overall deadline。
- 比较什么
- 比较尝试次数、累计耗时、观察到的成功与仍未知事项；不把模拟当真实网络性能。