Research · Updates
Gap-Free Global Universality Updates
Project Scope
This page exists to keep the narrative honest.
When a project becomes more rigorous, the improvements are not merely cosmetic. They usually appear as new finite objects: a stronger certificate contract, sharper failure modes, explicit constants, and stability radii.
Use this page when you want to understand what v19 adds and why it moves the flagship work from a single-instance theorem into a region-level cover-or-atlas decision procedure.
This update adds two decisive layers:
- a frontier layer that names the witness-producing targets for robust switching stability and boundary classification
- explicit schema families for frontier reports and frontier atlases, so the boundary story becomes an audited artifact interface
Related frontier pages:
This page records what changed as the gap-free rigidity program was strengthened into a region-level cover-or-atlas certification package.
The turning-point upgrades
| Upgrade | What it adds | Why it is decisive |
|---|---|---|
| Robust certificate objects | Margins, a witnessed Doeblin word, recurrence data, explicit rate pack, and a computed stability radius \(\varepsilon^*\) | The conclusion becomes stable under small perturbations rather than fragile |
| Full-strength obstruction taxonomy | OG1–OG4 obstruction witnesses with finite payloads | Failure becomes a localized explanation, not a dead end |
| Region-level cover-or-atlas layer | Finite cover of robust certificates on compact normalized families, or an atlas report locating boundary mechanisms | The theory becomes navigational across parameter space |
| Explicit report schemas | JSON schemas for certificates, obstruction witnesses, and region reports | Results become audited artifacts, not informal descriptions |
frontier expansion
This update is the point where the package becomes a complete frontier-facing system.
| New in this expansion | What it adds | Why it is decisive |
|---|---|---|
| Frontier report and atlas objects | Dedicated schemas and examples for frontier reports and frontier atlases | It makes the “decidability frontier” a concrete artifact interface rather than a slogan |
| Open-problem resolution map | A target list for witness-producing boundary questions in robust switching stability | It upgrades research direction into a programmable agenda with named outputs |
| Imprimitive core decomposition | Standard reporting for cyclic cores and cyclic class decomposition | It makes the certification layer honest about periodic structure rather than assuming primitivity |
| Mather/sofic modeling interface | A finite model object for calibrated minimizers at the descriptor boundary | It ties the narrative about minimizers to a checkable symbolic model |
Why this belongs at the top of the library
The older gap-free page remains the strongest visitor-facing single-instance gateway.
This submission is the research-complete layer above it:
- it upgrades the forcing mechanism into a robust certificate technology
- it makes region-level statements finite by turning openness into finite cover
- it treats failures as first-class objects via obstruction witnesses
How to audit it quickly
| If you want to audit | Do this |
|---|---|
| The claim at theorem level | Read the PDF and compare the stated contract to the schemas in the source pack |
| The artifact viewpoint | Inspect the certificate schemas and the obstruction witness schemas |
| The operational viewpoint | Use the RU Engine, which produces and validates the same object types |
Frontier pages
Quick links
Books by Drew Higgins
Prophecy and Its Meaning for Today
New Testament Prophecies and Their Meaning for Today
A focused study of New Testament prophecy and why it still matters for believers now.
