# Kitada's Local-Time Framework and QLF General Relativity

**Scoping doc — articulates how Hitoshi Kitada's local-time framework enhances QLF's GR support, identifies three specific structural gaps it would close, and names concrete next-tier research targets.**

QLF already has substantial general-relativistic structure: emergent spacetime from `T_μν^(synth)` (`SpacetimeDynamics.lean`, `UniversalRelativity.md`), gauge-folding-mediated gravity (`Gravity.md`), Lorentz covariance from cross-frequency rapidity (`Cross_Frequency_Lorentz.md`), cosmic age from ZFA event-synthesis frequency distribution (`AgeOfUniverse.md`), and gauge-folded primordial black holes (`BLACK-HOLES.md`). Three structural gaps remain:

1. The Markov-blanket-depth-as-local-clock identity is *implicit but unnamed* across `Frequency_Synchronization.md` and `Cross_Frequency_Lorentz.md`.
2. Cosmic time is derived from frequency distribution but not framed as *the proper time of the cosmic Markov blanket*.
3. Einstein equations' specific coefficients (`8π`, `G`) are not derived from QLF substrate properties; `Gravity.md`'s framing is qualitative.

This doc proposes that Hitoshi Kitada's local-time framework ([Kitada 1996, gr-qc/9612043](https://arxiv.org/abs/gr-qc/9612043)) is the natural structural lens for closing all three. It does not derive 8π or G itself — that is the next-tier research target — but it sharpens the question, identifies the specific calculation, and gives the framework's commitments a Mach-style relational backbone.

---

## §1 Background and motivation

The user already added Kitada (gr-qc/9612043) as a reference in [`Proton_Resonance_R_e.md`](Proton_Resonance_R_e.md) §2.2 for the chirality-hiding-resonance reading of `R_e`. The Kitada framework there grounded the identification "Markov-blanket depth = local clock count" for the electron specifically. The natural question is whether the same lens enhances QLF's general-relativistic and cosmological commitments more broadly.

A survey of QLF's GR-relevant material identifies the three gaps named above. This doc articulates each, maps Kitada's framework onto it, and names a concrete next-step research target.

---

## §2 Recap: Kitada's local-time framework

Hitoshi Kitada's *Theory of Local Times* ([gr-qc/9612043](https://arxiv.org/abs/gr-qc/9612043), 1996, with companion papers in quantum-mechanics and cosmology) establishes:

- **Each quantum subsystem carries its own local time**, generated by its own Hamiltonian evolution.
- **There is no external "universal time"** — universal time is a relational construct in the sense of Mach.
- **Cosmic time emerges from comparison of local clocks** at different scales; the cosmic horizon's local clock is the comparison reference.
- The framework provides a quantitative bridge: a subsystem's proper-time progression is `τ_local = ∫ dt_interior / t_exterior`, the integrated ratio of its interior-clock rate to the exterior-clock rate.

Kitada's framework descends from Mach's relationalism (no absolute space or time), recasts it in operator-theoretic terms for non-relativistic quantum mechanics, and connects to cosmological models where the universe is the limit of comparison of all local clocks.

For QLF the framework is structurally compatible: QLF's Markov-blanket depth `R` already plays the role of "number of ZFA events accumulated in a local clock," and Kitada's framework supplies the foundational identity.

---

## §3 Gap 1 — Markov-blanket depth as local clock (the identity, named)

**Current state.** [`Frequency_Synchronization.md`](Frequency_Synchronization.md) establishes `Δt = R/f` (constructing delay = depth divided by frequency); [`Cross_Frequency_Lorentz.md`](Cross_Frequency_Lorentz.md) establishes rapidity = `log(internal-frequency ratio)`. Both are structurally consistent with treating `R` as a local-clock count. Neither names the identity explicitly.

**Kitada enhancement.** The foundational identity, named:

> **Foundational identity.** A QLF Markov blanket of depth `R` is a local clock whose period in universal-substrate (Planck-event) ticks is exactly `R`. Each ZFA closure event advances the local clock by one tick (one `log 2` bit; one binary distinction). The Kitada interior-rate / exterior-rate comparison reduces to a ratio of two Markov-blanket depths.

This is a structural commitment, not a new derivation — but naming it explicitly:

- Closes the gap between [`Frequency_Synchronization.md`](Frequency_Synchronization.md) and [`Cross_Frequency_Lorentz.md`](Cross_Frequency_Lorentz.md): both are corollaries of the foundational identity.
- Grounds the [`Proton_Resonance_R_e.md`](Proton_Resonance_R_e.md) §2.2 reading: `R_e` is the electron's local-clock period, not just an opaque depth.
- Supplies the bridge to active-inference: each Markov blanket's local clock IS its information-saturation rate (one `log 2` bit per tick, per [`MRE.md`](MRE.md) §2.1 and the Lean-anchored `zfa_closure_minimizes_free_energy` in [`lean/QLF_FreeEnergy.lean`](lean/QLF_FreeEnergy.lean)).
- Sets up Gaps 2 and 3 below — both rely on this identity to make sense.

