R(5,5;43) automorphism restrictions
Structural restrictions on symmetries in the R(5,5;43) setting.
Research scope
This record groups the proposed restrictions on automorphisms in the R(5,5;43) setting. It is a place to assemble the symmetry cases and their arguments, not a claim here that the Ramsey problem has been resolved.
The central question
Which automorphism types are excluded, and what assumptions or computations support each restriction?
From contributions to a paper
Exploratory work can contain partial arguments, unsuccessful approaches, computational checks, and refinements of the same idea. This curated record is intended to connect those related contributions into a coherent paper summary without treating every ledger entry as a separate discovery.
What needs to happen next
State the excluded types exactly, provide auditable evidence for every case, and document which restrictions have been independently checked.
Awaiting linkage
No result-specific evidence link has been supplied. The source commit, recorded timestamp, and associated research artifacts will appear here once identified.
This page is a curated placeholder and does not establish a discovery date or mathematical priority.