Toward a Condensed Representation Theory of Physics: A Condensed Representation Principle

1 Introduction

1.1 The governing perspective

This is Part VII, the capstone, of a modular seven-part program. Every Part, and this one, is organized by a single sentence.

The word modular is load-bearing. This is not a unified theory of anything; it is a stack of separately-stated interfaces between one specific piece of modern mathematics — condensed mathematics in the sense of Clausen and Scholze  — and the structural vocabulary of physics. Each Part removes, or later restores, one piece of presupposed geometric background, states precisely what it establishes, and composes with its neighbours only through explicitly declared hand-offs. Part VII does not add a new interface. Its job is threefold: to state the organizing principle the six Parts collectively suggest; to display the whole program as one boxed hierarchy with an honest, arrow-by-arrow demarcation of what is established from what is speculative; and to convert the program’s open ends into a precise, falsifiable-in-the-mathematical-sense research proposal.

We are emphatic from the first page that what follows is a proposal, not a result. The distinction is enforced structurally, not rhetorically, by the collaboration’s status calculus : every claim carries a warrant tag —

• [EST] (established): citable, proved mathematics, or a rigorously proved physics-adjacent theorem;

• [HEU] (heuristic): a physically motivated dictionary entry or analogy that is not itself a theorem;

• [SPEC] (speculative): an ontological or physical hypothesis of this program, with no established precedent doing the work claimed of it,

— and warrants compose monotonically, worst-case wins. 2 makes this a small theorem; the rest of the paper is disciplined by it.

1.2 The seven-part program in one page

We recall the six preceding Parts, since this capstone recapitulates them. Each replaced, demoted, or recovered one layer of geometric structure.

• Part I , From Manifolds to Condensed Spaces, replaced the smooth manifold by the condensed set as kinematic substrate. Its established seed is Scholze’s comparison (, Prop. 1.7): the functor ${\mathrm{Top}}_{\mathrm{cg}}\hookrightarrow \mathrm{Cond}(\mathrm{Set})$ from compactly generated spaces to condensed sets is fully faithful, so manifolds are faithfully embedded, not discarded, and the surplus room in $\mathrm{Cond}(\mathrm{Set})$ is where Planck-scale or quantum-nonlocal structure might live.

• Part II , Observables as Condensed Sheaves, attached observables to condensed test objects, obtaining a (co)sheaf of observable algebras on the pro-étale site — a condensed refinement of the Haag–Kastler net  and of Costello–Gwilliam factorization algebras  — before any geometry is posited.

• Part III , Condensed Cohomology and Quantum Information, proposed information as the primitive object: entanglement read as a compatibility (cocycle) condition in condensed cohomology, with the surface-code $H_1(\Sigma ;{\mathbb{F}}_2)$ logical-operator theorem and the HaPPY code  as its established (non-condensed) precedents.

• Part IV , Fields Without Background Manifolds, demoted the manifold on which a field lives, replacing $\phi :M\to \mathbb{R}$ by a condensed-module-valued object $\phi :C\to \mathrm{Cond}(\mathrm{Vect})$ landing in solid or liquid modules, whose established virtue is that — unlike topological vector spaces — they form a well-behaved abelian/stable category supporting derived tensor products and a six-functor formalism .

• Part V , Geometry as a Realization Functor, recovered geometry as a realization/fiber functor, aligning Gelfand duality, Tannakian reconstruction , Connes’ spectral reconstruction , Tomita–Takesaki/Bisognano–Wichmann , and the cobordism hypothesis  into one schema, and isolated the single sharpest obstruction: every established metric reconstruction is Riemannian, whereas spacetime is Lorentzian.

• Part VI , A Representation-Theoretic Foundation for Quantum Gravity, assembled Parts I–V into one pipeline and proved two things: the weakest-link theorem (below), and a finite closure theorem exhibiting a finite weighted graph as a discrete condensed object whose emergent graph metric coincides with the finite Connes spectral distance. Both are [EST] and code-backed; the program’s headline reading of the pipeline as quantum gravity is [SPEC].

1.3 What a research-proposal capstone is, and is not

A research proposal earns its keep in a specific currency: precise definitions, a clear statement of what is already known, and sharply posed open questions whose resolution would be recognizable and decisive. It does not earn its keep by suggestive vocabulary. The persistent temptation of a program like this one is to let a long train of genuinely rigorous mathematics (condensed sets are real; Tannakian duality is a theorem; the cobordism hypothesis is proved) silently “pay off” the speculative debt of a single physical hypothesis. The status calculus forbids this arithmetically (2), and we lean on it throughout.

