You already know how to do this.
You did it before you could speak. You told your mother's face from every other face. You told hunger from its absence, warm from cold, the sound that meant safety from the sound that meant nothing. Right now, reading this, you are doing it thousands of times a second: this letter is not that letter, this word ends here, this thought is new. The act is so constant you cannot catch yourself performing it, the way you cannot watch your own eyes move.
The act is telling two things apart. Nothing simpler can happen to a mind, or to anything else. We call it δ.
Now recall how mathematics was sold to you. A foreign country. A wall of symbols guarded by people who seemed to have been born behind it. You were sorted early into "math person" or "not a math person," and most of you were handed the second label and kept it for life, quietly, like a small injury.
Here is what the people behind the wall did not tell you, mostly because they did not know: their subject could not answer a child's questions about itself. What is a number, actually? Why these axioms and not others? What does it all stand on? Every foundation on offer begins by listing the things it refuses to explain. Set theory: assume sets, assume membership, assume infinity. Type theory: assume types. Each one is a building. None of them is the ground.
So we went underneath.
What we found
Beneath every axiom anyone has ever written, there is one act: telling two things apart. Whoever writes "let A be a set" has already performed it, because A had to be told apart from everything that is not A. Whoever measures, compares, counts, or proves has already performed it. It is not possible to get beneath it, because any attempt to state a deeper starting point must first distinguish that starting point from the alternatives, and the act has already happened.
We took that single act as the only primitive and asked what it forces. Not what it suggests, not what it inspires: what it forces, with a proof checker watching. The answer, as of this year, includes logic, the whole numbers, the integers, the fractions, their arithmetic, and the ordering you learned at seven years old, each derived rather than assumed, each verified by a machine that cannot be flattered. The arithmetic that comes out is provably the same arithmetic you already know. And when you ask the same act a second question, not "what is permitted?" but "what does it cost?", the laws of physics begin coming out, with constants of nature derived rather than measured.
Mathematics is what distinction permits. Physics is what distinction costs. They were never two subjects. They are two questions about one act, and you perform that act every waking second of your life.
Everything below follows from that. Nine articles. Each one is a result, restated without symbols. Where the result is proved, a machine has checked the proof. Where it is a bet, we say so and we name the stakes.
Nothing is beneath telling things apart.
Every foundation ever proposed performs the act before stating its first axiom. The set theorist distinguishes sets from non-sets. The skeptic who says "distinction is not fundamental" has just distinguished her position from ours, which is the act doing the work. This is not wordplay; it is the floor. There is nothing underneath, because anything underneath would have to be told apart from its own absence, and that telling-apart is δ. Mathematics does not rest on the authority of experts or the taste of axiom committees. It rests on something you did before you could talk.
True story: mathematics rests on an act performed by infants, and the axioms are what the act forces.
A number is something repetition does.
Repeat the act and compare the marks: same or different. Chains of sameness close into loops, and the length of a loop is the first number that ever existed. Numbers are not ghostly objects in a Platonic warehouse, and they are not ink. A number is the shape of repeated distinction. We built the whole tower this way, whole numbers to integers to fractions, inside a proof checker, and then proved the result is exactly equivalent to the standard arithmetic of the textbooks. Nothing you learned is wrong. What changed is that "seven" now has a birth certificate instead of a creation myth.
True story: a number is the length of a loop of distinctions, and a machine has checked that this is the arithmetic you already use.
Every axiom is either a theorem or a confession.
Once the floor is named, every assumption in mathematics can be put on trial: is it forced by the act, or is it a purchase? Our framework attaches a strength tag to every single theorem, a machine-checked receipt stating exactly what it spent: distinction alone, or distinction plus a named extra commitment. The axiom of infinity turns out to be a statement about how distinction iterates. Other axioms turn out to be purchases, and the receipt says so in public. No more smuggling. A proof in this framework cannot quietly help itself to more than it admits, because the checker counts the till.
True story: axioms are purchases, and we print the receipt with every theorem.
The continuum is a purchase, not a fact.
Here is the article that proves we keep our own rules, because it is a limit on us. The real number line, the smooth continuum underneath calculus and almost all of physics as currently written, is not forced by distinction. We proved that. The act forces the fractions and stops; the leap to the continuum is a commitment you choose to buy, and our framework names the exact counter where the purchase happens. A foundation run on ambition would have claimed the reals as forced. Ours demonstrated its own boundary and published it. When we tell you the rest is forced, this is what the word costs us.
True story: the line is a license. The act forces the fractions, and we proved where forcing ends.
Comparison costs, and the cost function is unique.
Telling two magnitudes apart is not free, and the price is not negotiable. Ask what a comparison must cost, given only that a ratio and its reciprocal deserve the same bill, and exactly one cost function survives: zero when the two sides are equal, positive everywhere else, merciless as the gap grows. One function. Not a family to fit data with, not a modeling choice: a uniqueness theorem, machine-checked. This is the hinge of everything our institute does, because a cost living inside arithmetic itself is the beginning of physics. Energy did not enter the universe after mathematics. It was in the comparison all along.
True story: the first physical law lives inside arithmetic: comparing costs, and the cost function is forced.
Mathematics and physics are one structure.
Physicists have wondered for a century why mathematics fits the universe so unreasonably well. The answer is that nothing is being fitted. Ask the act what it permits and you get number, ratio, order, geometry: the things filed under mathematics. Ask the act what it costs and you get the unique cost function, then the golden ratio from self-similarity, then an eight-beat cycle, then three dimensions of space, then constants of nature, derived inside the proof checker rather than read off instruments. The fine-structure constant, physics' most famous pure number, comes out of this chain inside a proved window that contains the measured value, with zero fitted parameters. The split between the two subjects was a filing system, not a fact about reality.
True story: the effectiveness is identity. Permission and cost are two faces of one act.
We did not beat Gödel. We located him.
Gödel proved that any system rich enough to contain arithmetic holds true statements it cannot prove. That theorem stands; nothing here repeals it, and you should distrust anyone who claims otherwise. What changes is the bookkeeping. Because every result in our framework carries its receipt, the famous incompleteness no longer hangs over mathematics as undifferentiated fog. It has an address. The gap enters with specific purchased commitments, and the receipts show which aisle of the store each unprovable truth lives in. Incompleteness becomes a property you can point at, audit, and price, instead of a ghost story told to first-year students.
True story: incompleteness stands, and it now has an address: it enters with named purchases, and the receipts show where.
Proof no longer asks for your trust.
Every claim tagged as proved in this program has been verified by a proof checker, line by line, from the primitive up, and the proof files are public. This matters more for mathematics than for any other field, because mathematics has always run on a hierarchy of trust: referees trusting authors, students trusting textbooks, everyone trusting the dead. That hierarchy occasionally fails, and when it fails it fails silently for decades. A machine checker does not get tired, does not skip the hard lemma, does not defer to reputation. You do not need to believe us about any of this. You need a laptop.
True story: the proofs check or they do not, on your machine, with nobody's permission.
Some of the hardness was the filing system.
This last article is a bet, and we flag it as one. The famous unsolved problems of mathematics are stated in foundations that hide the structure the questions are about. A prime, in set theory, is a number with exactly two divisors: true, and mute. It carries no reason for how primes are spaced. In δ, a prime is a position in the loop structure of repeated distinction, and the goal is for its reasons to sit inside the object itself. We call the difference the representation tax: the work mathematicians spend reverse-engineering structure their own foundations erased. Some hardness is real content. Some is the tax. Our bet is that the tax is large, and the program will be judged on whether problems actually fall.
True story: part of the hardness is the encoding, and the encoding is now optional. The bet is on how large that part is.
The same act, three times
Here is the discovery underneath the discoveries, the one we would show a skeptic first.
The unique cost function of Article V is not just the start of physics. The same theorem, the same proved object in the same library, prices every wrong ratio in an economy, which is why our institute's economics program runs on it. And the same conservation law that balances a physical ledger balances a moral one: in our proof library, the economic cost of extraction and the ethical cost of exploitation are one declaration, checked once, inherited by both fields. Mathematics, physics, economics: not three subjects with family resemblances. One act, asked three questions: what is permitted, what does it cost, and how do many of us settle.
This is why the framework cannot be quietly wrong in one room and right in another. Every face is load-bearing for every other face. Refute the arithmetic and the physics falls. Refute the cost function and the economics falls with it. We built it this way on purpose: a structure with no seams has nowhere to hide.
How we could be wrong
Foundations have historically been defended the way territory is defended: by seniority, by gatekeeping, by outlasting critics. We would rather be killed quickly than defended badly. The claims here come in two kinds: machine-checked proofs, which you can verify without trusting us, and program bets, which we have named as bets. Here is what would destroy the framework, in public, checkably.
- A contradiction derived inside the distinction kernel. The proofs are machine-readable; a refutation would be too, and one valid derivation of false ends the program.
- A receipt caught lying: a theorem tagged "distinction only" shown to secretly consume a stronger commitment. The strength ledger is the framework's honesty mechanism; corrupt it and Article III dies.
- A mathematical primitive that can neither be derived from the act nor named as an explicit purchase. One genuine orphan breaks the claim that the floor is the floor.
- Two legitimate realizations of the act yielding provably different arithmetics. The program claims one invariant structure; a true fork falsifies it.
- The physics face failing: a derived constant proven to sit in a window that measurement then exits. The windows are published; the instruments are not ours.
If any of those lands, this manifesto is wrong, and we will say so in the same font we used to publish it. Ask any other foundation of mathematics for its kill conditions. There has never been one that printed them.
What we will build
What you can do
If you are anyone at all: drop the label. You were never "not a math person"; you are a being whose every waking second is built from the primitive mathematics is made of. The wall was an artifact of foundations that hid the act. When your child asks what a number is, you now have an answer: it is the shape of doing the same thing again and noticing.
If you are a student or a mathematician: the kill list above is a syllabus. Clone the library, run the checker, try to catch a receipt lying. The framework's strongest recruiting pitch is that attacking it is a legitimate research program with publishable outcomes either way.
If you build things: the stack is open at every layer: a cost-true instruction set, a meaning-native data type, a compiler that turns declared knowledge into structure a machine can resolve. The act is the same one your hardware already performs a trillion times a second; the difference is building so the books balance by construction.
We hold that nothing is beneath telling things apart.
We hold that a number is the shape of repetition, with a birth certificate.
We hold that every axiom is a purchase, owed a printed receipt.
We hold that the continuum is bought, not given, and we proved where the counter is.
We hold that comparison costs, and that the cost function is one.
We hold that mathematics and physics are one act asked two questions.
We hold that incompleteness stands, and that it now has an address.
We hold that proof asks for verification, not belief, and not seniority.
We hold all of this out to be checked by machines that cannot be flattered.
This is mathematics. It was never anything else.
The Distinction Manifesto, June 2026, Recognition Physics Institute, Austin. This document supersedes the δ manifesto of 26 May 2026, which predates the closure of the machine-checked number tower, the continuum boundary theorem, the strength-ledger audit, and the forced-measure theorem of 9 June 2026. Plain-language renderings here are bound by the formal tags of the technical series: where this document says "we proved," a machine-checked theorem exists; where it says "bet" or "objective," the claim is a named program target with published stakes; nothing in between is asserted.