**Lean target.** A future theorem `markov_blanket_local_clock`: for any constructible RhoProcess `p` with depth `R(p)`, the local-clock period equals `R(p)` substrate ticks, with the per-event `log 2` quantum advancing the clock by one tick per event. The existing `vacuum_alignment_selects_zfa` and `rho_process_alignment_saturates` in [`lean/QLF_VacuumAlignment.lean`](lean/QLF_VacuumAlignment.lean) and [`lean/QLF_RhoProcessBridge.lean`](lean/QLF_RhoProcessBridge.lean) supply the per-event content; this theorem packages it as the local-clock identity.

---

## §4 Gap 2 — Cosmic time as the proper time of the cosmic Markov blanket

**Current state.** [`AgeOfUniverse.md`](AgeOfUniverse.md) derives the cosmic age (≈ 13.8 Gyr) from the ZFA event-synthesis frequency distribution: the cosmic age is `R = ∫ n(ω) dω`, the total event count over the spectrum. The derivation is anchored at the proton mass scale (via [`HadronicDepth.md`](HadronicDepth.md)) and recovers the observed value without tuning. **What is missing**: the cosmic age is not framed as the *proper time* of any specific Markov blanket — it is a frequency-integrated quantity. Under the Gap-1 identity, the natural framing is "the proper time of the cosmic-horizon Markov blanket."

**Kitada enhancement.** The cosmic horizon is itself a Markov blanket: it screens the observable universe (interior) from the unobservable beyond (exterior). Under Kitada's interior/exterior synchronization-rate integration:

$$
\tau_{\text{cosmic}} \;=\; \int \frac{f_{\text{interior}}}{f_{\text{exterior}}} \, dt
$$

with `f_interior` the Planck-event rate (substrate clock) and `f_exterior` the cosmic-horizon clock (Hubble-scale frequency). The relation is:

- **Interior rate**: `f_Planck = 1 / τ_Planck ≈ 1.85 × 10⁴³ Hz` (Planck-event substrate).
- **Exterior rate**: `f_Hubble ≈ H₀ ≈ 2.3 × 10⁻¹⁸ Hz`.
- **Ratio**: `f_Planck / f_Hubble ≈ 8 × 10⁶⁰` — the dimensionless geometric depth `n` of [`HadronicDepth.md`](HadronicDepth.md) (the primordial-blanket count `v(R_H) ≈ 6.7 × 10⁶⁰`, §2.1). The proton cube `(m_Planck / m_p)³ ≈ 2.2 × 10⁵⁷` reproduces this only to ~3–4 orders — a large-number coincidence, not an exact match.

The cosmic age in Planck units is then `n` ticks of the substrate clock, equivalently `1` tick of the cosmic-horizon clock, which converts to `13.8 Gyr` under the standard time-unit conversion. This is the **relational derivation** of 13.8 Gyr: cosmic time is the cosmic-horizon clock's proper time, which is one tick of its own local clock, which equals `n` ticks of the substrate clock, which equals `13.8 Gyr` by unit conversion.

The structural payoff:

- The cosmic-age derivation in [`AgeOfUniverse.md`](AgeOfUniverse.md) becomes a consequence of (a) the Gap-1 identity and (b) the cosmic-horizon Markov blanket having depth `R_cosmic = n ≈ 6.7 × 10⁶⁰` (geometric).
- The [`HadronicDepth.md`](HadronicDepth.md) Hadronic Depth Hypothesis (`n ~ (m_P/m_p)³`) becomes a structural prediction about the cosmic clock's relation to the proton clock — both are Markov blankets with specific depths in a Kitada-style hierarchy.
- The "no absolute t = 0" follows: cosmic time is the proper time of an extant Markov blanket, not a universal external coordinate.

**Honest scoping.** This is a **structural reframing** of the [`AgeOfUniverse.md`](AgeOfUniverse.md) derivation, not new physics. The numerical value `13.8 Gyr` is already derived in that doc; what Kitada's framework supplies is the relational meaning (cosmic time = cosmic-horizon-clock proper time) and the explicit hierarchical bridge from substrate clock to cosmic clock via local-clock comparison.

