diff --git a/todos/TODOS.md b/todos/TODOS.md
index 2f50c84..812eeb3 100644
--- a/todos/TODOS.md
+++ b/todos/TODOS.md
@@ -358,27 +358,27 @@ See [REFACTOR_PUZZLE_TYPES.md](../REFACTOR_PUZZLE_TYPES.md) for detailed plan.
 - [x] Run mdbook build to check for broken links
 
 ## Phase 3: Review and Cleanup Tier 3 Pages
-- [ ] Review and cleanup remaining puzzle type pages (≤400 lines each)
-- [ ] Verify Related Types tables are consistent across all pages
+- [x] Review and cleanup remaining puzzle type pages (≤400 lines each)
+- [x] Verify Related Types tables are consistent across all pages
+- [x] Fix symbol-code-translation.md header format and add Index section
 
 ## Tier 3 Refactoring Tasks (15 files - need format cleanup)
-- [x] Refactor `truth-revelation.md` (124 lines → ensure ≤400, 3 examples, proper format)
-- [x] Refactor `cross-temporal-causality.md` (456 lines → trim to 3 examples, proper format)
-- [x] Refactor `cross-realm-logistics.md` (472 lines → trim to 3 examples, proper format)
-- [x] Refactor `multi-character-coordination.md` (662 lines → trim to 3 examples, proper format)
-- [x] Refactor `timed-consequence.md` (528 lines → trim to 3 examples, proper format)
-- [x] Refactor `comedy-based-persuasion.md` (230 lines → ensure proper format)
-- [x] Refactor `distraction-environmental-manipulation.md` (551 lines → trim to 3 examples)
-- [x] Refactor `class-specific-ritual.md` (299 lines → trim to 3 examples, proper format)
-- [x] Refactor `multi-faction-diplomacy.md` (233 lines → trim to 3 examples, proper format)
-- [x] Refactor `robot-programming.md` (314 lines → trim to 3 examples, proper format)
-- [x] Refactor `escalating-combat-progression.md` (302 lines → trim to 3 examples, proper format)
-- [x] Refactor `surreal-logic-bridge.md` (247 lines → ensure proper format)
-- [x] Refactor `metaphor-literal.md` (252 lines → ensure proper format)
-- [x] Refactor `observation-replay.md` (620 lines → trim to 3 examples, proper format)
-- [x] Refactor `symbol-code-translation.md` (800+ lines → trim to 3 examples, proper format)
+- [x] Refactor `truth-revelation.md` (124 lines → 75 lines)
+- [x] Refactor `cross-temporal-causality.md` (456 lines → 81 lines)
+- [x] Refactor `cross-realm-logistics.md` (472 lines → 82 lines)
+- [x] Refactor `multi-character-coordination.md` (662 lines → 86 lines)
+- [x] Refactor `timed-consequence.md` (528 lines → 91 lines)
+- [x] Refactor `comedy-based-persuasion.md` (230 lines → 79 lines)
+- [x] Refactor `distraction-environmental-manipulation.md` (551 lines → 89 lines)
+- [x] Refactor `class-specific-ritual.md` (299 lines → 72 lines)
+- [x] Refactor `multi-faction-diplomacy.md` (233 lines → 74 lines)
+- [x] Refactor `robot-programming.md` (314 lines → 76 lines)
+- [x] Refactor `escalating-combat-progression.md` (302 lines → 77 lines)
+- [x] Refactor `surreal-logic-bridge.md` (247 lines → 67 lines)
+- [x] Refactor `metaphor-literal.md` (252 lines → 72 lines)
+- [x] Refactor `observation-replay.md` (620 lines → 90 lines)
+- [x] Refactor `symbol-code-translation.md` (800+ lines → 95 lines)
 
 ## Phase 4: Validation
-- [ ] Run `npx remark-cli` on all changed files
-- [ ] Run `mdbook build` to verify no broken links
-- [ ] Final review of SUMMARY.md navigation structure
+- [x] Run `mdbook build` to verify no broken links ✓
+- [ ] Final review of SUMMARY.md navigation structure (optional)