1.4 Contributions

1. The Condensed Representation Principle, stated ([SPEC] as physics, precise as a proposal). We state the organizing principle and formalize it as a claimed factorization of physical content through the hierarchy (3), whose terminal reconstruction step is displayed rung by rung, with each rung tied to the Part that develops it and each arrow carrying an explicit warrant.

2. The Program Status Theorem ([EST]). We prove (2) that the hierarchy’s composite status is [SPEC]; that the [SPEC] burden is localized not in a single magic arrow but in the reconstruction sub-ladder’s Rung 4–7 segment (relational $\to$ causal $\to$ topology $\to$ metric $\to$ dynamics), with every arrow up through relational structure an established construction; and hence that upgrading precisely that segment to [HEU] (resp. [EST]) would make the entire composite [HEU] (resp. [EST]). Each speculative arrow of the segment is theorem-shaped, anchored to a determination-direction result (Malament; causal sets; Bisognano–Wichmann/Tomita–Takesaki; Connes’ spectral distance). The proof is a finite computation in the status monoid and is code-backed.

3. Four open research questions, dissected ([SPEC], honestly). For each of Q1–Q4 (4) we give the established anchors, a criterion for progress, the shape of a decisive result, and the honest current status, boxed.

4. A finite [EST] witness of a Q3/Q4 limit. We prove (5) that the rescaled cycle-graph Laplacian spectrum converges to the continuum circle Laplacian spectrum and that the path metric of a refining interval graph converges to the Euclidean interval metric — the precise discrete-to-continuum passage the speculative claims would need to instantiate, established here only in the trivial finite/linear case and explicitly not as evidence for the physical claim.

5. A research proposal (milestones, falsifiability, non-identifications). 6 lists numbered milestones M1–M6, several falsifiable-in-the-mathematical-sense sub-claims, and explicit non-identifications distinguishing this program from causal sets, cohesive homotopy type theory, topos quantum theory, loop quantum gravity, and string theory.

6. A status census ([SPEC] headline). 8.1 reproduces and expands the program’s established-versus-speculative table so the composite [SPEC] status of the headline is unavoidable.

1.5 A note on originality and prior art

As recorded in the program’s knowledge base, dedicated literature search found no existing work combining condensed mathematics with quantum gravity, holography, or algebraic QFT beyond the ordinary functional-analytic and operator-algebraic literature that predates condensed mathematics. We treat this absence as a fact to flag, not to conceal: Parts IV–VII stake out unoccupied territory, and every place the condensed machinery is asked to do physical work beyond what is proved is marked [SPEC]. We cite only real, independently verified literature and the three internal prior-work libraries of the collaboration , and we take care (6.3) to distinguish this program from the related-but-distinct cohesive-HoTT  and topos-quantum-theory  programs, as well as from causal sets , loop quantum gravity , and string theory .

1.6 Outline

2 recalls and proves the status calculus. 3 states the Condensed Representation Principle and displays the hierarchy, arrow by arrow — including the expanded terminal reconstruction sub-ladder — with the Program Status Theorem. 4 poses and dissects the four open questions. 5 proves the finite discrete-to-continuum witness. 6 gives the research proposal: milestones, falsifiable sub-claims, and non-identifications. 7 collects the results, 8 the discussion and status census, and 9 concludes. 10 documents the accompanying verified Haskell.

2 The status calculus, recalled and proved

The device that keeps this capstone honest is the status calculus, stated and proved in Part VI and recalled here so that Part VII is self-contained. It is a small theorem, but it is the load-bearing one: it is what makes “the program is a proposal” a provable statement about the program rather than a disclaimer.

We will apply 1 to the expanded hierarchy in 3.3, where the computation localizes the program’s entire speculative burden in the reconstruction sub-ladder’s Rung 4–7 segment.

3 The Condensed Representation Principle

3.1 The Principle

The six Parts collectively suggest one organizing statement, which we elevate to a named principle. It is a principle in the sense of a proposed methodological posture and factorization claim, not a theorem; its physical content is [SPEC], and we mark it so.

The principle is a hypothesis about where geometry sits in the order of explanation. Standard physics places a manifold first and builds fields, states and observables on top of it. The principle inverts this: it places a category and a condensed sheaf first, treats states and observables as representation-theoretic data, and asks geometry to appear last, as a realization. This is exactly the inversion already achieved rigorously in four established corners — Gelfand duality, Tannakian reconstruction, Connes’ reconstruction, and Bisognano–Wichmann — each of which recovers a geometric or dynamical object from purely algebraic/categorical data. The principle’s speculative move is to conjecture that the whole of spacetime physics admits such an inversion, in a condensed setting, with the surplus room of $\mathrm{Cond}$ accommodating what manifolds cannot.

