Truth Is Buildable

I keep auditing benchmarks that cannot be reproduced. DeepSWE publishes a real verifier and withholds the patches it graded, so its headline number is honest arithmetic over verdicts nobody can re-derive. Another lets a language model award points against a prose checklist, so the same answer can score two ways. Different mechanisms, one product. A number you cannot check.

I went looking for a sentence to put on that number and found one already in my mouth: what cannot be false cannot be true.

It felt borrowed, but no source surfaced beyond a near-twin in Angelo’s Wittgenstein commentary (2022), logged in the endnote below, so let me decompress what the line packs.

What cannot be false

What is immune to falsehood? Two things, and they reach it from opposite ends.

A tautology cannot be false. It is true in every possible world, which is why it forbids nothing and informs nothing. “It will rain or it will not.” Unfalsifiable by logic, and empty for the same reason.

A number you cannot check cannot be shown false either. No procedure can come out the other way, because there is no procedure you can run. The 70 percent that cannot be re-derived is not a wrong measurement. It is not a measurement. The tautology cannot be false because it says nothing. The uncheckable number cannot be shown false because it shows nothing. A benchmark that cannot be reproduced and “it will rain or it will not” rhyme in the one respect that matters here. Both survive every test by taking none.

Cannot be true

Start with the word the line leans on. Truth here does not mean correct forever. It means a claim that has stayed standing after it was given a real chance to fall. That fixes an order. The capacity to be false comes first, and the right to say true is earned only after. What cannot be false never reaches the question of truth at all.

The immunity is the disqualification. The test for truth was always the risk of being wrong. Anything that runs no risk has bought its safety by emptying itself. A measurement that cannot fail is a tautology wearing a decimal point.

Turn that over and the equation falls out. If it cannot be false, it cannot be true, so the capacity to fail is the price of admission, and it is paid first. Spend it: a claim is true when it can be false but isn’t. Not true forever. True as standing. Truth is what could have failed and hasn’t.

Take the hardest case. Suppose I tell you I know the precise number of atoms in the universe. Call it N. Two claims hide in that sentence. One is about the world: the number is N. One is about me: I know it.

The world-claim is contingent, so it can be false, and my N almost certainly misses. But nothing can show it false. No one can count. It might, by luck, be exactly right, and still not be knowledge. Correct and unbuildable at once.

The knowledge-claim, I know N, you can test, and not by counting atoms. You demand the build. Show the chain, the derivation, a source that reaches a root I can check. There is none. So I know N is false, refuted at the level of provenance, while the world-claim under it stays out of reach. You could not check the number. You could check that I never built a warrant for it.

That is the machine in one example. A claim about the world can sit past every test. The claim to know it cannot, because knowing is a build, and a build either shows its chain or it does not. The benchmark has the same shape. Maybe the score is right. “We measured it” is false the moment the evidence is withheld, because the measurement was never built where anyone could climb to it.

You cannot be sure

A skeptic stops me here. You say true means stood after a real chance to fall, but I can never be sure it truly stood. So by your own rule I never reach truth at all.

The demand is for certainty. We believe that to know a thing is to be sure of it. Certainty was never the test. Make it the test and watch what it costs. If I know only what I am sure of, and I can never be sure of what anyone else tells me, then I know nothing anyone tells me. Every word in that sentence was inherited. The doubt is assembled out of borrowed knowledge and turned back on its source. Global skepticism spends the credit it says does not exist.

So certainty was the skeptic riding in under the realist’s coat. Drop it. You do not need to be sure a build stood. You need it to have been able to fall, and you need to act on it while it stands. Reality is the tester of last resort. It reddens the build when the build is wrong. You were never certain. You were exposed, and exposure is enough. The skeptic and the rigged benchmark fail in the same direction from opposite ends. One demands a proof nothing can supply. The other supplies a proof nothing can break. Knowledge is the build between them, the one you can act on because it could have broken and hasn’t.

Untrue is not false

