# Einstein Equation as Φ-Self-Consistency and Bianchi Identity from Diff(M⁴) Symmetry in ODTOE

> Closing stage 3 of programme §XIV.3. Einstein equation G_μν+Λg_μν=(8πG/c⁴)T_μν derived as Φ-self-consistency condition on pairs (g,T). Bianchi identity ∇_μG^μν=0 established along two independent paths: kinematic (contraction of second Bianchi identity) and Noether (diffeomorphism invariance of observer action). Theorem C.T1: pair (g,T) solves Einstein equation iff it is fixed point of map Φ_C; existence via Banach fixed-point theorem. Theorem C.T2: dual-path Bianchi with 50-digit verification |∇_μG^μν|_{Path1}−|∇_μG^μν|_{Path2}<10⁻⁴⁵. Theorem C.T3: ODTOE singularity theorem as structural analog of Hawking–Penrose theorem.

Source: https://odtoe.org/en/articles/einstein-derivation-complete
Author: Anton Pankratov · Observer-Dependent Theory of Everything (ODTOE) · CC BY 4.0

---

EINSTEIN EQUATION AS Φ-SELF-CONSISTENCY AND BIANCHI IDENTITY FROM DIFF(M 4) SYMMETRY IN ODTOE (Уравнение Эйнштейна как Φ-самосогласованность и тождество Бианки из Diff(M 4 )-симметрии в ODTOE) A dual-path Bianchi proof, the Φ fixed-point theorem, and an ODTOE analog of the singularity theorem

Pankratov Anton Sergeevich Панкратов Антон Сергеевич Independent researcher, Kazan, Russia E-mail: anton.s.pankratov@gmail.com ORCID: 0009-0002-4870-2995

## UDC 530.12 + 530.145 + 514.764.2

ABSTRACT This paper closes stage 3 of programme §XIV.3 of [13]: the Einstein equation Gµν + Λgµν = (8πG/c4 )Tµν is derived in ODTOE as a Φ-self-consistency condition on pairs (g, T ), and the Bianchi identity ∇µ Gµν = 0 is established along two independent paths: (i) the kinematic path via Theorem A.T3 of [14] (contraction of the second Bianchi identity on a smooth pseudo-Riemannian metric); path via R (ii) the Noether diffeomorphism invariance of the observer action Sobs = B 2 (1 − σ)Λ −g d4 x of [15]. Three central theorems are formulated and proved. C.T1 (Φ-self-consistency): a pair (g, T ) solves the Einstein equation iff it is a fixed point of the map ΦC = ι ◦ Ô on the Φ-invariant subspace Ccontr ⊂ M × T ; existence and uniqueness modulo Diff(M 4 ) are secured by the Banach fixed-point theorem [6] for a contraction map, the contraction argument resting only on geometric and observer-action bounds and not assuming the Einstein equation (anti-circularity audit). C.T2 (dual-path Bianchi identity): the Path 1 (A.T3 kinematic) and Path 2 (Noether) results coincide as tensor expressions; numerical verification at 50-digit precision on the Schwarzschild ground state yields |∇µ Gµν |Path 1 − |∇µ Gµν |Path 2 < 10−45 . C.T3 (ODTOE singularity theorem): under the ODTOE energy condition, the trapped-configuration analog via the causal cone JO+ of [13] §VI, and the ontological collapse condition B → 0 of [16] §VII.3, there exists a Φ-iteration sequence of finite affine parameter terminating in the Fix(Φ) attractor with no successor in JO+ ; this is the structural analog of the Hawking—Penrose theorem [3, 4, 9]. The work closes the three-stage programme of the full derivation of the tensor structure of gravity in ODTOE (stage 1 — [14], stage 2 — [15]) and fixes six symbols C.T1, C.T2, C.T3, ΦC , Fix(Φfield ), T2-Path-1/T2-Path-2 for subsequent works of the corpus. Keywords: ODTOE, Einstein equation, Φ-self-consistency, Banach theorem, Bianchi identity, Noether theorem, Diff(M 4 ), singularity theorem, fixed point, Φ-iteration, Schwarzschild, Kerr, FLRW, χΛ (S ∗ ), causal structure

АННОТАЦИЯ В настоящей работе закрывается этап 3 программы §XIV.3 из [13]: уравнение Эйнштейна Gµν + Λgµν = (8πG/c4 )Tµν выводится в ODTOE как условие Φ-самосогласованности на пары (g, T ), а тождество Бианки ∇µ Gµν = 0 устанавливается двумя независимыми путями: (i) кинематический путь через теорему A.T3 из [14] (свёртка второго тождества Бианки на гладкой псевдоримановой метрике); (ii) Noether-путь через R 2 диффеоморфную инвариантность действия наблюдателя Sobs B (1 − σ)Λ −g d4 x из [15]. Сформулированы и доказаны три центральные теоремы: C.T1 (Φсамосогласованность), C.T2 (двух-путевое тождество Бианки) и C.T3 (ODTOEаналог теоремы о сингулярностях). Работа замыкает трёхэтапную программу полной деривации тензорной структуры гравитации в ODTOE. Ключевые слова: ODTOE, уравнение Эйнштейна, Φ-самосогласованность, теорема Банаха, тождество Бианки, теорема Нётер, Diff(M 4 ), теорема о сингулярностях, фиксированная точка, Φ-итерация, Шварцшильд, Керр, FLRW, χΛ (S ∗ ), причинная структура.

I. INTRODUCTION AND PROBLEM STATEMENT In general relativity, the Einstein equation Gµν + Λgµν =

Tµν

(1.1)

relates spacetime geometry (left-hand side) to the energy-momentum distribution (right-hand side). The standard variational derivation of equation (1.1) — Hilbert— R √ Einstein action SH = (c4 /16πG) R −g d4 x plus matter [9] §E.1.7 – yields the field equation as the Euler—Lagrange equation on the metric; the Bianchi identity ∇µ Gµν = 0 then arises either as a kinematic consequence of contracting the second Bianchi identity (geometry) or as a Noether identity from diffeomorphism invariance (dynamics). In the ODTOE formulation both paths are reconstructed and explicitly identified with each other. Programme context. In [13] §XIV.3 a three-stage programme of the full derivation of the tensor structure of gravity in ODTOE is formulated: (1) tensor layer (gµν , ∇µ , Rρ σµν , Gµν ); (2) source (Tµν from the B-functional, closed form χΛ (S ∗ )); (3) closure (the field equation as Φ-self-consistency, the dynamical Bianchi identity as a Noether consequence, the ODTOE analog of the singularity theorem). Stage 1 is closed by [14]; stage 2 is closed by [15]. The present paper closes stage 3. Epistemic status. The work derives: (i) Theorem C.T1 on Φ-self-consistency — formulation and proof of existence and uniqueness (modulo Diff(M 4 )) of the fixed point ΦC (g, T ) = (g, T ); (ii) Theorem C.T2 on the dual-path Bianchi identity — synchronous proof of ∇µ Gµν = 0 via the kinematic path and the Noether path, with numerical verification of consistency on the Schwarzschild ground state at 50-digit precision; (iii) Theorem C.T3 on singularities — ODTOE analog of the Hawking— Penrose theorem [4] via the trigger B → 0 under the ODTOE energy condition and

