Zero Worlds · the record
The record
How this case was made. Aletheia is operated by AI, and what makes that accountable is that nothing it does is hidden: every run is here with what it proposed, what it admitted, and what it refused with the reason; every change to the case is dated, explained and attributed.
the current edition · 2026-10-22
records last changed 2026-10-22 · the change history ↓the drafter's rationaleThis edition answers the review of the previous one, and no verdict changes. The previous records said Gorard's 62-page 2020 paper was "read in full"; it was not. Its full text was searched and the passages found were read, and the records now say so. The paper's "By assumption" governs its orthonormal basis, not the probability rule.
the whole rationale · edition-2026-10-22-130845
This edition answers the review of the previous one, and no verdict changes. The previous records said Gorard's 62-page 2020 paper was "read in full"; it was not. Its full text was searched and the passages found were read, and the records now say so. The paper's "By assumption" governs its orthonormal basis, not the probability rule. What the record shows is that the paper states the Born rule for path weights, and that a search of its whole text finds no derivation of that rule or of the Tsirelson bound. The claim and the article now say that, and that it comes from a search, not an audit. The previous edition's note also said two texts were read in full: the McQueen–Müller paper has now been read in full, but of Müller's 2026 paper only the conclusions were read. The evidence is split so that each record has one direction. Gorard's paper supports the new claim about it and qualifies the Wolfram claim. The McQueen–Müller concession supports the testability claim, and qualifies the featured thesis rather than supporting it. The article changes in two places: the Wolfram paragraph in "The gap", and the steelman's sentence on the Wolfram paper. Measured by the engine: article 1922 → 1957 words, without markup.
- 2026-10-22check5 of 5 seats judged the case blind$2.09
- 2026-10-21check5 of 5 seats judged the case blind$1.90
Run by run
Every run on this case, newest first: what it proposed, what it admitted, and what it refused with the reason the verifier wrote. A candidate that is not on the ledger is here, with why. The dispositions file holds every row.
2026-10-22check5 of 5 seats judged the case blind$2.09
run 2026-10-22-check-zero-worlds-131210
This run wrote no disposition rows.
2026-10-21—2 row(s) written by 2026-10-21-session-site-130024, which left no run recordno run record1 excluded · 1 in
rows name 2026-10-21-session-site-130024; no run record exists for it, so its verb, outcome and cost are not known — the rows themselves are the record
refused, with the reason
- sourceexcludedAlgorithmic Idealism I: Reconceptualizing Reality Through Information and Experience (revised August 2026)
A secondary reassessment of Müller's framework (v2, revised August 2026) by an independent author, K. Sienicki. It is not the "Algorithmic Idealism I–III" conflation risk noted in history.yaml: this version explicitly reviews Müller's work. Its abstract adds no new result. It restates, more modestly, what the primary…
admitted
2026-10-21check5 of 5 seats judged the case blind$1.90
run 2026-10-21-check-zero-worlds-131450
This run wrote no disposition rows.
2026-09-01—1 row(s) written by 2026-09-01-promote-33512756583, which left no run recordno run record1 in
rows name 2026-09-01-promote-33512756583; no run record exists for it, so its verb, outcome and cost are not known — the rows themselves are the record
admitted
2026-08-27—2 row(s) written by triage-2026-08-27-yb5k, which left no run recordno run record2 irrelevant
rows name triage-2026-08-27-yb5k; no run record exists for it, so its verb, outcome and cost are not known — the rows themselves are the record
refused, with the reason
- sourceirrelevantHarnessing Rare-Earth Materials as Exogenous Contrast Agents for Enhanced Photoacoustic Imaging
Biomedical imaging contrast agents; keyword coincidence with no relevance to observer-first physics or quantum reconstruction.
- sourceirrelevantQuantum Computing in the Cloud: Opportunities and Challenges
Cloud quantum-computing overview with no abstract and no bearing on any featured claim about observer-first ontologies or reconstruction theorems.
Change history
Every change to this case, newest first: what changed, why, and who made it — including the AI's role. The log is append-only; a correction is a new entry, never an edit to an old one.
- operator (claude-opus-5-5), session 2026-10-22-session-site-130201 · AI-assisted
New edition edition-2026-10-22-130845, adopting a new draft assessment 2026-10-22-operator-130845 (its standing waits for the blind panel).
Why: This edition answers the review of the previous one, and no verdict changes. The previous records said Gorard's 62-page 2020 paper was "read in full"; it was not. Its full text was searched and the passages found were read, and the records now say so. The paper's "By assumption" governs its orthonormal basis, not the probability rule. What the record shows is that the paper states the Born rule for path weights, and that a search of its whole text finds no derivation of that rule or of the Tsirelson bound. The claim and the article now say that, and that it comes from a search, not an audit. The previous edition's note also said two texts were read in full: the McQueen–Müller paper has now been read in full, but of Müller's 2026 paper only the conclusions were read.
- operator (claude-opus-5-5), session 2026-10-21-session-site-130024 · AI-assisted
New edition edition-2026-10-21-131026, adopting a new draft assessment 2026-10-21-operator-131026 (its standing waits for the blind panel).
Why: The case had never been worked since it was built in August, and the panel split on its Wolfram claim (ZW-C007): the draft graded it mixed, four of five seats well supported. Reading the program's own record settled the split more precisely than either. The case had described the Wolfram program's formal quantum results as an embedding only; it had missed Gorard's 62-page 2020 paper in Complex Systems, which claims a proof that multiway geometry converges to projective Hilbert space — but which states the derivation of quantum mechanics as its "central conjecture", introduces the Born rule by assumption, and obtains CHSH violation from explicit nonlocality. This edition adds that paper (with its provenance: a journal Wolfram founded) as a new featured claim, ZW-C505, and regrades ZW-C007 well supported: the report is accurate, and its substance — no demonstrated inevitability — holds. Two primary texts the case had characterized only from abstracts were read in full. Müller's peer-reviewed 2026 paper names quantum phenomena as the framework's test and says resembling mathematics does not count, which now carries the case's central gap claim in the proponent's own words. The McQueen
- scripts/migrations/2026-09-09-hash-locators.ts (mechanical re-stamp) · AI-assisted
Ledger hash redefined to exclude source locators (url, archivedUrl); 1 edition/assessment basis stamp(s) recomputed mechanically, content unchanged: edition-2026-09-08-migration.yaml.
Why: Founder decision 2026-09-09: a locator says where a record is read, not what it says; a by-hand URL addition had set a fresh panel aside and made an edition due that could only re-adopt.
- Cursor Grok 4.6 (Cursor cloud agent), directed by the founder; runId title-punctuation-2026-09-08; promptVersion none (founder-directed session, not a pipeline prompt) · AI-assisted
Case title punctuation restored after the pre-overhaul publication restore: "Zero Worlds?" is again "Zero Worlds". The trailing question mark is dropped so the published name is a statement. Subtitle and framing questions are unchanged.
Why: Founder direction (first given 2026-09-06, reaffirmed 2026-09-08 after the restore): case names should not carry question marks. The interrogative belongs in the subtitle and the research questions, not on the card and in the header.
- scripts/migrations/2026-09-08-editions.ts (mechanical), founder-directed session · AI-assisted
Migrated to editions (docs/AUTOMATION.md, build step 2). The article, the 10-claim featured set, and the displayed judgment now live in edition edition-2026-09-08-migration, which adopts the migration assessment 2026-09-08-migration-zero-worlds. Claim records carry propositions and anchors only; evaluative fields moved into the adopted assessment's per-claim treatment; the dossier header, research priority, and component verdicts moved from case.yaml into the assessment; claims-catalog.yaml merged into claims.yaml (tiers ended). No judgment changed.
Why: One reader-facing unit that binds verdict, selection, and article, so they cannot drift apart; one home for judgment; featuring becomes a recorded decision.
- maintenance pipeline (promotion step, promote-draft-v1) · AI-assisted
Promotion: SRC-FALL-2026 enters the ledger with 1 evidence record(s) (ZW-E019), drafted by the promotion pipe from the verified import https://arxiv.org/abs/2604.27125. Every quoted span verified verbatim against the fetched source; readings await the panel like any other record.
Why: The promotion pipe (docs/AUTOMATION.md build step 1): verified imports must reach the ledger through the gates rather than expiring in proposals/.
- Fable (AI agent), directed by Eugene · AI-assisted
Fifth independent judge added to the cross-model check: Kimi K3 (Moonshot's open-weights model, served via Venice) re-assessed the case blind under the same protocol as the four frontier judges. Its case verdict and per-claim verdicts appear on the concurrence panel and claim pages alongside the others; concurrence statistics recomputed over five judges.
Why: An open-weights judge from a different training lineage strengthens the independence of the check — agreement across five vendors, including one outside the Western frontier labs, is harder to attribute to shared disposition.
- Fable (AI agent), directed by Eugene · AI-assisted
Cross-model check run (scripts/cross-model-check.mjs, promptVersion aletheia-check-v1): four independent judges — Opus 5 (Anthropic), GPT-5.1 (OpenAI), Gemini 3.1 Pro (Google), Grok 4.6 (xAI) — each re-assessed the case blind to all prior assessments. Result: case verdicts spread across the open family (presently_untestable x2, unresolved, mixed) around the displayed unresolved — judges agree nothing is decided but differ on which open label fits a thesis whose crux is a missing theorem; claim agreement 7/10 exact, 2 within one step, 1 split (ZW-C007, the Wolfram/ruliad status claim). Check runs never display as the case narrative; the concurrence panel summarizes them and claim pages carry each model's per-claim verdicts.
Why: A verdict corroborated (or contested) blind by four independent vendors is information about the evidence file itself; both outcomes belong on the public page.
- Eugene (direction); applied by Fable (AI agent) · AI-assisted
Site v1.1: the case now carries two outputs instead of one — an evidence state and a research priority (level plus stated reason) — and, where a single verdict would mislead by compression, component verdicts for the separable parts of the question. Display governance tightened site-wide: only a human-endorsed assessment run may present as the editorial assessment; unreviewed AI runs are labeled drafts and never silently replace it.
Why: "Weak evidence, strong reason to investigate" is this site's signature category; a single verdict cannot express it. Priorities and component rows were set editorially in this change and are open to revision on review.
- Fable (AI agent), directed by Eugene · AI-assisted
Cover art added (IMG-ZEROWORL-COVER): three style-v2 candidates were generated by the generate-case-art workflow in the case's assigned "Graphite and lapis" tone; candidate 3 was selected — the lantern- bearing observer whose beam is the only place a world exists — for the clearest beam-as-world emblem, the most legible lapis lantern accent, and the largest expanse of bare paper, per the case's "sparest cover in the set" brief. Cropped to the 16:9 cover convention (1600×900). The no-plates decision recorded in images.yaml stands.
Why: Give the case its house-style cover while keeping the evidence ledger free of decorative imagery.
- Fable (AI agent), directed by Eugene · AI-assisted
Literature watch configured (watch.yaml): six discovery-only queries covering the flagship program's output, the reconstruction-theorem literature, the neighbouring observer-first programs, the Tsirelson/Born-rule derivation literature, Wigner's-friend experiments, and — per the fairness rules — critiques of observer- first ontologies watched with the same machinery.
Why: The case's verdict is hostage to a small set of live mathematical threads (bridge theorems, strengthened Bell results, the erasure problem); the weekly watch surfaces movement on them without letting anything into sources.yaml unreviewed.
- Fable (AI agent), directed by Eugene · AI-assisted
Case published: 10 featured claims across the three rungs, 4 catalog claims, 18 evidence records, 19 sources (all ai_verified with per-source verification notes; none unverified, none fabricated), 6 research opportunities, and a first AI assessment overlay labeled as an unreviewed draft. All claims labeled ai_extracted pending human review. Structural notes recorded: the case verdict is unresolved and the featured thesis is labeled presently_untestable — the first use of both labels on this site — because the decisive uncertainty is a missing theorem (the observer-to-operational-axioms bridge, ZW-C010) rather than contested data; and the research agenda is accordingly all desk-tier mathematics. No cover artwork yet: to be generated via the generate-case-art workflow (Actions → Generate case art → zero-worlds) and reviewed in a separate PR, per the image rules.
Why: Launch the case with honest provenance labels and the derivation gap modeled explicitly rather than argued away.
- Fable (AI agent), directed by Eugene · AI-assisted
Verification notes recorded on import. (1) Citation trap: an arXiv series titled "Algorithmic Idealism I–III" (2412.20485, 2502.08653, et al.) is authored by Krzysztof Sienicki, not Markus P. Müller; it is excluded from this case and flagged in watch.yaml so future watch reviewers do not conflate the two. (2) Wording calibration: the seed report describes Bell violation, no-signalling, and quantum computation as future "litmus tests" for algorithmic idealism, while Müller's own exposition also records a 2020 theorem that Bell violation with no-signalling "can sometimes be expected" — "a valid theorem, but 'preliminary' because it still rests on too many assumptions." Claims ZW-C002/ZW-C005 carry the calibrated version: neither "derived" nor mere aspiration. (3) The ruliad definition circulating in the seed documents ("everything that is computationally possible") differs slightly from the retrieved 2026 text ("the entangled limit of all possible computational processes"); the verbatim form is used. (4) The Jones–Müller Wigner's-friend paper is cited in the essay by its 2024 arXiv year; the journal version is Quantum 10: 2147 (2026) — recorded on SRC-JONES-MULLER-2026.
Why: The epistemic rules require observation before interpretation and forbid imported characterizations from carrying assessments when the primary record says otherwise.
- Fable (AI agent), directed by Eugene · AI-assisted
Case seeded from two documents in research/: the "Zero Worlds" essay (Substack, 2026-07-04) and the AI-generated research report "From 'Zero Worlds' to Quantum Worlds" (runId zw-case-2026-08-22). Both were read in full and mined for claims, evidence, and sources; every citation was then independently re-verified against arXiv, publisher pages, or retrieved full text before import. Read in full during verification: Müller's mpmueller.net/aid exposition (flagged to this import by the editor), both Wolfram essays ("Observer Theory" 2023 and "What Ultimately Is There?" 2026), and the Hoffman & Prakash 2014 full text; all other sources verified at the abstract/record level. The essay's speculative synthesis of algorithmic idealism with Lucadou's MPI was deliberately left out of scope — it belongs to the MPI case's orbit, and the essay itself labels it a conditional construction, not a claim of Müller's.
Why: Real citations only: AI-generated seed documents may not carry assessments second-hand.