Skip to main content
Back to the knowledge atlas

Original claim records.

The original technical record remains available here. For explanations, reviewed conclusions and the history of research questions, start with the knowledge atlas.

Research snapshot 2026-11-02 · 783 active ledger claims · 710 scientific findings · 707 registered scripts. These are different inventories, not counts of independent physical confirmations.

Understand the connectionsDownload the complete inventoryInspect the coverage checksOriginal ledger snapshot
What does this inventory cover?

Every one of the 783 active ledger IDs is included. All 788 ledger rows, including superseded rows, remain in the download. The reviewed research corpus contains 711 findings; 1 administrative record is excluded from public scientific content, with the omission recorded in the coverage file.

The scientific findings include 519 established scoped results, 63 conditional results and 128 scoped exclusions. These labels describe the recorded finding. They do not upgrade its parent physical goal or overwrite the original ledger.

Sources were matched to their recorded hashes and line ranges at this snapshot. Bounded text excerpts make sources available even when a source is not in the earlier public release. Any omitted administrative lines are explicitly marked. This is source coverage, not a new execution of Python, Lean or Wolfram proofs.

Atlas revision 2c1b559b738e5740ecfad8e6 · snapshot SHA256 68c2fe33ce86d45a99a8c21b1e731e40749d0accb3ae69be53d198cd7ebcb48e

23 matching records · page 2 of 2

Original ledger status

CELEST.WP5E.DELTA1.01

CELEST.WP5E.DELTA1.01