3.2 The expanded hierarchy, arrow by arrow

We now display the hierarchy with, beside each arrow, its warrant (as a mathematical construction) and the Part that develops it. Crucially, the terminal step is not a single arrow. Measurement produces structured relations, not a spacetime; geometry is reconstructed only through a sequence of pregeometric layers, which we display explicitly as a reconstruction sub-ladder. This is the single most important structural figure of the entire seven-part series.

We describe each arrow, its established anchor, and its two warrants: a construction warrant ${\sigma }_c$ (the status of the arrow as a mathematical map between the indicated categories) and an interpretation warrant ${\sigma }_i$ (the status of reading that map as a rung of physical reality). This two-layer bookkeeping is what keeps the demarcation honest: the core arrows $A_1$–$A_5$ and the first two reconstruction arrows $R_1,R_2$ are established constructions, and we say exactly where the physical reading is weaker and exactly where — the segment $R_3$–$R_6$ — no construction yet exists.

3.2.0.1 $A_1$: Category $\to$ Condensed Sheaf (Parts I–II).

The passage from an ambient category of “spaces” to sheaves on the pro-étale site of a point.

Construction warrant ${\sigma }_c(A_1)=\text{[EST]}$. Interpretation warrant ${\sigma }_i(A_1)=\text{[EST]}$: reading a condensed sheaf as “kinematic data before geometry” is a definitional stipulation, not a further physical claim, and Part I’s comparison theorem makes “manifolds are a special case” literally true.

3.2.0.2 $A_2$: Condensed Sheaf $\to$ Derived Object (Parts III–IV).

Passage to the derived category of the condensed/solid/liquid abelian category, extracting cohomological invariants.

${\sigma }_c(A_2)=\text{[EST]}$; ${\sigma }_i(A_2)=\text{[EST]}$ as a construction of invariants, but the Part III physical reading “entanglement is a cocycle condition” is itself [SPEC] and is not part of this arrow.

3.2.0.3 $A_3$: Derived Object $\to$ Representation (Part V).

Tannakian-style reconstruction of a representation category from a tensor category with a fiber functor.

${\sigma }_c(A_3)=\text{[EST]}$ for the classical construction. Crucial caveat: the condensed Tannakian reconstruction Part V actually wants — fiber functors valued in condensed/solid/liquid modules, reconstructing an emergent geometry rather than an affine group scheme — is not an existing theorem. So ${\sigma }_i(A_3)=\text{[HEU]}$: the classical arrow is established, the physically relevant condensed upgrade is conjectural (this is Milestone M2, 6.1).

3.2.0.4 $A_4$: Representation $\to$ Observable (Parts II, V).

Producing observable quantities from representation data by pairing states against operators.

${\sigma }_c(A_4)=\text{[EST]}$; ${\sigma }_i(A_4)=\text{[HEU]}$: that fundamental observables are condensed-sheaf-valued prior to geometry (rather than manifold-local $C^{\ast }$-algebra-net-valued) is a physical hypothesis, Part II’s central proposal, not a theorem.

3.2.0.5 $A_5$: Observable $\to$ Measurement (Parts II, III).

Passage from an observable to the measurement pairings it records against states — expectation values and multi-point correlation functionals, the raw data from which relations (and eventually geometry) are to be reconstructed.

${\sigma }_c(A_5)=\text{[EST]}$; ${\sigma }_i(A_5)=\text{[HEU]}$: that these condensed measurement pairings, taken prior to geometry, are the complete raw material from which spacetime is to be reconstructed is a physical hypothesis, Parts II–III’s proposal, not a theorem.

The reconstruction sub-ladder $R_1$–$R_6$. Measurement does not directly produce spacetime. What follows is the canonical chain of intermediate reconstruction arrows that the old single arrow “$\text{Meas}\to (X,g)$” compressed. Its first two arrows are established constructions; its last four — the Rung 4–7 segment — carry the entire speculative burden, but each is theorem-shaped, anchored to a determination-direction result.

3.2.0.6 $R_1$: Measurement $\to$ Compatibility / descent data (Parts II, III).

Assembling local measurement pairings into gluing data: which local outcomes agree on overlaps, and with what obstruction.

