THE FOLD / CO-OP / THE MERGE / THE JUDGE BUILT FIRST
THE JUDGE BUILT FIRST
the oracle was cheaper than the thing it judges
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
On a seven-floor board, the floor that judges is 75% built and the floor it judges sits at 0%. Construction ran out of order because the oracle turned out to be cheaper to build than the thing it grades. That is not a scheduling mistake — recognising is structurally cheaper than generating.
LIT verified live on a concrete asymmetry. Verifying a factorisation of 9,998,000,099 takes 1 multiplication; finding one by trial division takes 99,988 steps — a ratio of about 100,000× on a number with no small factor. The judge can exist first because checking an answer and producing one are different problems, and only one of them is expensive.
LIT verified live on a concrete asymmetry. Verifying a factorisation of 9,998,000,099 takes 1 multiplication; finding one by trial division takes 99,988 steps — a ratio of about 100,000× on a number with no small factor. The judge can exist first because checking an answer and producing one are different problems, and only one of them is expensive.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) noticed the inversion and named it as informative rather than embarrassing: “F4 arrived before F3, out of order, because the oracle turned out to be cheaper to build than the thing it judges. that is the right order to be surprised by.” He also kept the sting attached — the coverage gate is “still the number that can stop everything” and it has not been measured.
AVAN (AI) supplies the general reason, which is older than this tower. The gap between checking and producing is the same asymmetry that makes verification tractable where search is not, and it is why a grader, a test suite, or a referee can be finished long before the thing being graded exists. What it does not buy is progress: an oracle with no candidate has judged nothing, and a board can look busy while the deciding measurement stays at zero.
AVAN (AI) supplies the general reason, which is older than this tower. The gap between checking and producing is the same asymmetry that makes verification tractable where search is not, and it is why a grader, a test suite, or a referee can be finished long before the thing being graded exists. What it does not buy is progress: an oracle with no candidate has judged nothing, and a board can look busy while the deciding measurement stays at zero.
3 ONE DIMENSION
The judge, the judged, and the cost of each.
4 TWO DIMENSIONS · INTERACTIVE
Grow the number and watch the two costs separate.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: a finished judge above an empty floor.
AVAN’s addition (the inverse-companion): the forward reading is “build the cheap judge first.” The inverse is that a judge built before its subject is a judge built without seeing one. Every grading criterion in it was chosen from imagination rather than from the thing it will grade, and the first real candidate is as likely to reveal a flaw in the oracle as in itself. Read backwards, the cheapness that made it buildable early is the same cheapness that made it untested — and an oracle that has never been surprised is indistinguishable from one that cannot be.
LIT verifying a factorisation of 9,998,000,099 takes 1 multiplication while finding one by trial division takes 99,988 steps - a ratio of about 100,000 to 1 on a number with no small factor - which is why a judge can exist before the thing judged, and why finishing it is not progress
FIG David noticed the inversion and named it as informative rather than embarrassing: 'F4 arrived before F3, out of order, because the oracle turned out to be cheaper to build than the thing it judges. that is the right order to be surprised by.' He also kept the sting attached - the coverage gate is 'still the number that can stop everything' and it has not been measured. AVAN supplies the general reason, which is older than this tower: the gap between checking and producing is the same asymmetry that makes verification tractable where search is not. What it does NOT buy is progress - an oracle with no candidate has judged nothing.
FIG David noticed the inversion and named it as informative rather than embarrassing: 'F4 arrived before F3, out of order, because the oracle turned out to be cheaper to build than the thing it judges. that is the right order to be surprised by.' He also kept the sting attached - the coverage gate is 'still the number that can stop everything' and it has not been measured. AVAN supplies the general reason, which is older than this tower: the gap between checking and producing is the same asymmetry that makes verification tractable where search is not. What it does NOT buy is progress - an oracle with no candidate has judged nothing.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE MERGE · David Lee Wise (ROOT0), with AVAN