THE DELTA-1 CHAIN OF THE CELESTIAL-HOLOGRAPHIC CONTRACT DECIDED (2026-07-22; CELEST.SEAM.01 WP5e, delta-1b + delta-1c + delta-1d consolidated -- 'the derived chiral measure kills the delta-1 route', an honest, decided NEGATIVE result in the v508 style; 30 checks, ~20 s): does the Harvey-Moore/BCOV fundamental-domain integral on PT/Z4, evaluated under a measure DERIVED from blockwise SL(2,Z) covariance of the dressed 16-component Weil system (solved for -- not declared, not scanned), deliver the twisted contact vector -A_fix = -(9,-30,-15,0,32) or the psi = 64 slice? NO. (1) THE 16-COMPONENT WEIL COMPLETION (delta-1c): discriminant module Z4 x Z4 with q = (5x^2+3y^2)/8 mod 1, Gauss sums 2 zeta_8^5 x 2 zeta_8^3 = 4 = sqrt(16) (signature 0 mod 8 = rank E8), exact Q(zeta_8) relations (S^2 = C, (ST)^3 = S^2, S^4 = 1, T^8 = 1), tensor split S = S_D5 (x) S_A3, the diagonal H and anti-diagonal H' the two invariant Lagrangians (both counts = E4: two E8 gluings), P_H S P_H = (1/4) J with 3/4 of every S-image weight on the 12 shifted classes; the 16-vector theta S-covariance CLOSES: the delta-1b E1.5 residual 2.91 = O(1) (naive 4-character rule) drops to ~1e-39, certified at two tau. (2) THE OBSTRUCTION IS A FINITE mu4 CHARACTER, IDENTIFIED (delta-1d): gauge blocks M = G[a,b] eta^{-8} with constant transport (28+ digits) recognised as exact 1/960-grid phases (1e-25); T-fixed pairs carry t = e(-1/2) = -1 EXACTLY (the naked level-matching defect); loops in Gamma_1(4) resp. Gamma_0(2)+-, joint holonomy eigenspaces dim 8/16 resp. 6/16, every eigen-phase of order <= 4; KOBOUNDARY TEST: the SL(2,Z) relation defects c_{S^4}, c_{(ST)^3 S^-2}, c_{[S^2,T]} are (1,1,1) EXACTLY on all 15 pairs -- the multiplier system is a CHARACTER of the orbit stabilisers, not a genuine 2-cocycle; on Gamma_1(4) it is lambda(gamma) = i^{2B + C/4}. (3) THE CANCELLATION EXISTS AND IS THE TWISTED FIBRE BLOCK f1 f3, NOT THE THREE SPHERE AXIONS: exact identity G[a,b] = f_1 f_3 (30+ digits; the axion T-phases are v502 vacuum-energy data); the T-fix mechanism is one line of exact phase arithmetic, (-1) x e(-1/6) = e(1/3) = chi_4(T) at every T-fixed node; CANCELLATION TABLE (exact, minimal residual order over eta^m x chi_k): none -> 4, f1f2f3 (the three sphere axions) -> 4, f2 -> 6, f1f3 -> 1 (hol AND anti), wrong weights (1,1,2)/(2,2,2) -> 4; the strict solutions are exactly chi_4 (dims (3,3)) and chi_10 (dims (1,1)) at eta^0, certified on the dressed functions at a fresh tau (1e-15, NO residual multiplier). (4) THE DECISION -- ALL THREE TESTERS FAIL: under both derived solutions the integral (30-digit kernels, negative-exponent cell audit, cut-6 vs cut-8 scan) fails T5(V) = 0 (fractions 0.5 / 0.83), fails W_2 : W_13 = 4 : 3 (W_13 = 0), fails V = -A_fix N (spreads 1.05 / 1.47) and the psi = -64 N slice; the honest (N1, N2) orbit rebalance: chi_4 reaches T5 = 0 only at psi > 0 (wrong sign), chi_10 only at N2/N1 = -4 < 0 (outside the orbifold projector) -- no branch fires anywhere in the positive cone: a GENUINE KILL on the derived surface. (5) NEGATIVE CONTROLS: Z2/Eguchi-Hanson (gauge-only residual order 2 -- the mu4 defect is Z4-specific -- and the SAME fibre dressing cancels it to 1: the mechanism replicates at the anchor); SO(16)/D8 (only even sectors survive, all axion b-characters in mu_2: the order-4 supply structurally absent); wrong discriminant form (x^2+y^2)/4 (|Gauss|^2 = 64 != 16, its S-rule fails at O(1) on the true thetas); wrong signature factor (S^2 = C breaks exactly). [C] FENCES: the f1f3 = KS-weight identification (deck weights (1,3) = the twistor fibre weights (+1,-1 mod 4) forced by the v514 incidence ledger -- exact match, NOT a complete BCOV derivation); the kernel-family convention (J(Delta,0/1/2) from weight bookkeeping); the discrete chi_k choice (both members evaluated, both fail -- the kill does not depend on it). TENSION, STATED HONESTLY (the mandatory fence): the DECLARED completion reading (v516/M2) delivers the psi = 64 slice and cancels 32 T3; the DERIVED chiral measure (v518) fails all three testers -- both are exact; the sharp open question is which of the two is the true BCOV measure (the declared reading is supported by the delta-1 modular-completion finding but not derived; the derived measure rests on the f1f3 identification). Neither result is hidden behind the other. [O] the BCOV-integral derivation on PT/Z4 that decides between the two measures -- the single open item of the delta-1 strand; the twisted-contact route of v508 S6.2 is DECIDED NEGATIVE under the derived measure. SINCE DECIDED at probe level by v520 in favour of the declared reading: single-valuedness is derived from two independent constructive sources (F-independence + Quillen pairing), the chi_4 route was never a well-defined nonvanishing moduli integral -- the kill of this module is SHARPENED (the column-canonicalised chi_4 member is boundary-consistent yet tester-dead); the residual [O] is the constructive w_m derivation. Discovery provenance: delta-1b (30/30), delta-1c (31/31), delta-1d (36/36) probes in experiments/tfpt-discovery/ (2026-07-22). NO marker moves anywhere.

Recorded status: DECIDED: kill under the derived measure, tension with v516 stated ([E] exact Weil/Q(zeta_8) algebra, loop words + koboundary defects + 1/960 phase arithmetic, ledgers, G = f1 f3, the decision table; [C] the f1f3/KS-weight identification + kernel-family convention + chi_k choice; [O] the BCOV-integral derivation that decides between the declared (v516) and derived (v518) measures -- since decided at probe level by v520 for the declared reading, residual [O] = the constructive w_m derivation; NO marker moves)

Dependencies, status detail and source

Canonical status: DECIDED (negative under the derived measure): the delta-1 chain is closed -- the derived chiral measure kills the route, the v516 declared-measure tension is the named [O]; since decided at probe level by v520 in favour of the declared reading (kill sharpened; residual [O]: the constructive w_m derivation)

Dependencies: CELEST.SEAM.01; CELEST.WP5E.M2.01; CELEST.WP5E.M3.01; CELEST.WP5E.EPS1.01; CELEST.WP5E.GAMMA.01; CELEST.WP5E.DELTA2.01; CELEST.DTERM.NONDERIV.01; SEAM.EQUIV.TWISTOR.01; v502; v505; v508; v511; v513; v514; v515; v516; v517

Scripts: v518_celestial_wp5e_delta1_derived_kill.py

