Submitted:
11 April 2026
Posted:
14 April 2026
You are already at the latest version
Abstract
Keywords:
1. Introduction
- the light cone is replaced by the terminal cone,
- null directions are replaced by positive and negative terminal meta-fibers,
- inertial frames are replaced by witness charts,
- Lorentz transformations are replaced by exact-recognition recodings preserving the terminal interval,
- proper time becomes proper meta-time,
- curvature becomes barrier-induced deformation of terminal geometry.
- (1)
- We define formal terminal meta-fibers attached to any exact two-sided decidable witness package for a proposition P, and distinguish them from the realized positive and negative terminal fibers.
- (2)
- We construct the flat terminal-fiber planeequip it with a null metric, derive Lorentz-type boosts, proper meta-time, and a velocity-addition law, and show that the invariant interval is
- (3)
- We reinterpret the Selection Jump Theorem as a universal null-propagation law, reflection collapse as a no internal global inertial frame theorem, and the Tarski/diagonal barriers as global chart obstructions.
- (4)
- We state a formal axiomatization of flat Terminal-Fiber Relativity, including a direct replacement for Einstein’s two postulates.
- (5)
- We define terminal-fiber manifolds, prove a local null-coordinate theorem, compute the Levi-Civita connection in conformal null gauge, derive the null geodesic equations, and introduce a conformally natural scalar curvature adapted to the terminal-fiber setting.
- (6)
- We define barrier fieldscorresponding respectively to jump pressure, reflection pressure, truth pressure, and diagonal pressure, combine them into a total barrier scalarand couple this to geometry and occupancy fields via a scalar curvature law.
- (7)
- We formulate occupancy transport in divergence form, derive a Raychaudhuri-type focusing equation for null congruences, and give an action principle in conformal null gauge.
- (8)
- We work out several explicit curved examples: flat vacuum, constant-curvature barrier vacua, one-sided occupancy sectors, smooth mixed-occupancy bubbles, and focusing by positive barrier load.
- (9)
- We outline a higher-rank extension and give a functorial packaging from exact witness architectures to terminal-fiber geometries.
2. Exact Witness Architectures, Terminal Fibers, and Formal Meta-Fibers
2.1. Exact Witness Packages
2.2. Resolution Profiles and Terminal Fibers
- (i)
- if , then is -complete and ;
- (ii)
- if , then and is -complete.
2.3. Formal Meta-Fibers
- is attached to the positive stagewise channel
- is attached to the negative bad-witness channel
2.4. Resolution-Chart Coordinates
3. Flat Terminal-Fiber Relativity
3.1. Meta-Event Space and Terminal Metric
3.2. Terminal Cone, Causal Structure, and Null Propagation
- nullif ,
- timelikeif ,
- spacelikeif .
3.3. Observers and Lorentz-Type Boosts
- (i)
- the ordered null rays and , and
- (ii)
- the terminal metric .
- (i)
- One has .
- (ii)
-
Under the flat boost of rapidity η, with , the transformed meta-velocity satisfiesIn particular, the null speed is invariant.
4. Barrier Laws Interpreted as Relativistic Laws
4.1. Selection Jump as Null Universality
4.2. Reflection Collapse as no Internal Global Inertial Frame
4.3. Tarski and Diagonal Barriers as Global Chart Obstructions
4.4. Truth as Occupancy Pattern
- if P is true, the positive terminal fiber is populated and the negative one is empty;
- if P is false, the negative terminal fiber is populated and the positive one is empty.
5. Axioms of Terminal-Fiber Relativity
- (TFR-1)
- Dual terminal directions.There are two distinguished formal null directions .
- (TFR-2)
- Meta-event space.The meta-event space is the 2-dimensional real vector space
- (TFR-3)
- Terminal metric.There is a symmetric bilinear form g such that
- (TFR-4)
- Terminal cone.The future terminal cone is the convex cone generated by and .
- (TFR-5)
- Observer principle.Observers are coordinate systems or linear recodings preserving the oriented terminal cone.
- (TFR-6)
- Boost invariance.Observer changes preserving g act in null coordinates by
- (TFR-7)
- Realized occupancy.There are occupancy layers and attached to the two terminal directions.
- (TFR-8)
- Positive null universality.Any nonempty stagewise-local positive sector is universal at the level.
- (TFR-9)
- Global chart barriers.No same-theory internal exact global chart exists on a -universal sector, and no arithmetic exact global chart exists on a truth-universal sector.
- (P1)
- Witness-law invariance.The laws of exact witness propagation are the same in every inertial witness chart.
- (P2)
- Terminal-cone invariance.The terminal cone generated by the positive and negative meta-fibers is observer-invariant.
6. Curved Meta-Relativity
6.1. Terminal-Fiber Manifolds
- (i)
- a smooth 2-manifold M;
- (ii)
- smooth rank-1 subbundles ;
- (iii)
- a Lorentzian metric g on M;
- (a)
- for every ;
- (b)
- both and are null for g;
- (c)
- if and are positively oriented generators, then
6.2. Connection, Geodesics, and Curvature
7. Barrier Fields, Occupancy Fields, and Curvature
7.1. Occupancy Fields
7.2. Barrier Fields
- J:jump densityorselection-jump pressure,
- :reflection pressure,
- :truth pressureorTarski pressure,
- :diagonal pressure.
7.3. Curvature Law
7.4. Occupancy Transport in Divergence Form
7.5. Null Expansions and Focusing
8. An Action Principle for Curved Meta-Relativity
9. Worked Examples in Curved Meta-Relativity
9.1. Flat Vacuum
9.2. Constant-Curvature Barrier Vacua
9.3. One-Sided Occupancy Sectors
9.4. Weak-Field Mixed Occupancy Bubbles
9.5. Barrier Focusing and Meta-Lensing
9.6. Timelike Geodesics in Constant-Curvature Terminal Geometry
10. An Action Principle for Curved Meta-Relativity
11. Higher-Rank and Categorical Extensions
11.1. Higher-Rank Flat Models
11.2. A Functorial Packaging
12. Dictionary with Special and Curved Relativity
| Ordinary relativity | Terminal-fiber meta-relativity |
|---|---|
| spacetime point | meta-event |
| light ray / null direction | positive or negative terminal meta-fiber |
| light cone | terminal cone |
| inertial frame | witness chart |
| Lorentz boost | null-coordinate rescaling preserving terminal interval |
| proper time | proper meta-time |
| null propagation | propagation along or |
| matter/energy source | barrier and occupancy source scalar |
| curvature of spacetime | barrier-induced deformation of terminal geometry |
| global coordinate obstruction | Tarski barrier |
| causal paradox / self-intersection | diagonal collapse |
13. Conclusion
References
- Boolos, George; Burgess, John; Jeffrey, Richard. Computability and Logic, 5th ed.; Cambridge University Press: Cambridge, 2007. [Google Scholar]
- Emmerson, Parker; Buchanan, Ryan J. A Metatheory of Exact Witness Architectures: The Selection Jump, Reflection Collapse, and Tarski/Diagonal Barriers.
- Hájek, Petr; Pudlák, Pavel. Metamathematics of First-Order Arithmetic; Springer: Berlin, 1993. [Google Scholar]
- O’Neill, Barrett. Semi-Riemannian Geometry with Applications to Relativity; Academic Press: New York, 1983. [Google Scholar]
- Rogers, Hartley, Jr. Theory of Recursive Functions and Effective Computability; MIT Press: Cambridge, MA, 1987. [Google Scholar]
- Smoryński, Craig. Self-Reference and Modal Logic; Springer: New York, 1985. [Google Scholar]
- Soare, Robert I. Turing Computability: Theory and Applications; Springer: Heidelberg, 2016. [Google Scholar]
- Tarski, Alfred. The Concept of Truth in Formalized Languages, in Logic, Semantics, Metamathematics, 2nd ed.; Hackett: Indianapolis, 1983. [Google Scholar]
- Robert, M. Wald, General Relativity; University of Chicago Press: Chicago, 1984. [Google Scholar]
- Emmerson, Parker; Buchanan, Ryan J. Exact Witness Architectures: Selection Jump and Limits of Exact Certification forthcoming.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).