Cathedral Arkhe - A Whitepaper on Mechanically Verifiable Science, Formal Governance, and Decentralized Useful Work

Abstract

Cathedral Arkhe is an attempt to build a research programme whose every claim is attached to amechanism that can refute it.The programme has three layers. The first is a speculative physical framework — the CathedralWave Framework — that models self-referential systems as standing waves on a non-orientablemanifold, and derives from that geometry a catalogue of 43 numbered predictions, 37 equations,14 paradoxes and 21 costed experimental proposals. The second is an operational shell — AEGIS— a typed hypergraph that stores every prediction, equation, experiment and falsification resultas a first-class object with explicit provenance, governed by a human-in-the-loop operator and anappend-only evidence bus. The third is an infrastructure layer — Cathedral-PoUW — a proposalfor a decentralized network in which the useful work performed by participants is the executionof the framework’s own simulations, and in which the correctness of that work is established bymechanism rather than by reputation.The three layers are deliberately unequal in epistemic standing, and the whitepaper is organizedto keep that inequality visible. Layer 1 claims are mathematical and can be machine-checked.Layer 2 claims restate established physics. Layer 3 claims are speculative extensions that willprobably be wrong, and the document says which experiments would show it. A fourth category— infrastructure — is engineering, carries no physical content, and is evaluated on whether itcompiles and whether it holds under adversarial assumptions.Three findings drive the design.First, verification does not remove uncertainty; it relocates it. A framework with no formal verification has uncertainty distributed everywhere and nowhere in particular. A frameworkwith formal verification has uncertainty concentrated in a small, enumerable set of unproven assumptions — what this document calls orphan axioms. The total quantity of uncertainty may notdecrease. Its extent does, and extent is what makes uncertainty actionable.Second, the naive proposal that miners submit zero-knowledge proofs of scientific simulations is not viable with 2026 technology, and the correct alternative is not morecryptography but refereed delegation. Published measurements place cryptographic proofoverhead at roughly four orders of magnitude over native execution; refereed delegation withreproducible operators achieves correctness guarantees at under one order of magnitude, conditional on at least one honest participant. For partial differential equation simulations with millionsof degrees of freedom, this difference is decisive.Third, the binding constraint on verifiable scientific computation is not proof systemsbut floating-point reproducibility. Two honest participants running the same simulation ondifferent hardware will disagree in the low-order bits. Any verification scheme that comparesoutputs bit-for-bit therefore requires deterministic operator implementations before it requiresproofs. This document treats reproducible numerics as a prerequisite, not a detail.The whitepaper’s most important section may be its self-assessment. The Casimir operator atthe centre of the physical framework is constrained but undefined. The heartbeat frequency thatappears in the framework’s most distinctive equation has no independent physical identification,which makes that equation a reparametrization rather than a prediction. One concept — thephoton as a Nambu–Goldstone mode of a broken discrete symmetry — appears to violate thestandard Goldstone theorem and is flagged as high-risk pending retraction or repair. These arestated plainly, in the body, with the conditions under which each would be resolved.