Location: tfpt_research_contracts;tfpt_3

Original CSV, line 582

Original ledger status

SEAM.EQUIV.TWISTOR.01

SEAM.EQUIV.TWISTOR.01

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].

Recorded status: Open (research route [O]: the Costello-Li construction; preparation [E]/[C] via the CELEST.SEAM.01 work packages v492-v518)

Dependencies, status detail and source

Canonical status: 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: 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

Scripts: v492_celestial_z4_orbifold.py

Location: tfpt_research_contracts;tfpt_3

Original CSV, line 584

Original ledger status

WOIT.OS.TWISTOR.01

WOIT.OS.TWISTOR.01

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.

Recorded status: Open (research contract)

Dependencies, status detail and source

Canonical status: 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: CELEST.SEAM.01; SEAM.EQUIV.TWISTOR.01; SEAM.EQUIV.01; SEAM.BIT.FREEDOM.01; SEAM.CLOCK.RIGIDITY.01

Scripts: v519_woit_theta_rp_free.py

Location: tfpt_research_contracts;tfpt_3

Original CSV, line 585

Open questions preserve their achieved subresults

Each research problem has its own scope. A resolved task does not close its whole physical parent. Historical tasks remain explicitly historical in the source record.

Future quotient and positive GNS reconstruction

What is determined by complete future behavior, and what additional positive word-kernel source is needed to reconstruct a cyclic operator realization?

  • Resolved in scope: Future quotient from complete rRead result
  • Resolved in scope: Conditional GNS reconstruction from supplied KRead result
  • open: Select complete K from the original source
Historical: common source, state and event selection

Outside the active mathematical research program since the user's23Oct2026 decision. Historical question: Do the original principles derive a common physical source together with its state, dynamical events, and physically observed fields?

Seam connection and family action

Does the joint discrete theorem determine a concrete connection and a family coupling compatible with the determinant seam action?

  • Resolved in scope: Separate classes from actual transportRead result
  • open: Derive the common connection from the original source
Physical time and complete transfer

Do the original reflection/projector structures determine the full physical time generator and required field transfer?

  • Resolved in scope: Reuse the sign-projector counterexampleRead result
  • Resolved in scope: Reuse conditional full-transfer reconstructionRead result
  • open: Identify the physical complete TFPT transfer
  • Resolved in scope: Reuse complete collar reconstructionRead result
  • Resolved in scope: Classify homogeneous GKLS embedding of the shared register familyRead result
  • Resolved in scope: Decide every homogeneous GKSL logarithm of the fixed M4 channelRead result
Flavor ratio and absolute amplitude scale

Which flavor quantity is fixed on the derived discrete stratum, and which requires the continuous holonomy anchor?

  • Resolved in scope: Reuse the derived flavor ratioRead result
  • open: Determine the absolute holonomy amplitude
Alpha: derived terms, unique root and physical EM identification

Where do the factors and closed alpha equation come from, which provenance steps are proved, and which precise physical EM identification remains open?

  • Resolved in scope: Separate root calculation from source selectionRead result
  • open: Derive the actual EM functional variation and Thomson identification
  • Resolved in scope: Establish the unique global positive rootRead result
Geometric flow and gravity normalization

Do common matter-only observations derive geometric horizon flow and the area response from the original gravity source?

  • Resolved in scope: Record scope of fixed original functionalRead result
  • open: Derive geometric modular response and area coefficient
Clocks and complete neutral source response

Which complete quadratic response can the actual clock images reconstruct?

  • Resolved in scope: Reconstruct all neutral quadratic matrix directionsRead result
  • open: Derive physically admissible probe access
Clock action on charge, time and quarter transition

How does the actual Gaussian J act on the complete marked source?

  • Resolved in scope: Construct original J lift with complete time/charge actionRead result
  • open: Derive physical meaning of the frame orbit
Which responses distinguish charged time action?

Which data separate sources with identical complete neutral vacuum response?

  • Resolved in scope: Determine twist blindness completelyRead result
  • Resolved in scope: Reconstruct twist from charged responsesRead result
  • open: Derive actual charged source probes
Which seam action distinguishes native opposite charges?

Can existing native charge fields produce the quarter-twist time response of the seam?

  • Resolved in scope: Check native fields and response discriminatorRead result
  • open: Derive actual marked seam/state action
Constructive seam search: operators, state and source compatibility