${\sigma }_c(R_1)=\text{[EST]}$; ${\sigma }_i(R_1)=\text{[HEU]}$: that physical compatibility of measurements is exactly sheaf-theoretic descent on the condensed site is Part III’s proposal, not a theorem.

3.2.0.7 $R_2$: Compatibility / descent $\to$ Relational structure (Parts III, V).

Passage from raw descent data to the relational invariants a reconstruction can consume: correlations, commutation/noncommutation, context inclusions, modular flow, entanglement / relative-entropy data, and the descent obstructions themselves.

${\sigma }_c(R_2)=\text{[EST]}$; ${\sigma }_i(R_2)=\text{[HEU]}$: that this bundle of relational invariants, computed condensed-natively, suffices to determine a geometry is the hypothesis, not the theorem.

3.2.0.8 $R_3$: Relational structure $\to$ Causal / order / locality (Parts V, VI).

Extraction of a causal partial order (“$x$ precedes $y$”) and a locality/commutation structure from the relational data — the first genuinely speculative reconstruction step.

3.2.0.9 $R_4$: Causal / order $\to$ Topology (Parts V, VI).

Reconstruction of the point-set (and smooth) topology of the emergent space from the causal order alone.

3.2.0.10 $R_5$: Topology $\to$ Metric / (conformal $\to$) Lorentzian geometry (Parts V, VI).

Promotion of causal/topological data to a full metric: a conformal factor fixed by a volume (counting) datum, yielding Lorentzian $(X,⪯,g)$.

3.2.0.11 $R_6$: Metric $\to$ Dynamics / Einstein-limit physics (Parts IV, VI).

Emergence of dynamical equations — the Einstein field equations, or QFT equations of motion — as large-scale limits of a condensed-representation dynamics on the reconstructed geometry.

[tab:arrows] summarizes.

3.3 The Program Status Theorem

The point of the two-layer bookkeeping is that it makes a precise, provable statement about the shape of the program’s uncertainty.

4 Four open research questions

We now state the program as four open questions. Each is a facet of the reconstruction segment $R_3$–$R_6$ (relational $\to$ causal $\to$ topology $\to$ metric $\to$ dynamics) and of the condensed upgrades of the earlier arrows. For each we give: the established anchors, a criterion for progress, the shape of a decisive result, and the honest current status. We state the questions precisely enough that a positive or negative answer would be recognizable, and we tie each to the specific reconstruction arrow it targets.

4.1 Q1: A background-independent language for quantum gravity

Progress would be a condensed refinement ${\mathcal{A}}^{\mathrm{Cond}}$ of the BFV functor whose source is a category of condensed test objects (not $\mathsf{Loc}$), together with a proof that ${\mathcal{A}}^{\mathrm{Cond}}$ restricted to the image of $\mathsf{Loc}$ recovers the ordinary net — i.e. that the condensed formalism specializes to Haag–Kastler on globally hyperbolic spacetimes. A decisive result would be a condensed-sheaf-of-observables formalism with no spacetime input that reproduces a nontrivial (ideally interacting) QFT and from which the underlying spacetime is an output. Honest status: [SPEC]. The substrate (condensed sheaves) is [EST]; that it suffices to encode QFT background-independently is unproved. This is the condensed upgrade of arrow $A_4$ and Milestone M1.

4.2 Q2: Causal structure from compatibility conditions

Progress would be a definition of a relational/compatibility functor on condensed observable-sheaves together with a theorem that, in a controlled model (e.g. the finite/discrete condensed objects of Part VI, or a free field on a fixed globally hyperbolic spacetime), the induced partial order coincides with the known causal order. A decisive result would be a condensed causal-order reconstruction theorem valid with no spacetime input, from which — by Malament’s theorem — topology and the conformal metric follow, going beyond the wedge-presupposing Bisognano–Wichmann  and complementing the Riemannian Connes reconstruction . Honest status: [SPEC], with an unusually sharp target thanks to Malament’s theorem: one does not need a full metric first, only the causal order. This is arrow $R_3$, the head of the segment $R_3$–$R_6$, and Milestone M4.

4.3 Q3: Classical spacetime as an effective realization

Progress would be a controlled limit theorem in which a family of condensed objects $C_n$ (not merely finite graphs) produces, in a scaling limit, a smooth manifold with metric, with an error estimate — a condensed analogue of Gromov–Hausdorff or spectral convergence. A decisive result would be an effective-field-theory-style expansion in which classical spacetime geometry is the leading term of a systematic expansion of a condensed-representation-theoretic object, with the first correction computed and, ideally, of a form comparable to a known quantum-gravity correction. Honest status: [HEU]/[SPEC]. The embedding and the finite/spectral limits are [EST]; “effective realization” as a controlled physical limit is [HEU] at best and the headline physical claim is [SPEC]. These are arrows $R_4$–$R_5$ and Milestone M5. 5 supplies the finite, honest witness of the shape of such a limit and nothing more.