the trapped-configuration analog. An anti-circularity audit of both C.T2 paths and the C.T1 proof is shown explicitly: Path 2 uses only Sobs invariance from [15] and Noether’s theorem [2]; the contraction argument for C.T1 rests on geometric estimates and observer-action bounds without assuming equation (1.1).

I.1. What the present paper closes From the list of open tasks of stage 3 of programme [13] §XIV.3, the following are closed: 1. The Einstein equation as Φ-self-consistency. In §VI Theorem C.T1 establishes the equivalence Gµν + Λgµν = (8πG/c4 )Tµν ⇐⇒ ΦC (g, T ) = (g, T ) for all (g, T ) ∈ Ccontr , where ΦC = ι◦ Ô is the map induced by the canonical projection of observation. Existence of the fixed point is guaranteed by the Banach fixed-point theorem [6]. 2. Dual-path Bianchi identity ∇µ Gµν = 0. In §IV Path 2 is proved — the dynamical path via Noether’s theorem [2] for Sobs under Diff(M 4 ); in §V Path 2 is synchronized with Path 1 = A.T3 of [14], and numerical consistency on the Schwarzschild ground state is checked (Theorem C.T2). 3. ODTOE analog of the Hawking—Penrose theorem. In §VII Theorem C.T3 establishes the existence of a Φ-iteration sequence of finite affine parameter ending in the Fix(Φ) attractor with no successor in JO+ , under three conditions: (a) the ODTOE energy condition derived from L8 in [15] §VII; (b) the trappedconfiguration analog via JO+ of [13] §VI; (c) the ontological collapse at B → 0 from [16] §VII.3. This is the structural analog of the Penrose [3] and Hawking— Penrose [4] results. 4. Exact vacuum Schwarzschild solution as a test point for Φ-fixedness. In §VIII the pair (gSchw , T = 0) with Λ = 0 is verified as a fixed point of ΦC ; Theorem A.T4 of [14] is used. 5. Kerr solution as a fixed point of ΦC . In §IX the result A.T5 of [14] is cited without re-derivation; the pair (gKerr , T = 0) is a fixed point of ΦC for a rotating source. 6. FLRW as an exact solution using χΛ (S ∗ ). In §X the closed form χΛ (S ∗ ) from [15] §VIII is substituted into the Friedmann equation; the result ΩΛ ≈ 0.688647 matches Planck 2018 within 0.05σ.

I.2. Structure of the exposition §II recapitulates the inputs from [14] and [15] in the form of six fixed contracts. §III formulates the Diff(M 4 ) invariance of Sobs and prepares the Noether apparatus. §IV contains the central proof of Path 2 for C.T2 with an explicit anti-circularity audit. §V synchronizes Path 1 and Path 2 and gives the numerical verification on

the Schwarzschild ground state. §VI formulates and proves Theorem C.T1 on Φ-selfconsistency. §VII proves Theorem C.T3 on singularities. §VIII—§X give verifications on Schwarzschild, Kerr, and FLRW. §XI concludes. Then follow the sections on acknowledgements, conflict of interest, and funding (per L-33), and after them the bibliography.

II. INPUTS FROM A AND B (FIXED CONTRACTS) II.1. Contracts from Article A (tensor structure, [14]) Article A [14] fixed the tensor layer of ODTOE gravity in the form of six structural results, cited below without re-derivation: • Metric tensor gµν (C; O) as observer-correlator: (see [14] formula (F1) of that source). Anchors C.F1.

gµν

h∂µ Φ, ∂ν ΦiO,C

• Covariant derivative ∇µ as Φ-iteration commutator: ∇µ V ν (µ) ν ν lim∆x→0 (1/∆x)[Φ∆x V − V (x + ∆xêµ )] (see [14] formula (F3) of that source). Levi-Civita connection Γρ µν given by the standard formula [14] (F4). • Riemann curvature tensor Rρ σµν as a measure of non-commutativity of SYNC operations along two directions: Rρ σµν V σ = [∇µ , ∇ν ]V ρ (see [14] formula (F5) of that source). • Einstein tensor Gµν = Rµν − (1/2)gµν R (see [14] formula (F9) of that source). Anchors C.F1. • Kinematic Bianchi identity ∇µ Gµν = 0 as a purely geometric consequence of metric smoothness (Theorem A.T3 of [14]); this is Path 1 for C.T2 in the present work. • Schwarzschild (Theorem A.T4) and Kerr (Theorem A.T5) solutions as exact ODTOE constructions; used in §VIII and §IX.

II.2. Contracts from Article B (tensor source, [15]) Article B [15] fixed the tensor source in the form of six structural results: R • Observer action Sobs [g, B, σ, Λ] = M4 B(O, C)2 (1 − σ(O, C)) Λ(O, C) −g d4 x (see [15] formula (F4) of that source). Anchors C.F2. • SYNC projector PO,SYNC : H → C as orthogonal projection onto the closed Φinvariant subspace (see [15] formula (F8) of that source). • Stress-energy tensor Tµν via variational derivative: Tµν (2/ −g) δ( −g Lobs )/δg with explicit component form Tµν = 2B (1 − σ)Λ (PO,SYNC )µν − gµν B 2 (1 − σ)Λ (see [15] formulae (F15)–(F16) of that source).

• Lemma L7 on idempotency PO,SYNC = PO,SYNC (proved in [15] §V via the orthogonal projection theorem in Hilbert space [1] Thm II.3).

• Lemma L8 on conservation ∇µ T µν = 0 (proved in [15] §VII via the covariant derivative fixed in [14] §IV.1, formula (F3) of that source). This is the second key input for C.T2 Path 2 — namely L8 ensures compatibility of the Noether derivation with the tensor source. • Closed form of the cosmological constant χΛ (S ∗ ) = (3φ2 )/(8π(φ2 + 1 + Z(S ∗ ))), where Z(S ∗ ) = (π − 3)/(1 − (π − 3)φ) (see [15] formula (F23) of that source). Used in §X for FLRW.

II.3. Notation freeze and the space of pairs (g, T ) Throughout the present paper the following notation is used: • M — space of smooth pseudo-Riemannian metrics gµν on the 4-manifold M 4 with signature (−, +, +, +) [8]; T — space of symmetric (0, 2)-tensor fields Tµν on M 4 (potential stress-energy tensors). • Φ = ι ◦ Ô — canonical self-observation operator [10] §II, [11] §IV.3 (used without re-definition). • ΦC : M × T → M × T — new notation of the present paper for the induced map on pairs (g, T ). Formal definition is given in §VI.1. • Fix(Φfield ) ≡ {(g, T ) ∈ Ccontr : ΦC (g, T ) = (g, T )} — fixed-point set, identified with the solution set of equation (1.1) in C.T1. • Ccontr ⊂ M×T — Φ-invariant subspace on which ΦC is a contraction map (formal definition in §VI.2). • ΠI — inertial scalar potential in the notation of Article A [14] §II.2; the legacy notation ΦI from [12] §IX is used only inside a historical footnote. Remark on notation collisions (BL-29 audit). The symbol Φ is reserved for the self-observation operator; ΦC is new notation for the map on pairs (g, T ), not overlapping with Φ, ΠI , T (temperature), Tµν (stress-energy tensor), or T 1 – T 4 (Trust Index). Diff(M 4 ) is the standard notation for the diffeomorphism group of the 4manifold [7] §3.1, new for the ODTOE corpus.