What does the complete phase search decide, and which additional state information prevents a false source solution?

  • Resolved in scope: Finite search closed, actual winding and parity equivalenceRead result
  • Resolved in scope: Positive finite-word state extensionRead result
  • Resolved in scope: E8 current group conditionally determines the P signRead result
  • Resolved in scope: The same shift functional hides distinct ground statesRead result
  • Resolved in scope: No phase hit realizes the unchanged sourceRead result
Which partner actually belongs to the original seam?

Which charge, state type and time action belong to the root partner and original sheet pairing?

  • Resolved in scope: Concrete pair operator; source neutrality is not hypercharge neutralityRead result
  • Resolved in scope: Fixed quarter time splits the color/weak multipletRead result
  • Resolved in scope: Explicit conjugation for the existing sheet pairingRead result
  • Resolved in scope: Actual partner map between quarter domainsRead result
  • Resolved in scope: Bilinear sheet pairing is not Hermitian kernel selectionRead result
  • Resolved in scope: Actual quarter conjugation transports the supplied markingRead result
  • Resolved in scope: No time-stabilizing orthogonal repair of the fixed markingRead result
  • Resolved in scope: Spinor16 is a state sector, not a 16-real one-particle fieldRead result
Automated construction of operator maps and sources

Which tools generate operator maps, learn counterexamples, and can search for the full positive source?

  • Resolved in scope: Calibrate new search without supplying the target mapRead result
  • open: Synthesize a joint field, marking and transfer dictionary
  • open: Search for the positive common source kernel itself
  • Resolved in scope: Automatically construct, certify and distinguish finite kernelsRead result
  • Resolved in scope: Repair search conditions against source types and collar controlsRead result
  • Resolved in scope: Reconstruct multi-field sewing of the canonically identified boundary sourceRead result
  • Resolved in scope: Retain absolute reference amplitude in searchRead result
  • Resolved in scope: Integrate supplied free source including boundary response and scalarRead result
  • Resolved in scope: Convert the full finite CAR kernel into a link functionalRead result
  • Resolved in scope: Close original recursive word reconstruction with memoryRead resultRead result
  • Resolved in scope: Retain whole original caller through scale and readoutRead resultRead result
  • Resolved in scope: Execute actual shared Higgs source with full matter words and local RPRead resultRead result
  • Resolved in scope: Reduce whole constant original Higgs spectral fiberRead result
  • open: Resolve original geometric Higgs residue sign and field map
  • Resolved in scope: Evaluate local original Higgs heat identification and whole finite consumerRead resultRead result
  • Resolved in scope: Execute whole variable bound Higgs reference and original scale mapRead resultRead result
  • Resolved in scope: Execute whole inner Higgs scale/source and normal kernel transportRead resultRead result
  • Resolved in scope: Execute given whole superconnection and normal spectral readerRead resultRead result
  • Resolved in scope: Determine own-admissibility and whole total-chiral spectral readersRead resultRead result
  • Resolved in scope: Derive whole scale-energy map,normal profile and relative flowRead resultRead result
  • Resolved in scope: Execute original Green energy producer and mixed scale readoutRead resultRead result
  • Resolved in scope: Match current action argument and common Higgs/gravity weightsRead resultRead result
  • Resolved in scope: Execute whole original curvature consumers and Higgs radial sourceRead resultRead resultRead result
  • Resolved in scope: Execute original whole four-ghost source and geometric type testRead resultRead result
  • Resolved in scope: Execute original moving normal kernel derivative and whole source responseRead result
  • Resolved in scope: Decide fixed original O1 source and normal operator placementRead result
  • Resolved in scope: Compare whole Higgs mixture and covariance reader on invariant four-field witnessRead result
  • Resolved in scope: Test exact bounded cutoff on whole ordinary Higgs volumeRead result
  • Resolved in scope: Test whole original circle joint mode and IR Higgs normalizationRead result
  • Resolved in scope: Test original O1 mode covariance against whole Higgs-law classRead result
  • open: Reconstruct original localization from the whole process
  • Resolved in scope: Test bare native-code word compression against actual localityRead result
  • Resolved in scope: Decide original geometric local-time class and execute actual interval readerRead resultRead result
  • Resolved in scope: Execute actual regional two-face partner and supported charged wordRead resultRead result
  • Resolved in scope: Execute original color marginal, modular field law and complete class readerRead resultRead resultRead result
  • Resolved in scope: Reconstruct common Higgs law from whole original quarter source towerRead resultRead resultRead result
  • Resolved in scope: Execute original record action on Doily and ordered whole source responseRead resultRead resultRead resultRead result
  • Resolved in scope: Locally implement original record process and test unchanged exterior sourceRead resultRead resultRead result
  • Resolved in scope: Execute original elliptic insertion,whole source and causal responseRead resultRead resultRead result
  • Resolved in scope: Evaluate actual joint Higgs and color group sourceRead resultRead result
  • Resolved in scope: Execute whole original graph color reader with typed original center selectorRead resultRead result
  • Resolved in scope: Execute original color fixed source and first inherited grading testRead resultRead result
  • Resolved in scope: Execute actual original color-spinor CAR four-word and complete spin-sector sewingRead resultRead result
  • Resolved in scope: Decide actual color admissibility of density operations and coordinate regionsRead resultRead result
  • Resolved in scope: Execute actual whole seam-operation class and two-face responseRead resultRead result
  • Resolved in scope: Execute entire original C6 word expansion with source amplitudeRead resultRead result
  • Resolved in scope: Execute original collective Higgs force source and entire mean dualRead resultRead resultRead result
  • Resolved in scope: Execute original all-mode force with actual time and whole sourceRead resultRead result
  • Resolved in scope: Execute original local space/time force source and causal liftRead resultRead result
