Skip to main content

Explore the foundations and current research.

Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.

Quantum and boundary structure

The published foundation in this area

32 authored claim references lead into the original ledger and paper sections. This source record remains available even where no separate reviewed research packet is attached.

Read the foundational statements and sources

Finite E8, Pauli/Clifford, code, state, covariance, and instrument constructions supply internal quantum models and scoped guarantees. A code or successful channel is not yet a selected, repeatable physical source with the same parent dynamics.

Starting structure in the Atlas orientation
Concrete finite code and operator structures exist, with local results within explicitly specified source and instrument menus.
Which connection is sought
Open items include common physical preparation, source, interaction, repetition, record preservation, and connection to the TFPT parent.
How it connects
Codes and clocks specify internal information and symmetry structures; gravity additionally requires local geometry and dynamics.

Reviewed results · Quantum and boundary structure

718 matching reviewed results

Established in scope

Complete CAR boundary projection determines the multi-field operator ray

In the question: Automated construction of operator maps and sources

Canonical fermionic quantization of supplied full boundary data. A geometric Cauchy projector is not automatically a physical CAR covariance; boundary pairing is also a premise. The absolute scalar, partition determinant and phase are not recovered from normalized G. Original action permits higher interaction vertices; general OS sewing from complete Schwinger functions remains separate.

Read the exact result, assumptions and evidence

Result

If the full two-face graph G is the actual CAR covariance, positivity and CAR force its state ray without a separate Wick assumption. The specified oriented input/output pairing reconstructs Q proportional to the direct sum of Lambda^n R; multi-field amplitudes are minors and Q(R2R1)=Q(R2)Q(R1). Complex frame changes and noncommuting composition are checked. Vacuum and one-particle responses alone are insufficient.

Required assumptions

  • Complete data of both product-collar faces

    A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.

  • Actual CAR boundary covariance and oriented amplitude pairing

    The full geometric two-face graph G is additionally identified as the actual CAR state covariance. The first labeled fiber is input/dual, the second output; the source realizes the specified fermionic boundary-state/operator pairing. These are physical identification premises, not consequences of matrix sizes or classical Cauchy projection. Normalized data determine only the operator ray and not the absolute partition factor.

Original evidence

  • PROOF.txt lines 34–128

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

  • PROOF.txt lines 178–197

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

finding:collar-car-projection-multifield-ray

Established in scope

Search conditions corrected; duplicated control separated from the actual charged source pair

In the question: Automated construction of operator maps and sources

Executable finite software and source controls; no physical source selection. Historical min/max results are calibration endpoints, not preferred solutions. The actual charged-pair SCS status is optimal_inaccurate; the exact matrix construction independently proves feasibility, not clean numerical optimality.

Read the exact result, assumptions and evidence

Result

The default is feasibility without optimizing state or response. The explicitly duplicated lowest-mode calibration gives1/16; the actual lowest quarter-source particle/hole pair gives1/256. A global floor1/4 is an artificial restriction. Thermal GNS transfer with spectrum1,1,1/4,4 passes at bound4; bound1 is a class mismatch. An unsupported pure Fock completion remains inconclusive.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • PROOF.txt lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

  • PROOF.txt lines 130–176

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

finding:source-typed-kernel-search-controls

Established in scope

Unknown kernels constructed, exactly completed and discriminated

In the question: Automated construction of operator maps and sources

Declared finite CAR/transfer class. Five-mode completion additionally assumes a minimal irreducible realization with inferred pure occupation state; no uniqueness inferred from truncated ranks. Floor and cluster gap 1/4 are search bounds, not quarter holonomy or physical scale. Finite clustering is not a local OS net. No original selection of marking, statistics or events. Historical extremal calibration; since2026-10-16 implementation defaults to feasibility with explicit transfer classes. The original boundary/carrier/S/Z/OS/Gamma chain exists. This optional finite search class is not a necessary global TFPT origin prerequisite; R101 extends the search without physical promotion of this historical construction.

