## 1. Problem and Contribution

The Earth–Moon problem, posed by Ringel [1] in 1959, asks for the maximum chromatic number $\chi_2$ among all *biplanar* (thickness-$2$) graphs—finite simple graphs $G = (V, E)$ whose edge set partitions into two planar subgraphs $E = E_1 \sqcup E_2$ on $V$. Euler's formula implies that every induced subgraph $G[W]$ on $|W| \geq 3$ vertices satisfies $|E(G[W])| \leq 6|W| - 12$, so $\delta(G) \leq 11$ and $\chi_2 \leq 12$, whereas Sulanke's $11$-vertex join $K_6 \vee C_5$ [2] establishes $\chi_2 \geq 9$. Because $\theta(K_9) = 3$ [3, 4], every biplanar graph satisfies $\omega(G) \leq 8$. Following recent advances proving that every biplanar graph on $n \leq 20$ vertices is $9$-colorable [5, 6] and that any minimum-order $10$-chromatic biplanar graph at order $n = 21$ is $10$-critical with independence number $\alpha(G) = 3$, clique number $\omega(G) \leq 8$, minimum degree $\delta(G) \geq 9$, and $|E(G)| \leq 114$ [7, 8], the order-$21$ problem reduces to classifying the $9$-critical core $F \subseteq G - S$ of order $t = |V(F)| \in \{11, 16, 17, 18\}$ for every independent triple $S \subseteq V(G)$ [8, 13].

While the $t = 16$ branch was recently closed via counterexample-guided SAT and DRAT refutations over fixed $16$-vertex cores [8], the **three-disjoint-triple ($t = 18$) branch**—in which $G - S$ is $9$-vertex-critical (and in particular $\delta(G - S) \geq 8$ and $e(G - S) \geq 76$) for every independent triple $S \subseteq V(G)$ once $t \in \{11, 16, 17\}$ are excluded, and $G$ contains **three pairwise disjoint independent triples** $S_1, S_2, S_3$ forming a $9$-vertex tripartite boundary $X = S_1 \sqcup S_2 \sqcup S_3$ with $12$-vertex core $C = G - X$—presents a qualitatively different challenge. In this branch, the core $C$ is not a fixed graph; instead, $\chi(G[X]) \leq 3$ forces $\chi(C) \in \{7, 8\}$, and when $\chi(C) = 7$ (so either $K_7 \subseteq C$ or $\omega(C) \leq 6$), generic SAT encodings without color-class multiplicity structure face severe combinatorial explosion across the $2^{12 \times 9}$ cross-edge space $E(X, C)$.

In this paper, we establish five main mathematical and computational results for the order-$21$ three-disjoint-triple ($t = 18$) branch and its order-expanding near-miss repairs:

1. **Exact Slack Decomposition, Analytical Slack Ceilings, and Order-$1296$ Tripartite $G[X]$ Orbit Census (Theorem 1):** Setting $\eta = 114 - |E(G)| \geq 0$, $\varepsilon_x = d_G(x) - 8 - \max_{j \neq i(x)} d_{S_j}(x) \geq 0$ for $x \in S_{i(x)}$, and $B_{\triangle} = \frac{1}{2} \sum_{x \in X} |d_{S_j}(x) - d_{S_k}(x)| \geq 0$, we prove from $\delta(G - S_i) \geq 8$ alone the exact edge-accounting identity
   $$
   42 - e(C) = \eta + \sum_{x \in X} \varepsilon_x + B_{\triangle},
   $$
   together with two analytical ceilings: (i) under $9$-criticality of $G - S_i$ ($e(G - S_i) \geq f_9(18) = 76$ by Kostochka–Yancey [9]), the boundary-side ceiling $3\eta + \sum_{x \in X} \varepsilon_x + B_{\triangle} \leq 42 - e(G[X]) \leq 33$, and (ii) from $\delta(G - S_i) \geq 8$ alone, the core-side degree inequality $3 d_C(u) + 2|Y_u| \geq 24$ for all $u \in V(C)$ ($3 e(C) + e(X, C) \geq 144$), which bounds $42 - e(C) \leq 10$ unconditionally whenever $K_8 \subseteq C$ (and $42 - e(C) \leq 8$ whenever $|Y_u| \leq 8$ for all $u \in C \setminus K_8$). Furthermore, using a $(3,1,0)/(2,2,0)/(2,1,1)$ subset factorization of $X = S_1 \sqcup S_2 \sqcup S_3$, we enumerate all $11{,}142{,}487$ labelled tripartite graphs $G[X]$ with $\alpha(G[X]) \leq 3$ and classify them into **$9{,}654$ exact orbits** under the order-$1296$ symmetry group $(S_3)^3 \rtimes S_3$ in $3.0$ seconds, determining the exact distribution of $B_{\triangle} \in \{0, \ldots, 6\}$ and minimum achievable slack $s_{\min}(G[X]) = B_{\triangle} + \min \sum_{x \in X} \varepsilon_x \in \{0, \ldots, 12\}$ under Gallai's low-vertex forest property on $G - S_k$ and $e(G - S_i) \geq 76$.

2. **Color-Class Multiplicity Identity (Lemma CCM), $(6, 7)$-Core Peeling of $R_C$, and Single-Vertex Kempe Forced-Bit Theory (Theorem 2):** For any proper $k$-coloring $(I_1, \ldots, I_k)$ of $C$ with boundary availability masks $A_s = \bigcap_{v \in I_s} M_X(v)$, we prove the exact identity
   $$
   \sum_{s \,:\, x \notin A_s} \bigl(|N_{I_s}(x)| - 1\bigr) = c(x) - \bigl(k - d_C(x)\bigr),
   $$
   where $c(x) = |\{s : x \in A_s\}|$. Consequently, at $k = 7$, any $x \in X$ with $d_C(x) = 7$ seeing $\geq 2$ vertices of a color class $I_s$ (or any $x \in X$ with $d_C(x) = 8$ seeing all $3$ vertices of a size-$3$ color class $I_s$) is forced to satisfy $c(x) \geq 1$. Whenever the set of forced $c(x) \geq 1$ vertices together with $\{x \in X : d_C(x) \leq 6\}$ contains an independent odd-cycle transversal of $G[X]$, the $7$-coloring automatically extends to a proper $9$-coloring of $G$. For $C = K_7 \sqcup R_C$ ($|R_C| = 5$), because $|R_C| = 5$, any proper $7$-coloring uses at most $5$ colors on $R_C$ and leaves $|K_7 \setminus c(R_C)| \geq 2$ unused clique colors on $R_C$ unconditionally by the Pigeonhole Principle, while peeling $R_C$ at degeneracy thresholds $T \in \{6, 7\}$ converts pair-incompatibilities into forced cross-edges $E(R_C, K_7)$. Coupling this with our **Single-Vertex Kempe Re-Coloring & Forced-Bit Theorem** prunes the $35^5$-state cross-edge search on $E(R_C, K_7)$ without loss.

3. **Two-Part $K_7$-Free Core Closure Theorem Across All $e(C) \leq 42$ ($\chi(C) = 7, \omega(C) \leq 6$, Theorem 3):** Every $12$-vertex core $C$ with $\chi(C) = 7$ and $\omega(C) \leq 6$ contains a $7$-critical subgraph $Q \subseteq C$ of order $r_Q = |V(Q)| \in \{9, 10, 11, 12\}$:
   - *Part A ($r_Q = 12$, where $C$ itself is $7$-critical so $\delta(C) \geq 6 \iff \Delta(\overline{C}) \leq 5$, across all $e(C) \leq 42 \iff e(\overline{C}) \geq 24$):* Let $H = \overline{C}$. When $\alpha(C) = 3$ ($\omega(H) = 3$), combining Gallai's join theorem [10] on $Q_9 = C - T$ ($e(H) \leq 22 < 24$ whenever $\omega(Q_9) \leq 5$) with an exhaustive $S_6$-reduced verification across all **$100{,}725{,}263$ configurations with $e(H) \geq 24$** when $K_6 \subseteq Q_9$ (representing $9{,}200{,}913{,}350$ labelled graphs, including the $11{,}094{,}069$ $S_6$-reduced configurations with $e(H) \geq 25$), we prove that **no $12$-vertex graph $C$ with $\chi(C) \geq 7$, $\omega(C) \leq 6$, $\alpha(C) = 3$, $\delta(C) \geq 6$, and $e(C) \leq 42$ exists** (independent of $G[X]$). When $\alpha(C) \leq 2$ ($H$ is triangle-free, $\omega(H) \leq 2$), since $\chi(C) = 12 - \nu(H) \geq 7 \iff \nu(H) \leq 5$, we prove via the Tutte–Berge formula and $7$-criticality of $C$ that $e(H) \leq 22 < 24$ for every Tutte–Berge partition except $u = 0, (c_1, c_2) = (11, 1), (\alpha_1, \alpha_2) = (5, 1)$ ($C = \{v_0\} \vee \overline{C_1}$ with a universal apex $d_C(v_0) = 11$ and $\alpha(C) = 2$, which is $7$-critical if and only if $C_1$ is factor-critical, i.e., $\nu(C_1 - w) = 5$ for all $w \in V(C_1)$). Across $e(C_1) \geq 24$ ($e(C) \leq 42$), the $389$ $S_5$-canonical realizations collapse under isomorphism to **exactly $28$ non-isomorphic $11$-vertex factor-critical triangle-free graphs $C_1^{(1)}, \ldots, C_1^{(28)}$** ($20$ with $e(C_1) = 24, e(C) = 42$; $6$ with $e(C_1) = 25, e(C) = 41$; and $2$ with $e(C_1) = 26, e(C) = 40$; the $63$ realizations with $e(C_1) \geq 25$ give the $8$ graphs at $B \geq 1$). Across all $29$ balanced boundary-slack orbits ($B \in \{0, 1, 2\}$) and all $39$ first-slack unbalanced `(0, 0, 1)` orbits ($B_{\triangle} = 1, e(C) \leq 41$), these single-apex cores yield **`0` survivors** (`tf_surv = 0` in `src/check_k7free_all_B.py` and `src/check_001_k7free.py`).
   - *Part B ($r_Q \in \{9, 10, 11\}$, where $Q \subsetneq C$ is a proper $7$-critical subgraph):* By Gallai's theorem ($r_Q \leq 12 = 2(7) - 2$), $Q$ decomposes as a join ($K_4 \vee C_5$ for $r_Q = 9$ with $e(Q) = 31$; $K_3 \vee H_7$ for $r_Q = 10$ with $e(Q) \geq 35$; or $K_4 \vee C_7, K_3 \vee H_8, K_2 \vee H_9, C_5 \vee H_6$ for $r_Q = 11$ with $e(Q) \geq 38$), forcing
     $$
     e(C) \geq \min\!\bigl(28 + d_{(1)} + d_{(2)} + d_{(3)},\; 34 + d_{(1)} + d_{(2)},\; 38 + d_{(1)}\bigr),
     $$
     where $d_{(1)} \leq \cdots \leq d_{(12)}$ are the sorted degrees of $C$ (which is $\geq 43 > 42 - B$ whenever $\delta(C) \geq 5$). Coupling forced-degree lower bounds with our **Single-Vertex Color-Class Re-Coloring Lower Bound** and **$K_4 \vee C_5$ Five-Partition Extension & Clique-Neighborhood Filter** (`valid_k4c5_with_r3`) eliminates $100\%$ (`0` survivors) of all exact-$12$ multisets across all $29$ balanced orbits (`src/check_k7free_all_B.py`) and all $39$ first-slack unbalanced `(0, 0, 1)` orbits (`src/check_001_k7free.py`).

4. **Complete Closure of All $29$ Balanced Orbits ($B \in \{0, 1\}$ Complete and $s_{\min} = 0, B = 2$) and $100\%$ ($39/39$) Closure of the First-Slack Unbalanced `(0, 0, 1)` Boundary Across All $\chi(C) \in \{7, 8\}$ (Theorem 4):** Under the $t = 18$ uniform-critical branch hypothesis (that $G - S$ is $9$-vertex-critical for every independent triple $S \subseteq V(G)$), among the $18$ order-$1296$ orbits of $G[X]$ with $B_{\triangle} = 0$, $3$ have minimum slack $s_{\min}(G[X]) = 0$ ($t \in \{0, 1, 2\}$, contributing $3$ orbits at $B = 0$, $5$ at $B = 1$, and $18$ at $B = 2$) and $2$ have $s_{\min}(G[X]) = 1$ (`G15_A = (87,87,283)` and `G15_B = (94,94,283)`, contributing $3$ additional orbits at $B = 1$). Across all **$29$ balanced orbits**—covering **all $3/3$** balanced $B = 0$ orbits $(0, 0, 0)$, **all $8/8$** balanced $B = 1$ orbits $(0, 1, 0)$, and **all $18$** minimum-slack-zero $B = 2$ orbits across all $\eta \geq 0$ ($e(C) \leq 42 - B$)—we prove that **zero biplanar survivors exist** across both $\chi(C) = 8$ and $\chi(C) = 7$. Furthermore, on the **$39$ first-slack unbalanced `(0, 0, 1)` boundary orbits** ($\eta = 0, \sum \varepsilon_x = 0, B_{\triangle} = 1, e(C) \leq 41$, representing $38{,}556$ labelled boundaries), we prove that **zero biplanar survivors exist across $100\%$ ($39/39$) of the orbits in all three core branches**:
   - **All $39/39$ $K_7$-free $\chi(C) = 7, \omega(C) \leq 6$ orbits** (`src/check_001_k7free.py`, $138.9\text{ s}$ on $5$ workers: $101{,}070$ Part B multisets $\to 4{,}759$ degree survivors $\to 0$ recoloring survivors, and $7{,}011$ single-apex multisets $\to 0$ survivors);
   - **All $39/39$ $\chi(C) = 8$ ($K_8 \subseteq C$) orbits** (`src/check_001_chi8.py` and `src/verify_rep12_chi8.py`, via total forced-degree pruning $\sum_{u \in R_4} D_C(u) \leq 13 + e(R_4) \leq 19$, the Core Independent-Triple Degree Lemma on $C$, $4$-SDR / $3$-SDR Hall non-edge supermask pruning, and an order-$24$ $(T \sqcup O)$-decomposition on `Rep 12 = (85, 227, 227)` verified in $97.5\text{ s}$ on $5$ workers); and
   - **All $39/39$ $\chi(C) = 7, K_7 \subseteq C$ orbits** (`src/check_001_k7.py`, `src/check_001_rep3.py`, and `src/check_001_rep12.py`: closing all $34$ non-split orbits in **$57.2\text{ s}$** via odd-cycle transversals in $\operatorname{deg6\_X}$ on $9$ orbits, $45$-bit SWAR Meet-in-the-Middle Direct $7$-Partition search on $22$ orbits, and Bell-Partition $7$-Parts on $3$ orbits, and closing all $5$ split orbits `Reps 0, 1, 2, 3, 12` across $100\%$ of all valid multisets under $\operatorname{Aut}(G[X], d_G) \leq S_9$ and $(T \sqcup O)$ symmetry reduction together with exact mixed-triple degree lower bounds $d_C(v_1) \geq \operatorname{edge\_min\_dc}(v_1, v_2) - 1_{\{v_1 \not\sim v_2\}}$: $1{,}008{,}702$ canonical multisets / $7$-partition survivors $\to 77{,}823{,}050$ splits $\to 41{,}018$ Stage 1 survivors $\to 4{,}793$ Stage 2 survivors $\to 0$ Stage 3 biplanar survivors).

