Study Music. Click to play or pause. After it starts, press the Space Bar to play or pause. If enabled, it will resume across pages.

Syncré Form Theory (SFT)

Research · Research Hub

Syncré Form Theory (SFT)

Project Scope

Syncre Form Theory is the core research program on this site.

Syncré is named to make the central idea legible at a glance. Syn- (“together with”) points to a together-in-time viewpoint: one global instant can be expressed as a field of cycle-valued phase labels across space. Form points to the deeper aim: not a property of an isolated point, but the structured pattern forced by how something is embedded in a larger whole.

The program is built around a single discipline: strong statements are expressed as finite objects.

When coverage is forced, the output is a certificate with explicit margins. When coverage cannot be forced under the stated hypotheses, the output is a finite obstruction object.

Release v1 ships four core packages:

  • SFT I (foundation)
  • SFT II (stability modulus)
  • Witness Atlas (evidence)
  • Global theorem package (capstone statement)

For significance and what changed in the current release, open:

Syncré Form Theory is the core research program on this website: a witness-first framework for describing when a phase field is forced to cover its correct target on every slice of a system.

Start with this framing page

If you want the shortest orientation page:

Core navigation (latest Syncré route set)

Why the name

Syncré is named so the posture is visible.

  • syn- suggests together-in-time: one global instant expressed as a field of phase labels across an arena.
  • cre is from Latin and means to create: Syncré is meant to name a created, forced pattern rather than a coordinate convention.
  • form names what the theory studies: stable pattern forced by embeddedness in the whole.

The spine laws

SFT is organized around two minimal laws.

  • Syncré Coverage Law (SCL)
    • on every slice, the phase field hits every phase value somewhere on that slice (on the correct target)
  • Syncré Lift Law (SLL)
    • the phase field admits a real-valued lift, enabling nonlinear deformation while keeping analysis in a linear model

These laws are intentionally small. The depth of the program is in what is forced, what fails, what remains stable under perturbation, and what target is actually correct under coupling.

The SFT page set

PageRole
SFT Start HereQuick orientation and the WSC/WOB decision posture
Syncré Form Theory and the Relational Form PrincipleThe current public framing page with the formal core made explicit
SFT Core Principles and Stable NotationVocabulary, notation, and the SCL/SLL spine
Syncré Symbol and DefinitionThe definition of \(\mathscr{S}_{\!\mathrm{r}}(P)\) as a coverage class
Syncré Canonical Equation ReferenceThe one-line SCL and SLL equations in canonical form
Syncré Proof ProgramHow witnesses scale from minimal examples to broad families
Syncré Certificate EngineCertificate-or-obstruction discipline for universality claims
Syncré Program DossierDossier guide page and program-level review map
Syncré Referee WalkthroughReferee-first review order for theorem and engine checks
Syncré Proof Verification Program BundleBundle overview and download page
SFT Engine ExhaustivenessWhy every declared claim yields either WSC or WOB
SFT Boundary GalleryThe most common failure modes when meaning is underspecified
Solar–Lunar Local Time and ConvergenceA concrete, checkable witness template
Witness AtlasEvidence layer across regimes and realizations
Syncré Stability ModulusQuantitative stability scale and classification (SFT II)
Global Syncré Universality TheoremClean HTML companion page for the capstone theorem route

What is shipped in the current release

PackageWhat it isOpen
SFT IFoundational paper: primitives, laws, obstructions, margins, and scoped universality disciplineSFT Main Paper (PDF)
SFT IIStability modulus and classification: quantitative stability scales aligned to certificate objectsSyncré Stability Modulus (PDF)
SFT IIITarget inference and certificates: target-correctness and data-to-certificate disciplineSFT III (PDF)
Witness AtlasEvidence layer: worked instances tied to certificate logicWitness Atlas (PDF)
Global theorem packageCompact forcing theorem line and its obstruction boundaryGlobal Universality Theorem (PDF)
Program dossierProgram-level map for theorem, engine, artifacts, and review flowSyncré Program Dossier (PDF)
Referee walkthroughReview-order guide for theorem dependencies and checksSyncré Referee Walkthrough (PDF)
Verification bundleFull verification package with docs, validators, schemas, and artifactsSyncré Proof Verification Program Bundle (ZIP)

How to read the core artifacts

If you wantOpen thisThen read
The meaning layer with the formal coreSyncré Form Theory and the Relational Form PrincipleSyncré Canonical Equation Reference
The witness-scaling postureSyncré Proof ProgramSyncré Certificate Engine
The foundational contractSFT Main Paper (PDF)Syncré Certificate Engine
Quantitative robustnessSyncré Stability ModulusSyncré Stability Modulus (PDF)
Target-correctness and coupled regimesSFT III: Target Inference and CertificatesSFT III (PDF)
Evidence across regimesWitness AtlasWitness Atlas (PDF)
The capstone forcing statementGlobal Syncré Universality TheoremGlobal Universality Theorem (PDF)
Referee-oriented review pathSyncré Referee WalkthroughSyncré Program Dossier
Reproducible program verificationSyncré Proof Verification Program BundleSyncré Certificate Engine

Downloads

Books by Drew Higgins