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.

Research Library

Library · Library / Index

Research Library

Project Scope

This page is the master index.

The library is organized around two research programs.

  • Syncre Form Theory (SFT) is the core program and the ongoing focal point.

Syncré emphasizes together-in-time observability (syn-), and Form emphasizes structure forced by embedding. The project is witness-based: it studies how cyclic symmetry and observable phase fields force stable, classifiable structure across many settings.

  • Rigidity and Reconstruction remains a flagship math program with its own certificate and frontier layers.

Each project page is paired with an updates page that explains significance and records meaningful changes.

For reuse and standard citation practices, see:

This page is the master index for the project: program hubs, reading routes, and the main downloadable bundles.

If you are looking for a tighter, technical-only entry point (proof spine + supporting modules), use:

Start Here

PageWhat you get
Start HereA fast orientation and the clearest entry points.
AboutThe mission and personal origin story behind the work.
Citation and RightsHow to cite and reuse research documents and library materials (public domain vs free-to-read originals).
ChangelogRecent improvements to the library system and reading experience.
Research NotesTechnical notes index: proofs, sub-lemmas, and supporting modules.
Library QuickstartA guided entry point for reading the main results and then drilling into proofs and supporting modules.
Public Domain LibraryA reading room for books and source texts.

Syncre Form Theory (Core Program)

Syncré is named so the posture is visible: syn- (“together with”) suggests together-in-time; cre is from Latin and means to create; “Form” emphasizes the structured pattern forced by embedding. The pages below are the public spine of that witness-based program.

PageWhat it isBest for
Syncre Form TheoryThe hub and overview of the core program.Orientation + navigation
Syncre Form Theory and the Relational Form PrincipleMeaning layer with a formal core and auditable targets.First-time readers
SFT Start HereThe shortest orientation and the decision posture (WSC or WOB).Quick entry
SFT Core Principles and Stable NotationVocabulary, notation, and the SCL/SLL spine.Keeping the objects straight
Syncre Symbol and DefinitionThe definition of \(\mathscr{S}_{\!\mathrm{r}}(P)\) as a coverage class.Precise definition
Syncre Canonical Equation ReferenceOne-line SCL and SLL equations in canonical form.Fast recall
Syncre Proof ProgramHow witnesses scale from minimal models to broad families.Program clarity
Syncre Form Theory UpdatesSignificance notes and what changed as the package became release-grade.Context
Syncre Certificate EngineCertificate-or-obstruction discipline for universality claims.Verification + reuse
Syncre Certificate Engine UpdatesWhat changed as artifacts and validators were tightened.Placement + significance
SFT Engine ExhaustivenessWhy every declared claim yields either WSC or WOB.Decision clarity
SFT Boundary GalleryThe most common failure modes when meaning is underspecified.Trust and hygiene
SFT III: Target Inference and CertificatesTarget-correctness and data-to-certificate discipline.Coupled regimes
Syncre Stability ModulusQuantitative stability scale and classification aligned to certificate margins (SFT II).Robustness-first reading
Syncre Stability Modulus UpdatesWhy the stability layer matters and what changed in the current release.Context
Witness AtlasEvidence layer: worked instances tied to validator-backed artifacts.Concrete understanding
Witness Atlas UpdatesWhy the atlas matters and how to use it as evidence rather than illustration.Context
Global Syncre Universality TheoremCapstone forcing theorem line with obstruction boundary and scoped claims.Theorem-first reading
Global Syncre Universality Theorem UpdatesWhy the theorem package matters and what changed as it matured.Context
Solar–Lunar Local Time and ConvergencePrimary worked example: phase fields on a rotating globe and torus dynamics.Worked example

Rigidity and Reconstruction (Flagship Math Program)

PageWhat it isBest for
Rigidity and ReconstructionThe main hub for the rigidity program.Overview + navigation
Gap-Free Rigidity and Robust CertificatesStrong single-instance gateway: gap-free rigidity plus robust certificate objects.Understanding the forcing mechanism
Gap-Free Global Universality (Submission v19)Region-level upgrade: robust certificates with explicit stability radii and cover/atlas reporting.Most advanced submission
Gap-Free Global Universality UpdatesSignificance notes and what changed as the package became region-level.Context
Referee Map and ChecklistReferee-facing audit map for the flagship submission and its artifact contracts.Fast verification
Open Problem Resolution MapTarget-driven frontier map for witness-producing boundary questions.Frontier navigation
JSR Decidability FrontierRobust switching stability framed as certificate-or-obstruction outputs.Frontier viewpoint
RU Universality Certificate EngineRunnable companion that emits schema-validated certificates or obstruction witnesses.Reproducibility + reuse
String Theory BridgeApplied artifact pack on physics-adjacent constrained families.Concrete examples

Files and Kits

ItemOpen
SFT Main Paper (PDF)Open
Syncre Stability Modulus (PDF)Open
SFT III (PDF)Open
Witness Atlas (PDF)Open
Global Syncre Universality Theorem (PDF)Open
SFT Submission Bundle (ZIP)Download
SFT Breakthrough Bundle (ZIP)Download
SFT Sources (ZIP)Download
Gap-Free Rigidity and Robust Certificates (PDF)Open
Gap-Free Rigidity Sources (ZIP)Download
Gap-Free Global Universality (PDF)Open
Gap-Free Global Universality Sources (ZIP)Download
Gap-Free Global Universality Full Submission (ZIP)Download
RU Engine Sources (ZIP)Download
String Theory Bridge Sources (ZIP)Download
Submission Kit (ZIP)Download
Verification Toolkit (ZIP)Download

Books by Drew Higgins