Pattern lab — Tango Level 4. Grid 6×6. Constraint sample: 1 = edges, 2 × edges. Classification target: three-in-a-row trap. Deduction count: 23 forced cells beyond givens.
Sample technique distribution: the no-three-in-a-row rule blocks a repeat (5); only one symbol still valid (4); column balance closes the line (4); row balance forces the last symbol (4); two matching symbols sandwich this cell (3); a × sign demands opposites (2); an = sign links neighbors (1). Hypothesis (three-in-a-row trap): Watch for two identical symbols in a row or column — the no-three rule blocks the third and often forces the opposite symbol nearby.
Early samples: R1C3 → Sun (a × sign demands opposites); R1C4 → Moon (two matching symbols sandwich this cell); R2C3 → Sun (only one symbol still valid). Mid-grid samples: R3C5 = Moon, R4C2 = Sun. Terminal samples: R6C5 → Sun and R6C6 → Moon. Each placement should cite a rule — naked single, balance, sign, or no-three.
Line balance check: Every row and column holds exactly 3 suns and 3 moons (row 1: 3 suns, 3 moons; row 2: 3 suns, 3 moons; row 3: 3 suns, 3 moons; row 4: 3 suns, 3 moons; row 5: 3 suns, 3 moons; row 6: 3 suns, 3 moons). That 3-and-3 split is the backstop when signs alone do not decide a cell.
Constraint verification: 1 equal signs require matching neighbors; 2 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.
Lab result: Three-in-a-row trap. 18 suns and 18 moons across the 6×6 grid. Technique histogram: the no-three-in-a-row rule blocks a repeat (5); only one symbol still valid (4); column balance closes the line (4); row balance forces the last symbol (4); two matching symbols sandwich this cell (3); a × sign demands opposites (2); an = sign links neighbors (1).