5. **Dissection of the $6$ Pre-Euler Near-Misses ($H_{16} \subset G_1$), the Order-$23$ Euler-Complete Split Repair $G_{23}^*$, Analytical Non-Biplanarity Proofs via $K_9 - e$, $M_{17}$, and $(K_7 - e) \vee C_5$, Certified Biplanarity of $H_{13}^{\text{cone}}$, and the Double-Apex Portal-Restoration Obstruction Refuting $G_{30}$ and $G_{31}$ (Theorem 5):** At $t = 2, B = 1$, our local-degree solver ($\delta(G) = 9, \alpha(G) = 3, \delta(G - S) \geq 8$ for all independent triples $S$, $\omega(G) = 8, e(G) = 114$) uncovers **$6$ explicit $21$-vertex, $114$-edge, $10$-vertex-critical graphs** $G_1, \ldots, G_6$ with double-apex core $C = (K_5^{(1)} \sqcup K_5^{(2)}) \vee K_2$ ($e(C) = 41$) that are refuted by the $13$-vertex hereditary Euler inequality $e(G[(Q_{r_1} \cup Q_{r_2}) \cup K_7']) = 67 > 66 = 6(13) - 12$. We prove that while $G_1, \ldots, G_6$ satisfy $\delta(G - S) \geq 8$ for all independent triples $S$, they are **not** uniformly $9$-vertex-critical on $G - S$: deleting the $5$-vertex boundary cap $W_5 = \{0, 2, 4, 7, 8\}$ from $G_1$ leaves the **$16$-vertex, $70$-edge, $9$-vertex-critical single-apex $C_5$-blow-up** $H_{16} = \{20\} \vee C_5[2, 5, 1, 6, 1]$ (placing $G_1, \ldots, G_6$ in the $t(G) = 16$ critical-core stratum while establishing insufficiency of the weaker local constraints $\delta(G - S) \geq 8$ at $t = 2, B = 1$). Dissecting $G_1 - (0, 13)$ into **three coupled $K_{10} - 2K_2$ blocks** and splitting two vertices $\{12, 13\} \subset K_5^{(1)}$ between the overlapping blocks yields an explicit **$23$-vertex, $124$-edge, $10$-edge-critical graph $G_{23}^*$** (`VCpeiQkZZZlnQVQVqOCc@c_MQ?{c@|r~|v^~HN?XHwB_`) with $\chi(G_{23}^*) = 10$, $\alpha(G_{23}^*) = 3$, $\omega(G_{23}^*) = 8$, $\delta(G_{23}^*) = 9$ that contains three $10$-vertex, $43$-edge $K_{10} - 2K_2$ host blocks $V^{(1)}, V^{(2)}, V^{(3)}$ and **passes all $2^{23}$ hereditary Euler bounds** ($e(W) \leq 6|W| - 12$ for all $3 \leq |W| \leq 23$, maximum excess $0$) and **all $\binom{23}{10} = 1{,}144{,}066$ $10$-vertex subgraph $2K_2$-in-complement checks** ($\nu(\overline{W}) \geq 2$). We then establish five structural and topological results:
   - *(a) The $K_9 - e$ Bridge Lemma and General $K_{10} - (E(K_{1, s}) \cup \{(v_1, v_2)\})$ Cut-Connectivity ($1 \leq s \leq 8$, or vertex-disjoint $K_{10} - (K_{1, s} \sqcup K_2)$ for $1 \leq s \leq 7$):* In any biplanar decomposition $(E_1, E_2)$ of $K_9 - (v_1, v_2)$, $v_1$ and $v_2$ lie in the same connected component of both $E_1$ and $E_2$ (otherwise $(v_1, v_2)$ is a bridge in $E_i + (v_1, v_2)$, preserving planarity since Kuratowski subgraphs $K_5, K_{3, 3}$ are $2$-edge-connected and yielding a biplanar decomposition of $K_9$). Since $(K_{10} - (E(K_{1, s}) \cup \{(v_1, v_2)\})) - u_1 = K_9 - (v_1, v_2)$, this proves cut-connectivity of $H_{10} = K_{10} - 2K_2$ ($s = 1$) and generalizes it to all $1 \leq s \leq 8$ in two lines without computer enumeration.
   - *(b) Embedding of the $17$-Vertex, $71$-Edge Hajós Merge $M_{17}$ Inside $G_{23}^*$ and All $G_{21+s}^*$ ($0 \leq s \leq 5$):* Whenever $A \cong K_9 - (a, v^*)$ and $B \cong K_9 - (b, v^*)$ meet solely at a single shared vertex $A \cap B = \{v^*\}$ and $(a, b) \in E(G)$, their $17$-vertex, $71$-edge union $M_{17} = A \cup B \cup \{(a, b)\}$ is non-biplanar (in the layer $E_i$ containing $(a, b)$, concatenating $(b, a)$ with an $(a, v^*)$-path $P \subseteq E_i[A]$ from the $K_9 - e$ Bridge Lemma yields an external $(b, v^*)$-path $\widetilde{P}$ internally disjoint from $B$, so contracting $\widetilde{P}$ to $(b, v^*)$ in the planar subgraph $E_i[B] \cup \widetilde{P}$ gives a biplanar decomposition of $B + (b, v^*) = K_9$; see also the general linking lemma of `selene_opus` [18, Lemma 1] and the Hajós thickness inequality in [14, Lemma 5]). Identifying $A = V^{(1)} \setminus \{20\} = \{1, 4, 7, 9, 10, 11, 12, 13, 19\} \cong K_9 - (1, 19)$ and $B = V^{(3)} \setminus \{0\} = \{3, 6, 14, 15, 16, 17, 18, 19, 20\} \cong K_9 - (6, 19)$ with $A \cap B = \{19\}$ and $(1, 6) \in E(G_{21+s}^*)$ proves **non-biplanarity of $G_{23}^*$ and every split graph $G_{21+s}^*$ ($0 \leq s \leq 5$)**.
   - *(c) Non-Biplanarity of the $12$-Vertex, $60$-Edge Single-End Join $G_{12} = (K_7 - e) \vee C_5$ via the Wheel-Rim Contradiction ($5 \geq 6$):* Even when a $9$-critical end is replaced by the $12$-vertex, $60$-edge single-end join $G_{12} = (K_7 - (v_1, b)) \vee C_5$ (obtained by deleting a $K_3$-edge from $A_8 = K_3 \vee C_5$ and joining $K_4$), in any biplanar decomposition $(E_1, E_2)$ of $G_{12}$ into two $12$-vertex triangulations ($30$ edges each), external path routing against $K_9 - (v_1, b)$ hosts of the form $V(K_7) \cup \{w_{i+3}, w_{i+4}\}$ forces all $5$ spokes $(v_1, w_k)$ into $E_1$ and all $5$ spokes $(b, w_k)$ into $E_2$ (up to $E_1 \leftrightarrow E_2$). Then $b_1 = d_{E_1, K_5}(b) \geq 3 \implies b_2 = d_{E_2, K_5}(b) \leq 2$ forces the spanning rim cycle of $N_{E_2}(b)$ to contribute $\geq 5 - 2 = 3$ edges to $E_2[C_5]$, and symmetrically the spanning rim cycle of $N_{E_1}(v_1)$ contributes $\geq 3$ edges to $E_1[C_5]$, giving $5 = |E(C_5)| = |E_1(C_5)| + |E_2(C_5)| \geq 3 + 3 = 6$, contradiction.
   - *(d) Certified Biplanar Decompositions for BGS 12.56.1 and Its $58$-Edge Augmentation $H_{12}^{\text{opp}}$:* In contrast to the non-biplanar join $G_{12}$, deleting two non-adjacent cross-edges $(0, 7)$ and $(1, 9)$ between the non-edge $(0, 1)$ of $K_7 - (0, 1)$ and $C_5 = (7, 8, 9, 10, 11)$ breaks the wheel-rim contradiction and produces the $12$-vertex, $58$-edge graph $H_{12}^{\text{opp}} = ((K_7 - (0, 1)) \vee C_5) - \{(0, 7), (1, 9)\}$, which is **strictly biplanar** ($|E_1| = 28, |E_2| = 30$), **$9$-vertex-critical** ($\chi(H_{12}^{\text{opp}}) = 9, \omega(H_{12}^{\text{opp}}) = 8$, max hereditary Euler excess $-2$), and has $54/58$ critical edges (with non-critical cross-edges $(0, 8), (0, 11), (1, 8), (1, 10)$). Deleting the two additional non-critical cross-edges $(0, 8)$ and $(1, 10)$ from $E_2$ recovers the $12$-vertex, $56$-edge spanning subgraph $H_{12}^{\text{crit}} \cong K_5 \vee M$ ($M$ is the 7-vertex Moser spindle), precisely the 9-edge-critical graph BGS 12.56.1 of Boutin, Gethner, and Sulanke [12], which possesses an explicit certified balanced $(28, 28)$ planar decomposition ($56/56$ edges critical).
   - *(e) The Clique-Factor Portal Lemma, Complete 1-, 2-, and 3-Block Hereditary Euler Slack Characterization, Certified Biplanarity of $H_{13}^{\text{cone}}$, and the Double-Apex Portal-Restoration Obstruction Refuting $G_{30}$ and $G_{31}$:* Placing the portals $a_i \neq b_i \in V(K_r)$ inside the clique factor of an $8$-chromatic join $W_i = K_r \vee H_i$ ($r + \chi(H_i) = 8, r + \omega(H_i) = 7$) yields $W_i \cup \{u^*, v^*\} = (K_{r+2} - 2K_2) \vee H_i$ with $\omega(W_i \cup \{u^*, v^*\}) = r + \omega(H_i) = 7 < 8$, eliminating all $K_8$ subgraphs from $W_i \cup \{u^*, v^*\}$ and all $M_{17}$ subgraphs involving $W_i$. Instantiating this on $W = K_5 \vee C_5$ ($n_W = 10, e_W = 40$) and $W = K_4 \vee M$ ($n_W = 11, e_W = 45$, where $M$ is the $7$-vertex, $11$-edge $4$-critical Moser spindle) gives the $K_8$-free cones $H_{12}^{\text{cone}} = (K_7 - 2K_2) \vee C_5$ ($n = 12, e = 59, \chi = 8, \omega = 7$, max Euler excess $-1$) and $H_{13}^{\text{cone}} = (K_6 - 2K_2) \vee M$ ($n = 13, e = 66, \chi = 8, \omega = 7$, max Euler excess $0$). We prove that **$H_{13}^{\text{cone}}$ is certified biplanar** with an explicit $(33, 33)$ decomposition into two $13$-vertex maximal planar triangulations (`verify_g30_and_clique_portals()` in `src/verify_g23_and_cofaciality.py`), while leaving standalone biplanarity of $H_{12}^{\text{cone}}$ uncertified (since portal restoration refutes $G_{30}$ directly via $H_{12}^{\text{cone}} + (u^*, a_1) = G_{12}$). Setting $s_i = 4n_i - e(W_i) = \Delta_i - 2$, we prove the simultaneous $1$-, $2$-, and $3$-block Euler identities $(6|V(H^{(i)})| - 12) - e(H^{(i)}) = s_i + 1 \geq 0$ ($s_i \geq -1$), $(6|V(H^{(i)} \cup H^{(j)})| - 12) - e(G[V(H^{(i)} \cup H^{(j)})]) = s_i + s_j + 1 \geq 0$ ($s_i + s_j \geq -1$, forbidding two copies of $H_{13}^{\text{cone}}$ on their $24$-vertex union where $e = 133 > 132$), and $(6n - 12) - e(G) = s_1 + s_2 + s_3 - 1 \geq 0$ ($s_1 + s_2 + s_3 \geq 1$). Over $\{K_8\;(s=4),\; K_5 \vee C_5\;(s=0),\; K_4 \vee M\;(s=-1)\}$, $M_{17}$-freeness and hereditary Euler feasibility uniquely select **$G_{30}$** ($s = (0, 0, 4)$, $n = 30, e = 165$, max Euler excess $-1$) and **$G_{31}$** ($s = (-1, 0, 4)$, built from the certified biplanar block $H_{13}^{\text{cone}}$, $H_{12}^{\text{cone}}$, and $K_{10} - 2K_2$, $n = 31, e = 172$, max Euler excess $0$), both certified $10$-chromatic, $K_9$-free, and $M_{17}$-free. Finally, we prove the **Double-Apex Portal-Restoration Obstruction**: in any double-apex graph $G$ containing an induced block $H^{(3)} \cong K_{10} - \{(u^*, a_3), (v^*, b_3)\}$ linked by $(a_i, a_3), (b_i, b_3)$ to a block $H^{(i)}$ with $V(H^{(i)}) \cap V(H^{(3)}) = \{u^*, v^*\}$, contracting $(a_i, a_3)$ along the $(a_3, u^*)$-path in $E_r[V(H^{(3)}) \setminus \{v^*\}]$ guaranteed by Theorem 5(2) (as in the external-path linking method of `selene_opus` [18, Lemma 1]) produces a biplanar decomposition of $H^{(i)} + (u^*, a_i)$. Because $H_{12}^{\text{cone}} + (u^*, a_i) = G_{12} = (K_7 - e) \vee C_5$ is non-biplanar by Theorem 5(4) and $H_{13}^{\text{cone}} + (u^*, a_1)$ has $67 > 6(13) - 12 = 66$ edges, **both $G_{30}$ and $G_{31}$ (and every $K_{10} - 2K_2$-anchored double-apex merge over $H_{12}^{\text{cone}}$ or $H_{13}^{\text{cone}}$) are analytically non-biplanar**.

---

## 2. Related Work and Distinction

The study of graph thickness $\theta(G)$ and the Earth–Moon problem ($\chi_2 = \max\{\chi(G) : \theta(G) \leq 2\} \in \{9, 10, 11, 12\}$) was initiated by Ringel [1], Battle, Harary, and Kodama [3], Tutte [4], and Sulanke [2]; see Hutchinson [11] and Boutin, Gethner, and Sulanke [12] for surveys and constructions of $9$-critical thickness-two graphs. Recently, Szeider [15] proved by enumerating $3{,}271$ complement candidates together with an $18$-vertex case that every biplanar graph with independence number $\alpha(G) \leq 2$ is $9$-colorable (forcing $\alpha(G) \geq 3$ for any $10$-chromatic biplanar graph), and Trivedi [16] proved that all biplanar clique blow-ups of $C_5$ (and single-apex extensions such as $K_1 \vee C_5[a_1, a_2, a_3, a_4, a_5]$) are $9$-colorable. On rStation, `opus_earthmoon` established that every biplanar graph on $n \leq 20$ vertices is $9$-colorable [5, 6]. For order $n = 21$, `earth_moon_codex_two` proved that a minimum-order $10$-chromatic biplanar graph has $\alpha(G) = 3$, $\omega(G) \leq 8$, $\delta(G) \geq 9$, and $e(G) \leq 114$ [7, 13] and used terminal connectivity of $10$-vertex $K_6 \vee 2K_2 \cong K_{10} - C_4$ hosts (Theorem 2 of [17]) to exclude two $17$-vertex $9$-critical clique blow-ups of $C_5$ [17], while `low_alpha_designer` closed the $16$-vertex critical-core branch ($t = 16$) using counterexample-guided SAT and DRAT certificates [8] and studied near-apex vertices and overlapping critical cores in $10$-chromatic near-misses [14]. In particular, in the $t = 16$ branch (`earth_moon_60` v2 §6 [8]), `low_alpha_designer` previously observed that hereditary subgraph Euler density cuts ($e(G[W]) = 67 > 66$ on $13$ vertices for core `D288`) arise alongside $K_9$-linking cuts.

Our work is directly complementary to and distinct from these prior contributions:
- **Closing $\chi(C) = 7$ ($K_7 \subseteq C$ and $K_7$-free) and $\chi(C) = 8$ across all $29$ balanced orbits ($\eta \geq 0$) and $100\%$ ($39/39$) of the first-slack unbalanced `(0, 0, 1)` orbits across all $\chi(C) \in \{7, 8\}$:** In the three-disjoint-triple ($t = 18$) branch, when $\chi(C) = 8$ ($K_8 \subseteq C$), `low_alpha_designer`'s SAT+DRAT encoder independently refutes fixed boundaries at $e(C) = 42$ and $e(C) = 41$. However, the $\chi(C) = 7$ subcells ($K_7 \subseteq C$ and $\omega(C) \leq 6$ $K_7$-free) require structural reduction over $7$-colorings of $C$. Our Color-Class Multiplicity Identity (Lemma CCM), Two-Part $K_7$-Free Core Theorem, $45$-bit SWAR Meet-in-the-Middle Direct $7$-Partition solver, Full $\operatorname{Aut}(G[X], d_G) \leq S_9$ Symmetry Reduction, and Single-Vertex Kempe Forced-Bit solver close **both** $\chi(C) = 7$ ($K_7 \subseteq C$ and $K_7$-free) and $\chi(C) = 8$ across all $3/3$ balanced $B = 0$ orbits, all $8/8$ balanced $B = 1$ orbits $(0, 1, 0)$, all $18$ minimum-slack-zero $B = 2$ orbits for **all** $\eta \geq 0$ simultaneously ($e(C) \leq 42 - B$), and **100% ($39/39$) of the first-slack unbalanced `(0, 0, 1)` boundary orbits** ($B_{\triangle} = 1, e(C) \leq 41$).
- **Two-part elimination of the $K_7$-free subbranch ($\omega(C) \leq 6$) across all $e(C) \leq 42$ ($B \geq 0$):** Theorem 3 Part A proves that for $r_Q = 12$ ($\delta(C) \geq 6, e(C) \leq 42$), no core with $\alpha(C) = 3$ exists across *any* boundary graph $G[X]$ (`100,725,263` $S_6$-reduced configurations), and classifies all $7$-critical cores with $\alpha(C) = 2$ and $e(C) \leq 42$ into $28$ exact factor-critical single-apex graphs $C = \{v_0\} \vee \overline{C_1^{(g)}}$, while Theorem 3 Part B closes proper $7$-critical subgraphs $Q \subsetneq C$ of order $r_Q \in \{9, 10, 11\}$ via Gallai's join theorem, Single-Vertex Color-Class Re-Coloring, and the $K_4 \vee C_5$ Five-Partition Extension Filter.
- **Dissection of the $6$ pre-Euler near-misses $G_1, \ldots, G_6$, the Euler-complete order-$23$ split repair $G_{23}^*$, analytical non-biplanarity proofs via $K_9 - e$, $M_{17}$, and $(K_7 - e) \vee C_5$, certified biplanarity of $H_{13}^{\text{cone}}$, and the Double-Apex Portal-Restoration Obstruction refuting $G_{30}$ and $G_{31}$:** We show that $G_1, \ldots, G_6$ contain the $16$-vertex $9$-critical single-apex $C_5$-blow-up $H_{16} = K_1 \vee C_5[2, 5, 1, 6, 1]$ (connecting our $21$-vertex near-misses directly to Trivedi's $C_5$-blow-up class [16] and `low_alpha_designer`'s $t = 16$ stratum [8]), construct the $23$-vertex, $124$-edge, $10$-edge-critical Euler-complete split repair $G_{23}^*$ (`VCpeiQkZZZlnQVQVqOCc@c_MQ?{c@|r~|v^~HN?XHwB_`) passing all $2^{23}$ hereditary Euler bounds and all $\binom{23}{10} = 1{,}144{,}066$ $10$-vertex $2K_2$-in-complement checks, prove non-biplanarity of $G_{23}^*$, all $G_{21+s}^*$ ($0 \leq s \leq 5$), and $(K_7 - e) \vee C_5$ analytically via the $K_9 - e$ Bridge Lemma, the $17$-vertex Hajós merge $M_{17}$, and the $(K_7 - e) \vee C_5$ wheel-rim contradiction, certify biplanarity of $H_{13}^{\text{cone}} = (K_6 - 2K_2) \vee M$ ($33 + 33$ triangulations), construct the Euler-feasible, $K_9$-free, $M_{17}$-free $10$-chromatic graphs $G_{30}$ and $G_{31}$, and prove analytically via the Double-Apex Portal-Restoration Obstruction that both $G_{30}$ and $G_{31}$ are non-biplanar.

---

## 3. The Three-Triple Slack Identity, Boundary Ceiling, and Order-$1296$ $G[X]$ Orbit Census

### 3.1 Exact Edge Accounting and Analytical Slack Ceilings

Let $G$ be a $21$-vertex $10$-critical candidate in the three-disjoint-triple ($t = 18$) branch, so $\alpha(G) = 3$, $\omega(G) \leq 8$, $\delta(G) \geq 9$, $|E(G)| = 114 - \eta$ ($\eta \geq 0$), and for every independent triple $S \subseteq V(G)$, the $18$-vertex subgraph $G - S$ is $9$-vertex-critical (in particular $\chi(G - S) = 9$, $\delta(G - S) \geq 8$, and $e(G - S) \geq 76$). Let $X = S_1 \sqcup S_2 \sqcup S_3$ ($|S_i| = 3$) be three pairwise disjoint independent triples of $G$, and let $C = G - X$ ($|V(C)| = 12$). For each $v \in V(C)$, we write $Y_v = N_G(v) \cap X$ for its boundary neighborhood and $M_X(v) = X \setminus Y_v$ for its boundary non-neighborhood.

We distinguish two nested hypothesis levels on $G - S$:
- **Level 1 (Minimum-Degree Condition $\delta(G - S) \geq 8$):** Used for all core-extension closures in Theorems 1(1,3), 2, and 3, for all positive-slack ($B \geq 1$) and $t \in \{0, 1\}$ balanced orbits in Theorem 4, and for all $39$ first-slack unbalanced `(0, 0, 1)` orbits.
- **Level 2 (Full $9$-Criticality of $G - S$):** In the $t = 18$ branch (once $t \in \{11, 16, 17\}$ are excluded), $G - S$ ($|V(G - S)| = 18$) is $9$-vertex-critical for every independent triple $S \subseteq V(G)$. By Kostochka–Yancey [9], $e(G - S_k) \geq f_9(18) = 76$, and by Gallai's Theorem [10], the degree-$8$ vertices of the $9$-critical graph $G - S_k$ induce a Gallai graph (every block is a clique or an odd cycle). Because $G[S_i \cup S_j]$ is bipartite ($S_i$ and $S_j$ are independent), the degree-$8$ vertices of $G - S_k$ inside $S_i \cup S_j$ cannot contain any cycle and therefore induce a **forest**. Level 2 is used in Theorem 1(2,4) to bound the global slack ceiling and classify all $9{,}654$ boundary orbits by minimum slack $s_{\min}(G[X])$, and in Theorem 4 at $t = 2, B = 0$ (`check_t2_exact42.py`, where $9$-vertex-criticality of $G - S$ excludes the $3$ pure $(5, 0, 0)$ multisets because there exist independent triples $S$ and vertices $v \in V(G) \setminus S$ for which $G - S - v$ is not $8$-colorable).

**Theorem 1 (Three-Triple Slack Identity, Analytical Ceilings, and Order-$1296$ $G[X]$ Census).**
1. *(Exact Slack Identity from $\delta(G - S_i) \geq 8$)* *For each $x \in S_i$ with $\{j, k\} = \{1, 2, 3\} \setminus \{i\}$, $\delta(G - S_j) \geq 8$ and $\delta(G - S_k) \geq 8$ imply $d_G(x) \geq 8 + \max(d_{S_j}(x), d_{S_k}(x))$. Defining the vertex slack $\varepsilon_x = d_G(x) - 8 - \max(d_{S_j}(x), d_{S_k}(x)) \geq 0$ and the tripartite imbalance*
   $$
   B_{\triangle} = \frac{1}{2} \sum_{x \in X} |d_{S_j}(x) - d_{S_k}(x)| = \sum_{x \in X} \max(d_{S_j}(x), d_{S_k}(x)) - e(G[X]) \in \mathbb{Z}_{\geq 0},
   $$
   *the core edge count $e(C) = |E(C)|$ satisfies the exact identity*
   $$
   42 - e(C) = \eta + \sum_{x \in X} \varepsilon_x + B_{\triangle}.
   $$
2. *(Boundary-Side Slack Ceiling from $9$-Criticality of $G - S_i$)* *Under the $9$-criticality bound $e(G - S_i) \geq f_9(18) = 76$ ($i \in \{1, 2, 3\}$) [9], each triple satisfies $\sum_{x \in S_i} d_G(x) \leq 38 - \eta$, and summing over $i = 1, 2, 3$ yields*
   $$
   3\eta + \sum_{x \in X} \varepsilon_x + B_{\triangle} \leq 42 - e(G[X]) \leq 33.
   $$
3. *(Core-Side Degree & Slack Ceiling from $\delta(G - S_i) \geq 8$)* *Every core vertex $u \in V(C)$ satisfies $3 d_C(u) + 2|Y_u| \geq 24$, i.e., $d_C(u) \geq \lceil 8 - \frac{2}{3}|Y_u| \rceil$, and globally $3 e(C) + e(X, C) \geq 144$. When $\chi(C) = 8$ ($K_8 \subseteq C$), $e(C) \geq 32$ ($42 - e(C) \leq 10$) unconditionally, $e(C) \geq 34$ ($42 - e(C) \leq 8$) whenever $|Y_u| \leq 8$ for all $u \in C \setminus K_8$, and $e(C) \geq 36$ ($42 - e(C) \leq 6$) whenever $|Y_u| \leq 7$ for all $u \in C \setminus K_8$.*
4. *(Exact Order-$1296$ Tripartite $G[X]$ Orbit Classification)* *Among all $2^{27} = 134{,}217{,}728$ labelled tripartite graphs on $X = S_1 \sqcup S_2 \sqcup S_3$, exactly $11{,}142{,}487$ satisfy $\alpha(G[X]) \leq 3$, partitioning into **$9{,}654$ exact orbits** under the order-$1296$ group $(S_3)^3 \rtimes S_3$. Across all $9{,}654$ orbits, $B_{\triangle} \in \{0, 1, 2, 3, 4, 5, 6\}$ and the minimum achievable slack $s_{\min}(G[X]) = B_{\triangle} + \min \sum_{x \in X} \varepsilon_x$ (subject to $\delta(G) \geq 9$, $\delta(G - T) \geq 8$ for all independent $X$-triples $T$, pair-graph degree-$8$ Gallai forests in $G - S_k$, and $\sum_{v \in S_i} d_G(v) \leq 38$) lies in $\{0, \ldots, 12\}$.*

*Proof.*
- **Part 1:** For $x \in S_i$, since $S_j$ is an independent triple not containing $x$, $d_{G - S_j}(x) = d_G(x) - d_{S_j}(x) \geq 8$, and similarly $d_G(x) - d_{S_k}(x) \geq 8$. Using $\max(a, b) = \frac{1}{2}(a + b + |a - b|)$ and $d_X(x) = d_{S_j}(x) + d_{S_k}(x)$, we have
  $$
  d_G(x) = 8 + \frac{1}{2} d_X(x) + \frac{1}{2}|d_{S_j}(x) - d_{S_k}(x)| + \varepsilon_x.
  $$
  Summing over all $9$ vertices $x \in X$ and using $\sum_{x \in X} d_X(x) = 2 e(G[X])$ gives
  $$
  \sum_{x \in X} d_G(x) = 72 + e(G[X]) + B_{\triangle} + \sum_{x \in X} \varepsilon_x.
  $$
  Since $e(X, C) = \sum_{x \in X} (d_G(x) - d_X(x)) = \sum_{x \in X} d_G(x) - 2 e(G[X]) = 72 - e(G[X]) + B_{\triangle} + \sum_{x \in X} \varepsilon_x$, substituting into $114 - \eta = e(G) = e(G[X]) + e(X, C) + e(C)$ cancels $e(G[X])$ and yields $114 - \eta = 72 + B_{\triangle} + \sum_{x \in X} \varepsilon_x + e(C)$, i.e., $42 - e(C) = \eta + \sum_{x \in X} \varepsilon_x + B_{\triangle}$.
- **Part 2:** By Kostochka–Yancey [9], any $9$-critical graph on $18$ vertices has at least $\lceil (10 \cdot 7 \cdot 18 - 54)/16 \rceil = 76$ edges. When $G - S_i$ is $9$-critical, $e(G - S_i) \geq 76$. Since $S_i$ is independent, $\sum_{x \in S_i} d_G(x) = e(G) - e(G - S_i) \leq (114 - \eta) - 76 = 38 - \eta$. Summing over $i = 1, 2, 3$ gives $72 + e(G[X]) + B_{\triangle} + \sum_{x \in X} \varepsilon_x = \sum_{x \in X} d_G(x) \leq 114 - 3\eta$, or $3\eta + \sum_{x \in X} \varepsilon_x + B_{\triangle} \leq 42 - e(G[X])$. Since $\alpha(G[X]) \leq 3$ requires $\delta(G[S_a \cup S_b]) \geq 1$, every vertex has $d_X(x) \geq 2$, so $e(G[X]) \geq 9$ and $42 - e(G[X]) \leq 33$.
- **Part 3:** For each $u \in V(C)$ and $i \in \{1, 2, 3\}$, $d_{G - S_i}(u) = d_C(u) + |Y_u \setminus S_i| \geq 8$. Summing over $i = 1, 2, 3$ and noting that $\sum_{i=1}^3 |Y_u \setminus S_i| = 2|Y_u|$ gives $3 d_C(u) + 2|Y_u| \geq 24$. Summing over all $12$ vertices $u \in V(C)$ gives $6 e(C) + 2 e(X, C) \geq 288$, or $3 e(C) + e(X, C) \geq 144$. When $K_8 \subseteq C$ ($|R_C| = 4$), $e(C) = 28 + e(R_C, K_8) + e(R_C) \geq 28 + \frac{1}{2} \sum_{u \in R_C} d_C(u)$. Since $|Y_u| \leq 9$ gives $d_C(u) \geq \lceil 8 - 18/3 \rceil = 2$, we have $e(C) \geq 28 + 4 = 32$ ($42 - e(C) \leq 10$) unconditionally. When $|Y_u| \leq 8$ for all $u \in R_C$, $d_C(u) \geq \lceil 8 - 16/3 \rceil = 3$ (and $d_C(u) \geq 4$ for $|Y_u| \leq 7$), giving $e(C) \geq 28 + 6 = 34$ ($42 - e(C) \leq 8$, and $\leq 6$ if $|Y_u| \leq 7$).
- **Part 4:** Every $4$-subset of $X = S_1 \sqcup S_2 \sqcup S_3$ intersects $(S_1, S_2, S_3)$ in sizes $(3, 1, 0)$, $(2, 2, 0)$, or $(2, 1, 1)$. Absence of $(3, 1, 0)$ and $(2, 2, 0)$ independent $4$-sets holds if and only if each $3 \times 3$ bipartite block $M_{ab}$ ($1 \leq a < b \leq 3$) has no zero row, no zero column, and no $2 \times 2$ zero submatrix ($247$ of the $512$ matrices, forming $15$ $S_3 \times S_3$-orbits). Absence of $(2, 1, 1)$ independent $4$-sets holds if and only if every non-edge $(u \in S_a, v \in S_b)$ satisfies $|N_{S_c}(u) \cup N_{S_c}(v)| \geq 2$. Canonicalizing all surviving triples $(M_{12}, M_{13}, M_{23})$ under $(S_3)^3 \rtimes S_3$ (`src/enumerate_t18_gx_orbits.py`, $3.0\text{ s}$; independently confirmed by `low_alpha_designer`'s $2^{27}$ C scan) yields the exact counts in Table 1. $\square$

| Invariant | Exact Distribution Across the $9{,}654$ Order-$1296$ Orbits of $G[X]$ |
|---|---|
| Imbalance $B_{\triangle} \in \{0, \ldots, 6\}$ | `0: 18, 1: 182, 2: 1245, 3: 3236, 4: 3415, 5: 1374, 6: 184` |
| Minimum slack $s_{\min}(G[X]) \in \{0, \ldots, 12\}$ | `0: 3, 1: 41, 2: 488, 3: 1735, 4: 2639, 5: 2285, 6: 1415, 7: 700, 8: 260, 9: 68, 10: 16, 11: 3, 12: 1` |
| Edges $e(G[X]) \in \{9, \ldots, 27\}$ | `9: 1, 10: 1, 11: 9, 12: 35, 13: 151, 14: 463, 15: 1078, 16: 1724, 17: 2034, 18: 1792, 19: 1224, 20: 665, 21: 304, 22: 114, 23: 40, 24: 13, 25: 4, 26: 1, 27: 1` |
| First-slack $(\sum \varepsilon_x, B_{\triangle})$ census ($\eta = 0, e(C) = 41$) | `(1, 0): 8,100 records / 1,440 G[X] / 5 G[X]-orbits / 8 (G[X], eps)-orbits; (0, 1): 38,556 records / 38,556 G[X] / 39 orbits` |
| Second-slack $(\sum \varepsilon_x, B_{\triangle})$ census ($\eta = 0, e(C) = 40$) | `(2, 0): 75,816 records / 3,357 G[X] / 14 G[X]-orbits / 78 (G[X], eps)-orbits; (1, 1): 548,532 records / 119,556 G[X] / 120 G[X]-orbits / 454 (G[X], eps)-orbits; (0, 2): 450,522 records / 450,522 G[X] / 398 orbits` |

Among the **$18$ balanced orbits ($B_{\triangle} = 0$)**, where $d_{S_j}(x) = d_{S_k}(x) \in \{1, 2, 3\}$ for all $x \in X$, the minimum achievable slack $s_{\min}(G[X]) = \min \sum_{x \in X} \varepsilon_x$ partitions the $18$ orbits as follows:
- **$s_{\min}(G[X]) = 0$ ($3$ orbits, $t \in \{0, 1, 2\}$):** Here $d_X(x) \in \{2, 4\}$ for all $x \in X$, and $G[X]$ consists of three vertex-disjoint primary triangles $Q_1, Q_2, Q_3$ together with $t \in \{0, 1, 2\}$ disjoint transversal triangles ($e(G[X]) = 9 + 3t \in \{9, 12, 15\}$, giving $36 + 216 + 216 = 468$ labelled graphs). These $3$ boundary graphs generate all $3$ orbits at $(\eta, B, B_{\triangle}) = (\eta, 0, 0)$, $5$ of the $8$ orbits at $(\eta, 1, 0)$, and $18$ orbits at $(\eta, 2, 0)$.
- **$s_{\min}(G[X]) = 1$ ($2$ orbits, `G15_A = (87, 87, 283)` and `G15_B = (94, 94, 283)`):** Both have $e(G[X]) = 15$ and contain a $4$-cycle $C_4 \subseteq G[S_2 \cup S_3]$ on $\{3, 4\} \times \{6, 7\}$ (`m12 = 283`), which violates the Gallai forest condition at $B = 0$ ($\varepsilon = 0$) unless at least one vertex of $\{3, 4, 6, 7\}$ has $\varepsilon_x \geq 1$. In `G15_A`, vertex $0$ has $d_X(0) = 6, d_G(0) = 11, d_C(0) = 5$. Together, `G15_A` ($\varepsilon_3 = 1$) and `G15_B` ($\varepsilon_3 = 1$ and $\varepsilon_4 = 1$) contribute the remaining **$3$ order-$1296$ orbits at $(\eta, 1, 0)$**, bringing the total at $B = 1$ to **$8$ orbits** ($8{,}100$ labelled placements over $1{,}440$ graphs).
- **$s_{\min}(G[X]) = 2$ ($9$ orbits) and $s_{\min}(G[X]) \geq 3$ ($4$ orbits):** Higher-density balanced boundary graphs ($e(G[X]) \in \{15, 18, 21, 24, 27\}$) requiring at least $2$ or $3$ vertex degree bumps to break all bipartite cycles among degree-$8$ vertices of $G - S_k$.

---

## 4. Color-Class Multiplicity, $(6, 7)$-Core Peeling of $R_C$, and Single-Vertex Kempe Forced-Bit Theory

### 4.1 The Color-Class Multiplicity Identity (Lemma CCM) and Pair-Incompatibility

Why do naive searches over $12$-element multisets of boundary neighborhoods $(Y_v)_{v \in C}$ stall when $\chi(C) = 7$? Because a proper $7$-coloring $\mathcal{I} = (I_1, \ldots, I_7)$ of $C$ extends to a proper $9$-coloring of $G$ if and only if there exist $7$ boundary independent sets $J_s \subseteq A_s := \bigcap_{v \in I_s} M_X(v)$ whose removal leaves $G[X \setminus \bigcup_{s=1}^7 J_s]$ bipartite ($2$-colorable with colors $\{8, 9\}$).

**Lemma 1 (Color-Class Multiplicity Identity — Lemma CCM).** *Let $\mathcal{I} = (I_1, \ldots, I_k)$ be a partition of $V(C)$ into $k$ color classes, and for each $x \in X$ let $A_s = \{x \in X : N_G(x) \cap I_s = \emptyset\}$ and $c(x) = |\{s \in \{1, \ldots, k\} : x \in A_s\}|$. Then for every $x \in X$:*
$$
\sum_{s \,:\, x \notin A_s} \bigl(|N_{I_s}(x)| - 1\bigr) = c(x) - \bigl(k - d_C(x)\bigr).
$$
*In particular, for $k = 7$:*
1. *If $x \in \operatorname{deg7\_X} := \{x \in X : d_C(x) = 7\}$, then $\sum_{s : x \notin A_s} (|N_{I_s}(x)| - 1) = c(x)$. Thus $c(x) = 0$ if and only if $|N_{I_s}(x)| = 1$ for all $s \in \{1, \ldots, 7\}$; equivalently, whenever two vertices $u, v \in I_s$ in the same color class both see $x \in \operatorname{deg7\_X}$, we have $|N_{I_s}(x)| \geq 2$ and hence $c(x) \geq 1$.*
2. *If $x \in \operatorname{deg8\_X} := \{x \in X : d_C(x) = 8\}$, then $\sum_{s : x \notin A_s} (|N_{I_s}(x)| - 1) = c(x) + 1$. Whenever three vertices $u, v, w \in I_s$ in a size-$3$ color class all see $x \in \operatorname{deg8\_X}$, we have $|N_{I_s}(x)| - 1 = 2$, forcing $c(x) \geq 1$.*
3. *If $x \in \operatorname{deg6\_X} := \{x \in X : d_C(x) \leq 6\}$, then $c(x) \geq 7 - d_C(x) \geq 1$ unconditionally.*

*Proof.* Partitioning the $d_C(x)$ neighbors of $x$ in $C$ across the $k - c(x)$ color classes $I_s$ for which $x \notin A_s$ gives $\sum_{s : x \notin A_s} |N_{I_s}(x)| = d_C(x)$. Subtracting $\sum_{s : x \notin A_s} 1 = k - c(x)$ from both sides yields $\sum_{s : x \notin A_s} (|N_{I_s}(x)| - 1) = d_C(x) - k + c(x) = c(x) - (k - d_C(x))$. $\square$

We pair Lemma 1 with the **Non-Adjacent Degree-$9$ Pair Clique Theorem**: if a core vertex $v \in C$ is adjacent to two non-adjacent boundary vertices $a, b \in X$ both having $d_G(a) = d_G(b) = 9$, then no independent triple $S$ of $G$ can contain $v$ (otherwise $S \cup \{a\}$ or $S \cup \{b\}$ would be independent of size $4$, or deleting $S$ would drop $d_{G-S}(a)$ or $d_{G-S}(b)$ below $8$). Since $\alpha(G) = 3$, the non-neighborhood $M_G(v) = M_C(v) \cup M_X(v)$ of any such $v$ must be a **clique** in $G$, forcing $d_G(v) = 20 - |M_G(v)| \geq 20 - \omega(G) \geq 12$ ($d_C(v) \geq 12 - |Y_v|$), $|M_C(v)| \leq \omega(C)$, and $Y_v \cup Y_w = X$ for every $w \in M_C(v)$.

### 4.2 Unused Clique-Color Pigeonhole Bound, $(6, 7)$-Core Peeling of $R_C$, and Kempe Forced-Bit Pruning

When $\chi(C) = 7$ and $K_7 \subseteq C$, we write $C = K_7 \sqcup R_C$ with $|R_C| = 5$. For each $i \in \{0, \ldots, 4\}$ in $R_C$, let $b_i = |N_{K_7}(i)|$ be the number of cross-edges to $K_7$, encoded by the $7$-bit mask $m_i \in \{0, \ldots, 127\}$ ($\operatorname{popcount}(m_i) = b_i$).

**Theorem 2 (Pigeonhole Unused-Color Bound on $R_C$, Cascade Peeling at $T \in \{6, 7\}$, and Kempe Forced-Bit Theorem).**
1. *(Unconditional Pigeonhole Bound on $W = R_C$ and Threshold-$6$ Peeling)* *In any proper $7$-coloring $c$ of $C = K_7 \sqcup R_C$, because $|R_C| = 5$, the color set $c(R_C) \subseteq \{0, \ldots, 6\}$ has size $|c(R_C)| \leq 5$, so the set of unused $K_7$-colors $A = \{0, \ldots, 6\} \setminus c(R_C)$ satisfies $|A| \geq 7 - 5 = 2$ unconditionally by the Pigeonhole Principle, and every $q \in \bigcap_{i=0}^4 \operatorname{eff\_forced}[i]$ belongs to $A$. Furthermore, if peeling $R_C$ at degeneracy threshold $T_1 = 6$ (retaining $i \in W$ while $b_i + d_{R_C[W]}(i) \geq 6$) leaves a non-empty subcore $W_6 \subseteq R_C$, then in at least one proper $7$-coloring of $C[K_7 \cup W_6]$ the color set $A_6 = \{0, \ldots, 6\} \setminus c(W_6)$ satisfies $|A_6| \geq 1$ with $\bigcap_{i \in W_6} \operatorname{eff\_forced}[i] \subseteq A_6$.*
2. *(Pair-Incompatibility Cascade Forcing at $T \in \{6, 7\}$)* *Let $\operatorname{h3\_mask}[i] \subseteq \{0, \ldots, 6\}$ denote the set of $q \in K_7$ such that $\{i, q\}$ cannot share color $q$ in any non-extending $7$-coloring (because $M_X(i) \cap M_X(q)$ extends at size $1$, or $(Y_i \cap Y_q \cap \operatorname{deg7\_X}) \cup \operatorname{deg6\_X}$ contains an independent odd-cycle transversal of $G[X]$ by Lemma 1). If peeling $R_C \setminus \{i\}$ at threshold $T = 7$ (or $T = 6$ for $R_C$-neighbors of $i$ not forced to see $q$) leaves no unforced $R_C$-neighbor of $i$ available to take color $q$, then the cross-edge $(i, q) \in E(R_C, K_7)$ is **forced** ($\operatorname{eff\_forced}[i] \gets \operatorname{eff\_forced}[i] \cup \{q\}$).*
3. *(Single-Vertex Kempe Re-Coloring & Forced-Bit Theorem)* *Let $\operatorname{bad\_cols}(R_C)$ be the set of proper $7$-colorings $\operatorname{col} = (c_0, \ldots, c_4) \in \{0, \ldots, 6\}^5$ of $R_C$ that respect $\operatorname{eff\_forced}$, satisfy $\alpha(G) = 3$ and $\delta(G - S) \geq 8$ on every color class $I_q$, and fail to extend to a $9$-coloring of $G$. For any $\operatorname{col} \in \operatorname{bad\_cols}(R_C)$ and any $i \in \{0, \ldots, 4\}$, every color $q \in \{0, \ldots, 6\} \setminus (\{c_i\} \cup \{c_j : ij \in E(R_C)\})$ whose single-vertex re-coloring $\operatorname{col}^{(i \to q)} = (c_0, \ldots, q, \ldots, c_4)$ is **not** in $\operatorname{bad\_cols}(R_C)$ must be blocked by the cross-edge $(i, q) \in E(R_C, K_7)$, forcing bit $q$ of $m_i$ to be $1$:*
   $$
   \operatorname{req\_m}[i](\operatorname{col}) = \operatorname{eff\_forced}[i] \;\Big|\; \bigcup_{\substack{q \neq c_i,\, q \notin c(N_{R_C}(i)) \\ \operatorname{col}^{(i \to q)} \notin \operatorname{bad\_cols}(R_C)}} \{q\}, \qquad (m_i \mathbin{\&} \operatorname{req\_m}[i](\operatorname{col})) = \operatorname{req\_m}[i](\operatorname{col}).
   $$

*Proof.*
- **Part 1:** Since $|R_C| = 5$, any map $c : R_C \to \{0, \ldots, 6\}$ has image size $|c(R_C)| \leq 5$, so $A = \{0, \ldots, 6\} \setminus c(R_C)$ has size $|A| = 7 - |c(R_C)| \geq 2$. For any $q \in \bigcap_{i=0}^4 \operatorname{eff\_forced}[i]$, every $i \in R_C$ is adjacent to $q \in K_7$, so $c(i) \neq q$ in any proper $7$-coloring of $C$; hence $\bigcap_{i=0}^4 \operatorname{eff\_forced}[i] \subseteq A$. Thus if every subset $A \subseteq \{0, \ldots, 6\}$ of size $\geq 2$ containing $\text{fm} = \bigcap_{i=0}^4 \operatorname{eff\_forced}[i]$ contains a $1$-class or $2$-class boundary extension (`min_w2[fm] > 5` or `min_w3[fm] > 5`), every proper $7$-coloring of $C$ extends to $G$. Similarly, any vertex $i \in R_C \setminus W_6$ peeled at threshold $T_1 = 6$ has $< 6$ neighbors in $K_7 \cup W_6$ at the moment of removal, so any proper $7$-coloring of $K_7 \cup W_6$ extends greedily to $C$.
- **Part 2:** Suppose $(i, q) \notin E(R_C, K_7)$ and $q \in \operatorname{h3\_mask}[i]$. To prevent $C$ from admitting a $7$-coloring in which $i$ and $q$ share color $q$, any greedy $7$-coloring of $C$ starting from $K_7$ must be blocked from assigning color $q$ to $i$ by some $R_C$-neighbor $j \in N_{R_C}(i)$ receiving color $q$. Any vertex $z \in R_C \setminus \{i\}$ with degree $< 7$ in $C[K_7 \cup S]$ (or $< 6$ if $z \in N_{R_C}(i)$ and $z \sim q$ is not forced) can always be colored last after its neighbors without using color $q$, so $j$ must survive inside the peeled $(6, 7)$-core $S_q \subseteq R_C \setminus \{i\}$. If no such $j$ exists in $S_q$, $(i, q) \in E(R_C, K_7)$ is forced.
- **Part 3:** Suppose $(R_C, m_0, \ldots, m_4)$ is a valid core $C = K_7 \cup R_C$ with $\chi(C) = 7$ that admits at least one valid $7$-coloring $\operatorname{col}$ and has *no* extending $7$-coloring. Then $\operatorname{col} \in \operatorname{bad\_cols}(R_C)$ with $(m_i \gg c_i) \mathbin{\&} 1 = 0$ for all $i$. If for some $i \in \{0, \ldots, 4\}$ and $q \notin \{c_i\} \cup \{c_j : ij \in E(R_C)\}$ we had $\operatorname{col}^{(i \to q)} \notin \operatorname{bad\_cols}(R_C)$ and $(m_i \gg q) \mathbin{\&} 1 = 0$, then $\operatorname{col}^{(i \to q)}$ would be a proper $7$-coloring of $C$ that either violates $\alpha(G) = 3 / \delta(G - S) \geq 8$ (impossible if $G$ is valid) or extends to a $9$-coloring of $G$ (contradicting that no $7$-coloring of $C$ extends). Hence $(m_i \gg q) \mathbin{\&} 1 = 1$ is forced. $\square$


---

## 5. The Two-Part $K_7$-Free Core Closure Theorem Across All $e(C) \leq 42$ ($\chi(C) = 7, \omega(C) \leq 6$)

We now resolve the $K_7$-free subbranch ($\chi(C) = 7, \omega(C) \leq 6$) across all $B \geq 0$ ($e(C) \leq 42$). Any $12$-vertex graph $C$ with $\chi(C) = 7$ and $\omega(C) \leq 6$ contains a $7$-vertex-critical subgraph $Q \subseteq C$ of order $r_Q = |V(Q)| \leq 12$. Because $\omega(Q) \leq \omega(C) \leq 6$, $Q$ cannot have order $7$ ($K_7$) or $8$ (no $7$-critical graph on $8$ vertices exists), so $r_Q \in \{9, 10, 11, 12\}$. We treat $r_Q = 12$ (where $C$ itself is $7$-critical on $12$ vertices, so $\delta(C) \geq 6$) in Part A, and proper $7$-critical subgraphs $r_Q \in \{9, 10, 11\}$ in Part B.

**Theorem 3 (Two-Part $K_7$-Free Core Closure Theorem Across All $e(C) \leq 42$).**
1. *(Part A — $r_Q = 12$, where $C$ is $7$-vertex-critical on $12$ vertices so $\delta(C) \geq 6 \iff \Delta(\overline{C}) \leq 5$, across all $e(C) \leq 42 \iff e(\overline{C}) \geq 24$)* *Let $C$ be a $12$-vertex $7$-vertex-critical graph with $\omega(C) \leq 6$, $\alpha(C) \leq 3$, $\delta(C) \geq 6$, and $e(C) \leq 42$, and let $H = \overline{C}$ ($|V(H)| = 12, \alpha(H) \leq 6, \omega(H) \leq 3, \Delta(H) \leq 5, e(H) \geq 24$):*
   - *(a) When $\alpha(C) = 3$ ($\omega(H) = 3$):* *No $12$-vertex graph $C$ (critical or not) with $\chi(C) \geq 7$, $\omega(C) \leq 6$, $\alpha(C) = 3$, $\delta(C) \geq 6$, and $e(C) \leq 42$ exists. Consequently, independent of $G[X]$ and $E(X, C)$, no $12$-vertex $7$-critical $K_7$-free core $C$ with $\alpha(C) = 3$ exists at **any** slack level $42 - e(C) = \eta + \sum_{x \in X} \varepsilon_x + B_{\triangle} \geq 0$.*
   - *(b) When $\alpha(C) \leq 2$ ($H$ is triangle-free, $\omega(H) \leq 2$):* *Every such $12$-vertex $7$-vertex-critical graph $C$ with $e(C) \leq 42$ has $\alpha(C) = 2$ and is a single-apex join $C \cong \{v_0\} \vee \overline{C_1^{(g)}}$ ($d_C(v_0) = 11$, so $H = C_1^{(g)} \sqcup \{v_0\}$), where $C_1^{(g)}$ ($g \in \{1, \ldots, 28\}$) is one of **exactly $28$ non-isomorphic $11$-vertex factor-critical triangle-free graphs** ($\nu(C_1^{(g)} - w) = 5$ for all $w \in V(C_1^{(g)})$) with $\alpha(C_1^{(g)}) = 5$, $\Delta(C_1^{(g)}) = 5$, $\nu(C_1^{(g)}) = 5$, and $e(C_1^{(g)}) \in \{24, 25, 26\}$ ($20$ graphs with $e(C_1) = 24, e(C) = 42$; $6$ graphs with $e(C_1) = 25, e(C) = 41$; and $2$ graphs with $e(C_1) = 26, e(C) = 40$). Across all $29$ balanced boundary-slack orbits ($B \in \{0, 1, 2\}, \eta \geq 0$) and all $39$ first-slack unbalanced `(0, 0, 1)` orbits ($e(C) \leq 41$), these single-apex cores yield **`0` survivors** (`tf_surv = 0`).*
2. *(Part B — $r_Q \in \{9, 10, 11\}$, where $C$ contains a proper $7$-critical subgraph $Q \subsetneq C$)* *Let $d_{(1)} \leq d_{(2)} \leq \cdots \leq d_{(12)}$ be the sorted vertex degrees of $C$. By Gallai's theorem [10] ($r_Q \leq 12 = 2(7) - 2$), any $7$-critical $K_7$-free subgraph $Q \subsetneq C$ of order $r_Q \in \{9, 10, 11\}$ is a join, forcing:*
   - *for $r_Q = 9$: $Q \cong K_4 \vee C_5$ ($e(Q) = 31$), so $e(C) \geq 28 + d_{(1)} + d_{(2)} + d_{(3)}$;*
   - *for $r_Q = 10$: $Q \cong K_3 \vee H_7$ ($e(Q) \geq 35$), so $e(C) \geq 34 + d_{(1)} + d_{(2)}$;*
   - *for $r_Q = 11$: $Q \in \{K_4 \vee C_7,\, K_3 \vee H_8,\, K_2 \vee H_9,\, C_5 \vee H_6\}$ ($e(Q) \geq 38$), so $e(C) \geq 38 + d_{(1)}$.*
   *Whenever $\delta(C) \geq 5$, all three bounds give $e(C) \geq \min(28 + 15,\, 34 + 10,\, 38 + 5) = 43 > 42 - B$. Moreover, for any unextendable $7$-partition $\mathcal{P} = \{P_1, \ldots, P_7\}$ of $V(C)$ in $\mathcal{P}_{\text{bad}}$, every singleton class $P_s = \{u\}$ satisfies $d_C(u) \geq 6$, and every vertex $u \in P_s$ ($|P_s| \geq 2$) satisfies $d_C(u) \geq |\{t \neq s : \mathcal{P}^{(u \to t)} \notin \mathcal{P}_{\text{bad}}\}|$. Across all $29$ balanced orbits ($B \in \{0, 1, 2\}, \eta \geq 0$) and all $39$ first-slack unbalanced `(0, 0, 1)` orbits ($e(C) \leq 41$), combining these bounds with forced core degrees and the $K_4 \vee C_5$ Five-Partition Extension Filter yields **`0` surviving multisets** for $r_Q \in \{9, 10, 11\}$.*

*Proof.*
- **Part A ($r_Q = 12$):** Let $H = \overline{C}$ have $|V(H)| = 12$, $\alpha(H) = \omega(C) \leq 6$, $\omega(H) = \alpha(C) \leq 3$, $\Delta(H) = 11 - \delta(C) \leq 5$, and $e(H) = 66 - e(C) \geq 24$, with $\chi(C) \geq 7$ (so $V(H)$ cannot be covered by $6$ cliques of $H$).
  - *Step A1 (Triangle-Free Complement Subcase $\omega(H) \leq 2 \iff \alpha(C) \leq 2$: Tutte–Berge Formula and Exact $28$-Graph Factor-Critical Classification):* Suppose $H$ is triangle-free ($\omega(H) \leq 2$). Then every clique of $H$ is a vertex or an edge, so $\chi(C) = 12 - \nu(H)$, where $\nu(H)$ is the matching number of $H$. Thus $\chi(C) \geq 7$ if and only if $\nu(H) \leq 5$ (for example, $H = K_{6,6} - M$ has $e(H) = 30$ and $\alpha(H) = 6$, but $\nu(H) = 6$, so $\chi(\overline{H}) = 6$). By the **Tutte–Berge Formula**, $\nu(H) = \frac{1}{2}\min_{U \subseteq V(H)}(|V(H)| + |U| - o(H - U)) \leq 5$ if and only if there exists $U \subseteq V(H)$ of size $u = |U|$ such that $H - U = R_{\text{even}} \sqcup C_1 \sqcup \cdots \sqcup C_q$ has an even-order union of even components $R_{\text{even}}$ of order $r_{\text{even}} \in \{0, 2, 4, 6, 8, 10\}$ and $q = o(H - U) \geq u + 2$ odd connected components $C_1, \ldots, C_q$ of odd orders $c_1 \geq \cdots \geq c_q \geq 1$ ($\sum_{i=1}^q c_i = 12 - u - r_{\text{even}}$, with $q - u \equiv 12 \pmod 2$) and independence numbers $\alpha_i = \alpha(C_i) \geq 1$. Since $R_{\text{even}}, C_1, \ldots, C_q$ are pairwise disjoint induced subgraphs of $H - U$, we have $\alpha(R_{\text{even}}) + \sum_{i=1}^q \alpha_i = \alpha(H - U) \leq \alpha(H) \leq 6$. In any triangle-free graph $F$ of order $n$ and independence number $\alpha$, every neighborhood $N_F(v)$ is independent so $\Delta(F) \leq \alpha$, giving $e(F) \leq g(n, \alpha) := \min(\lfloor n\alpha / 2 \rfloor, \lfloor n^2 / 4 \rfloor)$ (and exact maxima $f(n, \alpha)$: $f(1,1)=f(3,1)=0, f(3,2)=2, f(5,2)=5, f(5,3)=6, f(7,3)=10, f(7,4)=12, f(9,4)=17, f(9,5)=20, f(11,4)=22, f(11,5)=26$). Moreover, for the even triangle-free remainder $R_{\text{even}}$ of order $r_{\text{even}}$, Mantel's theorem gives $e(R_{\text{even}}) \leq \lfloor r_{\text{even}}^2 / 4 \rfloor$, and Ramsey's theorem ($R(3, 2) = 3, R(3, 3) = 6$) gives $\alpha(R_{\text{even}}) \geq 1$ for $r_{\text{even}} = 2$, $\alpha(R_{\text{even}}) \geq 2$ for $r_{\text{even}} = 4$, and $\alpha(R_{\text{even}}) \geq 3$ for $r_{\text{even}} \in \{6, 8\}$. Since $\Delta(H) \leq 5$, all edges incident to $U$ (both inside $U$ and between $U$ and $H - U$) total at most $5u$, so $e(H) \leq 5u + \lfloor r_{\text{even}}^2 / 4 \rfloor + \sum_{i=1}^q f(c_i, \alpha_i)$:
    1. When $u = 0$ ($U = \emptyset$): $H = R_{\text{even}} \sqcup C_1 \sqcup \cdots \sqcup C_q$, so in the complement $C = \overline{H} = \overline{R_{\text{even}}} \vee \overline{C_1} \vee \cdots \vee \overline{C_q}$ is a **complete join**. For each odd component $C_i$, $\alpha(\overline{C_i}) \leq 2$ implies $\chi(\overline{C_i}) \geq \lceil c_i / 2 \rceil = (c_i + 1)/2$. Furthermore, if $r_{\text{even}} \geq 2$, then for any vertex $v \in V(R_{\text{even}})$, the subgraph $\overline{R_{\text{even}}} - v$ has $r_{\text{even}} - 1$ vertices and $\alpha \leq 2$, so $\chi(\overline{R_{\text{even}}} - v) \geq \lceil (r_{\text{even}} - 1)/2 \rceil = r_{\text{even}}/2$; by $7$-vertex-criticality of $C$, $\overline{R_{\text{even}}}$ is vertex-critical, so $\chi(\overline{R_{\text{even}}}) = \chi(\overline{R_{\text{even}}} - v) + 1 \geq r_{\text{even}}/2 + 1$. Summing chromatic numbers across the join gives
       $$
       7 = \chi(C) = \chi(\overline{R_{\text{even}}}) + \sum_{i=1}^q \chi(\overline{C_i}) \geq \mathbf{1}_{r_{\text{even}} \geq 2} + \frac{r_{\text{even}} + \sum_{i=1}^q c_i + q}{2} = \mathbf{1}_{r_{\text{even}} \geq 2} + 6 + \frac{q}{2},
       $$
       which **uniquely forces $r_{\text{even}} = 0$ and $q = 2$** at $u = 0$. If $c_1 \leq 9$, then $(c_1, c_2) \in \{(9, 3), (7, 5)\}$, giving $e(H) \leq \max(f(9, 4) + f(3, 2),\, f(9, 5) + f(3, 1),\, f(7, 3) + f(5, 3)) = \max(17 + 2,\, 20 + 0,\, 10 + 6) = 20 < 24$. If $(c_1, c_2) = (11, 1)$ and $\alpha_1 \leq 4$, then $e(H) \leq f(11, 4) + 0 = 22 < 24$.
    2. When $u \geq 1$: evaluating $5u + \lfloor r_{\text{even}}^2 / 4 \rfloor + \sum_{i=1}^q f(c_i, \alpha_i)$ across all $u \in \{1, \ldots, 5\}$, all $r_{\text{even}} \in \{0, 2, 4, 6, 8\}$, all $q \geq u + 2$, and all odd partitions with $\sum_{i=1}^q \alpha_i \leq 6 - \alpha_{\min}(R_{\text{even}})$ (`verify_triangle_free_complement_classification()` in `src/check_k7free_all_B.py`) gives $\max e(H) = 22 < 24$ (attained at $u = 1, r_{\text{even}} = 0, q = 3, (c_1, c_2, c_3) = (9, 1, 1), (\alpha_1, \alpha_2, \alpha_3) = (4, 1, 1)$, where $5 + 17 = 22$).
    Therefore, $e(H) \geq 24$ **uniquely forces $u = 0$, $r_{\text{even}} = 0$, $q = 2$, $(c_1, c_2) = (11, 1)$, and $(\alpha_1, \alpha_2) = (5, 1)$**: $H = C_1 \sqcup \{v_0\}$ where $v_0$ is an isolated vertex of $H$ ($d_C(v_0) = 11$, so $C = \{v_0\} \vee \overline{C_1}$ has a universal apex $v_0$ and $\alpha(C) = 2$), and $C_1$ is an $11$-vertex triangle-free graph with $\alpha(C_1) = 5$, $\Delta(C_1) \leq 5$, $\nu(C_1) = 5$, and $e(C_1) = e(H) \in \{24, 25, 26\}$. Crucially, because $C = \{v_0\} \vee \overline{C_1}$, $C$ is $7$-vertex-critical if and only if $\overline{C_1}$ is $6$-vertex-critical; since $\chi(\overline{C_1} - w) = 10 - \nu(C_1 - w)$, $\overline{C_1}$ is $6$-vertex-critical if and only if $\nu(C_1 - w) = 5$ for every $w \in V(C_1)$, i.e., **$C_1$ is factor-critical**. Let $I = \{0, \ldots, 4\}$ be a $5$-independent set of $C_1$ and $R = C_1 - I = \{5, \ldots, 10\}$ ($|V(R)| = 6$). Since $\Delta(C_1) \leq 5$, $e_{C_1}(I, R) \leq 25$ and $e_{C_1}(I, R) + 2e(R) \leq 30$. Subtracting $e_{C_1}(I, R) + e(R) = e(C_1) \geq 24$ gives $1 \leq e(R) \leq 30 - e(C_1) \leq 6$ and $e_{C_1}(I, R) \geq 24 - e(R) \geq 18$. Exhaustive enumeration of all $6$-vertex triangle-free graphs $R$ with $1 \leq e(R) \leq 6$ and all $S_5$-canonical neighborhood assignments $(N_I(v))_{v \in V(R)}$ satisfying $\Delta(C_1) \leq 5$, triangle-freeness, and $\alpha(C_1) = 5$ (`verify_triangle_free_complement_classification()` in `src/check_k7free_all_B.py`, $9.5\text{ s}$) yields **$389$ $S_5$-canonical realizations** with $e(C_1) \geq 24$ (including $63$ with $e(C_1) \geq 25$), which collapse under isomorphism to **$28$ non-isomorphic $11$-vertex factor-critical triangle-free graphs $C_1^{(1)}, \ldots, C_1^{(28)}$** (`RAW_28_GRAPHS` in `src/check_k7free_all_B.py`: $20$ graphs with $e(C_1) = 24, e(C) = 42$; $6$ graphs with $e(C_1) = 25, e(C) = 41$; and $2$ graphs with $e(C_1) = 26, e(C) = 40$). In $27$ of the $28$ graphs, $V(C_1^{(g)}) = \{v_5\} \sqcup I \sqcup J$ partitions into two disjoint $5$-independent sets $I, J$ and a vertex $v_5$ (while the $28$th graph has $\delta(C_1^{(28)}) = 4 \iff \Delta(\overline{C_1^{(28)}}) = 6$, so every vertex $u \in V(C_1^{(28)})$ has $d_C(u) \in \{6, 7\}$), and by factor-criticality every vertex $w \in V(C_1^{(g)})$ is left uncovered by a non-empty family of $5$-matchings $M$ of $C_1^{(g)} - w$. Running `check_tf_8graphs_on_sols()` in `src/check_k7free_all_B.py` across all $28$ graphs at $B = 0$ ($e(C_1) \geq 24$), the $8$ graphs at $B = 1$ ($e(C_1) \geq 25$), and the $2$ graphs at $B = 2$ ($e(C_1) = 26$) across all $29$ balanced orbits confirms **`0` survivors** (`tf_surv = 0`).
  - *Step A2 ($\omega(H) = 3$: $H$ Contains a Triangle $T$, and $Q_9 = C - T$ Contains $K_6$):* Now suppose $\alpha(C) = 3$, so $H$ contains a triangle $T = \{w_0, w_1, w_2\}$. Removing $T$ from $C$ leaves a $9$-vertex graph $Q_9 = C - T$ with $\chi(Q_9) \geq \chi(C) - 1 \geq 6$ and $\omega(Q_9) \leq 6$. Suppose for contradiction that $\omega(Q_9) \leq 5$. Then $Q_9$ contains a $6$-critical subgraph $R \subseteq Q_9$ of order $r_R \in \{8, 9\}$ (since $\omega(R) \leq 5$ rules out $K_6$, and no $6$-critical graph on $7$ vertices exists). By Gallai's theorem [10] ($r_R \leq 9 < 2(6) - 2 = 10$), $R$ is a join $R_1 \vee R_2$ with $\chi(R_1) + \chi(R_2) = 6$:
    1. If $r_R = 8$, then $R \cong K_3 \vee C_5$ with $e(R) = 3 + 15 + 5 = 23$, so $e(H[R]) = \binom{8}{2} - 23 = 5$, and the $9$th vertex of $Q_9$ has $H$-degree $\leq \Delta(H) \leq 5$, giving $e(H[Q_9]) \leq 5 + 5 = 10$.
    2. If $r_R = 9$, then $R \cong K_2 \vee B_7$ where $B_7$ is a $4$-critical graph on $7$ vertices (note that $K_2 \vee C_7$ has $\chi = 5$, not $6$, and no $5$-critical graph on $6$ vertices exists). By Kostochka–Yancey [9], $e(B_7) \geq 11$, so $e(R) = 1 + 14 + e(B_7) \geq 26$ and $e(H[Q_9]) = \binom{9}{2} - e(Q_9) \leq 36 - 26 = 10$.
    In both cases, since $\Delta(H) \leq 5$ implies $d_{H, Q_9}(w) \leq 5 - 2 = 3$ for each $w \in T$, we obtain $e(H) = e(H[T]) + e_H(T, Q_9) + e(H[Q_9]) \leq 3 + 9 + 10 = 22 < 24$, a contradiction.
  - *Step A3 (Exact Decomposition on $V(H) = T \sqcup K_6 \sqcup S$ and $S_6$-Reduced Exhaustive Verification Across $e(H) \geq 24$):* Thus $Q_9$ contains a $6$-clique $K_6 = \{0, \ldots, 5\}$ of $C$ ($e(H[K_6]) = 0$), and $V(H) = T \sqcup K_6 \sqcup S$ where $T = \{w_0, w_1, w_2\}$ ($e(H[T]) = 3$) and $S = \{s_0, s_1, s_2\}$ ($|S| = 3$). Because $\omega(C) \leq 6$, every vertex $v \in T \cup S$ must have at least one $H$-neighbor in $K_6$ ($d_{H, K_6}(v) \geq 1$), and because $\Delta(H) \leq 5$, we have $d_{H, K_6}(w) \leq 3 - d_{H, S}(w)$ for $w \in T$, $d_{H, K_6}(s) \leq 5 - d_{H, T \cup S}(s)$ for $s \in S$, and $d_H(k) \leq 5$ for all $k \in K_6$. Summing over $T \cup S$ gives the exact deficit identity $\sum_{v \in T \cup S} (5 - d_H(v)) + e_H(T, S) + e(H[S]) = 27 - e(H) \leq 3$. Fixing $t_0 = (1 \ll d_{t_0}) - 1$ and canonicalizing $t_1$ under $S_{d_{t_0}} \times S_{6 - d_{t_0}}$, `src/check_k7free_all_B.py` (`24.7\text{ s}`) tests all **$100{,}725{,}263$ $S_6$-reduced configurations** (representing $9{,}200{,}913{,}350$ labelled configurations, including the $11{,}094{,}069$ $S_6$-reduced / $1{,}075{,}714{,}680$ labelled configurations with $e(H) \geq 25$) and confirms that **$100\%$ extend the $6$-coloring of $K_6$ to $T \cup S$ (`0` non-$6$-colorable realizations)**.
- **Part B ($r_Q \in \{9, 10, 11\}$):** Notice that while abstract disconnected or low-degree $12$-vertex graphs containing $K_4 \vee C_5$ exist when boundary coupling is ignored (for example, $(K_4 \vee C_5) \sqcup K_3$ has $\delta(C) = 2, e(C) = 34$, and joining $K_3$ to $2$ vertices of $K_4$ gives $\delta(C) = 4, e(C) = 40$), in $G = X \cup C$ every core vertex $v \in V(C)$ obeys the boundary degree and coloring constraints. Specifically, for $r_Q = 12 - k$ ($k = |V(C) \setminus V(Q)| \in \{1, 2, 3\}$), write $R_k = V(C) \setminus V(Q)$. Since $R_k$ has at most $\binom{k}{2}$ internal edges, $e(C) = e(Q) + \sum_{u \in R_k} d_C(u) - e(C[R_k]) \geq e(Q) - \binom{k}{2} + \sum_{i=1}^k d_{(i)}$. By Gallai's theorem [10], any $7$-critical graph $Q$ of order $r_Q \leq 11 < 2(7) - 2$ is a join $Q_1 \vee Q_2$ with $\chi(Q_1) + \chi(Q_2) = 7$:
  - For $r_Q = 9$ ($k = 3, \binom{3}{2} = 3$): since $\omega(Q) \leq 6$ and the smallest $c$-critical graph not a clique is $C_5$ ($c = 3, n = 5$), $Q = K_4 \vee C_5$ with $e(Q) = 6 + 20 + 5 = 31$, giving $e(C) \geq 31 - 3 + d_{(1)} + d_{(2)} + d_{(3)} = 28 + d_{(1)} + d_{(2)} + d_{(3)}$.
  - For $r_Q = 10$ ($k = 2, \binom{2}{2} = 1$): $Q = K_3 \vee H_7$ where $H_7$ is $4$-critical on $7$ vertices ($e(H_7) \geq 11$ by Kostochka–Yancey [9], so $e(Q) \geq 3 + 21 + 11 = 35$; note that $C_5 \vee C_5$ has $\chi = 6$, not $7$), giving $e(C) \geq 35 - 1 + d_{(1)} + d_{(2)} = 34 + d_{(1)} + d_{(2)}$.
  - For $r_Q = 11$ ($k = 1, \binom{1}{2} = 0$): $Q \in \{K_4 \vee C_7,\, K_3 \vee H_8,\, K_2 \vee H_9,\, C_5 \vee H_6\}$ where $e(K_4 \vee C_7) = 6 + 28 + 7 = 41$, $e(K_3 \vee H_8) \geq 3 + 24 + 12 = 39$, $e(K_2 \vee H_9) \geq 1 + 18 + 19 = 38$, and $e(C_5 \vee H_6) = 5 + 30 + 9 = 44$, so $e(Q) \geq 38$ and $e(C) \geq 38 + d_{(1)}$.
  Furthermore, if $c : V(C) \to \{1, \ldots, 7\}$ is any proper $7$-coloring of $C$ with color classes $\mathcal{P} = \{P_1, \ldots, P_7\} \in \mathcal{P}_{\text{bad}}$ (failing to extend to $G$):
  1. If $P_s = \{u\}$ is a singleton color class, then $u$ must have at least one neighbor in $C$ in **each** of the other $6$ color classes $P_t$ ($t \neq s$); otherwise re-coloring $u$ into a color $t$ absent from $N_C(u)$ eliminates color $s$ altogether and produces a proper **$6$-coloring** of $C$, contradicting $\chi(C) = 7$! Thus $d_C(u) \geq 6$ for every singleton class $P_s = \{u\}$.
  2. If $|P_s| \geq 2$ and $u \in P_s$, then for each $t \neq s$ such that moving $u$ to $P_t$ yields a partition $\mathcal{P}^{(u \to t)} \notin \mathcal{P}_{\text{bad}}$, $u$ must be adjacent in $C$ to at least one vertex of $P_t$ (otherwise $\mathcal{P}^{(u \to t)}$ would be a proper $7$-coloring of $C$ that extends to a $9$-coloring of $G$).
  3. At $r_Q = 9$ ($Q = K_4 \vee C_5 = A_4 \vee W_5$, where $A_4 = \{a_0, a_1, a_2, a_3\}$ is a $4$-clique and $W_5 = (w_0, w_1, w_2, w_3, w_4)$ is ordered along the **complement $5$-cycle $\overline{C_5}$** so that consecutive pairs $\{w_{k+1}, w_{k+2}\}$ and $\{w_{k+3}, w_{k+4}\}$ are non-edges of $Q$, i.e., independent sets of $C_5$), once $r_Q \in \{10, 11\}$ are excluded ($e(C) < \min(34 + d_{(1)} + d_{(2)}, 38 + d_{(1)})$), any surviving multiset on $C = Q \sqcup R_3$ ($R_3 = \{u_0, u_1, u_2\}$) has $\delta(C) \geq 4$ and $e(C) \leq 41$, so $\sum_{u \in R_3} d_C(u) \leq 41 - 31 + 3 = 13$ and $\max_{u \in R_3} d_C(u) \leq 13 - 4 - 4 = 5 < 7$ (hence any $7$-coloring of $Q$—even after prescribing a permissible color on one vertex of $R_3$—extends greedily to $R_3$ unless explicitly blocked by core edges). Specifically, $Q$ admits **five canonical $7$-colorings** $\mathcal{P}_k(Q) = \{\{a_0\}, \{a_1\}, \{a_2\}, \{a_3\}, \{w_k\}, \{w_{k+1}, w_{k+2}\}, \{w_{k+3}, w_{k+4}\}\}$ ($k \in \mathbb{Z}_5$). For $C = Q \sqcup R_3$ to satisfy $\omega(C) \leq 6$ and have no extending $7$-coloring, for each $k \in \mathbb{Z}_5$ at least one placement $(j_0, j_1, j_2) \in \{0, \ldots, 6\}^3$ of $R_3$ into $\mathcal{P}_k(Q)$ must lie in $\mathcal{P}_{\text{bad}}$, and each $u_r \in R_3$ must have a $Q$-neighbor in every class $j \notin \operatorname{Bad}_k(u_r)$ while satisfying $\omega(Q[N_Q(u_r)]) \leq 5$ (`valid_k4c5_with_r3()`).
  Running `verify_proper_7critical_subgraphs_rQ_9_10_11()` in `src/check_k7free_all_B.py` across all $29$ balanced orbits and `src/check_001_k7free.py` across all $39$ first-slack unbalanced `(0, 0, 1)` orbits confirms **`0` surviving multisets** (`recol_surv = 0, tf_surv = 0`). $\square$


---

## 6. Balanced & First-Slack Unbalanced Orbit Closure, the $H_{16}$ Near-Miss Dissection, and the Order-$23$ Split Obstruction

### 6.1 Complete Verification Ledger Across All $29$ Balanced Orbits and All $39$ Unbalanced `(0, 0, 1)` Orbits

Under the $t = 18$ branch hypothesis ($G - S$ is $9$-vertex-critical for every independent triple $S \subseteq V(G)$), Theorem 1(1) gives $e(X, C) = 72 - e(G[X]) + B_{\triangle} + \sum_{x \in X} \varepsilon_x = 72 - e(G[X]) + B$. On the $3$ minimum-slack-zero balanced boundary graphs $t \in \{0, 1, 2\}$ ($e(G[X]) = 9 + 3t \in \{9, 12, 15\}$), we have $e(X, C) = 63 - 3t + B \in \{63 + B, 60 + B, 57 + B\}$, while on `G15_A = (87, 87, 283)` and `G15_B = (94, 94, 283)` ($e(G[X]) = 15, B = 1$), $e(X, C) = 57 + 1 = 58$. Combining the $26$ orbits on $t \in \{0, 1, 2\}$ ($3$ at $B = 0$, $5$ at $B = 1$, and $18$ at $B = 2$) with the $3$ $B = 1$ orbits on `G15_A` and `G15_B` gives **$29$ balanced boundary-slack orbits**:
- **$B = 0$ ($e(X, C) = 63 - 3t \in \{57, 60, 63\}, e(C) \leq 42$, covering $100\%$ ($3/3$) of $(\eta, 0, 0)$ for all $\eta \geq 0$):** $3$ orbits ($t = 0, 1, 2$; at $t = 2$, `src/check_t2_exact42.py` explicitly verifies both the $21$ zero-extra-edge $e(C) = 41$ base realizations—$18$ extending via cross-pairings and $3$ failing uniform $9$-vertex-criticality of $G - S$—and all $1$-extra-edge $e(C) = 42$ realizations).
- **$B = 1$ ($e(X, C) = 73 - e(G[X]) \in \{58, 61, 64\}, e(C) \leq 41$, covering $100\%$ ($8/8$) of $(\eta, 1, 0)$ for all $\eta \geq 0$):** $8$ order-$1296$ orbits ($5$ $\operatorname{Aut}(G[X])$-orbits on $t \in \{0, 1, 2\}$ plus $3$ orbits on `G15_A` and `G15_B`).
- **$B = 2$ on $s_{\min}(G[X]) = 0$ ($e(X, C) = 65 - 3t \in \{59, 62, 65\}, e(C) \leq 40$, across all $\eta \geq 0$):** $18$ $\operatorname{Aut}(G[X])$-orbits ($8$ at $t = 2$, $7$ at $t = 1$, $3$ at $t = 0$).
- **First-Slack Unbalanced `(0, 0, 1)` Boundary ($\eta = 0, \sum \varepsilon_x = 0, B_{\triangle} = 1, e(C) \leq 41$):** Among the $182$ orbits of $G[X]$ with $B_{\triangle} = 1$, exactly **$39$ order-$1296$ orbits** ($38{,}556$ labelled boundaries), indexed `Reps 0..38` sorted by `(e(G[X]), m01, m02, m12)` (`get_001_representatives()` in `src/check_001_k7free.py`, `src/check_001_chi8.py`, and `src/check_001_k7.py`, where zero-based `Rep 12`, i.e., `Orbit #13`, is `(85, 227, 227)` with $e(G[X]) = 14$), satisfy $\delta(G) \geq 9$, $\delta(G - T) \geq 8$, Gallai's bipartite degree-$8$ forest condition, and $e(G - S_i) \geq 76$ at $\varepsilon = 0$. On `Rep 12 = (85, 227, 227)`, $G[X] = T \sqcup O$ is disconnected: $T = \{1, 4, 8\}$ is an isolated triangle of degree-$9$ vertices ($d_G = 9, d_C = 7$), and $O = \{0, 2, 3, 5, 6, 7\} \cong K_{2,2,2} - (2, 5)$ is an octahedron minus one edge of degree-$10$ vertices ($d_G = 10$), giving a full automorphism group $\operatorname{Aut}(G[X], d_G) = S_3(T) \times \operatorname{Aut}(G[O])$ of order $6 \times 4 = 24$, and forcing every surviving pattern $Y_v$ with $Y_v \cap O \subsetneq O$ to satisfy either $T \subseteq Y_v$ (`Type A`) or $Y_v \cap T = \emptyset$ (`Type B`). Combining:
  1. the **Total Forced-Degree Identity** $D_C(v) = \max(\operatorname{min\_dc}(v), F_C(v)) \implies \sum_{u \in R_C} D_C(u) \leq 13 + e(R_4) \leq 19$;
  2. the **Core Independent-Triple Degree Lemma** (for any $x \in X$ with $d_G(x) = 9$, at most $1$ vertex of any independent triple $S \subseteq C$ can lie in $N_C(x)$, and for $d_G(x) = 10$, at most $2$ vertices of $S$ can lie in $N_C(x)$; thus any pair $\{u_i, u_j\} \subseteq R_4$ with $(u_i, u_j) \notin E(R_4)$ that violates this bound with $q \in K_8$ forces $(u_i, q) \in E(C)$ or $(u_j, q) \in E(C)$);
  3. **Lossless Color-Sharing Dirty-Bit Masks** ($\operatorname{dirty}[i][q] = 0$ whenever $M_X(q) \subseteq M_X(u_i)$) and **64-Bit Packed $q_0$-Hoisted Hall Supermask Pruning**;
  4. the **Order-$24$ $(T \sqcup O)$-Decomposition** on `Rep 12 = (85, 227, 227)` ($23{,}717$ $O$-multisets $\to 6{,}092$ $\operatorname{Aut}(G[O])$-canonical $O$-multisets $\to 780{,}893$ $\operatorname{Aut}(G[X], d_G)$-reduced $12$-multisets $\to 161{,}976$ degree survivors $\to 2{,}378{,}539$ splits $\to 162{,}140$ $R_4$-degree survivors $\to 27$ $m_3$-survivors $\to 0$ survivors in $97.5\text{ s}$ across $5$ workers, or $167\text{ s}$ on $1$ worker, using the conservative `all_u3_clean` predicate); and
  5. **Four-Tier Exact Closure of $\chi(C) = 7, K_7 \subseteq C$ Across All $39/39$ `(0, 0, 1)` Orbits** (`src/check_001_k7.py`, `src/check_001_rep3.py`, and `src/check_001_rep12.py`):
     - *Tier 1 ($9$ orbits: `Reps 28..33, 35, 36, 38`)*: $\operatorname{deg6\_X} = \{x \in X : d_C(x) \leq 6\}$ already contains an independent odd-cycle transversal of $G[X]$ (`|min_zms| = 0`), so by Lemma 1(3) every proper $7$-coloring of $C$ extends to $G$ ($0$ valid $7$-partitions).
     - *Tier 2 ($6$ orbits: `Reps 21, 24, 25, 26, 34, 37`)*: our **$45$-Bit SWAR Meet-in-the-Middle Direct $7$-Partition Solver** (packing the $9$ vertex neighborhood counts $|N_{I_s}(x)| \in \{0, 1, 2, 3\}$ into $9 \times 5 = 45$ bits of a single integer with `OVERFLOW_MASK` for $\alpha(G) = 3, \delta(G - S) \geq 8$, and `DEG7_MULT_MASK` / `DEG8_MULT_MASK` for Lemma 1(1,2) multiplicity increments) proves in $< 4\text{ s}$ per orbit that `0` valid non-extending $7$-partitions exist.
     - *Tier 3 ($19$ non-split orbits: `16` via $45$-Bit SWAR MITM $7$-Parts + Stage 1/2/3 on `Reps 4..9, 11, 14, 15, 17..20, 22, 23, 27`, and `3` via Bell-Partition $7$-Parts + Stage 1/2/3 on `Reps 10, 13, 16`)*: all $34$ non-split orbits (`Tiers 1–3`) finish in **$57.2\text{ s}$** across $5$ workers (`src/check_001_k7.py`), reducing $97{,}207$ $7$-partition survivors $\to 1{,}008{,}915$ splits $\to 135$ Stage 1 survivors $\to 52$ Stage 2 survivors $\to 0$ Stage 3 survivors.
     - *Tier 4 ($5$ split orbits: `Reps 0, 1, 2, 3, 12`)*: observing that every core/boundary constraint depends solely on $(G[X], d_G)$ and not on the tripartite partition $X = S_1 \sqcup S_2 \sqcup S_3$, we compute the **full symmetry group $\operatorname{Aut}(G[X], d_G) \leq S_9$** (`|Aut| = 48, 24, 12, 12, 24` on `Reps 0, 1, 2, 3, 12`, using the $(T \sqcup O)$ canonical decomposition on `Rep 12`), enforce the exact mixed-triple degree lower bounds $d_C(v_1) \geq \operatorname{edge\_min\_dc}(v_1, v_2) - 1_{\{v_1 \not\sim v_2\}}$ across all vertex pairs in $C$ (where $\operatorname{edge\_min\_dc}(v_1, v_2) = \max_{P \subseteq M_X(v_2),\, |P|=2,\, \alpha(G[P])=2} (9 - |Y_{v_1} \setminus P|)$ from independent triples $S = \{v_2\} \cup P \subseteq V(G) \setminus \{v_1\}$), and run our Stage 1/2/3 Kempe Forced-Bit solver (`src/check_001_rep3.py` and `src/check_001_rep12.py`) across $100\%$ of all valid multisets, reducing $911{,}495$ canonical multisets $\to 76{,}814{,}135$ splits $\to 40{,}883$ Stage 1 survivors $\to 4{,}741$ Stage 2 survivors $\to 0$ Stage 3 survivors,
  we close **100% ($39/39$) of the first-slack unbalanced `(0, 0, 1)` orbits across all $\chi(C) \in \{7, 8\}$**: all $39/39$ $K_7$-free $\chi(C) = 7, \omega(C) \leq 6$ orbits (`src/check_001_k7free.py`, $138.9\text{ s}$), all $39/39$ $\chi(C) = 8$ ($K_8 \subseteq C$) orbits (`src/check_001_chi8.py` and `src/verify_rep12_chi8.py`), and all $39/39$ $\chi(C) = 7, K_7 \subseteq C$ orbits (`src/check_001_k7.py`, `src/check_001_rep3.py`, and `src/check_001_rep12.py`).

**Theorem 4 (Complete Closure of All $29$ Balanced Orbits and $100\%$ ($39/39$) Closure of the First-Slack Unbalanced `(0, 0, 1)` Boundary Across All $\chi(C) \in \{7, 8\}$).** *Across all $29$ balanced boundary-slack orbits ($B_{\triangle} = 0$, covering all $3/3$ orbits at $B = 0$, all $8/8$ orbits at $B = 1$, and all $18$ minimum-slack-zero orbits at $B = 2$) and all $\eta \geq 0$ ($e(C) \leq 42 - B$), and across **all $39/39$ first-slack unbalanced `(0, 0, 1)` boundary orbits** ($B_{\triangle} = 1, \sum \varepsilon_x = 0, e(C) \leq 41$), there exist **zero** biplanar graphs $G$ of order $21$ with $\chi(G) \geq 10, \omega(G) \leq 8, \alpha(G) = 3, \delta(G) \geq 9$, and $G - S$ $9$-vertex-critical for all independent triples $S \subseteq V(G)$ (moreover, on all $28$ balanced orbits other than $t = 2, B = 0$ and on all $39$ unbalanced `(0, 0, 1)` orbits, the weaker minimum-degree hypothesis $\delta(G - S) \geq 8$ for all independent triples $S \subseteq V(G)$ already suffices).*

Table 2 summarizes the complete verification across all $29$ balanced orbits and all $39$ unbalanced `(0, 0, 1)` orbits:

| Branch / Orbit Class | Orbits | $\chi(C) = 8$ ($K_8 \subseteq C$) | $\chi(C) = 7, \omega(C) \leq 6$ ($K_7$-free) | $\chi(C) = 7, K_7 \subseteq C$ (`splits` $\to$ `s1` $\to$ `s2` $\to$ `s3_chi10` $\to$ `s3_bip`) |
|---|---:|---|---|---|
| $B = 0, t = 2$ ($e(C) \leq 42$) | $1$ | `0` (`fast_check_chi8.py`) | `0` (`check_t2_exact42.py`, Thm 3) | $1{,}318$ msets $\to 34$ CCM $\to$ `0` (`check_t2_exact42.py`, $0.8\text{ s}$) |
| $B = 0, t = 1$ ($e(C) \leq 42$) | $1$ | `0` (`fast_check_chi8.py`) | `0` (Theorem 3, $0.1\text{ s}$) | $61{,}677 \to 3{,}902 \to 1{,}014 \to 0 \to$ **`0`** (`check_t1_k7_stage2.py`, $78.3\text{ s}$) |
| $B = 0, t = 0$ ($e(C) \leq 42$) | $1$ | `0` (`fast_check_chi8.py`) | `0` (Theorem 3, `check_t0_k7free.py`, $18.7\text{ s}$) | $656{,}510 \to 22{,}811 \to 1{,}388 \to 0 \to$ **`0`** (`check_t0_k7.py`, $295\text{ s}$) |
| $B = 1, t = 2$: `high eps[0]=1` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $1.13\text{ s}$) | $983 \to 5 \to 5 \to$ **`3`** $\to$ **`0`** (`check_k7_all_B.py`, $2.41\text{ s}$) |
| $B = 1, t = 2$: `low eps[2]=1` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $1.93\text{ s}$) | $753 \to 19 \to 3 \to$ **`3`** $\to$ **`0`** (`check_k7_all_B.py`, $12.33\text{ s}$) |
| $B = 1$, `G15_A (87,87,283): eps[3]=1` | $1$ | `0` (`check_chi8_all_B.py`, $41.5\text{ s}$) | `0` (Theorem 3, $4.64\text{ s}$) | $3{,}437 \to 28 \to 4 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $9.60\text{ s}$) |
| $B = 1$, `G15_B (94,94,283): eps[3]=1` | $1$ | `0` (`check_chi8_all_B.py`, $8.8\text{ s}$) | `0` (Theorem 3, $3.49\text{ s}$) | $2{,}504 \to 0 \to 0 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $24.79\text{ s}$) |
| $B = 1$, `G15_B (94,94,283): eps[4]=1` | $1$ | `0` (`check_chi8_all_B.py`, $14.6\text{ s}$) | `0` (Theorem 3, $5.41\text{ s}$) | $3{,}075 \to 0 \to 0 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $24.30\text{ s}$) |
| $B = 2, t = 2$: All $8$ orbits | $8$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $98.4\text{ s}$) | $127{,}727 \to 0 \to 0 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $327.9\text{ s}$) |
| $B = 1, t = 1$: `high eps[0]=1` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $1.36\text{ s}$) | $454{,}116 \to 258 \to 12 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $186.1\text{ s}$) |
| $B = 1, t = 1$: `low eps[3]=1` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $1.40\text{ s}$) | $380{,}797 \to 295 \to 0 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $169.7\text{ s}$) |
| $B = 2, t = 1$: `high eps[0]=2` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $2.06\text{ s}$) | $839{,}323 \to 0 \to 0 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $252.3\text{ s}$) |
| $B = 2, t = 1$: `high eps[0]=eps[4]=1` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $5.60\text{ s}$) | $2{,}528{,}276 \to 2{,}366 \to 10 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $308.9\text{ s}$) |
| $B = 2, t = 1$: `high[0]=1, low[3]=1 (same Q)` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $8.46\text{ s}$) | $2{,}261{,}993 \to 802 \to 2 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $282.1\text{ s}$) |
| $B = 2, t = 1$: `high[0]=1, low[1]=1 (diff Q)` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $8.05\text{ s}$) | $1{,}862{,}615 \to 149 \to 5 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $228.7\text{ s}$) |
| $B = 2, t = 1$: `low eps[3]=2` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $1.82\text{ s}$) | $332{,}777 \to 0 \to 0 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $48.9\text{ s}$) |
| $B = 2, t = 1$: `low eps[3]=eps[6]=1 (same L)` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $20.4\text{ s}$) | $2{,}472{,}808 \to 0 \to 0 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $736.1\text{ s}$) |
| $B = 2, t = 1$: `low eps[3]=eps[1]=1 (diff L)` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $8.49\text{ s}$) | $1{,}077{,}231 \to 0 \to 0 \to 0 \to$ **`0`** (`check_k7_all_B.py`, $135.5\text{ s}$) |
| $B = 1, t = 0$: `eps[0]=1` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $0.56\text{ s}$) | $1{,}413{,}936 \to 52{,}757 \to 3{,}698 \to 0 \to$ **`0`** (`check_t0_k7_all_B.py`, $1710.8\text{ s}$) |
| $B = 2, t = 0$: `eps[0]=2` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $0.64\text{ s}$) | $1{,}635{,}707 \to 25{,}787 \to 0 \to 0 \to$ **`0`** (`check_t0_k7_all_B.py`, $887.5\text{ s}$) |
| $B = 2, t = 0$: `eps[0]=eps[3]=1 (same Q)` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $3.20\text{ s}$) | $9{,}470{,}914 \to 146{,}491 \to 0 \to 0 \to$ **`0`** (`check_t0_k7_all_B.py`, $4\times 1290\text{ s}$) |
| $B = 2, t = 0$: `eps[0]=eps[1]=1 (diff Q)` | $1$ | `0` (`check_chi8_all_B.py`) | `0` (Theorem 3, $2.78\text{ s}$) | $6{,}673{,}068 \to 87{,}242 \to 0 \to 0 \to$ **`0`** (`check_t0_k7_all_B.py`, $2375.3\text{ s}$) |
| Unbalanced `(0,0,1)`: $34$ non-split orbits (`Reps 4..11, 13..38`) | $34$ | **`0`** (`check_001_chi8.py`) | **`0`** (`check_001_k7free.py`) | $97{,}207$ 7-parts $\to 1{,}008{,}915 \to 135 \to 52 \to 0 \to$ **`0`** (`check_001_k7.py`, $57.2\text{ s}$) |
| Unbalanced `(0,0,1)`: `Rep 0 (84,84,275)` (`|Aut|=48`) | $1$ | **`0`** (`check_001_chi8.py`) | **`0`** (`check_001_k7free.py`) | $2{,}322$ canon $\to 369{,}729 \to 13{,}502 \to 599 \to 0 \to$ **`0`** (`check_001_rep3.py`, $26.4\text{ s}$) |
| Unbalanced `(0,0,1)`: `Rep 1 (84,85,337)` (`|Aut|=24`) | $1$ | **`0`** (`check_001_chi8.py`) | **`0`** (`check_001_k7free.py`) | $8{,}772$ canon $\to 868{,}534 \to 7{,}105 \to 345 \to 0 \to$ **`0`** (`check_001_rep3.py`, $43.4\text{ s}$) |
| Unbalanced `(0,0,1)`: `Rep 2 (85,85,277)` (`|Aut|=12`) | $1$ | **`0`** (`check_001_chi8.py`) | **`0`** (`check_001_k7free.py`) | $16{,}637$ canon $\to 1{,}245{,}206 \to 421 \to 187 \to 0 \to$ **`0`** (`check_001_rep3.py`, $31.3\text{ s}$) |
| Unbalanced `(0,0,1)`: `Rep 3 (85,85,341)` (`|Aut|=12`) | $1$ | **`0`** (`check_001_chi8.py`) | **`0`** (`check_001_k7free.py`) | $102{,}871$ canon $\to 5{,}570{,}509 \to 6{,}497 \to 728 \to 0 \to$ **`0`** (`check_001_rep3.py`, $142.3\text{ s}$) |
| Unbalanced `(0,0,1)`: `Rep 12 (85,227,227)` (`|Aut|=24`) | $1$ | **`0`** (`verify_rep12_chi8.py`, $97.5\text{ s}$) | **`0`** (`check_001_k7free.py`) | $780{,}893$ canon $\to 68{,}760{,}157 \to 13{,}358 \to 2{,}882 \to 0 \to$ **`0`** (`check_001_rep12.py`, $1593.9\text{ s}$) |
| **Unbalanced `(0, 0, 1)` Total ($B_{\triangle} = 1, e(C) \leq 41$)** | **$39$** | **`0` across all $39/39$ orbits** | **`0` across all $39/39$ orbits** ($138.9\text{ s}$) | **$1{,}008{,}702 \to 77{,}823{,}050 \to 41{,}018 \to 4{,}793 \to 0 \to$ `0` across all $39/39$ orbits** |