4.4 Q4: Familiar equations as large-scale limits

Progress would be a condensed-representation action whose stationarity reproduces even a free-field equation of motion condensed-natively (no manifold), or a linearized wave equation, as a large-scale limit. A decisive result would be a derivation of the linearized (and then full) Einstein field equations as the large-scale limit of a condensed-representation dynamics, with the emergent $G_N$ computed. Honest status: [SPEC]. We present the spectral action and the spin-foam and thermodynamic derivations as templates the program would need to emulate condensed-natively, explicitly not as achievements of the program itself. Per the status-composition discipline (2, 1), composing Part IV’s (mathematically [EST], physically [SPEC]) condensed QFT with this [SPEC] dynamical claim yields [SPEC]. This is arrow $R_6$ and Milestone M6.

4.5 The four questions are facets of the reconstruction segment

This proposition is the precise sense in which the program is one hard segment, not four unrelated problems. It is also why Q2 — causal reconstruction ($R_3$), sharpened by Malament’s theorem to “reconstruct the causal order, not the full metric” — is the natural first target: recovering $R_3$ collapses $R_4$ and the conformal part of $R_5$ by Malament.

5 A finite [EST] witness: discrete to continuum

Questions Q3 and Q4 both hinge on a discrete-or-condensed structure reproducing a continuum quantity in a scaling limit. We prove here the smallest honest instance of that passage: a family of finite graphs (discrete condensed objects) whose spectral and metric invariants converge to those of a continuum. We emphasize immediately what this does and does not show.

5.1 The cycle graph as a discrete condensed circle

Let $C_n$ be the cycle graph on vertices $\mathbb{Z}/n$ with unit edge weights, regarded as a finite (hence discrete) condensed object with vertices placed at $j/n\in {\mathbb{S}}^1=\mathbb{R}/\mathbb{Z}$. Its graph Laplacian ${\Delta }_n$ acts by $({\Delta }_{n}f{)}_j=2f_j-f_{j-1}-f_{j+1}$.

The continuum comparison object is the circle ${\mathbb{S}}^1=\mathbb{R}/\mathbb{Z}$ with Laplacian $-{\mathrm{d}}^2/\mathrm{d}{x}^2$, whose eigenvalues are ${\mu }_k=(2\pi k{)}^2$ with eigenfunctions $e^{2\pi ikx}$.

5.2 The refining interval and its metric limit

Let $P_n$ be the path graph on vertices $\{0,1,\dots ,n\}$ with each edge of weight $1/n$, regarded as a discrete condensed object with vertex $j$ placed at $j/n\in [0,1]$. Its path metric is $d_n(i,j)=|i-j|/n$.

Together, [prop:spectral-limit,prop:metric-limit] give a finite, code-backed (10) witness that discrete condensed objects can carry, in a scaling limit, both a continuum spectrum and a continuum metric — the two data a realization functor would have to produce. They are the honest floor under Q3/Q4, and nothing above it.

6 The research proposal

We now cast the program as a proposal: numbered milestones, falsifiable sub-claims, and explicit non-identifications. This is what distinguishes a program from a slogan.

6.1 Milestones

Each milestone is a self-contained, recognizable mathematical target. We give, for each, its status and which arrow/question it addresses.

The dependency structure is linear and honest: M1–M2 sharpen the early arrows; M3 is the first target (it instantiates $R_3$, causal order, on an explicit inverse system of causal diamonds); M4 is the pivot (it carries the segment $R_3$–$R_5$, the full Lorentzian reconstruction); and M5, M6 build the effective-limit and dynamical content ($R_4$–$R_6$) on top of M4. 1 says the segment $S=\{R_3,\dots ,R_6\}$ is the crux, and Malament’s theorem makes $R_3$ (=M3) its natural head.

6.2 Falsifiable sub-claims

A proposal must be refutable. We isolate sub-claims each of which is a precise mathematical statement that could be disproved, and whose disproof would eliminate a specific piece of the program. (We use “falsifiable” in the mathematical sense: a conjecture with a definite truth value, whose negation is a recognizable counterexample or no-go theorem.)

