A registered result in its source context
Original ledger classification: Open (research contract)
Recorded statement: THE OSTERWALDER-SCHRADER TWISTOR BRIDGE (2026-07-22; the new central research contract after the external review of the celestial/twistor branch -- THIS IS THE ACTUAL BRIDGE FROM COMPILER TO PHYSICS; everything in CELEST.SEAM.01 is…
Statement, assumptions and sources
Paper context: E8 audit and bootstrap
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
WOIT.OS.TWISTOR.01
Original ledger classification: Open (research contract)
Original claim text
THE OSTERWALDER-SCHRADER TWISTOR BRIDGE (2026-07-22; the new central research contract after the external review of the celestial/twistor branch -- THIS IS THE ACTUAL BRIDGE FROM COMPILER TO PHYSICS; everything in CELEST.SEAM.01 is preparation for it). INPUT: X_+ = (PT/Gamma)_+ (Gamma = Gamma_ALE = <Deck> ~ Z4 in SU(2), normalised by the clock rho = diag(i,1) with rho^2 = Deck); A_hol = the INTERACTING open+closed twistorial algebra (SDYM(E8) + BCOV); rho = the order-4 clock; Theta = the anti-linear real structure induced by the seam reflection (the free covering deck, v510); mu_BCOV+SDYM = the interacting functional (global BCOV+SDYM quantisation on PT/Gamma). TARGET THEOREM: Theta^2 = 1, Theta rho Theta = rho^-1; the gauge-invariant algebra is reflection-positive NAMED TOY THREAT (v529 SEAM.INT.FKTOY.01, NO status change): on the first genuinely interacting 16-Majorana Fidkowski-Kitaev seam toy, Kill-Test 1 does NOT fire (Theta exists with Theta^2=+1 and clock-tower inversion) but Kill-Test 2 FIRES AT TOY LEVEL -- RP breaks for every g>0 by an interference mechanism, with the STRADDLE LAW (RP fails exactly on quartet-straddled cuts) as a concrete hurdle for beta3/gamma; fence: one toy / one interaction class / [C] flat-band parent -- narrows the route (every A_hol must protect RP against exactly this mechanism), does not close it.; the OS quotient produces (H, Omega, U(P^up_+), A_Mink) with: positive Hilbert metric, positive energy, local causality, ONE chiral fermion generation WITHOUT mirror doubling, the TFPT charge lattice, an internal SU(3) x SU(2) x U(1) action, and the (E8)_1 seam net as an ACTUAL boundary net (not only as a character). KILL TESTS (all seven, preregistered): (1) Theta incompatible with the clock; (2) RP fails after gauge fixing; (3) the reconstruction produces a vector-like mirror generation; (4) the Penrose transform reaches only free/self-dual states; (5) the reconstructed net has the right character but the wrong OPE / fails net equivalence; (6) the internal SU(2) remains a spacetime factor; (7) the four mu4 marks are not incidence-compatibly extendable over spacetime. SCOPE FENCE (explicit non-claims of the celestial/twistor branch until this closes): both helicities, generic amplitudes, local matter, full Einstein dynamics, EWSB, confinement. EXTERNAL FRAME: Woit's Euclidean Twistor Unification (arXiv:2104.05099 -- chiral Wick rotation problematic for purely chiral theories; Euclidean-holomorphic theory on PT, Lorentzian theory via conjugation structure/boundary values) is a NAMED reference frame, never a confirmation: until Theta + interacting RP exist, the Woit connection is a strong analogy, not a mathematical integration. ALPHA STAGE EXECUTED (2026-07-22) via v519: Theta exists with Theta^2 = +1 and Theta rho Theta = rho^-1 on all four levels (sphere, C^4, Z8 spin, Cl(16) Fock), free RP holds on the bond cut and selects the SAME family as the clock-inversion relation; kill test 1 does NOT fire at the free level and stays live on the interacting algebra; beta/gamma milestones named (beta-1 Theta on the gauge-invariant subalgebra + gauge-fixed RP on the equivariant SDYM(E8) sector; beta-2 the OS quotient of the free system explicit; beta-3 the PT <-> PT* duality vs sigma_std typed; gamma the chirality theorem + the mark incidence). TWO CONTRACT PRECISIONS (prose, no marker): (i) 'Theta induced by the seam reflection' means the seam-circle REFLECTION, not the deck -- the deck furnishes the (-1)^F Kramers class (the v510 bridge); (ii) the marks sit RP-side on the BOND MIDPOINTS of the 16-Majorana circle. BETA-1 EXECUTED (2026-07-22) via v522: verdict UNDECIDED per the frozen preregistration -- the clock-tower reading of 'gauge' fails Hermiticity structurally (the mu4 clock is euclidean-time-like: all 16 mirror axes invert it); the gaugeable part of the Z8 tower is exactly the GSO/fermion-parity Z2, under which gauge-fixed RP HOLDS ((29,0,0) PD at N = 16, (8,0,0) PD full N = 8 algebra); kill test (2)'s free shadow does NOT fire, kill test (1) stays discharged also gauge-invariantly; the clock-equivariant statement is re-routed to beta-2 (OS quotient first, then the clock as reconstructed transfer operator). THIRD CONTRACT PRECISION (prose, no marker): (iii) 'gauge-invariant subalgebra' at the free level means the GSO/fermion-parity Z2 -- the only theta-compatible part of the mu4 tower; the clock is the euclidean rotation itself (timelike), its equivariant statement moves to beta2. BETA-2 EXECUTED (2026-07-23) via v524: verdict SUCCESS, [C]-typed per precision (iii) -- the OS quotient of the free system is EXPLICIT: H_phys nondegenerate and PD at both levels (dim 37 = 29+8 at N = 16 deg <= 2; dim 16 = 4^2 at N = 8 complete half algebra -- compact euclidean time reconstructs a thermal/KMS representation), the Klein-Landau local transfer semigroup is exactly Hermitian with the site/bond dichotomy as its positivity pattern (even steps PSD via T(2j) = A*A, the one-step transfer NOT positive -- the chirality datum), the mu4 clock = T^{N/4} is a positive self-adjoint transfer step with spectral calculus (N = 8 spectrum exactly {1, sqrt(2)-1} = {1, 1/delta_Silver}) and a reconstructed unitary rotation group U(s) = exp(isH); the v522 non-Hermiticity is resolved as EXACTLY the domain/wrap artifact; the pre-declared KMS deviation (no contraction on the compact circle) carries exactly the silver witnesses; Theta_phys^2 = +1 on every sector (Kramers-free); kill tests (1)/(2) strengthened, (3) shadow sharpened, none fires -- all seven stay live on A_hol; beta-3 is EXECUTED (v565, WOIT.BETA3.DUALITY.01, 2026-07-30, verdict SUCCESS): the PT <-> PT* duality typed against sigma_std -- the compatible class is the two-block Hermitian family (clock-forced), the rho_tw pairing splits it into an Euclidean branch (sigma_std's home, no OS cut possible) and a Minkowski branch whose null locus meets the seam line exactly in the seam circle (the OS cut forced) with total signature (2,2) by the mirror theorem; the contract kill branch (family A) is EMPTY BY ALGEBRA (rho4^2 not scalar), and every seam-preserving Minkowski member induces the unique conjugation z -> -conj(z) = theta_perp = the v524 Theta_phys carrier (regressions re-verified; role separation: sigma_std ~ the OS cut/metric, the Phi-twisted duality ~ the descending mirror); gamma (the chirality theorem + the mark incidence) is the next milestone. [O] throughout; no marker moves anywhere. [2026-08-01 XXVI: the gamma stage gains its FREE SLICE -- v608: mirror modes are strictly OS-negative sector-exactly (kill test 3 cannot fire at the free level), the chiral generation is multiplicity-free ({1, sqrt2-1}), and the mark transport exists (tau_2 = mark-A -> mark-B, PD; kill test 7 does not fire free); gamma itself stays open on A_hol; see WOIT.GAMMA.FREE.01.] UPDATED 2026-08-27 (v972): the kill-test-2 counterweight NARROWED -- on the same v529 toy the quartet-AVOIDING cut family of the clock-invariant m = 4 member generates the full even algebra (rank 15, dim 32768) and carries a POSITIVE OS/GNS structure at g = 1 (min +4.4338e-5, GNS 37/37) while the straddled control genuinely fails (SEAM.INT.OSAVOID.01); the straddle law itself refines to the odd-split law (SEAM.INT.ODDSPLIT.01). The threat paragraph STANDS: every A_hol must still protect RP against the odd-split mechanism -- but the toy now EXHIBITS an OS-viable cut geometry selected by its own mu4 clock. Contract stays Open; no marker move.
Original classification detail
Open (research contract): the OS twistor bridge -- Theta real structure + interacting RP + OS reconstruction to (H, Omega, U(P^up_+), A_Mink) with one chiral generation, the TFPT charge lattice and the (E8)_1 net as an actual boundary net; seven preregistered kill tests; the actual bridge from compiler to physics; alpha stage executed via v519 (Theta + free RP, kill test 1 discharged on the free level only -- stays live on the interacting algebra); beta-1 executed via v522 (UNDECIDED: the clock reading was the wrong operationalisation, the clock is time-like, GSO-fixed RP holds, kill test 2 does not fire; contract precision (iii) added); beta-2 executed via v524 (SUCCESS, [C]-typed per precision (iii): H_phys explicit and PD at both levels, the clock a positive transfer step with spectral calculus -- N = 8 spectrum exactly {1, sqrt(2)-1} -- and a reconstructed unitary rotation group; the pre-declared KMS deviation carries exactly the silver witnesses; no kill fires); beta-3/gamma milestones next
Dependencies as recorded
CELEST.SEAM.01; SEAM.EQUIV.TWISTOR.01; SEAM.EQUIV.01; SEAM.BIT.FREEDOM.01; SEAM.CLOCK.RIGIDITY.01
Open the original ledger source, row 585Location 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 — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)Research contracts
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)tfpt research contracts
- Front matter / supportResearch contracts
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)Research contracts
- Research Contract — CCC.SEAM.CROSSOVER.01 (the conformal-cyclic crossover on the seam geometry)tfpt research contracts
- Research Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)tfpt research contracts
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- Target G — the alignment bit and the interacting seam (the first shot that lands)Red-team audit
All 46 linked sections
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
- -1.2cm TFPT — [formula in source] Audit, Cascade Bridge and Bootstrap\\[2mm] The seven [formula in source] slices as an audit raster, the old cascade as the same even-integer spine, the M\"obius self-consistency loop — and the thirty-two-step celestial/twistor route with the measure chain derived
- Research Contract 1 — [formula in source]
- -1.2cm TFPT — [formula in source] Audit, Cascade Bridge and Bootstrap\\[2mm] The seven [formula in source] slices as an audit raster, the old cascade as the same even-integer spine, the M\"obius self-consistency loop — and the thirty-two-step celestial/twistor route with the measure chain derived
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)
- 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] )
- =150 2026-07-24 (I) ( v534 — the straddle cone executed: THE FIRST DYNAMICAL SELECTION OF THE ALIGNMENT BIT — reflection positivity keeps exactly ONE member of the interacting mark family alive, [formula in source] with positive coupling; the literal leading-order cone formalization dies; NO marker moves)
- Research Contract — SEAM.BULK4D.RECON.01 (from seam data to a 4D local quantum theory)
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)
- The celestial and twistor continuum route
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)
- Research Contract — CCC.SEAM.CROSSOVER.01 (the conformal-cyclic crossover on the seam geometry)
- =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)
- =150 2026-07-23 (VIII) (prominence pass — the v519–v529 breakthroughs lifted into the FRAME texts of the papers and the website data layer; purely editorial, NO new modules, NO marker moves — (1) tfpt_5_redteam gains the seam round Target G: the ten-test side-blind scoreboard on the alignment bit ( v512/ v521/ v525/ v529) and the first firing kill test of the programme — the interacting straddle law ( v529), documented as a named threat AND the first hard selection principle for [formula in source] , fenced at toy level; (2) the bit-reduction statements in tfpt_1, tfpt_2 and origin_theory extended from the v512 state to the current state (ten side-blind tests, the twist-class definition with gauge-robust order parameter, ``in principle interferometrically readable'', v528 — the bit stays formal input); (3) the thermal seam lifted into the origin_theory horizon chapter (new keybox: [formula in source] measured, temperature the third leg of [formula in source] , v526) and into the tfpt_horizon_readouts head keybox; (4) tfpt_3 title/keybox now carry the thirty-step story and ``the measure chain is derived'' ( v520/ v523) prominently; (5) tfpt_research_contracts title/intro keybox now show the executed stages of CELEST.SEAM.01 (M1–M3, [formula in source] -chains decided, [formula in source] derived) and WOIT.OS.TWISTOR.01 ( [formula in source] executed, [formula in source] next under the straddle constraint); both contracts stay Open)
- Front matter / support
- =150 2026-07-22 (IX) ( v519 — the WOIT- [formula in source] milestone of the OS twistor bridge WOIT.OS.TWISTOR.01 executed and promoted as the ledger row WOIT.THETA.FREE.01: ``the real structure exists — and free reflection positivity picks the same family''; the celestial/twistor story in tfpt_3 is now TWENTY steps — (1) THETA CLASSIFICATION COMPLETE : exactly TWO families of anti-linear structures on [formula in source] normalise the clock [formula in source] — family D ( [formula in source] , [formula in source] ): [formula in source] EXACTLY at matrix level, [formula in source] ( [formula in source] IMPOSSIBLE: [formula in source] — Kramers-free), inverts the deck, fixed set [formula in source] the great circle through the deck poles; family A ( [formula in source] ): centralises the clock projectively (NEVER inverts it), [formula in source] per [formula in source] , fixed set [formula in source] resp.\ empty; ROLE SEPARATION: family A DEFINES the euclidean section (Woit's [formula in source] side: [formula in source] , no real points — replicated exactly on [formula in source] ), family D REFLECTS it (the OS conjugation, [formula in source] conjugation with real points [formula in source] ); (2) MARK PINNING : [formula in source] preserves the [formula in source] marks iff [formula in source] — a [formula in source] -element [formula in source] -TORSOR ( [formula in source] mark axes, [formula in source] silver-midpoint axes), clock conjugation [formula in source] [formula in source] [formula in source] clock orbits; (3) SPIN/FOCK : the [formula in source] plane has no phase leaks ( [formula in source] ); exact [formula in source] : [formula in source] with [formula in source] (normalised [formula in source] ), inverts the clock tower ( [formula in source] ) and normalises the deck; the KRAMERS DICHOTOMY: the deck-induced candidate [formula in source] has [formula in source] — the v510 split/nonsplit dichotomy IS the [formula in source] vs [formula in source] dichotomy; the deck does NOT furnish [formula in source] , the seam-circle REFLECTION does; (4) KILL TEST 1 (free level) : does NOT fire — [formula in source] exists with [formula in source] AND [formula in source] and satisfies all three side conditions simultaneously (marks, deck normalisation, spin/Fock); (5) FREE RP : the NS vacuum [formula in source] has [formula in source] exactly; preconditions exact ( [formula in source] , [formula in source] , [formula in source] ; the deck FAILS anti-invariance); BOND CUT: one-particle Gram [formula in source] PD (min eigenvalue [formula in source] , [formula in source] digits), even [formula in source] sector [formula in source] PD, [formula in source] complete half-sided algebra PD (even [formula in source] odd each [formula in source] ) — RP with NO degree truncation; twist [formula in source] FORCED ( [formula in source] non-Hermitian); CONTROLS: the site cut fails exactly ( [formula in source] , inertia [formula in source] ; continuum control: Cauchy–Stieltjes strictly positive — a lattice-PLACEMENT artifact, RP selects the site placement relative to the marks); the clock-CENTRALISING family-A structure fails RP structurally ( [formula in source] ) — RP and [formula in source] select the SAME family; bonus: the anti-chiral state flips the odd sector to [formula in source] ND (the free shadow of kill test 3); / \ NOT shown: the interacting algebra [formula in source] (kill test 1 stays live there), gauge-fixed RP (kill test 2), OS reconstruction, chirality without mirrors (kill tests 3/6), [formula in source] incidence (kill test 7) — the WOIT- [formula in source] / [formula in source] roadmap named ( [formula in source] [formula in source] on the gauge-invariant subalgebra [formula in source] gauge-fixed RP on the equivariant SDYM [formula in source] sector; [formula in source] the OS quotient of the free system explicit; [formula in source] the [formula in source] duality vs [formula in source] typed; [formula in source] the chirality theorem [formula in source] the mark incidence); TWO CONTRACT PRECISIONS (prose, no marker): (i) `` [formula in source] induced by the seam reflection'' means the seam-circle REFLECTION, not the deck — the deck furnishes the [formula in source] Kramers class (the v510 bridge); (ii) the marks sit RP-side on the BOND MIDPOINTS of the [formula in source] -Majorana circle; Wolfram extension [formula in source] (verified engine run); NO marker moves — WOIT.OS.TWISTOR.01 stays Open: kill test 1 is discharged on the FREE level only and stays formally live on the interacting algebra)
- =150 2026-07-30 (II) (WOIT [formula in source] executed: the [formula in source] duality typed against [formula in source] — the OS cut and the [formula in source] signature forced, the kill branch empty by algebra, the induced member [formula in source] the [formula in source] carrier (SUCCESS) + v565 promoted + contract/paper/diary/website sync)
- Front matter / support
- Research Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)
- The celestial and twistor continuum route
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)
- Front matter / support
- The celestial and twistor continuum route
- =150 2026-08-01 (XXV) (the free gamma slice lands ( v608 promoted) — the first executed step of the WOIT [formula in source] milestone: mirror modes are STRICTLY OS-negative sector-exactly (every mirror fermion vector has negative OS norm — no mirror survives reconstruction, kill test (3) cannot fire at the free level), the chiral generation is multiplicity-free (clock spectrum exactly [formula in source] ), and the mark transport exists ( [formula in source] is the mark-A [formula in source] B transport, PD — kill test (7) does not fire free); [formula in source] itself stays open on [formula in source] ; side finding: [formula in source] is unipotent mod [formula in source] )
- Research Contract 1 — [formula in source]
- Front matter / support
- Research Contract — SEAM.BULK4D.RECON.01 (from seam data to a 4D local quantum theory)
- Front matter / support
- =150 2026-07-23 (VII) ( v529 — the interacting Fidkowski–Kitaev seam toy promoted as the ledger row SEAM.INT.FKTOY.01: the FIRST firing Kill-Test-2 shadow — triple verdict F1 [formula in source] KILL / F2 [formula in source] KILL / F3 [formula in source] ERFOLG; the celestial/twistor story in tfpt_3 gains Step 30 and the header goes twenty-six [formula in source] thirty steps — (1) F1 [formula in source] KILL : [formula in source] exists exactly on the interacting model ( [formula in source] , [formula in source] , clock-tower inversion, [formula in source] ) so Kill-Test 1 does not fire; but Kill-Test 2 fires at toy level: RP breaks for every [formula in source] — inertia ladder [formula in source] ; Gibbs [formula in source] same ladder; mechanism [formula in source] interference; STRADDLE LAW ( [formula in source] ); \ fence one toy / one interaction class / flat-band parent — narrows the Woit route, does not close it; WOIT.OS.TWISTOR.01 stays Open with the toy shadow documented as a named Kill-Test-2 threat; (2) F2 [formula in source] KILL : the TENTH side-blind test ( [formula in source] ) — [formula in source] maps [formula in source] EXACTLY despite [formula in source] -seeing spectra; (3) F3 [formula in source] ERFOLG : grading [formula in source] [formula in source] tower [formula in source] FK anchor [formula in source] constructive OS quotient at [formula in source] ; Wolfram extension [formula in source] (verified engine run); suite [formula in source] ; NO marker moves)
- =150 2026-07-22 (XII) ( v522 — the WOIT- [formula in source] milestone of the OS twistor bridge WOIT.OS.TWISTOR.01 executed and promoted as the ledger row WOIT.BETA1.GSO.01: ``the clock is time-like, GSO is the gauge datum'' — a TYPED result (verdict UNDECIDED per the frozen preregistration, the mechanism identified exactly, gauge-fixed RP established under the corrected typing; the celestial/twistor story in tfpt_3 gains Step 23) — (1) the HERMITICITY WITNESS : the [formula in source] clock average violates Hermiticity EXACTLY (the one-step insertion [formula in source] has entry [formula in source] where the conjugate transpose demands [formula in source] ; entrywise census [formula in source] Hermitian-matching, [formula in source] ANTI-matching, [formula in source] violations — the pairing is complex-SYMMETRIC, strictly weaker than Hermitian: ``positivity after gauge fixing'' is not well-posed for the clock reading); (2) TIME-LIKE TYPING : ALL [formula in source] dihedral reflection axes of the NS seam circle invert the clock lift ( [formula in source] ), NONE commutes — the [formula in source] clock IS Woit's euclidean rotation; the gaugeable ( [formula in source] -compatible) part of the [formula in source] Fock tower is EXACTLY its [formula in source] -torsion [formula in source] [formula in source] the GSO/fermion-parity [formula in source] (Hermiticity census over all powers; [formula in source] the full wrap [formula in source] the [formula in source] rotation of the seam [formula in source] fermion parity); (3) the POSITIVE PART : GSO-fixed RP holds EXACTLY — [formula in source] even [formula in source] parity-projected bond-cut Gram [formula in source] PD (min eigenvalue [formula in source] at [formula in source] digits), [formula in source] complete half algebra: all odd rows/columns killed exactly, even block [formula in source] PD ( [formula in source] ), no degree truncation; the site-cut defect SURVIVES gauge fixing ( [formula in source] — the bond placement is gauge-invariant information); family A keeps failing ( [formula in source] indefinite vs family D's [formula in source] ); Kramers: [formula in source] on [formula in source] , [formula in source] restricts with [formula in source] ; Ramond control: the wrap [formula in source] ``true [formula in source] '' lift fails state invariance — the NS/ [formula in source] tower is forced; (4) KILL-TEST BOOKKEEPING: kill test (2)'s free shadow does NOT fire (no legitimate Hermitian gauge-fixed form has a negative direction), kill test (1) stays discharged also gauge-invariantly; both stay formally live on [formula in source] ; (5) TRANSPARENCY: the first frozen run scored [formula in source] (the clock-reading checks failed exactly as the mechanism predicts) and the preregistered deg-2 invariant dimension [formula in source] was a combinatorial error (correct census [formula in source] ) — documented in full, the verdict by the frozen [C-3] logic (Hermiticity failure [formula in source] UNDECIDED); CONTRACT PRECISION (iii) (prose, no marker): ``gauge-invariant subalgebra'' at the free level means the GSO/fermion-parity [formula in source] — the only [formula in source] -compatible part of the [formula in source] tower; the clock is the euclidean rotation itself (timelike), its equivariant statement moves to [formula in source] (OS quotient first, then the clock as reconstructed transfer operator); Wolfram extension (with v520/v521) [formula in source] (verified engine run); NO marker moves — WOIT.OS.TWISTOR.01 stays Open, [formula in source] proper re-routed via [formula in source] )
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)
- =150 2026-07-23 (II) ( v524 — the WOIT- [formula in source] milestone of the OS twistor bridge WOIT.OS.TWISTOR.01 executed and promoted as the ledger row WOIT.BETA2.OS.01: ``the OS quotient of the free system made explicit'' — verdict SUCCESS per the frozen preregistration, -typed per contract precision (iii); the celestial/twistor story in tfpt_3 gains Step 25 — (1) [formula in source] EXPLICIT : [formula in source] ( [formula in source] ): the [formula in source] bond-cut OS Gram exactly Hermitian, parity-block-diagonal, inertia [formula in source] PD (min eigenvalue [formula in source] at [formula in source] digits), null space [formula in source] , [formula in source] ; [formula in source] (complete half algebra): [formula in source] PD (min [formula in source] ), [formula in source] — compact euclidean time reconstructs a THERMAL (KMS) representation; exact certificate [formula in source] ; (2) the TRANSFER SEMIGROUP (Klein–Landau) : [formula in source] exactly Hermitian on all domains ( [formula in source] , dims [formula in source] ), chain identities exact, vacuum fixed; the positivity pattern [formula in source] the site/bond dichotomy: even [formula in source] PSD via the exact square identity [formula in source] ( [formula in source] ), odd [formula in source] indefinite ( [formula in source] ) — the one-step transfer is NOT positive (the chirality datum, kill-3 shadow sharpened), its even powers are; (3) THE CLOCK [formula in source] : [formula in source] : [formula in source] PD [formula in source] (min [formula in source] ), compressed spectrum [formula in source] , vacuum eigenvalue exactly [formula in source] , spectral projections [formula in source] ; [formula in source] : spectrum EXACTLY [formula in source] in both parity sectors — the silver axes of the v519 torsor return as the clock eigenvalue; the reconstructed rotation group [formula in source] unitary with the group law; (4) the v522 RESOLUTION : the census [formula in source] reproduced; EVERY anti-matching entry is a wrap overlap, every overlap-free entry matches — the pre-quotient non-Hermiticity is EXACTLY the domain/wrap artifact; on the quotient the clock has spectral calculus; pre-registered KMS deviation: no contraction on the compact circle ( [formula in source] exactly, [formula in source] ); (5) GSO/ [formula in source] : the grading survives; the perpendicular torsor mirror descends anti-unitarily ( [formula in source] ), [formula in source] on every sector (Kramers-free), [formula in source] exactly; (6) CONTROLS : site cut [formula in source] — the kill branch fires there; family A [formula in source] ; anti-chiral [formula in source] no quotient; wrong direction non-Hermitian (all mismatches wrap-overlap); KILL TESTS: (1)/(2) strengthened, (3) shadow sharpened, none fires, all seven stay live on [formula in source] ; TRANSPARENCY: run 1 [formula in source] (a sympy simplify failure on a TRUE [formula in source] product formula, fixed by a Laurent-polynomial certificate; no criterion changed); NO marker moves — WOIT.OS.TWISTOR.01 stays Open, [formula in source] is next)
- Front matter / support
- Research Contract — CCC.SEAM.CROSSOVER.01 (the conformal-cyclic crossover on the seam geometry)
- Research Contract — SEAM.BULK4D.RECON.01 (from seam data to a 4D local quantum theory)
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
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.
- =150 2026-07-23 (III) ( v525 — the twist-state attack on the alignment bit DECIDED and promoted as the ledger row SEAM.BIT.TWISTBLIND.01: ``mark-decorated states do not see [formula in source] '' — an honest, decided NEGATIVE result (v508 style), the NINTH side-blind test on the v512 scoreboard ( [formula in source] ); the free-plus-twist class (everything Wick-computable) is EXHAUSTED; the celestial/twistor story in tfpt_3 gains Step 26 and the header goes twenty-three [formula in source] twenty-six steps — (1) ALL LIFTINGS WELL-DEFINED AND BLIND : (a) the [formula in source] -gauge arc decoration ( [formula in source] ) satisfies [formula in source] on the swap axes [formula in source] the twisted Gram is a diagonal unitary congruence [formula in source] , spectra IDENTICAL to untwisted (dev [formula in source] ); (b) the Kadanoff–Ceva [formula in source] -twist insertion [formula in source] is well-defined on the [formula in source] ladder ( [formula in source] real nonzero; the [formula in source] odd- [formula in source] degeneration is the [formula in source] checkerboard artifact) and its RP SPECTRA are the FIRST free-class data of the programme that depend on [formula in source] (pairwise up to [formula in source] ) — yet the INERTIA is [formula in source] PD with the same [formula in source] for EVERY [formula in source] : the decoration sees [formula in source] , positivity does not; (c) the [formula in source] twist at [formula in source] is pure plane gauge; (c [formula in source] ) the genuine Bogoliubov defect at [formula in source] : [formula in source] -compatibility selects exactly [formula in source] of [formula in source] sign patterns (NS-wrap-forced), the winner genuinely non-monomial — still PD, spectra identical; STRUCTURE THEOREM (mechanism exact): the defect planes never straddle a cut bond, so every [formula in source] -compatible quasi-free mark decoration is RP-spectrally INVISIBLE; (2) SUB-RESULTS : the defect energy [formula in source] for EVERY [formula in source] (spread [formula in source] ) — [formula in source] -blind; the [formula in source] -twist Casimir [formula in source] measures [formula in source] ( [formula in source] ) but exactly mirror-symmetric under [formula in source] — a family gauge, never a side selector; Kramers [formula in source] for every [formula in source] ; (3) the HARVEST : two bit-presupposing [formula in source] structures (the [formula in source] flip [formula in source] on the mark-fixing axes via [formula in source] ; the twist frustration of the mark-fixing mirror, [formula in source] indefinite for both [formula in source] — the lattice shadow of the Ising twist field's mirror-oddness) — both formulable only on the fixing axes existing iff [formula in source] (the v512 facet class); (4) NEGATIVE CONTROLS : the twist-free limit [formula in source] v519/v521 exactly; the site cut keeps failing; the v512 counterwitness is arc-equivalent at [formula in source] to the blind member [formula in source] — no state selector can exclude it; a single twist has [formula in source] identically; : the door narrows to a genuinely INTERACTING [formula in source] whose OS data are NOT Pfaffian-reducible to the chiral vacuum; Wolfram extension (with v523/v524) [formula in source] (verified engine run 2026-07-23, [formula in source] + base [formula in source] ); suite [formula in source] modules; NO marker moves — the alignment bit remains genuine discrete input)Research changelog; TFPT — Introduction and reading guide
- =150 2026-07-22 (XI) ( v521 — the RP/ [formula in source] attack on the alignment bit DECIDED and promoted as the ledger row SEAM.BIT.RPBLIND.01: ``free OS positivity does NOT see [formula in source] '' — an honest, decided NEGATIVE result in the v508 style (the celestial/twistor story in tfpt_3 gains Step 22): does free reflection positivity ( v519) or anti-linear [formula in source] existence break for [formula in source] on the deformed mark family [formula in source] — which would DERIVE the v512 alignment bit from OS positivity? NO — (1) the CENSUS \ (exact solvesets, symbolic [formula in source] ): for EVERY [formula in source] exactly the two mark-SWAPPING reflections [formula in source] exist (axes [formula in source] , [formula in source] ; all [formula in source] cut/mark incidence solvesets EMPTY); mark-FIXING reflections exist exactly at [formula in source] (solveset [formula in source] , lost immediately at [formula in source] ); the v510/ v512 counterwitness [formula in source] carries the swap pair exactly; (2) RP IS [formula in source] -BLIND : bond-cut Gram inertias [formula in source] PD for all tested [formula in source] with the full sorted spectra IDENTICAL to [formula in source] digits (deviation [formula in source] ) — the ENTIRE free-RP spectral datum carries ZERO [formula in source] information; the [formula in source] odd- [formula in source] failure (site axes, [formula in source] , [formula in source] ) is a lattice-PLACEMENT artifact: at [formula in source] ALL [formula in source] have mark-compatible BOND axes with PD inertia [formula in source] ; continuum: the OS kernel in axis-adapted coordinates is EXACTLY [formula in source] — the axis position drops out identically (Cauchy–Stieltjes PD); the counterwitness PASSES free RP ( [formula in source] -point Gram [formula in source] ); (3) [formula in source] EXISTENCE IS [formula in source] -BLIND : [formula in source] , deck normalisation and Fock implementability ( [formula in source] , exact [formula in source] ) for every [formula in source] ; the ONLY [formula in source] -sensitive v519 clause ( [formula in source] ) is for [formula in source] not violated but NOT FORMULABLE (a mark-compatible order- [formula in source] rotation exists iff [formula in source] ) — it PRESUPPOSES the bit; same for the clock-tower clause; (4) the battery HAS TEETH at every [formula in source] : family A/antipode fails RP structurally (zero diagonal, [formula in source] ), the chirality– [formula in source] pinning persists ( [formula in source] ND) — RP separates the two real-structure FAMILIES, never the SIDES; (5) precondition controls: hexagonal (marks not concyclic — no seam circle), silver (deck not free), lifting audit (B [formula in source] index relabelling, [formula in source] -blind by construction; B' fails the [formula in source] negative control — discarded); \ FACE \#13 of the v512 equivalence web: the group generated by the admissible OS reflections is [formula in source] for every [formula in source] and closes to [formula in source] exactly at [formula in source] ( [formula in source] the clock) — [formula in source] faces, a typed REFORMULATION of the bit, not a derivation; \ the honest gap: marks decorating the STATE (defect/twist insertions, interacting [formula in source] ) [formula in source] exactly v519's \ scope; VERDICT: KILL exactly as preregistered — the free RP/ [formula in source] battery is the EIGHTH side-blind test on the v512 scoreboard ( [formula in source] ); the alignment bit is NOT derivable from OS positivity and remains genuine discrete input; NO marker moves — the bit stays the one \ carrier input)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportE8 audit and bootstrap
- Front matter / supportE8 audit and bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Front matter / supportResearch contracts
- Front matter / supportResearch contracts
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
Registered verification modules
- v519_woit_theta_rp_free.pyRegistered verification module · frontier
Read the description recorded in the module registry
WOIT.THETA.FREE.01: the WOIT-alpha milestone of the OS twistor bridge WOIT.OS.TWISTOR.01 -- 'the real structure exists, and free reflection positivity picks the SAME family' (Part W = the anti-linear Theta: classification, exact relations, kill test 1 on the free/equivariant level; Part R = reflection positivity of the free 16-Majorana NS seam system under the pinned Theta; NO marker moves -- WOIT.OS.TWISTOR.01 stays [O]: kill test 1 is discharged on the FREE level only and stays formally live on the interacting algebra). Exact sympy + exact Cl(16) Fractions; the RP definiteness certificates are 40-digit spectra of exact Hermitian matrices (tol 1e-25). [E] THETA CLASSIFICATION COMPLETE: exactly TWO families of anti-linear structures on C^2 normalise the clock rho = diag(i,1) -- family D (z -> mu conj(z), |mu| = 1): Theta rho Theta = rho^-1 EXACTLY, Theta^2 = +1 (-1 IMPOSSIBLE: M conj(M) = diag(|mu|^2, 1) -- Kramers-free), inverts the deck, fixed set = the great circle through the deck poles; family A (z -> mu/conj(z)): centralises the clock projectively (NEVER inverts), Theta^2 = +-1 per mu, fixed set |z| = 1 resp. empty. ROLE SEPARATION: family A defines the euclidean section (Woit's rho_tw side: rho_tw^2 = -1, no real points -- replicated exactly on C^4), family D reflects it (the OS conjugation; sigma_std = the standard conjugation with real points RP^3). [E] MARK PINNING: z -> mu conj(z) preserves the mu4 marks iff mu in mu4 -- a 4-element mu4-TORSOR (2 mark axes + 2 silver-midpoint axes); clock conjugation rho Theta_mu rho^-1 = Theta_{-mu} => 2 clock orbits. [E] SPIN/FOCK: Z8 plane without phase leaks (conj(zeta8^k) = zeta8^-k); Cl(16): Theta_Fock = U_r o K with Theta_Fock^2 = 2^7 > 0 (normalised +1), inverts the clock tower (V -> 4096 V^-1, exact scalar via the implementer route) and normalises the deck (256 Utilde^-1); KRAMERS DICHOTOMY: the deck-induced candidate Theta_t = Utilde o K has Theta_t^2 = 256 gamma_1..gamma_16 = (-1)^F -- the v510 split/nonsplit dichotomy IS the Theta^2 = +1 vs (-1)^F dichotomy; the deck does NOT furnish Theta, the seam-circle REFLECTION does. [E] KILL TEST 1 (free level): does NOT fire -- Theta exists with Theta^2 = +1 AND Theta rho Theta = rho^-1 and satisfies all three side conditions simultaneously (marks, deck normalisation, spin/Fock). [E] FREE RP: NS vacuum C(d) = (2/N)/sin(pi d/N), C^2 = -1 exact; preconditions exact (R C R^T = -C, S C S^T = C, R S R^-1 = S^-1; the deck FAILS anti-invariance); BOND CUT: one-particle Gram (8,0,0) PD (min eigenvalue 1.888e-3 at 40 digits), even deg <= 2 sector (29,0,0) PD, N = 8 complete half-sided algebra PD (even + odd each (8,0,0)) -- RP with NO degree truncation; twist eta = +i FORCED (eta = 1 non-Hermitian); CONTROLS: the site cut fails exactly (det = 0, inertia (3,3,1); continuum control: Cauchy-Stieltjes positive -- a lattice-PLACEMENT artifact, RP selects the site placement relative to the marks); the clock-CENTRALISING family-A structure fails RP structurally ((4,4,0)) -- RP and Theta rho Theta = rho^-1 select the SAME family; bonus: the anti-chiral state flips the odd sector to (0,8,0) ND (the free shadow of kill test 3). [C]/[O] NOT shown: the interacting algebra A_hol (kill test 1 stays live there), gauge-fixed RP (kill test 2), OS reconstruction, chirality without mirrors (kill tests 3/6 -- only the free odd-sector shadow), mu4 incidence (kill test 7); WOIT-beta/gamma roadmap: (beta-1) Theta on the gauge-invariant subalgebra + gauge-fixed RP on the equivariant SDYM(E8) sector; (beta-2) the OS quotient of the free system explicit; (beta-3) the PT <-> PT* duality vs sigma_std typed; (gamma) the chirality theorem + the mark incidence. Two contract PRECISIONS (prose, no marker): (i) 'Theta induced by the seam reflection' means the seam-circle REFLECTION, not the deck (the deck furnishes the (-1)^F Kramers class -- the v510 bridge); (ii) the marks sit RP-side on the BOND MIDPOINTS of the 16-Majorana circle.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.