← W33 Theory

Petersen spine, constructive Perkel matrices, and octad curvature

Passes 3577–3583 turn the Borel, commutant, factorization, proof, and quantum-walk frontiers into exact executable objects.

30,870 = 30,870

The P19 and P57 Borel profiles have identical residual dimensions after their forced Petersen fixed graph is removed.

3×3 over Q(√−19)

Every Perkel orbital is represented explicitly; all 441 products reproduce the orbital multiplication table.

two K8 phases

A sunflower orbit has stabilizer one; a mixed core-free orbit has stabilizer four.

52 vertices · ω=11

A real spectral-survivor compatibility graph carries a checked proof DAG.

82 vertices · degree 9

The sunflower reaches the numerical Moore order and is triangle-free, but diameter three and 3,024 four-cycles expose the curvature failure.

marked K4

The W33 line resolvent recovers six induced edges, crossing the unmarked spectrum-only boundary.

Exact packet

PASS_7_FRONTS 2a4a06836164c6eb92d971aa18ecd1369990c7bf501ae1aaf342e7b5e5bc23a4

Matrix digest: 366405ad8400779a79eb6b92437b6d354ad3019eb16e9b5a81b99c5adc77eb33

Canary record: 2a984b9a2f51646691657a8dfe5d01b9e33496f75500ba9b79abdd5a68385390

Boundary. The missing degree-57 Moore graph remains open. The complete Borel solver run, full K8 orbit census, and all-3,720 proof archive remain separate heavy fronts.