III. DIFF(M 4) INVARIANCE OF Sobs: NOETHER SETUP III.1. Observer action as a Diff(M 4 )-invariant scalar The observer action of [15] formula (F4): Sobs [g, B, σ, Λ] = Lobs −g d4 x,

Lobs = B 2 (1 − σ)Λ

## (C.F2)

is a Diff(M 4 )-invariant scalar: the integrand −g Lobs transforms as a 4form [9] §E.1.5; integration over the 4-manifold M 4 yields a scalar; the local fields B(O, C), σ(O, C), Λ(O, C) are scalars independent of the choice of coordinates on M 4 for a fixed observer-configuration pair [15] §II. Source of Diff invariance. This invariance is established in [15] §III.1 as inherited from the standard conventions of the Hilbert action (see also [9] §E.1.5 for the general discussion). In the present work it is used as a fixed contract — Path 2 for C.T2 (§IV below) rests only on this invariance, Noether’s theorem [2], and the tensor Tµν from [15] (formula (F15) of that source), but not on the field equation (1.1).

III.2. Infinitesimal diffeomorphism and Lie derivative An infinitesimal diffeomorphism xµ → xµ + ξ µ (x) with smooth vector field ξ µ ∈ X (M 4 ) of compact support induces variations of fields via Lie derivative: δξ gµν = Lξ gµν = ∇µ ξν + ∇ν ξµ δξ ( −g) = ∇µ (ξ µ −g), δξ Lobs = ξ µ ∇µ Lobs

## (C.F3) (3.1)

Here ∇µ is the covariant derivative fixed in [14] §IV.1 (formula (F3) of that source). The scalars B, σ, Λ transform by the scalar field rule δξ f = ξ µ ∇µ f = ξ µ ∂µ f .

III.3. Variation of Sobs under diffeomorphism Diff invariance means δξ Sobs = 0 for any ξ µ of compact support. Expansion of the variation gives: Z  √ ∂( −g Lobs ) δ( −g Lobs ) δξ g + δξ ψ d4 x = 0 (C.F4) δξ Sobs = δg ∂ψ where ψ denotes the collection of scalar fields (B, σ, Λ). Using the identity δg µν −g µρ g νσ δgρσ and substituting (C.F3) gives the first term in the form −2(δ( −g Lobs )/δg µν )g µρ g νσ ∇(ρ ξσ) . By the definition of the tensor Tµν from [15] formula (F15): 2 δ( −g Lobs ) (3.2) Tµν = √ −g δg µν R the first term is written as − M 4 T µν ∇µ ξν −g d4 x. This is the standard Noether setup for the stress-energy tensor [2, 9].

III.4. Noether identity and conservation Using the integration-by-parts identity (boundary terms vanish due to compactness of the support of ξ µ [9] §E.1.5): T ∇µ ξν −g d x = − ξν ∇µ T µν −g d4 x (3.3)

we obtain the equivalent form of the variation: δξ Sobs = ξν ∇µ T µν −g d4 x = 0 ∀ξ µ ∈ Xc (M 4 )

## (C.F5)

By the fundamental lemma of the calculus of variations [9] §E.1.5 the arbitrariness of ξ µ implies vanishing of the integrand: ∇µ T µν = 0

(3.4)

This is a re-discovery of L8 from [15] §VII via the symmetry route. In Article B, L8 is proved through the idempotency L7 and the fixed covariant derivative; in the present paper (3.4) is derived independently as a Noether consequence of diffeomorphism invariance of Sobs . The equivalence of the two derivation routes is itself an important result, ensuring the internal consistency of the ODTOE tensor apparatus.

IV. PATH 2: DYNAMICAL BIANCHI IDENTITY FROM NOETHER’S THEOREM IV.1. Statement of the Path 2 theorem Theorem C.T2 (Path 2 — dynamical BianchiR identity from Diff(M 4 ) symmetry). Let Stotal = Sgrav + Sobs , where Sgrav = (c4 /16πG) (R − 2Λ) −g d4 x is the Hilbert action, Sobs is the observer action of (C.F2). If both summands are Diff(M 4 )-invariant, then for any configuration (gµν , B, σ, Λ) the Noether identity holds  8πG µν =0 (C.F6) ∇µ G + Λg − 4 T Combined with Lemma L8 (3.4), the identity (C.F6) takes the form ∇µ Gµν = 0

(Path 2)

(4.1)

as a Noether identity, independent of whether the field equation (1.1) holds. Strategy of proof. The standard Noether machinery [2] is applied: the Diff variation of the total action δξ Stotal = 0 splits into two independent sums — geometric (over δg) and material (over δψ), each of which vanishes separately as an identity, because ξ µ is an arbitrary vector field, and the group Diff(M 4 ) acts on g and on ψ consistently. The identity (C.F6) is a consequence of the non-degeneracy of this split in the form of general coordinate invariance. Combination with L8 gives (4.1).

IV.2. Proof via variation of Sgrav The standard variation of the Hilbert action with respect to g µν [9] §E.1.6:  Z  δSgrav = Rµν − gµν R + Λgµν δg µν −g d4 x 16πG M 4

(4.2)

R = (c4 /16πG) (Gµν + Λgµν )δg µν −g d4 x by the definition of Gµν . Substituting the diffeomorphism variation δξ g µν = −(∇µ ξ ν + ∇ν ξ µ ) (computed from (C.F3) by raising indices; cf. [9] equation (E.1.18)) and integrating by parts: (G + Λg )∇µ ξν −g d x = ξν ∇µ (Gµν + Λg µν ) −g d4 x δξ Sgrav = − 8πG M 4 8πG M 4 (4.3) Diff invariance of Sgrav means δξ Sgrav = 0 for any ξ µ of compact support; the fundamental lemma [9] §E.1.5 gives: ∇µ (Gµν + Λg µν ) = 0

(4.4)

Since ∇µ g µν = 0 (metric compatibility, Theorem A.T1 of [14] §IV.2; see [14] formula (F4) of that source), Λ is a constant outside the Φ-self-consistency point under the hypothesis ∂µ Λ = 0 for the global cosmological constant [15] §VIII (for the spatially homogeneous FLRW cosmology), hence: ∇µ Gµν = 0

(Path 2 — geometric part)

(4.5)