Read the exact result, assumptions and evidence

Result

The new moment search takes no supplied H, rho or target K. A one-mode result has an exact flat GNS certificate. Two additional minimal five-mode completions replay all 2245 moments through degree4. Checking the original source requirements adds finite clustering: a previous result with 27 stationary directions fails; two replacements each have exactly one stationary direction. Both yield finite unitary field time from the same T and first differ at degree5 by 1/4 versus 3/4. An independent offline verifier confirms full kernels and separation.

Required assumptions

  • Declared finite positive kernel search class

    Given up to five CAR modes, an extra selfadjoint transfer operation, 0<=T<=I, T Omega=Omega and internal CAR quarter invariance. Five-mode completions additionally use a minimal irreducible Fock representation with pure occupations inferred from searched moments. Objectives, positive floor and cluster gap are declared search choices; neither these nor the representation are presumed consequences of P1/P2.

Original evidence

  • README.md lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/README.md

    aeae9d10aad06370ca7387adf8db70b51046417d03fdf7fe5444480cd717a2c8

  • README.md lines 201–327

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/README.md

    aeae9d10aad06370ca7387adf8db70b51046417d03fdf7fe5444480cd717a2c8

finding:positive-kernel-construction-with-exact-discriminator

Established in scope

Operator synthesis implemented and calibrated on known cases

In the question: Automated construction of operator maps and sources

Supplied finite representations. Clifford monomial grammar and generic equal matrix dimensions up to16; not a complete operator-program, kernel or continuum search. Twelve generic Lean transport lemmas; concrete matrices checked separately and exactly.

Read the exact result, assumptions and evidence

Result

A CEGIS word search generates 2048 Majorana word/linearity classes and recovers the known five-mode particle-hole map. An automatically found imaginary mixing component eliminates the linear candidate. A second solver constructs simultaneous linear/antilinear intertwiners from exact operator pairs; evaluation identities include constraints, code and search configuration. These are software and recovery results, not new source selection.

Required assumptions

  • Explicit finite operator-synthesis inputs

    The recovery control assumes the given five-mode CAR representation. The inverse solver assumes explicitly supplied finite operator pairs and adjoints. The map is unknown; physical source selection is not assumed derived.

Original evidence

  • README.md lines 1–107

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/README.md

    db453a12d7a64e1a30988b61c6ff20ad80863ac8471a3c5a6eb735e876bc76e5

finding:typed-operator-search-calibrated

Established in scope

Spinor16 is a state sector, not a 16-real one-particle field

In the question: Which partner actually belongs to the original seam?

Representation types of the supplied free realization; no selection from P1/P2 and no new spinor-CAR replacement.

Read the exact result, assumptions and evidence

Result

D5_1 has ten real vector fermions; S± each contain 16 complex Ramond/spin-field states. Using S+ as an ordinary CAR coefficient would give c=16 and Spin(10) level 4. The documented c=8 connection uses 10+6 real fermions and mixed spin fields of weight 5/8+3/8=1.

Required assumptions

  • Original oriented exterior carrier

    Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.

  • Supplied free D5+A3 realization

    Compare the documented free D5_1+A3_1 realization with five plus three complex fermions and spin-field sectors; realization by the raw P1 source is not presumed.

Original evidence

  • PROOF.txt lines 189–216

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-conjugation-20261015/PROOF.txt

    bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a

finding:joint-spinor-not-source-coefficient

Scoped exclusion

No time-stabilizing orthogonal repair of the fixed marking

In the question: Which partner actually belongs to the original seam?

Only fixed fold time and fixed 5+3 marking. Covariant marking transport is positively constructed; other sources or dynamical dictionaries are not excluded.

Read the exact result, assumptions and evidence

Result

After actual quarter conjugation the D5 projections of the time axis have distinct squared norms 129/256 and 137/256. Hence no orthogonal T satisfies T d_beta=d_beta and T O(P5)T^-1=P5. This excludes every Weyl correction in this fixed comparison.

