Skip to main content

A registered result in its source context

Original ledger classification: Structural [E] torsor audit (export table, rank 1, lambda-homogeneity, leave-one-anchor-out 0.11%) with conditionalities named; closure in calibration form, NO scale derivation (Python-only per GATE.WOLFRAM.02).

Recorded statement: T1 CLOSURE -- the calibration/scale-torsor audit of the v_geo interface (one module, 21 checks, ~1 s; discovery probe phys_vgeo_torsor_audit_probe.py 21/21, verdict TORSOR-SCHLIESSUNG PASS). THE STRUCTURE THEOREM (machine-audited on the…

Statement, assumptions and sources

Paper context: Research contracts

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

VGEO.TORSOR.01

Original ledger classification: Structural [E] torsor audit (export table, rank 1, lambda-homogeneity, leave-one-anchor-out 0.11%) with conditionalities named; closure in calibration form, NO scale derivation (Python-only per GATE.WOLFRAM.02).

Original claim text

T1 CLOSURE -- the calibration/scale-torsor audit of the v_geo interface (one module, 21 checks, ~1 s; discovery probe phys_vgeo_torsor_audit_probe.py 21/21, verdict TORSOR-SCHLIESSUNG PASS). THE STRUCTURE THEOREM (machine-audited on the corpus, sources read-only: v153/v152/v274/v401/v364/v75/v68/v60/v20/v272/v3/rt_E/v714): the v_geo interface is a well-defined R+ SCALE TORSOR -- (1) the corpus exports ALL dimensional quantities as O_i = r_i * v_geo^{d_i} with machine-derived dimensionless r_i (complete export table: Mbar, 1/G, Lambda, U_point, m/mu at d = 1, 2, 4, 1, 0); (2) the dimension matrix has RANK 1 -- exactly ONE independent scale (conditional [A] on the flavor block via the declared seam=Planck identification v68 + the rt_E EW-matching flag, NAMED not hidden); (3) ALL consistency conditions are homogeneous under L -> lambda L -- no internal absolute anchor (the machine form of the No-Unit theorem v153); (4) leave-one-anchor-out cross-calibrations compatible (gravitation G vs cosmology rho_Lambda: the same Mbar to 0.11%, v274, conditional on the Lambda branch [C]; flavor fiber exact); (5) the CALIBRATION THEOREM stated in torsor language: one external reference selects the point in the torsor, everything else is prediction. FENCE: a STRUCTURE closure of the interface -- NO absolute-scale derivation (impossible per No-Unit; that is the theorem, not the defect). THE MOONSHOT NAMED (not executed): H_EW = ln(Mbar/v_EW) = 37.1776 -- the ONE remaining dimensionless scale ratio whose derivation No-Unit permits (a success would turn the flavor-block [A] identification into a derivation); naive c3/phi0 ladders honestly excluded (11.53 / 12.67, not integer; v184 firewall respected). Status moves only as evidenced: the interface contract closes in CALIBRATION FORM; the No-Unit typing of v_geo is unchanged.

Original classification detail

TORSOR CLOSURE PASS: the v_geo interface is structurally closed as an R+ scale torsor (export table complete, dimension matrix rank 1, all conditions lambda-homogeneous, two-anchor consistency 0.11%); calibration theorem stated; FENCE: no scale derivation (No-Unit); moonshot named: H_EW = 37.1776.

Dependencies as recorded

ANCHOR.VGEO.01; ANCHOR.VGEO.02; VGEO.SHARPEN.01; SCALE.OVERDET.01; METROLOGY.CLOSURE.01; FIRSTPRINCIPLES.BOUNDARY.01

Open the original ledger source, row 670

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.

All 9 linked sections

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 10 linked sections

Registered verification modules

  • v725_phys_vgeo_torsor_audit.pyRegistered verification module · core
    Read the description recorded in the module registry

    VGEO.TORSOR.01: T1-SCHLUSS — der Kalibrations-/Skalen-Torsor-Audit der v_geo-Schnittstelle — **TORSOR-SCHLIESSUNG: die v_geo-Schnittstelle ist als R₊-Skalen-Torsor STRUKTURELL GESCHLOSSEN — (1) vollständige Export-Tabelle O_i = r_i·v_geo^{d_i}, (2) Dimensionsmatrix Rang 1 (konditional [A] auf dem Flavor-Block, benannt), (3) alle Konsistenz-Bedingungen λ-homogen (Maschinenform des No-Unit-Satzes v153), (4) Zwei-Anker leave-one-out kompatibel (G vs ρ_Λ: 0.11%), (5) Kalibrations-Satz in Torsor-Sprache formuliert**; FENCE: Struktur-Schließung, KEINE Skalen-Ableitung (per No-Unit unmöglich); Moonshot BENANNT, nicht ausgeführt: H_EW = ln(M̄/v_EW) = 37.1776 (21 Checks, ~1 s)

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