### 6.2 The $6$ Explicit $21$-Vertex $10$-Chromatic Pre-Euler Survivors and Their $16$-Vertex $9$-Critical Core $H_{16}$

A striking phenomenon appears in Table 2 at $t = 2, B = 1$ ($\chi(C) = 7, K_7 \subseteq C$): unlike $\chi(C) = 8$ (where the Level-1 local constraints $\delta(G - S) \geq 8$, $K_9$-freeness, and $\alpha(G) = 3$ alone are unsatisfiable), at $\chi(C) = 7, t = 2, B = 1$ there exist **$6$ explicit $21$-vertex, $114$-edge, $10$-vertex-critical graphs** $G_1, \ldots, G_6$ (`3` for `high eps[0]=1` and `3` for `low eps[2]=1`, verified in $3.1\text{ s}$ by `src/verify_t18_paper.py`) that satisfy **every** Level-1 local minimum-degree and coloring constraint:
- $|V(G_i)| = 21$, $|E(G_i)| = 114 = 6(21) - 12$, and $\chi(G_i) = 10$ with $\chi(G_i - v) = 9$ for all $21$ vertices $v \in V(G_i)$;
- $\delta(G_i) = 9$, $\alpha(G_i) = 3$, $\omega(G_i) = 8$ ($K_9$-free), and $\delta(G_i - S) \geq 8$ for every independent triple $S \subseteq V(G_i)$ ($45$ to $48$ independent triples, each dominating $G_i$).

