模块 1 · 错题订正

# 修改前（P2508 第 3 项检查）：把第一段也按 0～255 判
a, b, c, d = (int(p) for p in parts)
if not all(0 <= x <= 255 for x in (a, b, c, d)):
    print("invalid IP")

# 修改后：第一段单独按 1～128 判（题目要求清单第 ④ 条）
a, b, c, d = (int(p) for p in parts)
if not 1 <= a <= 128 or not all(0 <= x <= 255 for x in (b, c, d)):
    print("invalid IP")

只改了检查条件那一行；完整程序在第 2 课 第 06 节展开区。修改前后各跑一次四个复测用例，修改前第一个用例失败、修改后全部通过——这才是「修复生效」。

# 修改前（P2529）：上行填完没有收缩上边界
for c in range(left, right + 1):               # 上行：从左到右
    if num > n: break
    grid[top][c] = str(num); num += 1
for r in range(top, bottom + 1):               # 右列：从上到下——top 仍是 0，第 0 行被重填
    if num > n: break
    grid[r][right] = str(num); num += 1
right -= 1

# 修改后：每填完一段就收缩对应边界
for c in range(left, right + 1):               # 上行：从左到右
    if num > n: break
    grid[top][c] = str(num); num += 1
top += 1                                       # 上边界收缩，右列从新的 top 行开始
for r in range(top, bottom + 1):               # 右列：从上到下
    if num > n: break
    grid[r][right] = str(num); num += 1
right -= 1

建模类错误的定位工具是「逐段手推表」：把第 5 课 第 06 节四段推演每一段的边界值写出来，与程序的实际行为对照，第一处不一致就是要改的地方。完整程序在第 5 课 第 07 节展开区。

# 修改前（P2562）：用分号连接，最后一项后面没有分号
print(";".join(f"{ch}:{cnt}" for ch, cnt in items))

# 修改后：每项后面都跟一个分号（题目页示例 x:2;y:2;X:2;）
print("".join(f"{ch}:{cnt};" for ch, cnt in items))

输出格式类错误几乎都能靠第 1 课 的 diff 比对定位：差在哪个字节，就改哪一处。完整程序在第 3 课 第 07 节展开区。

# 错题登记（每题一条，在错题订正课逐条关闭）
# 题号:       ____
# 首次错误类型: 读题 / 建模 / 边界 / 复杂度 / 语言 / 输出格式
# 触发用例:   ____
# 错误原因:   ____（一句具体、可验证的话，指出导致错误的代码或规则）
# 修复动作:   ____
# 最小验证:   构造只触发该错误的用例，修复后先跑它
# 独立重写:   未做 / 通过 / 未通过(原因: ____)

复制进你的错题本，每订正一项填一条；如果暂时无法准确描述错误原因，请结合失败用例和代码位置进一步检查，再回到六类错误原因重新分类。

# 错题登记（案例 A 填好的样子）
# 题号:       P2508
# 首次错误类型: 读题
# 触发用例:   0#1#1#1（期望 invalid IP，我的程序输出 65793）
# 错误原因:   第一段范围写成 0～255；题目要求第一段是 1～128
# 修复动作:   第一段单独判 1 <= a <= 128
# 最小验证:   0#1#1#1 → invalid IP；129#0#0#0 → invalid IP；128#0#255#255 → 2147549183
# 独立重写:   通过（不看旧代码，从空文件重写后四个用例全部一致）

「触发用例」写明期望与实际；「错误原因」写到能直接改代码；「最小验证」至少三条：触发错误的、边界另一侧的、题面示例。