If everything is either true or false, what is a conjecture? Not true, since no one has proved it. Not false, since no one has refuted it. It sits in a third state we live with daily and seldom name. Mathematics runs on all three. Proven, refuted, open. Proven is true. Refuted is false. Open is the honest home of every conjecture before its proof lands. Call it untrue. Not as an insult, as a status. P equals NP is untrue today, and so is its negation. Neither is false. Both are waiting on a build.

The usual line runs between true and false. It is in the wrong place. The real one runs between the claims that took a risk and the claims that didn’t. Built and stood is true. Built and broke is false. Those two are not opposites. They are siblings, split only by how the test came out. The third state is the one with no test, neither standing nor broken.

Truth, once you reach it, is not flat. It is a grade you climb, and belief climbs with it by degrees, as Ramsey saw. A hypothesis stands at the foot of the climb, deduced and waiting on a test it has not yet faced, untrue but in motion. A theorem is the first rung that holds, proven inside its axioms. A fact is the top, a build run so often we retire the test and treat it as unfallable, though it never stops being breakable. The build is the climb. The grade is how much the claim has survived.

Untrue runs the whole foot of the climb, from the bare guess to the conjecture with three centuries of evidence behind it. None of them is true yet. What sorts them is honesty about where they stand. A hypothesis says it is untrue and asks for the test. The withheld number says it is proven and hides the test. Plain speech hides the difference, because in plain speech “untrue” just means false. Hold them apart. There are two ways to fail to be true. You can be false, which is to have built something and watched it fall. You can be untrue, which is to have no build that has passed. The first is a result. The second is the absence of one.

We count being wrong as the disgrace and the unprovable as cover. The order of dignity runs the other way: among claims that present as knowledge, false outranks untrue. A false claim stuck its neck out and reality took the swing. It narrowed the space. It told you something, even if the something was no. An untrue claim risked nothing and told you nothing. “You are wrong” is harder won than it sounds, and “you are not even wrong” is the worse verdict. Pauli’s phrase names that floor.

Which is the charge against the withheld number. Not that the 70 percent is wrong. Wrong would be an achievement. Wrong would mean a measurement was made and missed. The number never entered the game where wrong is possible. It is an open problem reported as a theorem, a conjecture printed with a QED. A degree of belief is a bet you would settle, and a number you cannot check is a bet that can never be settled. The 70 percent poses as a confidence that no one can collect and no one can pay. It is noise dressed as one.

None of this touches the world. Out there the line is in the old place. P equals NP or it does not. The atoms have a count. Every claim about the world is true or false in real, and excluded middle holds. The three states are not states of reality. They are states of the build. A determinate fact, seen through a frame with no derivation for it, shows up as untrue, and snaps onto the ladder the moment a build arrives. The world was never the thing with three states. The ledger was.

Kant named the far side the noumenon, the thing in itself, which a knower can think but never hold. We work only the near side, the appearance the build constitutes. The post departs from him on one point. The far side still pushes back. It never shows itself, but it reddens a wrong build, and that one bit is the whole of the contact.

Truth at the edge

Where does truth live? Knowledge is a graph. A claim is a node; the citations and inferences that wire it to what it rests on and what it implies are the edges. Truth does not live in the nodes. It lives in the edges. A tautology is a single node: irrefutable, detached, wired to nothing. The irrefutability and the uselessness are one property. It has no edges.

The edges are what you grip. Provenance is the trace they leave, the handle that lets you grip a claim, push on it, and find it wanting. No handle, no grip, and no truth to be had, only assertion.

Which produces an ordering nobody expects. “Because the Bible told me so” is not being praised as evidence. It is being praised, narrowly, for naming its source. It cites its provenance. You can open the book, locate the verse, dispute the reading, weigh the authority that hands it down. It puts its source on the table and invites the argument. In that narrow sense it is not more falsifiable as a claim about the world. It is more accountable as a claim about why someone believes it. It tells you where to push.

And the citation does something precise. It makes the belief inherit the fate of its source. If the cited verse does not say it, or the authority behind it does not hold, the belief may fall too. That conditional is the falsification channel. Naming a provenance is the act of saying: here is the thing that, if it fails, takes me with it. The claim hands you a target and a way to bring it down.