**Lean target.** `cosmic_proper_time_from_local_clocks`: with the Gap-1 identity, derive `τ_cosmic = R_cosmic × τ_Planck` from the cosmic-horizon Markov blanket's local-clock depth, with `R_cosmic = n` supplied by [`HadronicDepth.md`](HadronicDepth.md).

---

## §5 Gap 3 — Einstein coefficients from local-clock synchronization failure

**Current state.** [`Gravity.md`](Gravity.md) articulates gravity as gauge-folding + Markov-blanket entropy screening; density-dependent space/time role swap. [`SpacetimeDynamics.lean`](lean/SpacetimeDynamics.lean) gives a machine-verified derivation of the event-synthesis tensor `T_μν^(synth)` that replaces the cosmological constant. The standard Einstein equations `G_μν = 8π G T_μν` have specific coefficients (8π, G) that are **not derived** from QLF substrate properties: 8π comes by convention from the standard derivation; G is calibrated against observation with a 37% residual ([`Experimental_Consistency.md`](Experimental_Consistency.md) §8). [`VacuumEnergy.md`](VacuumEnergy.md) §6.2 connects this to Verlinde's entropic gravity and Jacobson's thermodynamic derivation, but does not close the quantitative gap.

**Kitada enhancement.** Under the Gap-1 identity, each Markov blanket has its own local clock. When two Markov blankets at different gauge-fold depths are adjacent, **their local clocks tick at different rates**. The **loss of simultaneity** between them is `Δt_sync ~ (R/f)/c` — second-order in the local-clock period divided by the speed of light. Across a Markov-blanket boundary this manifests as **curvature**: distant clocks that were synchronised at the boundary fall out of sync as one is moved into deeper gauge-folding.

The structural identification:

> **Einstein equations as the coarse-grained limit of local-clock synchronization failure across a Markov blanket.** The metric correction at second order in `(R/f)/c` produces the standard 8π and G coefficients when integrated over the blanket's gauge-fold density.

Specifically:

- **The `8π` factor** is a geometric factor arising from integration over the full 4π solid angle of a Markov-blanket boundary, with an additional factor of 2 from the Hermitian-pair structure of each ZFA event (the per-event log 2 quantum manifesting in the relational synchronization).
- **The `G` coefficient** is the per-event entropy-gradient strength of the vacuum's near-equilibrium state ([`VacuumEnergy.md`](VacuumEnergy.md) §6.2). Under the Kitada framing, G is the rate at which local-clock synchronization fails per unit gauge-fold density gradient — a substrate property derivable from the vacuum-alignment principle.

This connects directly to the Verlinde / Jacobson programme of [`VacuumEnergy.md`](VacuumEnergy.md) §6.2 but refines it: where Verlinde derives gravity from horizon entropy (Mach-style) and Jacobson from thermodynamic equation-of-state, Kitada's framework supplies the **mechanism** at the QLF substrate — local-clock synchronization failure across a Markov blanket. The Einstein equations are not a separate theory; they are the coarse-grained statement of the Gap-1 identity at GR scales.

**Honest scoping.** This articulates the **path** to deriving 8π and G; the calculation itself is not performed here. The 8π is structurally plausible (4π solid-angle × 2 from Hermitian pair) but the factor of 2 needs rigorous derivation from the per-event ZFA structure. G is identified as the vacuum's per-event entropy-gradient strength but its specific numerical value is not yet derived from substrate properties.

**Concrete research target.** Derive G from the QLF substrate's per-event entropy-gradient strength using the [`VacuumEnergy.md`](VacuumEnergy.md) §6.2 framework + the Gap-1 identity. This would close the [`Experimental_Consistency.md`](Experimental_Consistency.md) §8 "37% G residual" gap and supply the missing structural argument for the calibration anchor.

**Lean target.** `einstein_equations_from_local_clock_failure`: derive the metric correction `Δg_μν` from the Markov-blanket synchronization-failure rate, with 8π and G as explicit substrate-property constants. Connects to existing `Form.toMatrix_adjoint` and `spacetime_from_zfa_preserves_synthesis` in [`lean/SpacetimeDynamics.lean`](lean/SpacetimeDynamics.lean) and [`lean/ZFAEventDynamics.lean`](lean/ZFAEventDynamics.lean).

### 5.1 Derivation of `8π = 4π · 2` from QLF substrate

The first sub-factor of the Einstein coefficient `8π G` admits a clean structural derivation from QLF substrate properties. The `8π` decomposes as

$$
8\pi \;=\; \underbrace{4\pi}_{\text{boundary solid angle}} \cdot \underbrace{2}_{\text{Hermitian-pair degeneracy}}.
$$

Each factor has a substrate-level origin:

**The `4π` factor — full boundary solid angle.** A Markov blanket is topologically a 2-sphere — the boundary separating the blanket's interior screened state from its exterior. The full integration of a per-point quantity over this boundary picks up the solid angle of the 2-sphere, which is exactly `4π`. This is the same `4π` that appears in Gauss's theorem `∮ E · dA = q / ε₀` (in CGS) and in the Newtonian-gravity Poisson equation `∇²Φ = 4π G ρ`. In QLF substrate terms, it counts the distinct outward-normal directions at the blanket boundary — equivalently, the dimensionality of the boundary's intrinsic curvature integration domain.

**The `2` factor — Hermitian-pair degeneracy per ZFA event.** Each ZFA closure event on the boundary is a half-spin Hermitian pair `(t, t†)` per `bra_ket_always_balanced` in [`lean/BraKetRhoQuCalc.lean`](lean/BraKetRhoQuCalc.lean), with two possible orderings — `(t · t†)` and `(t† · t)`, corresponding to **action** vs **lift** in the events extraction of [`lean/QLF_RhoProcessBridge.lean`](lean/QLF_RhoProcessBridge.lean). Each ordering contributes equally to the local-clock synchronization-failure rate across the boundary (one realises the per-event log 2 quantum in the `+` direction, the other in the `−` direction), so the per-boundary-point contribution to the Einstein-tensor structure is `2`, not `1`.

This **is** the trace-reversed factor of `½` in `G_μν = R_μν − ½ g_μν R`, viewed from the substrate: the Einstein tensor's `½` is the inverse of the Hermitian-pair-degeneracy `2` (the standard Einstein-equation derivation absorbs this factor into `G_μν`; the substrate derivation exposes it as the `×2` from the per-event Hermitian pair).

Combined: `8π = 4π · 2`. This is **not** a new mathematical fact (the trivial arithmetic identity is `8π = 8π`); what the substrate decomposition supplies is the **structural origin** of each sub-factor. The `4π` is Gauss-theorem solid-angle integration; the `2` is the Hermitian-pair degeneracy from QLF's half-spin closure structure (Lean-anchored as `events_all_delta` and the `bra_ket_always_balanced` identity).

**Lean anchor.** [`lean/QLF_EinsteinGeometricFactor.lean`](lean/QLF_EinsteinGeometricFactor.lean) defines `boundary_solid_angle = 4π` and `hermitian_pair_degeneracy = 2`, and proves `einstein_geometric_factor_eight_pi : 8π = boundary_solid_angle · hermitian_pair_degeneracy` by `ring` after unfolding. The theorem is arithmetically trivial; the structural content lives in the named-factor decomposition and its docstring tying each factor to the QLF substrate origin.

**What this closes.** This sub-section closes step 4 of §7 below: the `8π` geometric factor in Einstein's equations is structurally articulated and Lean-anchored. The remaining open piece for the full Gap-3 derivation is the `G` coefficient itself (step 5: derive `G` as the vacuum's per-event entropy-gradient strength under [`VacuumEnergy.md`](VacuumEnergy.md) §6.2), which is independent of this sub-section and substantially harder.

### 5.2 The Einstein equations as the equation of state of each local clock (Jacobson, Lean-anchored)

§5.1 closes the `8π` geometric factor. The remaining structural step — *why the field equations
take the form they do at all* — is Lean-anchored in
[`lean/QLF_EinsteinEquations.lean`](lean/QLF_EinsteinEquations.lean), and the route is precisely
Kitada's. The full derivation, coefficient, and references live in the dedicated doc
[`Einstein_Equations.md`](Einstein_Equations.md); here is the local-time content.

**Jacobson's derivation is local.** Jacobson (1995, "Thermodynamics of Spacetime: The Einstein
Equation of State") obtains `G_μν = 8πG T_μν` not as a fundamental dynamical law but as the
**Clausius relation `δQ = T δS`** demanded **at every local Rindler horizon** — a separate
horizon through each spacetime point, seen by each local accelerated observer. The temperature is
the *local* Unruh temperature; the entropy is the *local* horizon area. There is no global
construction anywhere in the derivation: it is a statement about local thermodynamic equilibrium,
point by point.

**The local Rindler horizon *is* the Kitada local clock.** This is the Gap-1 identity (§3) read
on the gravitational side. A QLF Markov blanket is a local clock (`markov_blanket_local_clock`,
[`lean/QLF_LocalClock.lean`](lean/QLF_LocalClock.lean)); it is also a horizon — the screen
separating its screened interior from its exterior, carrying the Unruh temperature
([`QLF_HorizonTemperature`](lean/QLF_HorizonTemperature.lean)) and the area entropy
`S = 4πR² log 2` ([`QLF_GravityFromDelay`](lean/QLF_GravityFromDelay.lean)). So Jacobson's "local
Rindler horizon," QLF's "Markov-blanket horizon," and Kitada's "local clock" are **the same
object**. The Einstein equation of state is the Clausius relation evaluated *at each Kitada local
clock*, and the global field equations are the statement that every local clock in the network
sits in local thermodynamic equilibrium simultaneously — exactly Kitada's picture of GR as the
consistency condition of the network of local times.

