Where the current branch stops
Recent reports separate a restricted denominator problem into deep divisibility and large multiplicative orders. A first coefficient certificate has degree less than 4d under stated hypotheses, independent of the full matrix length.
The actual coefficient bounds, the global denominator estimate, and coverage of arbitrary trajectories remain open. Closing a local branch would not complete Collatz.
How to read the green nodes
Green retains the project's internal review status. Some green nodes establish a conditional lemma or identify why a proposed argument fails. They do not claim external peer review or established novelty.
This is a navigation map, not a formally verified proof graph. Node counts cannot be converted into a percentage solved or a completion date. Original report identifiers are retained for discussion and correction.
Read the source notes, including the precise scope of Tao's theorem.