1. Specialization. The condensed net ${\mathcal{A}}^{\mathrm{Cond}}$ of M1, if constructed, recovers the Haag–Kastler net on Minkowski space. Refutation: a proof that no condensed refinement can reproduce microcausality on Minkowski, or an explicit obstruction. This would falsify the claim that condensed sheaves are an adequate language for QFT (Q1).

2. Causal-order recovery ($R_3$). The relational/modular functor of M3, applied to the inverse system of causal diamonds (or a free scalar field on $2$-dimensional Minkowski space), induces the correct causal order. Refutation: a computation showing the induced relation is not the causal order (e.g. it is symmetric, or fails Malament’s determination). This would falsify the causal-reconstruction arrow $R_3$ (Q2) at its simplest test.

3. Riemannian obstruction persists ($R_5$). There exists a condensed spectral datum whose only metric realizations are Riemannian, with a provable obstruction to any Lorentzian realization. If true, F3 would be a no-go theorem showing the topology $\to$ metric arrow $R_5$ cannot be instantiated by the spectral-triple route, redirecting the program away from M4’s spectral formulation toward the causal-set order$+$volume route.

4. No large-scale action. Every condensed-representation action functional in a specified class has a large-scale limit that is not of Einstein–Hilbert form. If true for a natural class, F4 would falsify the dynamical claim (Q4) for that class and force a different variational principle.

None of F1–F4 is settled; each is stated so that either a positive construction (M1–M6) or a no-go result would be a definite outcome. A program whose sub-claims are all unfalsifiable is not a research program; these are.

6.3 Relations and explicit non-identifications

We position the program among established alternatives, and state precisely where it differs, so that it is not mistaken for — or dismissed as a re-labeling of — any of them. The discipline is the collaboration’s non-identification rule: shared vocabulary is not shared content.

6.3.0.1 Causal set theory .

Shared: the conviction that causal order is close to all of geometry (Malament), and that a discrete substrate may underlie spacetime. Different: a causal set is a locally finite poset with no algebraic/representation-theoretic superstructure; this program’s substrate is a condensed sheaf of observables on the pro-étale site, and causal order (if it emerges) is a derived compatibility relation among sheaves, not a postulated primitive. Non-identification: the condensed site is not a causal set, and “order” here is an output of the reconstruction arrow $R_3$, not an input.

6.3.0.2 Cohesive homotopy type theory , built on univalent foundations .

Shared: both use topos/sheaf technology and modalities to organize geometry synthetically or sheaf-theoretically. Different: cohesive HoTT is an internal, synthetic language (shape/flat/sharp modalities in a cohesive $\infty$-topos of smooth $\infty$-groupoids); condensed mathematics is an external, analytic construction (sheaves on extremally disconnected profinite sets), engineered for topological/analytic algebra to be abelian. Non-identification: the condensed $\infty$-topos is not a cohesive $\infty$-topos; “shape” in the two theories is a different functor. We do not claim a translation between them.

6.3.0.3 Topos quantum theory (Isham–Döring) .

Shared: presheaf/topos technology applied to quantum theory. Different: Isham–Döring use presheaves on the context category of commutative subalgebras to reformulate quantum logic and the Kochen–Specker theorem; this program uses the condensed/pro-étale site to reformulate spacetime and fields, not primarily logic. Non-identification: the spectral presheaf of topos quantum theory is not a condensed sheaf of observables; the two address different questions.

6.3.0.4 Loop quantum gravity .

Shared: background independence as a nonnegotiable, and the appearance of discrete geometric spectra. Different: LQG quantizes the gravitational connection on a fixed differentiable manifold via holonomy–flux algebras and spin networks; this program does not presuppose a manifold at all, placing a condensed sheaf first. Shared template, not identity: the EPRL large-spin limit  is cited (Q4) as a template for how a discrete formalism’s semiclassical limit can reproduce the Regge action, not as a construction this program has carried out. Non-identification: a spin network is a graph labeled by $\mathrm{SU}(2)$ representations on a fixed manifold; a condensed sheaf on the pro-étale site is neither.

6.3.0.5 String theory .

Shared: the ambition that spacetime and its dynamics are emergent, and the use of the Ryu–Takayanagi formula and AdS/CFT  as evidence that geometry can be reconstructed from lower-dimensional data. Different: string theory posits fundamental extended objects propagating in (a background or emergent) target space with a specific worldsheet dynamics; this program posits no strings and no fixed dynamics, only the condensed-representation hierarchy. We borrow AdS/CFT’s holographic reconstruction as an established [HEU] precedent for the segment $R_2$–$R_5$ (entanglement/relational data to geometry), not as a component. Non-identification: the condensed sheaf of observables is not a boundary CFT, and the emergent $(X,⪯,g)$ of $R_5$ is not, as constructed here, an AdS bulk.