Origin reverse selection, field dictionary and original P1 kernel

What does reverse selection of P1/P2 give for concrete local fields and multi-field responses, and which identification with the original P1 kernel has actually been proved?

Observable reality: minimal conditions and counterworlds

Which operational conditions are independently required, which inequivalent models satisfy them, and which observable distinctions remain for selection?

Formal carrier core: unbounded Pascal uniqueness and finite glue

Which carrier and glue statements are already present in the papers and Lean sources, and which physical selection does not follow?

  • Resolved in scope: Classify the unbounded Pascal proofRead result
  • Resolved in scope: Classify the formal finite glue scopeRead result
Active mathematical program: marked seam monodromies and lattice lifts

Which marked seam/lattice transport geometries, lift classes and local-coefficient invariants arise from existing clock/reflection/quartic data? First complete case: sign lifts of fourJ representation on CP1 minusμ4.

  • Resolved in scope: Define marked seam category and factor formulaRead result
  • Resolved in scope: Completely classify quarter-clock four-puncture liftsRead result
  • Resolved in scope: Determine central class and all subgroup restrictionsRead result
  • Resolved in scope: Determine full G0 cocycle and classRead result
  • Resolved in scope: Determine native4/5/6local cohomologyRead result
  • Resolved in scope: Classify unrestricted G31 reflection monodromiesRead resultRead result
  • Resolved in scope: Determine lift class beyond G0Read result
  • open: Classify additional reflection/clock equivariance and mapping-class quotients
  • Resolved in scope: Equivariant lifting and divisibility by eightRead result
  • Resolved in scope: All62clock obstructions and central transport variantsRead result
  • Resolved in scope: Actual group comparison and central pushout exclusionRead result
  • Resolved in scope: Complete invariants and explicit collisionsRead result
  • Resolved in scope: Compare E6 and E7 slices with the actual quarter clockRead resultRead resultRead resultRead result
  • Resolved in scope: Classify original character-valued G31monodromy liftsRead resultRead result
  • Resolved in scope: Determine E7-pair action on all original lattice fieldsRead result
  • Resolved in scope: Completely connect E6/E7 cuts to the original compilerRead result
  • Resolved in scope: Compare common covers and actual clock carriersRead result
  • Resolved in scope: Prove shared representation consequence for48,4/3 and5/4Read result
  • Resolved in scope: Completely decide joint compiler-field-cover constructionRead resultRead resultRead resultRead result
  • Resolved in scope: Reconstruct canonical local compiler field source from C4Read resultRead result
  • Resolved in scope: Eliminate redundant sector and multiplicity assumptionsRead result
  • Resolved in scope: Classify native equivariant markingsRead result
  • Resolved in scope: Classify pure quarter clock mapping class quotientRead result
  • Resolved in scope: Determine complete cut algebra and lossless tetrahedron transformRead resultRead resultRead resultRead result
  • Resolved in scope: Completely compare scalar glue and actual native compiler classRead resultRead resultRead resultRead result
Common clock sectors, quartic geometry and operational reconstruction

Which previously separate data of the original TFPT core follow from a common clock and representation geometry, and which complete finite measurement classification follows without asserting physical source selection?

Automatic response search with original-source decision

Which additional joint response actually follows from original source equations, and which entire finite process family remains undecided without it?