Required assumptions

  • Given chiral source in both quarter domains

    D_alpha=-i∂theta on f(theta+2pi)=exp(2pi i alpha)f(theta), filled negative spectrum and relative particle/hole excitation time; alpha=1/4,3/4. This compares two conjugate domains, not opposite charges in one fixed domain or all P1 sources.

  • Stipulated E8 quarter-fold dictionary

    The existing Weyl lift M, affine E8 module, Q'=2(H3+H6) and K_alpha=L0+delta_alpha.H0 with alpha=1/4,3/4 are held fixed for comparison. This representation is not derived from P1/P2; an unbroken SM time action is not assumed.

  • First 5+3 marking and Z4 character supplied

    In the supplied E8 dictionary, D5 on the first five coordinates, D3 on the last three and k=2sum(p1..p5) mod4 are given for the first quarter domain. The other domain may transport these data covariantly; their original physical selection is not presumed.

Original evidence

  • PROOF.txt lines 153–187

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-conjugation-20261015/PROOF.txt

    bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a

finding:joint-fixed-time-marking-repair-excluded

Established in scope

Actual quarter conjugation transports the supplied marking

In the question: Which partner actually belongs to the original seam?

Exact map of the supplied source and conditional E8 lift; first marking, source realization and physical event law are not derived from P1/P2. Both quarter domains remain explicit; no switch to another branch to solve a fixed-sector question.

Read the exact result, assumptions and evidence

Result

n→−n−1 forces j→7−j and O=−MRM^T with O(x)=(x4,−x5,−x6,x1,−x2,−x3,x8,x7). O d_alpha=d_(1−alpha); P5_beta=O P5_alpha O^-1 and k_beta=k_alpha∘O^-1 need no new marking choice. Sea state and positive time are transported; the E8 current lift assumes the existing extension.

Required assumptions

  • Given chiral source in both quarter domains

    D_alpha=-i∂theta on f(theta+2pi)=exp(2pi i alpha)f(theta), filled negative spectrum and relative particle/hole excitation time; alpha=1/4,3/4. This compares two conjugate domains, not opposite charges in one fixed domain or all P1 sources.

  • Stipulated E8 quarter-fold dictionary

    The existing Weyl lift M, affine E8 module, Q'=2(H3+H6) and K_alpha=L0+delta_alpha.H0 with alpha=1/4,3/4 are held fixed for comparison. This representation is not derived from P1/P2; an unbroken SM time action is not assumed.

  • First 5+3 marking and Z4 character supplied

    In the supplied E8 dictionary, D5 on the first five coordinates, D3 on the last three and k=2sum(p1..p5) mod4 are given for the first quarter domain. The other domain may transport these data covariantly; their original physical selection is not presumed.

Original evidence

  • PROOF.txt lines 80–187

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-conjugation-20261015/PROOF.txt

    bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a

finding:joint-quarter-transports-marking

Established in scope

Bilinear sheet pairing is not Hermitian kernel selection

In the question: Which partner actually belongs to the original seam?

Correction of the finite selection inference; no identification of I with the actual Calderon operator and no P1 countermodel.

Read the exact result, assumptions and evidence

Result

CAR.PAIR.01 counts complex-bilinear singlets. The Hermitian scalar <f,g> already exists on S+; CAR.PAIR.02's 'scalar iff sheet-odd' inference is false in this reading. The previous J_C includes reversion signs and is fully Spin(10)-equivariant.

Required assumptions

  • Original oriented exterior carrier

    Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.

Original evidence

  • PROOF.txt lines 39–78

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-conjugation-20261015/PROOF.txt

    bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a

finding:joint-bilinear-hermitian-correction

Established in scope

Actual partner map between quarter domains

In the question: Which partner actually belongs to the original seam?

