This page records exact finite evidence. It does not infer particle, gauge, optical-phase, or measured-hardware identifications.
The 45 weight-132 words of C^perp=[135,119,3]_2 have disjoint three-coordinate complements. Those triples are literally the protected singular-fibre packets. The 270 dual weight-three words project through the packets to 270 triples whose two-section is SRG(45,12,3,3), the complement of the protected 45 graph.
For the disjoint row-degree-4 and row-degree-8 incidences Q and M, with A=SRG(36,15,6,6), the exact identities are Q^TQ=15I+3A, M^TM=24I+6J, and Q^TM=6(J-I-A). Their sum has rank 21 and nonzero Smith factors 1^14 3^7.
The 405 Petersen shortcut edges form one PSp orbit and a 15-fold bundle over the 27 Schläfli objects. The 1620 base edges form one PSp orbit and a 12-fold bundle over the 135 edges of SRG(27,10,1,5). Locally the Petersen component action is A5 under PSp and S5 under PGSp, with common kernel 16.
| cost ratio r=c_shortcut/c_base | base traversals/source | shortcut traversals/source |
|---|---|---|
| 0<r<1 | 420 | 239 |
| 1<r<3/2 | 548 | 111 |
| 3/2<r<2 | 620 | 63 |
| r>2 | 746 | 0 |
The 45 weight-132 complement triples alone are merely 45 disjoint three-sets, with full automorphism group S3 wr S45; they do not select the protected action without the dual weight-three shell. Separately, every one of the 4050 labelled Schreier edges supporting the apartment deck cohomology projects to distance three in the selected-270 graph, never to either routing-edge orbit. A direct deck-to-routing signing therefore does not exist without additional transgression data.
Evidence boundary. Component values used by the sensitivity model come from separate photonic demonstrations and are used only as parameter anchors; no integrated Holonet device performance is claimed.