Case opened on Tango Level 2: 4×4 Tango grid, 6 preset cells, 2 sign constraints. The completed grid holds 8 suns and 8 moons across the 4×4 grid. Evidence chain: 10 deduced placements after givens.
Forensic read: column balance closes the line (3); row balance forces the last symbol (2); the no-three-in-a-row rule blocks a repeat (2); two matching symbols sandwich this cell (1); a × sign demands opposites (1); an = sign links neighbors (1). Watch for two identical symbols in a row or column — the no-three rule blocks the third and often forces the opposite symbol nearby. Cross-check every = and × against filled cells — a broken pair is the fastest way to spot a wrong symbol.
Early exhibits (R2C2 → Sun (two matching symbols sandwich this cell); R4C2 → Sun (column balance closes the line); R4C3 → Moon (a × sign demands opposites)) tie givens to sign constraints. Mid-case placements (R3C3 = Moon, R2C3 = Sun) confirm the propagation theory. Closing exhibits (R2C4 → Moon and R3C4 → Sun) complete the 4×4 grid without violating the no-three rule.
Balance audit: Every row and column holds exactly 2 suns and 2 moons (row 1: 2 suns, 2 moons; row 2: 2 suns, 2 moons; row 3: 2 suns, 2 moons; row 4: 2 suns, 2 moons). No row or column exceeds 2 of either symbol in the solution.
Constraint verification: 1 equal signs require matching neighbors; 1 opposite signs require different symbols. A single broken edge means the grid fails even if row balance looks correct.
No-three rule pass: scan every row and column for three consecutive suns or moons — none appear in the completed grid. Sandwich cases (sun-moon-sun patterns around a filled pair) often force the middle cell and show up as two matching symbols sandwich this cell deductions on boards like this.
Verdict: consistent 4×4 Tango solution. 8 suns and 8 moons across the 4×4 grid. Case closed — 10 deduced cells, zero rule violations.