The Scope
What “complete” means on this site.
This site uses words like “complete” and “theory of everything” while also insisting, on every page, that nothing here is proven and much of it has failed. Those two things only fit together if the words are defined — precisely, in public, where they cannot drift.
This page is that definition. It works alongside Dissolution and the Finite Floor, which explains why some obligations convert to axioms rather than solutions, and The Unicorns, which lists everything this project assumes.
The definition
On this site, a theory is a complete account of the recorded world when it meets three conditions:
Coverage
It accounts for every recorded phenomenon, at the resolution at which the record exists.
Compression
It does so from a stated, finite ledger of assumptions that is smaller than the body of structure it accounts for — every assumption named, every consequence checked.
Exposure
It remains falsifiable by records not yet made: it forbids things, and says which.
The definition does not require proof of uniqueness, exact continuum structure, or an account of scenarios no record touches. It still requires a great deal — clause 1 includes every precision test physics has ever passed, and some of those are among the most exacting measurements ever made. Scope is not softness.
Why define it this way
Every test is finite
Every experiment ever performed — and every experiment that ever will be — produces a finite record at finite resolution, and every comparison between theory and data is a finite computation on such records.
Two theories agreeing on every finite record cannot be told apart by any possible experiment. Whatever extra content a theory carries beyond that agreement is content no measurement can audit — and a theory cannot owe what nothing can audit.
“Everything” means records
The traditional reading quietly includes scenarios no record touches: trans-Planckian scattering, the exact infinite-volume vacuum, and structure below every floor.
Read functionally, “everything” means every spectrum measured, every decay counted, and every orbit tracked, at the resolution at which it was tracked.
Successful physics declares a domain
Newton declined to explain what gravity is. Thermodynamics does not derive its constants. Quantum mechanics does not derive its own axioms. The Standard Model does not derive its nineteen parameters.
“Complete” has never meant “answers everything askable.” It has meant: answers everything in a declared domain, and declares the domain.
Obligation is narrower than meaning
Continuum mathematics is meaningful, beautiful, and heuristically indispensable. The claim here is only that a theory cannot be billed for content no possible measurement can audit.
Meaning is generous; obligation is strict.
There is a serious objection here, and it deserves its strongest form:
“The continuum isn't idle metaphysics — it does work. Exact gauge symmetry, exact Lorentz invariance, the consistency of finite descriptions as resolution varies: these are continuum-grade organizing principles, and they generate finite, checkable predictions. Drop the continuum and you owe all of that some other way.”
Accepted, in full.
Any work the continuum does that leaves a finite trace stays in scope as an obligation.
Compatibility with exact Lorentz invariance to the full precision of every test so far: owed. Coherence of the finite description as the resolution floor varies — the finite shadow of “a continuum limit exists” — is also owed, and is listed on the residuals page as exactly that.
What the definition sheds is only the remainder: the demand to exhibit the exact limit object itself, the one part of the continuum demand that no measurement could ever see. Everything the continuum does for physics, a theory in this scope must also do.
Undeclared scope is how programs get lost
The deepest trouble in the field's leading unification program is a scope failure discovered after the fact — a landscape of solutions with no declared selection principle. Declaring domain, shortlist, and comparison status before the evidence arrives is the falsificationist's ordering of operations, and it is the ordering used here.
Where this candidate stands
A definition published by a project should be one the project can fail — otherwise it is decoration. This one was published while the candidate fails it, and here is the current standing, clause by clause:
Coverage Partial
The candidate reconstructs the structural skeleton of the Standard Model — charges, families, anomaly cancellation, and the gauge pattern — from a declared construction, with every “given” written out.
It does not yet cover the quantitative record: the flavor sector's one sharp attempt was falsified at 15.9 standard deviations and is preserved on the board, while the gravity–quantum interface gates remain open.
Compression Not achieved
Count the assumption ledger on The Unicorns against what it reconstructs, and the balance is roughly even.
A reconstruction whose inputs match its outputs is an axiomatization — a disciplined, transparent re-derivation of known structure. That has real value, but it is not yet compression, and therefore not yet a theory in the sense defined above.
Exposure Minimum form
Every gate carries stated failure conditions, and several have fired — the candidate is demonstrably killable.
But the strong form of exposure is a novel prediction, confirmed or refuted by a record that did not exist when the claim was made. None exists yet.
In this page's own terms, the accurate description of the project is: a candidate axiomatization of the recorded world, aimed at becoming a complete account of it, with the remaining distance — compression and prediction — measured and posted.
The translation table
Binding on every page of this site. When these words appear here, they mean the middle column and never the right:
| When this site says | It means | It never means |
|---|---|---|
| Complete | Covers the declared domain, and declares the domain | Answers every askable question |
| Theory of everything | A complete account of the recorded world, one ledger where there are now two | The traditional continuum-complete, unique, final theory |
| Closed | Evidence-adjudicated at a stated scope | Solved from nothing |
| Dissolved | Converted to a named axiom plus a finite leftover, kept in view | Solved, or forbidden from being asked |
| Candidate | A construction being measured against this definition | A result |
If you catch a page using one of these words outside its column, that is a defect. Report it, and it gets fixed in the open.
What would prove this page wrong
The definition fails
If anyone exhibits an obligation it excludes that some possible measurement could audit — a finite-trace demand wrongly discarded. The definition claims to shed only what nothing can check; one counterexample breaks it.
The application fails
If this site ever declares a clause met that is not — in particular, if compression is claimed while the assumption ledger still balances the reconstruction, or if the words above drift from their columns as the candidate improves.
The good faith fails
If this definition is ever quietly weakened. It was published while the candidate falls short of it. If the candidate ever passes, it must pass this version — dated, visible, and unedited under the standing rule that nothing on this site is deleted.