Four readable genus-four faces of row 097 #
Rows 031, 032, 034, and 068 are obtained by contracting explicit forest faces of the human-readable closed-orthant proof of row 097. The statements below deliberately name the small target cores directly, so this public proof is self-contained.
The explicit contraction target core 031 for row 097, with oriented slots 0→2, 0→3, 0→3, 1→2, 1→3, 1→3, 2→3 in index order.
Equations
Instances For
The explicit contraction target core 032 for row 097, with oriented slots 0→2, 0→3, 0→3, 1→2, 1→2, 1→3, 2→3 in index order.
Equations
Instances For
The explicit contraction target core 034 for row 097, with oriented slots 0→2, 0→3, 0→3, 1→2, 1→2, 1→2, 1→3 in index order.
Equations
Instances For
The explicit contraction target core 068 for row 097, with oriented slots 0→3, 0→4, 0→4, 1→2, 1→3, 1→4, 2→3, 2→3 in index order.
Equations
Instances For
Orientation correction for contraction core 031, reversing slots 4, 5, and 6.
Equations
Instances For
Orientation correction for contraction core 032, reversing slots 5 and 6.
Equations
Instances For
Certified contraction of row 097 along slots 3 and 5 to the reoriented core 031, with explicit surviving vertex and slot representatives.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Certified contraction of row 097 along slots 5 and 8 to the reoriented core 032, with explicit surviving vertex and slot representatives.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Certified contraction of row 097 along slots 3 and 8 to core 034, preserving the listed surviving vertex and slot order.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Certified contraction of row 097 along slot 8 to core 068, retaining slots 0 through 7 in their original order.
Equations
- One or more equations did not get rendered due to their size.