Pattern lab — LinkedIn Tango #659. Grid 6×6. Constraint sample: 1 = edges, 3 × edges. Classification target: opposite-pair propagation. Deduction count: 28 forced cells beyond givens.
Sample technique distribution: row balance forces the last symbol (8); only one symbol still valid (7); the no-three-in-a-row rule blocks a repeat (5); a × sign demands opposites (3); column balance closes the line (3); an = sign links neighbors (1); two matching symbols sandwich this cell (1). Hypothesis (opposite-pair propagation): × pairs dominate this board — opposite signs force alternating symbols and quickly eliminate one option per linked cell.
Early samples: R1C4 → Moon (only one symbol still valid); R1C5 → Sun (a × sign demands opposites); R2C3 → Moon (only one symbol still valid). Mid-grid samples: R1C2 = Moon, R3C1 = Sun. Terminal samples: R6C5 → Moon and R6C6 → Sun. 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; 3 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: Opposite-pair propagation. 18 suns and 18 moons across the 6×6 grid. Technique histogram: row balance forces the last symbol (8); only one symbol still valid (7); the no-three-in-a-row rule blocks a repeat (5); a × sign demands opposites (3); column balance closes the line (3); an = sign links neighbors (1); two matching symbols sandwich this cell (1).