Skip to main content

A registered result in its source context

Original ledger classification: Identity [I] + observational [N] + [P] consequence

Recorded statement: Lambda-metrology branch selection => G_N as horizon-metrology OUTPUT, the 123-orders double overlap, and the ACT DR6 birefringence comparison. (1) The form rho_Lambda/Mbar^4=(3/(4pi^2))e^(-2 alpha^-1) is in Paper 1; NEW: with delta_top=48…

Statement, assumptions and sources

Paper context: Red-team audit

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

LAMBDA.BRANCH.01

Original ledger classification: Identity [I] + observational [N] + [P] consequence

Original claim text

Lambda-metrology branch selection => G_N as horizon-metrology OUTPUT, the 123-orders double overlap, and the ACT DR6 birefringence comparison. (1) The form rho_Lambda/Mbar^4=(3/(4pi^2))e^(-2 alpha^-1) is in Paper 1; NEW: with delta_top=48 c3^4=3/(256 pi^4) the physical branch prefactor is (8pi)^2 delta_top=3/(4pi^2) [I], and the alternative branch 2c3 e^(-2a) is mis-scaled by 2c3/delta_top=1/(24 c3^3)=64 pi^3/3=661.467 - so selecting the physical branch PINS Mbar (hence G_N): Newton constant is an output, not a free input [I]+[P consequence]. (2) 123-orders split [I]/[N]: |log10(rho_Lambda/M_Pl^4)|=122.948=119.028(=2 alpha^-1/ln10, EM fixed point)+3.920(=log10(256 pi^4/3), seam-defect prefactor in M_Pl units) - double overlap of one boundary compiler, not fine-tuning. (3) ACT DR6 birefringence [N]: TFPT beta_rad=phi0/(4pi)=0.2424 deg (same seed as Cabibbo); ACT DR6 (Diego-Palazuelos & Komatsu 2025, arXiv:2509.13654, PRD 113 L101302) beta=0.215+-0.074 deg (2.9 sigma) => TFPT ~0.37 sigma from central value (consistent, falsifiable). Plus action exponents (1,5,10)=K5 graph counts (5 vertices, 10 edges)=Pascal 16=1+5+10

Original classification detail

Identity [I] + observational [N] + [P] consequence

Dependencies as recorded

EM.FP.01; v3; v8; v55

Open the original ledger source, row 129

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.

All 35 linked sections

Registered verification modules

  • v60_lambda_metrology_branch.pyRegistered verification module · gravity
    Read the description recorded in the module registry

    Λ branch: (8π)²δ_top = 3/(4π²); G_N pinned; 123 orders

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