Given chiral source. No selection from P1/P2, no equal responses within one fixed twist, and no identification with affine r0.

Read the exact result, assumptions and evidence

Result

n→−n−1, alpha→1−alpha gives C D_alpha C^-1=−D_(1−alpha). Particles become holes and conversely; normal charge reverses and positive excitation energy is preserved. The unique sea state maps to the other sea state without adding a zero vector within one domain.

Required assumptions

  • Given chiral source in both quarter domains

    D_alpha=-i∂theta on f(theta+2pi)=exp(2pi i alpha)f(theta), filled negative spectrum and relative particle/hole excitation time; alpha=1/4,3/4. This compares two conjugate domains, not opposite charges in one fixed domain or all P1 sources.

Original evidence

  • PROOF.txt lines 154–203

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt

    ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c

finding:partner-chiral-quarter-conjugation-state-time

Established in scope

Explicit conjugation for the existing sheet pairing

In the question: Which partner actually belongs to the original seam?

Representation with metric/orientation; J_C is not yet the actual boundary/OS conjugation. Two carrier labels are not two vacua.

Read the exact result, assumptions and evidence

Result

J_C=∏(epsilon_i+iota_i)K is antiunitary, exchanges S± and reverses Y. Exactly Lambda0 and Lambda5 have Y=0. J_C dGamma(h) J_C^-1=tr(h)I−dGamma(h). It is fully Spin(10)-equivariant. Reuse CAR.PAIR.01's bilinear pairing; CAR.PAIR.02's Hermitian selection inference has been corrected and is not evidence.

Required assumptions

  • Original oriented exterior carrier

    Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.

Original evidence

  • PROOF.txt lines 116–152

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt

    ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c

  • PROOF.txt lines 39–78

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-conjugation-20261015/PROOF.txt

    bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a

finding:partner-original-carrier-cross-sheet-conjugation

Established in scope

Fixed quarter time splits the color/weak multiplet

In the question: Which partner actually belongs to the original seam?

Only the supplied affine dictionary. Backgrounds or time-dependent covariant symmetries have different premises; no general gauge-physics no-go.

Read the exact result, assumptions and evidence

Result

Mdelta=(-1/2,0,alpha/4,-1/2,0,(alpha-1)/4,-1/4,-1/4). The six (3,2) root energies are (0,1/2,1/2,1,1/2+alpha/4,1+alpha/4). K therefore does not commute with the fixed full SM action. The quarter phase is retained.

Required assumptions

  • Original oriented exterior carrier

    Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.

  • Stipulated E8 quarter-fold dictionary

    The existing Weyl lift M, affine E8 module, Q'=2(H3+H6) and K_alpha=L0+delta_alpha.H0 with alpha=1/4,3/4 are held fixed for comparison. This representation is not derived from P1/P2; an unbroken SM time action is not assumed.

Original evidence

  • PROOF.txt lines 65–114

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt

    ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c

finding:partner-fixed-quarter-time-splits-sm-multiplet

Established in scope

Concrete pair operator; source neutrality is not hypercharge neutrality

In the question: Which partner actually belongs to the original seam?

Original carrier plus supplied E8 charge dictionary; no physical field identification.

Read the exact result, assumptions and evidence

Result

epsilon1 epsilon4 produces u1∧u4 in the carrier: Y=1/6 and source charge change0. Root operator, spinor carrier vector and affine root-current state have different types. The exterior unit is the internal nu^c label, not the affine vacuum.

Required assumptions

  • Original oriented exterior carrier

    Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.

  • Stipulated E8 quarter-fold dictionary

    The existing Weyl lift M, affine E8 module, Q'=2(H3+H6) and K_alpha=L0+delta_alpha.H0 with alpha=1/4,3/4 are held fixed for comparison. This representation is not derived from P1/P2; an unbroken SM time action is not assumed.

Original evidence

  • PROOF.txt lines 13–63

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt

    ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c

finding:partner-carrier-charges-and-state-types