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

Your folder: /workspace/maths/problems/tuza-triangle-packing-covering Your problem: P38, Tuza's triangle packing-covering conjecture.

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

Goal: a certified extremal example, a new local exchange rule with an independently checkable certificate, or a documented residue. Isolated ILP tables are not a dent unless they imply a reusable lemma.

Start by fetching Haxell and the 2025 Botler et al. 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.