The dimensionless seam area coefficient
Original ledger classification: Identity [I] + Lattice/topology [L] (coefficient) + [A] (absolute scale only)
Recorded statement: k=c3/2 FORCED - the central seam-area coefficient (Alessandro central target met at the dimensionless level): k=c3/2=(1/2)x(1/(|Z2|*2pi*chi(S2))) splits into TWO cutoff-independent pieces, neither a free normalisation. (a) factor 1/2 =…
Statement, assumptions and sources
Paper context: Origin Theory
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
SEAM.KHALF.01
Original ledger classification: Identity [I] + Lattice/topology [L] (coefficient) + [A] (absolute scale only)
Original claim text
k=c3/2 FORCED - the central seam-area coefficient (Alessandro central target met at the dimensionless level): k=c3/2=(1/2)x(1/(|Z2|*2pi*chi(S2))) splits into TWO cutoff-independent pieces, neither a free normalisation. (a) factor 1/2 = universal action<->EOM variational factor (16piG action vs 8piG field eq, forced by delta(sqrt(g)R)->G_uv). (b) c3=1/(|Z2|*2pi*chi(S2))=1/(2*4pi)=1/(8pi) = one-sided Gauss-Bonnet of the seam S2 normal slice (chi(S2)=2 => intK=4pi, TOPOLOGICAL). With k=c3/2, Fursaev-Solodukhin S=4pi k A=2pi c3 A=A/4 exactly. So the central theorem coefficient is internally forced by topology x variation; ONLY the absolute 4D Newton scale (Lambda^2*f2 prefactor of carrier-Dirac a2, v68) stays UV-sensitive = the one irreducible dimensionful anchor
Original classification detail
Identity [I]/[L] (coefficient forced) + [A] (absolute scale)
Dependencies as recorded
v67; v68; AX.P1.01; SEAM.HORIZON.01
Open the original ledger source, row 139Location 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.
- Origin Theory
- Frontier and open physical interfaces
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.
- Target C — [formula in source] and the seam-area coefficientRed-team audit
- The seam and the horizon: the precise statementorigin theory
- 2026-06-12 (third round: both normals anchor data; the R3 mechanism exists, v149– v150)Research changelog; TFPT — Introduction and reading guide
- Research Contract 1 — [formula in source]Research contracts
- 2026-07-14 (III) ( v484 — the two open analytic targets MERGE: the shared `` [formula in source] per boundary insertion'' rule of ALPHA.QUILLEN.EXACT.01 and HYP.PHI0.PUNCTURE.01 is the KMS seam unit [formula in source] with [formula in source] , derived on the seam circle for the finite cycle sector — no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
- 2026-06-14 (the two obligations collapse to ONE geometric premise v179)Research changelog; TFPT — Introduction and reading guide
- The seam and the horizon: the precise statementinput 4 origin theory
- The seam and the horizon: the precise statementinput 4 origin theory
Registered verification modules
- v73_k_c3_half.pyRegistered verification module · horizon
Read the description recorded in the module registry
central coefficient k = c₃/2 forced (Gauss–Bonnet topology)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.