Two consequences follow (derived in [`Einstein_Equations.md`](Einstein_Equations.md) §4–§5): the
field-equation coefficient is the **Unruh `2π` over the entropy density** `η = 1/4G`,
`8πG = 2π/η` (`einstein_coupling_from_thermodynamics`) — a ratio of two *local-clock* quantities,
Kitada's interior/exterior rate comparison in thermodynamic dress; and Jacobson's undetermined
integration constant, the cosmological constant, is `Λ = Ω_Λ = log 2`, *the same `log 2`* as every
local clock's per-tick quantum (`local_clock_tick_is_log_two`) — so **the cosmological constant is
the local clock's own tick**, the irreducible `log 2` each ZFA closure advances, read at cosmic
scale.

**Honest scoping.** This Lean-anchors the **coefficient and the thermodynamic skeleton** and
identifies the integration constant with the local-clock tick. It does **not** carry out the full
tensor derivation — the local Rindler construction, the Raychaudhuri focusing equation, and general
covariance need differential-geometry machinery QLF's Lean core does not have
(`einstein_equations_in_progress`), the same dynamical-metric step still open for the Schwarzschild
metric and gravitational waves; see [`GR_Schwarzschild.md`](GR_Schwarzschild.md). What is new is the
**identification** — Jacobson's *local* horizon thermodynamics is QLF's Markov-blanket / Kitada
local-clock thermodynamics, so the Einstein equation of state is literally the equation of state of
the local-clock network.

### 5.3 Calculating local light speed — `c` from the apparent size and age of the universe

The constancy of `c` is currently flagged as "definitional in current implementation; not yet a separate prediction" in [`Experimental_Consistency.md`](Experimental_Consistency.md) §3 line 92, with the "Lorentz covariance — partially closed" status in §4.5. Four specific technical obstacles block a clean derivation from QLF substrate properties:

1. **Substrate uniformity vs local variation.** The substrate has a uniform Planck-event rate, but local Markov-blanket clocks tick at different rates because of gauge-fold density variation. We need to show local observers measure the same `c`.
2. **Circular dependence.** The synchronization-failure formula `Δt_sync ~ (R/f)/c` in §5 above *contains* `c`, so deriving `c` from synchronization-failure would be circular.
3. **Photon "pathology".** Photons have no gauge fold (`R_photon = 0` per [`Photon_Energy_Bits.md`](Photon_Energy_Bits.md) §4), so the foundational identity `Δt = R/f` gives `Δt = 0`. What is `c` "of" if photons have no local clock?
4. **Missing formalisation.** No Lean theorem currently connects substrate-clock uniformity to local `c` constancy.

The **cosmic-ratio derivation** closes all four cleanly. It uses only quantities QLF has already derived independently of `c`.

#### The derivation

From [`HadronicDepth.md`](HadronicDepth.md): the cosmic-horizon Markov-blanket depth is `n ≈ 6.7 × 10⁶⁰` — the geometric primordial-blanket count `v(R_H)` (§2.1). The proton-mass cube `n ~ (m_Planck / m_p)³ ≈ 2.2 × 10⁵⁷` reproduces it only order-of-3-magnitudes (a large-number coincidence), so the figure used below is the geometric one.

From [`AgeOfUniverse.md`](AgeOfUniverse.md) §4.1: the cosmic age is `T_cosmic = n · τ_Planck` — the proper time of the cosmic-horizon Markov blanket.

Implicit in the Hadronic-Depth framing: the cosmic apparent size is `R_cosmic = n · L_Planck` — the spatial extent of the cosmic-horizon Markov blanket.

Take the ratio:

$$
c \;=\; \frac{R_{\text{cosmic}}}{T_{\text{cosmic}}} \;=\; \frac{n \cdot L_{\text{Planck}}}{n \cdot \tau_{\text{Planck}}} \;=\; \frac{L_{\text{Planck}}}{\tau_{\text{Planck}}} \;=\; c_{\text{substrate}}.
$$

**The cosmic depth `n` cancels exactly.** `c` falls out as a substrate property from two independently-derived QLF quantities. No assumption of `c` upstream — it is **derived** as the ratio of the cosmic blanket's spatial extent to its proper time.

