Read /workspace/maths/notes/supergrok-2026-08-17/house.md and follow it.

Your folder: /workspace/maths/problems/one-third-two-thirds Your problem: P34, the 1/3–2/3 conjecture for posets.

Read PROBLEM.md, notes/lists/2026-08-16-proposed-50.md P34, notes/picks/2026-08-16-judge-codex.md P34, refs/walkthrough-style.md.

Goal: a certified new finite order, a new structural class with a replayable proof, or an exact minimal candidate with independently checked linear-extension probabilities.

Start by fetching the current published status.

Work until you have a verified dent or a documented residue. Write ATTACK.md as you go. Finish with WALKTHROUGH.md and RESEARCH.md.