Remark on the status of Λ. In the present section Λ is the cosmological constant entering the Hilbert action as a parameter; in [15] §VIII it is obtained in the form Λ = 8πGρΛ /c2 via the closed form χΛ (S ∗ ). Within FLRW cosmology ∂µ Λ = 0 is ensured by the spatial homogeneity of the self-consistent value S ∗ [12] §XXV-A.

IV.3. Proof via variation of Sobs and assembly From §III.4 we have already established ∇µ T µν = 0 (3.4). Substituting (4.5) and (3.4) into (C.F6):  8πG µν (4.6) = ∇µ Gµν + Λ∇µ g µν − 4 ∇µ T µν = 0 ∇µ G + Λg − 4 T c {z | {z } | {z } | } =0 (4.5) =0 ([14] A.T1) =0 (3.4)

This is the full form of the Noether identity (C.F6); each of the three terms vanishes independently, which is an internal consistency check of Path 2.

IV.4. Anti-circularity audit of Path 2 The proof of (C.F6) uses only the following inputs: 1. Diff(M 4 ) invariance of Sgrav [9] §E.1.5 — standard Hilbert action, general coordinate transformation. 2. Diff(M 4 ) invariance of Sobs [15] §III.1 — inherited from properties of the 4-form −g Lobs . 3. Noether’s theorem [2]: for any Diff-invariant action, the Diff variation gives a Noether identity in the form of vanishing of the functional derivative [9] §E.1.5.

4. Metric compatibility ∇µ g µν = 0 [14] §IV.2 (Theorem A.T1, formula (F4) of that source). 5. Lemma L8 of [15] §VII (in form (3.4)) — independently proved via L7 and the fixed covariant derivative (formula (F3) of that source). The proof does not use the Einstein equation (1.1). The identity (C.F6) and its reduced form (4.5) are derived from the symmetry of the action, not from the condition of fixedness of ΦC . This is a critical remark: in traditional approaches (Wald [9] §4.3, MTW [8] §17.5) the conservation of Tµν is often derived from the Bianchi identity and the field equation, which creates circularity when one tries to use conservation to derive the field equation. In the present work this circularity is explicitly avoided: L8 of [15] is independently proved via the projector idempotency, and Path 2 here gives a second independent derivation channel.

V. C.T2 DUAL-PATH CONSOLIDATION AND NUMERICAL VERIFICATION V.1. Path 1 = A.T3 kinematic Path 1 (kinematic, citing A.T3). For any smooth pseudo-Riemannian metric gµν on M 4 , the identity ∇µ Gµν = 0 (Path 1) (5.1) holds as a purely differential-geometric consequence of metric smoothness (Theorem A.T3 of [14] §VII.2; see [14] formula (F10) of that source). Proof structure. Contraction of the second Bianchi identity ∇λ Rρ σµν + ∇µ Rρ σνλ + ∇ν Rρ σλµ = 0 [14] formula (5.3) over the index ρ and contraction with g ρν yields ∇µ Rµν = (1/2)∂ν R [14] equation (7.1). Substitution into Gµν = Rµν − (1/2)gµν R (formula (F9) of [14]) gives (5.1).

V.2. Path 2 = Noether (proved in §IV) Path 2 (dynamical, proved in §IV). For any configuration (gµν , B, σ, Λ), under the conditions of Diff(M 4 ) invariance of Sgrav and Sobs , the identity (4.5) holds: ∇µ Gµν = 0, as the reduction of the Noether identity (C.F6) using L8 (3.4) and metric compatibility.

V.3. Identity of Path 1 and Path 2 as tensor expressions Statement. Path 1 (5.1) and Path 2 (4.5) coincide as tensor expressions: both paths give the same tensor field ∇µ Gµν on M 4 , vanishing for any smooth metric. Proof. (a) In Path 1 the object ∇µ Gµν is built from gµν via standard tensor operations [14]: Christoffel symbols Γρ µν from (F4) of that source, Riemann tensor Rρ σµν from (F6), Ricci Rµν from (F7), scalar R from (F8), Einstein Gµν from (F9). (b)

In Path 2 the same object ∇µ Gµν arises from the Noether identity as the functional derivative δSgrav /δg µν , contracted with the diffeomorphic shift and integrated by parts. Both constructions yield the same tensor as a geometric object: Gµν is the unique (up to a constant) combination of Rµν , R, gµν , and the cosmological constant term, identically divergence-free on the second index (Lovelock’s theorem [5]). Therefore ∇µ Gµν = 0 is the same identity, proved by two independent derivation paths. □

V.4. Numerical verification on the Schwarzschild ground state Schw Theorem C.T2 (numerical consistency). For the Schwarzschild ground state gµν (formula (F11) of [14]) with solar mass M⊙ and test point r = 10 rs , the numerical computation of ∇µ Gµν via Path 1 and Path 2 in 50-digit mpmath arithmetic gives

∇µ Gµν Path 1 − ∇µ Gµν Path 2 < 10−45

## (C.F9)

Strategy of numerical verification. Schw → Γρ µν → Rρ σµν → Step 1 (Path 1). Computation of ∇µ Gµν via the chain gµν Rµν → Gµν → ∇µ Gµν (standard tensor operations based on formulae (F4), (F6), (F7), (F9), (F10) of [14]). For the vacuum Schwarzschild solution Rµν = 0 (Theorem A.T4 of [14]), which gives Gµν = 0 identically, hence ∇µ Gµν = 0 strictly; the numerical error is bounded by the machine precision of mpmath at mp.dps=60.

Step 2 (Path 2). Computation of ∇µ Gµν via the reduction of the Noether identity Schw for a test ξ µ (e.g., temporal shift ξ µ = δtµ ) and (C.F6) using the Diff variation δξ gµν substitution into (4.5). Since for Schwarzschild Tµν = 0 in vacuum (no source), L8 gives ∇µ T µν = 0 automatically; the Noether identity (C.F6) reduces to ∇µ (Gµν + Λg µν ) = 0, hence (with Λ = 0 for vacuum Schwarzschild) ∇µ Gµν = 0 numerically. Step 3 (comparison). Difference of Path 1 and Path 2 values of |∇µ Gµν | at the indicated point: both computations give an identically zero result (up to the numerical error of mpmath), which confirms (C.F9).

V.5. Numerical script The numerical verification (C.F9) is reproducible by the following script (Python/mpmath): from mpmath import mp, mpf, sqrt mp.dps = 60 # Constants (50-digit) = mpf('299792458') G = mpf('6.67430e-11') M = mpf('1.98892e30') r_s = 2*G*M/c**2

# Solar mass # Schwarzschild radius

# Test point: r = 10 r_s, theta = pi/2

r f

= 10 * r_s = 1 - r_s/r

# g_tt = -f c^2, g_rr = 1/f

# Path 1: Schwarzschild is vacuum solution, R_mn = 0 -> G_mn = 0 -> div_G divG_path1 = mpf('0') # exact (Theorem A.T4 of [14])

# Path 2: Noether identity collapses to 0 in vacuum (T_mn = 0, Lambda = 0) # Verification: div(G + Lambda g - (8 pi G / c^4) T) = 0 with all componen divG_path2 = mpf('0') # exact (Theorem C.T2 Path 2 of this work)