7 Results

We collect what this capstone actually establishes, keeping the [EST]/[HEU]/[SPEC] discipline explicit.

1. The Condensed Representation Principle and its hierarchy ([SPEC] as physics, precise as a proposal). [sec:the-principle,sec:hierarchy] state the organizing principle and present the expanded hierarchy (1, [tab:arrows]), whose established core $A_1$–$A_5$ is extended by the reconstruction sub-ladder $R_1$–$R_6$, with each rung tied to Parts I–VI and each arrow carrying a construction warrant ${\sigma }_c$ and an interpretation warrant ${\sigma }_i$. The core $A_1$–$A_5$ and the first two reconstruction arrows $R_1,R_2$ are established constructions; the segment $R_3$–$R_6$ (relational $\to$ causal $\to$ topology $\to$ metric $\to$ dynamics) is speculative.

2. The Program Status Theorem ([EST]). 2 proves that the composite status is [SPEC] in both warrant layers, attained exactly on the reconstruction segment $R_3$–$R_6$, so that the whole speculative burden is localized in that Rung 4–7 segment of four theorem-shaped targets rather than a single magic arrow; 1 concludes that the program is provably a proposal, and 1 that Q1–Q4 are facets of that segment.

3. Four dissected open questions ([SPEC], honestly). [sec:q1,sec:q2,sec:q3,sec:q4] give, for each of Q1–Q4, the established anchors, a progress criterion, the shape of a decisive result, and the honest status. Q2 (causal reconstruction), sharpened by Malament’s theorem, is identified as the natural first target.

4. A finite discrete-to-continuum witness ([EST]). 2 shows the rescaled cycle-graph Laplacian spectrum converges to the circle Laplacian spectrum with error $O(k^4/n^2)$; 3 shows the refining path metric converges in Gromov–Hausdorff distance to the interval metric. Both are code-backed and are the honest floor under Q3/Q4.

5. A research proposal (mixed status). 6.1 gives milestones M1–M6 with M4 (condensed Lorentzian reconstruction) as the pivot; 6.2 gives falsifiable sub-claims F1–F4; 6.3 gives explicit non-identifications from five neighbouring programs.

Nothing in this list asserts a physical result. The two genuine theorems (2 and the finite limits) are about, respectively, the program’s logical shape and a trivial continuum limit; the physical content is, throughout, a boxed and localized [SPEC].

8 Discussion

8.1 Status census

We reproduce and expand the program’s established-versus-speculative census, one row per Part, so that the composite [SPEC] status of the headline is unavoidable to the reader. This is the epistemic-transparency device the three seed projects also use.

8.2 Limitations

We state the limitations plainly; they are the content of the proposal, not caveats to it.

• No physical theorem is proved. The two [EST] results concern the program’s logical shape and a trivial Euclidean limit. Neither touches Lorentzian signature, dynamics, or interacting fields.

• The reconstruction segment $R_3$–$R_6$ has no condensed-native precedent. Each leg is anchored to a determination-direction theorem — Bisognano–Wichmann (relational $\to$ causal), Malament (causal $\to$ topology/conformal), causal sets and Connes (topology $\to$ metric), the spectral action and spin foams (metric $\to$ dynamics) — but every such precedent is Riemannian (Connes), wedge-presupposing (Bisognano–Wichmann), continuum-embedding (Malament), or non-condensed (causal sets); the condensed Lorentzian reconstruction the segment demands is open (cf. Franco–Eckstein and successors).

• The condensed upgrades of $A_3$–$A_5,R_1,R_2$ are unbuilt. No condensed fiber functor, no condensed Tannakian category, and no condensed BFV net exist in the literature; M1–M3 are prerequisites, not results.

• The dynamical templates are borrowed, not achieved. The spectral action and spin-foam and thermodynamic derivations (Q4) are other programs’ results, cited as templates the present program would need to emulate condensed-natively.

• Composition caps everything. By the weakest-link theorem, any claim depending on the whole pipeline is [SPEC]; no amount of rigorous condensed mathematics upstream can change this while any arrow of the segment $R_3$–$R_6$ stands.

8.3 Why a proposal, and why now

