A registered result in its source context
Original ledger classification: Open (research route [O]: the Costello-Li construction; preparation [E]/[C] via the CELEST.SEAM.01 work packages v492-v518)
Recorded statement: THE TWISTOR ROUTE OF THE SEAM EQUIVALENCE TARGET (2026-07-22 route split, the second continuum route named in its own right -- an ID restructuring, NO status change in substance): the open Costello-Li-grade construction -- the interacting…
Statement, assumptions and sources
Paper context: TFPT — Introduction and reading guide
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.EQUIV.TWISTOR.01
Original ledger classification: Open (research route [O]: the Costello-Li construction; preparation [E]/[C] via the CELEST.SEAM.01 work packages v492-v518)
Original claim text
THE TWISTOR ROUTE OF THE SEAM EQUIVALENCE TARGET (2026-07-22 route split, the second continuum route named in its own right -- an ID restructuring, NO status change in substance): the open Costello-Li-grade construction -- the interacting holomorphic open+closed twistorial algebra on PT/Gamma (the global BCOV+SDYM quantisation, WP5e proper of CELEST.SEAM.01) whose boundary partition function is E4/eta^8 INCLUDING the q^{-1/3} prefactor, OS-reconstructed to the ACTUAL (E8)_1 seam net (not only its character). PREPARED, NOT CONSTRUCTED: the CELEST.SEAM.01 work packages (v492-v518) fix the null ideal, the deleting operator, the GNS limit state, the two-interval index, the KLM triple, both faces of the inflow, the level (a theorem of clock invariance, value pinned by the sector counter), the bulk-axion slot, the back-reacted Omega_N (M1, v515: closed form, (2 pi i)^2-integral lockstep periods, forced source charge 4 = |mu4|), the twisted KS measure on the declared completion reading (M2, v516: per-sector Okubo squares, the 32 T3 cancelled, psi = 64 supplied) and the a0 uplift (M3, v517: log correction coupled to the centre count on four scales); the delta-1 chain is DECIDED by v518 (CELEST.WP5E.DELTA1.01: the derived chiral measure kills the delta-1 route; the stated v516 tension -- declared vs derived measure -- is the sharp named [O] the global quantisation must resolve); the global quantisation and the OS/real-structure bridge (WOIT.OS.TWISTOR.01) stay open. [O] throughout; nothing executed so far moves it; the parent SEAM.EQUIV.01 stays [O] as an unconditional claim. UPDATED 2026-08-27 (v973): the declared measure is RIGID on the computable sector -- an 18-parameter deformation of the declared measure data (contact normalisation, 4 sector weights, residue normalisation, 4 linking charges, 4 centre positions) with 4 gauge directions has executed-constraint Jacobian ranks C1 clock 9 / C2 lockstep+integrality 8 / C3 charge 2 / C4 null-ideal 2, joint rank 13 => the moduli kernel is EXACTLY 1 = the uniform sector-weight shift dv = (1,1,1,1), mapping to the untwisted Okubo square Q0 = 36(1,2,1,0,0) and annihilated by every executed certificate functional BY CONSTRUCTION (exactly flat to all orders); ablation ledger (full,-C1,-C2,-C3,-C4,-C1&C2) = (1,3,1,2,3,10); byproduct Phi_P = 3 Phi_T5 + (9/4) Phi_T3 on the deformation image. HONEST: this is sector-level rigidity, NOT a BCOV derivation -- the computable sector is the finite v508/v515 shadow, C4 pins level sets of EXECUTED functionals only, and the W2:W13 = 4:3 Harvey-Moore tester is typed NOT-TRANSCRIBABLE; the global quantisation stays the open closure condition; status UNCHANGED [O].
Original classification detail
Open [O]: the twistor/Costello-Li route of SEAM.EQUIV.01; the CELEST.SEAM.01 work packages are preparation; closes only with the global BCOV quantisation + the WOIT.OS.TWISTOR.01 bridge
Dependencies as recorded
SEAM.EQUIV.01; CELEST.SEAM.01; WOIT.OS.TWISTOR.01; CELEST.WP1.01; CELEST.WP4.01; CELEST.WP5A.01; CELEST.WP5B.01; CELEST.WP5C.01; CELEST.WP5D.01; CELEST.WP5DB.01; CELEST.WP5E.ALPHA.01; CELEST.WP5E.BETA.01; CELEST.WP5E.GAMMA.01; CELEST.WP5E.DELTA2.01; CELEST.WP5E.EPS2.01; CELEST.WP5E.EPS1.01; CELEST.WP5E.M1.01; CELEST.WP5E.M2.01; CELEST.WP5E.M3.01; CELEST.WP5E.DELTA1.01
Open the original ledger source, row 584Location 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.
- E8 audit and bootstrap
- Research contracts
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.
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)tfpt research contracts
- Front matter / supportResearch contracts
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- Honest statusinput 4 origin theory
- Front matter / supportResearch contracts
- =150 2026-07-23 (I) ( v523 — the constructive [formula in source] derivation executed and promoted as the ledger row CELEST.WP5E.WM.01: `` [formula in source] is the Atiyah–Bott / zeta-determinant fixed-point factor, COMPUTED from three independent sources'' — verdict ERFOLG per the frozen preregistration; the residual \ of v516/ v520 is closed at the fibre-zero-mode level and narrows to the GLOBAL BCOV integral on [formula in source] beyond the fibre zero-mode factor; the celestial/twistor story in tfpt_3 gains Step 24 — (1) ATIYAH–BOTT (route i) : the equivariant mode ledger of the fibre [formula in source] equals the closed form [formula in source] exactly in [formula in source] for all [formula in source] ; REGULAR at [formula in source] with Abel value [formula in source] , [formula in source] ; [formula in source] Ces\`aro convergence in exact arithmetic; fixed-point splitting at EVERY truncation level [formula in source] for the phased (skeleton) AND the v520-forced unphased (completion) trace — the Abel-limit [formula in source] is the v516 contact vector COMPUTED, not declared; (2) ZETA/QUILLEN (routes ii/iii) : [formula in source] of the [formula in source] -twisted circle Laplacian [formula in source] EXACTLY (Lerch [formula in source] reflection formula symbolically, Hurwitz certificates [formula in source] ); Quillen split [formula in source] , [formula in source] , the real positive holomorphic section UNIQUE via the [formula in source] conjugation pairing; the [formula in source] [formula in source] block at the [formula in source] nodes carries the exact constant term [formula in source] (deviations [formula in source] ); (3) the CONSISTENCY CHAIN : [formula in source] ; [formula in source] at every scale; [formula in source] ; the [formula in source] budget [formula in source] forces [formula in source] uniquely (leftovers [formula in source] ); per-sector Okubo squares [formula in source] ; total [formula in source] ; [formula in source] , [formula in source] ; [formula in source] , [formula in source] ; (4) NEGATIVE CONTROLS : [formula in source] gives [formula in source] , leftovers [formula in source] , Quillen contradiction; [formula in source] gives [formula in source] ; the [formula in source] /Eguchi–Hanson anchor PASSES with the same derivation ( [formula in source] , [formula in source] , [formula in source] , [formula in source] ); the [formula in source] KILL fires; [formula in source] breaks the zeta [formula in source] AB identity itself; [formula in source] : [formula in source] — the weights wander correctly, only [formula in source] carries the [formula in source] chain; TYPED PREMISES \ (the mandatory fence): TP-REG (Abel/Ces\`aro/zeta regularisation [formula in source] the definition of the equivariant character), TP-Q (Quillen structure of BCOV [formula in source] [formula in source] v520 TP-4), TP-NUM (unphased numerator [formula in source] v520 ERFOLG-A), TP-CH (insertion channel [formula in source] ); : the global BCOV integral beyond the fibre zero-mode factor, the resolved-ALE route not built, SEAM.EQUIV.TWISTOR.01 stays Open; NO marker moves)Research changelog; TFPT — Introduction and reading guide
- Research Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)tfpt research contracts
- =150 2026-07-22 (X) ( v520 — the WP5e BCOV measure question DECIDED at probe level and promoted as the ledger row CELEST.WP5E.MEASURE.01: ``single-valuedness is derived, the completion reading wins'' — the [formula in source] consolidation in the v518 style, ERFOLG-A on the preregistered decision layer (the celestial/twistor story in tfpt_3 gains Step 21): which of the two exact, contradictory measures on [formula in source] is the true BCOV measure — (A) the DECLARED completion reading ( v516) or (B) the DERIVED chiral measure ( v518)? — (1) the INVARIANT SUBSPACE : [formula in source] in the dressed [formula in source] -component Weil system (exact rational nullspace); EVERY kernel vector lies in the [formula in source] -span of [formula in source] — the two Lagrangian gluings, both theta [formula in source] , level-1 quartic [formula in source] the UNPHASED trace; strict trivial-character solutions at physical weight [formula in source] : ZERO for every dressing ( [formula in source] combinations); (2) SOURCE 1 — the F-LEMMA : the only strict chiral families are [formula in source] (dims [formula in source] ) and [formula in source] (dims [formula in source] ), both with nontrivial [formula in source] -character EXACTLY; the canonical column-matched member obeys [formula in source] pointwise (certificate [formula in source] , [formula in source] ); EXACT change of variables [formula in source] fundamental-domain independence forces [formula in source] for EVERY chiral integrand: the v518 route was never a well-defined nonvanishing moduli integral (the kill is SHARPENED — its unfolded values are convention bookkeeping); (3) SOURCE 2 — the QUILLEN PAIRING : [formula in source] on all [formula in source] pairs and both generators; [formula in source] exactly vs one-sided [formula in source] ( [formula in source] -fixed: [formula in source] , [formula in source] defective); the doubled [formula in source] -dim hol [formula in source] antihol system closes STRICTLY at trivial character and physical weight (nullspaces [formula in source] ), contains the unphased diagonal ( [formula in source] ) AND the physical columns [formula in source] ( [formula in source] [formula in source] ); negative control hol [formula in source] hol: EMPTY nullspace [formula in source] ; (4) the CONSISTENCY CLOSURE : the forced unphased numerator in the v518 scaffold reproduces [formula in source] EXACTLY on every level [formula in source] ; [formula in source] -weighted spreads [formula in source] , [formula in source] , zero negative cells; [formula in source] — the [formula in source] -weighted mirror image of [formula in source] / [formula in source] ; linearity [formula in source] : the circle to v516 is CLOSED; (5) D3 — the [formula in source] /EH ANCHOR : only the declared reading hits ( [formula in source] , [formula in source] , scale tooth [formula in source] ); all three derived instantiations fail (spreads [formula in source] , [formula in source] sign wrong); (6) D1 — COLUMN CANONICALISATION : the physical AB column [formula in source] is contained EXACTLY in the [formula in source] family ( [formula in source] [formula in source] , one scalar per orbit — canonicalising [formula in source] ); the canonical member STILL fails every tester; NEGATIVE CONTROLS: [formula in source] ( [formula in source] / [formula in source] exact, [formula in source] -only), wrong form ( [formula in source] ), wrong weight (dev [formula in source] ), shuffle ( [formula in source] / [formula in source] ), planted family detected ( [formula in source] ), hol [formula in source] hol empty; \ TYPED PREMISES (the mandatory fence): TP-1 (F-independent moduli integral), TP-2 (nonvanishing — must source [formula in source] ), TP-3 ( v518 kernel convention), TP-4 (Quillen structure of BCOV [formula in source] ); \ the constructive BCOV derivation of the [formula in source] normalisation itself; WIRKUNG (text only, no marker moves): the v516 fence and the v518 tension now read ``decided at probe level for the declared reading under TP-1..TP-4 (v520)''; SEAM.EQUIV.TWISTOR.01 stays Open; VERDICT ERFOLG-A per the preregistered criteria — both constructive sources fire independently, the consistency closure carries)Research changelog; TFPT — Introduction and reading guide
All 34 linked sections
- Research Contract 1 — [formula in source]
- Honest status
- =150 2026-07-22 (VIII) ( v518 — the WP5e [formula in source] chain ( [formula in source] ) DECIDED and promoted as the ledger row CELEST.WP5E.DELTA1.01: ``the derived chiral measure kills the [formula in source] route'' — an honest, decided NEGATIVE result in the v508 style, with the v516 tension stated: does the Harvey–Moore/BCOV fundamental-domain integral on [formula in source] , evaluated under a measure DERIVED from blockwise [formula in source] covariance of the dressed [formula in source] -component Weil system (solved for — not declared, not scanned), deliver the twisted contact vector [formula in source] or the [formula in source] slice? NO — (1) the 16-COMPONENT WEIL COMPLETION ( [formula in source] ): the discriminant module of [formula in source] is [formula in source] with [formula in source] , Gauss sums [formula in source] (signature [formula in source] rank [formula in source] ), the Weil relations hold EXACTLY in [formula in source] ( [formula in source] , [formula in source] , [formula in source] , [formula in source] , tensor split [formula in source] ), the diagonal [formula in source] and anti-diagonal [formula in source] are the two invariant Lagrangians (both counts [formula in source] : two [formula in source] gluings), [formula in source] with [formula in source] of every [formula in source] -image weight on the [formula in source] shifted classes, and the [formula in source] -vector theta [formula in source] -covariance CLOSES: the [formula in source] E1.5 residual [formula in source] (naive [formula in source] -character rule) drops to [formula in source] ; (2) the OBSTRUCTION IS A FINITE [formula in source] CHARACTER, IDENTIFIED ( [formula in source] ): the dressed gauge blocks [formula in source] carry constant transport [formula in source] ( [formula in source] + digits, recognised as exact [formula in source] -grid phases at [formula in source] ), the [formula in source] -fixed pairs [formula in source] carry [formula in source] EXACTLY (the naked level-matching defect), the transport-groupoid loops land in [formula in source] resp.\ [formula in source] with joint holonomy eigenspaces dim [formula in source] resp.\ [formula in source] and every eigen-phase of order [formula in source] ; the KOBOUNDARY TEST: the [formula in source] relation defects [formula in source] , [formula in source] , [formula in source] are [formula in source] EXACTLY on all [formula in source] pairs — the multiplier system is a CHARACTER of the orbit stabilisers, NOT a genuine 2-cocycle, and on [formula in source] it is [formula in source] ; (3) the CANCELLATION EXISTS AND IS THE TWISTED FIBRE BLOCK [formula in source] , NOT THE THREE SPHERE AXIONS: [formula in source] is an exact identity ( [formula in source] + digits; the axion [formula in source] -phases are v502 vacuum-energy data), the T-fix mechanism is one line of exact phase arithmetic — [formula in source] at every [formula in source] -fixed node — and the exact CANCELLATION TABLE reads: none [formula in source] residual order [formula in source] , [formula in source] (the three sphere axions) [formula in source] , [formula in source] , [formula in source] (hol AND anti), wrong weights [formula in source] ; the strict solutions are exactly [formula in source] (dims [formula in source] ) and [formula in source] (dims [formula in source] ) at [formula in source] , certified on the dressed functions at a fresh [formula in source] ( [formula in source] , NO residual multiplier); (4) the DECISION — ALL THREE PREREGISTERED TESTERS FAIL: under both derived solutions the integral ( [formula in source] -digit kernels, negative-exponent cell audit, cut-6 vs cut-8 scan) fails [formula in source] (fractions [formula in source] / [formula in source] ), fails [formula in source] ( [formula in source] ), fails [formula in source] (spreads [formula in source] / [formula in source] ) and the [formula in source] slice, and the honest [formula in source] orbit rebalance rescues nothing in the positive cone ( [formula in source] : [formula in source] only at [formula in source] ; [formula in source] : only at [formula in source] ) — a GENUINE KILL on the derived surface; (5) NEGATIVE CONTROLS: [formula in source] /Eguchi–Hanson (gauge-only residual order [formula in source] — the [formula in source] defect is [formula in source] -specific — and the SAME fibre dressing cancels it to [formula in source] ), [formula in source] (only even sectors, all axion [formula in source] -characters in [formula in source] : the order-4 supply structurally absent), wrong form [formula in source] ( [formula in source] , its [formula in source] -rule fails at [formula in source] ), wrong signature ( [formula in source] exactly); \ the [formula in source] KS-weight identification (deck weights [formula in source] the twistor fibre weights forced by the v514 incidence ledger — exact match, NOT a complete BCOV derivation) [formula in source] the kernel-family convention [formula in source] the discrete [formula in source] choice (both evaluated, both fail); the MANDATORY TENSION FENCE: the DECLARED completion reading ( v516/M2) delivers the [formula in source] slice and cancels [formula in source] ; the DERIVED chiral measure (this module) fails all three testers — both are exact; the sharp open question is which of the two is the true BCOV measure — neither result is hidden behind the other; \ the BCOV-integral derivation on [formula in source] that decides between the two measures; Wolfram extension [formula in source] (verified engine run); NO marker moves — the [formula in source] route is decided negative under the derived measure, the cubic-GS question stays dissolved, SEAM.EQUIV.TWISTOR.01 stays Open, SEAM.EQUIV.01 untouched)
- 2026-07-22 (IV) (external review integrated: route renamed, object diagram, group-extension definition, SEAM.EQUIV route split (MMST/TWISTOR ids, no status change), [formula in source] role table, WOIT.OS.TWISTOR.01 contract — a pure structure/text integration, NO new physics claims, NO marker moves, suite unchanged at [formula in source] )
- 2026-07-22 (V) ( v515 — WP5e back-reaction milestone M1 ``the [formula in source] [formula in source] '' executed (SUCCESS on the preregistered v514 S8.1 criterion), promoted as the ledger row CELEST.WP5E.M1.01: the back-reacted holomorphic [formula in source] -form [formula in source] is CLOSED FORM on the [formula in source] twistor family, every [formula in source] period is [formula in source] -integral with the lockstep flux vector, and the lens geometry FORCES the source charge [formula in source] — (1) the RESIDUE FORM DERIVED: on [formula in source] all three ambient representatives satisfy [formula in source] exactly and pull back to [formula in source] (Poincar\'e residue, derived not assumed); orbifold-cover pullback at [formula in source] : [formula in source] (flat form) — the residue normalisation CARRIES the source charge [formula in source] ; clock [formula in source] ( v492 S5 replicated); weight ledger [formula in source] , [formula in source] ; (2) the TWISTOR FAMILY CLOSED: from the four [formula in source] centre sections [formula in source] exactly [formula in source] ( [formula in source] identically; [formula in source] gives exactly the v493 family; [formula in source] opens only off-seam), CY-compatible clock lift [formula in source] , [formula in source] , [formula in source] ; (3) [formula in source] CLOSED [formula in source] PERIOD TABLE: [formula in source] with CPS/Bochner–Martinelli kernels on the centre twistor lines, [formula in source] off-source; boundary [formula in source] at the orbifold point [formula in source] (minimal invariant charge [formula in source] — the lens fundamental domain FORCES [formula in source] ), deformed phase [formula in source] , linking [formula in source] uniformly [formula in source] , per-sphere flux vector [formula in source] (forced uniform: clock orbit [formula in source] [formula in source] connectivity), seam-fibre phase vector [formula in source] ; [formula in source] carries ZERO [formula in source] -flux (all flux sourced); [formula in source] fibre residue [formula in source] transversal residue (density [formula in source] ); (4) CLOCK COVARIANCE: [formula in source] for ALL [formula in source] ; the [formula in source] collision nodes sit exactly on the [formula in source] eighth roots of unity ( [formula in source] , the [formula in source] bridge), clock orbits [formula in source] , honest conifold points (Hessian det [formula in source] , quadric rank [formula in source] ); (5) the HONEST KILL PROBE: forbidden family [formula in source] : [formula in source] lockstep (vs [formula in source] ), [formula in source] -support [formula in source] twelfth roots [formula in source] , no antipodal pairing — BUT the [formula in source] quantisation holds there TOO: integrality alone is NOT the discriminator, the discriminator is the lockstep phase structure [formula in source] the clock forcing; the v509 dial survives; (6) ANCHORS [formula in source] CONTROLS: EH/ [formula in source] (charge [formula in source] forced), CPS original (every integer [formula in source] allowed), [formula in source] ( [formula in source] , collapse at step zero), fractional charges [formula in source] excluded; \ global kernel patching / Hitchin small resolution / CPS brane dictionary; \ M2 (twisted KS measure), M3 ( [formula in source] uplift), the quantised BCOV coefficient; Wolfram extension [formula in source] (verified engine run); NO marker moves — M2/M3 and BCOV stay , SEAM.EQUIV.TWISTOR.01 stays Open ( v515 is preparation, not construction), SEAM.EQUIV.01 untouched)
- The celestial and twistor continuum route
- The hard reduction: the live residual as typed interfaces
- Honest status
- Front matter / support
- Front matter / support
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Research Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)
- Honest status
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Front matter / support
- The [formula in source] compiler: [formula in source] as a closure, not an input
- The celestial and twistor continuum route
- The [formula in source] compiler: [formula in source] as a closure, not an input
- Research Contract 1 — [formula in source]
- Front matter / support
- 2026-07-22 (VI) ( v516 — WP5e back-reaction milestone M2 ``the twisted Kodaira–Spencer measure'' executed (SUCCESS on the preregistered v514 S8.2 criterion, ON THE DECLARED COMPLETION MEASURE — verdict B), promoted as the ledger row CELEST.WP5E.M2.01: the one-loop box coefficient per sector on [formula in source] under the completion contact term [formula in source] — the twisted-sector LOOP contributes the UNPHASED sector trace with the [formula in source] zero-mode normalisation [formula in source] , of which the Atiyah–Bott skeleton kept only the phase-weighted insertion part — (1) the COMPLETION-WEIGHT IDENTITY (the centrepiece): per glue class [formula in source] EXACTLY ( [formula in source] the v502 sector Casimir energies, [formula in source] the McKay/Kronheimer charges, v505 S4.3 index bridge): THE THREE SPHERE AXIONS PAIR THROUGH THEIR OWN ch [formula in source] CHARGES — an exact identity, NO free scale, no fit; (2) PARAMETER-FREE LOCKS: [formula in source] for ANY scale [formula in source] (the ch [formula in source] pattern alone kills [formula in source] ); ratio [formula in source] the [formula in source] -forced leading ratio (REPRODUCED, not fitted); the [formula in source] budget fixes [formula in source] uniquely (leading system det [formula in source] , unique weights [formula in source] ); (3) the SUCCESS TABLE: [formula in source] — a PERFECT Okubo square ( [formula in source] , [formula in source] in EVERY twisted channel: [formula in source] ); total [formula in source] Dedekind [formula in source] Okubo [formula in source] the UNIQUE quartic-free weighting of v505 S3.8 (the rigidity theorem is exactly what the measure lands on); both v508 certificates KILLED ( [formula in source] , [formula in source] ); the v511 slice [formula in source] SUPPLIED EXACTLY ( [formula in source] ) — NO cubic [formula in source] -channel needed ( [formula in source] free [formula in source] ); remainder inside the exchange span ( [formula in source] , [formula in source] ): the BULK axion cancels every channel with the SAME [formula in source] , the twisted propagator carrying the AB zero-mode factor [formula in source] ; the v514 measure chain stays [formula in source] -blind; (4) NEGATIVE CONTROLS: wrong scale [formula in source] leaves [formula in source] — only [formula in source] clears the budget; the [formula in source] shuffle breaks [formula in source] AND [formula in source] ; [formula in source] glue keeps [formula in source] / [formula in source] — the KILL branch FIRES there (Okubo failure inherited: [formula in source] doubly special); [formula in source] degenerates to the [formula in source] target and breaks the conjugation pairing [formula in source] the index bridge; the [formula in source] /Eguchi–Hanson anchor PASSES with the same mechanism ( [formula in source] , coupling scale [formula in source] centre count); (5) the MULTIPLIER NOTE (cross-reference to the parallel [formula in source] strand): the contact weights [formula in source] are REAL RATIONALS with no multiplier system of their own; the [formula in source] residual phases are the SQUARES of the [formula in source] discriminant [formula in source] -phases [formula in source] — orders [formula in source] squaring to [formula in source] , a finite [formula in source] system; Gauss sums [formula in source] , [formula in source] , full Weil sum [formula in source] ; \ the MANDATORY FENCE: the completion reading (the loop of twisted states carries the UNPHASED sector trace with the same zero-mode normalisation) is DECLARED, supported by the [formula in source] modular-completion finding, NOT derived from the BCOV integral; \ the BCOV-integral derivation ( [formula in source] territory); Wolfram extension [formula in source] (verified engine run); NO marker moves — the KILL (leftover independent quartic in ANY sector) does NOT fire, the completion reading stays -declared, SEAM.EQUIV.TWISTOR.01 stays Open, SEAM.EQUIV.01 untouched)
- 2026-07-22 (VII) ( v517 — WP5e back-reaction milestone M3 ``the [formula in source] uplift'' executed (SUCCESS on the preregistered v514 S8.3 criterion), promoted as the ledger row CELEST.WP5E.M3.01: the [formula in source] GH multipole ( [formula in source] the [formula in source] direction) is uplifted to the twistor-potential kernel [formula in source] — the LOG of the v515 family polynomial — and the induced K\"ahler-potential correction is a log-type correction COUPLED TO THE CENTRE COUNT ON FOUR SCALES — (1) the KERNEL BRIDGE: the [formula in source] section is a NULL coordinate ( [formula in source] identically for an ARBITRARY kernel [formula in source] : the uplift is well-typed), the RESIDUE IDENTITY [formula in source] holds EXACTLY (residue [formula in source] ), so the GH potential [formula in source] IS the [formula in source] -derivative of the contour transform of [formula in source] ; flux [formula in source] per centre, source charge [formula in source] (the [formula in source] -ledger matched); (2) the ASYMPTOTIC KERNEL LOG: [formula in source] with LOG COEFFICIENT [formula in source] centre count (the CPS `` [formula in source] '' analogue at kernel level); at the clock-fixed seam fibre [formula in source] the [formula in source] slot closes and the first correction is EXACTLY [formula in source] the [formula in source] multipole in kernel clothes; exact [formula in source] -grading ( [formula in source] pieces PURE [formula in source] , [formula in source] piece [formula in source] [formula in source] -free: the [formula in source] breaking sits exclusively in the [formula in source] pieces); NO [formula in source] power terms (the v514 honest zero preserved — the [formula in source] correction is power-law at infinity); the once-integrated GLT tower [formula in source] with [formula in source] unless [formula in source] and [formula in source] : EVERY correction carries the prefactor [formula in source] centre count; (3) the EXCEPTIONAL-LOCUS LOG: [formula in source] ( [formula in source] -coefficient [formula in source] , clock phase [formula in source] ); the modulus response [formula in source] equals [formula in source] AT the exceptional locus and falls off as [formula in source] at infinity (no constant, no log): the [formula in source] -log lives at the exceptional locus, exactly as v514 S6.3 demanded; (4) the PERIOD RESPONSE: [formula in source] is LINEAR in [formula in source] (uniform first-order shift: lockstep [formula in source] phase ratios [formula in source] preserved exactly), [formula in source] uniformly, and the integrated shift around the [formula in source] circle is the monodromy [formula in source] ONE Coxeter clock step (the v493 monodromy REPRODUCED from perturbation theory; the finite monodromy is the cyclic centre permutation [formula in source] ); the node [formula in source] -support is [formula in source] -FREE (the [formula in source] seam bridge is [formula in source] -rigid), all [formula in source] pair discriminants [formula in source] ( [formula in source] connectivity: the forced uniform flux vector persists), the BM kernel is modulus-free with [formula in source] (the quantised fluxes cannot move); (5) NEGATIVE CONTROLS: the [formula in source] multipole is [formula in source] -independent in [formula in source] AND in the kernel (clock-invariant, breaks nothing); the [formula in source] /Eguchi–Hanson analogue reads [formula in source] on EVERY dial ( [formula in source] amplitude [formula in source] , kernel log [formula in source] , exceptional log [formula in source] , response [formula in source] , monodromy [formula in source] ); wrong centre counts [formula in source] : kernel log coefficient [formula in source] , modulus slot [formula in source] — the observable MOVES with the centre count; forbidden family [formula in source] : [formula in source] (selection rule broken), [formula in source] (no [formula in source] -log) — fails BOTH uplift dials; \ the GLT dictionary ( [formula in source] the GH K\"ahler-potential kernel, Lindstr\"om–Ro cek / Ivanov–Ro cek); \ the full nonlinear K\"ahler potential of the resolved [formula in source] ALE; with v516 the v514 fence M1–M3 is FULLY WORKED OFF; Wolfram extension [formula in source] (verified engine run); NO marker moves — the KILL (decoupling from the centre count) does NOT fire, SEAM.EQUIV.TWISTOR.01 stays Open (preparation, not construction), SEAM.EQUIV.01 untouched)
- Front matter / support
- The [formula in source] compiler: [formula in source] as a closure, not an input
- Front matter / support
- In plain words
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.
- Research Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)Research contracts
- 2026-07-20 (V) ( v492 [formula in source] the new research contract CELEST.SEAM.01 — the celestial-holographic route: the [formula in source] [formula in source] -glue is the flat [formula in source] monodromy of the equivariant celestial chiral algebra on the [formula in source] ALE space, with the exact correction clock [formula in source] deck (spin bridge [formula in source] , [formula in source] ); verdict B, no gate closes, no marker moves, SEAM.EQUIV.01 stays )Research changelog; TFPT — Introduction and reading guide
- 2026-07-22 (III) ( v514 — WP5e- [formula in source] ``the [formula in source] bulk-axion slot'' executed (verdict B), promoted as the ledger row CELEST.WP5E.EPS1.01: the [formula in source] tower field of the celestial route is now a CONSTRUCTION, [formula in source] is pinned three ways, and the first honest back-reaction step is taken in Gibbons–Hawking form — (1) the EQUIVARIANT [formula in source] SLOT: the pushforward ledger [formula in source] on [formula in source] gives per degree [formula in source] exactly [formula in source] classes [formula in source] the exact wave-operator nullspaces ( [formula in source] for [formula in source] ), the v492 action on the fibre coordinates [formula in source] with incidence-forced column weights [formula in source] closes the equivariant bookkeeping BLOCK BY BLOCK (all [formula in source] , all [formula in source] characters); character series [formula in source] , [formula in source] , [formula in source] ; the [formula in source] slot has multiplicity [formula in source] — THE BULK AXION SURVIVES THE PROJECTION; Molien invariant ring [formula in source] — [formula in source] , [formula in source] , relation degree [formula in source] the [formula in source] weight ( v492/ v493 bridge); E3 bijection sharpened (twisted minimal content [formula in source] [formula in source] the Coxeter eigenvalues, [formula in source] ); graviton control: [formula in source] invariant only from fibre degree [formula in source] with multiplicity [formula in source] ; (2) [formula in source] TRIPLY PINNED: Okubo [formula in source] on the [formula in source] glue roots ( [formula in source] , [formula in source] ); the measure chain cancels [formula in source] EXACTLY (vertex [formula in source] [formula in source] , propagator [formula in source] , anomaly [formula in source] ; [formula in source] for arbitrary [formula in source] ; wrong bookings EXCLUDED: anomaly-only [formula in source] , missing propagator renormalisation [formula in source] ); flux (minimal CPS quantum [formula in source] , single channel iff [formula in source] , [formula in source] exact); (3) the GH/ [formula in source] BACK-REACTION STEP: invariant [formula in source] -centre configurations [formula in source] exactly [formula in source] branches, the free orbit re-derives the v493 family ( [formula in source] , [formula in source] , monodromy [formula in source] one clock step), the charge- [formula in source] GH point is exactly [formula in source] ( [formula in source] : seam boundary [formula in source] ), periods [formula in source] LOCKSTEP ( v509 counter-check), Coxeter clock from geometry ( [formula in source] ), source charge [formula in source] , EH asymptotic log coefficient EXACTLY [formula in source] (the CPS log is an exceptional-locus statement; Burns contrast [formula in source] ), multipole rule [formula in source] with [formula in source] carrying [formula in source] ; controls [formula in source] ( [formula in source] irrational, squares only [formula in source] ), [formula in source] (Veronese), [formula in source] (three channels); \ conditional on Costello's flat- [formula in source] matching; \ the quantised BCOV coefficient and the twisted channels ( [formula in source] ) — M1–M3 preregistered (the [formula in source] [formula in source] / the twisted KS measure / the [formula in source] uplift, each with success [formula in source] kill); Wolfram extension [formula in source] (verified engine run); NO marker moves — WP5e stays , SEAM.EQUIV.01 untouched, CELEST.SEAM.01 stays Open)Research changelog; TFPT — Introduction and reading guide
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- Front matter / supportResearch contracts
- 2026-07-21 (IV) (Wolfram engine reactivated — the deferred second-path mirrors VERIFIED: base [formula in source] [formula in source] extension [formula in source] ( [formula in source] , the 16 mirrors accumulated since 2026-07-14 now counted); GATE.WOLFRAM.01/02 and all counter surfaces synced; no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- 2026-07-20 (VII) ( v493 — WP2 of CELEST.SEAM.01 executed: the clock-invariant deformation [formula in source] is a PURE SCALE with the [formula in source] pillowcase frozen, the [formula in source] clock IS the Picard–Lefschetz/Coxeter monodromy of the seam deformation, and the BHS deformed-algebra pattern transfers [formula in source] with no sector leak; verdict B, contract updated to WP2 done, no gate closes, no marker moves, SEAM.EQUIV.01 and the v216 residual stay )Research changelog; TFPT — Introduction and reading guide
All 15 linked sections
- =150 2026-08-24 (CXVIII) (the CCC-crossover promotion — the kinematics dictionary of the conformal-cyclic crossover graduates from the experiments tree into the load-bearing suite as v957_ccc_crossover_kinematics.py (suite [formula in source] ; six discovery probes of rounds DL–DLV re-run GREEN AS TYPED at promotion and embedded BYTE-EXACT with pinned SHA-256 hashes: ccc_crossover_gates_probe.py [formula in source] , ccc_uplift_4d_probe.py [formula in source] , ccc_fork_kms_holonomy_probe.py [formula in source] , ccc_kernel_gamma_kms_probe.py [formula in source] , ccc_transfer_selector_probe.py [formula in source] , ccc_kappa_freeze_probe.py [formula in source] ): (1) Penrose's reciprocal gauge [formula in source] is the element [formula in source] of the PROVEN [formula in source] M\"obius stabiliser [formula in source] — [formula in source] reverses the clock ( [formula in source] the [formula in source] sheet parity), swaps the aeon poles [formula in source] , and the crossover locus [formula in source] is the unit circle carrying ALL FOUR marks; (2) conformal-factor rigidity: on the 2D seam the clock alone leaves exactly ONE constant-curvature modulus (Liouville-exact dilation family) and the reciprocal [formula in source] kills it (unique zero at [formula in source] ); on the 3D crossover the deck ALONE kills all conformal moduli (the [formula in source] deck-commutant is [formula in source] -dimensional [formula in source] , ALL Killing, boost content [formula in source] ; global uniqueness on the explicit Obata boost family, 200-axis scan bounded below by [formula in source] ) — TFPT's candidate answer to CCC's open unique-conformal-factor problem, [formula in source] staying pure unit calibration; (3) the entropy reset of the cyclic \ reading is a REDUCED CHANNEL: the v221 transport is CPTP not unitary ( [formula in source] ), its Stinespring isometry explicit ( [formula in source] exact), [formula in source] EXACTLY, the global overlap invariant and the environment retaining the full distinguishability — ``unitarity [formula in source] rank-1 attractor'' is isometry [formula in source] partial trace; (4) the kinematic [formula in source] uplift from corpus objects only: stereographic(Hopf [formula in source] ) [formula in source] EXACTLY (the seam sphere IS the Hopf base), the v492 deck [formula in source] acts freely so the crossover [formula in source] is the smooth lens boundary of the corpus [formula in source] ALE [formula in source] , clock [formula in source] and the reciprocal lift [formula in source] normalise the deck and descend ( [formula in source] to [formula in source] , inverting the clock), the four marks lift to four Hopf fibre circles paired by the deck into the TWO [formula in source] sheet orbits with Gauss linking number [formula in source] , the 4D bridge is the cone [formula in source] with the inversion [formula in source] a conformal involution (pullback [formula in source] symbolic) fixing the unit lens POINTWISE and swapping the aeon ends, and the Lorentzian shadow [formula in source] is Einstein [formula in source] (symbolic Ricci) with a SPACELIKE round- [formula in source] crossover and [formula in source] vanishing to first order; (5) the KMS/modular closure of discrete [formula in source] dynamics at the free level: detailed balance EXACT, [formula in source] EXACTLY (the seam gap IS a modular energy), [formula in source] (one clock tick [formula in source] one unit of KMS time at [formula in source] ), OS Gram PSD, and the v526 normalisation [formula in source] replicated exactly [formula in source] the Gibbons–Hawking normalisation on the crossover fibre; (6) the holonomy dictionary: the two clock-pole circles descend to the lens core geodesics with the full [formula in source] monodromy [formula in source] while EVERY seam string carries exactly the 2-torsion [formula in source] , and [formula in source] is trivial on the base while flipping the spinor coordinates — the v522 statement ``gaugeable datum [formula in source] the 2-torsion [formula in source] ; full wrap [formula in source] fermion parity'' in geometric form (typed \ correspondence); (7) the selector necessity (the [formula in source] -facing theorem): the admissible OS reflections of the v512 mark family [formula in source] form the pair-exchanging [formula in source] for every [formula in source] and close to [formula in source] EXACTLY at [formula in source] (the order-4 clock factorises into admissible reflections, [formula in source] , iff [formula in source] ), and at Majorana operator level on the [formula in source] seam ring with fermionic reordering signs kept the free parent is [formula in source] -real on ALL 16 axes (v521 side-blindness replicated) while the interacting family is [formula in source] -real on exactly [formula in source] axes and the clock-axis cuts ONLY at [formula in source] , asymmetric couplings breaking reality — the UNIQUENESS half of the v534 straddle selector ( [formula in source] , symmetric couplings) is thereby DERIVED as a [formula in source] -reality necessity (the survival half and the coupling sign stay v534's nonperturbative toy facts, cited; reality is sign-blind, checked); (8) the frozen Gate-6 kernel: exactly two decay modes [formula in source] and [formula in source] (ratio [formula in source] ), the frozen defect-class overlap table [formula in source] / [formula in source] with the sheet-parity sign rule, disc radius [formula in source] , and [formula in source] DERIVED from the v526 KMS normalisation up to a declared convention band — [formula in source] ticks across the whole band, relic contrast [formula in source] : the template degenerates ROBUSTLY to the sharp causal top-hat disc; three freeze hashes pinned and recomputed in-run. NEW LEDGER ROWS: CCC.SEAM.KINEMATICS.01 [E] (the certified dictionary) and CCC.SEAM.CROSSOVER.01 [O] (the dynamical-crossover research contract: D1 interacting algebra on the crossover [formula in source] WOIT [formula in source] in the crossover geometry, D2 field-level Stinespring, D3 the cosmology fork decision — Starobinsky [formula in source] priced decidable by [formula in source] experiments —, D4 the executed disc search; kill criteria frozen incl.\ the forbidden mark/Hawking-point count identification); new contract section in tfpt_research_contracts; the origin-theory Penrose-CCC bullet SHARPENED (asymptotic de Sitter does NOT imply conformal flatness — [formula in source] for Schwarzschild–de Sitter, machine-checked; the CCC smoothness/Weyl conditions are additional crossover data) and pointed at the certified kinematics; PREREGISTERED SEARCH scaffolded at experiments/ccc-crossover-disc/ (frozen hypotheses ccc_disc_v1.yaml with kill criteria K1–K6, null battery and BH- [formula in source] [formula in source] replication decision rule; freeze-check CLI 3/3 hashes intact; 5/5 guard tests; catalog entry 7b.9 of the experiments README) — verdict slot data_limited (preregistered); the Planck PR3 SMICA data pass executed separately at experiments level (first data contact logged in the project README). FENCES CARRIED EVERYWHERE: the cyclic/CCC reading stays \ and is NOT upgraded by the promotion; WOIT.OS.TWISTOR.01 stays \ with all kill tests live (the module certifies kinematics [formula in source] free level [formula in source] the necessity direction ONLY); the deck fork is decided only CONDITIONALLY on the v522 wrap identification; a null disc search damages nothing in the compiler core. Research notes DL–DLV appended to experiments/next.txt; FULL run_all.py ALL CHECKS PASSED at 950 modules; bash build.sh release green; bash build.sh audit [formula in source] AUDIT OK; manifests regenerated LAST. No omega closed beyond the two new rows; NO claim that CCC follows from TFPT)
- 2026-07-21 (VIII) (Editorial: dedicated celestial-route section in Paper 3 [formula in source] website mirror — the scattered celestial sentences consolidated into one coherent six-step section; no new scripts, no status changes, no marker moves, SEAM.EQUIV.01 untouched)
- 2026-07-21 (XIII) ( v503 — the v215 deferred emergence test (lever 7) executed light and promoted as QGEO.EMERGE.LIGHT.01: NO dynamical selection of the square modulus — the free field's global [formula in source] winner is the hexagonal torus, [formula in source] is a saddle, criticality at the square is Palais symmetry; the square is pinned by rigidity alone (the raw DtN is mod- [formula in source] block-diagonal iff [formula in source] , an isolated zero); and the residual converges: QGEO-R1 [formula in source] P2-R1 [formula in source] one common rest, ``why does the raw seam carry the order- [formula in source] clock''; Wolfram extension [formula in source] (verified engine run); NO marker moves — QGEO.REALIZE.01 stays / , AX.P2.01 stays a declared axiom)
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)
- The celestial and twistor continuum route
- 2026-07-21 (XVI) ( v506 — seam clock rigidity, Route B of the v503 classification, promoted as SEAM.CLOCK.RIGIDITY.01: TWO exact theorems reduce the order- [formula in source] clock input to ONE alignment bit — Theorem A (M\"obius): the deck [formula in source] has EXACTLY TWO square roots [formula in source] in [formula in source] , both automatically order [formula in source] , and a marks-preserving root exists [formula in source] the deck is the CENTRAL involution of the mark- [formula in source] (counterexample [formula in source] : harmonic with full [formula in source] but deck non-central [formula in source] [formula in source] roots — harmonicity alone insufficient); Theorem B (Fock, the core): the NS deck implementation is FORCED to order [formula in source] — [formula in source] , i.e.\ [formula in source] EXACTLY, a nonsplit [formula in source] , with the [formula in source] tower [formula in source] , [formula in source] ( [formula in source] fermionically explained) and the R-sector control split ( [formula in source] ); the one \ rest: ``the collar deck is the central involution of the mark- [formula in source] '' — the fermionic [formula in source] forces the ORDER, not the spatial alignment; Wolfram extension [formula in source] (verified engine run); NO marker moves — QGEO.REALIZE.01 stays / \ (text precised), P2.TYPING.01 R1 mapped onto the same bit)
- 2026-07-21 (III) (CELEST.SEAM.01 WP3 [formula in source] WP4 executed and promoted: v495 Green–Schwarz alignment (verdict B, honestly non-selective) [formula in source] v496 character-vs-S-algebra type mismatch (verdict B(ii), boundary-limit shadow); contract now WP1–WP4 done, WP5 ; no gate closes, no marker moves, SEAM.EQUIV.01 untouched)
Registered verification modules
- v492_celestial_z4_orbifold.pyRegistered verification module · frontier
Read the description recorded in the module registry
CELEST.WP1.01: WP1 of the celestial-holographic research contract CELEST.SEAM.01 -- the E8 mu4-glue grading (v128) IS the flat Z4 monodromy of the glue-equivariant celestial chiral algebra on the A3 ALE space C^2/Z4 (Bittleston-Homans-Sharma, arXiv:2305.09451, the Z2/Eguchi-Hanson case; Kronheimer-Nakajima flat connection). [E] inner grading: h = (2,2,2,2,2;0^4) reads the glue class mod 4 on all 240 roots => glue = Ad(exp(2 pi i h/4)) = flat Z4 monodromy; A3-side h' = (0^5;1,1,1,-3) = the diagonal (1,1) glue of Z4 x Z4 (v92/v125); Z2 halfway 120 = SO(16) / 128 = spinor. [E] C^2/Z4 IS the A3 singularity XY = Z^4 (Molien + Hilbert (1+t^4)/((1-t^2)(1-t^4)) exact). [E] equivariant SDYM(E8) sector closes: D[d] = 60(d+1) even / 64(d+1) odd -- works ONLY because dim g_j = (60,64,60,64); zero modes = carrier D5+A3+Cartan = 60; density 1/4 = 1/|Z4|. [E] (E8)_1 character = sum of the 4 glue-coset sectors (1+248q+4124q^2+34752q^3, v377); sector weights = the v92/v125 discriminant form (5x^2+3y^2)/8; glue diagonal h = (0,1,1,1) integer = local extension. [E] correction: the A3 deck acts on the celestial sphere as z -> -z (order 2); the order-4 clock z -> iz is the U(2) phase diag(i,1) (normalises the deck, det = i rotates omega by the mu4 generator), spin bridge (spin clock)^2 = deck, Z8 with 8 = 2|mu4|. [E] clock-invariant A3 deformation = 1-parameter XY = Z^4 + a0, branch points = ONE mu4 orbit, cross-ratio 2 (v168/v214 pillowcase). [E] negative controls: diag(i,i) killed 3 ways; false glue breaks additivity 3112/6720; rigidity = Aut(Z4). [C] verdict B: match under the ONE named identification clock^2 = deck. [O] structural arithmetic only -- no celestial duality constructed; CELEST.SEAM.01 stays a research contract; SEAM.EQUIV.01 stays [O]. Exact (sympy).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.