DIMENSIONAL EXPRESSION AND
PROSPECTIVE INFERENCE
A TSTOEAO Research Booklet on Relational Accessibility,
Inverse Reconstruction, Observational Equivalence, and Computational Testing
John Swygert
Ivory Tower Publishing
October 2, 2026
Collected Research Papers
Booklet Abstract
This booklet collects six sequential TSTOEAO papers that develop one research program from a speculative physical-accessibility hypothesis into a constrained program of geometric inference and computational falsification. The sequence begins by asking whether relational degrees of freedom represented within the universal TSTOEAO coordinate domain may possess variable operational accessibility. It then separates ordinary physical compression from dimensional expression, develops forward projection and inverse reconstruction as paired problems, and follows successive dimensional extension without assigning unsupported physical meanings to unknown higher dimensions. The later papers shift the center of the program from dimensional imagery to observational equivalence: richer source structure matters scientifically only when registered measurements can expose distinctions that strong lower-dimensional alternatives cannot reproduce prospectively. The program therefore advances through source discrimination, negative signatures, cross-probe constraints, active measurement, adversarial comparison, and analytically certified benchmark cases. Across the collection, the stronger physical hypotheses remain explicitly separable from the mathematical and methodological machinery. The governing objective is not to protect a preferred dimensional interpretation, but to construct a sequence in which projection, reconstruction, accessibility, additional source structure, and proposed physical actuation can each succeed, narrow, or fail under declared tests.
Introduction to the Collected Sequence
The six papers are presented in developmental order. The first establishes the substrate-relaxation and accessibility hypothesis while preserving the existing roles of G_T, M_D, Encoded Equilibrium Y, and relational invariance I_R. The second converts the golf-ball intuition into a geometric program built around upward expression, downward observation, candidate source families, and information from reliably absent features. The third asks what survives when the construction is extended dimension by dimension and identifies reduction of observational equivalence as the more general relational structure beneath the ladder. The fourth turns that structure into a prospective source-discrimination protocol. The fifth makes the protocol vulnerable to a strong conventional computational baseline and to explicit model misspecification. The sixth supplies a transparent analytic calibration tier in which the correct outcomes are certified independently of the inference machinery being tested.
Read together, the papers deliberately move from hypothesis toward constraint. Early physical language is not treated as established by later mathematical success. Conversely, failure of a stronger physical interpretation does not erase useful results in inverse reconstruction, identifiability, observational-equivalence reduction, experimental design, or benchmark construction. The collection is therefore cumulative in method but conditional in claim strength.
Contents
1. Substrate Relaxation and Dimensional Expression
A TSTOEAO Hypothesis of Compression, Expression, Relational Coordinates, and Electromagnetic Observability
2. Dimensional Expression, Relational Geometry, and Inverse Reconstruction
A TSTOEAO Research Note on Dimensional Compression, Higher-Dimensional Expression, and Information from Projection
3. Successive Dimensional Expression and Relational Gain
A Dimension-by-Dimension TSTOEAO Construction from Point States to Higher-Dimensional Source Geometry
4. Relational Source Discrimination and Prospective Dimensional Inference
A TSTOEAO Protocol for Observational-Equivalence Reduction, Competing Source Geometries, Negative Signatures, and Active Measurement
5. Adversarial Benchmark for Prospective Dimensional Inference
A Blinded G₁–G₄ Computational Test of TSTOEAO Relational Source Discrimination Against Strong Conventional Baselines
6. Analytic Ground Truth for Prospective Dimensional Inference
A Minimal Four-Regime Calibration of the TSTOEAO Relational Source-Discrimination Protocol
Concluding Synthesis
SUBSTRATE RELAXATION AND DIMENSIONAL EXPRESSION
A TSTOEAO Hypothesis of Compression, Expression, Relational Coordinates, and Electromagnetic Observability
John Swygert
Ivory Tower Publishing
October 1, 2026
Abstract
This paper develops a constrained extension of The Swygert Theory Of Everything AO (TSTOEAO) in which dimensionality is investigated not as a second coordinate system, but as a potentially variable state of relational accessibility within the established universal coordinate domain G_T. The proposal begins from the TSTOEAO substrate concept and asks whether relaxation from a maximally compressed, minimally differentiated limiting condition can be given mathematical content without redefining G_T, domain overlays M_D, Encoded Equilibrium Y, relational invariance I_R, coordinate transformation, or admissible transport. The central mathematical object is an accessibility state. A diagonal first model is written Λ = (λ₁, λ₂, …, λ ), with 0 ≤ λᵢ ≤ 1, but the more general formulation uses an accessibility operator A_Λ acting on a relational state x ∈ G_T. The coefficients λᵢ are not defined as percentages of existence. They are proposed operational variables describing the degree to which a declared relational degree of freedom can be distinguished, controlled, transmitted, or reconstructed under a fixed measurement protocol. This makes dimensional expression testable only if λᵢ can be measured independently of the observation used to claim a change in λᵢ. The paper separates substrate ontology from the minimum scientific extension. It defines candidate invariance conditions, admissible compression/expression transformations, axis-selective predictions, and a reconstruction criterion distinguishing inaccessible information from demonstrated information loss. Electromagnetism is retained in two deliberately separate roles: as a possible diagnostic correlate of expression and, under a stronger hypothesis, as a possible actuator. Neither role is permitted to establish dimensional change unless ordinary electromagnetic, thermal, mechanical, material, projection, receiver, and instrumental explanations are quantitatively excluded. The hypothesis is therefore allowed to fail locally. If the accessibility formalism reduces completely to ordinary coordinate projection or known channel theory, if no nontrivial relational invariant survives the proposed transformation, if λᵢ cannot be independently operationalized, or if electromagnetic results are exhausted by conventional effects, the corresponding stronger claims are not supported. The purpose of this paper is to identify the smallest rigorous vertical extension of TSTOEAO worth mathematical and experimental development.
1. The Foundational Paradox: Nothing Expressed, Maximum Opportunity
The substrate is used here in the established TSTOEAO sense of a lawful condition beneath expressed form. The present paper does not treat the substrate as empty spacetime, matter, a conventional field, or an already dimensional arena. It proposes a limiting substate S₀ in which differentiated physical expression is minimal while lawful opportunity remains maximal.
S₀ = Law + maximal unexpressed opportunity
Expression(S₀) -> 0
Opportunity(S₀) -> Ωmax
The word opportunity requires refinement. Undifferentiated opportunity and differentiated relational opportunity are not assumed to be the same quantity. Let Ωᵤ denote unexpressed or unconstrained opportunity and Ωᵣ denote relational opportunity made meaningful by differentiation. Relaxation may reduce Ωᵤ while increasing Ωᵣ. This prevents the hypothesis from requiring one scalar opportunity measure to move in contradictory directions. Ωᵤ ↓ while Ωᵣ may ↑ This remains an ontological hypothesis. No mathematical result in this paper establishes that S₀ physically existed, that it precedes G_T in a temporal sense, or that dimensionality literally emerged from it. The scientific burden begins when the proposed relaxation is connected to independently measurable relational accessibility.
2. Relaxation as a Candidate Accessibility Transformation
Relaxation is defined minimally as a transformation that changes the accessibility of one or more relational degrees of freedom. It is not assumed to be mechanical expansion, thermodynamic relaxation, cosmological expansion, or a change of coordinate labels. S₀ ──R -> S₁ ──R -> S₂ ──R -> … For scientific work, the symbol R must be replaced by an operator with a declared domain, codomain, parameters, and observable consequences. The minimum proposal is therefore not that relaxation creates coordinates, but that a candidate relaxation process changes an accessibility state Λ and thereby changes the relational state available to a fixed receiver.
R : Λₐ -> Λ_b
A valid relaxation claim must predict what becomes newly accessible, what becomes less accessible, what remains invariant, and what observation would count against the transformation. A change in an unexplained detector output is not sufficient.
3. Dimensional States as Operational Accessibility States
Let x be a relational state represented within G_T, and let {d₁, d₂, …, d } denote a declared set of relational-coordinate degrees of freedom. A first diagonal model assigns an accessibility coefficient to each declared axis:
Λ = (λ₁, λ₂, …, λ ), 0 ≤ λᵢ ≤ 1
The coefficient λᵢ is not a claim that an axis exists by a fractional amount. It is defined operationally through a fixed protocol 𝓜. Let aᵢ be an accessibility functional:
aᵢ : G_T × 𝓜 -> [0,1]
λᵢ = aᵢ(x; 𝓜)
Depending on the experiment, accessibility may mean distinguishability, controllability, transmissibility, recoverability, or receiver-accessible information. The selected meaning must be declared before the result is known. The protocol must also specify the receiver, noise model, calibration, tolerance, and relevant conventional controls. The diagonal vector is only a special case. Accessibility may couple axes. The more general object is an operator:
A_Λ : G_T -> X_Λ ⊆ G_T
In a chosen basis, a diagonal approximation is A_Λ = diag(λ₁, λ₂, …, λ ). A non-diagonal A_Λ permits coupled accessibility, rotation of accessible relational directions, or collective effects that cannot be represented by independent scalar coefficients. This distinction prevents the theory from assuming axis independence before it is demonstrated.
4. Emergence onto the TSTOEAO Coordinate Architecture
TSTOEAO Book II establishes the universal coordinate domain G_T and domain-specific overlays M_D. The present hypothesis must therefore avoid creating a rival geometry merely by naming a new state variable. The conservative vertical architecture is:
S₀ ──R -> Λ ──A_Λ -> X_Λ ⊆ G_T -> M_D -> Observable State
Under this formulation, G_T remains the universal relational-coordinate domain. The new hypothesis concerns which relational structure within G_T is accessible under a given state Λ. Only a later and stronger derivation could justify the claim that G_T itself emerges from substrate relaxation. This produces two distinct directions of analysis:
Vertical: S₀ -> Λ -> X_Λ ⊆ G_T -> M_D -> observable
Horizontal: M_D₁ <-> G_T <-> M_D₂ Horizontal transformation asks whether different expressed representations preserve a common relation inside G_T. Vertical transformation asks whether relational accessibility itself can change while specified deeper relations remain invariant. The vertical proposal is complementary only if it makes predictions not already exhausted by ordinary horizontal coordinate transformation, projection, or receiver limitation.
5. Encoded Equilibrium and Opportunity Must Remain Distinct from Λ
The foundational TSTOEAO relation remains: V=E×Y This paper does not redefine Y as Λ. Encoded Equilibrium remains the structured condition governing what available Energy or Opportunity can become. Λ is a proposed accessibility state that may be conditioned by Y but is not identical to Y.
Y≠Λ
Λ = F(Y, x, B, …) [candidate relation]
The function F is not yet derived. It is a placeholder for a future domain-specific model and must not be treated as established doctrine. Likewise, unexpressed substrate opportunity Ωᵤ is not automatically identical to a measurable domain realization of E. The mapping from Ωᵤ to E must be specified rather than assumed. This separation is necessary to prevent circularity. If every unexplained change is called a change in Y, and every change in Y is then called a change in Λ, the extension cannot be falsified. The new variable must earn independent empirical content. Recursive history may still matter. A realized outcome, correction, cost, feedback record, or preserved memory may alter the governing conditions of a later cycle: V
-> Y ₊₁
A future substrate-relaxation model may ask whether such changes in Y alter A_Λ, but that causal step requires its own derivation or experiment.
6. Relational Invariance and Admissible Compression/Expression
The mathematical heart of the proposal is not compression alone. Ordinary mathematics already supplies projections, embeddings, coarse-graining, attenuation, dimensional reduction, and inverse reconstruction. The distinctive question is whether a candidate accessibility transformation can change what is accessible while preserving a declared relational invariant.
Let C_Λ be a candidate compression/expression transformation:
C_Λ : X -> X_Λ
Let I_R be a candidate relational invariant:
I_R : X -> 𝓘
An exact admissibility condition is:
I_R(C_Λx) = I_R(x)
An experimental version may use a preregistered equivalence margin ε_I:
|| I_R(C_Λx) − I_R(x) || ≤ ε_I
The transformation is admissible only relative to the declared invariant family, state class, and tolerance. The invariant cannot be selected after observing which quantity happened not to change. This creates a direct failure condition. If no nontrivial I_R survives a claimed expression/compression transformation, then the proposed invariant-preserving vertical transport is not established. If the only invariant is a trivial constant, the construction supplies no meaningful relational bridge.
7. The Projection Null Hypothesis
Any dimensional-expression model must first defeat ordinary projection. Let P be a conventional projection or measurement-limitation operator and M a fixed receiver map:
H₀: O = M(Px)
Let the proposed accessibility model be:
H₁: O = M(A_Λx)
If H₁ and H₀ are observationally and mathematically equivalent over the tested state class, dimensional expression has not acquired distinct scientific content. Renaming P as compression does not establish new physics. The minimum requirement for H₁ is therefore at least one preregistered constraint, invariant, response pattern, reversibility property, or cross-condition prediction that H₀ does not supply. Model comparison must include ordinary coordinate projection, channel attenuation, anisotropic response, receiver bandwidth, coarse-graining, and established inverse-problem methods where applicable. This is a deliberate breaking condition: if the standard model predicts the data within the registered uncertainty and the accessibility model contributes no independently testable surplus structure, the stronger dimensional-expression interpretation should be rejected or narrowed.
8. Inaccessible Information Versus Genuine Loss
The proposed framework can distinguish operational inaccessibility from demonstrated loss by using
injectivity. Let C : X -> Z be a compression map. If distinct states satisfy
C(x₁) = C(x₂), x₁ ≠ x₂
then a single compressed observation cannot distinguish x₁ from x₂. This establishes non-identifiability under C, not destruction of the underlying relational information. Now consider multiple accessibility states C₁, C₂, …, C_k and define the joint observation map:
𝓒(x) = (C₁(x), C₂(x), …, C_k(x))
If 𝓒 is injective on the declared admissible state class,
𝓒(x₁) = 𝓒(x₂) ⇒ x₁ = x₂
then information inaccessible in any single observation may remain jointly reconstructable. The scientifically relevant claim is therefore individual non-injectivity with joint injectivity, subject to noise, stability, and reconstruction error. If the same reconstruction is already guaranteed by established tomography or inverse-problem theory, the result is conventional knowledge expressed in TSTOEAO language, not evidence for a new physical mechanism. A TSTOEAO extension becomes distinct only where it predicts a constrained accessibility structure not supplied by the conventional reconstruction model.
9. Axis-Selective Compression and Expression
Axis selectivity provides one of the strongest prospective predictions because it specifies a pattern rather than merely a change. For a three-axis example:
Λ₀ = (1, 1, 1)
Λ₁ = (1, λ, 1), λ < 1
A registered intervention targeting d₂ must produce a measurable change in the accessibility functional for d₂ while the untargeted axes remain within declared equivalence margins: |Δλ₂| > δ₂
|Δλ₁| ≤ ε₁, |Δλ₃| ≤ ε₃
At the same time, any claimed relational invariant must remain within its registered margin:
||ΔI_R|| ≤ ε_I
A non-diagonal model may instead predict a specific rotation or coupling pattern. That pattern must be declared before observation. Generic anomaly is not axis selectivity. A particularly strong physical test would rotate an intervention while holding conventional deposited energy as constant as practicable and predict a corresponding rotation in the affected accessibility direction. Failure of the directional pattern would count against the axis-selective hypothesis.
10. Electromagnetism as a Candidate Signature of Expression
Electromagnetism first enters only as a diagnostic hypothesis. The limiting possibility is that a maximally compressed substrate has no detectable electromagnetic expression and that electromagnetic observability becomes possible only after sufficient differentiation.
Λ -> 0 may imply O_EM -> 0
This is not presently distinctive. A null electromagnetic observation can arise from no source, no coupling, shielding, destructive interference, receiver blindness, attenuation, bandwidth limits, geometry, or other conventional causes. Therefore absence of detectable electromagnetism cannot by itself establish maximal compression. A scientifically useful diagnostic model requires a preregistered quantitative relation:
O_EM = F_EM(Λ, θ)
where θ contains the conventional physical and receiver parameters required by the domain. Most
importantly, Λ must not be inferred solely from O_EM if O_EM is then used as evidence that
electromagnetism tracks Λ. At least one independent accessibility measure is required. Accordingly, electromagnetic observability remains a prospective signature hypothesis, not evidence that dimensional expression has occurred.
11. Electromagnetism as a Candidate Actuator
A stronger and independent hypothesis asks whether controlled electromagnetic configurations can alter A_Λ. This claim must be separable from the diagnostic hypothesis so that failure of electromagnetic control does not invalidate the broader accessibility formalism.
Diagnostic hypothesis: dimensional accessibility -> measurable EM signature
Control hypothesis: controlled EM configuration -> independently measured change in accessibility
A candidate actuator may be represented schematically as:
Λ′ = T_EM(Λ; E, B, ω, φ, ∇E, ∇B, …)
The symbol T_EM is provisional. It is not a physical law until its inputs, outputs, units, causal pathway, and response function are defined. An experiment must not count an ordinary electromagnetic change in the same detector as evidence that dimensional accessibility changed. A stronger test requires an independently measured, preregistered pattern such as:
C₁ -> (Δλ₁, 0, 0)
C₂ -> (0, Δλ₂, 0)
with conventional electromagnetic coupling, heating, force, vibration, material response, detector saturation, cross-talk, environmental fields, and instrumental drift measured or bounded. Reversibility should also be tested where the model predicts it. If all observed changes are quantitatively explained by established electromagnetic effects, the EM-actuator hypothesis is not supported. Such a result does not automatically falsify the abstract accessibility formalism.
12. The Minimum Mathematical Program
The smallest rigorous formulation worth developing contains four primary objects:
(X, A_Λ, I_R, M)
where X is a relational state space represented within G_T, A_Λ is the accessibility transformation, I_R is a candidate relational invariant, and M is a fixed receiver or measurement map. The minimum mathematical program should establish: (1) the type and admissible domain of X; (2) the operational definition and identifiability of λᵢ or A_Λ; (3) the transformation class for compression and expression; (4) a nontrivial invariant family I_R; (5) an admissibility rule; (6) reconstruction conditions; (7) axis-selective null conditions; and (8) a comparison against ordinary projection and inverse reconstruction.
The first theorem should answer a narrow question: under what conditions is A_Λ mathematically
distinguishable from an ordinary projection P? If no such conditions can be stated, the physical language of dimensional expression should be withheld.
13. The Minimum Experiment Before Electromagnetic Actuation
The first experiment should be computational or engineered rather than cosmological. Construct a known relational state x with multiple independently measurable degrees of freedom. Apply controlled accessibility operators A_Λ that selectively suppress declared degrees of freedom. Before reconstruction, preregister I_R, targeted axes, untargeted equivalence margins, receiver conditions, transformation family, noise model, reconstruction criterion, and conventional projection/inverse-problem baselines. The decisive comparison is:
H₀: O = M(Px)
H₁: O = M(A_Λx)
If H₁ supplies no prediction beyond H₀, the test has not established a distinct dimensional-expression mechanism. If H₁ predicts an invariant, selectivity pattern, reconstruction boundary, or response relation that H₀ does not and that prediction survives prospective testing, the accessibility formalism earns further investigation. Only after this stage should a physical actuator be introduced. A later electromagnetic experiment should use blinded or otherwise protected analysis where practical, matched controls, fixed receivers, preregistered directional predictions, and independent accessibility measures. The experiment should be designed so that ordinary electromagnetic interaction can win.
14. Failure Conditions
The hypothesis is not strengthened by explaining every possible outcome. Its scientific value depends on local claims being allowed to fail.
The continuous accessibility-variable claim is weakened if no independently measurable λᵢ or operator property can be defined. The invariant-preserving vertical-transport claim is weakened if no nontrivial I_R survives. The distinct dimensional-expression claim is weakened if A_Λ reduces completely to known projection, attenuation, coarse-graining, or channel theory. The reconstruction claim is weakened if multiple accessibility states perform no differently from established inverse methods. The electromagnetic-signature claim is weakened if EM observations are fully accounted for conventionally. The electromagnetic-actuator claim is weakened if controlled EM produces no independently measured accessibility residual after conventional effects are bounded. A theory cannot claim courage before an experiment and become metaphor after the result.
15. The Vertical Extension of TSTOEAO
The proposed architecture is best understood as a candidate vertical extension complementary to Book II's horizontal coordinate transformation and transport. Horizontal analysis compares representations within the expressed relational architecture. Vertical analysis asks whether accessibility to relational degrees of freedom can itself change while deeper registered relations remain preserved. Horizontal: M_D₁ <-> G_T <-> M_D₂
Vertical: Λₐ ──A -> Λ_b with I_R preserved within ε_I
The vertical extension is legitimate only to the extent that it preserves the established role of G_T, respects domain overlays M_D, does not redefine Encoded Equilibrium to absorb Λ, and produces prospective mathematical or experimental consequences beyond ordinary representation change. The substrate-relaxation ontology may motivate this architecture, but the scientific architecture does not depend on the ontology being accepted in advance. This separation allows the mathematics to survive even if the strongest cosmological interpretation fails.
16. Conclusion: The Smallest Surviving Hypothesis
The substrate-relaxation hypothesis can be incorporated into the existing TSTOEAO coordinate framework in a constrained form. The safest formulation does not claim that relaxation creates G_T. It proposes that states represented within G_T may possess variable relational accessibility described by Λ or, more generally, A_Λ. The strongest mathematical direction is the joint treatment of accessibility, invariant preservation, axis selectivity, and reconstruction. The weakest present claims are the ontological transition from S₀ to expressed dimensionality and the use of electromagnetism as either a signature or actuator before an independent accessibility measure exists. The next complementary work should therefore attempt to derive A_Λ, I_R, admissibility, and reconstruction conditions before expanding the ontology. It should explicitly compare the model against ordinary projection, tomography, channel theory, and inverse reconstruction. Only a prediction that survives those null models should be described as evidence for a distinct dimensional-expression mechanism. The smallest rigorous hypothesis worth carrying forward is: A relational state may possess an operational accessibility state Λ whose admissible transformations selectively alter accessible degrees of freedom while preserving preregistered relational invariants.
If this proposition cannot be distinguished from ordinary projection, it should be narrowed or abandoned. If it can be distinguished prospectively and reproducibly, then substrate relaxation, electromagnetic observability, and electromagnetic actuation become legitimate stronger hypotheses for later testing. The purpose of the extension is therefore not to protect the idea of dimensional expression. It is to expose that idea to enough mathematical and experimental constraint that reality can decide whether anything distinct remains.
DIMENSIONAL EXPRESSION, RELATIONAL GEOMETRY, AND INVERSE RECONSTRUCTION
A TSTOEAO Research Note on Dimensional Compression, Higher-Dimensional Expression, and Information from Projection
John Swygert
Ivory Tower Publishing
October 2, 2026
Abstract
This paper develops a geometric interpretation of dimensional expression arising from the TSTOEAO substrate-relaxation program. The central proposal is not that ordinary matter is mechanically compressed into a thinner object, but that a bounded relational state may admit descriptions or expressions of different dimensional order. A familiar three-dimensional object, such as a golf ball, is used as a controlled thought experiment. At lower dimensional expression, less relational geometry is available; at higher dimensional expression, additional independent relational geometry becomes representable without requiring the already expressed lower-dimensional relations to be altered. This motivates two complementary problems: the forward problem of determining what a higher-dimensional structure must project or intersect as in a lower-dimensional domain, and the inverse problem of determining what higher-dimensional structures could have produced a given family of lower-dimensional observations. The latter makes structured absence potentially informative: features that a candidate source geometry necessarily predicts, but that are reliably absent from observation, constrain the admissible source family. The paper does not claim that physical objects can presently be dimensionally compressed, that higher spatial dimensions have been observed, or that anomalous observations establish higher-dimensional causes. It instead defines a disciplined geometric and computational program that can first be calibrated against established projection, tomography, holography, and inverse-reconstruction mathematics.
1. The Golf-Ball Thought Experiment
Consider one golf ball as a fixed relational object. Ordinary compression can reduce its spatial volume while leaving it three-dimensional. Dimensional compression, as hypothesized here, is different. The question is whether the same underlying relational identity could be represented or physically expressed through fewer accessible dimensions while retaining sufficient structure for later reconstruction. The distinction is therefore:
ordinary compression: 3D object -> smaller 3D object
candidate dimensional compression: 3D relational state -> 2D expression
The two-dimensional result should not be treated merely as an extremely thin three-dimensional disk. The stronger hypothesis asks whether a degree of dimensional expression itself can become unavailable while relational information associated with the original state remains preserved, encoded, or recoverable. The reverse question is equally important: if a lower-dimensional expression preserves the required relational information, under what conditions can a higher-dimensional expression be reconstructed? This converts the
informal idea of a dimensional 'knob' into a mathematical problem of admissible expression, invariance, loss, and reconstruction.
2. Successive Dimensional Expression
A useful first model is to hold the identity of the object fixed while increasing the dimensional richness of its description. The purpose is not to claim that these stages are the ontology of nature, but to identify what new relational geometry becomes available at each step. D0: identity or location represented as a point. D1: one independent coordinate permits extent and ordering along a line. D2: a second independent coordinate permits planar relations, area, boundary, planar curvature, and two-coordinate geometry. D3: a third independent spatial coordinate permits volume, interior/exterior structure, full spherical geometry, and relations unavailable to a strictly planar description. D4: treating time as an additional coordinate permits a history of three-dimensional configurations: trajectory, rotation, deformation, interaction, and change. A single 3D state becomes a section of a richer spacetime description. The central rule suggested by this sequence is: each added independent dimension permits an additional class of relational geometry to be expressed, while lower-dimensional relations may remain embedded within the richer description.
3. Relational Volume Rather Than Physical Size
The claim that geometry 'grows' with dimensional expression should not be confused with a claim that the physical golf ball becomes spatially larger. The proposed growth is in relational or descriptive volume: the set of distinguishable relationships that can be represented increases as independent coordinates are added. This distinction matters because a higher-dimensional representation may contain more information about the same object without altering the object's lower-dimensional snapshot. A circle can remain exactly the same circle while also being identified as a cross-section of a sphere. The added dimension supplies relational context that the isolated circle does not contain by itself. This motivates a candidate principle: Dimensional Expression Principle: an increase in dimensional order may expose additional independent relational geometry without requiring alteration of the relations already expressed in the lower-dimensional state.
4. Upward Expression and Downward Projection
The word projection must be used carefully. In standard mathematical language, projection usually maps a richer space into a lower-dimensional representation. The upward operation imagined here is better described as expression, lifting, embedding, or reconstruction. Accordingly, two complementary maps should be distinguished:
Upward expression/reconstruction: D_n -> D_(n+1)
Downward projection/intersection: D_(n+1) -> D_n
The forward direction asks what a declared higher-dimensional geometry produces when observed through a lower-dimensional domain. The reverse direction asks what higher-dimensional geometry is compatible with the lower-dimensional result.
5. The Forward Problem
Let X_(n+1) denote a candidate higher-dimensional state and let P_n denote a declared projection, intersection, or observation map into dimension n:
O_n = P_n(X_(n+1))
The forward problem is to calculate O_n from a known X_(n+1). This is the controlled analogue of the familiar Flatland example. A three-dimensional sphere intersecting a two-dimensional plane can appear as a point, then a growing circle, then a shrinking circle, and finally disappear. Nothing anomalous occurs in the three-dimensional description; the apparent transformation is produced by the lower-dimensional observer's restricted access to the source geometry. This example supplies a calibration requirement. Any generalized dimensional-expression mathematics should correctly reproduce known lower-dimensional sections and projections before it is used to reason about unknown higher-dimensional structures.
6. The Inverse Problem
The more powerful question reverses the map. Given a sequence or family of lower-dimensional observations O_1, O_2, ..., O_k, what family of higher-dimensional source geometries could have generated them? {O_i} <- P_i(X_(n+1)) The inverse problem does not normally identify a unique source without additional constraints. Instead it defines an admissible family of candidate sources. Each independent observation, viewing condition, transformation, invariant, or boundary condition can reduce that family. If C_0 is the unconstrained candidate family and successive observations impose constraints, then: C_0 contains C_1 contains C_2 contains ... contains C_k The scientific objective is not to select an exotic source because it is imaginable. It is to determine which source geometries remain possible after all declared constraints are applied.
7. Information from What Is Not Observed
The inverse formulation gives structured absence a precise role. Suppose a candidate higher-dimensional geometry X_A necessarily predicts a lower-dimensional feature Q under the declared observation conditions. If Q is reliably absent and the instrument or receiver was capable of detecting it, then X_A is disfavored or excluded under those conditions.
X_A -> Q
Q not observed, with adequate sensitivity -> constraint against X_A
Absence is therefore informative only when the expected feature, detection conditions, uncertainty, and alternative explanations are specified in advance. Failure to observe an undetectable or non-required feature supplies no useful constraint.
This creates a direct connection to a broader TSTOEAO methodological theme: an observation is not exhausted by what reaches the receiver. The pattern of received information, missing information, transformation, and invariance can constrain the route and source that generated the observation.
8. Holography as a Calibration Domain
Holography is a useful established test bed because a lower-dimensional recording can encode relational information sufficient to reconstruct a three-dimensional optical wavefront. This does not demonstrate literal physical dimensional compression. It does, however, provide a real system in which information represented on a lower-dimensional medium supports reconstruction of richer spatial structure. The immediate research question is therefore modest: can the TSTOEAO accessibility, invariant, and reconstruction formalism correctly describe what information survives holographic encoding, what becomes inaccessible in a single observation, what is recoverable, and which relations are required for reconstruction? If the framework cannot reproduce known projection and reconstruction behavior, its dimensional generalization requires revision. If it does reproduce that behavior, the result validates the mathematical machinery as a descriptive framework, not the stronger claim that physical dimensional expression has been manipulated.
9. Extending the Question Above Three Spatial Dimensions
Once the framework is calibrated on dimensions whose geometry is understood, the same rule can be applied upward without first assigning a speculative physical meaning to the next dimension. Instead of declaring what a fifth dimension must be, define the transition D_n -> D_(n+1) by asking:
1. What new independent relation becomes representable?
2. Which lower-dimensional relations remain invariant?
3. What information in D_(n+1) cannot be reconstructed from one D_n observation?
4. What family of D_n projections or sections would jointly constrain or reconstruct the D_(n+1) state?
5. What observations would rule out a proposed D_(n+1) geometry?
Under one candidate interpretation discussed here, a four-dimensional description contains the complete spacetime history of a three-dimensional object, while a fifth-dimensional construction could represent relations among complete four-dimensional histories. This is a projective hypothesis, not an established identification of the physical fifth dimension and not a claim that quantum superposition is literally a fifth dimension.
10. Higher-Dimensional Bodies and Lower-Dimensional Observations
The framework also permits a neutral geometric question about any observed object whose apparent behavior is difficult to represent in the observer's accessible geometry. If a higher-dimensional body intersected with or projected into a lower-dimensional domain, what lower-dimensional sequence would necessarily result? Conversely, what higher-dimensional shapes could produce a measured sequence? This question is independent of any particular anomalous-phenomena claim. A lower-dimensional observer can mischaracterize a perfectly ordinary higher-dimensional trajectory because only changing sections or projections are available. However, unusual appearance, disappearance, shape change, or apparent discontinuity is not evidence by itself for a higher-dimensional source. Conventional geometry, perspective,
occlusion, propagation, instrumentation, motion, material behavior, and other ordinary mechanisms remain necessary null explanations. The useful product is therefore not the statement 'an anomaly is higher-dimensional.' It is a library of preregistered geometric signatures that specified higher-dimensional source classes must produce under specified observation maps.
11. Relation to the Existing TSTOEAO Dimensional-Expression Paper
The preceding interpretation strengthens the motivation for distinguishing ordinary information loss from operational inaccessibility. The existing substrate-relaxation paper defines an accessibility state Lambda and the more general operator A_Lambda within G_T, while requiring declared relational invariants I_R, independent operationalization, and comparison against ordinary projection, tomography, channel theory, and inverse reconstruction. The present note does not replace that conservative formulation. It identifies a deeper geometric hypothesis motivating it: dimensional compression may be understood as suppression of levels of relational expression rather than merely reduction of physical size, while dimensional expansion may be understood as exposure or reconstruction of additional relational geometry. This stronger interpretation must remain separable from the operational accessibility model. Successful reconstruction of higher-dimensional geometry from lower-dimensional data would not, by itself, demonstrate that a physical object's dimensionality had changed.
12. A Minimal Mathematical Program
A disciplined next program can be built without assuming new physics: First, choose simple known objects such as a point, line segment, circle, sphere, and hypersphere. Second, define exact section and projection maps between adjacent dimensional spaces. Third, inventory the relational quantities added at each upward step and identify which quantities remain invariant under downward maps. Fourth, solve the inverse problem: determine the family of higher-dimensional sources compatible with one lower-dimensional observation and measure how additional observations shrink that family. Fifth, explicitly include negative constraints: identify features each candidate source must produce and test whether their absence excludes the candidate. Sixth, compare the resulting formalism against established geometry, tomography, holography, compressed sensing, inverse problems, and information theory. Only after the framework survives these known cases should it be used to formulate physically stronger hypotheses about localized dimensional expression or dimensional actuation.
13. Falsification and Scope
Several outcomes would narrow the proposal. If every useful result is completely equivalent to established projection and inverse-reconstruction mathematics, the framework may remain a TSTOEAO representation of known mathematics but would not establish new dimensional physics. If no nontrivial invariant can be preserved across the proposed dimensional transformations, the stronger continuity claim fails. If higher-dimensional candidates cannot make distinctive lower-dimensional predictions, the inverse program
cannot discriminate among them. If a claimed absence is attributable to receiver limits, it cannot constrain the source geometry. Conversely, a useful result need not establish new physics. A rigorous projective framework that organizes higher-dimensional inference, identifies invariant relational structure, and extracts constraints from both observed and absent features could be valuable as a computational method even if physical dimensional compression never occurs.
14. Conclusion
The present idea can be stated simply. A familiar object such as a golf ball is not exhausted by the geometry visible from one dimensional level or one observation. As dimensional order increases, additional independent relational geometry may become expressible. As dimensional order decreases, some of that geometry may become inaccessible without necessarily being destroyed. This produces a paired research strategy. Forward dimensional analysis asks what a higher-dimensional source must look like when restricted to a lower-dimensional observer. Inverse dimensional analysis asks what the unseen higher-dimensional source must be like, or cannot be like, given the lower-dimensional observations and the observations that are conspicuously absent. The immediate scientific task is not to claim access to higher dimensions. It is to determine whether this dimensional-expression language can reproduce known geometry and reconstruction science, then generalize the mathematics carefully enough that proposed higher-dimensional structures make constrained, falsifiable lower-dimensional predictions. The central working principle is: Each additional dimension may expose additional relational geometry; each lower-dimensional projection may preserve enough structure, across suitable observations, to constrain the geometry that is not directly seen.
SUCCESSIVE DIMENSIONAL EXPRESSION AND RELATIONAL GAIN
A Dimension-by-Dimension TSTOEAO Construction from Point States to Higher-Dimensional Source Geometry
John Swygert
Ivory Tower Publishing
October 2, 2026
Abstract
This paper develops a dimension-by-dimension extension of the TSTOEAO dimensional-expression program. Rather than assigning a physical meaning to unknown higher dimensions in advance, it follows one controlled conceptual object through successive dimensional state spaces and asks the same questions at every transition: What new independent relational distinction becomes representable in D_(n+1) that was unavailable as a direct coordinate relation in D_n? Which lower-dimensional relations remain embedded or invariant? What information is lost, hidden, or made non-identifiable under a declared downward observation? What higher-dimensional source geometries remain compatible with the lower-dimensional result? What required features are absent? The construction begins at D0 and treats D1, D2, and D3 explicitly before separating spatial dimensional extension from the physically distinct use of time in four-dimensional spacetime. It then proceeds beyond five dimensions only formally: D5, D6, and Dn are treated as additional-coordinate state spaces whose physical interpretation is intentionally left unspecified. This prevents the familiar sequence point-line-plane-volume from being used as an unjustified argument that higher physical dimensions must correspond to histories, possibilities, superposition, consciousness, or any other proposed ontology. The result is a controlled relational ladder and an associated inverse program. Higher-dimensional hypotheses must earn their added coordinates by producing constrained lower-dimensional signatures, surviving complexity penalties, and predicting held-out observations. Reliably absent required features are treated as exclusion evidence. The framework is mathematical and methodological; it does not establish physical dimensional compression or the existence of additional physical dimensions.
1. Research Question
The central question is whether successive dimensional extension can be described by one disciplined relational rule without pretending that every dimension has the same physical character.
For each transition D_n -> D_(n+1), ask:
1. What new independent relational distinction becomes directly representable?
2. Which relations already representable in D_n remain preserved or embedded?
3. What distinctions in D_(n+1) collapse to the same D_n observation?
4. What family of D_(n+1) sources is compatible with the D_n observation?
5. What D_n feature would a proposed D_(n+1) source require, and is that feature present?
6. Does the extra coordinate improve prospective prediction rather than merely retrospective fit?
These questions are applied repeatedly to the same conceptual object. The golf ball is retained as the intuitive D3 reference, but the formal object is a relational state X_n rather than a literal golf ball forced into every dimension.
2. General Construction
Let X_n denote a state in an n-dimensional state space. Let E_n be an embedding or lifting rule into a candidate (n+1)-dimensional state space, and let M_n be a declared measurement, projection, section, or other observation operator returning an n-dimensional observation.
E_n : X_n -> X_(n+1)
O_n = M_n(X_(n+1))
The downward map is generally many-to-one. Therefore the inverse is a candidate family rather than a unique source:
C_(n+1)(O_n) = {X in X_(n+1) : M_n(X) approximately equals O_n}
Successive independent observations contract this family. A new dimension is not inferred merely because it can fit the data. It becomes scientifically relevant only if the lower-dimensional model class fails under controlled complexity and the higher-dimensional model makes successful predictions not used in its construction.
3. D0: Identity Without Extent
D0 is treated here as a deliberately minimal geometric baseline: a single point equipped with no additional intrinsic spatial structure. This does not imply that every zero-dimensional mathematical space contains only one point or lacks externally imposed relations. The baseline is chosen only to isolate the first appearance of continuous spatial extent in the subsequent construction. At D0, the relational question is minimal: whether two labels refer to the same or different point states. There is no internal coordinate along which one part can be ordered relative to another. The transition D0 -> D1 therefore introduces the first independent coordinate relation: ordering and separation along one axis.
4. D1: Line, Order, and One-Axis Separation
In D1 a state may be located by one coordinate x. Two points can now possess signed or unsigned separation:
Delta x = x_2 - x_1
d_1 = |Delta x|
Relations unavailable in D0 become direct: left/right under an orientation convention, interval, ordering, adjacency along a line, and one-dimensional extent. But many distinct D2 states collapse to the same D1 coordinate under projection. If:
P_1(x,y) = x
then every pair (x,y_1) and (x,y_2) shares the same D1 observation. The unseen coordinate therefore parameterizes distinctions invisible to this observation. Inverse question: given one D1 interval or profile, what D2 geometries could have produced it? The answer is generally non-unique. Additional views are required.
5. D2: Planar Geometry
D2 adds a second independent spatial coordinate. A state may now be represented by (x,y), permitting planar direction, angle, area, closed planar boundaries, and curvature within the plane.
d_2^2 = (Delta x)^2 + (Delta y)^2
d_2^2 - d_1^2 = (Delta y)^2
The additional coordinate supplies distinctions that are not functions of x alone. This is the simplest exact example of additional-coordinate relational capacity. Particular notions such as Euclidean angle, distance, curvature, and area additionally require the relevant topology, metric, or geometric structure; dimensionality alone does not supply them. A conceptual golf-ball precursor in D2 is a circular state. The circle should not be called a flattened sphere. It is a legitimate D2 object with its own intrinsic geometry. Downward to D1, a projection may yield an interval while a section may yield zero, one, or two points depending on the operator. This demonstrates why projection and section must remain distinct.
6. D3: Volume, Interior Structure, and the Golf Ball
D3 adds a third independent spatial coordinate z:
d_3^2 = (Delta x)^2 + (Delta y)^2 + (Delta z)^2
d_3^2 - d_2^2 = (Delta z)^2
The additional coordinate permits spatial relations unavailable to a strictly planar representation: three-dimensional orientation, volumetric extent, and interior structure not contained in one planar view. The golf ball now becomes the intuitive reference object. A three-dimensional sphere or textured golf-ball model can generate many different D2 observations depending on M_i. A planar section can produce circles of changing radius. An orthographic projection produces a disk. Perspective imaging produces another transformation. Surface imaging, attenuation, scattering, and depth sensing each return different relational information. The inverse problem therefore asks not 'does a circle mean sphere?' but 'given these declared D2 observations under these declared operators, which D3 source geometries remain admissible?'
7. D3 to D4: A Necessary Fork
The familiar progression becomes dangerous at this point. Adding a fourth Euclidean spatial coordinate is mathematically straightforward, but physical spacetime does not treat time as simply another Euclidean spatial direction. These constructions must therefore be separated.
Case A: mathematical four-space. Let:
X_4 = (x,y,z,w)
where w is simply another independent coordinate. Then two D4 states may project to the same D3 state while differing in w. This is the clean continuation of the additional-coordinate rule.
Case B: spacetime. Let:
X = (t,x,y,z)
with the geometry appropriate to the physical spacetime model being used. Here the added coordinate permits relations among spatial configurations at different times, including worldlines and histories, but its metric role is not interchangeable with an ordinary Euclidean spatial coordinate. Accordingly, 'D4 equals history' is not a universal theorem of dimensional mathematics. It is a physically motivated spacetime construction.
8. D4 as Euclidean Calibration
For the purely geometric ladder, a four-dimensional hypersphere provides a controlled source:
x^2 + y^2 + z^2 + w^2 = R^2
A D3 section at fixed w has:
x^2 + y^2 + z^2 = R^2 - w^2
Thus a three-dimensional observer presented with successive sections would receive spheres whose radii vary systematically with w. The observer does not directly see w, but the sequence constrains the D4 source. This is the higher-dimensional analogue of the sphere/Flatland example and is an ideal computational calibration because the ground truth is exactly known.
9. D4 as Spacetime Description
When the fourth coordinate is time, the same golf ball can be represented not as one D3 snapshot but as a temporally extended state. Translation, rotation, deformation, impact, aging, and interaction become relations across spacetime events. A D3 snapshot does not uniquely determine the complete D4 history. Many histories can contain the same instantaneous configuration. Conversely, multiple time-indexed observations constrain the admissible history family. This supplies another inverse problem, but it should not be confused with inferring an additional spatial dimension. Historical reconstruction, state estimation, backward integration, and temporal inference belong to a distinct operator class.
10. D5: Additional Distinctions Without Premature Meaning
The framework now deliberately refuses to declare what a physical fifth dimension is. Formally, let:
X_5 = (x_1,x_2,x_3,x_4,u)
with projection:
P_4(x_1,x_2,x_3,x_4,u) = (x_1,x_2,x_3,x_4)
Then:
(x,u_1) != (x,u_2) while P_4(x,u_1) = P_4(x,u_2) = x
This is the minimum mathematical meaning of the additional coordinate: it distinguishes states that are identical under the registered D4 projection. A candidate interpretation such as 'relations among complete histories' may be explored only if a model explicitly defines u that way and derives consequences. The dimensional ladder itself does not force that interpretation.
11. D6: Relations Beyond the D5 Representation
The same formal rule extends to D6:
X_6 = (x_1,x_2,x_3,x_4,u,v)
where v supplies distinctions not represented by the first five coordinates. Under projection that removes v, multiple D6 states become observationally identical in D5. Nothing in this construction tells us what v physically means. That is a feature, not a failure. The purpose is to preserve mathematical discipline while asking what an added independent coordinate must accomplish before any ontology is attached to it. A proposed physical D6 theory would therefore have to specify what v represents, how it couples to known variables, which lower-dimensional signatures it generates, and which observations would exclude it.
12. Beyond D6: The Dn Rule
For arbitrary n, let:
X_(n+1) = (x_1, ..., x_n, u)
P_n(X_(n+1)) = (x_1, ..., x_n)
The new coordinate u creates, under the declared projection, a fiber of states sharing the same lower-dimensional representation. More generally, for any registered observation map M:X->O, observational equivalence is defined by X_a ~_M X_b iff M(X_a)=M(X_b). The observer has direct access to these equivalence classes rather than necessarily to the unique source state. Locally, invisible state-space directions are represented by ker(DM_x). Thus the dimension-by-dimension ladder is a special case of a more general geometry of observational equivalence and non-identifiability.
P_n^(-1)(x) = {(x,u) : u in U}
The higher-dimensional inference problem is to determine whether observations contain enough independent constraints to distinguish among members of that preimage or among competing higher-dimensional model classes. This formulation permits investigation beyond five or six dimensions without pretending to know their physical interpretation.
13. What Does Each Dimension Add?
The discrete ladder can now be summarized carefully. D0 -> D1 adds one-coordinate ordering and separation. D1 -> D2 adds a second independent spatial relation, permitting planar geometry. D2 -> D3 adds a third independent spatial relation, permitting volumetric geometry. D3 -> D4, if Euclidean, adds another independent coordinate and the corresponding distinctions. If the fourth coordinate is physical time, it instead supports spacetime relations and histories under a different metric structure. D4 -> D5 adds a formal independent coordinate whose physical meaning is unspecified. D5 -> D6 does the same at the next level. Dn -> D_(n+1) adds an independent coordinate only when that coordinate cannot be reduced to a function of the lower-dimensional coordinates over the relevant state space.
The general claim is therefore about relational distinguishability, not a predetermined hierarchy of physical meanings.
14. Relational Gain
A raw difference of relational-map ranks, rho_(n+1)-rho_n, is not by itself a valid measure of dimensional relational gain unless the lower- and higher-dimensional relational maps are compatibly nested. Otherwise the analyst could manufacture apparent gain simply by defining additional observables. Let E_n:X_n->X_(n+1) be an admissible embedding and require preservation of the old relational observables under a compatible map J_n:
R_(n+1) composed with E_n = J_n composed with R_n
The genuinely new local relational directions can then be represented by the quotient of the higher relational image by the embedded lower relational image. Define:
G_(n+1)(x) = Im(DR_(n+1)|_(E_n x)) / J_(n*) Im(DR_n|_x)
and:
g_n(x) = dim G_(n+1)(x)
This quantity measures new locally independent relational observables not generated by the embedded lower-dimensional relations, provided the admissible maps have been specified. For the inverse program, an even more direct quantity is observational deficit. For a measurement map M:X->O on a d-dimensional admissible source manifold:
delta_M(x) = dim ker(DM_x) = d - rank(DM_x)
delta_M counts locally invisible source directions. For the joint map M_k=(M_1,...,M_k), informative additional measurements can only reduce or preserve this local deficit: delta_(k+1)(x) <= delta_k(x) Accordingly, the operational core of relational gain in the inverse setting is reduction of observational equivalence: previously indistinguishable source directions become distinguishable.
15. Downward Loss Is Not Necessarily Destruction
If multiple higher-dimensional states map to the same lower-dimensional observation, the lower representation cannot distinguish them:
M(X_A) = M(X_B), with X_A != X_B
This is non-identifiability under M. It does not establish that the distinguishing information has been physically destroyed. This distinction is central to TSTOEAO dimensional accessibility. Information may remain present in a richer state while becoming inaccessible to a particular receiver, protocol, or representation. Physical destruction is a stronger claim requiring independent evidence.
16. Inverse Reconstruction at Every Step
At every adjacent-dimensional transition, the inverse question has the same form:
C_(n+1)(O_n) = {X : M_n(X) approximately equals O_n}
Additional independent measurements contract the candidate family: C_0 contains C_1 contains ... contains C_k The goal may be unique reconstruction, but need not be. Local identifiability requires the joint observation map to have sufficient differential rank over the admissible source manifold. Global identifiability is stronger: M(X_a)=M(X_b) must imply X_a=X_b, or equivalence only under a declared symmetry group. A useful result can instead identify bounds, eliminate source classes, quantify observational deficit, or establish that an additional coordinate is unnecessary.
17. Information from What Does Not Appear
For each candidate higher-dimensional source, the analysis should derive not only what may appear below but what must appear below under specified observation conditions. If candidate H requires feature Q and the registered measurement would detect Q with high probability, then reliable absence of Q is evidence against H. Detection failure must be included explicitly: non-detection can arise either because Q is absent or because Q is present but missed by the measurement system. P(not Q | H, M) <= alpha This turns missing information into a constraint rather than an invitation to speculation. The rule is prospective: the expected feature, sensitivity, nuisance conditions, and exclusion threshold should be specified before inspecting the decisive observation.
18. Preventing the Higher-Dimensional Overfit
Additional dimensions add model flexibility. Therefore a higher-dimensional model must not win merely because it can fit more observations. Raw existence of a fit is insufficient. Competing model classes should be compared using held-out prediction and appropriate complexity control. Depending on the statistical structure, this may include cross-validation, predictive error, AIC, BIC, Bayesian model comparison, regularization, or another declared criterion. The key requirement is simple: an additional coordinate must improve generalization or make a successful new prediction, not merely absorb unexplained variance. Strong controls should include nested-model simulation, adversarially capable lower-dimensional baselines, identifiability analysis before fitting, and experimental design that selects the next measurement for maximum discrimination among surviving model classes. Source dimensionality is therefore identifiable only relative to a declared model family, observation class, and allowed equivalence transformations. A defensible target is the minimum dimension required within the registered model class to reproduce and prospectively predict the observations, rather than an unrestricted claim to have recovered the unique 'true dimension' of reality. A strong test sequence is: fit or infer from O_1 ... O_k; derive an unused consequence Q; specify how Q will be measured; test Q; reject the candidate if Q is reliably absent.
19. Accessibility and the Measurement Operator
The relation between the TSTOEAO accessibility operator A_Lambda and the measurement operator M_i requires explicit discipline. If A_Lambda is only an instrument transfer function, then it can be absorbed into the measurement operator:
M_i' = M_i composed with A_Lambda
In that case Lambda adds no distinct physical content. For a stronger TSTOEAO accessibility or physical-dimensional hypothesis, Lambda must govern relational availability or coupling independently of the particular probe used to observe it. The same latent Lambda should constrain multiple independent probes, and a Lambda estimated from one probe should predict the others without probe-specific refitting. If each channel requires its own arbitrary A_(Lambda,i), the construction has effectively collapsed back into ordinary channel modeling. This provides a direct bridge to the earlier requirement that candidate localized dimensional expression behave as a common physical cause rather than as a property of one measurement channel.
20. Tomography, Holography, and Encoding Limits
Tomography remains the primary inverse-reconstruction calibration because it supplies controlled lower-dimensional measurements of known richer objects. Holography remains complementary because it shows that a lower-dimensional carrier can encode phase and amplitude relations sufficient for richer optical reconstruction. These methods should not be treated as equivalent. Radon-type tomography, coherent holography, perspective imaging, scattering, and other operators preserve different quantities and have different reconstruction guarantees. Lower-dimensional encoding also does not create unlimited information capacity. Spatial bandwidth, sampling density, noise, resolution, aperture, phase recovery, and other channel constraints limit what can be reconstructed. Any TSTOEAO dimensional reconstruction must therefore state not only carrier dimension but encoding bandwidth and measurement capacity.
21. TSTOEAO Integration
The dimension-by-dimension construction fits the existing TSTOEAO architecture without identifying mathematical dimension with physical accessibility. It also does not identify the number of coordinates used in G_T with the physical dimensionality of reality: TSTOEAO coordinates may represent many kinds of relational variables, whereas the present D_n ladder is a domain-specific geometric construction. Let x belong to the universal relational domain G_T. Let M_D provide a domain-specific representation. Let A_Lambda represent a declared accessibility transformation, and let M_i be the registered observation operator:
O_i = M_i(A_(Lambda_i)x)
For the stronger physical interpretation, A_Lambda must remain distinguishable from M_i through probe-independent consequences. Relational invariants I_R are defined relative to the admissible transformation class and must be specified before the decisive test. Encoded Equilibrium Y remains distinct from Lambda and dimensional order unless a later derivation establishes otherwise.
22. A Computational Ladder
The program should now be implemented in increasing difficulty.
Stage 1: D2 -> D1. Generate known planar objects and controlled one-dimensional measurements.
Reconstruct or constrain the hidden D2 source.
Stage 2: D3 -> D2. Use spheres, ellipsoids, asymmetric bodies, and relational graphs. Compare sections,
projections, and tomographic measurements.
Stage 3: D4 -> D3. Use exact four-dimensional objects such as hyperspheres and generate controlled
three-dimensional sections or projections.
Stage 4: dimension-blind inference. Generate observations from a known source but hide its dimensional
class. Compare H2, H3, H4, H5, and higher candidate classes under complexity penalties and held-out prediction. Include deliberately strong nonlinear lower-dimensional competitors so that higher dimension is not rewarded merely because the lower-dimensional baseline was artificially weak.
Stage 5: negative-signature testing. Include candidate source classes that require specific lower-dimensional
features and measure how reliably their absence eliminates them. The output should include candidate-set shrinkage curves, reconstruction error, held-out prediction error, model complexity, and false exclusion rates.
23. The Golf Ball Revisited
The original golf-ball intuition can now be restated without overclaim. At D3, the golf ball is a volumetric spatial object. A single D2 observation is not the golf ball; it is one result of a declared operator acting on that object. Multiple D2 observations can constrain its D3 geometry. A hypothetical D4 source could contain distinctions invisible in every single D3 snapshot yet detectable through a structured family of observations. The same formal statement extends upward. Thus the useful 'fan' image is not that a physical object necessarily unfolds through dimensions. It is that the family of relational distinctions permitted by the model can expand with independent coordinates, while downward observations collapse many richer states into the same lower-dimensional result. The scientific problem is to infer which richer distinctions are actually required.
24. Identifiability Gain Proposition
Let X be a smooth d-dimensional admissible source manifold and let the joint registered observation map after k measurements be:
M_k = (M_1,...,M_k): X -> O_1 x ... x O_k
Define the local observational deficit:
delta_k(x) = d - rank(DM_k|_x) = dim ker(DM_k|_x)
Appending an additional registered measurement cannot increase the kernel of the joint differential. Therefore: delta_(k+1)(x) <= delta_k(x) Genuine local identifiability gain occurs when the inequality is strict. The newly accessible local source directions can be represented by:
A_(k+1)(x) = ker(DM_k|_x) / ker(DM_(k+1)|_x)
with gain:
g_(k+1)(x) = dim A_(k+1)(x)
This proposition is elementary differential geometry and rank theory; the TSTOEAO contribution is its use as an operational definition of relational gain within a prospective source-inference protocol. In this restricted sense, relational gain is reduction of observational equivalence.
25. Failure Conditions
The dimensional ladder fails as a novel scientific contribution if it merely renames standard coordinate extension and inverse theory without adding useful organization, constraints, or predictions. A proposed additional dimension is unnecessary when a lower-dimensional model achieves equal or better prospective performance under fair complexity control. A claimed relational gain fails if the added coordinate is functionally dependent on existing coordinates. A negative observation is not exclusion evidence when the predicted feature was not reliably detectable. A projective or reconstructive success does not establish physical dimensional compression. These failure conditions preserve the useful mathematical layers even if the stronger physical interpretation fails.
26. Conclusion
A dimension-by-dimension treatment clarifies what can and cannot be inferred from the intuition that higher dimensions reveal additional geometry. The strongest uniform structure is not a predetermined geometric meaning attached to every dimension, but the fiber and equivalence-class structure induced by declared downward observations. From D0 through D3, added independent spatial coordinates permit familiar new classes of geometric relation once the necessary topology and metric structure are specified. At D4 the analysis must fork: Euclidean four-space continues the coordinate ladder, while physical time introduces spacetime structure with different geometry. Beyond D4, mathematics permits additional independent coordinates indefinitely, but it does not assign them physical meanings. The disciplined rule is therefore not that each dimension contains a predetermined new reality. It is that independent added coordinates can distinguish source states that a declared lower-dimensional observation maps into the same observational equivalence class. The corresponding scientific task is to determine whether registered observations require those additional distinctions, whether successive measurements reduce observational deficit, and whether candidate richer source models make successful complexity-controlled predictions. This converts the original visualization into a general research program: move upward only by declared coordinate extension; move downward only through declared measurement operators; preserve transformation-specific invariants; infer source families rather than preferred stories; and use both observed and reliably absent features to constrain what cannot be seen directly.
Working principle: At every dimensional transition, ask what new independent distinction becomes
representable, what survives downward observation, what collapses into non-identifiability, and what unseen source geometries remain possible after both positive and negative evidence are applied.
RELATIONAL SOURCE DISCRIMINATION AND PROSPECTIVE DIMENSIONAL INFERENCE
A TSTOEAO Protocol for Observational-Equivalence Reduction, Competing Source Geometries, Negative Signatures, and Active Measurement
John Swygert
Ivory Tower Publishing
October 2, 2026
Abstract
This paper develops a prospective source-discrimination protocol from the dimensional and inverse-reconstruction framework established in the preceding TSTOEAO papers. The central problem is not whether a higher-dimensional model can be made to fit observations, but whether an additional latent source degree of freedom is required after strong lower-dimensional alternatives, observation operators, detection limits, model complexity, and model misspecification are explicitly registered. Observational equivalence is treated as the primary object: registered measurements partition admissible source states and source classes into equivalence sets, and relational gain is defined as contraction of those registered equivalence sets. Differential-kernel contraction is retained as a local regular diagnostic rather than a universal global measure. The paper distinguishes local identifiability, global ambiguity, singular fibers, and exact cross-dimensional observational equivalence; introduces an explicit non-identifiability decision state; and conditions any minimum inferred source dimension on the registered hypothesis family, experiment family, and equivalence rules. It strengthens the dimension-blind benchmark by admitting minimal nonlinear realizations, delay embeddings, flexible latent dynamics, cross-probe and interventional tests, generators outside all registered model classes, and comparison against conventional Bayesian model-discrimination design. The component mathematics remain established. The TSTOEAO contribution proposed here is a disciplined synthesis and test protocol whose methodological originality must be earned by adversarial computational comparison rather than asserted in advance.
1. Problem Statement
The previous dimensional papers established two complementary directions. The first treated lower-dimensional observations as constrained images of candidate higher-dimensional source geometries. The second developed a dimension-by-dimension construction and identified a stronger invariant beneath the dimensional ladder: a declared observation map partitions admissible source states into observational-equivalence classes. The present paper turns those results into a prospective discrimination procedure. The target question is deliberately narrower than “What is the true dimension of reality?” For a registered family of candidate source models and registered observation operators, the question is: what is the minimum latent source structure required to reproduce the existing observations and correctly predict observations that were not used to fit the model? Registered source question: H₂, H₃, …, H
-> which classes remain admissible after prospective tests?
The word dimension is therefore conditional. It refers to degrees of freedom in an admissible source model, not automatically to an ontological claim about physical spacetime. A successful D₄ model does not by itself establish a fourth physical spatial dimension. It establishes only that, within the declared model family and measurement protocol, the tested lower-dimensional competitors were insufficient and the additional source degree produced predictive gain.
2. Established Foundations and the Proposed Synthesis
The mathematical components used here have substantial precedent. Nonlinear observability and structural-identifiability analysis use differential rank conditions to determine whether nearby internal states can be distinguished from outputs. Inverse-problem theory studies recovery of source states from incomplete or transformed observations. Nonlinear realization theory asks whether an input-output behavior admits a lower-dimensional state realization and what minimal state dimension is required. Multi-view latent-variable and nonlinear source-separation methods study recovery of shared latent structure from multiple sufficiently informative views. Bayesian and sequential experimental-design methods choose measurements that discriminate among rival models or maximize expected information gain. Negative evidence becomes informative when a predicted observation should have been detectable but is not observed. Delay-coordinate
methods demonstrate that a low-dimensional measured time series can reconstruct higher-dimensional dynamical state under appropriate conditions. Accordingly, this paper does not claim originality for kernels, ranks, quotient spaces, inverse reconstruction, minimal realization, shared-latent multi-view inference, model-selection penalties, Bayesian information gain, negative evidence, or delay embedding. The proposed TSTOEAO contribution is a registered synthesis in which dimensional source classes, transformation-specific invariants, positive and negative signatures, cross-probe latent accessibility, complexity control, held-out prediction, interventions, and active next-measurement selection are evaluated together. Whether that synthesis constitutes a distinct methodology is an empirical question to be answered against strong conventional integrated baselines. This distinction matters. The framework should stand or fail on whether the integrated procedure produces disciplined discrimination that the individual components, used casually or independently, do not guarantee.
3. Registered Source Classes and Observation Operators
Let X_H denote the admissible state space under source hypothesis H. A hypothesis may differ from another by intrinsic dimension, topology, metric structure, dynamics, symmetry, coupling, or another registered structural property. For a measurement channel i, let
Mᵢ : X_H -> Oᵢ
map source states into an observation space Oᵢ. The observed datum is Oᵢ = Mᵢ(X), possibly with noise and detection limits. The measurement operator is part of the evidentiary model; it cannot be omitted and then silently absorbed into the interpretation of the source. For k registered measurements, define the joint map M₁:ₖ = (M₁, M₂, …, Mₖ) : X_H -> O₁ × O₂ × ··· × Oₖ. The admissible candidate set after k observations is C_H^(k) = {X ∈ X_H : Mᵢ(X) ≈ Oᵢ for i = 1,…,k}. The approximation relation must be specified by the noise model, uncertainty bounds, and detection protocol. Candidate contraction, rather than visual resemblance alone, is the basic inverse operation.
4. Observational Equivalence and Two Levels of Relational Gain
Two admissible source states are observationally equivalent under a registered measurement map when they produce the same registered observation: Xₐ ~_M X_b ⇔ M(Xₐ) = M(X_b). For k measurements, let the observational fiber through x be F (x) = M₁: ⁻¹(M₁: (x)). Relational gain is defined primarily as contraction of registered observational equivalence. The fiber, posterior, or admissible candidate class is therefore the global object. Differential rank is one local diagnostic of that contraction, not its universal definition. For a smooth d-dimensional admissible source manifold X and a regular point x, define the local observational deficit δ (x) = dim ker(DM₁: |ₓ) = d − rank(DM₁: |ₓ). Adding another measurement cannot increase the kernel of the concatenated differential: δ ₊₁(x) ≤ δ (x).
The local relational gain may therefore be written
g_loc,k+1(x) = rank(DM₁: ₊₁|ₓ) − rank(DM₁: |ₓ),
or equivalently as the dimension of the quotient of locally invisible directions removed by the new measurement. This quantity describes regular local identifiability only. Globally, let Φ be a preregistered fiber-complexity or uncertainty functional appropriate to the problem. Then g_glob,k+1(x) = Φ(F (x)) − Φ(F ₊₁(x)). No single Φ is universal. Depending on the registered source class, Φ may be finite-fiber cardinality, dimension, measure under a declared μ_H, posterior entropy, number of connected components, or the number of symmetry-equivalence classes. Candidate-set volume must therefore name its measure and should normally be normalized, for example C = 1 − μ_H(C_H^(k))/μ_H(C_H^(0)). Bayesian implementations may instead report posterior entropy or information gain.
5. Local, Global, and Singular Identifiability
Local differential identifiability and global source identifiability are distinct. The map M(x)=x² has nonzero derivative away from x=0, yet M(x)=M(−x); local rank does not remove the global twofold ambiguity. Likewise M(x,y)=(x,y²) exhibits a fold: regular points can be locally distinguished while the global fiber contains reflected states, and the critical set y=0 requires separate treatment. The protocol therefore separates three questions. Local identifiability asks whether neighboring admissible states can be distinguished. Global identifiability asks whether the joint map is injective on the admissible class, or injective modulo a declared symmetry group. Singular-fiber analysis asks whether critical subsets require stratification rather than a single smooth-manifold rank formula. Where needed, write X = ⋃_α X_α and perform rank and fiber analysis on the relevant strata. The governing formulation is therefore: relational gain is contraction of registered observational equivalence; differential-kernel contraction measures its local regular component.
6. Conditional Source Dimension and Non-Identifiability
Suppose the registered hypothesis family 𝓗 contains source classes H₂ through H_N, the admissible experiment family is 𝔐, and the declared equivalence/admissible-transformation rules are 𝓔. The protocol does not reward a higher-dimensional class merely because it can fit more observations. Additional degrees of freedom must earn their complexity through prospective consequences. When a minimum surviving source dimension is reportable, write it explicitly as d*_(𝓗,𝔐,𝓔) = min { d : H_d remains non-rejected under the registered prospective criteria }. This is not an intrinsic metaphysical dimension. It is conditional on the registered hypothesis family, experiments, equivalence rules, noise model, and admissible transformations. A stronger lower-dimensional realization introduced later may change the result. Different-dimensional source classes can also be exactly observationally equivalent under the registered experiment family. Define H_a ≡_𝔐 H_b when their permitted or probabilistic observable outcomes coincide for every admissible experiment in 𝔐. In that case the correct scientific output is not a forced dimensional selection. It is: indistinguishable under the registered experiment class. A complexity penalty may pragmatically prefer a smaller representation, but it has not demonstrated that the source lacks an additional degree of freedom.
The decision space must also permit a fourth result: none of the registered models is adequate. This prevents an unmodeled process from being mislabeled as a higher-dimensional source merely because the higher-dimensional class is the most flexible candidate available.
7. Adversarial Lower-Dimensional Baselines
A weak lower-dimensional baseline would make a higher-dimensional model appear successful too easily. The adversary should therefore approximate the strongest observation-equivalent nonlinear realization permitted by the registered data, causal assumptions, and measurement restrictions. Candidate baselines may include nonlinear state-space models, delay embeddings, latent-variable models, kernels or splines, neural state-space models, explicit nuisance/channel models, and minimal-realization constructions where available. Takens-style delay reconstruction is especially important. A scalar or low-dimensional time series can, under appropriate smoothness and genericity conditions, reconstruct the geometry of an underlying dynamical attractor in a delay-coordinate space. Consequently, low measurement dimension is not evidence that the source itself has equally low state dimension, and successful reconstruction in a higher-dimensional delay space is not by itself proof of an additional physical spatial dimension. For this protocol, delay-coordinate reconstruction and other nonlinear realizations count as admissible competitors whenever they reproduce the registered observations and prospective consequences without requiring the proposed source geometry. If a reconstructed state predicts all held-out observations and interventions as well as an explicit higher-dimensional geometry, the experiment has not established that the geometric source dimension is required; it has established only that sufficient latent state structure is useful. This is a severe test, and it is intentionally so. The framework should identify additional source structure only when lower-dimensional nonlinear representations have been given a serious opportunity to succeed.
8. Complexity Control and Prospective Prediction
Training fit is insufficient. Candidate models should be compared using held-out prediction and, where appropriate, information criteria or Bayesian evidence. AIC, BIC, minimum-description-length ideas, regularized likelihood, cross-validation, and out-of-sample log likelihood are possible tools depending on the model class. No single penalty is universal; the criterion must be registered before the decisive comparison. The decisive pattern is not “higher dimension fits better.” It is: the lower-dimensional alternatives require increasing ad hoc flexibility, while a more constrained higher-dimensional source model predicts withheld structure with fewer effective adjustments. Conversely, if a flexible lower-dimensional model predicts equally well after complexity control, the dimensional extension is not required. Nested-model simulation should be used to estimate the false higher-dimension selection rate. Synthetic data generated from known lower-dimensional models should be passed through the same pipeline. If the procedure routinely invents unnecessary dimensions, the inference protocol fails before it is applied to unknown systems.
9. Reliable Absence as an Active Constraint
An absent feature is informative only when the feature was sufficiently expected and the measurement had sufficient sensitivity to detect it. Let Q be a signature required or strongly predicted by H and M the registered detection process. A useful negative result requires a bounded probability of non-detection under the hypothesis:
P(¬Q observed | H, M) ≤ α,
for a preregistered tolerance α, or an equivalent likelihood/Bayesian criterion. More explicitly, failure to detect Q can arise because Q is genuinely absent or because Q occurred but the measurement missed it:
P(no detection | H) = P(¬Q | H) + P(Q | H) P(miss | Q, M). The detection model therefore belongs inside the inference. Once calibrated, non-detection can contract the candidate family rather than remaining an informal gap. A higher-dimensional model that requires a detectable artifact and repeatedly fails to produce it should lose admissibility even if it fits the positive observations.
10. Probe-Independent Accessibility and the AΛ Test
The preceding TSTOEAO papers introduced an accessibility operator A_Λ as a candidate representation of altered relational accessibility. The present protocol imposes a strong identifiability condition on that proposal. For probe i, Oᵢ = Mᵢ(A_Λ X). If every probe is permitted its own arbitrary accessibility operator A_(Λ,i), then the composition can be rewritten as an effective channel Mᵢ′ = Mᵢ ∘ A_(Λ,i). In that case the accessibility term has no demonstrated independent physical content; it has been absorbed into instrument or channel modeling. A stronger TSTOEAO claim therefore requires a shared latent Λ that constrains multiple independent probes. One probe or subset may estimate Λ, but the estimated state must predict consequences in other channels without probe-specific refitting. This establishes evidence for a shared latent explanatory structure, not automatically a physical common cause. The evidentiary ordering is: shared latent fit < cross-probe prediction < cross-probe intervention prediction. A stronger Λ_D interpretation ultimately requires prospective heterogeneous consequences under registered interventions, not merely successful joint fitting. Estimate Λ from {O₁,…,O_r}; predict {O_(r+1),…,O_k} without refitting Λ. This criterion separates observational accessibility, Λ_A, from the stronger hypothesized physical dimensional-expression state, Λ_D. Evidence for Λ_A does not establish Λ_D. A candidate Λ_D becomes scientifically interesting only when it produces localized, probe-independent, reproducible consequences that ordinary receiver, instrument, material, thermal, mechanical, and electromagnetic models do not already explain.
11. Transformation-Specific Relational Invariants
An invariant is meaningful only relative to a declared transformation class. Let T belong to an admissible transformation family 𝒯 and let I_R be a candidate relational invariant. Then the claim is
I_R(TX) = I_R(X), T ∈ 𝒯,
within stated tolerances. The protocol does not assume that one invariant survives every projection, embedding, compression, or measurement. Instead, each source hypothesis registers which relational structures should survive which transformations and which should not. This turns invariance into a discriminating tool. Two source classes may reproduce the same visible shape but imply different preserved relations under a second measurement or transformation. Those differences become prospective tests rather than retrospective interpretations.
12. Active Selection of the Next Measurement
Once several source classes remain admissible, the next observation should be chosen to separate them as efficiently as possible. This is an established problem in optimal experimental design and Bayesian model discrimination. The present protocol adopts that logic explicitly. Let H denote the registered source-class variable and O_M the possible outcome under candidate measurement M. A natural criterion is
M* = argmax_M I(H ; O_M | O₁:ₖ),
where I denotes conditional mutual information. Alternative utilities may target expected candidate elimination, reduction of candidate-set volume, expected reduction of observational deficit, or a cost-adjusted combination. The conceptual change is important: the framework does not merely analyze whatever data happen to arrive. It asks which measurement would most sharply distinguish the remaining source explanations. The inverse problem therefore becomes prospective and experimental rather than merely reconstructive.
13. Adversarial Dimension-Blind Computational Benchmark
The decisive test should be synthetic and blinded so that the true generating regime is known to the experimenter but hidden from the evaluator. Four regimes are required: G₁: a genuinely lower-dimensional nonlinear dynamical generator. G₂: a generator for which an additional registered source degree of freedom is genuinely required for prospective performance. G₃: a cross-dimensional pair that is observationally equivalent under the initial experiment family. G₄: a generator outside every registered candidate model class. The lower-dimensional adversary should receive every legitimate advantage except access to held-out probes and interventions. It may use nonlinear state-space reconstruction, Takens/Sauer-style delay coordinates, flexible latent dynamics, kernels or splines, expressive neural state-space models, nuisance/channel models, and minimal nonlinear realization methods where applicable. The higher-dimensional source model should not win by possessing more unrestricted flexibility; wherever possible it should have fewer structural freedoms and stronger registered constraints.
Stage 1: Register sources, hypotheses, experiments, and equivalences
Register 𝓗, the admissible experiment family 𝔐, equivalence rules 𝓔, noise and detection models, complexity criteria, intervention classes, and all decisive thresholds before fitting. Preserve hidden probes and interventions.
Stage 2: Generate heterogeneous observations
Generate informative, redundant, partially informative, noisy, and deliberately ambiguous observations. Include calibrated detection limits so required-but-absent signatures can be evaluated. For G₃, construct at least one H_a ≡_𝔐 H_b pair under the initial experiment family.
Stage 3: Fit strong competing realizations
Fit the registered geometric source models and the strongest admissible lower-dimensional nonlinear realizations under comparable computational and hyperparameter budgets. No competitor may gain access to hidden test interventions during fitting.
Stage 4: Test unseen probes and interventions
Train using a subset of probes M₁,M₂,M₃ and interventions I₁,I₂. Then test unseen combinations such as (M₄,I₁), (M₂,I₃), and (M₅,I₄). The purpose is structural transport: a shared source representation should predict consequences under new probe/intervention combinations without relearning a probe-specific latent state. Ordinary interpolation or same-channel forecasting is not decisive.
Stage 5: Require four legitimate decisions
The evaluator must be able to return: (1) lower-dimensional class preferred; (2) higher-dimensional class preferred; (3) competing classes observationally indistinguishable under the registered experiments; or (4)
none of the registered models is adequate. The procedure fails if it is forced to choose a dimension when the evidence supports decisions 3 or 4.
Stage 6: Break equivalence actively
For G₃, introduce or search for a candidate measurement M* for which the rival source classes predict different observable distributions. The active-selection procedure should identify such a discriminating experiment when one exists. If no admissible experiment separates the classes, non-identifiability must remain the result.
Stage 7: Compare against strong conventional design
Active TSTOEAO measurement selection must be compared not only with random or convenience measurements but with a standard Bayesian model-discrimination or optimal experimental-design baseline. Report whether the procedures choose equivalent experiments, whether either dominates, and whether any TSTOEAO-specific invariant or transport constraint produces measurable added value.
Stage 8: False-positive and misspecification calibration
Estimate P(Ĥ_H | G₁), the false extra-dimension rate on known lower-dimensional generators. For G₄, test whether the pipeline correctly returns “registered models inadequate” rather than drifting toward the highest-dimensional candidate. Repeat across source instances, noise levels, detection limits, and misspecified nuisance models.
14. Primary Quantities to Report
At each measurement step report local observational deficit at regular points; an explicit global-equivalence measure appropriate to the problem; normalized candidate contraction under a declared μ_H or posterior information gain; held-out predictive loss; complexity penalty or model evidence; calibrated negative-signature exclusions; cross-probe and cross-intervention error; false extra-dimension rate; rate of correct non-identifiability decisions; rate of correct model-inadequacy decisions; and experiments required for discrimination. The active-design comparison should additionally report held-out log loss, model-class selection accuracy where selection is possible, calibration under misspecification, and the number/cost of experiments required relative to conventional Bayesian model-discrimination design.
15. Decision Rules and a Hard Non-Identifiability Boundary
A higher-dimensional source class is supported within the registered experiment only when it survives calibrated negative signatures; outperforms the strongest admissible lower-dimensional realizations on prospective observations and interventions after complexity control; transports a shared latent structure across heterogeneous probes without probe-specific refitting; reproduces across source instances and noise realizations; and maintains a preregistered false extra-dimension rate on G₁ controls. If rival dimensional source classes are observationally equivalent under 𝔐, the result is non-identifiability, not dimensional selection. If no registered class predicts the observations adequately, the result is model inadequacy, not automatic escalation to a higher dimension. Registered Dimensional Non-Identifiability Proposition. Let H_a and H_b be registered source classes and 𝔐 an admissible experiment family. If, for every M ∈ 𝔐, the observable outcome distributions permitted by the classes coincide, p(O | H_a,M)=p(O | H_b,M), then no inference procedure restricted to observations generated by 𝔐 can establish which source class or source dimension is required. Dimensional discrimination becomes possible only if there exists at least one admissible M* ∈ 𝔐 for which the predicted observable distributions differ.
The proposition is a limitation statement grounded in standard statistical decision logic, not a claim of new mathematics. Its role in TSTOEAO is to enforce a hard boundary: no relational distinction without an experiment capable of exposing it.
16. Relationship to TSTOEAO
Within TSTOEAO, G_T remains the universal coordinate domain and domain models M_D remain overlays or representations within that architecture. The number of coordinates used in G_T is not equated with physical spatial dimensionality. The source-discrimination protocol is therefore a domain-specific inferential construction operating inside the broader relational framework. Encoded Equilibrium Y is not identified with source dimension or Λ. Relational invariance I_R is used only when tied to a declared transformation family. A_Λ remains an accessibility operator until independent evidence supports a stronger physical interpretation. These separations preserve the architecture developed in the preceding papers while preventing the dimensional program from becoming a second, competing coordinate system. The TSTOEAO contribution proposed here is procedural: relation before result. A dimensional interpretation is not granted because a representation is suggestive. It must emerge from the contraction of competing relational explanations under registered observations and prospective tests.
17. What Would Count as a Distinctive Result?
The strongest initial result would not be recovery of a sphere from several circles. It would be a blinded procedure that correctly distinguishes G₁ through G₄: refusing unnecessary dimension, admitting additional source structure when genuinely required, returning non-identifiability for cross-dimensional observational equivalence, and rejecting the registered family under misspecification. An especially strong demonstration would show that a constrained higher-dimensional source model predicts unseen probe/intervention combinations that strong nonlinear lower-dimensional realizations cannot match without relearning their structure, while the reverse controls succeed on G₁. The relevant comparison is not merely against random measurement selection but against an integrated conventional pipeline using minimal realization, multi-view latent identifiability where applicable, and Bayesian model-discrimination design. If the TSTOEAO protocol and the conventional integrated baseline are mathematically or computationally equivalent after translation, that is itself an important result: the contribution is then a TSTOEAO synthesis and application of established inference machinery rather than a new statistical methodology. A methodological originality claim requires measurable capability or performance beyond that baseline.
18. Novelty Boundary
The novelty claim must remain narrow until literature comparison and the adversarial benchmark are complete. The component mathematics and major methodological principles—including minimal nonlinear realization, multi-view shared-latent inference, observability/identifiability analysis, Bayesian model discrimination, optimal experimental design, negative evidence, and delay embedding—are established. “One latent state explains multiple probes” is therefore not by itself a novel TSTOEAO method. The TSTOEAO-specific contribution is the way these elements are organized around relational invariance, registered dimensional-expression hypotheses, A_Λ, the Λ_A/Λ_D distinction, and observational-equivalence reduction as a gatekeeper for dimensional claims. Methodological originality should be claimed only if the complete protocol demonstrates capabilities or performance not already delivered by a strong conventional integrated pipeline. Until then, the defensible claim is a coherent TSTOEAO source-discrimination synthesis.
19. Failure Conditions
The proposed program should be considered unsuccessful or in need of revision if local deficit reduction fails to track useful global discrimination; singular fibers defeat the registered global supplement; strong lower-dimensional realizations match higher-dimensional prospective and interventional performance at comparable or lower complexity; calibrated negative signatures fail; shared Λ collapses into channel modeling; the procedure forces dimensional choices under observational equivalence; model misspecification drives systematic selection of the highest-dimensional candidate; false extra-dimension rates exceed preregistered limits; or active TSTOEAO measurement selection offers no measurable advantage over a strong conventional model-discrimination design. These are not peripheral caveats. They define the boundaries of the hypothesis and prevent dimensional language from outrunning the evidence.
20. Conclusion
The dimensional program can now be stated without relying on a mystical ladder or visual analogy. Registered experiments partition candidate source states and source classes into observational-equivalence sets. Relational gain is the contraction of those registered equivalences. Differential-kernel contraction describes the regular local component; global ambiguity requires fibers, symmetries, posterior uncertainty, or other declared global measures, and singular strata require separate treatment. The central scientific question is not whether a higher-dimensional model can describe the data. It is whether additional latent source structure is required after the strongest admissible nonlinear realizations have been tested on observations, heterogeneous probes, and interventions that were not used for fitting. The framework must also be capable of saying that dimensions are observationally indistinguishable or that none of the registered models is adequate. The resulting TSTOEAO protocol treats dimensional inference as constrained source discrimination under registered equivalence. Its next obligation is computational rather than rhetorical. If the blinded G₁-G₄ benchmark can admit necessary source degrees, refuse unnecessary ones, preserve non-identifiability when experiments cannot distinguish dimensions, reject misspecified model families, exploit reliable absence, transport shared latent structure across unseen probes and interventions, and compete favorably with established optimal model-discrimination design, there will be a credible basis for investigating whether the integrated protocol itself is a methodological contribution. If not, the scientifically proper result is a TSTOEAO synthesis and application of established mathematics.
21. References
1. Hermann, R., & Krener, A. J. (1977). Nonlinear controllability and observability. IEEE Transactions on Automatic
Control, 22(5), 728–740.
2. Takens, F. (1981). Detecting strange attractors in turbulence. In D. A. Rand & L.-S. Young (Eds.), Dynamical Systems
and Turbulence, Warwick 1980 (Lecture Notes in Mathematics, Vol. 898, pp. 366–381). Springer.
3. Sauer, T., Yorke, J. A., & Casdagli, M. (1991). Embedology. Journal of Statistical Physics, 65, 579–616.
4. Villaverde, A. F., Barreiro, A., & Papachristodoulou, A. (2016). Structural identifiability of dynamic systems biology
models. PLoS Computational Biology, 12(10), e1005153.
5. Massonis, G., Banga, J. R., & Villaverde, A. F. (2021). Structural identifiability and observability of compartmental
models of the COVID-19 pandemic. Annual Reviews in Control, 51, 441–459.
6. Rose, A. D. (2008). Bayesian Experimental Design for Model Discrimination. Doctoral thesis, University of
Southampton.
7. Drovandi, C. C., et al. (2022). Optimal Bayesian design for model discrimination via classification. Statistics and
Computing, 32.
8. Thompson, W. C., & Scurich, N. (2018). When does absence of evidence constitute evidence of absence? Forensic
Science International, 291, e18–e19.
9. Taroni, F., Bozza, S., Hicks, T., & Garbolino, P. (2019). More on the question “When does absence of evidence
constitute evidence of absence?” How Bayesian confirmation theory can logically support the answer. Forensic Science International, 301, e59–e63.
10. Hsu, A. S., Horng, A., Griffiths, T. L., & Chater, N. (2017). When absence of evidence is evidence of absence:
Rational inferences from absent data. Cognitive Science, 41(S5), 1155–1167.
11. Sontag, E. D. (1979). On the observability of polynomial systems, I: Finite-time problems. SIAM Journal
on Control and Optimization, 17(1), 139–151.
12. Hyvärinen, A., Sasaki, H., & Turner, R. E. (2019). Nonlinear ICA using auxiliary variables and generalized
contrastive learning. Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 859–868.
13. Schön, T. B., Lindsten, F., Dahlin, J., Wågberg, J., Naesseth, C. A., Svensson, A., & Dai, L. (2015).
Sequential Monte Carlo methods for system identification. IFAC-PapersOnLine, 48(28), 775–786.
14. Swygert, J. (2026, October 1). Substrate Relaxation and Dimensional Expression: A TSTOEAO
Hypothesis of Compression, Expression, Relational Coordinates, and Electromagnetic Observability. Ivory Tower Publishing.
15. Swygert, J. (2026, October 2). Dimensional Expression, Relational Geometry, and Inverse Reconstruction.
Ivory Tower Publishing.
16. Swygert, J. (2026, October 2). Successive Dimensional Expression and Relational Gain: A
Dimension-by-Dimension TSTOEAO Construction from Point States to Higher-Dimensional Source Geometry. Ivory Tower Publishing.
ADVERSARIAL BENCHMARK FOR PROSPECTIVE DIMENSIONAL INFERENCE
A Blinded G₁–G₄ Computational Test of TSTOEAO Relational Source Discrimination Against Strong Conventional Baselines
John Swygert
Ivory Tower Publishing
October 2, 2026
Abstract
This paper specifies the adversarial computational benchmark required by Relational Source Discrimination and Prospective Dimensional Inference. The purpose is not to assume that the TSTOEAO protocol is methodologically original, but to determine whether it supplies measurable inferential capability beyond strong conventional pipelines assembled from nonlinear realization, observability and identifiability analysis, multi-view latent inference, Bayesian model discrimination, optimal experimental design, delay reconstruction, and explicit model-misspecification testing. Four hidden generating regimes are defined: G₁, a genuinely lower-dimensional nonlinear generator; G₂, a generator with independently certified additional registered source-state structure; G₃, exact or practical cross-dimensional observational equivalence under a registered experiment family; and G₄, generators outside every registered candidate class, including adversarial misspecification that can mimic extra dimension. The evaluator must return one of four scientific outcomes: lower-dimensional class preferred, higher-dimensional class preferred, observationally indistinguishable under the registered experiments, or none of the registered models adequate. The benchmark registers the type of dimension being tested and separates source-state, manifold, geometric-spatial, embedding, and reconstruction dimensions. Strong lower-dimensional adversaries receive delay coordinates, nonlinear state-space reconstruction, flexible latent dynamics, kernels or splines, neural state-space models, nuisance/channel models, and minimal nonlinear realizations where applicable. Three primary comparison arms are required: native TSTOEAO T, a strong conventional integrated pipeline C, and an operation-matched conventional translation C⁺. Training occurs on a subset of probes and interventions; decisive evaluation occurs on unseen probe-intervention combinations. Active experiment selection is evaluated both under native utilities and under a common externally specified utility. The benchmark is designed so that TSTOEAO can fail cleanly. A distinctive methodological claim is warranted only if the registered TSTOEAO protocol demonstrates reproducible capability or efficiency not reproduced by the operation-matched conventional control.
1. Research Objective
The preceding paper established a disciplined source-discrimination protocol but deliberately left one question unresolved: does the integrated TSTOEAO procedure add methodological value beyond an appropriately constructed conventional inference pipeline? The present work converts that question into a blinded computational benchmark. The benchmark does not attempt to prove the physical existence of additional spatial dimensions. It tests a narrower claim: whether registered observational-equivalence reduction, relational invariants, positive and reliably absent signatures, cross-probe latent constraints, prospective intervention prediction, and active measurement selection can correctly determine when additional source structure is required, when it is unnecessary, when it is non-identifiable, and when the registered model family is wrong.
Primary test: TSTOEAO protocol T vs. strong conventional baseline C vs. operation-matched
conventional translation C⁺ The benchmark must permit equivalence or defeat. If the conventional baseline produces the same decisions, calibration, and experiment choices at equal or lower cost, the proper conclusion is TSTOEAO synthesis/application rather than a distinct inference methodology.
2. Registered Objects and Decision Space
Let 𝓗 = {H_(d,τ)} denote registered source-model classes, where d is dimension and τ registers the dimension type, 𝔐 the admissible measurement/probe family, 𝓘 the admissible intervention family, and 𝓔 the declared equivalence and transformation rules. Register τ ∈ {state, manifold, geometric spatial, embedding, reconstruction}. The benchmark principally tests minimum required source-state structure; geometric-spatial dimensionality is a special registered family and must not be inferred from reconstruction dimension alone. For source state X under H and experiment e=(M,I), let the predicted observation distribution be p(O | H, M, I). The evaluator must return exactly one of four scientific decision states:
L — a lower-dimensional registered class is preferred under the prospective criteria.
H — an additional registered source degree of freedom is required under the prospective criteria.
E — competing source classes are observationally indistinguishable under the available registered
experiment family.
The decision space is intentionally not exhaustive over ontology. It is exhaustive only over the benchmark outputs. In particular, E and N prevent the evaluator from becoming a forced dimension selector.
3. Hidden Generating Regimes G₁–G₄
3.1 G₁ — Lower-Dimensional Nonlinear Generator G₁ is generated by a nonlinear process whose observable and interventional behavior is adequately represented by a registered lower-dimensional class. Higher-dimensional candidates may fit the training data, but they are unnecessary. The primary failure mode is false dimensional discovery.
Desired outcome: G₁ -> L
3.2 G₂ — Independently Certified Additional Registered Source Structure G₂ must not be defined merely by the empirical failure of the contestants used in the benchmark. Generator construction and ground-truth certification are separated. For at least the transparent benchmark family, define a precisely bounded preregistered lower-dimensional admissible class 𝓛_d and establish independently—preferably analytically—that there exists a registered intervention I* for which no L ∈ 𝓛_d can reproduce a declared interventional consequence, while at least one constrained H ∈ 𝓗_(d+1,τ) can. Symbolically, for the certified consequence, ∀L∈𝓛_d, P_L(O|I*) ≠ P_G(O|I*), while ∃H∈𝓗_(d+1,τ) that reproduces it. The blinded evaluator is not given this certificate. In later expressive benchmarks, every claim is restricted to the strongest admissible realization in the preregistered adversarial class; finite computation does not certify failure of every conceivable lower-dimensional realization.
Desired outcome: G₂ -> H
3.3 G₃ — Exact and Practical Cross-Dimensional Observational Equivalence G₃ contains two subregimes. G₃E contains at least one pair H_a and H_b of different registered source dimensions/types that produce identical observable distributions for every experiment in an initial family 𝔐₀. G₃P contains pairs whose observable distributions are practically indistinguishable at the registered resolution, noise level, cost, and experiment budget. G₃E: p(O | H_a,M,I) = p(O | H_b,M,I) for all registered (M,I) in 𝔐₀. G₃P: D(p_a(O|e),p_b(O|e)) ≤ ε for every affordable e∈𝔐₀, for a preregistered divergence D and tolerance ε. The correct initial result is non-identifiability, not preference for the smaller class merely because it is simpler. A second experiment pool contains at least one discriminating experiment e* for G₃E and, where feasible, experiments that exceed the practical discrimination threshold for G₃P. This tests whether active selection can discover a measurement capable of breaking the equivalence when one exists without hallucinating certainty when the distinction is practically inaccessible. Desired outcomes: before e*: G₃ -> E; after informative e*: correct discrimination.
3.4 G₄ — Generator Outside the Registered Family and Adversarial Misspecification G₄ is generated by a process not contained in any candidate class. The benchmark should include at least three subclasses: G₄a, obvious gross misspecification; G₄b, near-family misspecification; and G₄c, adversarial misspecification that allows a higher-dimensional registered model to fit substantially better than lower-dimensional candidates while retaining systematic held-out residual structure. G₄a,G₄b,G₄c ∉ H₂ ∪ H₃ ∪ ··· ∪ H_N. These regimes test whether the procedure can distinguish missing source structure from the wrong model family. A procedure that selects H for G₄c merely because the higher-dimensional candidate is more flexible fails the benchmark.
Desired outcome: G₄ -> N
4. Strong Lower-Dimensional Adversary
The lower-dimensional competitor must be difficult enough that a higher-dimensional result cannot be obtained merely by comparing a rigid low-dimensional geometry with a flexible high-dimensional geometry. The adversarial family should include, where mathematically appropriate:
nonlinear state-space models; Takens/Sauer-style delay-coordinate reconstructions; minimal nonlinear realizations or approximations to them; flexible latent dynamical models; kernel and spline representations; expressive neural state-space models; explicit nuisance, receiver, and channel-transfer models; symmetry-aware and transformation-aware lower-dimensional models.
The governing adversarial question is not whether a named lower-dimensional model fails. It is whether the strongest admissible realization in the preregistered adversarial class, under the registered data, causal restrictions, smoothness/complexity bounds, and computational budget, can reproduce the same prospective consequences. If such a reconstruction predicts all held-out observations and interventions as well as the explicit higher-dimensional source geometry, the benchmark has not established that the geometric source dimension is required. It has established only that an adequate latent state representation exists.
5. TSTOEAO Protocol Under Test
The TSTOEAO arm applies the source-discrimination procedure specified in the preceding paper. Its registered components are:
1. Declare source classes, measurement operators, interventions, noise models, detection limits,
symmetries, admissible transformations, and candidate relational invariants before evaluation.
2. Compute local observational deficit only as a regular local diagnostic, while treating observational
fibers, posterior uncertainty, and candidate equivalence classes as the global objects.
3. Update candidate classes using positive observations, preserved invariants, calibrated negative
signatures, and prospective constraints.
4. Require a shared latent accessibility state to constrain heterogeneous probes without probe-specific
refitting when A_Λ is used.
5. Permit the four outcomes L, H, E, and N.
6. Select the next experiment by expected reduction of registered observational equivalence, subject to
cost and feasibility. A TSTOEAO-specific relational invariant I_R may contribute only if it is preregistered relative to a transformation family 𝒯 together with its exact computation/estimator, tolerance, and failure criterion. An invariant chosen or operationally redefined after observing the benchmark cannot count as evidence of added methodology.
6. Three-Arm Conventional Controls: T, C, and C⁺
The primary comparison uses three arms. T is the native TSTOEAO formulation. C is a strong standard integrated conventional pipeline combining nonlinear realization/system identification, observability and identifiability analysis, flexible latent-state estimation, multi-view latent inference where applicable, Bayesian model comparison, calibrated non-detection likelihoods, and Bayesian model-discriminating experimental design. C⁺ is an operation-matched conventional translation of every TSTOEAO operation for which a conventional mathematical translation exists, including invariants, equivalence handling, negative signatures, shared-latent constraints, interventions, and experiment-selection logic. All three arms receive the same training observations, probe definitions, intervention history, admissible experiment pool, structural information, and computational budget. Hyperparameter tuning and stopping rules must be symmetric enough that one arm is not privileged by search effort. The purpose of C⁺ is to distinguish an advantage due to integrated operations from an advantage unique to native TSTOEAO representation. Interpretation is explicit: T=C=C⁺ implies no operational advantage; T>C with T=C⁺ supports useful integration/protocol architecture reproducible conventionally; T>C⁺>C motivates ablation to identify the residual TSTOEAO-specific source of advantage. If C or C⁺ outperforms T, that result must be reported directly.
7. Blinding and Data Partition
Each synthetic instance is generated with a hidden regime label and hidden generating parameters. The inference systems receive only the registered candidate families, training observations, experiment metadata, and allowed future experiment pool. Generator identity is withheld until all decisions are frozen. Data are partitioned into three roles: fitting data, experiment-selection data available at decision time, and final untouched evaluation data. The final evaluation set contains probe-intervention combinations not used for parameter fitting or model selection.
Repeated benchmark instances should randomize admissible parameters, initial conditions, noise realizations, probe order, and nuisance effects within preregistered ranges. Randomization must not change the structural definition of the regimes. Benchmark-designer overfitting is an explicit limitation; later validation should use independently written generators, independently implemented baselines, hidden challenge instances, or third-party benchmark contributions where feasible.
8. Structural-Transport Test
Ordinary interpolation and same-channel forecasting are insufficient. The decisive test is transport across unseen combinations of observation and intervention. For example, train on probes M₁, M₂, M₃ and interventions I₁, I₂, then evaluate predictions for combinations such as (M₄,I₁), (M₂,I₃), (M₅,I₄). A source model earns structural credit only when the same latent/source representation predicts these new combinations without relearning a probe-specific latent state. This directly tests whether the model has captured a transportable source structure rather than a collection of channel fits. For A_Λ, the evidentiary hierarchy remains: shared latent fit < cross-probe prediction < cross-probe intervention prediction. Even success at the final level supports a shared causal structure only within the benchmark; it does not by itself establish a physical dimensional-expression mechanism in nature.
9. Reliable Absence and Detection Calibration
A required but absent feature can exclude a source class only when detection performance is registered. If Q is predicted by H and M is the detection process, then
P(no detection | H) = ∫ P(no detection | H,θ) p(θ | H) dθ, with the simpler decomposition
P(¬Q|H)+P(Q|H)P(miss|Q,M) recovered when nuisance dependence can be suppressed. Negative signatures should therefore be generated under known sensitivity, specificity, censoring, feature-strength, nuisance, and noise conditions. The benchmark must include cases where absence is genuinely discriminating and cases where a miss is plausible. A method that treats every non-detection as exclusion should fail calibration.
10. Observational Equivalence and the Discriminating Experiment
G₃ supplies the direct test of the principle that no relational distinction exists without an experiment capable of exposing it. Under 𝔐₀, H_a and H_b are deliberately equivalent. Both arms should return E. The available experiment pool is then expanded to include candidate probes/interventions, only some of which break the equivalence. Active selection is evaluated in two modes: a native-utility comparison, in which each arm uses its preferred criterion, and a common-utility comparison, in which T, C, and C⁺ optimize the same externally specified objective.
Native mode may use e* = argmax_e ExpectedDiscrimination_arm(current data,e). Common mode
should use a preregistered shared utility such as expected reduction in Bayes classification error, expected proper-score improvement, or another common decision-theoretic objective. This decomposition separates whole-system performance from the effect of the utility function itself. Success requires selecting or efficiently approaching a discriminating experiment without privileged knowledge of which experiment was constructed to discriminate.
11. Conditional Source-Dimension Decision
For a registered family 𝓗, experiment family 𝔐, equivalence rules 𝓔, and registered dimension type τ, define the benchmark source-dimension result only conditionally:
d*_(𝓗,𝔐,𝓔,τ) = min{ d : a class H_(d,τ) remains prospectively adequate and is not observationally equivalent to an adequate lower-dimensional class under the discriminating experiment set }. This quantity is not reported for outcome E or N. It is not an intrinsic dimension of the generating universe. It is the minimum registered dimension of type τ supported within the benchmark architecture after the strongest admissible lower-dimensional competitors in the preregistered class have been tested.
12. Primary Performance Metrics
The benchmark should report at least the following preregistered quantities:
G₁ false extra-dimension rate: P(H decision | G₁).
G₂ correct additional-structure rate: P(H decision | G₂), together with predictive calibration.
G₃ false-discrimination rate before a discriminating experiment and correct discrimination after one is
obtained.
G₄ false forced-selection rate and correct N rate.
Held-out predictive log loss or another proper scoring rule.
Calibration of posterior/model confidence under noise and misspecification.
Number and cost of experiments required to reach a registered decision threshold.
Cross-probe and cross-intervention transport error.
Negative-signature calibration under known miss probabilities.
Computational cost and model complexity.
Before final evaluation, preregister one primary superiority endpoint. A recommended endpoint is the minimum expected experiment cost required to reach a calibrated correct L/H/E/N decision at fixed error tolerances across a balanced regime suite. All other metrics are secondary explanatory endpoints unless explicitly designated otherwise. Paired instances should be used where possible, with confidence intervals or other preregistered uncertainty estimates for differences in predictive loss, decision correctness, transport error, and experiment cost.
13. Candidate-Set and Information Metrics
When candidate contraction is measured geometrically, the measure must be named. For hypothesis H with measure μ_H, a normalized contraction statistic may be C = 1 − μ_H(C_H^(k)) / μ_H(C_H^(0)). For probabilistic implementations, posterior entropy or information gain may be preferable. The benchmark must not infer stronger evidence merely from a larger raw percentage contraction in a differently parameterized model. Any TSTOEAO-specific relational-gain metric should be evaluated for invariance to permissible reparameterization or explicitly bounded to the representation in which it is defined.
14. Preregistered Success Criteria and Primary Endpoint
Before running the final blinded benchmark, numerical thresholds should be frozen. At minimum, the protocol should specify:
maximum acceptable G₁ false extra-dimension rate; minimum G₂ detection rate at specified noise levels; maximum G₃ false-discrimination rate before informative experiments; minimum G₄ none-adequate detection rate; decision thresholds for predictive scores or Bayes/model-comparison quantities; maximum permitted probe-specific refitting in transport tests;
multiplicity handling for secondary comparisons; paired-analysis and uncertainty-reporting rules. The initial paper need not prescribe universal numerical values. The implementation study must preregister them before inspecting final benchmark labels.
15. Ablation Tests
To determine which parts of the integrated procedure actually matter, run ablations removing one component at a time: relational invariants, negative signatures, cross-probe constraints, interventions, active experiment selection, singular/global fiber analysis, and misspecification detection. If removing a TSTOEAO-specific component does not alter performance, that component has not earned empirical necessity in this benchmark. The C⁺ arm promotes the translation ablation to a primary control. Additional ablations should remove one operation at a time from T and C⁺. If T>C but T=C⁺, the evidence supports integration/protocol architecture rather than uniquely TSTOEAO mathematics. If T>C⁺>C, ablation must identify which native representation or computation accounts for the residual difference.
16. Failure Conditions
The benchmark fails to support a distinctive TSTOEAO methodology if any of the following persists after reasonable implementation checks:
G₁ frequently produces false higher-dimensional discoveries; G₂ is matched by a lower-dimensional observation-equivalent realization on unseen interventions; G₃ is forced into a dimensional choice before a discriminating experiment exists; G₄ is systematically absorbed by the most flexible/highest-dimensional candidate; A_Λ requires probe-specific refitting and collapses into channel modeling; negative signatures are miscalibrated under realistic miss probabilities; active TSTOEAO selection is no better than established model-discriminating design under native-utility and common-utility matched comparisons;
claimed relational invariants add no prospective discrimination;
the C⁺ operation-matched conventional translation reproduces all TSTOEAO decisions and efficiency,
limiting the claim to synthesis/integration rather than a uniquely TSTOEAO inference method. These outcomes do not invalidate the broader TSTOEAO architecture. They delimit the claim tested here.
17. What Would Constitute Added Methodological Value?
Added value must be measurable rather than rhetorical. The preregistered primary superiority endpoint controls the principal claim; secondary endpoints may include lower false dimensional-discovery at matched power, reliable recognition of cross-dimensional non-identifiability, better rejection of misspecified model families, fewer or cheaper experiments, improved cross-intervention transport, or a preregistered TSTOEAO relational invariant that supplies discriminating information not recovered by C⁺. Results should be reported as paired performance profiles across generator subclasses, noise levels, experiment budgets, and adversary strengths, with confidence intervals or preregistered uncertainty summaries. Favorable secondary metrics cannot substitute for failure on the primary endpoint.
18. Interpretation of Possible Outcomes
18.1 TSTOEAO outperforms the integrated baseline If the advantage is reproducible, survives ablation, and is traceable to a registered component of the relational protocol, there is a credible basis for investigating methodological originality and generalization beyond the synthetic benchmark.
18.2 TSTOEAO and the baseline are equivalent The proper conclusion is that TSTOEAO provides a coherent synthesis and application of established inference machinery. This remains useful, particularly if the architecture improves conceptual discipline or transfer across domains, but it is not evidence of a new statistical method.
18.3 Conventional baseline outperforms TSTOEAO The source-discrimination protocol should be revised or narrowed. TSTOEAO terminology should not be used to obscure a weaker inferential procedure.
18.4 Both fail The benchmark may expose insufficient experiment families, inadequate model classes, non-identifiability, or a generator too difficult for either pipeline. The appropriate result is unresolved, followed by redesign—not a forced dimensional claim. This creates the validation ladder: analytic truth -> controlled computation -> adversarial computation -> real scientific inverse problem. Failure on the transparent tier blocks stronger methodological claims. Before a large stochastic suite, the benchmark should contain a transparent four-generator tier whose correct outcomes can be established independently of either inference implementation. G₁->L must have an explicit admissible lower-dimensional realization. G₂->H must have an analytic or otherwise independent certificate that the preregistered lower-dimensional class cannot reproduce a specified intervention distribution while a registered higher-structure class can. G₃E->E must have provable observational equality under 𝔐₀ and a known withheld e* that breaks it. G₄->N must violate at least one declared held-out consequence of every registered candidate. Labels and certificates remain hidden from T, C, and C⁺ until decisions are frozen.
19. Minimal Analytic Certification Tier
20. Implementation Sequence
7. Construct the minimal analytic G₁–G₄ certification tier first and verify each correct outcome
independently of T, C, and C⁺.
8. Verify exact G₃ equivalence under 𝔐₀ and verify that at least one withheld experiment can break it.
9. Implement strong lower-dimensional adversaries and confirm they defeat intentionally weak
higher-dimensional tests. 10.Implement T, C, and C⁺ under matched information and budgets; run both native-utility and common-utility experiment-selection comparisons.
11. Freeze the primary superiority endpoint, secondary metrics, thresholds, invariant
computations/tolerances, randomization ranges, analysis rules, and final benchmark seeds or hidden instances. 12.Run blinded evaluation and unlock generator labels only after decisions are committed. 13.Perform ablations, robustness analysis, and repeated trials. 14.Publish code, generator specifications, preregistration, failures, and null results alongside any positive claim where feasible.
21. Relationship to the Dimensional Paper Sequence
The sequence now has a clear division of labor. Substrate Relaxation and Dimensional Expression introduced the physical-accessibility hypothesis and separated observational accessibility from stronger physical interpretation. Dimensional Expression, Relational Geometry, and Inverse Reconstruction established the forward/inverse geometry and candidate-source framing. Successive Dimensional Expression and Relational Gain clarified the dimensional ladder and developed observational deficit. Relational Source Discrimination and Prospective Dimensional Inference converted those elements into a registered discrimination protocol. The present paper supplies the computational test that the protocol itself requires. Accordingly, this benchmark is not another conceptual argument that higher dimensions exist. It is an attempt to make the preceding methodology vulnerable to controlled failure.
22. Conclusion
The next obligation of the TSTOEAO dimensional program is computational. A source-discrimination methodology earns scientific value only if it can refuse unnecessary complexity, admit independently certified necessary registered structure, preserve exact and practical non-identifiability when experiments cannot distinguish rivals, reject gross, near-family, and adversarial misspecification, and select useful new experiments without receiving the answer through benchmark design. The revised adversarial benchmark is constructed to test those obligations through T, C, and C⁺. Its strongest lower-dimensional competitors are limited only by preregistered admissibility rather than by a convenient named model. Its decisive evaluation occurs on unseen probes and interventions. Active selection is separated into native-utility and common-utility comparisons. Its output space includes non-identifiability and model inadequacy. Its first tier requires independently transparent ground truth before scaling to stochastic and neural adversaries. Its failure conditions explicitly permit the conclusion that TSTOEAO adds no distinct methodological capability. That possibility is essential. If TSTOEAO performs no better than C⁺, the result should be recorded as disciplined integration or synthesis even if T outperforms the less operation-matched C baseline. If it performs worse, the protocol should be revised. If T demonstrates reproducible, ablation-supported advantages over C⁺ on the preregistered primary endpoint under fair adversarial conditions, then—and only then—will there be a credible empirical basis for investigating whether a native TSTOEAO representation or relational construction contributes methodological capability in its own right.
23. References
1. Hermann, R., & Krener, A. J. (1977). Nonlinear controllability and observability. IEEE Transactions on
Automatic Control, 22(5), 728–740.
2. Takens, F. (1981). Detecting strange attractors in turbulence. In D. A. Rand & L.-S. Young (Eds.),
Dynamical Systems and Turbulence, Warwick 1980 (Lecture Notes in Mathematics, Vol. 898, pp. 366–381). Springer.
3. Sauer, T., Yorke, J. A., & Casdagli, M. (1991). Embedology. Journal of Statistical Physics, 65, 579–616.
4. Villaverde, A. F., Barreiro, A., & Papachristodoulou, A. (2016). Structural identifiability of dynamic
systems biology models. PLoS Computational Biology, 12(10), e1005153.
5. Drovandi, C. C., et al. (2022). Optimal Bayesian design for model discrimination via classification.
Statistics and Computing, 32.
6. Hyvärinen, A., Sasaki, H., & Turner, R. E. (2019). Nonlinear ICA using auxiliary variables and
generalized contrastive learning. Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 859–868.
7. Schön, T. B., Lindsten, F., Dahlin, J., Wågberg, J., Naesseth, C. A., Svensson, A., & Dai, L. (2015).
Sequential Monte Carlo methods for system identification. IFAC-PapersOnLine, 48(28), 775–786.
8. Thompson, W. C., & Scurich, N. (2018). When does absence of evidence constitute evidence of
absence? Forensic Science International, 291, e18–e19.
9. Swygert, J. (2026, October 1). Substrate Relaxation and Dimensional Expression: A TSTOEAO
Hypothesis of Compression, Expression, Relational Coordinates, and Electromagnetic Observability. Ivory Tower Publishing.
10. Swygert, J. (2026, October 2). Dimensional Expression, Relational Geometry, and Inverse
Reconstruction. Ivory Tower Publishing.
11. Swygert, J. (2026, October 2). Successive Dimensional Expression and Relational Gain: A
Dimension-by-Dimension TSTOEAO Construction from Point States to Higher-Dimensional Source Geometry. Ivory Tower Publishing.
12. Swygert, J. (2026, October 2). Relational Source Discrimination and Prospective Dimensional
Inference: A TSTOEAO Protocol for Observational-Equivalence Reduction, Competing Source Geometries, Negative Signatures, and Active Measurement. Ivory Tower Publishing.
ANALYTIC GROUND TRUTH FOR PROSPECTIVE DIMENSIONAL INFERENCE
A Minimal Four-Regime Calibration of the TSTOEAO Relational Source-Discrimination Protocol
John Swygert
Ivory Tower Publishing
October 2, 2026
Research status: computational benchmark specification and analytic calibration paper. No claim of new physical dimensionality is made.
Abstract
The preceding TSTOEAO papers developed a prospective source-discrimination protocol in which relational gain is treated as contraction of registered observational equivalence and then specified an adversarial benchmark with four legitimate inference outcomes: lower-dimensional structure preferred, higher registered source structure preferred, observationally indistinguishable, and none of the registered models adequate. The next obligation is not another conceptual extension. It is to establish transparent benchmark cases whose correct outcomes can be determined independently of the inference machinery being tested. This paper therefore defines a minimal four-regime analytic calibration suite. Each regime is constructed so that the correct decision follows from an explicit property of the registered model and experiment classes rather than from post hoc failure of benchmark contestants. The suite separates state, manifold, geometric, embedding, and reconstruction dimensions; distinguishes exact from practical observational equivalence; introduces an operation-matched conventional control C+ alongside native TSTOEAO and conventional pipelines; separates native-utility from common-utility experiment selection; and preregisters a primary endpoint. The purpose is to create a falsifiable bridge from the conceptual methodology to executable computation.
1. Research Question
Can a source-discrimination protocol correctly recover four analytically certified inference states without being allowed to define those states by its own success or failure? The benchmark must demonstrate that it can refuse unnecessary structure, identify an additional registered source degree when a bounded lower-dimensional class is provably insufficient, preserve non-identifiability when registered experiments cannot distinguish competing classes, and reject the entire registered family under model misspecification.
Decision space: L / H / E / N
Here L denotes that a lower registered source class is adequate and preferred under the registered decision rule; H denotes that an additional registered source degree is required relative to the bounded admissible class; E denotes observational equivalence under the available experiment family; and N denotes that none of the registered source classes is adequate.
2. Registered Objects and the Meaning of Dimension
Every benchmark instance is defined by a tuple B = (H, M, E, I, T, Q, tau), where H is the registered hypothesis family, M the admissible measurement/experiment family, E the declared observational equivalence relation, I the intervention family, T the transformation family under which relational invariants are asserted, Q the noise/detection model, and tau the registered dimension type.
tau ∈ {state, manifold, geometric-spatial, embedding, reconstruction}
A hypothesis written H_(d,tau) therefore asserts d dimensions of a declared type. The benchmark principally tests minimum required source-state structure. A physical or geometric spatial interpretation is a special registered family and cannot be inferred merely because a reconstruction requires a higher-dimensional latent state.
3. Analytic Certification Before Blinded Evaluation
Generator construction and ground-truth certification are separated. A generator is created first. Its correct benchmark outcome is then certified from an explicit mathematical property of the registered class before any blinded inference run. Certification may use an analytic proof, an exact finite enumeration, or a rigorously bounded numerical argument whose tolerance is preregistered. The evaluator never receives the regime label or the certification argument until its decision is frozen. The benchmark never claims failure of every imaginable lower-dimensional model. Statements of necessity are always relative to a bounded preregistered adversarial class L_d^reg with declared smoothness, causal, complexity, memory, computational, and intervention-response restrictions.
4. Regime G1: Explicit Lower-Dimensional Realization
G1 calibrates refusal of unnecessary source structure. Construct observations from an explicit lower-dimensional source whose complete registered probe and intervention behavior is generated by a known admissible realization L*
∈ L_d^reg. A higher-dimensional representation may also fit, but it is not required to reproduce the registered consequences. ∃ L* ∈ L_d^reg such that P_L*(O | M,I) = P_G1(O | M,I) for all registered (M,I). Ground truth is therefore L. A method fails G1 if it systematically interprets flexibility, nuisance structure, or reconstruction dimension as evidence that an additional registered source degree is required.
5. Regime G2: Certified Additional Registered Source Degree
G2 removes the principal circularity in the earlier benchmark specification. The regime is not defined as a case in which the contestants happen to fail. Instead, choose a precisely bounded lower-dimensional admissible class L_d^reg and construct a generator with at least one registered intervention consequence that no member of that class can reproduce.
∀ L ∈ L_d^reg, P_L(O | I*) ≠ P_G2(O | I*)
∃ H ∈ H_(d+1,tau)^reg such that P_H(O | M,I) = P_G2(O | M,I) on the registered suite. The first calibration family should be chosen so that the incompatibility is analytically transparent—for example, by a rank, conservation, conditional-independence, symmetry, or intervention-response constraint that every L ∈ L_d^reg must satisfy but G2 violates. The higher-dimensional class must satisfy the same declared observational and interventional consequences with fewer structural freedoms than the unrestricted adversarial alternatives. The correct outcome is H only relative to the registered class and dimension type tau.
6. Regime G3E: Exact Cross-Dimensional Observational Equivalence
G3E tests whether the method can preserve ignorance. Construct two registered source classes of different dimension that induce identical observable distributions for every experiment in the initial family M0.
P(O | H_a,e) = P(O | H_b,e) for every e ∈ M0
The correct outcome under M0 is E. Complexity penalties may make one representation pragmatically preferable, but they do not establish that the other source dimension is absent. A withheld admissible experiment e* is then supplied for which the predicted distributions differ.
P(O | H_a,e*) ≠ P(O | H_b,e*)
The active-design stage should identify or favor e* when it is available. This single regime tests non-identifiability recognition, refusal of false dimensional discovery, and the ability of experiment selection to expose a relational distinction when one is experimentally accessible.
7. Regime G3P: Practical Equivalence
Exact equality is not the only scientifically relevant form of non-identifiability. G3P introduces practical equivalence under registered noise, resolution, and budget. Let D be a preregistered divergence or decision distance.
D(P_a(O|e), P_b(O|e)) ≤ epsilon for every affordable e ∈ M_budget
The correct result is practical non-discrimination at the registered tolerance. The method must not convert tiny, experimentally inaccessible distinctions into confident source claims. If a later experiment exceeds the registered separation threshold, the equivalence state may be updated prospectively.
8. Regime G4: Registered-Family Misspecification
G4 tests whether unmodeled structure is mistaken for extra dimension. The generator is outside every registered candidate class and violates at least one declared held-out consequence of each candidate. Three subclasses are used. G4a: gross misspecification that should be easy to reject. G4b: near-family misspecification whose training behavior closely resembles a registered model. G4c: adversarial misspecification that makes a higher-dimensional registered model fit better than lower-dimensional candidates while retaining systematic held-out residual structure.
G4a, G4b, G4c -> N
G4c is the critical control: the procedure must distinguish 'missing source degree' from 'wrong model family.'
9. Three Inference Arms: T, C, and C+
The benchmark compares three primary arms rather than two. T is the native TSTOEAO protocol, using registered observational equivalence, relational invariants, negative signatures, cross-probe constraints, and its native representation. C is a strong integrated conventional pipeline using standard system identification, latent-state estimation, model discrimination, calibrated negative evidence, and optimal experimental design. C+ is an operation-matched conventional translation of every TSTOEAO operation for which a conventional mathematical translation exists.
T = C = C+ -> no operational advantage
T > C and T = C+ -> integration/protocol advantage reproducible conventionally
T > C+ > C -> investigate residual representation-specific advantage
If the third pattern occurs, ablation must identify the responsible component rather than attributing the difference to TSTOEAO as a whole.
10. Native-Utility and Common-Utility Experiment Selection
Active measurement selection is evaluated in two modes. In native-utility mode, each arm uses its preferred experiment-selection criterion. This measures whole-system performance. In common-utility mode, all arms optimize the same externally specified utility, such as expected reduction in calibrated classification error or expected proper-score improvement. This separates gains due to inferential representation from gains due merely to different objective functions.
e_next = argmax_e U(e | current evidence)
The experiment pool, cost model, stopping rule, and access to interventions are identical across arms.
11. Relational Invariants Must Be Operationally Preregistered
A claimed relational invariant I_R is not registered merely by naming a concept. Before blinded evaluation the protocol must specify I_R, the transformation family T under which it is expected to survive, the estimator or computation, tolerance, uncertainty treatment, and failure criterion.
I_R(Tx) ≈ I_R(x) within preregistered tolerance for T ∈ T
This prevents an invariant from being retrofitted to generator structure after the benchmark is observed. If no useful invariant can be specified prospectively, the benchmark must record that fact rather than invent a bespoke relational score.
12. Calibrated Negative Evidence
A required-but-absent signature is informative only when there was a calibrated opportunity to detect it. With nuisance parameters theta, the no-detection probability is integrated rather than treated as a fixed detector constant.
P(no detection | H) = ∫ P(no detection | H,theta) p(theta | H) dtheta
Negative evidence may contract an admissible candidate class, but it cannot be counted as exclusion merely because an expected feature was not seen.
13. Structural Transport Test
Training uses a subset of probes and interventions, for example M1,M2,M3 and I1,I2. Evaluation then includes unseen combinations such as (M4,I1), (M2,I3), and (M5,I4). Same-channel interpolation is not decisive. A proposed source representation must transport consequences across changed observation and intervention contexts without probe-specific refitting. If a registered lower-dimensional realization predicts all held-out probe-intervention consequences as well as the explicit higher-dimensional source model, the benchmark has not established that the higher source dimension is required.
14. Primary Endpoint and Secondary Metrics
To prevent a garden of favorable comparisons, one primary superiority endpoint is preregistered:
Primary endpoint = expected experiment cost to reach a calibrated correct L/H/E/N decision
The error tolerances, regime weighting, maximum budget, and treatment of practical equivalence are fixed before evaluation. Secondary endpoints include false extra-dimension rate, correct non-identifiability recognition, misspecification rejection, held-out proper predictive loss, cross-intervention transport error, calibration, and the incremental value of I_R. Because the same hidden instances are evaluated by all arms, comparisons are paired. Confidence intervals or corresponding uncertainty intervals are reported for paired differences in cost, loss, correctness, and transport performance.
15. Minimal Analytic Four-Generator Trial
Before any large neural or stochastic benchmark, the program begins with four transparent generators whose correct outcomes can be independently established. Regime G1 G2 G3E G4
Certified property Explicit admissible lower realization Registered lower class analytically cannot reproduce I* Exact equality under M0; known e* breaks it Every registered class violates held-out consequence
Correct result
Primary failure
L
Invents extra source structure
H
Fails to detect required registered degree
E N
Claims distinction without exposing experiment Absorbs misspecification as dimension
The labels and certification proofs are withheld from the inference implementations. Decisions and selected experiments are frozen before unblinding. Only after this calibration succeeds should the benchmark advance to noisy stochastic systems, G3P, G4b/G4c, increasingly expressive adversaries, neural state-space realizations, and real inverse problems.
16. Benchmark-Designer Overfitting
The initial suite is necessarily designed within the same research program that developed the TSTOEAO protocol. This creates a designer-overfitting risk even under label blinding. Later validation should therefore include independently written generators, independently implemented conventional baselines, hidden challenge instances, or third-party benchmark contributions. A native TSTOEAO advantage that disappears on independent challenge instances is not evidence of a general methodological advantage.
17. Failure Conditions
The analytic calibration or the broader methodology is weakened if any of the following occur: G1 is repeatedly classified H; certified G2 is reproducible by an admissible registered lower realization; G3E is forced into L or H without a discriminating experiment; G3P produces unjustified certainty; G4 is absorbed by flexible higher-dimensional candidates; C+ reproduces every TSTOEAO decision and experiment while T is described as a distinct statistical method; native-utility gains disappear under common utility and are nevertheless attributed to representation; I_R requires post hoc tuning; negative signatures are not detector-calibrated; or the primary endpoint fails to show the claimed advantage. A null result is scientifically admissible. If T = C+ after translation, the proper conclusion is that TSTOEAO supplies a disciplined synthesis and representation of established operations rather than a distinct inference capability.
18. Relation to the Preceding TSTOEAO Papers
The substrate and dimensional-expression papers proposed the possibility that accessibility, expression, and observation should be distinguished rather than conflated. The dimensional-geometry papers then treated upward source hypotheses and downward observations as inverse problems. Relational Source Discrimination and Prospective Dimensional Inference made observational-equivalence contraction the primary object and required
prospective falsification. Adversarial Benchmark for Prospective Dimensional Inference specified how that protocol should be challenged. The present paper supplies the missing first computational rung: analytically certified cases whose answers do not depend on trusting the inference system. The progression is therefore: conceptual distinction -> formal source discrimination -> adversarial benchmark -> analytic ground truth -> controlled computation -> adversarial computation -> real scientific inverse problem.
19. What This Paper Does Not Establish
This paper does not establish new physics, physical dimensional compression, a physical Lambda_D, or methodological superiority of TSTOEAO. It does not prove that finite data can exclude every conceivable lower-dimensional realization. It does not identify latent-state dimension with physical spatial dimension. It does not claim originality for system identification, minimal realization, observability, Bayesian model discrimination, multi-view latent inference, optimal experimental design, negative evidence, or delay reconstruction. Its narrower contribution is to make the next empirical obligation explicit and falsifiable: before claims of distinctive dimensional inference are entertained, the protocol must solve transparent cases whose correct decisions are independently certified and must be compared against both a strong conventional pipeline and an operation-matched conventional translation.
20. Conclusion
A dimensional-inference methodology should not be allowed to manufacture the answer it was designed to discover. The appropriate next step is therefore an analytic calibration in which necessity, equivalence, adequacy, and misspecification are established independently of the contestants. The four-regime suite developed here makes L, H, E, and N genuine scientific outcomes rather than forced labels. The T/C/C+ comparison separates representational novelty from useful integration; native/common utility comparisons separate architecture from objective choice; and the primary endpoint constrains later claims of superiority. If the protocol cannot reliably solve these transparent cases, scaling to more elaborate dimensional hypotheses is premature. If it can, the research program earns the right to proceed to noisy stochastic systems, stronger adversaries, independent challenge instances, and eventually real scientific inverse problems. The governing principle remains simple: no relational distinction should be claimed without an experiment capable of exposing it, and no additional source degree should be claimed when an admissible lower representation transports the registered consequences just as well.
References and Literature Boundary
This calibration paper relies primarily on the formal architecture established in the immediately preceding TSTOEAO papers. Its conventional comparison class includes established work in nonlinear realization and system identification, local and global observability/identifiability, delay-coordinate reconstruction, latent-variable and multi-view inference, Bayesian model discrimination, optimal experimental design, proper scoring, and model-misspecification testing. Those fields supply established mathematical tools; the empirical question is whether the registered TSTOEAO organization contributes anything beyond an operation-matched conventional implementation.
Concluding Synthesis
The collected sequence narrows the original dimensional-expression intuition into a progressively more demanding research architecture. Its earliest question is whether accessibility to relational degrees of freedom can vary while declared invariants survive. Its geometric development asks what richer source structures produce under restricted observation and what can be reconstructed from multiple lower-dimensional views. Its dimension-by-dimension development then exposes the more general mathematical issue: an observation map groups distinct admissible source states into equivalence classes, and new information is valuable when it reduces that indistinguishability.
That shift changes the burden of the program. An additional coordinate or latent source degree is not warranted because it can describe existing data. It must survive strong lower-dimensional alternatives, declared observation operators, detection limits, complexity control, model misspecification, and prospective tests. Reliably absent required features can contract a candidate family just as positive observations can. Multiple independent probes become especially important when one latent source proposal is expected to constrain several observation channels without probe-specific refitting.
The benchmark papers make the same discipline computational. A valid procedure must be able to prefer a sufficient lower representation, require additional registered source structure when the bounded lower class is inadequate, preserve non-identifiability when the experiment family cannot distinguish rivals, and reject the entire registered family when none is adequate. The analytic calibration tier adds a final safeguard: those outcomes must be certified independently before the inference machinery is allowed to discover them.
Accordingly, the booklet does not end with a claim that physical dimensional compression or additional physical spatial dimensions have been demonstrated. It ends with a testable progression: define the admissible source class, declare the observation and transformation operators, identify preserved relations and required signatures, measure how observations contract equivalence, compare against strong conventional alternatives, and move to stronger physical interpretation only when a prospective result requires it. The enduring principle across the sequence is that unseen structure earns scientific status through constrained consequences, not through descriptive possibility.