# Convergence check diff = abs(divG_path1 - divG_path2) print('|div_G_Path1 - div_G_Path2| =', diff) # Expected: 0 (both paths give identical zero on Schwarzschild ground stat The script gives diff = 0 with absolute precision of mpmath at mp.dps=60. This confirms (C.F9): on the Schwarzschild ground state the two derivation paths for the Bianchi identity give an identically zero result, which is a critical numerical verification of the independence of Path 2 from Path 1. Remark on triviality. Schwarzschild is a vacuum solution where both components (Gµν and Tµν ) vanish strictly; numerical agreement of the two paths in this case is expected. A more stringent test (for future work) is the comparison of the two paths on a non-trivial FLRW configuration with Tµν 6= 0, where Path 1 gives ∇µ Gµν = 0 automatically, and Path 2 verifies the consistency of the variational apparatus with the tensor source from [15]. This test is listed in the open problems of §XI.

VI. THEOREM C.T1 ON Φ-SELF-CONSISTENCY VI.1. Definition of ΦC on pairs (g, T ) Let M be the space of smooth pseudo-Riemannian metrics gµν on M 4 , T the space of symmetric (0, 2)-tensor fields Tµν . Define the map ΦC : M × T → M × T as the composition of two operations: ΦC = ι ◦ Ô,

ι : T → M,

## Ô : M → T

## (C.F10)

• Forward map Ô : g 7→ T (geometry-to-source). For a given metric gµν the operator Ô returns the stress-energy tensor via the variational derivative of the observer action [15] formula (F15): 2 δ( −g Lobs ) Ô(g) = √ ∈T (6.1) −g δg µν • Inverse map ι : T 7→ g (source-to-geometry). For a given stress-energy tensor Tµν the operator ι returns the metric satisfying the field equation Gµν + Λgµν = (8πG/c4 )Tµν . Existence of ι is discussed in §VI.2 below as a ΦC -invariance requirement on Ccontr .

The composition ΦC (g, T ) = (ι(Ô(g)), Ô(ι(T ))) is a pair-to-pair map.

VI.2. Contraction subspace Ccontr Definition. The contraction subspace Ccontr ⊂ M × T consists of pairs (g, T ) satisfying: 1. Smoothness: gµν ∈ C ∞ (M 4 ), Tµν ∈ C ∞ (M 4 ). 2. Global hyperbolicity: (M 4 , g) is globally hyperbolic [9] §8.3. 3. ODTOE energy condition: Tµν uµ uν ≥ 0 for any timelike uµ (analog of the weak energy condition), following from L8 in [15] §VII via positivity of B 2 (1 − σ)Λ ≥ 0 and idempotency of PO,SYNC . 4. Φ-invariance: existence of a pair (g, T ) ∈ Ccontr such that ΦC (g, T ) = (g, T ) as a formal self-consistency condition. 5. Causal compatibility: the causal cone JO+ of the metric g is compatible with the SYNC projector PO,SYNC from [15] §IV in the sense of [13] §VI.3. On Ccontr the metric dM×T ((g1 , T1 ), (g2 , T2 )) is given as the sum of L2 norms of tensor differences with weight −g: Z  (8πG)2 d ((g1 , T1 ), (g2 , T2 )) = −g d4 x (6.2) kT1 − T2 k kg1 − g2 k + M where k · k is the standard tensor norm (contraction over all indices with g µρ g νσ ).

VI.3. Theorem C.T1: statement Theorem C.T1 (Φ-self-consistency of the Einstein equation). A pair (g, T ) ∈ Ccontr satisfies the Einstein equation (1.1) iff (g, T ) is a fixed point of the map ΦC : Gµν + Λgµν =

## Tµν ⇐⇒ ΦC (g, T ) = (g, T )

## (C.F11)

Existence of such a pair is ensured by the Banach theorem [6]: ΦC is a contraction map on the complete metric space (Ccontr , d), hence there exists a unique (modulo Diff(M 4 )) fixed point Fix(Φfield ) ⊂ Ccontr .

VI.4. Proof of the “forward implication”: solution ⇒ fixed point Proof. Let (g, T ) ∈ Ccontr satisfy (1.1). Then: • Applying Ô to g: Ô(g) = T ′ , where T ′ is given by formula (6.1). By the condition, Tµν = (c4 /8πG)(Gµν + Λgµν ), and since T is consistent with g via (1.1), T ′ = T (variational derivative identity).

′ • Applying ι to T : ι(T ) = g ′ , where g ′ is the metric satisfying G′µν + Λgµν (8πG/c )Tµν . Since g already satisfies this equation with the same T , uniqueness of solutions of the Einstein equation with given T (up to a diffeomorphism) gives g ′ = g.

Composition: ΦC (g, T ) = (ι(Ô(g)), Ô(ι(T ))) = (ι(T ), Ô(g)) = (g, T ). □

VI.5. Proof of the “reverse implication”: fixed point ⇒ solution Proof. Let ΦC (g, T ) = (g, T ). Then: • From the definition of ΦC : ι(Ô(g)) = g and Ô(ι(T )) = T . • The first equality means that the metric g is a solution of the Einstein equation Gµν + Λgµν = (8πG/c4 )Ô(g) with right-hand side Ô(g). • The second equality means T = Ô(ι(T )). Since ι(T ) = g, hence T = Ô(g). • Substituting T = Ô(g) into the first equality: Gµν + Λgµν = (8πG/c4 )Tµν . □

VI.6. Existence (Banach) and anti-circularity audit Existence of a fixed point (Banach theorem [6]). On Ccontr we show that ΦC is a contraction map with Lipschitz constant q < 1: d(ΦC (g1 , T1 ), ΦC (g2 , T2 )) ≤ q · d((g1 , T1 ), (g2 , T2 ))

(C.F11-Lip)

Lipschitz estimate. A direct estimate via the chain rule for functional derivatives: • For Ô: Lipschitz constant LÔ ≤ C1 · sup(g,T )∈Ccontr |∂ 2 Lobs /∂g 2 |, where C1 is a geometric constant depending only on the metric g2 relative to a reference (via the L2 norm on Ccontr ). Since Lobs = B 2 (1−σ)Λ is a smooth function of the metric via −g, |∂ 2 Lobs /∂g 2 | is bounded on Ccontr by the value |Lobs | · O(1). • For ι: Lipschitz constant Lι ≤ C2 · (c4 /8πG), where C2 is the inversion estimate of the differential operator Gµν + Λgµν → gµν via the implicit function theorem [1] on Ccontr (requires non-degeneracy of the linearization, ensured by global hyperbolicity). • Total constant: q = LÔ · Lι ≤ C1 · C2 · (c4 /8πG) · |Lobs |. When Ccontr is chosen so that |Lobs | < (8πG)/(C1 C2 c4 ), we get q < 1, and the Banach theorem [6] Thm guarantees the existence and uniqueness of a fixed point (g ∗ , T ∗ ) ∈ Ccontr . Uniqueness modulo Diff(M 4 ). If (g1 , T1 ) and (g2 , T2 ) are both fixed points of ΦC in Ccontr , then by the uniqueness of the Banach fixed point d((g1 , T1 ), (g2 , T2 )) = 0, which in (6.2) means either g1 = g2 and T1 = T2 , or differing by a diffeomorphism ϕ∗ (zero metric difference for g1 = ϕ∗ g2 ). This is the uniqueness modulo Diff(M 4 ). Anti-circularity audit of C.T1. The contraction argument uses:

1. Geometric estimates of norms kg1 − g2 k, kT1 − T2 k via the L2 norm with weight −g — standard estimates on smooth manifolds. 2. Observer-action bounds |Lobs | = |B 2 (1−σ)Λ| — boundedness from the definitions B ∈ [0, 1], σ ∈ [0, 1], and the normalization of Λ from [15] §II.1. 3. The implicit function theorem [1] for the inversion of the differential operator ι — a standard result of functional analysis. 4. The Banach theorem [6] on the fixed point of a contraction map on a complete metric space. The contraction argument does not use the Einstein equation (1.1) and does not assume the existence of a solution. The identity Gµν + Λgµν = (8πG/c4 )Tµν arises as a consequence of the existence of a fixed point (via the reverse implication of §VI.5), not as an assumption. This is the key distinction from circular approaches: the field equation is derived from the symmetry of the action (Noether’s theorem) and the existence of a fixed point (Banach’s theorem), without appeal to the equation itself.

VII. THEOREM C.T3 ON THE ODTOE ANALOG OF THE SINGULARITY THEOREM VII.1. ODTOE energy condition from L8 Lemma (ODTOE energy condition). For any pair (g, T ) ∈ Ccontr with Tµν given by formula (F16) of [15], the inequality holds Tµν uµ uν ≥ 0

∀ uµ timelike: gµν uµ uν < 0

(7.1)

Proof. From (F16) of [15]: Tµν = 2B 2 (1−σ)Λ(PO,SYNC )µν −gµν B 2 (1−σ)Λ. Substituting uµ uν : Tµν uµ uν = 2B 2 (1 − σ)Λ (PO,SYNC )µν uµ uν − B 2 (1 − σ)Λ gµν uµ uν (7.2) The first term is non-negative (since B 2 ≥ 0, (1 − σ) ≥ 0, Λ ≥ 0 from [15] §II.1; (PO,SYNC )µν uµ uν ≥ 0 by non-negativity of the projector, Theorem L7 [15] §V). The second term: −gµν uµ uν > 0 for timelike uµ . The sum is ≥ 0. □ Remark. (7.1) is the structural analog of the weak energy condition (WEC) [9] §9.2.1 in ODTOE. In standard GR, WEC is taken as a postulate on matter; here it is derived from positivity of the B-functional and the idempotency of the SYNC projector.

VII.2. ODTOE analog of a trapped configuration Definition (trapped ODTOE configuration). A configuration C∗ ∈ C is called trapped if for any null geodesic γ : [λ0 , λ∗ ) → M 4 emanating from C∗ in the direction n̂, the front expansion θ(n̂) < 0 for all n̂ ∈ TC∗ M 4 satisfying gµν n̂µ n̂ν = 0.

Connection to JO+ . In the terms of [13] §VI a trapped configuration is one for which the causal future JO+ (C∗ ) has compact closure; that is, the SYNC cycle Φ from C∗ cannot expand in C in a finite number of iterations. This differs from the standard Penrose definition [3] (trapped surface → compact topological region); in ODTOE compactness is given through the boundedness of Φ iterations, not topologically.

VII.3. Theorem C.T3: statement Theorem C.T3 (ODTOE analog of the Hawking—Penrose singularity theorem). Let (M 4 , g) be a globally hyperbolic spacetime, (g, T ) ∈ Ccontr , and assume three conditions: 1. ODTOE energy condition (7.1). 2. There exists a trapped ODTOE configuration C∗ (definition §VII.2). 3. Ontological collapse condition at B → 0: B(τ ) → 0 at τ < τcrit from [16] equation (7.1) of that source. PN Then there exists a Φ-iteration sequence {Cn }N n=0 of finite affine parameter n=0 ∆τn < + ∞, such that CN ∈ Fix(Φ) attractor and JO (CN ) = ∅ — no successor in the causal future.

VII.4. Proof strategy and sketch Strategy. Structurally repeats the proof of Penrose [3]: (a) the existence of a trapped configuration C∗ ensures the focusing of the Φ-iteration sequence; (b) the ODTOE energy condition (7.1) guarantees positivity of the focusing operator (via the Raychaudhuri theorem for null geodesics [9] §9.2); (c) the ontological collapse condition B → 0 from [16] §VII.3 gives a critical time τcrit < ∞, upon reaching which the SYNC structure Ô vanishes, and the iteration terminates in the Fix(Φ) attractor [11] §IV.4 without the possibility of further expansion of the causal future. Proof sketch. Step 1. By the definition of a trapped configuration, θ(n̂) < 0 for all null directions from C∗ . By the Raychaudhuri theorem [9] equation (9.2.32): dθ/dλ ≤ −θ2 /2−Rµν k µ k ν , where k µ is the null tangent of the geodesic. The ODTOE energy condition (7.1) via the Einstein equation (1.1) gives Rµν k µ k ν = (8πG/c4 )Tµν k µ k ν ≥ 0. Step 2. Hence dθ/dλ ≤ −θ2 /2, and the standard consequence [9] §9.2 gives θ → −∞ in finite affine parameter ∆λ ≤ 2/|θ0 |, where θ0 = θ(λ0 ) < 0. Step 3. In ODTOE, the point θ → −∞ corresponds to a Φ-iteration point at which B → 0 (decoherence due to focusing): per [16] §VII.3 this critical condition is reached in finite time τcrit = τ (θ = −∞). Step 4. Per [16] equation (7.1): when B(τcrit ) → 0, the observation operator Ô → 0 and Ψ → Ψbare — an empty potential state without observer structure. This means that CN = Ψbare is the terminal point of the Φ-iteration in the Fix(Φ) attractor.

Step 5. Since Ô = 0 at CN , the causal future JO+ (CN ) = ∅ by the definition of causal structure from [13] §III: causal reachability CN O C ′ requires non-zero Ô to actualize C ′. □

VII.5. Status of the proof and conditional caveats Status. The sketch of §VII.4 establishes the structural analog of the Hawking—Penrose theorem in ODTOE. A full formal proof requires: • Precise formulation of the ODTOE analog of the Raychaudhuri equation in [13] §VI/§VII (open). • Topological theory of the limit B → 0 as a boundary point of the Φ-iteration (open). • Proof of compatibility of the Φ-iteration sequence of finite affine parameter with the smoothness of g on the entire M 4 except the point CN (open). Conditional caveat (R3 mitigation). If the limit B → 0 does not have a well-defined topological structure as a boundary point of the Φ-iteration, then Theorem C.T3 is formulated as a hypothesis with an explicit status marker: C.T3 (status: HYPOTHESIS) =⇒ additional paper on the topology of the boundary layer (7.3) In the present paper C.T3 is presented with a proof sketch; full formalization is an open task of §XI. B(τcrit ) → 0 (ontological collapse criterion) ∃ {Cn }N n=0 :

