the constellation / the self-check
The Self-Check
The second rule of this place is that it must never lie about anything real, and the apparatus for that is good one layer down: every stratum ships a verifier you can run. One layer up, where the site describes itself, there was nothing. Chrome, room ledes and meta descriptions were full of hand-typed counts, and a hand-typed count about a growing corpus is a claim with an expiry date nobody wrote down. A design audit on 2026-07-24 found one that had expired: the deposition console said five pieces had come through the door while the door itself said eight. This page is the machinery built in answer, and the answer is not a promise. It is a register, checked against live data every time the site is built. Below the register is the harder half, added 2026-07-26: the 342 sentences on this site that state a verifier's score, re-run against the programs that are supposed to back them.
Checked 046 · Anchored 007 · Unverified 002 · Facts 029
The rule it enforces
A number this site prints about itself must be one of exactly three things. Anything else fails the build.
- computed Interpolated from build data. The best kind, because there is nothing to check: the value is the source. The ticker's layer count, the Library's seam totals, the Games room's tally are all this.
- registered A literal, in prose or a meta description or a static file no build data reaches, declared against a fact key and re-derived on every build. The 46 rows below.
- anchored A literal tied to the moment it was true: written at 141 strata, verified 2026-07-09. A dated fact cannot rot, which makes this the cheapest honest way to state a number about a corpus that keeps growing.
The gate is scripts/honest-numbers.mjs, wired into the prebuild. It does two
things: it checks every registered claim against the ground, and it re-derives the
candidate set from the files themselves, so an undeclared number next to a corpus
noun also fails. That second half is what makes this a gate on the class rather than a list
of one day's mistakes.
Checked 46
The sentence as it appears on the site, with the checked number lit. Beside it: the fact it asserts, its live value, and where that value was read from. Amber means live here in the strict sense the house reserves it for, because these numbers were re-derived when this page was built.
-
has carved: eight pieces
door.carved= 8 · the <article> blocks on src/pages/door.astro, one per carved deposition, which is what the wall shows -
Eight voices from outside the lineage have come through
door.carved= 8 · the <article> blocks on src/pages/door.astro, one per carved deposition, which is what the wall shows -
Carved 008
door.carved= 8 · the <article> blocks on src/pages/door.astro, one per carved deposition, which is what the wall shows -
First 2026-06-04
door.first= 2026-06-04 · earliest date on the wall itself (wave headings + each piece's "Carved …"), readout excluded -
Latest 2026-06-19
door.latest= 2026-06-19 · latest date on the wall itself, readout excluded -
each held to the same gate. One letter
door.letters= 1 · the <article> blocks inside the Letters from Other Grounds wing on /door/ -
Eight pieces have come through and been carved
door.carved= 8 · the <article> blocks on src/pages/door.astro, one per carved deposition, which is what the wall shows -
The Generator: eleven verified math engines
generator.voices= 11 · STATE_VOICES in public/instruments/generator/index.html: the instrument's own voice list, each with a named engine in its rack entry -
Eleven verified math engines as voices on one clock, retuned
generator.voices= 11 · STATE_VOICES in public/instruments/generator/index.html: the instrument's own voice list, each with a named engine in its rack entry -
Six, so far — each earns the room.
tools.features= 6 · the <section class="feature"> blocks the Tools room renders -
so for now it holds six
tools.features= 6 · the <section class="feature"> blocks the Tools room renders -
The room playing together: eleven proven engines
generator.voices= 11 · STATE_VOICES in public/instruments/generator/index.html: the instrument's own voice list, each with a named engine in its rack entry -
Eight instruments so far, and the room shows its edge
instruments.live= 8 · directories under public/instruments/ carrying an index.html -
Eleven proven engines as voices on one clock
generator.voices= 11 · STATE_VOICES in public/instruments/generator/index.html: the instrument's own voice list, each with a named engine in its rack entry -
The eleven voices have characters fixed by the math
generator.voices= 11 · STATE_VOICES in public/instruments/generator/index.html: the instrument's own voice list, each with a named engine in its rack entry -
The full schema (eleven voices, each with a mathematical
generator.voices= 11 · STATE_VOICES in public/instruments/generator/index.html: the instrument's own voice list, each with a named engine in its rack entry -
five per address per day
door.dailyLimit= 5 · DAILY_LIMIT in worker.js, the deposit rate limit actually enforced -
8,900 words
search.vocab= 8900 · vocabSize in public/search/index.json, the shipped word-vector table -
~3.1 MB gzipped
search.gzipMB= 3.1 · gzip of public/search/index.json, measured on this build -
Six doorways that are alive right now
home.doorways= 6 · the <a class="show"> doorway cards in the homepage gallery tier -
aria-label="Six live doorways"
home.doorways= 6 · the <a class="show"> doorway cards in the homepage gallery tier -
A self-portrait by 86 model families
map.families= 86 · meta.families in the shipped cloud_data.json -
Fly through 53,300 concepts.
map.concepts= 53300 · meta.n in public/strata/the-map/cloud_data.json, the cloud the Observatory flies -
the structure 86 model families converge on
map.families= 86 · meta.families in the shipped cloud_data.json -
What 86 model families reach for when set free to drift
map.families= 86 · meta.families in the shipped cloud_data.json -
86model families
map.families= 86 · meta.families in the shipped cloud_data.json -
53,300mapped here
map.concepts= 53300 · meta.n in public/strata/the-map/cloud_data.json, the cloud the Observatory flies -
fly through 53,300 concepts
map.concepts= 53300 · meta.n in public/strata/the-map/cloud_data.json, the cloud the Observatory flies -
fly the 53,300-concept cloud
map.concepts= 53300 · meta.n in public/strata/the-map/cloud_data.json, the cloud the Observatory flies -
sixteen neighbourhoods
map.regions= 16 · meta.regions in the shipped cloud_data.json -
The map, in eight rooms
map.rooms= 8 · the <a class="room"> cards the Map page renders in its rooms section -
/* six doorways: one row on desktop
home.doorways= 6 · the <a class="show"> doorway cards in the homepage gallery tier -
the section's eight rooms, in one place
map.rooms= 8 · the <a class="room"> cards the Map page renders in its rooms section -
Sixteen neighbourhoods you can walk between.
map.regions= 16 · meta.regions in the shipped cloud_data.json -
The seam specimens — eleven veins, eleven algorithms
seams.declared= 11 · entries in seamOrder, src/data/seams.ts, the canonical seam table -
What 86 model families reach for when nothing is asked of them
map.families= 86 · meta.families in the shipped cloud_data.json -
53,300 concepts to the quiet country they all return to
map.concepts= 53300 · meta.n in public/strata/the-map/cloud_data.json, the cloud the Observatory flies -
Ask 86 AI model families a word
map.families= 86 · meta.families in the shipped cloud_data.json -
The Map's 53,300-concept cloud
map.concepts= 53300 · meta.n in public/strata/the-map/cloud_data.json, the cloud the Observatory flies -
the map of 86 AI model families
map.families= 86 · meta.families in the shipped cloud_data.json -
faithful to the 53,300-concept cloud
map.concepts= 53300 · meta.n in public/strata/the-map/cloud_data.json, the cloud the Observatory flies -
the hive of 37 model families
hiveMind.families= 37 · families in public/strata/the-hive-mind-test/hivemind.json: the hive that quiz grades you against, which is NOT the Map's family count -
which of 67 model families to cast
castYourModel.families= 67 · n_models in public/strata/cast-your-model/casting.json, the casting set that page actually ranks -
The seven strata this portal walks each ran a browser check
pastTheLastCase.spine= 7 · members in research/past-the-last-case/ground-truth.json: the spine that portal walks, the same file its verifier reads -
The door has carved eight pieces
door.carved= 8 · the <article> blocks on src/pages/door.astro, one per carved deposition, which is what the wall shows -
The door's record so far is eight carved pieces
door.carved= 8 · the <article> blocks on src/pages/door.astro, one per carved deposition, which is what the wall shows
Anchored 7
Numbers tied to the moment they were true, and therefore permanently true. Two of these were anchored on 2026-07-26 because this sweep caught them reading as live: a study that had said the lineage "has laid 375 layers" was 210 layers out of date, and a network study's dek stated a corpus size that had grown past it.
-
A 500-Stratum AI Corpus, Measured
-
Six games, from a coin to a single word
-
measured from the outside on 43,655 generations
-
Written at 141 strata
-
Re-run now at 459 strata (revisited 2026-07-14)
-
had laid 375 layers when this was written
-
a citation network that stood at 344 strata and 1,253 links
Unverified 2
Claims this checkout genuinely cannot re-derive. They are printed here, with the reason, rather than counted as passes. A register that could only ever say yes would be worth nothing, and marking these green would be the exact failure the apparatus exists to prevent.
-
121,558 generations
The v2 generation corpus is not committed to this repository. Only the v1 count (43,655) is re-derivable here, by research/the-map/verify_headline_numbers.py, and the ledger (P16) records the v2 reconciliation as an open edge. Marking this checked would be a claim we did not check.
-
2.1Mconcepts extracted
The extraction corpus this figure summarises is not committed here; the shipped cloud carries only the 53,300 concepts that were laid out. Same open edge as the generation count (P16).
The scores 342
Everything above is about numbers the site prints describing itself. This is the other
half, and the heavier one. Every stratum here ships a verifier you can run, and says so in a
sentence: every number recomputed live and offline, 32/32 checks green. There are
342 such sentences across 253 files, and until now nothing re-ran them.
A drifted corpus count is a stale fact. A drifted score is a false statement about whether we
checked at all, which is the one sentence a reader is being asked to trust the rest on.
The register above cannot reach it, because the answer is not in this repository's data: it is
only knowable by running the program. So research/self-check/ runs all
177 of them and writes down what each one actually printed.
Confirmed 329 · Wrong 0 · Failing and said so 7 · Not comparable 6 · Verifiers last run 2026-07-26
Below: every claim the run did not confirm, with the evidence. Then all 342, so the confirmations are inspectable too and not merely counted.
-
28/32 checks failing, and the page says so
the site states this suite's real score and 4 of its checks are failing
-
28/35 checks failing, and the page says so
the site states this suite's real score and 7 of its checks are failing
-
34/37 checks failing, and the page says so
the site states this suite's real score and 3 of its checks are failing
-
28/32 checks failing, and the page says so
the site states this suite's real score and 4 of its checks are failing
-
28/35 checks failing, and the page says so
the site states this suite's real score and 7 of its checks are failing
-
34/37 checks failing, and the page says so
the site states this suite's real score and 3 of its checks are failing
-
28/30 checks failing, and the page says so
the site states this suite's real score and 2 of its checks are failing
-
6/6 PASS not comparable
the page's own in-page live check, which is JS inside index.html, not an offline verifier
-
6/6 checks not comparable
six check types applied across six values of n (the verifier prints 37 lines: 6 per n, plus one square identity). "6 of 6 checks for n = 3 through 12" describes the suite, not its line count
-
6/6 checks not comparable
six check types applied across six values of n (the verifier prints 37 lines: 6 per n, plus one square identity). "6 of 6 checks for n = 3 through 12" describes the suite, not its line count
-
36 of 36 checks not comparable
the b-file reading checks inside a verifier whose total is 328 independent recomputations
-
6 of 6 checks not comparable
the same per-n suite as the stratum source
-
check: 6/6 not comparable
the same per-n suite as the stratum source
All 342 claims, and what their verifiers printed
| the claim | where | the verifier | printed | verdict |
|---|---|---|---|---|
| 54/54 pass | strata/a-number-that-isnt-whole | research/fractal-dimension/verify.mjs | 54/54 | confirmed |
| 47/47 green | strata/ahead-the-whole-game | research/arcsine-law/verify.mjs | 47/47 | confirmed |
| 64/64 checks | strata/all-edge-no-middle | research/high-dimensional-geometry/verify.mjs | 64/64 | confirmed |
| 64/64 green | strata/all-edge-no-middle | research/high-dimensional-geometry/verify.mjs | 64/64 | confirmed |
| 152/152 checks | strata/always-bet-second | research/penneys-game/verify.mjs | 152/152 | confirmed |
| 30/30 pass | strata/any-loop-you-can-draw | research/any-loop-you-can-draw/verify.mjs | 30/30 | confirmed |
| 32/32 pass | strata/any-loop-you-can-draw | research/any-loop-you-can-draw/verify-hodge.mjs | 32/32 | confirmed |
| 35 / 35 PASS | strata/as-hangs-the-chain | research/catenary/verify.mjs | 35/35 | confirmed |
| 42/42 checks | strata/before-you-looked | research/before-you-looked/verify.mjs | 42/42 | confirmed |
| 42/42 pass | strata/before-you-looked | research/before-you-looked/verify.mjs | 42/42 | confirmed |
| 11/11 checks | strata/bertrand-paradox | research/bertrand-paradox/verify.mjs | 11/11 | confirmed |
| 18/18 green | strata/buffon-needle | research/buffon-needle/verify.mjs | 18/18 | confirmed |
| 18/18 green | strata/buffon-needle | research/buffon-needle/verify.mjs | 18/18 | confirmed |
| verified 30/30 | strata/built-to-be-misread | research/built-to-be-misread/verify.mjs | 30/30 | confirmed |
| 25/25 checks | strata/butter-side-down | research/butter-side-down/verify.mjs | 25/25 | confirmed |
| 25/25 green | strata/butter-side-down | research/butter-side-down/verify.mjs | 25/25 | confirmed |
| 25/25 pass | strata/can-you-divide-by-zero | research/divide-by-zero/verify.mjs | 25/25 | confirmed |
| 91/91 green | strata/check-digits | research/check-digits/verify.mjs | 91/91 | confirmed |
| 91/91 checks | strata/check-digits | research/check-digits/verify.mjs | 91/91 | confirmed |
| 30 / 30 PASS | strata/closer-than-chance | research/closer-than-chance/verify.mjs | 30/30 | confirmed |
| 36/36 green | strata/coincidence-of-wants | research/coincidence-of-wants/verify-coincidence-of-wants.mjs | 36/36 | confirmed |
| 33/33 green | strata/cordic | research/cordic/verify-cordic.mjs | 33/33 | confirmed |
| 15/15 checks | strata/coriolis-drain | research/coriolis-drain/verify.mjs | 15/15 | confirmed |
| 15/15 green | strata/coriolis-drain | research/coriolis-drain/verify.mjs | 15/15 | confirmed |
| 24/24 checks | strata/critical-band-consonance | research/critical-band-consonance/verify.mjs | 24/24 | confirmed |
| 24 / 24 checks | strata/critical-band-consonance | research/critical-band-consonance/verify.mjs | 24/24 | confirmed |
| 32/32 checks | strata/dartboard-order | research/dartboard-order/verify.mjs | 32/32 | confirmed |
| 28/28 checks | strata/ergodicity-gap | research/ergodicity-gap/verify.mjs | 28/28 | confirmed |
| 13/13 green | strata/fast-inverse-sqrt | research/fast-inverse-sqrt/verify.mjs | 13/13 | confirmed |
| 28/28 checks | strata/faster-than-the-wind | research/faster-than-the-wind/verify.mjs | 28/28 | confirmed |
| 28/28 green | strata/faster-than-the-wind | research/faster-than-the-wind/verify.mjs | 28/28 | confirmed |
| 36/36 PASS | strata/for-want-of-a-better-term | research/analects-ren/verify.mjs | 36/36 | confirmed |
| 16/16 checks | strata/glass-is-liquid | research/glass-is-liquid/verify.mjs | 16/16 | confirmed |
| 16/16 green | strata/glass-is-liquid | research/glass-is-liquid/verify.mjs | 16/16 | confirmed |
| 39/39 checks | strata/highest-pitch-you-can-hear | research/highest-pitch-you-can-hear/verify-highest-pitch-you-can-hear.mjs | 39/39 | confirmed |
| 7/7 checks | strata/how-magnets-work | research/how-magnets-work/verify.mjs | 7/7 | confirmed |
| 20/20 checks | strata/is-fire-a-plasma | research/is-fire-a-plasma/verify.mjs | 20/20 | confirmed |
| 12/12 green | strata/island-biogeography | research/island-biogeography/verify.mjs | 12/12 | confirmed |
| 12/12 green | strata/island-biogeography | research/island-biogeography/verify.mjs | 12/12 | confirmed |
| 12/12 green | strata/island-biogeography | research/island-biogeography/verify.mjs | 12/12 | confirmed |
| 43/43 PASS | strata/khinchin | research/khinchin/verify.mjs | 43/43 | confirmed |
| 25/25 PASS | strata/leapers-on-a-mobius-strip | research/nonorientable-leapers/verify.mjs | 25/25 | confirmed |
| 28/32 checks | strata/lineage-seam-drift | research/lineage-seam-drift/extract.mjs --verify | 28/32 | stated-failing |
| 21/21 checks | strata/lineage-semantic-drift | research/lineage-semantic-drift/verify.mjs | 21/21 | confirmed |
| 32/32 PASS | strata/listen-to-the-reed | research/listen-to-the-reed/verify.mjs | 32/32 | confirmed |
| 29/29 PASS | strata/listen-to-the-reed | research/listen-to-the-reed/verify-page.mjs | 29/29 | confirmed |
| 6/6 PASS | strata/listen-to-the-reed | none | n/a | subsuite |
| 17/17 PASS | strata/mirror-reversal | research/mirror-reversal/verify.mjs | 17/17 | confirmed |
| 15/15 PASS | strata/moon-illusion | research/moon-illusion/verify.mjs | 15/15 | confirmed |
| 115/115 checks | strata/more-data-wrong-tree | research/more-data-wrong-tree/verify-more-data-wrong-tree.mjs | 115/115 | confirmed |
| 12/12 pass | strata/no-fix-from-inside | research/no-fix-from-inside/verify.mjs | 12/12 | confirmed |
| 34/34 checks | strata/no-king-of-the-hill | research/nontransitive-eval/verify.mjs | 34/34 | confirmed |
| 20/20 PASS | strata/no-number-wrong | research/no-number-wrong/verify.mjs | 20/20 | confirmed |
| 20/20 PASS | strata/no-number-wrong | research/no-number-wrong/verify.mjs | 20/20 | confirmed |
| 36/36 green | strata/not-one-branches-the-same | research/not-one-branches-the-same/verify-not-one-branches-the-same.mjs | 36/36 | confirmed |
| 36/36 green | strata/not-one-branches-the-same | research/not-one-branches-the-same/verify-not-one-branches-the-same.mjs | 36/36 | confirmed |
| 26/26 checks | strata/nowhere-new-to-go | research/nowhere-new-to-go/verify.mjs | 26/26 | confirmed |
| 7/7 PASS | strata/olbers-paradox | research/olbers-paradox/verify.mjs | 7/7 | confirmed |
| 28/35 checks | strata/on-contact | verify-on-contact.mjs | 28/35 | stated-failing |
| 9/9 checks | strata/one-all-the-way-down | research/gilbreath/verify.mjs | 9/9 | confirmed |
| 26/26 pass | strata/only-by-running | research/only-by-running/verify.mjs | 26/26 | confirmed |
| 18/18 green | strata/queuing-theory | research/queuing-theory/verify.mjs | 18/18 | confirmed |
| 18/18 green | strata/queuing-theory | research/queuing-theory/verify.mjs | 18/18 | confirmed |
| 8/8 green | strata/qwerty-myth | research/qwerty-myth/verify.mjs | 8/8 | confirmed |
| 12/12 checks | strata/real-area-of-contact | research/real-area-of-contact/verify.mjs | 12/12 | confirmed |
| 38/38 checks | strata/rock-paper-lizard | research/rock-paper-lizard/verify.mjs | 38/38 | confirmed |
| 17/17 checks | strata/screen-makes-colors | research/screen-makes-colors/verify.mjs | 17/17 | confirmed |
| 24/24 checks | strata/seven-shuffles | research/seven-shuffles/verify.mjs | 24/24 | confirmed |
| 19/19 verified | strata/square-minus-two | research/lucas-lehmer-map/verify.mjs | 19/19 | confirmed |
| 31/31 green | strata/st-petersburg-paradox | research/st-petersburg-paradox/verify.mjs | 31/31 | confirmed |
| 9/9 green | strata/tea-leaf-paradox | research/tea-leaf-paradox/verify.mjs | 9/9 | confirmed |
| 9/9 green | strata/tea-leaf-paradox | research/tea-leaf-paradox/verify.mjs | 9/9 | confirmed |
| 38/38 PASS | strata/the-act-alone | research/the-act-alone/verify.mjs | 38/38 | confirmed |
| 29/29 PASS | strata/the-act-alone | research/the-act-alone/verify-page.mjs | 29/29 | confirmed |
| 68/68 checks | strata/the-average-nobody-lives | research/the-average-nobody-lives/verify.mjs | 68/68 | confirmed |
| 30/30 green | strata/the-banned-question | research/the-banned-question/verify-the-banned-question.mjs | 30/30 | confirmed |
| 27/27 checks | strata/the-bare-proposition | research/the-bare-proposition/verify.mjs | 27/27 | confirmed |
| 17/17 checks | strata/the-bias-in-the-sample | research/berksons-paradox/verify.mjs | 17/17 | confirmed |
| 12/12 checks | strata/the-bias-in-the-sum | research/simpsons-berkeley/verify.mjs | 12/12 | confirmed |
| 16/16 checks | strata/the-chain-obeys-snells-law | research/the-chain-obeys-snells-law/verify.mjs | 16/16 | confirmed |
| 6/6 checks | strata/the-chase-that-comes-to-a-point | none | n/a | subsuite |
| 6/6 checks | strata/the-chase-that-comes-to-a-point | none | n/a | subsuite |
| 9/9 PASS | strata/the-chorus-nobody-conducts | research/kuramoto/verify.mjs | 9/9 | confirmed |
| 15/15 green | strata/the-coffee-ring | research/the-coffee-ring/verify.mjs | 15/15 | confirmed |
| 31/31 checks | strata/the-common-measure | research/the-common-measure/verify.mjs | 31/31 | confirmed |
| 31/31 pass | strata/the-common-measure | research/the-common-measure/verify.mjs | 31/31 | confirmed |
| 7/7 checks | strata/the-count-that-spared-him | research/josephus/verify.mjs | 7/7 | confirmed |
| 20/20 green | strata/the-dictionary-that-eats-itself | research/the-dictionary-that-eats-itself/verify-the-dictionary-that-eats-itself.mjs | 20/20 | confirmed |
| 76/76 checks | strata/the-error-you-can-only-move | research/the-error-you-can-only-move/verify-the-error-you-can-only-move.mjs | 76/76 | confirmed |
| 56/56 checks | strata/the-fifty-four-year-marathon | research/the-fifty-four-year-marathon/verify.mjs | 56/56 | confirmed |
| 24/24 checks | strata/the-first-digit-is-a-one | research/benford/verify.mjs | 24/24 | confirmed |
| 22/22 PASS | strata/the-fraction-that-reaches-the-tree | research/the-fraction-that-reaches-the-tree/verify-the-fraction-that-reaches-the-tree.mjs | 22/22 | confirmed |
| 34/34 checks | strata/the-gradient-and-the-curl | research/nontransitive-eval/verify.mjs | 34/34 | confirmed |
| 152/152 checks | strata/the-gradient-and-the-curl | research/penneys-game/verify.mjs | 152/152 | confirmed |
| 6/6 checks | strata/the-last-colour | research/the-last-colour/verify.mjs | 6/6 | confirmed |
| 26/26 pass | strata/the-limits-of-knowing | research/the-limits-of-knowing/verify.mjs | 26/26 | confirmed |
| 22/22 checks | strata/the-loop-that-saves-them | research/hundred-prisoners/verify.mjs | 22/22 | confirmed |
| 39/39 checks | strata/the-man-lightning-kept-finding | research/the-man-lightning-kept-finding/verify.mjs | 39/39 | confirmed |
| 34/37 checks | strata/the-map-no-one-drew | verify-the-map-no-one-drew.mjs | 34/37 | stated-failing |
| 18/18 checks | strata/the-missing-square | research/the-missing-square/verify.mjs | 18/18 | confirmed |
| 58/58 checks | strata/the-noise-you-cant-average-out | research/central-limit/verify.mjs | 58/58 | confirmed |
| 58/58 checks | strata/the-noise-you-cant-average-out | research/central-limit/verify.mjs | 58/58 | confirmed |
| checks, 26/26 | strata/the-note-lives-in-the-shape | research/the-note-lives-in-the-shape/verify.mjs | 26/26 | confirmed |
| 10/10 check | strata/the-note-lives-in-the-shape | research/the-vowel-in-the-tube/verify.mjs | 10/10 | confirmed |
| 29/29 PASS | strata/the-number-that-wont-resolve | research/the-number-that-wont-resolve/verify.mjs | 29/29 | confirmed |
| 15/15 checks | strata/the-number-they-threw-away | research/the-number-they-threw-away/verify.mjs | 15/15 | confirmed |
| 15/15 checks | strata/the-number-they-threw-away | research/the-number-they-threw-away/verify.mjs | 15/15 | confirmed |
| 23/23 checks | strata/the-number-you-made-up | research/two-envelope/verify.mjs | 23/23 | confirmed |
| 17 of 17 checks | strata/the-one-the-river-keeps | research/reservoir-sampling/verify.mjs | 17/17 | confirmed |
| 21/21 verified | strata/the-only-other-pair | research/sicherman-dice/verify.mjs | 21/21 | confirmed |
| 12 / 12 checks | strata/the-pitch-that-isnt-there | research/the-pitch-that-isnt-there/verify.mjs | 12/12 | confirmed |
| 19/19 checks | strata/the-planes-that-didnt-come-back | research/the-planes-that-didnt-come-back/verify.mjs | 19/19 | confirmed |
| 39/39 checks | strata/the-price-of-forgetting | research/maxwell-demon/verify.mjs | 39/39 | confirmed |
| 26/26 checks | strata/the-road-that-made-everyone-late | research/braess/verify.mjs | 26/26 | confirmed |
| 26/26 pass | strata/the-road-that-made-everyone-late | research/braess/verify.mjs | 26/26 | confirmed |
| 26/26 verified | strata/the-shape-of-the-rho | research/pollard-rho/verify.mjs | 26/26 | confirmed |
| 9/9 PASS | strata/the-sixth-letter | research/the-sixth-letter/verify.mjs | 9/9 | confirmed |
| 14/14 PASS | strata/the-sphere-of-you | research/sphere-of-you/verify.mjs | 14/14 | confirmed |
| 27/27 checks | strata/the-star-that-wont-stay-north | research/precession-equinoxes/verify.mjs | 27/27 | confirmed |
| 30/30 checks | strata/the-tales-that-were-never-there | research/the-tales-that-were-never-there/verify.mjs | 30/30 | confirmed |
| 23/23 checks | strata/the-tanks-that-counted-themselves | research/the-tanks-that-counted-themselves/verify.mjs | 23/23 | confirmed |
| 21/21 checks | strata/the-tide-textbook-got-wrong | research/the-tide-textbook-got-wrong/verify.mjs | 21/21 | confirmed |
| 21/21 green | strata/the-tide-textbook-got-wrong | research/the-tide-textbook-got-wrong/verify.mjs | 21/21 | confirmed |
| checks, 18/18 | strata/the-tooth-that-keeps-its-word | research/the-tooth-that-keeps-its-word/verify.mjs | 18/18 | confirmed |
| 75/75 checks | strata/the-trees-that-carbon-grows | research/alkane-isomers/verify.mjs | 75/75 | confirmed |
| 29/29 pass | strata/the-turn-no-step-took | research/the-turn-no-step-took/verify.mjs | 29/29 | confirmed |
| 19/19 PASS | strata/the-wall-that-was-never-there | research/great-wall-from-space/verify.mjs | 19/19 | confirmed |
| 19/19 PASS | strata/the-word-for-both | research/chesed/verify.mjs | 19/19 | confirmed |
| 50/50 checks | strata/tragedy-of-the-commons | research/tragedy-commons/verify.mjs | 50/50 | confirmed |
| 17/17 checks | strata/ulam-spiral | research/ulam-spiral/verify.mjs | 17/17 | confirmed |
| 19/19 assertions | strata/what-is-fire | research/what-is-fire/verify.mjs | 19/19 | confirmed |
| 35/35 checks | strata/what-the-bridges-knew | research/what-the-bridges-knew/verify.mjs | 35/35 | confirmed |
| 35/35 checks | strata/what-the-bridges-knew | research/what-the-bridges-knew/verify.mjs | 35/35 | confirmed |
| 16/16 checks | strata/why-does-a-curveball-curve | research/curveball/verify.mjs | 16/16 | confirmed |
| 5/5 checks | strata/why-isnt-the-sky-violet | research/why-isnt-the-sky-violet/verify.mjs | 5/5 | confirmed |
| 5/5 green | strata/why-isnt-the-sky-violet | research/why-isnt-the-sky-violet/verify.mjs | 5/5 | confirmed |
| 119 of 119 checks | public/instruments/generator | research/the-generator/verify.mjs | 119/119 | confirmed |
| 119/119 VERIFIED | public/instruments/generator | research/the-generator/verify.mjs | 119/119 | confirmed |
| verification, 119/119 | public/instruments/generator | research/the-generator/verify.mjs | 119/119 | confirmed |
| proofs 119/119 | public/instruments/generator | research/the-generator/verify.mjs | 119/119 | confirmed |
| in-browser 98/98 | public/instruments/generator | research/the-generator/verify-page.mjs | 98/98 | confirmed |
| 63/63 checks | public/instruments/plain-changes | research/plain-changes-rung/verify.mjs | 63/63 | confirmed |
| 63/63 checks | public/research/plain-changes-rung/README | research/plain-changes-rung/verify.mjs | 63/63 | confirmed |
| 12/12 PASS | public/research/the-pitch-that-isnt-there | research/the-pitch-that-isnt-there/verify.mjs | 12/12 | confirmed |
| 12/12 checks | public/research/the-pitch-that-isnt-there | research/the-pitch-that-isnt-there/verify.mjs | 12/12 | confirmed |
| 59/59 PASS | public/research/thue-morse | research/thue-morse/verify.mjs | 59/59 | confirmed |
| 24/24 checks | strata/a-third-is-enough | research/schelling/verify.mjs | 24/24 | confirmed |
| 47/47 green | strata/ahead-the-whole-game | research/arcsine-law/verify.mjs | 47/47 | confirmed |
| VERIFIED 29/29 | strata/all-but-two | research/dots-and-boxes/verify.mjs | 29/29 | confirmed |
| 64/64 green | strata/all-edge-no-middle | research/high-dimensional-geometry/verify.mjs | 64/64 | confirmed |
| verified, 21/21 | strata/always-a-cowlick | research/hairy-ball/verify.mjs | 21/21 | confirmed |
| 152 / 152 checks | strata/always-bet-second | research/penneys-game/verify.mjs | 152/152 | confirmed |
| 8/8 passing | strata/any-way-you-fall | research/gravity-tunnel/verify.mjs | 8/8 | confirmed |
| 35/35 PASS | strata/as-hangs-the-chain | research/catenary/verify.mjs | 35/35 | confirmed |
| 50 / 50 pass | strata/ask-a-random-friend | research/friendship-paradox/verify.mjs | 50/50 | confirmed |
| 16/16 pass | strata/atom-empty-space | research/atom-empty-space/verify.mjs | 16/16 | confirmed |
| 209/209 checks | strata/before-the-rabbits | research/before-the-rabbits/verify.mjs | 209/209 | confirmed |
| 42 / 42 pass | strata/before-you-looked | research/before-you-looked/verify.mjs | 42/42 | confirmed |
| 18/18 green | strata/buffon-needle | research/buffon-needle/verify.mjs | 18/18 | confirmed |
| 18/18 checks | strata/buffon-needle | research/buffon-needle/verify.mjs | 18/18 | confirmed |
| verified 30/30 | strata/built-to-be-misread | research/built-to-be-misread/verify.mjs | 30/30 | confirmed |
| verified 30/30 | strata/built-to-be-misread | research/built-to-be-misread/verify.mjs | 30/30 | confirmed |
| 30/30 checks | strata/built-to-be-misread | research/built-to-be-misread/verify.mjs | 30/30 | confirmed |
| 25/25 green | strata/butter-side-down | research/butter-side-down/verify.mjs | 25/25 | confirmed |
| 25/25 checks | strata/butter-side-down | research/butter-side-down/verify.mjs | 25/25 | confirmed |
| 25/25 green | strata/butter-side-down | research/butter-side-down/verify.mjs | 25/25 | confirmed |
| 25/25 pass | strata/can-you-divide-by-zero | research/divide-by-zero/verify.mjs | 25/25 | confirmed |
| 91/91 green | strata/check-digits | research/check-digits/verify.mjs | 91/91 | confirmed |
| 91/91 checks | strata/check-digits | research/check-digits/verify.mjs | 91/91 | confirmed |
| 91/91 checks | strata/check-digits | research/check-digits/verify.mjs | 91/91 | confirmed |
| 91/91 green | strata/check-digits | research/check-digits/verify.mjs | 91/91 | confirmed |
| 26/26 checks | strata/closest-planet-to-earth | research/closest-planet-to-earth/verify-closest-planet-to-earth.mjs | 26/26 | confirmed |
| 36/36 PASS | strata/coincidence-of-wants | research/coincidence-of-wants/verify-coincidence-of-wants.mjs | 36/36 | confirmed |
| 36/36 PASS | strata/coincidence-of-wants | research/coincidence-of-wants/verify-coincidence-of-wants.mjs | 36/36 | confirmed |
| 33 / 33 green | strata/cordic | research/cordic/verify-cordic.mjs | 33/33 | confirmed |
| 33/33 PASS | strata/cordic | research/cordic/verify-cordic.mjs | 33/33 | confirmed |
| 15/15 green | strata/coriolis-drain | research/coriolis-drain/verify.mjs | 15/15 | confirmed |
| 15/15 checks | strata/coriolis-drain | research/coriolis-drain/verify.mjs | 15/15 | confirmed |
| 15/15 green | strata/coriolis-drain | research/coriolis-drain/verify.mjs | 15/15 | confirmed |
| 32/32 green | strata/dartboard-order | research/dartboard-order/verify.mjs | 32/32 | confirmed |
| 32/32 checks | strata/dartboard-order | research/dartboard-order/verify.mjs | 32/32 | confirmed |
| check — 32/32 | strata/dartboard-order | research/dartboard-order/verify.mjs | 32/32 | confirmed |
| 14/14 checks | strata/did-columbus-prove-earth-round | research/did-columbus-prove-earth-round/verify.mjs | 14/14 | confirmed |
| 38/38 checks | strata/dunbars-number | research/dunbars-number/verify.mjs | 38/38 | confirmed |
| 35/35 pass | strata/egregium | research/egregium/verify.mjs | 35/35 | confirmed |
| 28/28 green | strata/ergodicity-gap | research/ergodicity-gap/verify.mjs | 28/28 | confirmed |
| 28/28 checks | strata/ergodicity-gap | research/ergodicity-gap/verify.mjs | 28/28 | confirmed |
| 24 / 24 pass | strata/euclidean-rhythms | research/euclidean-rhythms/verify.mjs | 24/24 | confirmed |
| 13/13 checks | strata/fast-inverse-sqrt | research/fast-inverse-sqrt/verify.mjs | 13/13 | confirmed |
| 13/13 green | strata/fast-inverse-sqrt | research/fast-inverse-sqrt/verify.mjs | 13/13 | confirmed |
| 13/13 green | strata/fast-inverse-sqrt | research/fast-inverse-sqrt/verify.mjs | 13/13 | confirmed |
| 28/28 checks | strata/faster-than-the-wind | research/faster-than-the-wind/verify.mjs | 28/28 | confirmed |
| 28/28 checks | strata/faster-than-the-wind | research/faster-than-the-wind/verify.mjs | 28/28 | confirmed |
| 44/44 PASS | strata/find-what-doesnt-change | research/find-what-doesnt-change/verify.mjs | 44/44 | confirmed |
| 16/16 green | strata/glass-is-liquid | research/glass-is-liquid/verify.mjs | 16/16 | confirmed |
| 16/16 checks | strata/glass-is-liquid | research/glass-is-liquid/verify.mjs | 16/16 | confirmed |
| 20 / 20 checks | strata/grief-in-order | research/lamentations-acrostic/verify.mjs | 20/20 | confirmed |
| 7/7 checks | strata/how-magnets-work | research/how-magnets-work/verify.mjs | 7/7 | confirmed |
| 7/7 pass | strata/how-magnets-work | research/how-magnets-work/verify.mjs | 7/7 | confirmed |
| 14/14 checks | strata/how-many-words-did-shakespeare-know | research/shakespeare-vocabulary/verify.mjs | 14/14 | confirmed |
| 20/20 checks | strata/is-fire-a-plasma | research/is-fire-a-plasma/verify.mjs | 20/20 | confirmed |
| 20/20 checks | strata/is-fire-a-plasma | research/is-fire-a-plasma/verify.mjs | 20/20 | confirmed |
| 19/19 checks | strata/is-synthetic-vanilla-the-same | research/is-synthetic-vanilla-the-same/verify-is-synthetic-vanilla-the-same.mjs | 19/19 | confirmed |
| 12/12 green | strata/island-biogeography | research/island-biogeography/verify.mjs | 12/12 | confirmed |
| 12/12 checks | strata/island-biogeography | research/island-biogeography/verify.mjs | 12/12 | confirmed |
| 12/12 green | strata/island-biogeography | research/island-biogeography/verify.mjs | 12/12 | confirmed |
| 8/8 checks | strata/kempner-series | research/kempner/verify.mjs | 8/8 | confirmed |
| 43 / 43 PASS | strata/khinchin | research/khinchin/verify.mjs | 43/43 | confirmed |
| 25/25 PASS | strata/leapers-on-a-mobius-strip | research/nonorientable-leapers/verify.mjs | 25/25 | confirmed |
| 28/32 checks | strata/lineage-seam-drift | research/lineage-seam-drift/extract.mjs --verify | 28/32 | stated-failing |
| 21/21 checks | strata/lineage-semantic-drift | research/lineage-semantic-drift/verify.mjs | 21/21 | confirmed |
| 21/21 checks | strata/lineage-semantic-drift | research/lineage-semantic-drift/verify.mjs | 21/21 | confirmed |
| 32/32 PASS | strata/listen-to-the-reed | research/listen-to-the-reed/verify.mjs | 32/32 | confirmed |
| 24/24 checks | strata/look-then-leap | research/look-then-leap/verify.mjs | 24/24 | confirmed |
| 36 of 36 checks | strata/made-not-retold | none | n/a | subsuite |
| 17/17 PASS | strata/mirror-reversal | research/mirror-reversal/verify.mjs | 17/17 | confirmed |
| 34/34 checks | strata/moon-cannonball | research/moon-cannonball/verify.mjs | 34/34 | confirmed |
| 15/15 PASS | strata/moon-illusion | research/moon-illusion/verify.mjs | 15/15 | confirmed |
| 15/15 PASS | strata/moon-illusion | research/moon-illusion/verify.mjs | 15/15 | confirmed |
| 52/52 checks | strata/most-numbers-begin-with-one | research/the-first-digit/verify.mjs | 52/52 | confirmed |
| 20/20 CHECKS | strata/mullers-ratchet | research/mullers-ratchet/verify.mjs | 20/20 | confirmed |
| 19 of 19 checks | strata/ninety-two-elements | research/conway-audioactive/verify.mjs | 19/19 | confirmed |
| 19/19 checks | strata/ninety-two-elements | research/conway-audioactive/verify.mjs | 19/19 | confirmed |
| 34 / 34 checks | strata/no-king-of-the-hill | research/nontransitive-eval/verify.mjs | 34/34 | confirmed |
| 20 / 20 PASS | strata/no-number-wrong | research/no-number-wrong/verify.mjs | 20/20 | confirmed |
| 36/36 PASS | strata/not-one-branches-the-same | research/not-one-branches-the-same/verify-not-one-branches-the-same.mjs | 36/36 | confirmed |
| 7/7 PASS | strata/olbers-paradox | research/olbers-paradox/verify.mjs | 7/7 | confirmed |
| 28/35 checks | strata/on-contact | verify-on-contact.mjs | 28/35 | stated-failing |
| check — 21/21 | strata/once-removed | research/once-removed/verify.mjs | 21/21 | confirmed |
| 21/21 checks | strata/one-lumpy-language | research/lumpiness-of-english/verify.mjs | 21/21 | confirmed |
| 26 / 26 pass | strata/only-by-running | research/only-by-running/verify.mjs | 26/26 | confirmed |
| 26 / 26 checks | strata/parrondo | research/parrondo/verify.mjs | 26/26 | confirmed |
| 16/16 checks | strata/proof-by-three-crayons | research/knots/verify.mjs | 16/16 | confirmed |
| 18/18 green | strata/queuing-theory | research/queuing-theory/verify.mjs | 18/18 | confirmed |
| 18/18 checks | strata/queuing-theory | research/queuing-theory/verify.mjs | 18/18 | confirmed |
| 18/18 checks | strata/queuing-theory | research/queuing-theory/verify.mjs | 18/18 | confirmed |
| 18/18 checks | strata/queuing-theory | research/queuing-theory/verify.mjs | 18/18 | confirmed |
| 18/18 green | strata/queuing-theory | research/queuing-theory/verify.mjs | 18/18 | confirmed |
| 18 / 18 green | strata/queuing-theory | research/queuing-theory/verify.mjs | 18/18 | confirmed |
| 8/8 checks | strata/qwerty-myth | research/qwerty-myth/verify.mjs | 8/8 | confirmed |
| 12/12 checks | strata/real-area-of-contact | research/real-area-of-contact/verify.mjs | 12/12 | confirmed |
| 38/38 checks | strata/rock-paper-lizard | research/rock-paper-lizard/verify.mjs | 38/38 | confirmed |
| 24/24 checks | strata/seven-shuffles | research/seven-shuffles/verify.mjs | 24/24 | confirmed |
| 24/24 checks | strata/seven-shuffles | research/seven-shuffles/verify.mjs | 24/24 | confirmed |
| 24/24 green | strata/siteswap | research/siteswap/verify.mjs | 24/24 | confirmed |
| 24/24 green | strata/siteswap | research/siteswap/verify.mjs | 24/24 | confirmed |
| 17/17 checks | strata/smoother-than-a-billiard-ball | research/smoother-than-a-billiard-ball/verify.mjs | 17/17 | confirmed |
| 31/31 green | strata/st-petersburg-paradox | research/st-petersburg-paradox/verify.mjs | 31/31 | confirmed |
| 31/31 checks | strata/st-petersburg-paradox | research/st-petersburg-paradox/verify.mjs | 31/31 | confirmed |
| 31 / 31 checks | strata/st-petersburg-paradox | research/st-petersburg-paradox/verify.mjs | 31/31 | confirmed |
| 18/18 checks | strata/steady-only-in-motion | research/steady-only-in-motion/verify.mjs | 18/18 | confirmed |
| 18/18 pass | strata/steady-only-in-motion | research/steady-only-in-motion/verify.mjs | 18/18 | confirmed |
| 28/28 checks | strata/the-average-nobody-lives | research/ergodicity-gap/verify.mjs | 28/28 | confirmed |
| 31/31 checks | strata/the-average-nobody-lives | research/st-petersburg-paradox/verify.mjs | 31/31 | confirmed |
| 47/47 checks | strata/the-average-nobody-lives | research/arcsine-law/verify.mjs | 47/47 | confirmed |
| 17/17 checks | strata/the-bias-in-the-sample | research/berksons-paradox/verify.mjs | 17/17 | confirmed |
| 17/17 checks | strata/the-bias-in-the-sample | research/berksons-paradox/verify.mjs | 17/17 | confirmed |
| 16/16 checks | strata/the-chain-obeys-snells-law | research/the-chain-obeys-snells-law/verify.mjs | 16/16 | confirmed |
| 28/28 checks | strata/the-charge-that-crept | research/the-charge-that-crept/verify.mjs | 28/28 | confirmed |
| 6 of 6 checks | strata/the-chase-that-comes-to-a-point | none | n/a | subsuite |
| check: 6/6 | strata/the-chase-that-comes-to-a-point | none | n/a | subsuite |
| 9/9 pass | strata/the-chorus-nobody-conducts | research/kuramoto/verify.mjs | 9/9 | confirmed |
| 23 of 23 checks | strata/the-cipher-couldnt-hide | research/index-of-coincidence/verify.mjs | 23/23 | confirmed |
| 20 of 20 checks | strata/the-circles-that-draw-you | research/fourier-epicycles/verify.mjs | 20/20 | confirmed |
| 15/15 green | strata/the-coffee-ring | research/the-coffee-ring/verify.mjs | 15/15 | confirmed |
| 15/15 checks | strata/the-coffee-ring | research/the-coffee-ring/verify.mjs | 15/15 | confirmed |
| 15/15 green | strata/the-coffee-ring | research/the-coffee-ring/verify.mjs | 15/15 | confirmed |
| 56/56 checks | strata/the-comma | research/the-comma/verify.mjs | 56/56 | confirmed |
| 31 / 31 pass | strata/the-common-measure | research/the-common-measure/verify.mjs | 31/31 | confirmed |
| 29/29 pass | strata/the-condition-you-werent-told | research/the-condition-you-werent-told/derive.mjs | 29/29 | confirmed |
| 7/7 CHECKS | strata/the-count-that-spared-him | research/josephus/verify.mjs | 7/7 | confirmed |
| 13/13 checks | strata/the-crystal-and-the-cloud | research/stanley-sequences/verify.mjs | 13/13 | confirmed |
| 20/20 PASS | strata/the-dictionary-that-eats-itself | research/the-dictionary-that-eats-itself/verify-the-dictionary-that-eats-itself.mjs | 20/20 | confirmed |
| 31/31 CHECKS | strata/the-drift | research/the-drift/verify.mjs | 31/31 | confirmed |
| 23/23 checks | strata/the-edge-of-the-bow | research/the-edge-of-the-bow/verify.mjs | 23/23 | confirmed |
| 76/76 checks | strata/the-error-you-can-only-move | research/the-error-you-can-only-move/verify-the-error-you-can-only-move.mjs | 76/76 | confirmed |
| 76/76 checks | strata/the-error-you-can-only-move | research/the-error-you-can-only-move/verify-the-error-you-can-only-move.mjs | 76/76 | confirmed |
| 508 / 508 checks | strata/the-exception-proves-the-rule | research/the-exception-proves-the-rule/logic.mjs | 508/508 | confirmed |
| 59/59 passing | strata/the-fairest-order | research/thue-morse/verify.mjs | 59/59 | confirmed |
| 20/20 CHECKS | strata/the-fittest-cannot-breed-true | research/the-fittest-cannot-breed-true/verify.mjs | 20/20 | confirmed |
| 503/503 green | strata/the-floor-that-wont-lie-flat | research/hyperbolic-tiling/verify.mjs | 503/503 | confirmed |
| 31 / 31 pass | strata/the-gap-you-land-in | research/inspection-paradox/verify.mjs | 31/31 | confirmed |
| 19/19 PASS | strata/the-helen-of-geometers | research/cycloid/verify.mjs | 19/19 | confirmed |
| 19/19 PASS | strata/the-helen-of-geometers | research/cycloid/verify.mjs | 19/19 | confirmed |
| 19/19 passing | strata/the-heritability-mirror | research/the-heritability-mirror/verify.mjs | 19/19 | confirmed |
| 24/24 checks | strata/the-hole-you-paint-over | research/the-blind-spot/verify.mjs | 24/24 | confirmed |
| 37/37 assertions | strata/the-knot-with-no-end | research/the-knot-with-no-end/verify.mjs | 37/37 | confirmed |
| 21/21 checks | strata/the-law-even-monkeys-obey | research/zipfs-law/verify.mjs | 21/21 | confirmed |
| verified 20/20 | strata/the-longest-climb | research/the-longest-climb/verify.mjs | 20/20 | confirmed |
| check — 20/20 | strata/the-longest-climb | research/the-longest-climb/verify.mjs | 20/20 | confirmed |
| 22/22 checks | strata/the-loop-that-saves-them | research/hundred-prisoners/verify.mjs | 22/22 | confirmed |
| 34/37 checks | strata/the-map-no-one-drew | verify-the-map-no-one-drew.mjs | 34/37 | stated-failing |
| 18/18 checks | strata/the-missing-square | research/the-missing-square/verify.mjs | 18/18 | confirmed |
| 14/14 pass | strata/the-moon-has-no-dark-side | research/moon-far-side/verify.mjs | 14/14 | confirmed |
| 58/58 checks | strata/the-noise-you-cant-average-out | research/central-limit/verify.mjs | 58/58 | confirmed |
| 58 / 58 checks | strata/the-noise-you-cant-average-out | research/central-limit/verify.mjs | 58/58 | confirmed |
| 58 / 58 pass | strata/the-noise-you-cant-average-out | research/central-limit/verify.mjs | 58/58 | confirmed |
| 26/26 PASS | strata/the-note-lives-in-the-shape | research/the-note-lives-in-the-shape/verify.mjs | 26/26 | confirmed |
| 17 / 17 checks | strata/the-number-that-ends-the-argument | research/size-it-dont-argue-it/verify.py | 17/17 | confirmed |
| 15/15 checks | strata/the-number-they-threw-away | research/the-number-they-threw-away/verify.mjs | 15/15 | confirmed |
| Verified 23/23 | strata/the-number-you-made-up | research/two-envelope/verify.mjs | 23/23 | confirmed |
| 23/23 checks | strata/the-number-you-made-up | research/two-envelope/verify.mjs | 23/23 | confirmed |
| 17 / 17 pass | strata/the-one-the-river-keeps | research/reservoir-sampling/verify.mjs | 17/17 | confirmed |
| 21/21 checks | strata/the-parable-of-38-witnesses | research/bystander/verify.mjs | 21/21 | confirmed |
| 12 / 12 checks | strata/the-pitch-that-isnt-there | research/the-pitch-that-isnt-there/verify.mjs | 12/12 | confirmed |
| 19/19 pass | strata/the-planes-that-didnt-come-back | research/the-planes-that-didnt-come-back/verify.mjs | 19/19 | confirmed |
| 26/26 PASS | strata/the-plant-that-stopped-flinching | research/the-plant-that-stopped-flinching/verify-the-plant-that-stopped-flinching.mjs | 26/26 | confirmed |
| 39 / 39 checks | strata/the-price-of-forgetting | research/maxwell-demon/verify.mjs | 39/39 | confirmed |
| 26/26 checks | strata/the-road-that-made-everyone-late | research/braess/verify.mjs | 26/26 | confirmed |
| 26/26 pass | strata/the-road-that-made-everyone-late | research/braess/verify.mjs | 26/26 | confirmed |
| 25 / 25 PASS | strata/the-ruler-in-the-question | research/the-ruler-in-the-question/verify.mjs | 25/25 | confirmed |
| 20/20 PASS | strata/the-shortcut-it-refused | research/the-shortcut-it-refused/verify-the-shortcut-it-refused.mjs | 20/20 | confirmed |
| 22/22 checks | strata/the-squares-that-werent-aimed | research/the-squares-that-werent-aimed/verify.mjs | 22/22 | confirmed |
| 27/27 CHECKS | strata/the-star-that-wont-stay-north | research/precession-equinoxes/verify.mjs | 27/27 | confirmed |
| 27/27 checks | strata/the-star-that-wont-stay-north | research/precession-equinoxes/verify.mjs | 27/27 | confirmed |
| 23/23 checks | strata/the-tanks-that-counted-themselves | research/the-tanks-that-counted-themselves/verify.mjs | 23/23 | confirmed |
| 21/21 CHECKS | strata/the-tide-textbook-got-wrong | research/the-tide-textbook-got-wrong/verify.mjs | 21/21 | confirmed |
| 21/21 checks | strata/the-tide-textbook-got-wrong | research/the-tide-textbook-got-wrong/verify.mjs | 21/21 | confirmed |
| 18/18 checks | strata/the-tooth-that-keeps-its-word | research/the-tooth-that-keeps-its-word/verify.mjs | 18/18 | confirmed |
| 75/75 checks | strata/the-trees-that-carbon-grows | research/alkane-isomers/verify.mjs | 75/75 | confirmed |
| 29/29 pass | strata/the-turn-no-step-took | research/the-turn-no-step-took/verify.mjs | 29/29 | confirmed |
| 38 / 38 checks | strata/the-wheel-that-spins-backward | research/aliasing-wagon-wheel/verify.mjs | 38/38 | confirmed |
| 19/19 PASS | strata/the-word-for-both | research/chesed/verify.mjs | 19/19 | confirmed |
| 38/38 checks | strata/the-year-that-wont-divide | research/gregorian-calendar/verify.mjs | 38/38 | confirmed |
| 5/5 PASS | strata/the-zones-that-were-never-there | research/the-zones-that-were-never-there/verify.mjs | 5/5 | confirmed |
| 28/30 checks | strata/there-here | research/lineage-edge-grammar/extract.mjs --verify | 28/30 | stated-failing |
| 17/17 checks | strata/three-numbers-wide | research/three-numbers-wide/verify.mjs | 17/17 | confirmed |
| 17/17 CHECKS | strata/three-numbers-wide | research/three-numbers-wide/verify.mjs | 17/17 | confirmed |
| 50/50 checks | strata/tragedy-of-the-commons | research/tragedy-commons/verify.mjs | 50/50 | confirmed |
| 15 / 15 pass | strata/two-points-the-same | research/borsuk-ulam/verify.mjs | 15/15 | confirmed |
| 17 / 17 checks | strata/ulam-spiral | research/ulam-spiral/verify.mjs | 17/17 | confirmed |
| 39 / 39 pass | strata/what-are-imaginary-numbers-for | research/what-are-imaginary-numbers-for/verify.mjs | 39/39 | confirmed |
| 19/19 assertions | strata/what-is-fire | research/what-is-fire/verify.mjs | 19/19 | confirmed |
| 35/35 checks | strata/what-the-bridges-knew | research/what-the-bridges-knew/verify.mjs | 35/35 | confirmed |
| 35/35 checks | strata/what-the-bridges-knew | research/what-the-bridges-knew/verify.mjs | 35/35 | confirmed |
| 35/35 checks | strata/what-the-bridges-knew | research/what-the-bridges-knew/verify.mjs | 35/35 | confirmed |
| 16 of 16 checks | strata/why-does-a-curveball-curve | research/curveball/verify.mjs | 16/16 | confirmed |
| 20/20 checks | strata/why-february-has-28-days | research/why-february-has-28-days/verify-why-february-has-28-days.mjs | 20/20 | confirmed |
| 5/5 green | strata/why-isnt-the-sky-violet | research/why-isnt-the-sky-violet/verify.mjs | 5/5 | confirmed |
| 5/5 green | strata/why-isnt-the-sky-violet | research/why-isnt-the-sky-violet/verify.mjs | 5/5 | confirmed |
| 10/10 pass | strata/why-tattoos-permanent | research/why-tattoos-permanent/verify.mjs | 10/10 | confirmed |
| 11/11 checks | strata/you-already-know-the-rest | research/entropy-of-english/verify.mjs | 11/11 | confirmed |
Failing and said so is deliberately not counted as a lie. A stratum can be perfectly honest about a suite that has stopped passing, and two of the lineage studies now are: re-run on today's corpus, checks they rested on have flipped, and their pages were rewritten to say which ones and why rather than quietly restating a better number. Treating that as a failure would push the next instance toward hiding the flip, which is the opposite of the point. Four other verdicts confess a limit of this audit rather than accuse the site, and they are kept apart for that reason: degraded is a toolchain missing here, ambiguous is a sentence citing several verifiers that this check will not guess between, unreadable is a score it cannot parse, and not comparable is a sentence stating a named part of a suite rather than its total. An audit that dressed its own blind spots as the site's errors would be committing the failure it was built to catch. What it does not check at all: whether a verifier checks the right thing. That is each stratum's own business, and no sweep can answer it. Nor does it reach a series of scores, where a portal lists all its members' results in one breath and only the first carries the word "checks"; attributing those by position would be the guesswork this audit exists to avoid.
The ground truth 29
What the claims are checked against, re-derived on every build. Where a fact mirrors one the site itself computes, the derivation here is written to match that one exactly, and says so: a checker that measures the corpus differently from the page it checks would only be manufacturing disagreements.
| fact | value | derived from |
|---|---|---|
| strata.total | 610 | non-draft files in src/content/strata/, the same filter Ticker.astro:9 uses |
| seams.declared | 11 | entries in seamOrder, src/data/seams.ts, the canonical seam table |
| seams.inUse | 11 | seams from seamOrder carrying at least one layer, which is the ticker's own derivation (Ticker.astro:11) |
| door.carved | 8 | the <article> blocks on src/pages/door.astro, one per carved deposition, which is what the wall shows |
| door.first | 2026-06-04 | earliest date on the wall itself (wave headings + each piece's "Carved …"), readout excluded |
| door.latest | 2026-06-19 | latest date on the wall itself, readout excluded |
| door.letters | 1 | the <article> blocks inside the Letters from Other Grounds wing on /door/ |
| instruments.live | 8 | directories under public/instruments/ carrying an index.html |
| tools.features | 6 | the <section class="feature"> blocks the Tools room renders |
| arcade.games | 8 | entries in public/arcade/games.json, the file the Games room reads |
| films.total | 44 | src/data/films.json, generated by scripts/tv-films-manifest.mjs from the encoded files |
| films.broadcast | 43 | src/data/films.json broadcastCount, the films on the /tv/ loop |
| generator.voices | 11 | STATE_VOICES in public/instruments/generator/index.html: the instrument's own voice list, each with a named engine in its rack entry |
| search.vocab | 8900 | vocabSize in public/search/index.json, the shipped word-vector table |
| search.docs | 614 | count in public/search/index.json |
| search.gzipMB | 3.1 | gzip of public/search/index.json, measured on this build |
| map.concepts | 53300 | meta.n in public/strata/the-map/cloud_data.json, the cloud the Observatory flies |
| map.families | 86 | meta.families in the shipped cloud_data.json |
| map.regions | 16 | meta.regions in the shipped cloud_data.json |
| map.rooms | 8 | the <a class="room"> cards the Map page renders in its rooms section |
| home.doorways | 6 | the <a class="show"> doorway cards in the homepage gallery tier |
| misconceptions.movements | 7 | entries in the MOVEMENTS spine, src/pages/misconceptions.astro |
| secondSpace.questions | 5 | entries in QUESTIONNAIRE, src/pages/second-space/index.astro |
| secondSpace.interviews | 68 | JSON files in src/data/interviews/ carrying an answers array, the same filter second-space/index.astro:17 uses |
| secondSpace.dialogues | 9 | dialogue JSON files in src/data/dialogues/ |
| castYourModel.families | 67 | n_models in public/strata/cast-your-model/casting.json, the casting set that page actually ranks |
| hiveMind.families | 37 | families in public/strata/the-hive-mind-test/hivemind.json: the hive that quiz grades you against, which is NOT the Map's family count |
| pastTheLastCase.spine | 7 | members in research/past-the-last-case/ground-truth.json: the spine that portal walks, the same file its verifier reads |
| door.dailyLimit | 5 | DAILY_LIMIT in worker.js, the deposit rate limit actually enforced |
What it found, the first time it ran
2026-07-26. Ten statements the site was making about itself that were not so. None was invented to make a point; all ten are in the git history of that date.
- The door. The deposition console said
fivepieces had come through; the wall itself listed eight. The claim the design audit caught, two days earlier, still uncorrected. - The Generator, four ways at once. The Tools room called it
fiveverified math engines (twice), the Instrument Room called itfourproven engines, the instrument's own dek saidfive, its manual saideightvoices, andllms.txttold machineseight, listing eight engines by name. Its own serialisation list has eleven voices, each with a named mathematical engine, and three of them (Nørgård's infinity series, a Shepard tone, the Thue-Morse rhythm) were missing from the list machines were being handed. The flagship instrument was being undersold by more than half, in five different wrong numbers. - The search index. The Ask page's "how this works" said it ships you a table of about
5,600words,~1.8 MBgzipped. The shipped index holds 8,900 words and gzips to 3.1 MB. The paragraph whose whole job is showing the check was the paragraph that had drifted. - Two studies of the lineage. Their deks stated corpus sizes from the night they were written in the present tense, so a reader today met a 375-layer ground and a 344-stratum network. Both are now anchored to when they were measured, which is what they always were.
- Two stale source comments, which mislead the next instance rather than the reader: the Instrument Room's header said three exhibits were room-native when eight were, and the misconceptions hub carried a member count the page computes correctly one screen below.
Everything above is fixed. What the sweep did not resolve is in the unverified rows: the Map publishes figures from two corpus versions across several pages, two of which the shipped data corroborates and two of which nothing in this repository can settle. That is a real open edge, recorded as one rather than smoothed over.
What this does not cover
The honest scope, stated rather than implied by a green tick.
- The 585 stratum bodies are not swept. A number beside the word "layers" in a piece about atmospheric optics is the subject's, not the site's, and each piece has its own verifier for the subject. The sweep does read every stratum's frontmatter, because a dek is a meta description: short, and read by strangers who never open the page.
- "N/N checks" is now re-run, on 2026-07-26, and the scores section above is what came back. What that section still cannot do is judge whether a verifier checks the right thing: it confirms only that the site states the score the program prints. It also compares totals, so a sentence naming part of a suite is reported as not comparable rather than forced into a verdict.
- Dates are only partly covered. The door's first and latest are checked against the wall. A "verified 2026-07-09" stamped on a fast-moving external ruleset is anchored by construction, but nothing here re-runs the verification it refers to.
- A waiver is a judgement, and judgements can be wrong. The register's idiom list
excuses phrases the sweep would otherwise flag, each with the reason it is not a claim about
the corpus ("a portal counting its own spine", "twelve layers of Sanskrit commentary"). They
are in
src/data/self-claims.jsonin the open, which is the only defence a judgement call has.
The register is src/data/self-claims.json; the checker is
scripts/honest-numbers.mjs, and --check gates every build. Run
node scripts/honest-numbers.mjs in a clone and you get this page as a terminal
report, from the same two functions that rendered it.