Numerical check:

- `n ≈ 6.7 × 10⁶⁰` (geometric primordial-blanket depth, from `HadronicDepth.md`; `n` cancels in `c = R/T`)
- `L_Planck ≈ 1.616 × 10⁻³⁵ m`
- `τ_Planck ≈ 5.39 × 10⁻⁴⁴ s`
- `L_Planck / τ_Planck = 2.998 × 10⁸ m/s = c_CODATA` ✓

#### Generalisation to any Markov blanket (closes obstacle 1)

The same `n`-cancellation argument applies at **any depth `ρ`**. A Markov blanket of depth `ρ`:

- has local spatial extent `ρ · L_Planck` — the gauge-folding nests `ρ` substrate Planck lengths
- has local clock period `ρ · τ_Planck` — the gauge-folding nests `ρ` substrate Planck ticks

The ratio:

$$
c_{\text{local}} \;=\; \frac{\rho \cdot L_{\text{Planck}}}{\rho \cdot \tau_{\text{Planck}}} \;=\; \frac{L_{\text{Planck}}}{\tau_{\text{Planck}}} \;=\; c_{\text{substrate}}.
$$

**The `ρ` cancels.** This is conformality — but here it falls out of the substrate's **irreducible space-time event quantum**, not as an imposed metric postulate. Each Planck event creates one Planck length and one Planck tick *together*. Gauge-folding nests `ρ` events without changing the per-event 1:1 length-to-time identity, so local length and local time scale by the *same* factor `ρ`. The ratio `c` is preserved across all gauge-fold densities.

This is the QLF reading of local Lorentz invariance, structurally grounded in the substrate's irreducible space-time event quantum.

This substrate derivation is the rigorous counterpart of the conceptual **uniform-ether** account in [`Time.md`](Time.md) §4 / [`SpaceTime.md`](SpaceTime.md) §4: there, frame-independence of `c` follows from the vacuum being a statistically uniform, stateless ether (no preferred frame); here it follows from the per-event 1:1 length-to-tick identity (the ρ-cancellation). The two are complementary — obstacle 1 above ("substrate uniformity vs local variation") is exactly the ether's *statistical* uniformity, and the ρ-cancellation is *why* local clock-rate variation does not break the shared `c`.

#### Resolution of obstacles 2, 3, 4

- **Obstacle 2 (circular dependence)** — closed. `R_cosmic = n · L_Planck` is derived from `HadronicDepth.md`'s n; `T_cosmic = n · τ_Planck` from the Kitada cosmic-blanket framing in §4 above. Neither uses `c`. Their ratio gives `c` as an *output*, not an input. The synchronization-failure formula `Δt_sync ~ (R/f)/c` becomes a downstream consequence used in Gap-3 Einstein-equation derivations, not the upstream definition.

- **Obstacle 3 (photon "pathology")** — resolved as a feature. Photon `R = 0` is exactly what makes the photon's substrate frequency `ω_sub` a pure substrate quantity. Gauge-free signals see the substrate's uniform Planck-event rate everywhere. The photon doesn't have its own local time because it *is* a relational signal between two clock-carrying subsystems — its "speed" is the substrate clock rate, not its own clock rate (which doesn't exist). Frequency-independence of `c` for gauge-free signals is then automatic, not a separate empirical fact.

- **Obstacle 4 (Lean formalisation)** — closed by the cosmic-ratio identity. The Lean module [`lean/QLF_SubstrateLightSpeed.lean`](lean/QLF_SubstrateLightSpeed.lean) defines `planck_length`, `planck_time`, `cosmic_horizon_depth`, `apparent_universe_size`, `apparent_universe_age`, and `substrate_light_speed`, with theorems `substrate_light_speed_from_cosmic_ratio` (the `n` cancels by algebra) and `local_light_speed_invariant` (the `ρ` cancels for any Markov-blanket depth). The arithmetic is trivial; the structural content lives in the named-quantity decomposition and the theorem statements.

#### What this closes — and what it doesn't

Three tiers, to avoid overclaim:

- **Tier 1 (structurally derived):** the ρ-cancellation `(ρ · L_Planck)/(ρ · τ_Planck) = L_Planck/τ_Planck` holds at every Markov-blanket depth, grounded in the substrate's irreducible space-time event quantum. Local Lorentz invariance falls out of the per-event identity (one Planck length × one Planck tick, *together*), not from a metric postulate.
- **Tier 2 (numerical from substrate primitives):** under QLF's substrate-first ontology, L_Planck and τ_Planck are substrate primitives (the spatial and temporal extents of one Planck event), *not* defined via `{ℏ, G, c}`. The substrate event identity gives `c = L_Planck / τ_Planck` — *one Planck length per Planck tick*, dimensionless `1` in Planck units. The cosmic-scale confirmation is independent: §4.1 derives `T_cosmic = n · τ_Planck ≈ 13.8 Gyr` from Hadronic Depth (`n ≈ 6.7 × 10⁶⁰`, the geometric primordial-blanket depth; the `m_p` cube reproduces it only order-of-magnitude — §2.1), §5.3 above derives `R_cosmic = n · L_Planck ≈ 8.8 × 10²⁶ m`, and the ratio `R_cosmic / T_cosmic = c` (note `n` cancels in this ratio, so `c` is independent of `n`'s exact value) matches the measured value of the speed of light. Both `R_cosmic` and `T_cosmic` agree with cosmological observations independently. The SI numerical `c ≈ 2.998 × 10⁸ m/s` reflects substrate-primitive-to-SI calibration (what "1 meter" and "1 second" are in human-chosen units), not an empirical input for `c` itself.

**No Tier-3 open piece for `c`.** The substrate event quantum is QLF's foundational postulate; once accepted, `c` is fully derived. This is **asymmetric with α**: numerical α at Tier 2 still requires two measured observables (Ry and m_e c²), and α has a genuine Tier-3 open (R_e from closure-multiplicity). For c there is no such open — the substrate event identity *is* the first-principles content.

The cleanest framing: **`c` is the substrate event quantum's length-to-tick ratio**. Equivalently, the cosmic blanket's `R/T` ratio. QLF's Hadronic-Depth derivation of cosmic age and size gives `c` numerically at the cosmic scale, agreeing with the substrate-scale identity by the same `n`-cancellation that makes the speed-of-light frame-invariant across all Markov-blanket depths.

---

## §6 Honest scoping

What this doc **does**:

- ✓ Articulates Kitada's local-time framework as a structurally compatible enhancement of QLF's GR support.
- ✓ Names three specific gaps where Kitada's framework supplies the missing structural content: Gap 1 (foundational identity), Gap 2 (cosmic-time as proper time of cosmic blanket), Gap 3 (Einstein coefficients from local-clock synchronization failure).
- ✓ Identifies concrete next-tier research targets for each gap (Lean theorem + structural calculation).
- ✓ Connects to the existing [`Proton_Resonance_R_e.md`](Proton_Resonance_R_e.md) use of Kitada's framework — the GR enhancement uses the same lens for the same kind of structural payoff.

What this doc **does not**:

- ⚠ Derive 8π or G from QLF substrate properties — the §5 calculation is identified as the target but not performed.
- ⚠ Close the [`Experimental_Consistency.md`](Experimental_Consistency.md) §8 "qualitative" or "37% G residual" labels — it identifies the path.
- ✗ Prove any Lean theorem — three targets are named (Gap 1, 2, 3) but not formalised.
- ✗ Refine `SpacetimeDynamics.lean` or `T_μν^(synth)` — the existing formalisation is separate; Kitada-framework refinement is a future Lean target.
- ✗ Make new empirical predictions beyond what's already in [`Experimental_Consistency.md`](Experimental_Consistency.md) §10.

Same tone discipline as [`Proton_Resonance_R_e.md`](Proton_Resonance_R_e.md): articulate the framework, decompose open problems, identify sub-targets, do not overclaim.

---

## §7 Next concrete steps

In rough order of effort and value:

1. ✓ **Done** — [`Frequency_Synchronization.md`](Frequency_Synchronization.md) §1.1 names the foundational identity explicitly, with the table of QLF results that follow as corollaries.

2. ✓ **Done** — [`AgeOfUniverse.md`](AgeOfUniverse.md) §4.1 reframes the 13.8-Gyr cosmic-age derivation as the proper time of the cosmic-horizon Markov blanket via the Kitada interior/exterior synchronization-rate integration. The cosmic-horizon depth `R_cosmic ≈ f_Planck / f_Hubble ≈ 8 × 10⁶⁰` equals the geometric primordial-blanket depth `v(R_H) ≈ 6.7 × 10⁶⁰` of [`HadronicDepth.md`](HadronicDepth.md) §2.1; the proton-mass cube `(m_P/m_p)³ ≈ 2.2 × 10⁵⁷` matches it only to ~3–4 orders.

3. ✓ **Done** — Lean theorem `markov_blanket_local_clock` lives in [`lean/QLF_LocalClock.lean`](lean/QLF_LocalClock.lean). For any constructible RhoProcess `p`, `cumulative_kl (events p) = (local_clock_period p) · log 2`, packaging `rho_process_alignment_saturates` under the local-clock-identity name. Companion `local_clock_tick_is_log_two` states each tick advances the cumulative information by exactly `log 2`.