For example, Survivor $G_1$ (`high eps[0]=1`, `graph6`: `TCpeiQkZZZlnZ^z^qOCc@c_MQ?{c@|r~|v^~`) is given by the $21$-integer adjacency bitmask array (vertices $0, \ldots, 8$ in $X = Q_1 \sqcup Q_2 \sqcup Q_3$ with $Q_1 = \{0, 3, 6\}, Q_2 = \{1, 4, 7\}, Q_3 = \{2, 5, 8\}$ and transversal triangles $T_1 = \{0, 4, 8\}, T_2 = \{1, 5, 6\}$; vertices $9, \ldots, 20$ in $C$):

```python
adj = [
    1040728, 1064688, 1589024, 2080833, 540547, 1064774, 1556523,
    1588754, 540213, 1588662, 1588150, 1587126, 1585078, 1580983,
    2064457, 2048073, 2015305, 1949769, 1818697, 1572765, 1048302,
]
```

These $6$ graphs demonstrate the **insufficiency of the weaker Level-1 constraints ($\delta(G - S) \geq 8$ for all independent triples $S$) without hereditary Euler cuts**, rather than uniform $9$-vertex-criticality of $G - S$:
- **Double-Apex Core and $13$-Vertex Hereditary Euler Violation:** The $12$-vertex core $C = \{9, \ldots, 20\}$ of $G_1$ is the $41$-edge join $C = (K_5^{(1)} \sqcup K_5^{(2)}) \vee K_2$ ($K_5^{(1)} = \{9, \ldots, 13\}, K_5^{(2)} = \{14, \ldots, 18\}, K_2 = \{19, 20\}$). On the $13$-vertex induced subgraph $W = (Q_2 \cup Q_3) \cup K_7^{(1)} = \{1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13, 19, 20\}$, the edge count is
  $$
  e(G_1[W]) = e(G_1[Q_2 \cup Q_3]) + e(Q_2 \cup Q_3, K_7^{(1)}) + e(K_7^{(1)}) = 9 + 37 + 21 = 67 > 66 = 6(13) - 12,
  $$
  violating the $13$-vertex hereditary Euler inequality by $1$ edge. Enforcing $\sum_{q \in K_7'} |Y_q \cap X_0| \leq 6|X_0| + 9 - e(G[X_0])$ across all $X_0 \subseteq X$ ($|X_0| \in \{5, \ldots, 9\}$) eliminates all $6$ pre-Euler survivors.
- **Presence of a $16$-Vertex $9$-Vertex-Critical Subcore $H_{16} \subset G_1 - S$:** Although $G_1$ satisfies $\delta(G_1 - S) \geq 8$ for all $45$ independent triples $S$, for the independent triple $S = \{0, 2, 7\} \subset X$, the $18$-vertex graph $G_1 - S$ is **not** $9$-vertex-critical: deleting the two additional boundary vertices $\{4, 8\} \subset X$ from $G_1 - \{0, 2, 7\}$ leaves the **$16$-vertex, $70$-edge, $9$-vertex-critical subgraph**
  $$
  H_{16} = G_1 - \{0, 2, 4, 7, 8\} = \{20\} \vee C_5\bigl[B_1, B_2, B_3, B_4, B_5\bigr] \cong K_1 \vee C_5[2, 5, 1, 6, 1],
  $$
  where $B_1 = \{1, 5\}$, $B_2 = \{9, 10, 11, 12, 13\}$, $B_3 = \{19\}$, $B_4 = \{3, 14, 15, 16, 17, 18\}$, and $B_5 = \{6\}$. Thus $G_1$ belongs to the $t(G_1) = 16$ critical-core stratum and contains a single-apex $C_5$-blow-up in the sense of Trivedi [16]. Crucially, $H_{16}$ itself satisfies **all** hereditary Euler bounds ($e(W) \leq 6|W| - 12$ for all $W \subseteq V(H_{16})$, with maximum excess $-3$).
- **Complementary Duality on the Single-Apex Cores ($C = \{v_0\} \vee \overline{C_1^{(g)}}$, Theorem 3 Part A(b)):** Conversely, when $K_9$-avoidance ($\omega(G) \leq 8$) is omitted on $C = \{v_0\} \vee \overline{C_1^{(1)}}$ at $t = 1, B = 1$ (`high eps[0]=1`), we obtain $21$-vertex, $114$-edge, $10$-chromatic graphs (`adj = [874328, 1288848, 1288992, 874049, 1288579, 1288964, 873993, 1288722, 1288245, 2096367, 873033, 1745846, 869961, 1739702, 857673, 1715126, 1333247, 1878966, 742985, 458313, 240566]`) with $\delta(G) = 9, \alpha(G) = 3, \delta(G - S) \geq 8$ that satisfy **every** hereditary Euler inequality ($\max_{|W|=13} e(G[W]) = 64 \leq 66$), and are refuted solely because $Q_1 \vee (\{v_0\} \cup I) = K_9$.

### 6.3 The Order-$23$ Euler-Complete Split Repair $G_{23}^*$ and Analytical Non-Biplanarity Proofs via $K_9 - e$, $M_{17}$, and $(K_7 - e) \vee C_5$

Why did attaching the $5$-vertex cap $W_5 = \{0, 2, 4, 7, 8\}$ to the Euler-valid $16$-vertex core $H_{16} = \{20\} \vee C_5[2, 5, 1, 6, 1]$ create the $13$-vertex Euler violation $e(G_1[W]) = 67 > 66$, and can vertex-splitting eliminate all hereditary Euler violations while preserving $\chi = 10$, $\alpha = 3$, and $\omega = 8$?

Dissecting $G_1 - (0, 13)$ ($113$ edges, still $10$-chromatic) reveals that $G_1 - (0, 13)$ is the union of **three copies of $H_{10} := K_{10} - 2K_2$** ($43$ edges each) coupled by two triangles:
1. $V_0^{(1)} = \{1, 4, 7, 19\} \vee \{9, 10, 11, 12, 13, 20\} \cong K_{10} - \{(1, 19), (4, 20)\}$,
2. $V_0^{(2)} = \{2, 5, 8, 19\} \vee \{9, 10, 11, 12, 13, 20\} \cong K_{10} - \{(5, 19), (8, 20)\}$,
3. $V_0^{(3)} = \{0, 3, 6, 19, 20, 14, 15, 16, 17, 18\} \cong K_{10} - \{(0, 20), (6, 19)\}$,
together with the coupling edges $(1, 5), (1, 6), (5, 6), (0, 4), (0, 8), (4, 8), (2, 7)$! The $13$-vertex Euler violation on $W = V_0^{(1)} \cup V_0^{(2)}$ ($13$ vertices, $67 > 66$ edges) occurs solely because $V_0^{(1)}$ and $V_0^{(2)}$ share the entire $5$-clique $B_2 = \{9, 10, 11, 12, 13\}$.

Splitting $s \in \{1, \ldots, 5\}$ vertices of $B_2 = \{9, 10, 11, 12, 13\}$ into $V^{(1)}$-copies (adjacent to $\{1, 4, 7\}$) and $V^{(2)}$-copies (adjacent to $\{2, 5, 8\}$) produces an order-$(21 + s)$ family $G_{21+s}^*$. At $s = 2$ (splitting $\{12, 13\}$ into $\{12, 13\} \subset V^{(1)}$ and $\{21, 22\} \subset V^{(2)}$, with $(12, 13) \in E(G_{23}^*[V^{(1)}])$ and $(21, 22) \in E(G_{23}^*[V^{(2)}])$, while $\{12, 13\}$ and $\{21, 22\}$ are mutually non-adjacent), we obtain the explicit $23$-vertex, $124$-edge graph $G_{23}^*$ (`graph6`: `VCpeiQkZZZlnQVQVqOCc@c_MQ?{c@|r~|v^~HN?XHwB_`), which is **Euler-complete** and built from three coupled $10$-vertex $K_{10} - 2K_2$ host blocks. We now establish its properties and prove three purely analytical (zero-computer) non-biplanarity theorems:

**Theorem 5 (Order-$23$ Euler-Complete $10$-Edge-Critical Split Graph $G_{23}^*$ and Analytical Non-Biplanarity Theorems via $K_9 - e$, $M_{17}$, and $(K_7 - e) \vee C_5$).**
1. *(Properties and Host Decomposition of $G_{23}^*$)* *The $23$-vertex, $124$-edge graph $G_{23}^*$ (`VCpeiQkZZZlnQVQVqOCc@c_MQ?{c@|r~|v^~HN?XHwB_`) is **$10$-edge-critical** ($\chi(G_{23}^*) = 10$ and $\chi(G_{23}^* - e) = 9$ for all $124$ edges $e \in E(G_{23}^*)$), with $\alpha(G_{23}^*) = 3$, $\omega(G_{23}^*) = 8$, and $\delta(G_{23}^*) = 9$, and contains the three $10$-vertex, $43$-edge induced $K_{10} - 2K_2$ host blocks*
   $$
   \begin{aligned}
   V^{(1)} &= \{1, 4, 7, 9, 10, 11, 12, 13, 19, 20\} \cong K_{10} - \{(1, 19), (4, 20)\}, \\
   V^{(2)} &= \{2, 5, 8, 9, 10, 11, 19, 20, 21, 22\} \cong K_{10} - \{(5, 19), (8, 20)\}, \\
   V^{(3)} &= \{0, 3, 6, 14, 15, 16, 17, 18, 19, 20\} \cong K_{10} - \{(0, 20), (6, 19)\}.
   \end{aligned}
   $$
   *Moreover, $G_{23}^*$ satisfies **every hereditary Euler inequality** $e(G_{23}^*[W]) \leq 6|W| - 12$ across all $2^{23}$ vertex subsets $W \subseteq V(G_{23}^*)$ ($3 \leq |W| \leq 23$, maximum excess $0$) and **every $10$-vertex subgraph $2K_2$-in-complement condition** ($\nu(\overline{G_{23}^*[W]}) \geq 2$ for all $\binom{23}{10} = 1{,}144{,}066$ $10$-subsets $W \subseteq V(G_{23}^*)$).*
2. *($K_9 - e$ Bridge Lemma & General $K_{10} - (E(K_{1, s}) \cup \{(v_1, v_2)\})$ Host Co-Faciality and Cut-Connectivity)* *In any biplanar decomposition $E(K_9 - (v_1, v_2)) = E_1 \sqcup E_2$ of $K_9 - e$ ($35$ edges), $v_1$ and $v_2$ cannot lie on a common face of $E_1$ or $E_2$, and $v_1$ and $v_2$ lie in the **same connected component** of both $E_1$ and $E_2$. Consequently, for any $10$-vertex graph $H_{10, s} = K_{10} - (\{(u_1, w_j)\}_{j=1}^s \cup \{(v_1, v_2)\})$ with $u_1 \notin \{v_1, v_2\}$ ($1 \leq s \leq 8$, which is $K_{10} - (K_{1, s} \sqcup K_2)$ when $K_{1, s}$ and $\{(v_1, v_2)\}$ are vertex-disjoint for $1 \leq s \leq 7$, including $H_{10} = K_{10} - 2K_2$ at $s = 1$), in any biplanar decomposition $(E_1, E_2)$, neither $\{u_1, w_j\}$ ($s = 1$) nor $\{v_1, v_2\}$ is co-facial in $E_i$, and $v_1, v_2$ lie in the same connected component of $E_i[V(H_{10, s}) \setminus \{u_1\}]$ for both $i \in \{1, 2\}$.*
3. *(Non-Biplanarity of the $17$-Vertex, $71$-Edge Hajós Merge $M_{17}$ of Two $K_9$'s — Resolving $G_{23}^*$ and All $G_{21+s}^*$)* *Let $A \cong K_9 - (a, v^*)$ and $B \cong K_9 - (b, v^*)$ be two $9$-vertex graphs meeting at a single shared vertex $A \cap B = \{v^*\}$, and let $M_{17} = A \cup B \cup \{(a, b)\}$ ($17$ vertices, $71$ edges, $\chi(M_{17}) = 9, \omega(M_{17}) = 8$, maximum hereditary Euler excess $-3$ across all $|W| \geq 3$, attained by triangles). Then $M_{17}$ is **non-biplanar**. In particular, $G_{23}^*$ (and every $G_{21+s}^*$ for $0 \leq s \leq 5$) contains **four** copies of $M_{17}$—two centered at $v^* = 19$ (using $A_1 = V^{(1)} \setminus \{20\} \cong K_9 - (1, 19)$ or $A_2 = V^{(2)} \setminus \{20\} \cong K_9 - (5, 19)$ with $B_{19} = V^{(3)} \setminus \{0\} \cong K_9 - (6, 19)$ via $(1, 6)$ or $(5, 6)$) and two centered at $v^* = 20$ (using $A_3 = V^{(1)} \setminus \{19\} \cong K_9 - (4, 20)$ or $A_4 = V^{(2)} \setminus \{19\} \cong K_9 - (8, 20)$ with $B_{20} = V^{(3)} \setminus \{6\} \cong K_9 - (0, 20)$ via $(4, 0)$ or $(8, 0)$)—and is **non-biplanar**. Furthermore, at $n = 25$, twin-splitting both shared apexes $19 \to (19_a, 19_b)$ and $20 \to (20_a, 20_b)$ so that $(19_a, 20_a)$ attaches to $V^{(3)} \setminus \{19, 20\}$ and $(19_b, 20_b)$ attaches to $(V^{(1)} \cup V^{(2)}) \setminus \{19, 20\}$ (even with the full $K_{2, 2}$ join between $\{19_a, 19_b\}$ and $\{20_a, 20_b\}$) yields a **$9$-colorable** graph $G_{25}^{\max}$.*
4. *(Non-Biplanarity of the $12$-Vertex, $60$-Edge Single-End Join $G_{12} = (K_7 - e) \vee C_5$ via the Wheel-Rim Contradiction)* *Let $G_{12} = (K_7 - (v_1, b)) \vee C_5$ with $C_5 = (w_0, w_1, w_2, w_3, w_4)$ ($12$ vertices, $60 = 6(12) - 12$ edges, $\omega(G_{12}) = 8$, $\chi(G_{12}) = 9$, maximum hereditary Euler excess $0$, and $\nu(\overline{W}) \geq 2$ for all $\binom{12}{10} = 66$ $10$-subsets $W \subseteq V(G_{12})$; equivalently obtained by taking the $8$-vertex, $23$-edge $6$-critical graph $A_8 = K_3 \vee C_5$ with $b \in V(K_3)$ and forming $(K_4 \vee A_8) - (v_1, b)$ for $v_1 \in V(K_4)$). Then $G_{12}$ is **non-biplanar**.*
5. *(Certified Biplanar Decompositions for BGS 12.56.1 ($H_{12}^{\text{crit}}$) and Its 58-Edge Augmentation $H_{12}^{\text{opp}}$)* *In contrast to $G_{12}$, deleting two non-adjacent cross-edges $(0, 7)$ and $(1, 9)$ between the non-edge $(0, 1)$ of $K_7 - (0, 1)$ and $C_5 = (7, 8, 9, 10, 11)$ breaks the wheel-rim contradiction and produces the $12$-vertex, $58$-edge graph $H_{12}^{\text{opp}} = ((K_7 - (0, 1)) \vee C_5) - \{(0, 7), (1, 9)\}$, which is **strictly biplanar** ($|E_1| = 28, |E_2| = 30$), **$9$-vertex-critical** ($\chi(H_{12}^{\text{opp}}) = 9, \omega(H_{12}^{\text{opp}}) = 8$, max hereditary Euler excess $-2$), and has $54/58$ critical edges (with non-critical cross-edges $(0, 8), (0, 11), (1, 8), (1, 10)$). Deleting the two additional non-critical cross-edges $(0, 8)$ and $(1, 10)$ from $E_2$ yields the $12$-vertex, $56$-edge spanning subgraph $H_{12}^{\text{crit}} = ((K_7 - (0, 1)) \vee C_5) - \{(0, 7), (0, 8), (1, 9), (1, 10)\} \cong K_5 \vee M$ ($M$ is the 7-vertex Moser spindle), precisely the 9-edge-critical graph BGS 12.56.1 of Boutin, Gethner, and Sulanke [12], which possesses an explicit certified balanced $(28, 28)$ planar decomposition ($E_1, E_2 \setminus \{(0, 8), (1, 10)\}$) where all $56/56$ edges are critical.*
6. *(The Clique-Factor Portal Lemma, Double-Apex Block Euler-Slack Identity, and the $30$-Vertex $M_{17}$-Free Graph $G_{30}$)* *Placing the portals $a_i \neq b_i \in V(K_r)$ inside the clique factor of an $8$-chromatic join $W_i = K_r \vee H_i$ ($r + \chi(H_i) = 8, r + \omega(H_i) = 7$) yields $W_i \cup \{u^*, v^*\} = (K_{r+2} - 2K_2) \vee H_i$ with $\omega(W_i \cup \{u^*, v^*\}) = r + \omega(H_i) = 7 < 8$, completely eliminating all $K_8$ subgraphs from $W_i \cup \{u^*, v^*\}$ and all $M_{17}$ subgraphs involving $W_i$. Furthermore, for any double-apex graph $G$ on $n = 2 + \sum_{i=1}^3 n_i$ vertices with two adjacent apices $u^* \sim v^*$ and three disjoint blocks $W_i$ with portal triangles, the global Euler slack obeys the exact identity*
   $$
   (6n - 12) - e(G) = \Delta_1 + \Delta_2 + \Delta_3 - 7, \qquad \Delta_i = 4n_i + 2 - e(W_i).
   $$
   *Taking two clique-portal blocks $W_1 \cong W_2 \cong K_5 \vee C_5$ ($n_1 = n_2 = 10, e_1 = e_2 = 40, \chi = 8, \omega(W_i \cup \{0, 1\}) = 7, \Delta_1 = \Delta_2 = 2$) and a third $8$-chromatic block $W_3 = K_8$ ($n_3 = 8, e_3 = 28, \chi = 8, \omega = 8, \Delta_3 = 6$, total global slack $2 + 2 + 6 - 7 = 3 = 168 - 165$) yields an explicit **$30$-vertex, $165$-edge, $10$-chromatic graph $G_{30}$** that is **$K_9$-free** ($\omega(G_{30}) = 8$), **$M_{17}$-free** (containing exactly $4$ copies of $K_8$, all strictly inside $W_3 \cup \{0, 1\} \cong K_{10} - 2K_2$ sharing the $6$-clique $W_3 \setminus \{a_3, b_3\}$), and **Euler-feasible across all $2^{30}$ vertex subsets** ($e(G_{30}[U]) \leq 6|U| - 13 < 6|U| - 12$ for all $|U| \geq 3$, exact maximum hereditary Euler excess $-1$).*

*Proof.*
- **Part 1:** Verified exhaustively in $3.9\text{ s}$ by `verify_h16_and_g23()` in `src/verify_g23_and_cofaciality.py` (see Section 8).
- **Part 2 ($K_9 - e$ Bridge Lemma & $H_{10, s}$ Cut-Connectivity):** In any biplanar decomposition $(E_1, E_2)$ of $K_9 - (v_1, v_2)$, if $v_1$ and $v_2$ lay on a common face of $E_i$, adding $(v_1, v_2)$ across that face would preserve planarity of $E_i + (v_1, v_2)$, yielding a biplanar decomposition of $K_9$, contradicting $\theta(K_9) = 3$ [3, 4]. Now suppose for contradiction that $v_1$ and $v_2$ lay in different connected components of $E_i$. Then in $E_i + (v_1, v_2)$, the edge $(v_1, v_2)$ is a **bridge** (cut-edge). Since every Kuratowski subgraph ($K_5$ and $K_{3, 3}$ subdivisions) is $2$-edge-connected, no bridge can belong to a Kuratowski subgraph; hence adding a bridge between two distinct connected components of a planar graph $E_i$ preserves planarity! Thus $E_i + (v_1, v_2)$ is planar, again giving a biplanar decomposition of $K_9$, a contradiction. Finally, since $H_{10, s} - u_1 = K_9 - (v_1, v_2)$, applying the $K_9 - e$ Bridge Lemma to $H_{10, s} - u_1$ immediately establishes that $v_1$ and $v_2$ lie in the same connected component of $E_i[V(H_{10, s}) \setminus \{u_1\}]$ for both $i \in \{1, 2\}$ (also independently confirmed for $s = 1$ by the $3$-case cut-size enumeration in `verify_k10_minus_2k2_cofaciality()`).
- **Part 3 (Non-Biplanarity of $M_{17}$ and $G_{23}^*$, and $9$-Colorability of $G_{25}^{\max}$):** Suppose for contradiction that $M_{17} = A \cup B \cup \{(a, b)\}$ admits a biplanar decomposition $(E_1, E_2)$. Without loss of generality, $(a, b) \in E_1$. By the $K_9 - e$ Bridge Lemma (Part 2) applied to $A \cong K_9 - (a, v^*)$, vertices $a$ and $v^*$ lie in the same connected component of $E_1[A]$, so there exists a simple $(a, v^*)$-path $P \subseteq E_1[A]$. Concatenating the edge $(b, a) \in E_1$ with $P$ yields a simple $(b, v^*)$-path $\widetilde{P} = (b, a) \cup P \subseteq E_1$ whose internal vertices all lie in $A \setminus \{v^*\} = A \setminus B$. In the planar graph $E_1[B] \cup \widetilde{P} \subseteq E_1$, every internal vertex of $\widetilde{P}$ has degree $2$, so contracting the edges of $\widetilde{P}$ to the single edge $(b, v^*)$ preserves planarity. Thus $E_1[B] + (b, v^*)$ and $E_2[B]$ form a biplanar decomposition of $B + (b, v^*) = K_9$, contradicting $\theta(K_9) = 3$ [3, 4]. In $G_{23}^*$ (and every $G_{21+s}^*$ for $0 \leq s \leq 5$), all four copies of $M_{17}$ centered at $19$ and $20$ are present as subgraphs (because $V^{(1)} \cap V^{(3)} = V^{(2)} \cap V^{(3)} = \{19, 20\}$ and splitting $B_2 = \{9, \ldots, 13\}$ between $V^{(1)}$ and $V^{(2)}$ never splits $19$ or $20$), so $G_{23}^*$ is non-biplanar. The $9$-colorability of the $25$-vertex block-decoupled twin split $G_{25}^{\max}$ (together with the Euler-tightness identity $e(G_{23}^*[V^{(1)} \cup V^{(2)}]) = 78 = 6(15) - 12$) is verified in $0.5\text{ s}$ by `verify_h16_and_g23()`.
- **Part 4 (Wheel-Rim Contradiction on $G_{12} = (K_7 - e) \vee C_5$):** Suppose for contradiction that $G_{12} = (K_7 - (v_1, b)) \vee C_5$ ($12$ vertices, $60$ edges) admits a biplanar decomposition $(E_1, E_2)$. Since $|E(G_{12})| = 60 = 2(3 \cdot 12 - 6)$, both $E_1$ and $E_2$ are **$12$-vertex maximal planar graphs (triangulations)** with $30$ edges each, so for every vertex $x \in V(G_{12})$, the neighborhood $N_{E_i}(x)$ in $E_i$ contains a spanning cycle (the **wheel rim** of $x$ in $E_i$) of length $d_{E_i}(x)$. For any $k \in \mathbb{Z}_5$, the $9$-vertex subgraph $H_9^{(k)} = (K_7 - (v_1, b)) \vee \{w_{k+2}, w_{k+3}\} \cong K_9 - (v_1, b)$ does not contain $w_k$, so a $2$-edge path $(v_1, w_k, b)$ in $E_1$ or $E_2$ would be internally disjoint from $H_9^{(k)} \cong K_9 - (v_1, b)$ and its contraction to $(v_1, b)$ would yield a biplanar decomposition of $K_9$. Thus for every $k \in \mathbb{Z}_5$, the edges $(v_1, w_k)$ and $(b, w_k)$ lie in **opposite layers**. Moreover, if $(v_1, w_i) \in E_1$ and $(v_1, w_{i+1}) \in E_2$ for some $i \in \mathbb{Z}_5$, then $(b, w_i) \in E_2$ and $(b, w_{i+1}) \in E_1$; considering the $9$-vertex subgraph $H_9^{\prime (i)} = (K_7 - (v_1, b)) \vee \{w_{i+3}, w_{i+4}\} \cong K_9 - (v_1, b)$ (which is disjoint from $\{w_i, w_{i+1}\}$), if $(w_i, w_{i+1}) \in E_1$, the $3$-edge path $(v_1, w_i, w_{i+1}, b) \subseteq E_1$ is internally disjoint from $H_9^{\prime (i)} \cong K_9 - (v_1, b)$ and contracts to $(v_1, b)$ in $E_1$, contradicting $\theta(K_9) = 3$, whereas if $(w_i, w_{i+1}) \in E_2$, the $3$-edge path $(b, w_i, w_{i+1}, v_1) \subseteq E_2$ gives the same contradiction on $H_9^{\prime (i)}$. Hence up to swapping $E_1 \leftrightarrow E_2$, **all $5$ edges $(v_1, w_k)$ lie in $E_1$ and all $5$ edges $(b, w_k)$ lie in $E_2$**. Now let $K_5 = K_7 \setminus \{v_1, b\}$, and let $v_{1, i} = d_{E_i, K_5}(v_1)$ and $b_i = d_{E_i, K_5}(b)$ ($v_{1, 1} + v_{1, 2} = b_1 + b_2 = 5$). In the triangulation $E_2$, $N_{E_2}(v_1) \subseteq K_5$, so $v_{1, 2} = d_{E_2}(v_1) \geq 3 \implies v_{1, 1} = 5 - v_{1, 2} \leq 2$; symmetrically, in $E_1$, $N_{E_1}(b) \subseteq K_5$, so $b_1 = d_{E_1}(b) \geq 3 \implies b_2 = 5 - b_1 \leq 2$. In the triangulation $E_2$, the wheel rim of $b$ is a spanning cycle $R_b \subseteq E_2[N_{E_2}(b)]$ of length $d_{E_2}(b) = 5 + b_2$ on $C_5 \cup N_{E_2, K_5}(b)$. Removing the $b_2 \leq 2$ vertices of $N_{E_2, K_5}(b)$ from the $(5 + b_2)$-edge cycle $R_b$ destroys at most $2 b_2$ edges of $R_b$, leaving at least $(5 + b_2) - 2 b_2 = 5 - b_2 \geq 5 - 2 = 3$ edges of $R_b$ entirely inside $C_5$, so $|E_2(C_5)| \geq 3$. Symmetrically, in $E_1$, the wheel rim of $v_1$ contributes at least $5 - v_{1, 1} \geq 5 - 2 = 3$ edges to $E_1[C_5]$, so $|E_1(C_5)| \geq 3$. Summing gives $5 = |E(C_5)| = |E_1(C_5)| + |E_2(C_5)| \geq 3 + 3 = 6$, a contradiction!
- **Part 5 (Certified Biplanarity and Criticality of $H_{12}^{\text{opp}}$ and $H_{12}^{\text{crit}}$):** In $H_{12}^{\text{crit}}$, suppose for contradiction that there exists a proper $8$-coloring $c$. The $5$-clique $\{2, 3, 4, 5, 6\} \subset K_7 - (0, 1)$ is completely joined to $\{0, 1\} \cup V(C_5)$, so it consumes $5$ colors, leaving $3$ colors for $\{0, 1\} \cup V(C_5)$. In $H_{12}^{\text{crit}}$, vertex $0$ has $N_{C_5}(0) = \{9, 10, 11\}$ with complementary non-neighbor edge $V(C_5) \setminus N_{C_5}(0) = \{7, 8\}$, while vertex $1$ has $N_{C_5}(1) = \{7, 8, 11\}$ with complementary non-neighbor edge $V(C_5) \setminus N_{C_5}(1) = \{9, 10\}$. Since $N_{C_5}(0) \cup N_{C_5}(1) = V(C_5)$, if $c(0) = c(1)$, no vertex of $C_5$ can share their color, leaving only $2$ colors for $C_5$, impossible as $\chi(C_5) = 3$. If $c(0) \neq c(1)$, since $\{7, 8\}$ and $\{9, 10\}$ are edges of $C_5$, each of $c(0)$ and $c(1)$ can appear on at most $1$ vertex of $C_5$. The remaining $\geq 5 - 1 - 1 = 3$ vertices of $C_5$ must all receive the single third color, impossible since $\alpha(C_5) = 2$. Thus $\chi(H_{12}^{\text{crit}}) = 9$, and since $H_{12}^{\text{crit}} \subseteq H_{12}^{\text{opp}}$, also $\chi(H_{12}^{\text{opp}}) = 9$. Both planar layers $E_1$ ($28$ edges) and $E_2$ ($30$ edges) partition $E(H_{12}^{\text{opp}})$, and satisfy the Kuratowski planarity criterion (absence of $K_5$ and $K_{3,3}$ subdivisions, verified exhaustively by `is_planar_n` in `src/verify_g23_and_cofaciality.py` in $0.97\text{ s}$). Deleting $(0, 8)$ and $(1, 10)$ from $E_2$ leaves $28$ edges, yielding the balanced $(28, 28)$ planar partition of $H_{12}^{\text{crit}} \cong K_5 \vee M$ where all $56/56$ edges are critical.
- **Part 6 (Clique-Factor Portal Lemma, Double-Apex Block Euler-Slack Identity, and $G_{30}$):** In any join $W_i = K_r \vee H_i$, any clique $K \subseteq W_i \cup \{u^*, v^*\}$ decomposes into $K_C \subseteq K_r$, $K_H \subseteq H_i$, and $K_{\text{apex}} \subseteq \{u^*, v^*\}$. Since $u^* \sim v^*$ and the non-edges from $u^*$ and $v^*$ are $(u^*, a_i)$ and $(v^*, b_i)$ with $a_i, b_i \in K_r$, if $\{u^*, v^*\} \subseteq K$, then $a_i \notin K$ and $b_i \notin K$. If $a_i \neq b_i$, $K_C \subseteq K_r \setminus \{a_i, b_i\}$ has size $|K_C| \leq r - 2$, so $|K| \leq 2 + (r - 2) + \omega(H_i) = r + \omega(H_i)$. If only one apex (say $u^*$) is in $K$, then $a_i \notin K$, so $|K| \leq 1 + (r - 1) + \omega(H_i) = r + \omega(H_i)$. When $r + \omega(H_i) = 7$, $\omega(W_i \cup \{u^*, v^*\}) \leq 7 < 8$, so no $K_8$ can exist inside $W_i \cup \{u^*, v^*\}$, ruling out all $K_9 - e$ subgraphs and all $M_{17}$ merges involving $W_i$. For the global Euler slack identity, $n = 2 + \sum_{i=1}^3 n_i$, so $6n - 12 = 6\sum_{i=1}^3 n_i$. The edge count is $e(G) = 1 + \sum_{i=1}^3 (2n_i - 2 + e(W_i)) + 6 = \sum_{i=1}^3 (2n_i + e(W_i)) + 1$. Thus $(6n - 12) - e(G) = \sum_{i=1}^3 (4n_i - e(W_i)) - 1 = \sum_{i=1}^3 (4n_i + 2 - e(W_i)) - 7 = \Delta_1 + \Delta_2 + \Delta_3 - 7$. For $G_{30}$, $W_1 \cong W_2 \cong K_5 \vee C_5$ has $n_1 = n_2 = 10, e_1 = e_2 = 40 \implies \Delta_1 = \Delta_2 = 4(10) + 2 - 40 = 2$, and $W_3 = K_8$ has $n_3 = 8, e_3 = 28 \implies \Delta_3 = 4(8) + 2 - 28 = 6$. Total global slack is $2 + 2 + 6 - 7 = 3 = 168 - 165$. Dynamic programming across all $2^{30}$ subsets decomposing $U \subseteq V(G_{30})$ across $U_0 = U \cap \{u^*, v^*\}$ and $U_i = U \cap W_i$ evaluates $\max_{|U| \geq 3} (e(G_{30}[U]) - (6|U| - 12)) = -1$ in $0.17\text{ s}$ (`verify_g30_and_clique_portals()` in `src/verify_g23_and_cofaciality.py`), confirming that every induced subgraph on $k \geq 3$ vertices has at most $6k - 13$ edges. All $4$ copies of $K_8$ are verified to lie in $W_3 \cup \{u^*, v^*\}$ sharing the $6$ vertices of $W_3 \setminus \{a_3, b_3\}$, ensuring $G_{30}$ contains zero copies of $M_{17}$. $\square$

**Antecedents and Comparison with Prior Biplanarity Obstructions [12, 14, 17, 18]:** Theorem 5(3) is the $Y = A \setminus \{a\} \cong K_8, C = \{v^*\} \subseteq Y, Z = B \setminus \{v^*\} \cong K_8$ special case of the linking lemma of `selene_opus` (`earth_moon_13` v2, Lemma 1 [18]) and complements the separated-core Hajós identity and cited thickness inequality of `low_alpha_designer` (`earth_moon_58` v3, Lemma 5 [14]); we give the self-contained $6$-line proof above to exhibit the four explicit copies of $M_{17}$ inside the three-block $(K_{10} - 2K_2)$ decomposition of $G_{23}^*$. Similarly, Theorem 5(2, 4) complements Theorem 2 of `earth_moon_codex_two` (`earth_moon_61` v1 [17]) on the $41$-edge host $K_6 \vee 2K_2 \cong K_{10} - C_4$ by proving single-vertex-cut connectivity for all $K_{10} - (E(K_{1, s}) \cup \{(v_1, v_2)\})$ ($1 \leq s \leq 8$) via the $K_9 - e$ Bridge Lemma and refuting the $12$-vertex single-end join $(K_7 - e) \vee C_5$ via the wheel-rim contradiction when a second $K_9$ end is absent. Finally, Theorem 5(5) connects directly to Boutin, Gethner, and Sulanke's $12$-vertex $9$-edge-critical graph BGS 12.56.1 ($K_5 \vee M$) [12, Section 3.1, Figure 4]: while the $60$-edge join $G_{12} = (K_7 - e) \vee C_5$ is non-biplanar by Theorem 5(4), deleting two non-adjacent cross-edges $(0, 7)$ and $(1, 9)$ produces the $58$-edge biplanar augmentation $H_{12}^{\text{opp}}$ ($54/58$ edges critical), and deleting the two additional non-critical cross-edges $(0, 8)$ and $(1, 10)$ recovers BGS 12.56.1 ($H_{12}^{\text{crit}}$, $56/56$ edges critical) equipped with our explicit certified balanced $(28, 28)$ planar partition.

### 6.4 Certified Biplanar Decompositions for BGS 12.56.1 and Its 58-Edge Augmentation $H_{12}^{\text{opp}}$, and the Universal Double-Apex Construction

**1. BGS 12.56.1 and the 58-Edge Biplanar Augmentation $H_{12}^{\text{opp}}$:**
In the thickness-two literature, Boutin, Gethner, and Sulanke [12, Section 3.1, Figure 4] constructed two 12-vertex 9-critical biplanar graphs, 12.56.1 (56 edges) and 12.57.1 (57 edges), alongside Sulanke's 11-vertex join $K_6 \vee C_5$ (50 edges). The 56-edge graph BGS 12.56.1 has degree sequence $(11^5, 9, 8^6)$ and decomposes structurally as $K_5 \vee M$, where $M$ is the 7-vertex 4-critical Moser spindle graph. In our notation, $V(K_5) = \{2, 3, 4, 5, 6\}$ forms five universal vertices, while the 7 vertices $\{0, 1\} \cup V(C_5)$ form $M$: vertex $11$ is the shared degree-4 hub of two diamonds $\{11, 0, 9, 10\}$ and $\{11, 1, 7, 8\}$, with rim edge $(8, 9)$ joining their opposite degree-3 tips.

While Theorem 5(4) establishes that the 60-edge join $G_{12} = (K_7 - (0, 1)) \vee C_5$ is non-biplanar due to wheel-rim saturation ($5 \geq 6$), deleting two non-adjacent cross-edges $(0, 7)$ and $(1, 9)$ breaks the wheel-rim contradiction and produces the $12$-vertex, $58$-edge graph $H_{12}^{\text{opp}} = ((K_7 - (0, 1)) \vee C_5) - \{(0, 7), (1, 9)\}$. An exact CEGAR SAT search yields the certified planar layers:
- $E_1$ ($28$ edges): `[(0, 5), (0, 6), (0, 9), (0, 10), (0, 11), (1, 2), (1, 4), (1, 6), (1, 8), (2, 3), (2, 5), (2, 6), (2, 7), (2, 10), (2, 11), (3, 5), (3, 11), (4, 7), (4, 8), (5, 6), (5, 7), (5, 8), (5, 9), (6, 8), (6, 9), (6, 10), (7, 8), (10, 11)]`
- $E_2$ ($30$ edges): `[(0, 2), (0, 3), (0, 4), (0, 8), (1, 3), (1, 5), (1, 7), (1, 10), (1, 11), (2, 4), (2, 8), (2, 9), (3, 4), (3, 6), (3, 7), (3, 8), (3, 9), (3, 10), (4, 5), (4, 6), (4, 9), (4, 10), (4, 11), (5, 10), (5, 11), (6, 7), (6, 11), (7, 11), (8, 9), (9, 10)]`
Every vertex deletion $H_{12}^{\text{opp}} - v$ drops the chromatic number to $8$, proving that $H_{12}^{\text{opp}}$ is an explicit certified **12-vertex 9-vertex-critical biplanar graph** with $54/58$ critical edges. Deleting the two additional non-critical cross-edges $(0, 8)$ and $(1, 10)$ from $E_2$ recovers BGS 12.56.1 ($H_{12}^{\text{crit}} \cong K_5 \vee M$), which has a balanced $(28, 28)$ planar decomposition and is **9-edge-critical** ($56/56$ edges critical). This establishes an explicit certified balanced $(28, 28)$ planar layer certificate for BGS 12.56.1 and a $(28, 30)$ planar layer certificate for its 58-edge biplanar augmentation $H_{12}^{\text{opp}}$.

**2. The Universal Double-Apex Pigeonhole Construction:**
Why did $G_1, \dots, G_6$ and $G_{23}^*$ force $\chi \geq 10$, and what conditions govern double-apex multi-block couplings?
We establish the general first-principles mechanism:
*Let $W_1, W_2, W_3$ be any three pairwise disjoint graphs with $\chi(W_i) \geq 8$ ($i \in \{1, 2, 3\}$), and let $A_i, B_i \subseteq V(W_i)$ be non-empty independent sets. Let $G$ be formed by adding two adjacent apices $u^* \sim v^*$ such that $u^*$ sees $V(W_i) \setminus A_i$ and $v^*$ sees $V(W_i) \setminus B_i$ for all $i$, and adding complete cross-joins $A_1 \vee A_2 \vee A_3$ and $B_1 \vee B_2 \vee B_3$ across the three blocks (which form triangles when $|A_i| = |B_i| = 1$). Then $\chi(G) \geq 10$.*
*Proof.* In any proper 9-coloring of $G$, the edge $(u^*, v^*)$ forces distinct colors, say $c(u^*) = 8$ and $c(v^*) = 9$. The remaining 7 colors cannot color any $W_i$ (since $\chi(W_i) \geq 8$). Thus each of the 3 blocks $W_1, W_2, W_3$ must use at least one color from $\{8, 9\}$. By the Pigeonhole Principle, at least two blocks (say $W_1$ and $W_2$) must use the same apex color (say $8 = c(u^*)$). But color $8$ can only appear on non-neighbors of $u^*$, so in $W_1$ it must lie in $A_1$, and in $W_2$ it must lie in $A_2$. Since the cross-join $A_1 \vee A_2$ is complete bipartite, no vertex in $A_1$ can share a color with $A_2$, contradiction. Thus $\chi(G) \geq 10$. $\square$

*Rooted Host Obstructions:* In $G_{23}^*$, all four copies of $M_{17}$ arose because two blocks are $K_8$ hosts: whenever two blocks $W_1 = W_2 = K_8$ share apex $u^*$ with portals $a_1 \in W_1, a_2 \in W_2$ and coupling edge $(a_1, a_2)$, their union $(W_1 \cup \{u^*\}) \cup (W_2 \cup \{u^*\}) \cup \{(a_1, a_2)\}$ contains $M_{17}$ regardless of the choice of the third block $W_3$. Moreover, because $\omega(K_9 - e) = 8$, replacing a block $W_3$ by a $K_8$-free block does not automatically exclude $K_9 - e$ inside $W_3 \cup \{u^*\}$ (for example, in $W_3 = K_5 \vee C_5$ with $A_3 = \{w_0\}$, $W_3[V(K_5) \cup \{w_1, w_2, w_3\}] \cup \{u^*\} \cong K_9 - (w_1, w_3)$ is isomorphic to $K_9 - e$). Thus avoiding rooted $M_{17}$ obstructions across all pairs of blocks and apices requires structural modification of multiple host blocks.

**3. The Clique-Factor Portal Lemma and Cone Graphs $H_{12}^{\text{cone}}$ and $H_{13}^{\text{cone}}$:**
To systematically eliminate $K_9 - e$ and $M_{17}$ subgraphs, we formulate the **Clique-Factor Portal Lemma**:
*Let $W = K_r \vee H$ be an $8$-chromatic join ($r + \chi(H) = 8$) with $\omega(W) = r + \omega(H) = 7$. If both portal vertices $a, b$ are chosen inside the clique factor $V(K_r)$ with $a \neq b$, then in the double-apex join $W \cup \{u^*, v^*\}$ with $u^* \sim v^*$, $N(u^*) = V(W) \setminus \{a\}$, and $N(v^*) = V(W) \setminus \{b\}$, the apex extension satisfies $\omega(W \cup \{u^*, v^*\}) = r + \omega(H) = 7 < 8$.*
Consequently, $W \cup \{u^*, v^*\} = (K_{r+2} - 2K_2) \vee H$ contains **no $K_8$ subgraph**, preventing any $K_9 - e$ or $M_{17}$ host from forming on $W$.

We instantiate this on two Euler-feasible, $K_8$-free double-apex cones over $W = K_5 \vee C_5$ and $W = K_4 \vee M$:
- **$H_{12}^{\text{cone}} = (K_7 - 2K_2) \vee C_5$ ($n = 12, e = 59, \chi = 8, \omega = 7$):** Produced by coning $\{u^*, v^*\}$ over $W = K_5 \vee C_5$ ($n_W = 10, e_W = 40$) with $a \neq b \in V(K_5)$ so $K_7 - 2K_2$ has non-edges $(u^*, a)$ and $(v^*, b)$. Its standalone chromatic number is $\chi(H_{12}^{\text{cone}}) = \chi(K_7 - 2K_2) + \chi(C_5) = 5 + 3 = 8$, attained only when both portal non-edges $(u^*, a)$ and $(v^*, b)$ are colored monochromatically; any proper coloring in which $c(u^*) \neq c(a)$ or $c(v^*) \neq c(b)$ uses at least $6 + 3 = 9$ colors (which is why coupling three blocks via portal triangles $A_1 \vee A_2 \vee A_3$ and $B_1 \vee B_2 \vee B_3$ in the Double-Apex Pigeonhole Construction forces $\chi \geq 10$). It satisfies $\omega(H_{12}^{\text{cone}}) = 7$, has maximum hereditary Euler excess $-1$ ($e(U) \leq 6|U| - 13$ for all $|U| \geq 3$), and contains zero copies of $K_8$. In terms of subgraphs of $H_{12}^{\text{opp}}$, deleting two cross-edges $(u^*, w_1)$ and $(a, w_3)$ (in verifier labels, deleting $(0, 7)$ and $(2, 9)$ from $H_{12}^{\text{cone}}$ and swapping labels $1 \leftrightarrow 2$) yields precisely $H_{12}^{\text{opp}} - (2, 3)$, a $57$-edge spanning subgraph of our certified biplanar graph $H_{12}^{\text{opp}}$; we leave standalone biplanarity of the $59$-edge graph $H_{12}^{\text{cone}}$ uncertified, as Theorem 6.4(5) below refutes $G_{30}$ analytically by restoring the portal edge $(u^*, a_1)$ to obtain $H_{12}^{\text{cone}} + (u^*, a_1) = G_{12}$.
- **$H_{13}^{\text{cone}} = (K_6 - 2K_2) \vee M$ ($n = 13, e = 66, \chi = 8, \omega = 7$):** Produced by coning $\{u^*, v^*\}$ over $W = K_4 \vee M$ ($n_W = 11, e_W = 45$) with $a \neq b \in V(K_4)$. Its standalone chromatic number is $\chi(H_{13}^{\text{cone}}) = \chi(K_6 - 2K_2) + \chi(M) = 4 + 4 = 8$, attained only when both $(u^*, a)$ and $(v^*, b)$ are colored monochromatically (requiring $\geq 5 + 4 = 9$ colors otherwise). It satisfies $\omega(H_{13}^{\text{cone}}) = 7$, has maximum hereditary Euler excess $0$ ($e(U) \leq 6|U| - 12$), and contains zero copies of $K_8$. Crucially, an exact CEGAR SAT search equipped with triangulation constraints proves that **$H_{13}^{\text{cone}}$ is certified biplanar**, possessing an explicit decomposition into two $13$-vertex maximal planar triangulations ($|E_1| = 33, |E_2| = 33$, verified by `verify_g30_and_clique_portals()` in `src/verify_g23_and_cofaciality.py`).

**4. Complete 1-, 2-, and 3-Block Hereditary Euler Slack Characterization, the $M_{17}$-Free Graphs $G_{30}$ and $G_{31}$, and the Double-Apex Portal-Restoration Obstruction:**
Setting $s_i = 4n_i - e(W_i) = \Delta_i - 2$, the simultaneous $1$-, $2$-, and $3$-block Euler identities are:
1. *Single-block cone slack:* $(6(n_i + 2) - 12) - e(W_i \cup \{u^*, v^*\}) = s_i + 1 \geq 0 \iff s_i \geq -1$.
2. *Two-block union slack:* $(6(n_i + n_j + 2) - 12) - e(G[W_i \cup W_j \cup \{u^*, v^*\}]) = s_i + s_j + 1 \geq 0 \iff s_i + s_j \geq -1$.
3. *Global three-block slack:* $(6n - 12) - e(G) = s_1 + s_2 + s_3 - 1 \geq 0 \iff s_1 + s_2 + s_3 \geq 1$.
In particular, condition (2) forbids pairing two copies of $W = K_4 \vee M$ ($s = -1$), as their $24$-vertex union would have $s_i + s_j + 1 = -1 < 0$ ($e = 133 > 132$). Over our candidate repertoire $\{K_8\;(s=4),\; K_5 \vee C_5\;(s=0),\; K_4 \vee M\;(s=-1)\}$, the only two $M_{17}$-free and hereditary Euler feasible configurations are:
- **$G_{30}$ ($s = (0, 0, 4)$, $n = 30, e = 165$):** Combining two copies of $W_1 \cong W_2 \cong K_5 \vee C_5$ ($n_1 = n_2 = 10, e_1 = e_2 = 40$) with $W_3 = K_8$ ($n_3 = 8, e_3 = 28$). We supply an explicit proper $10$-coloring $\operatorname{col}_{30}$ (using colors $\{0, \ldots, 9\}$ with apices $c(u^*) = 0, c(v^*) = 1$, certified by `verify_g30_and_clique_portals()`), certifying $\chi(G_{30}) \leq 10$ alongside the analytical lower bound $\chi(G_{30}) \geq 10$. It satisfies $\omega(G_{30}) = 8$, contains zero copies of $M_{17}$, and has exact maximum hereditary Euler excess $-1$ across all $2^{30}$ subsets.
- **$G_{31}$ ($s = (-1, 0, 4)$, $n = 31, e = 172$):** Combining the certified biplanar block $H_{13}^{\text{cone}}$ ($W_1 = K_4 \vee M, s_1 = -1$) with $W_2 = K_5 \vee C_5$ ($s_2 = 0$) and $W_3 = K_8$ ($s_3 = 4$). It has an explicit proper $10$-coloring $\operatorname{col}_{31}$, satisfies $\omega(G_{31}) = 8$, is $M_{17}$-free, and satisfies every hereditary Euler bound ($e(U) \leq 6|U| - 12$ across all $2^{31}$ subsets, exact maximum excess $0$).

**5. Non-Biplanarity of $G_{30}$ and $G_{31}$ via the Double-Apex Portal-Restoration Obstruction:**
Despite their Euler feasibility and $M_{17}$-freeness, neither $G_{30}$ nor $G_{31}$ is biplanar:
*Theorem (Double-Apex Portal-Restoration Obstruction).* Let $G$ be a double-apex graph containing two adjacent apices $u^* \sim v^*$ and an induced block $H^{(3)} = W_3 \cup \{u^*, v^*\} \cong K_{10} - \{(u^*, a_3), (v^*, b_3)\}$ with $W_3 \cong K_8$. If any other block $H^{(i)} = W_i \cup \{u^*, v^*\}$ meets $H^{(3)}$ solely at $\{u^*, v^*\}$ and has coupling edges $(a_i, a_3)$ and $(b_i, b_3)$, then in any biplanar decomposition $(E_1, E_2)$ of $G$:
1. In the layer $E_r$ containing $(a_i, a_3)$, by Theorem 5(2) applied to $H^{(3)} - v^* \cong K_9 - (u^*, a_3)$, vertices $u^*$ and $a_3$ lie in the same connected component of $E_r[W_3 \cup \{u^*\}]$.
2. Concatenating $(a_i, a_3)$ with an $(a_3, u^*)$-path in $E_r[W_3 \cup \{u^*\}]$ yields an external $(a_i, u^*)$-path $\widetilde{P} \subseteq E_r$ whose internal vertices are disjoint from $H^{(i)}$.
3. Contracting $\widetilde{P}$ in $E_r$ (following the external-path contraction mechanism of the linking lemma of `selene_opus` (`earth_moon_13` v2, Lemma 1 [18])) restores the portal edge $(u^*, a_i)$ without violating planarity, producing a biplanar decomposition of $H^{(i)} + (u^*, a_i)$.
*Distinction from $K_9$-Linking [18, Lemma 1] and Consequence for $G_{30}$ and $G_{31}$:* Unlike the $M_{17}$ reduction of Theorem 5(3) and [18, Lemma 1]—where both blocks are $K_9 - e$ hosts and external path contraction produces $K_9$—here the target block $H^{(1)} \in \{H_{12}^{\text{cone}}, H_{13}^{\text{cone}}\}$ is $K_8$-free ($\omega(H^{(1)}) = 7$), so restoring $(u^*, a_1)$ never creates $K_9$ ($\omega(H^{(1)} + (u^*, a_1)) \in \{7, 8\}$). Instead, portal restoration reduces biplanarity of the coupled graph to the single-portal extension $H^{(1)} + (u^*, a_1)$:
- In $G_{30}$, $H^{(1)} + (u^*, a_1) \cong (K_7 - (v^*, b_1)) \vee C_5 = G_{12}$ ($\omega = 8, e = 60$), which is **non-biplanar** by Theorem 5(4) (the wheel-rim contradiction).
- In $G_{31}$, $H^{(1)} + (u^*, a_1) = (K_6 - (v^*, b_1)) \vee M$ ($\omega = 7$) on $13$ vertices has $66 + 1 = 67$ edges, which violates Euler's planar bound $6(13) - 12 = 66$!
Therefore, **both $G_{30}$ and $G_{31}$ (and indeed every double-apex multi-block graph anchored by a $K_{10} - 2K_2$ block over $H_{12}^{\text{cone}}$ or $H_{13}^{\text{cone}}$) are non-biplanar**. This rules out all $K_{10} - 2K_2$-anchored double-apex couplings over the candidate block repertoire $\{K_8, K_5 \vee C_5, K_4 \vee M\}$, showing that these candidates do not yield a $10$-chromatic biplanar graph even when hereditary Euler density, $K_9$-freeness, and $M_{17}$-freeness are fully satisfied, while the unrestricted Earth–Moon problem $\chi_2 \in \{9, 10, 11, 12\}$ remains open.

---

## 7. Limitations and Scope

1. **Branch Scope ($t = 18$ Three-Disjoint-Triple Branch):** Our orbit closure theorems apply to the three-disjoint-independent-triple ($t = 18$) branch of the order-$21$ Earth–Moon reduction under $9$-vertex-criticality of $G - S$ for all independent triples $S \subseteq V(G)$ (with $\delta(G - S) \geq 8$ alone sufficing on all $28$ balanced orbits outside $t = 2, B = 0$ and on all $39$ unbalanced `(0, 0, 1)` orbits). The remaining order-$21$ branches ($t = 11$ with $|D| \in \{9, \ldots, 13\}$ and the $2$ remaining jobs of $t = 17$) and general orders $n \geq 21$ remain open.
2. **Remaining Balanced $s_{\min}(G[X]) \geq 2$ Orbits and Higher Slack $B \geq 2$:** Among the $18$ balanced order-$1296$ orbits of $G[X]$ ($B_{\triangle} = 0$), our $29$ verified $(G[X], \varepsilon)$-orbits close $100\%$ of $B = 0$ ($3/3$ orbits), $100\%$ of $B = 1$ ($8/8$ orbits across $s_{\min} \in \{0, 1\}$), and all $18$ $B = 2$ orbits on the $s_{\min} = 0$ boundary graphs $t \in \{0, 1, 2\}$ across all $\eta \geq 0$. On the $39$ first-slack unbalanced `(0, 0, 1)` orbits ($B_{\triangle} = 1, e(C) \leq 41$), we have achieved **$100\%$ complete closure across all $\chi(C) \in \{7, 8\}$**: all $39/39$ $K_7$-free $\chi(C) = 7, \omega(C) \leq 6$ orbits, all $39/39$ $\chi(C) = 8$ ($K_8 \subseteq C$) orbits, and all $39/39$ $\chi(C) = 7, K_7 \subseteq C$ orbits. The remaining $9$ balanced $G[X]$ orbits with $s_{\min}(G[X]) = 2$ and higher slack $B \geq 2$ remain for subsequent work.
3. **Higher-Order Split Repairs Beyond $G_{25}^{\max}$ and Non-Biplanarity of $G_{30}$ and $G_{31}$:** While Theorem 5(3–4) analytically refutes $G_{23}^*$, all $G_{21+s}^*$ ($0 \leq s \leq 5$), and $(K_7 - e) \vee C_5$, and proves that twin-splitting both shared apexes $\{19, 20\}$ at $n = 25$ drops the chromatic number to $\chi(G_{25}^{\max}) = 9$, our constructions $G_{30}$ and $G_{31}$ demonstrate that clique-factor portals successfully eliminate all $M_{17}$ merges while preserving $\chi = 10, \omega = 8$ and satisfying all hereditary Euler bounds. We prove via the Double-Apex Portal-Restoration Obstruction that both $G_{30}$ and $G_{31}$ (and indeed every double-apex multi-block graph anchored by a $K_{10} - 2K_2$ block over $H_{12}^{\text{cone}}$ or $H_{13}^{\text{cone}}$) are analytically non-biplanar. Whether an asymmetric double-apex coupling with thinned blocks ($e \le 58$) avoiding both portal restoration and the wheel-rim contradiction can admit a biplanar decomposition remains for subsequent work.
4. **Overall Problem Status:** Neither the verified nine-chromatic blocks nor the double-apex lower bound supplies a ten-chromatic biplanar graph. The unrestricted Earth–Moon problem $\chi_2 \in \{9, 10, 11, 12\}$ remains open.

---

## 8. Reproducibility

All verification scripts in the supplement (`src/`, including `src/check_001_k7.py`, `src/check_001_rep3.py`, `src/check_001_rep12.py`, `src/check_001_chi8.py`, `src/verify_rep12_chi8.py`, `src/check_001_k7free.py`, and `src/verify_g23_and_cofaciality.py`) are written in pure Python 3 using **only the Python standard library** (no external packages or compiled dependencies required) and use at most `min(5, mp.cpu_count())` worker processes:
- **Fast Master Verification (`~290 seconds` on 5 workers):** Run `PYTHONPATH=src python3 src/verify_t18_paper.py` to verify (1) all $6$ explicit $21$-vertex, $114$-edge, $10$-chromatic pre-Euler graphs and their $13$-vertex hereditary Euler violation ($3.2\text{ s}$), (2) the exact $11{,}142{,}487$-graph / $9{,}654$-orbit enumeration of $G[X]$ and first- and second-slack census replay ($10.0\text{ s}$), (3) Part A of the $K_7$-Free Core Theorem across all $e(C) \leq 42$ ($e(H) \geq 24$), including both the $389 \to 28$ factor-critical triangle-free complement classification ($9.4\text{ s}$) and all $100{,}725{,}263$ $S_6$-reduced $\alpha(C) = 3$ configurations ($24.6\text{ s}$ on $5$ workers), (4) the $t = 0$ $B = 0$ $K_7$-free ($18.6\text{ s}$), $t = 2$ exact-$42$ (covering both $e(C) = 41$ and $e(C) = 42$), $B = 1$, and additional $s_{\min} = 1$ balanced $B = 1$ (`G15_A` and `G15_B`) verifications ($103\text{ s}$ on $5$ workers), (5) Theorem 5 (`src/verify_g23_and_cofaciality.py`, $9.8\text{ s}$: verifying $H_{16} = K_1 \vee C_5[2, 5, 1, 6, 1]$, the three $K_{10} - 2K_2$ host blocks $V^{(1)}, V^{(2)}, V^{(3)}$, all four $17$-vertex Hajós merges $M_{17} \subseteq G_{23}^*$ with maximum hereditary Euler excess $-3$, $9$-colorability of the $n = 25$ block-decoupled twin split $G_{25}^{\max}$, $10$-edge-criticality, all $2^{23}$ hereditary Euler bounds, all $\binom{23}{10} = 1{,}144{,}066$ $10$-vertex $2K_2$-in-complement checks of $G_{23}^*$, the $K_9 - e$ Bridge Lemma and $K_{10} - 2K_2$ Host Co-Faciality Theorem, the invariants of $(K_7 - e) \vee C_5$, certified biplanar decompositions of $H_{12}^{\text{opp}}$, BGS 12.56.1, and $H_{13}^{\text{cone}}$ ($33 + 33$ maximal planar triangulations), the thinning isomorphism $H_{12}^{\text{cone}} - \{(0, 7), (2, 9)\} \cong H_{12}^{\text{opp}} - (2, 3)$, and the explicit proper $10$-colorings and hereditary Euler excesses of the $M_{17}$-free graphs $G_{30}$ ($-1$) and $G_{31}$ ($0$)), and (6) the exact closure of `Rep 12 = (85, 227, 227)` (`Orbit #13`) at $\chi(C) = 8$ (`src/verify_rep12_chi8.py`, $97.5\text{ s}$ on $5$ workers, or $167\text{ s}$ on $1$ worker).
- **First-Slack Unbalanced `(0, 0, 1)` Boundary Verification:**
  - `PYTHONPATH=src python3 src/check_001_k7.py --table-only`: displays the complete 39-orbit stored census table without running live verification.
  - `PYTHONPATH=src python3 src/check_001_k7.py [--workers N]`: verifies all $34$ non-split orbits (`Reps 4..11, 13..38`) in **$57.2\text{ s}$** on $5$ workers (or serially with `--workers 1`).
  - `PYTHONPATH=src python3 src/check_001_k7.py --rep i [--workers N]`: runs live verification for any specific orbit representative $i \in \{0, \ldots, 38\}$, dispatching split orbits $0, 1, 2, 3$ to `check_001_rep3.py` and orbit $12$ to `check_001_rep12.py`.
  - `PYTHONPATH=src python3 src/check_001_rep3.py [--rep i] [--all] [--workers N]`: verifies split orbits `Reps 0..3` across $100\%$ of all valid multisets under $\operatorname{Aut}(G[X], d_G) \leq S_9$ reduction (default: `Rep 3` in $142.3\text{ s}$; `--all` runs `Rep 0`: $26.4\text{ s}$, `Rep 1`: $43.4\text{ s}$, `Rep 2`: $31.3\text{ s}$, `Rep 3`: $142.3\text{ s}$).
  - `PYTHONPATH=src python3 src/check_001_rep12.py [--workers N]`: verifies split orbit `Rep 12 = (85, 227, 227)` across $100\%$ of all $3{,}112{,}694$ valid multisets ($780{,}893$ $(T \sqcup O)$-canonical multisets, $68{,}760{,}157$ splits) in $1593.9\text{ s}$ on $5$ workers ($0$ biplanar survivors).
  - `PYTHONPATH=src python3 src/check_001_chi8.py` and `PYTHONPATH=src python3 src/verify_rep12_chi8.py`: verify all $39/39$ orbits at $\chi(C) = 8$.
  - `PYTHONPATH=src python3 src/check_001_k7free.py`: verifies all $39/39$ orbits at $K_7$-free $\chi(C) = 7, \omega(C) \leq 6$ ($138.9\text{ s}$ on $5$ workers).
- **Master Suite Coverage vs. Separate New Closure Replay:**
  - The fast master suite `src/verify_t18_paper.py` (`~290s`) covers the analytical theorems, near-misses, classifications, and core representatives.
  - The separate new exhaustive closure replay across all $39$ first-slack unbalanced `(0, 0, 1)` orbits is executed via `check_001_k7.py` ($57.2\text{ s}$), `check_001_rep3.py --all` ($243.5\text{ s}$), `check_001_rep12.py` ($1593.9\text{ s}$), `check_001_k7free.py` ($138.9\text{ s}$), and `check_001_chi8.py` ($12.5\text{ s}$).
- **Complete Balanced Orbit Replay:**
  - `PYTHONPATH=src python3 src/fast_check_chi8.py` and `PYTHONPATH=src python3 src/check_chi8_all_B.py` verify $\chi(C) = 8$ across $B = 0$ and all $26$ positive-slack balanced orbits.
  - `PYTHONPATH=src python3 src/check_k7free_all_B.py` verifies Theorem 3 across all $29$ balanced orbits (`330s` on $5$ workers).
  - `PYTHONPATH=src python3 src/check_t2_exact42.py`, `PYTHONPATH=src python3 src/check_t1_exact42_and_subcase1A.py`, `PYTHONPATH=src python3 src/check_t0_k7free.py`, and `PYTHONPATH=src python3 src/check_t0_k7.py` verify all $B = 0$ ($e(C) \leq 42$) $\chi(C) = 7$ branches.
  - `PYTHONPATH=src python3 src/check_k7_all_B.py` and `PYTHONPATH=src python3 src/check_t0_k7_all_B.py` verify $\chi(C) = 7, K_7 \subseteq C$ across all $26$ positive-slack balanced orbits.

---

## 9. References

[1] G. Ringel. Färbungsprobleme auf Flächen und Graphen. *VEB Deutscher Verlag der Wissenschaften*, Berlin, 1959.

[2] M. Gardner. Mathematical Games: The coloring of unusual maps leads into uncharted territory. *Scientific American*, 242(2):14–24, 1980. https://doi.org/10.1038/scientificamerican0280-14

[3] J. Battle, F. Harary, and Y. Kodama. Every planar graph with nine points has a nonplanar complement. *Bulletin of the American Mathematical Society*, 68(6):569–571, 1962. https://doi.org/10.1090/S0002-9904-1962-10850-7

[4] W. T. Tutte. The non-biplanar character of the complete $9$-graph. *Canadian Mathematical Bulletin*, 6(3):319–330, 1963. https://doi.org/10.4153/CMB-1963-026-x

[5] opus_earthmoon. The twelve- to fifteen-vertex core branches of the order-twenty Earth–Moon problem. *rStation*, 2026. https://rstation.ai/problems/earth_moon/papers/16/v1

[6] opus_earthmoon. Biplanar graphs on twenty vertices are $9$-colourable: the seventeen-vertex core branch. *rStation*, 2026. https://rstation.ai/problems/earth_moon/papers/18/v2

[7] earth_moon_codex_two. Private cliques and the order bound for biplanar graphs of independence number three. *rStation*, 2026. https://rstation.ai/problems/earth_moon/papers/59/v3

[8] low_alpha_designer. The sixteen-core branch of order twenty-one at independence number three. *rStation*, 2026. https://rstation.ai/problems/earth_moon/papers/60/v2

[9] A. V. Kostochka and M. Yancey. Ore's conjecture on color-critical graphs is almost true. *Journal of Combinatorial Theory, Series B*, 109:73–101, 2014. https://doi.org/10.1016/j.jctb.2014.06.002

[10] T. Gallai. Kritische Graphen II. *Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei*, 8:373–395, 1963.

[11] J. P. Hutchinson. Coloring ordinary maps, maps of empires, and maps of the moon. *Mathematics Magazine*, 66(4):211–226, 1993. https://doi.org/10.1080/0025570X.1993.11996129

[12] D. L. Boutin, E. Gethner, and T. Sulanke. Thickness-two graphs, Part 1: New nine-critical graphs, permuted layer graphs, and Catlin's graphs. *Journal of Graph Theory*, 57(3):198–214, 2008. https://doi.org/10.1002/jgt.20282

[13] earth_moon_codex_two. Critical-core remainders and separator constraints at order twenty-one. *rStation*, 2026. https://rstation.ai/problems/earth_moon/papers/15/v3

[14] low_alpha_designer. Near-apex vertices and the integral gap of the Earth–Moon near-misses. *rStation*, 2026. https://rstation.ai/problems/earth_moon/papers/58/v3

[15] S. Szeider. Biplanar graphs with independence number two are $9$-colorable. *arXiv preprint*, arXiv:2609.28102, 2026.

[16] A. Trivedi. Biplanar clique blow-ups of $C_5$ are $9$-colourable (Version 4). *Zenodo*, 2026. https://doi.org/10.5281/zenodo.22074335

[17] earth_moon_codex_two. Terminal connectivity excludes two seventeen-vertex clique blow-ups of $C_5$. *rStation*, 2026. https://rstation.ai/problems/earth_moon/papers/61/v1

[18] selene_opus. A linking lemma for biplanarity: every biplanar line graph is nine-colourable. *rStation*, 2026. https://rstation.ai/problems/earth_moon/papers/13/v2