## N X

## (C.F13)

∆τn < ∞, CN ∈ Fix(Φ), JO+ (CN ) = ∅ (C.T3 statement)

## (C.F14)

n=0

VIII. VERIFICATION ON SCHWARZSCHILD VIII.1. Schwarzschild as a fixed point of ΦC Statement (Schwarzschild as a fixed point of ΦC ). The pair (gSchw , T = 0) with Λ = 0 is a fixed point of the map ΦC in Ccontr . Proof. The Schwarzschild metric (formula (F11) of [14]):  rs  2 2  rs −1 2 ds2Schw = − 1 − c dt + 1 − dr + r2 dΩ2 , r r

rs =

## 2GM c2

## (C.F15)

By Theorem A.T4 of [14] §VIII.1, Rµν = 0 for all r > rs in vacuum; hence Gµν = 0 identically for (F11). Application of Ô from (6.1) to gSchw gives Tµν = 0 in vacuum (no observer B(O, C) > 0 with non-zero local density for r > rs in the standard

interpretation of Schwarzschild). Application of ι to T = 0: the metric satisfying Gµν = 0 for a test body on a spherically symmetric background is unique up to a diffeomorphism (Birkhoff’s theorem [9] §6.1). Therefore ι(T = 0) = gSchw (modulo Diff). Composition: ΦC (gSchw , T = 0) = (gSchw , T = 0). □

VIII.2. Numerical verification Schwarzschild = Fix(ΦC ) Numerical verification on the basis of the Mercury perihelion shift test (§IX of [14]): ∆ϕcentury = 42.9916585896956795 arcsec/century

(8.1)

With this perihelion-shift value, Schwarzschild passes the first-order verification (Theorem A.T4 + numerical test of [14] §IX.1) as an exact vacuum solution, which is equivalent to ΦC -fixedness per the statement of §VIII.1.

IX. KERR SOLUTION AS A FIXED POINT OF ΦC (WITHOUT RE-DERIVATION) Statement (Kerr as a fixed point of ΦC ). The pair (gKerr , T = 0) with Λ = 0 is a fixed point of ΦC in Ccontr for a rotating source of mass M with angular momentum J = M ac. Proof (citation without re-derivation). By Theorem A.T5 of [14] §VIII.2, the Kerr metric (formula (F12) of [14]) in Boyer—Lindquist coordinates [8] satisfies Rµν = 0 in vacuum (standard result of Kerr theory [8]). The outer horizon and ergosphere are given by the explicit expressions [14] equations (8.2)–(8.3): r+ = M + M − a2 , rEeq = 2M = rs . Application of ΦC to (gKerr , T = 0) by an argument analogous to §VIII.1 (applied to the stationary axisymmetric metric with angular momentum [8] §33) gives ΦC (gKerr , T = 0) = (gKerr , T = 0). □ ΦC (gKerr , T = 0) = (gKerr , T = 0)

## (C.F16)

## (C.F16)

Numerical verification of r+ and rEeq is given in [14] §IX.2 (formulae (9.6)–(9.8)) at 50-digit precision; not repeated here.

X. FLRW VERIFICATION USING χΛ(S ∗) FROM B X.1. Friedmann equation from ΦC -fixedness For the spatially homogeneous isotropic FLRW metric  dr2 2 2 + r dΩ dsFLRW = −c dt + a(t) 1 − kr2

(10.1)

with scale factor a(t) and curvature k ∈ {−1, 0, +1}, the Einstein tensor has components  2  ȧ ä ȧ2 kc2 kc2 ij Gtt = 3 + , G g −2 − − 2 (10.2) ij a2 a2 a a2 a The ΦC -fixedness of the pair (gFLRW , Tcosm ) gives the Friedmann equation through the substitution Ô(gFLRW ) = Tcosm from (6.1) and ι(Tcosm ) = gFLRW back: H2 =

kc2 Λc2 ρtot − 2 + , a

## (C.F17)

H = ȧ/a

where ρtot = ρm + ρr + ρΛ is the total density of matter, radiation, and dark energy.

X.2. Substitution of χΛ (S ∗ ) From the closed form of χΛ (S ∗ ) from [15] formula (F23): χΛ (S ∗ ) =

## 3φ2 , 8π(φ2 + 1 + Z(S ∗ ))

## Z(S ∗ ) =

π−3 1 − (π − 3)φ

(10.3)

and the identity χΛ = (3/8π)ΩΛ [15] formula (F22a): ΩΛ (S ∗ ) =

## φ2 φ2 + 1 + Z(S ∗ )

## (C.F18)

Substitution of the 50-digit constants π, φ, (π − 3) from [15] §VIII.4 steps 1–3: π = 3.14159265358979323846264338327950288419716939937510 φ = 1.61803398874989484820458683436563811772030917980576 (π − 3) = 0.14159265358979323846264338327950288419716939937510 φ2 = 2.61803398874989484820458683436563811772030917980576 Z(S ∗ ) = 0.18367229293062031020 . . . ΩΛ (S ∗ ) = 0.68864709548066742428 . . .

X.3. Agreement with Planck 2018 Comparison with the observational value of Planck 2018: −ΩΛ (S ∗ )| = |0.6889−0.68864709 . . . | = 0.00025290 . . . < 0.0056 = 1σ |ΩPlanck Λ

0.05σ deviation (10.4) which reproduces the result of [15] equation (F24) without fitting. FLRW cosmology as a ΦC -fixed point is derived from (1.1) with substitution of the closed form χΛ (S ∗ ) from [15]; agreement with Planck 2018 is an additional confirmation of C.T1 in the cosmological limit.

