Skip to main content
📜 WAYPOINT LESSON

Checkpoint — Trust the Loop, Not Your Eyes

⭐⭐⭐ advanced⏳ 20 min read📍 Lesson 267 of 281

The delete-one checker at full strength: 4000 tie-heavy trials against a deletion oracle. Fix the counting shortcut and make the whole harness print OK.

Điểm kiểm tra — Tin vòng lặp, đừng tin mắt. The predicate "removable into non-decreasing order" under heavy ties. The violation-counter passes small eyeball tests and fails the harness. Replace it with the correct linear candidate (locate the violation, try deleting either neighbor, re-verify) so all 4000 trials agree with the oracle.