Substrate, Not Convention
Two of the questions this corpus set out to address early on — what dark matter is, and why the cosmological constant has the value it has — were left with partial, unequal answers. This article returns to both using a tool that didn’t exist when they were first addressed: the Type A/B classification developed for Standard Model constants. Applying it here is an extension, not a citation — it has not been done in this corpus before, and this article says so plainly rather than presenting it as an established result.
1. Where these two questions were left
Dark matter had a genuine structural placement (T⁻⁹, arity 19) and a falsifiable prediction — if a dark matter particle is ever detected, its mass in Planck units should carry 19 as a factor of its physical integer P — but the specific numerical value once proposed for that mass (532 GeV) was withdrawn as not reproducible, leaving the structural prediction intact but empirically untested.
Dark energy had two competing structural formulas for Ω_Λ that had never been reconciled, and — independent of that problem — no account of why its magnitude is so small relative to the scales that enter its definition, which is the actual content of the “cosmological constant problem” that physics asks about. With the formula question now resolved (Ω_Λ = (7×2×7)/(11×13) ≈ 0.6853, matching the Planck 2018 measurement to about 0.1%), the naturalness question is still open. This article does not close it. What it adds is a different, related question: not why the number is small, but what kind of number it is — whether Ω_Λ’s magnitude is something a future measurement could, in principle, help resolve, or whether it is fixed by structure in a way no measurement precision can touch.
2. The tool: Type A/B, briefly restated
An observable is Type A (substrate) if it can be defined without specifying how any open boundary condition closes — a mass pole, a mixing angle, a density fraction read off geometrically. Its structural value is guaranteed to require no accumulated convention: AD=0, and no future refinement of measurement technique changes that.
An observable is Type B (coupling) if its very definition requires specifying a framework for how an open boundary condition closes — a running coupling, a quantity that only makes sense relative to a renormalization scheme. AD>0 for these is not a limitation of current measurement; it is constitutive of what is being measured, and no future precision closes the gap.
This classification was tested against 24 Standard Model constants, with the correct AD=0/AD>0 outcome in all 24 cases — including cosmological density fractions Ω_m and Ω_b, both classified Type A. Neither dark matter’s mass nor Ω_Λ was part of that original test set. What follows is the same classification applied to both, for the first time.
3. Dark energy: applying the test to Ω_Λ
The test, asked in advance of any conclusion: can Ω_Λ be defined without specifying how any open boundary condition closes?
Ω_Λ is a density fraction — the share of the universe’s critical density attributable to dark energy, extracted from the expansion history (supernova distances, the cosmic microwave background, baryon acoustic oscillations). None of those extraction methods requires choosing a renormalization scheme, a perturbative order, or any other convention tied to how an open-BC level’s coupling is defined. This is the same reasoning that already places Ω_m and Ω_b in Type A — they are read geometrically, from how much matter or radiation is needed to produce the observed expansion history, not from a coupling relation that depends on a closure convention.
This holds even though the structural formula for Ω_Λ, (7×2×7)/(11×13), uses 11 and 13 — the same two arity-values (T⁻⁵, electromagnetic; T⁻⁶, weak field) that function as open-BC mediators in the derivation of 137. That structural fact does not change the classification: what determines Type A vs. Type B is whether the observable itself, as measured, requires specifying a closure convention — not whether its underlying structural formula happens to reference levels that are open in other contexts. Ω_Λ, unlike α_s, is never measured by extracting a coupling strength at some energy scale; it is measured by reading off a density ratio from geometry. On that basis, Ω_Λ classifies as Type A.
4. What Type A means for the naturalness problem, specifically
If this classification holds, it changes what kind of problem the cosmological constant’s small value actually is — without resolving it.
The “smallness problem” as physics states it (why is the vacuum energy density ~10⁻⁴⁷ GeV⁴, rather than the enormously larger value naive quantum field theory estimates suggest) has historically been treated as a problem awaiting either a cancellation mechanism or a deeper theory that reduces the natural estimate. Being Type A does not touch that question directly — it is not a claim about why the number is small. It is a claim about what future measurement can and cannot do to it: if Ω_Λ is genuinely Type A, then no accumulation of measurement precision, no refinement of extraction method, can ever attach additional axiomatic distance to it — the ratio is what it is, structurally, independent of how well the next generation of surveys measures it. That rules out one specific category of resolution to the naturalness problem: any account that treats the small value as an artifact of how the density is currently being defined or measured, rather than a fact about the vacuum itself. If Ω_Λ is Type A, the smallness is a fact about the substrate, not about the description layered on top of it — which is a real, if modest, narrowing of where an eventual explanation can live.
This also gives a second, independent argument for something this article’s companion piece on axiomatic distance already claimed on different grounds: that the Hubble tension cannot be a scheme artifact. If Ω_Λ, like Ω_m and H₀, is Type A across the board, then every quantity relevant to reading dark energy’s role in the expansion history is free of scheme-dependence — the tension, if it persists, is telling us something about the substrate, not about which convention different teams happened to use.
5. Dark matter: a more modest extension
The same test applied to a hypothetical dark matter particle’s mass is more straightforward, because particle masses of this kind are already well-represented in the Type A/B corpus. Light quark masses (m_u, m_s, m_b) are Type A. So is the Z boson mass and the Higgs mass. The exceptions — the top quark, held as an open, unresolved case in the companion Axiomatic Distance article — arise specifically because the top quark is too short-lived to have an unambiguous pole mass, forcing its measured value to depend on how it is extracted from decay products.
A dark matter particle, if it behaves like an ordinary massive, sufficiently long-lived state (which every viable candidate — axion, WIMP, or otherwise — is required to be, by the same stability argument that makes it a dark matter candidate at all), should have a well-defined pole mass in the same sense the light quarks do. On that basis, a dark matter particle’s mass classifies as Type A, provisionally — the classification cannot be tested against real data because no such particle has been detected, but the structural argument (long-lived, stable state → well-defined pole mass → Type A) parallels the reasoning already validated for every other stable massive particle in the corpus.
This adds one concrete, falsifiable expectation to the corpus’s existing prediction (P contains 19 as a factor): when a dark matter particle is eventually detected, its measured mass should accumulate little or no axiomatic distance from its structural value — behaving like m_u or m_b (AD=0), not like the top quark (AD=90) or the muon (AD=3672). If a detected dark matter mass instead shows large AD — requiring significant scheme-dependent correction to extract from the raw signal — that would be evidence against the Type A classification proposed here, not merely a measurement inconvenience.
6. What this article does not establish
This does not solve the cosmological constant problem. It reclassifies what kind of problem it is — a fact about substrate rather than a description artifact — which narrows, but does not remove, the space of possible explanations for the small value itself.
The Ω_Λ classification is new, not inherited. It was not part of the original 24-constant test set that validated Type A/B, and it has not been checked by anyone other than the reasoning in §3 above. The corpus’s own falsification standard applies here as much as anywhere: if a future, careful ALO analysis of Ω_Λ’s measurement chain finds genuine scheme-dependence this article missed, the classification is wrong, not merely incomplete.
The dark matter classification is entirely provisional, resting on analogy to other stable particle masses rather than on any actual measurement. It should be read as a prediction about what a future measurement should look like, not as a result.
For the Type A/B framework and its original 24-constant validation: “How Much Theory Is in a Physical Constant?” and “Why Some Constants Must Carry Convention.”
For the withdrawal of the earlier dark matter mass prediction and the structural claim (P contains 19) that remains active: prior corpus documents on the T⁻⁹ level.
For the corrected structural formula for Ω_Λ used throughout this article: confirmed against the two competing candidates previously in circulation, (7×2×7)/(11×13) retained, 83²/10⁴ retired as an exploratory reading not backed by the lexicon.
Appendix: Formal notation
Ω_Λ (structural) = (7×2×7)/(11×13) = 98/143 ≈ 0.6853
Ω_Λ (Planck 2018, measured) ≈ 0.6847
Error: ≈ 0.1%
Type A test for Ω_Λ:
Can Ω_Λ be defined without specifying how any open BC closes?
→ Yes: extracted geometrically (expansion history), not via coupling extraction.
→ Classification: Type A (cf. Ω_m, Ω_b, already Type A in the validated corpus)
Type A test for M_DM (provisional, no data):
Is a long-lived, stable massive particle's pole mass well-defined
without a closure convention?
→ Yes, by analogy with m_u, m_s, m_b, m_Z, m_H (all Type A)
→ Classification: Type A, provisional pending detection
Falsification commitments:
- If Ω_Λ's measurement chain is shown to require a closure convention
(e.g., via a model-dependent step not yet identified) → Type A claim fails.
- If a detected dark matter mass shows large AD (comparable to m_t or m_μ)
rather than near-zero AD (comparable to m_u or m_b) → Type A claim fails.CC BY-SA 4.0 — Diego Luis Tentor, ArXe Research, 2026