Skip to main content

A registered result in its source context

Original ledger classification: Open/plausibility [O] (a [P]-typed second QG route; not load-bearing) + [E] (y^2=16 c3^2)

Recorded statement: ASYMPTOTIC SAFETY -- A SECOND [P] ROUTE TO THE METRIC SECTOR (2026-06-15, archive integration of the old Five-Problems note; NOT load-bearing, does NOT close G_metric): the current theory closes QG via the discrete seam-net/AQFT programme…

Statement, assumptions and sources

Paper context: Frontier and open physical interfaces

The exact identifier, original classification and full claim are available below.

The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.

Read the exact registered claim and its dependencies

GRAV.ASYMP.01

Original ledger classification: Open/plausibility [O] (a [P]-typed second QG route; not load-bearing) + [E] (y^2=16 c3^2)

Original claim text

ASYMPTOTIC SAFETY -- A SECOND [P] ROUTE TO THE METRIC SECTOR (2026-06-15, archive integration of the old Five-Problems note; NOT load-bearing, does NOT close G_metric): the current theory closes QG via the discrete seam-net/AQFT programme (v175; open premise QGEO.REALIZE.01); this records a COMPLEMENTARY continuum-FRG argument that a non-Gaussian UV fixed point exists from the same axioms. Setup d_t g = (2 + eta_R(g)) g, eta_R = -a1 g (torsion K^2 positive-definite => a1>0). (1) [E] the axion coupling is fixed and small: y^2 = 16 c3^2 = 1/(4 pi^2) = 0.025330 exactly (g_agg=-4 c3 from the cubic, scale-invariant). (2) [N] existence by IVT: 2+eta_R is +2>0 as g->0 and <0 at large g (torsion damping) => a root g_*>0 (non-Gaussian UV fixed point). (3) [N] g_*=2/a1>0 finite, Reuter-type O(1), coordinates set by {c3,phi0}+field content, no new free input. (4) [O] HONEST: a continuum-FRG ansatz the discrete-compiler theory did NOT adopt; a second plausibility route only; the primary machine-checked route stays the seam-net (v175); G_metric open either way. Python-only

Original classification detail

Open/plausibility [O]: a complementary continuum-FRG argument (non-Gaussian UV fixed point exists from {c3,phi0}); y^2=16 c3^2 exact; NOT load-bearing, the seam-net (v175) stays primary, G_metric open

Dependencies as recorded

v175_net_existence_full_cone.py; v28_gravity_fR.py

Open the original ledger source, row 292

Location recorded in the ledger

These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.

Sections that explicitly cite this claim

A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.

Navigation through a shared verification script

These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.

Registered verification modules

  • v207_asymptotic_safety.pyRegistered verification module · frontier
    Read the description recorded in the module registry

    Asymptotic Safety as a SECOND, independent, [P] route to the metric sector (archive integration of the old Five-Problems note). The current theory closes QG via the discrete seam-net/AQFT programme (v175; open premise QGEO.REALIZE.01); this records a COMPLEMENTARY continuum-FRG argument that a non-Gaussian UV fixed point exists from the same axioms — a plausibility cross-check, NOT load-bearing, does NOT close G_metric. [E] the axion coupling is fixed and small y²=16c₃²=1/(4π²)=0.025330 exactly (g_aγγ=−4c₃ from the cubic); [N] existence by IVT: d_t g/g=2+η_R is +2>0 as g→0 and <0 at large g (torsion K² damping) ⇒ a root g_*>0; [N] g_*=2/a₁>0 finite, Reuter-type O(1), no new free input; [P] HONEST: a continuum-FRG ansatz the discrete-compiler theory did NOT adopt, primary stays the seam-net (v175), G_metric open either way.

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Search later reviewed research for this identifierRead the coverage boundaries