It does this by moving the argument up a chain. The dispute stops being whether to believe and becomes whether the source holds, a question you can put to the source, which can be made to cite its own. Each citation is a rung. Falsifiability is the chain being climbable, link by link. Truth is not the rung at the top. It is the fact that you can keep climbing.

The uncheckable number hands you nothing to push on. Its verdict is a promise, not a trace. It cites a procedure it will not show you, so no source’s falsity can ever flow into it. It depends on nothing you can attack, which reads as strength and is the entire defect. The chain ends at the first rung, and the rung is sawn off. The argument cannot move.

On provenance, the decimal point ranks below the scripture citation. The artifact dressed as measurement is the purer act of faith, and the worse one, because faith that names its source can at least be argued with. A number that hides its source has taken “because I said so” and deleted the “I” you could have answered.

The scripture goes one better than citing outward. At its base it cites itself, and it names that base honestly: faith. That is a complete stack trace. You can follow every frame to the root, see that the root is an axiom and not a measurement, and decide for yourself whether to accept it. Nothing is hidden, least of all the bottom. The number’s trace breaks partway down. A field that asserts the patch exists, has_model_patch: true, points at a deeper frame that is not there, a dangling pointer where the evidence should sit. Both systems rest on something you finally take on trust. Only one of them signs its name to where that is.

Reverse the instinct, then. We file “the Bible told me so” at the bottom of the epistemic ladder and “70.045 percent” at the top. They sit the other way around. The one that cites can be checked. The one that computes in private cannot.

Truth is buildable

If truth needs the capacity to fail, then truth is not received, it is built. A true claim is a structure you assemble from sources, and like any build it has dependencies, a log, and a state that is green or red. Provenance is the dependency graph. Citation is an edge to what the claim rests on. Attestation is the signed build log, the line that says I built this, here is the receipt. Falsifiability is the build being able to go red. The test is reality pushing back. Truth is the build currently passing, and reproducibility is whether anyone else can rebuild it from source.

The guardrail is the one that keeps this from being relativism. Buildable does not mean manufacturable to spec, with the building making it true. The build includes a test, and the test can fail. Truth is buildable and breakable, and the breakability is the whole point. A claim whose build can never fail is not true. It is a hardcoded return value. The number that grades itself and will not show its work is return 0.70, a mocked test reporting green.

This post says truth is built. That takes nothing from the real. It only moves the real to where it always was, ahead of the build, the gap past the edge of the known. Crossing that gap is inquiry, and raising the hypothesis so the test has something to try is one of its three modes of reason, abduction.

This claim is not exempt from itself. “Truth is buildable” is a hypothesis about how knowledge behaves, and it has a build. The evidence is inductive, and mathematics is the cleanest sample of it. Math looks like the place truth arrives by proof and stands irrefutable forever, the one domain that should escape the capacity to fail. It is the opposite. Every theorem was once a conjecture, untrue and able to fall. Fermat’s last theorem sat untrue for over three centuries. Some conjectures met a counterexample and turned false. The ones that became true did it by a build, a proof, never by fiat. The whole history of mathematics is untruths migrating to truths and falsehoods through builds, and never once the other way. That regularity is the evidence. It is also the falsifier. Show a truth that arrived with no build, granted true with no chain anyone could climb, and this goes red.

The post obeys its own rule. It guessed the hypothesis, drew it out by deduction, and rested it on induction from the record. The same three modes, turned on the claim that a claim has three states. “Truth is buildable” is true the only way anything is. It was built, it could have broken, and it hasn’t yet.

Companion: belief is the edge of knowing comes at the same edge from cognition. There is no boolean truth above belief, only confidence past a threshold. Here that confidence is something you build, and can break.

Provenance endnote

The search behind the verdict, kept so you can rerun it and refute me.

A second model searched independently. It confirmed the verdict and surfaced Angelo, which my search had missed, one blind spot caught by another.