Dependency and Scope

0.1 — What this paper does

AP14 derives the first quantum correction to the gravitational coupling G and proves it finite at one loop. The derivation builds the path sum from the completeness of monoid states (§2.3), identifies virtual records as intermediate non-committed events (§2.4), shows how they shift the probability distribution over geometries (§2.6), and proves by dimensional uniqueness that the leading correction must take the form γ ℓ_P²/L² (§3.4).

What the paper produces. The path sum as a finite sum over discrete record-writing events (§2.3). The virtual-record decomposition K = K₀ + K₁ + … (§2.5). The one-loop result G_eff(L) = G(1 + γ ℓ_P²/L²) with exponents locked (§3.4). Five structural reasons for finiteness, one per axiom plus Lovelock (§4). Singularity resolution via the loop (§5).

What the paper does not produce. The exact value of γ (requires Gap 1, the explicit record-writing operator). A proof that the all-orders sum inherits the geometric constraints and generates no higher-derivative operators (debt D7). A standalone proof of EH (Gap 3 — though AP20 supplies it; see §0.2).

0.2 — Dependencies

Notebook I (Premise). The four axioms {S, B, R, C}, their independence carried at AP20 §4.2 (fenced KS-P.2). The axiom 1:1 + 1×ε supplies the minimum break ε with action-scale ℏ.

AP08 (The Identity — Einstein Field Equations). Geometry is the accumulated record; the monoid in the large-N limit gives G_μν + Λg_μν. G = 2κ/m_ε². Load-bearing for §2.6, §3, §4.5.

AP09 (Quantum mechanics). The Hilbert space exists; unitary evolution between records; the Born rule P = ψψ* = Light × Dark; the loop (§4.4: closing IS opening). Load-bearing for the path sum and singularity resolution.

AP10 (N = 3 spatial dimensions). D = 4 unconditionally, which activates Lovelock’s theorem. Load-bearing for §4.5.

AP12 (Uncertainty, ℏ). The minimum action per record. Load-bearing for Axiom B’s UV cutoff. AP13 (decoherence, the classical limit). The large-L regime where corrections are suppressed.

AP20 (the bridge paper). EH and QRA are proved — not assumed. AP14 is therefore unconditional on EH. [The source manuscript predated AP20 and still frames EH as Open Problem 7 / Gap 3, wanting an explicit large-N convergence theorem for the discrete monoid. The corpus position after AP20 is that EH holds; Gap 3 is retained below only as the standing wish for a fully explicit convergence construction, not as an open conditionality. See the note in §10.]

0.3 — Axiom mapping

Each axiom contributes one structural lock on finiteness.

Axiom B — the break. Minimum record size ε, action-scale ℏ. No sub-ℏ physics. Supplies the ultraviolet cutoff: the one-loop sum has at most V/ℓ_P⁴ terms (§4.1).

Axiom C — propagation. Finite c bounds the causal diamond; Λ sets a maximum causal volume. Supplies the infrared cutoff: the sum does not extend past the de Sitter horizon (§4.2).

Axiom R — records. The monoid is countable, with no inverses. The path sum is a sum over a discrete set, not an integral over a continuum: no measure problem (§4.3).

Axiom S — the two sectors. The involution σ and the Born rule P = ψψ* fix the probability measure uniquely — the 1:1 voting (§4.4).

0.4 — Epistemic status per section

§1 — The problem — FRAMING

§2.1–§2.2 — Records, propagator — DERIVED (AP09, AP12, Axiom R)

§2.3 — The path sum — DERIVED (completeness of monoid states + Axioms B, C, R)

§2.4 — Virtual records — DERIVED (falls out of the path-sum structure)

§2.5 — Natural decomposition — DERIVED (counting decomposition on a finite sum)

§2.6 — Virtual records and geometry — DERIVED (AP08 + Born rule, no semiclassical input)

§3.4 — Dimensional-uniqueness theorem — DERIVED (form locked); coefficient γ OPEN (Gap 1)

§4.1–§4.4 — Axiom finiteness reasons — DERIVED (one per axiom)

§4.5 — Lovelock, no counterterms — DERIVED for committed geometry; virtual inheritance is DEBT D7

§5 — Singularity resolution — DERIVED (the loop, AP09 §4.4)

§6–§7 — Planck scale, scale-invariance — STRUCTURAL CONSEQUENCE

§8 — Summary — EPISTEMIC SUMMARY

All-orders finiteness — STRUCTURAL CONJECTURE (debt D7)

0.5 — Kill switch summary

Four kill switches per the Master Kill Switch Registry. Three are introduced by AP14 (KS-25, KS-26, KS-27); one (KS-21) is affected and confirmed-but-untriggered.

KS-25 — One-loop amplitude and coefficient finiteness. If the explicit monoid matrix elements at one loop are ill-defined, unbounded, or produce a divergent γ, the correction formula fails. Status: LIVE — EMPIRICAL.

KS-26 — Monoid combinatorics at one loop. If γ diverges with system size, finiteness fails. The principal remaining gap. Status: LIVE — HARD.

KS-27 — Higher-loop finiteness. If the one-loop scaling fails to extend to higher loops within the same construction — a two-loop divergence or a new operator type — the all-orders claim fails. Status: LIVE — EMPIRICAL.

KS-21 — Commutation corrections at the Planck scale. The commutator [x̂, p̂] = iℏ may receive corrections of order γℓ_P²/L². Confirmed of order unity at L ~ ℓ_P; untriggered. Status: LIVE — EMPIRICAL.

0.6 — Structural debts owed

D7 — Virtual-record sum and higher-derivative terms. Section 4.5 argues the record algebra cannot generate higher-order curvature terms (R², R_μνR^μν, …) because it constructs geometry directly from records, which by AP08 produce only the Einstein tensor with Λ, and Lovelock in D = 4 confirms no alternative second-order tensor exists. A formal proof that the virtual-record sum inherits these constraints — that summing over non-committed records cannot generate higher-derivative contributions to an effective action — is outstanding. The one-loop result stands without it; the all-orders extension is a structural conjecture until D7 is paid.

0.7 — Items held open without claiming debt status

Gap 1 — the explicit form of the record-writing operator ℛ̂. The one-loop sum requires its matrix elements; AP09 gives existence and properties but not the closed form. Closing Gap 1 converts the scaling result into an exact γ.

Gap 2 — the measure on virtual records (PARTIALLY CLOSED). The Born rule acts on the amplitude, which already contains the virtual records; there is no separate virtual measure to define. What remains open is the explicit form of the path-sum weights, which again reduces to Gap 1.

Logarithmic refinement. Dimensional uniqueness fixes the power-law ℓ_P²/L² but cannot exclude corrections ℓ_P²/L² × f(ln(L/ℓ_P)). Whether the discrete path sum produces or excludes logarithmic running depends on Gap 1. Λ-dependent (cosmological-scale) corrections are an IR question tied to the cosmological constant problem.

0.8 — Structural relationships

Upstream: AP08 (geometry as record), AP09 (quantum mechanics, Born rule, the loop), AP10 (D = 4 -> Lovelock), AP12 (ℏ), AP13 (classical limit), AP20 (EH + QRA proved). Independent confirmation of the power-law scaling comes from Donoghue’s effective-field-theory treatment of general relativity (1994), reached by a wholly different route; AP14’s contribution beyond it is the structural finiteness argument and the axiom-level derivation of the path sum.

Downstream: any result needing the quantum-gravitational interface — black-hole thermodynamics, Planck-scale phenomenology, the cosmological constant problem. Within Notebook IV, AP14 pairs with AP28 (G’s value as a counting argument).