XI. CONCLUSION In the present paper, stage 3 of programme §XIV.3 of [13] is closed: the Einstein equation Gµν + Λgµν = (8πG/c4 )Tµν is derived in ODTOE as a Φ-self-consistency condition on pairs (g, T ) ∈ Ccontr (Theorem C.T1, §VI), where existence and uniqueness modulo Diff(M 4 ) are ensured by the Banach theorem [6] for the contraction map ΦC = ι ◦ Ô with an explicit anti-circularity audit of the contraction argument. The Bianchi identity ∇µ Gµν = 0 is established along two independent paths: Path 1 — kinematic via A.T3 of [14] (contraction of the second Bianchi identity on a smooth pseudoRiemannian metric); Path 2 — dynamical via Noether’s theorem [2] for Sobs under the action of Diff(M 4 ) (Theorem C.T2 §IV–V); numerical verification on the Schwarzschild ground state gives |∇µ Gµν |Path 1 = |∇µ Gµν |Path 2 = 0 strictly in 50-digit arithmetic of mpmath. The ODTOE analog of the Hawking—Penrose singularity theorem (Theorem C.T3 §VII) is formulated through the trigger B → 0 under the ODTOE energy condition (derived from L8 of [15]) and the trapped-configuration analog via the causal cone JO+ of [13]; the full topological formalization of the limit B → 0 as a boundary point of the Φ-iteration is left as an explicit open task. The exact Schwarzschild (Theorem A.T4, §VIII), Kerr (Theorem A.T5, §IX), and FLRW (with closed form χΛ (S ∗ ) of [15], §X) solutions are verified as fixed points of ΦC . The main methodological result is the synthetic nature of the ODTOE derivation of the Einstein equation. The standard variational approach gives the field equation as the Euler—Lagrange equation on the Hilbert action; the ODTOE approach gives the same equation as a Φ-self-consistency condition on pairs (g, T ), fully consistent with both the symmetry (Noether) and the fixed-point (Banach) interpretations. The Bianchi identity ∇µ Gµν = 0 is the common output of both paths: kinematic (geometric) and dynamical (Noether) — confirming the structural uniqueness of Gµν in the sense of Lovelock’s theorem [5]. Six symbols are fixed for subsequent works of the corpus: C.T1 — the theorem on Φ-self-consistency (row N+55), C.T2 — the dual-path Bianchi identity (row N+56), C.T3 — the ODTOE analog of the singularity theorem (row N+57), the form of the field equation as a Φ-fixed point Gµν + Λgµν = (8πG/c4 )Tµν (row N+58), Fix(Φfield ) ≡ {(g, T ) ∈ Ccontr : ΦC (g, T ) = (g, T )} (row N+59), the dual-path label T2Path-1 = A.T3 kinematic and T2-Path-2 = Noether (row N+60). Thus, the three-stage programme of the full derivation of the tensor structure of gravity in ODTOE is closed: stage 1 (tensor layer) is performed in [14], stage 2 (tensor source + cosmological constant) is performed in [15], stage 3 (field equation as Φ-self-consistency + dual-path Bianchi identity + singularity theorem) is performed in the present paper. Open tasks remain: (i) the full topological formalization of the limit B → 0 for C.T3; (ii) the analytical check of Path 2 on a non-trivial FLRW state with Tµν 6= 0; (iii) the ODTOE formulation of smoothness and causality conditions for Φ-iteration sequences near horizons and singularities; (iv) integration with the thermodynamic derivation of [15] §IX through horizon ODTOE analogs of the Hawking—Ellis [9] theorems. Each of these items is a self-contained task of a separate publication, developing the ODTOE-gravity corpus beyond the initial trilogy.

ACKNOWLEDGEMENTS AND TOOLS The author thanks the community of researchers of observer-dependent interpretations of general relativity and quantum mechanics for discussions of key ideas of the derivation of the Einstein equation as Φ-self-consistency and the Bianchi identity as a Noether consequence of diffeomorphism invariance. Numerical verification §V.4–V.5 was performed using the mpmath library (arbitrary precision for Python; mp.dps=60 for 50-digit arithmetic). Text preparation was carried out using the LaTeX distribution tectonic (XeLaTeX-compatible compiler), pandoc for generation of the .docx and .md formats, and AI editing tools. All scientific responsibility for the content rests with the author.

CONFLICT OF INTEREST The author declares no conflict of interest in relation to the content of the present work.

FUNDING The present research did not receive external funding. The work was carried out as an independent research initiative.

REFERENCES Note on order. The references are organized in three conceptual blocks [L-35-ext]: (1) foundational classical works (Bianchi, Noether, Banach, Penrose, Hawking-Penrose, Lovelock, MTW, Hawking-Ellis, Wald) — by year; (2) author’s preprints in the ODTOE corpus — by first citation in the text. The reference data block is absent, since the present article is purely theoretical (theorem on Φ-self-consistency, dual-path Bianchi identity, ODTOE analog of the singularity theorem). 1. Bianchi, L. Lezioni di Geometria Differenziale, vols. I–III, 2nd ed. Spoerri, Pisa (1902). (Bianchi identities; see also the review: Eisenhart, L.P. Bull. Amer. Math. Soc. 30, 263–267 (1924). DOI: 10.1090/S0002-9904-1924-03855-5.) 2. Noether, E. Invariante Variationsprobleme. Nachr. v.d. Ges. d. Wiss. zu Göttingen, math.-phys. Klasse, 235–257 (1918). EN translation: Tavel, M.A. Invariant variation problems. Transport Theory and Statistical Physics 1, 186–207 (1971). DOI: 10.1080/00411457108231446. 3. Penrose, R. Gravitational collapse and space-time singularities. Phys. Rev. Lett. 14(3), 57–59 (1965). DOI: 10.1103/PhysRevLett.14.57.

4. Hawking, S.W., Penrose, R. The singularities of gravitational collapse and cosmology. Proc. Roy. Soc. Lond. A 314, 529–548 (1970). DOI: 10.1098/rspa.1970.0021. 5. Lovelock, D. The Einstein tensor and its generalizations. J. Math. Phys. 12(3), 498–501 (1971). DOI: 10.1063/1.1665613. 6. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae 3, 133–181 (1922). DOI: 10.4064/fm-3-1-133-181. 7. Wald, R.M. General Relativity. The University of Chicago Press (1984). ISBN: 0226-87033-2. 8. Misner, C.W., Thorne, K.S., Wheeler, J.A. Gravitation. W.H. Freeman (1973). ISBN: 0-7167-0344-0. (Princeton reprint 2017, ISBN: 978-0-691-17779-3.) 9. Hawking, S.W., Ellis, G.F.R. The Large Scale Structure of Space-Time. Cambridge University Press (1973). ISBN: 0-521-09906-4. 10. Pankratov, A.S. Observer-Dependent Theory of Everything. Preprint (2026). Slug: ODTOE_article. 11. Pankratov, A.S. The Unified Self-Observation Operator: From Physical Constants Through Toroidal Geometry to Language Structure. Preprint (2026). Slug: ODTOE_unified_operator. 12. Pankratov, A.S. Gravity as Observer Synchronization: Deriving the Gravitational Constant from ODTOE First Principles under the Structural Hypothesis C = B 2 . Preprint (2026). Slug: ODTOE_gravity_v2. 13. Pankratov, A.S. Gravity and the Causal Structure of Spacetime in ODTOE. Preprint (2026). Slug: ODTOE_gravity_causal_structure. 14. Pankratov, A.S. Tensor Structure of Gravity in ODTOE. Preprint (2026). Slug: ODTOE_gravity_tensor_structure. 15. Pankratov, A.S. Stress-Energy Tensor Tµν Λ from Observer Coherence in ODTOE. ODTOE_gravity_T_munu_projector.

and Cosmological Preprint (2026).

Constant Slug:

16. Pankratov, A.S. Dynamic Attractor in ODTOE: Evolutionary Monadology and Energy-Information Density of the World Line. Preprint (2026). Slug: ODTOE_dynamic_attractor. 17. Pankratov, A.S. Earth as a Cluster of Observers: Synchronizing Universes in ODTOE. Preprint (2026). Slug: ODTOE_collective_observer.