Frames the paper around the scaffold-first 4-coloring program: 2-color
the BFS-layered bipartite spanning subgraph (the diamond scaffold),
then promote select vertices with two new colors to absorb the
discarded same-layer edges. Reintroduces the diamond scaffold
definition (removed in b5a9030 along with the equivalence machinery)
since it now plays a motivational rather than definitional role.
Replaces hardcoded definition/theorem/conjecture numbers with stable
\ref{}-based cross-references.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
didericis
a0fc10f2fa