Research · Capstone Theorem
Global Syncré Universality Theorem
Project Overview
This is the capstone theorem line for Syncre Form Theory.
Syncré highlights the together-in-time phase-field viewpoint; the global theorem package states when that viewpoint is forced by symmetry and equivariance, and when failure is explained by finite obstructions.
It shows, under explicit hypotheses, when coverage is forced, how failure is classified by a finite obstruction catalog, and how robustness and dynamics boundaries are attached as auditable margins.
For a significance-oriented changelog, use the updates page.
This page is the clean public-facing HTML companion for the global Syncré universality theorem route. It avoids raw TeX route rendering and provides stable navigation to the theorem package, engine discipline, and review materials.
What this page is for
The theorem package is a capstone forcing statement inside Syncré Form Theory. This page is the readable entrypoint for the theorem route, while the PDF remains the primary technical artifact.
Start with the current Syncré framing
Open the theorem package
How this theorem connects to the program
- Syncré Proof Program — witness routes and scaling posture
- Syncré Certificate Engine — certificate-or-obstruction discipline for auditable claims
- Syncré Program Dossier — program-level map for theorem, engine, and artifacts
- Syncré Referee Walkthrough — review-order guide for technical reading
- Syncré Proof Verification Program Bundle — bundle overview and download entrypoint
Related downloads
Books by Drew Higgins