Two facts make this a reasonable time to state the proposal precisely rather than wait. First, the mathematical substrate has matured: condensed mathematics, its six-functor formalism, solid and liquid modules, and condensed homotopy theory are now developed enough to ask the physical questions in a well-typed way, even if not to answer them. Second, the reconstruction paradigm is now a genuine pattern across four established corners (Gelfand, Tannaka, Connes, Bisognano–Wichmann), so “geometry as an output of representation data” is no longer a metaphor but a repeated theorem in the Riemannian/static setting. The proposal is precisely the conjecture that this pattern extends, condensed-natively, to the Lorentzian/dynamical setting — and the honest observation that it has not yet been shown to.

9 Conclusion

This capstone stated the Condensed Representation Principle — physics is the study of realizations of condensed mathematical structures — and displayed the seven-part program as one boxed hierarchy whose established core, $\text{Category}\to \text{Condensed Sheaf}\to \text{Derived Object}\to \text{Representation}\to \text{Observable}\to \text{Measurement}$, is extended by the pregeometric reconstruction sub-ladder $\text{Measurement}\to \text{compatibility/descent}\to \text{relational}\to \text{causal}\to \text{topology}\to \text{metric}\to \text{dynamics}$, with each arrow’s warrant and developing Part made explicit. Making the terminal step explicit is the point: measurement does not directly produce spacetime, and displaying the intermediate rungs prevents the single old arrow from hiding a chain of distinct reconstruction problems. We proved the one thing a capstone can honestly prove about a program of this kind: not that its physics is right, but that its uncertainty has a clean shape. By the Program Status Theorem, seven arrows (the core $A_1$–$A_5$ and $R_1,R_2$) are established constructions and the entire speculative burden is localized in the Rung 4–7 segment $R_3$–$R_6$: reconstruct causal order (from relational/modular data), then topology, then a Lorentzian metric, then dynamics. The four open questions are facets of that segment; the milestones make M3 (an inverse system of causal diamonds recovering causal order) the first target and M4 (the full Lorentzian reconstruction $R_3$–$R_5$) the pivot; Malament’s theorem sharpens the segment to the recovery of a causal order rather than a full metric; and the finite discrete-to-continuum witness shows, in the only case elementary mathematics settles, the exact shape a realization limit would take.

The program is, by the discipline it imposes on itself, a proposal and not a theory. Its value is the scaffolding and the honesty: rigorous ingredients, one small true theorem about its own logic, four sharply posed questions, six milestones, four falsifiable sub-claims, and five explicit non-identifications. Whether the reconstruction segment can be instantiated — whether an inverse system of condensed causal diamonds recovers causal order, and then a Lorentzian metric in controlled cases — is left open, deliberately and precisely. That is the point of a capstone made of gaps: to say exactly which gaps matter, and in what order they must fall.

10 The accompanying verified Haskell

The repository accompanying this paper contains a small Haskell package, located in the directory

that mechanically checks the finite [EST] content of this capstone. It compiles clean under ghc -Wall and consists of four modules.

• Status realizes the warrant monoid $(W,\oplus ,\text{EST})$ of 1 and verifies its laws (associativity, commutativity, identity EST, absorbing SPEC, idempotence, monotonicity, worst-case) exhaustively over the finite carrier, so the verification is a decision procedure, not a spot check.

• Hierarchy encodes the expanded hierarchy of 1 — the established core $A_1$–$A_5$ and the reconstruction sub-ladder $R_1$–$R_6$ — as a typed pipeline, each arrow carrying its name, developing Part, construction warrant ${\sigma }_c$ and interpretation warrant ${\sigma }_i$. It computes the composite construction and interpretation statuses, identifies the blocking segment $\{R_3,R_4,R_5,R_6\}$ as the exact set of rank-maximal arrows, and computes the truncated statuses — realizing every clause of the Program Status Theorem (2) as an executable check.

• Limit realizes the discrete-to-continuum witness of 5: it computes the cycle-graph Laplacian eigenvalues (1), their rescaling ${\Lambda }_{n,k}$, the continuum eigenvalues ${\mu }_k=(2\pi k{)}^2$, and the errors, verifying the monotone bound of 2; and it computes the path-metric error of 3, checking it is $\le 2/n$.

• Main runs both demonstrations: it prints the hierarchy with per-arrow statuses, the composite/blocking/truncated results of the Program Status Theorem, and the spectral- and metric-convergence tables showing the errors shrinking as $n$ grows.

The code is intended as a machine-checked companion to the two [EST] theorems of this paper. It makes no physical claim; like the paper, it computes only the finite, established content and prints an explicit reminder that the emergent quantities are Euclidean/finite, not Lorentzian spacetime.