4. ✓ **Done** — §5.1 above derives `8π = 4π · 2` from QLF substrate. `4π` is the Markov-blanket boundary 2-sphere's full solid angle (Gauss-theorem integration); `2` is the Hermitian-pair degeneracy per ZFA event from `events_all_delta` and `bra_ket_always_balanced`. The substrate decomposition matches the standard GR trace-reversed factor in `G_μν = R_μν − ½ g_μν R`. Lean anchor in [`lean/QLF_EinsteinGeometricFactor.lean`](lean/QLF_EinsteinGeometricFactor.lean) with theorem `einstein_geometric_factor_eight_pi`.

5. **Derive `G` from the vacuum's per-event entropy-gradient strength** using the [`VacuumEnergy.md`](VacuumEnergy.md) §6.2 framework. This is the major item — would close the [`Experimental_Consistency.md`](Experimental_Consistency.md) §8 G-residual gap. Substantial research.

6. **Lean theorem `einstein_equations_from_local_clock_failure`** for Gap 3, once items 4 and 5 are in place.

7. ✓ **Done** — §5.3 above derives the constancy of `c` from the cosmic-ratio identity `c = R_cosmic / T_cosmic = (n · L_Planck) / (n · τ_Planck) = L_Planck / τ_Planck`. The cosmic-horizon depth `n` cancels exactly, giving `c` as a substrate property from independently-derived `R_cosmic` and `T_cosmic`. Generalises to any Markov-blanket depth `ρ` by the same ρ-cancellation, structurally grounding local Lorentz invariance in the substrate's irreducible space-time event quantum (each Planck event creates one Planck length × one Planck tick *together*). Lean anchor in [`lean/QLF_SubstrateLightSpeed.lean`](lean/QLF_SubstrateLightSpeed.lean) with theorems `substrate_light_speed_from_cosmic_ratio` and `local_light_speed_invariant`.

---

## §8 References

### External

- Kitada, H. (1996). *Theory of Local Times.* arXiv:[gr-qc/9612043](https://arxiv.org/abs/gr-qc/9612043). The foundational local-time framework that this doc builds on.
- Mach, E. (1883). *The Science of Mechanics.* The relational tradition that Kitada's framework descends from.
- Verlinde, E. (2011). *On the Origin of Gravity and the Laws of Newton.* Entropic-gravity programme refined in §5 under Kitada framing.
- Jacobson, T. (1995). *Thermodynamics of Spacetime: The Einstein Equation of State.* Thermodynamic Einstein-equations derivation; §5 connects to Kitada's mechanism at QLF substrate scale.
- Padmanabhan, T. (2010). *Thermodynamical aspects of gravity: new insights.* Cousin programme.

### Internal

- [`Proton_Resonance_R_e.md`](Proton_Resonance_R_e.md) §2.2 — the existing Kitada citation in QLF; this doc extends the framework to GR.
- [`Frequency_Synchronization.md`](Frequency_Synchronization.md) — `Δt = R/f` ; primary anchor for Gap 1.
- [`Cross_Frequency_Lorentz.md`](Cross_Frequency_Lorentz.md) — rapidity = log(frequency ratio); Lorentz boost under Kitada lens.
- [`Time.md`](Time.md) §4, [`SpaceTime.md`](SpaceTime.md) §4 — the conceptual uniform-ether account of local Lorentz invariance; complementary to the substrate ρ-cancellation derivation in §5.3.
- [`Gravity.md`](Gravity.md) — gauge-folding + entropy screening; primary anchor for Gap 3.
- [`AgeOfUniverse.md`](AgeOfUniverse.md) — cosmic-age derivation; primary anchor for Gap 2.
- [`HadronicDepth.md`](HadronicDepth.md) — `n ~ (m_P/m_p)³`; supplies the cosmic-horizon depth for Gap 2.
- [`VacuumEnergy.md`](VacuumEnergy.md) §6.2 — near-equilibrium thermodynamic substrate; Verlinde/Jacobson connection refined under Kitada framing.
- [`BLACK-HOLES.md`](BLACK-HOLES.md) — gauge-folded primordial black holes; Hawking radiation as Markov-blanket active-inference.
- [`UniversalRelativity.md`](UniversalRelativity.md) — completed Einstein equations from `T_μν^(synth)`.
- [`SpacetimeDynamics.lean`](lean/SpacetimeDynamics.lean) — Lean formalisation of the event-synthesis tensor.
- [`Experimental_Consistency.md`](Experimental_Consistency.md) §8 — "Gravity — Qualitative Program"; identifies the open quantitative work this doc proposes a path for.