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 · 706 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 707 findings; 1 administrative record is excluded from public scientific content, with the omission recorded in the coverage file.

The scientific findings include 515 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 4d8fcdb3587f8e4cc0898e5c · snapshot SHA256 7c23438352ba021cef5aa0999c31e5c242fbc6ed12b172e4d35fb6a68f65dbb4

5 matching records · page 1 of 1

Original ledger status

FLAV.H2.04

FLAV.H2.04

THE ADDRESS TABLE IS PINNED (the FLAV.H2.03 per-fermion item closed at the information level; exact census theorem): (1) THE WORD TABLE IS THE RESIDUE OPERATOR [I]: the established identity L = R + 2U (FLAV.DIAMOND.02, U = winding axis N_fam 1 e_1^T) says the word-length table IS L[sector][generation] with rows (up; down; lepton) = ((7,3,0); (7,5,2); (8,5,3)) = the v18/v20 word lengths verbatim; the addresses are R's entries plus one hexagon turn for generation 1, and R's first column is THE ANCHOR a = (1,1,2) - the first-generation residues are the anchor components. (2) THE MARGINS ARE ATOMS [I]: row sums of R = (4, 8, 10) = (e1, rank E8, p3); column sums = (4, 13, 5) = (e1, Delta_Q, g_car); total 22 = 2x11 (ARCH.TRIAD.01). (3) PINNING THEOREM [I, exact census]: among ALL 3x3 matrices with entries in the hexagon {0..5}, exactly 17 have the atom margins, and exactly ONE has det = 8 = rank E8 - and it is R (the same one is the unique one with SNF (1,1,8); all 17 determinants are distinct, 8 occurs once - control computed explicitly). The per-fermion assignment table carries ZERO residual information beyond the atom margins and the rank determinant. (4) within-sector assignment = the established transport reading (m ~ lambda_Y^L, longer word = lighter fermion). (5) RESIDUE [P] (recorded): the open H2 item shrinks from 'derive 9 per-fermion integers' to 'derive the six atom margins + det = rank'. FIREWALL: R, L and all word lengths were frozen in v4/v18/v20/v71 long before today's census - no degrees of freedom spent

Recorded status: Identity [I] (exact census/uniqueness theorem on frozen operators) + Physical [P] (margins)

Dependencies, status detail and source

Canonical status: Theorem: R = unique hexagon matrix with atom margins + det 8; address table = R + first-generation winding; H2 residue = the margins

Dependencies: FLAV.H2.03; FLAV.DIAMOND.02 (L = R + 2U); FLAV.H2.01; ARCH.TRIAD.01; v18; v20; v71

Scripts: v121_address_pinning.py

Location: tfpt_research_contracts

Original CSV, line 205

Original ledger status

FLAV.H2.05

FLAV.H2.05

THE MARGINS ARE THEOREMS (the FLAV.H2.04 residue closed: the established frozen selectors pin R uniquely - the atom margins lose their input status): THREE ESTABLISHED SELECTORS, all frozen pre-v120 - (S1) the D4 annihilator n = (5,-9,6) with n^T R = (8,0,0) (FLAV.DIAMOND.01/tfpt_2: n kills the unchanged (c2,c3) plane; n.a = 8); (S2) det R = 8 = rank E8 (v71 determinant quartet (3,4,8,20), product 1920 = |W(D5)|); (S3) det K = 4 = |mu_4| with K = R + Q Sigma (the diamond); plus the definitional hexagon range {0..5}. (1) CENSUS [I]: hexagon columns with n.col = 8: exactly 4, with n.col = 0: exactly 4 => 64 (S1)-candidates; (S2) leaves 12; (S3) leaves EXACTLY ONE - and it is R. (2) COROLLARY [I]: the atom margins (4,8,10)/(4,13,5), the anchor column R e_1 = a = (1,1,2), and all FLAV.H2.03/04 sum rules (16, 10, 14, 24, 40) are CONSEQUENCES of (S1)-(S3) - input status revoked. (3) BONUS LEMMA [I]: on the (S1)+(S2) locus det(M + 2U) = 20 = det L holds for ALL 12 candidates - the fourth quartet determinant is NOT an independent selector but a consequence: the quartet (3,4,8,20) carries redundancy, the compiler's overdetermination pattern. (4) RESIDUE [P] (recorded): H2 reduces to the establishment of the selectors themselves (n and the diamond determinants - pre-existing inventoried objects); the address question introduces NO new residual class. FIREWALL: n, quartet, R, L, words frozen in v4/v18/v20/v71/v94 - nothing fitted

Recorded status: Identity [I] (exact census on frozen selectors) + Physical [P] (selector establishment)

Dependencies, status detail and source

Canonical status: Theorem: established selectors (n-annihilator + det R = 8 + det K = 4) pin R uniquely; margins + anchor column + sum rules = consequences; det L = 20 automatic

Dependencies: FLAV.H2.04; FLAV.DIAMOND.01-02; v71 (quartet); v94 (annihilator); CONTRACT.U.01

Scripts: v122_margin_theorem.py

Location: tfpt_research_contracts

Original CSV, line 206

Original ledger status

SYNTH.INVENTORY.02

SYNTH.INVENTORY.02

RESIDUAL INVENTORY UPDATED (post v110-v122; supersedes the CONTENTS of SYNTH.INVENTORY.01 while keeping its cardinality): (1) thirteen new ledger rows machine-pinned (CAR.PAIR.02, CAR.QTRANS.01, CAR.COUNT.01, CAR.QFREE.01, GATE.UWALL.06-09, FLAV.H2.02-05, ARCH.TRIAD.01). (2) R2 CARRIES THREE LOADS: the single index-4 boundary-net statement closes, when proven, the metric gate (GATE.METRIC.06), the carrier choice (CAR.QFREE.01 upgrade contract) and the QBL programme (ARCH.QUAD.01) - one theorem, three doors. (3) UPDATED RESIDUAL TABLE, exactly FIVE structural classes: R1 seam quantum clock (produce the bend log_{3/2}3 at coupling ~1/3pi) [P]; R2 index-4 seam net (3 loads) [P]/[A]; R3 seam determinant => EH [A]; R4' SELECTOR ESTABLISHMENT (derive n = (5,-9,6) + the diamond determinants from the parabolic geometry; replaces the DISCHARGED 'H2 dictionary' class) [A]/[P]; R5 parabolic realisation of Q (GATE.QGEO; carries P1) [P] - plus the two irreducibles (v_geo, pi) and the frozen data surfaces; a sixth structural class would FAIL the script. (4) THE FLAVOR SIDE HAS NO OPEN ANALYSIS CLASS OF ITS OWN: H2 values exact (FLAV.H2.02), addresses pinned (FLAV.H2.04), margins theorems (FLAV.H2.05); residue = five frozen selector integers. Ledger-bookkeeping module, Python-only by nature

Recorded status: Identity [I] (machine bookkeeping + typing contract)

Dependencies, status detail and source

Canonical status: Inventory: five classes re-pinned (R1 clock; R2 index-4 net with 3 loads; R3 EH; R4' selectors; R5 Q); flavor side discharged; sixth class fails the script

Dependencies: SYNTH.INVENTORY.01; GATE.METRIC.06; CAR.QFREE.01; ARCH.QUAD.01; FLAV.H2.05; HOR.CLOCK.02; GATE.QGEO

Scripts: v123_inventory_update.py

Location: origin_theory; introduction

Original CSV, line 207

Original ledger status

GATE.UWALL.10

GATE.UWALL.10

THE DUAL-NORMAL SELECTOR ((d,n) pins R columnwise; the R4' residue is bounded; external review 2026-06-12, validated and sharpened): (1) COLUMN NORMAL FORM [I]: d.c_j = a_j and n.c_j = 8 delta_1j for the columns of R; the common kernel of (d,n) is the primitive vector (6,8,7) (audit: p_2, rank E8, scalaron-7), so within the address box {0..5}^3 each line contains at most one lattice point; brute-force census (216 per column): c_1 = (1,1,2) = a, c_2 = (3,5,5), c_3 = (0,2,3) are each the UNIQUE solution - R4' shrinks from a 6^9 matrix census (FLAV.H2.04) to three 1-of-216 column problems: (d,n) => R. (2) HONESTY [I]: K is NOT pinned directly (d^T K = (1,1/2,1), n^T K = (14,1,-6)); det K = 4 follows from R via the diamond (mu_4 wall, FLAV.SURF.01). (3) SPECTRAL NORMAL [I]: the zero mode of the exact anchor residue A0* (GATE.UWALL.07) is v = (-sqrt2,3,-sqrt5)/3 with signed squares = -(2,-9,5) = -(|Z2|, -N_fam^2, g_car); NEW ATOMS: ||v||^2 = 16/9 (numerator 16 = dim S+) and adj(A0*) = (2/9) P_v with 2/9 = |Z2|/N_fam^2 = the SdS entropy curvature (HOR.NARIAI.01). (4) SIGMA RELATIONS [I]: sigma.1 = -|Z2|, sigma.a = N_fam, n.sigma = 121 = ||Pl(K)||_1^2 (the v119 audit constant). (5) ORBIT CONTROL [I]: exact enumeration |W(A3)| = 24 (GATE.UWALL.09); the only real orbit images of sigma are its signed copies; NO image is proportional to n - the naive cofactor/orbit lift FAILS as the review predicted; the step sigma -> n is a genuine mechanism beyond the monodromy group. (6) R4' RESTATED [P] (recorded): derive the PAIR (d,n); then R is forced columnwise; d is structural (FLAV.DUAL.01), the residue is the derivation of n - bounded by the sigma relations and the negative orbit control

Recorded status: Identity [I] (column census + spectral normal + orbit control) + Physical [P] (restated programme)

Dependencies, status detail and source

Canonical status: Identity: (d n) => R columnwise (each column 1-of-216); A0* zero mode = -(2 -9 5) signed squares; n.sigma = 121; W(A3) orbit excludes the naive lift

Dependencies: FLAV.DUAL.01; GATE.UWALL.07; GATE.UWALL.09; FLAV.H2.04 (superseded census); FLAV.SURF.01; HOR.NARIAI.01

Scripts: v136_dual_normal_selector.py

Location: tfpt_research_contracts; tfpt_2

Original CSV, line 221

Established within the stated premises

Actual Fuchs halfpath has a canonical G-metric C6 kernel map

finding:actual-fuchs-halfpath-has-canonical-g-metric-c6-kernel-map

Actual originalv117 P/Q integration and separately exact unitarykernel now share a closed frame map using already proved algebraicG. Fixed H=G^-dagG^-1 source metric and actualsigned cycleCs give Cpair^-1TrawCpair=[[0,Cs],[I,0]] with Cpair=diag(Gx,PGx) an isometry. Sourceadjoint equalsinverse. ExplicitB and existingJ connect to originalM/U6. Actualpath,D,metricGram,Green and inverse square root share one isometricfinite map, independently replayed with realP/Q residuals<1.3e−12. EvenwordCs² reads certifiedκE02 contribution; barepositiveK branch weights give v±κ. These are evaluated contributions, not an assertion that the complete originalsource inserted them. Stronger common marked closure: originalGbase/H0 gives H0^1/2Gbase=e^(7pi i/12)Bstar with explicitly fixed unitaryBstar. The sameBstar intertwines both actualCs to originalM0 and inverseKQ to originalU, hence all four markedmeridians. Exactly BstarE02Bstar†=M0P0 and BstarE22Bstar†=P0. CertifiedHardy contribution is thusκM0P0 in the common originalmarked frame with the existing quarter-fixede0 input. Six exact rootidentities and literalGbase normalization replay confirm it. The fixed markedendpoint is explicitly P0=(I+U²)/2; separately reviewed findings continue this same channel through the actualreal delta jet and allfour originalopenpaths. Positive actualspine consumer: originalP/Q fold is realized by P=T3,Q=T0^-1 and fixedC, with sameJ carrying inversefold to originalU6. OriginalD_y/fullGram/positivefunctionalcalculus and every already givenPstr transport isometrically; eight independent rootsymbolic checks pass. Recovered original v118 consumer reads det(I-tM0)=1-t³; native t=1/2 gives16/7,4/3,7/6. Later v121/FLAV.H2.04 uniquely pins recorded R under declared margins anddet8 among17 candidates, independently re-enumerated.

Scope: Positive finite ORIGINALpath with transported endpoints and every already givenPstr. No fitted/free metric or rawEuclideanadjoint identification. Read preliminarytype review with positiveGmetric addendum. Transportfiber pair need not equalF5faces; sheetparity is not automaticallyCalderonpolarization. No equality of geometricR/nativeclock/U6 by order. Wordtraces concern only certifiedcontribution. ActualZadm/blockedT insertion,entireD4spine and originalendpoints/compression remain at their originalconsumer. K is coupling,not a universalCARmap. GivenwholeG/W state/reflection/time remain; fullphysicalorigin/time derivation is not proved. StrongerBstar also retains originalquartermark; a single-M eigenbasis match alone would not. Common scalarphase cancels in endomorphisms. Transport full96J_F/Clifford/marks with the complex basis. κP0 is not identified with entirepositiveKstr, and actual originalsource insertion remains to execute. diag(kappaM0P0,0) is explicitly a comparisonembedding, not a derivedwhole6Hardysource or physicalzero for otherbranches. Any already givenwhole6operator andcross/adjointlegs share the sameEfold. Do not reopen nine free addresses or a new Hitchin PDE. Retain conditional margin provenance, distinguish native1/2 from later delta_ph, and do not turn scalar readout into whole-Yukawa or insertion provenance.

Required premises and original source excerpts
  • 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.

    premise:typed-source-structures
  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

    premise:actual-original-a0star-fuchsian-connection-and-c4-clock
  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

    premise:recovered-genus-two-cover-with-retained-signed-coefficients
  • Supplied split carrier with actual q sign lines on genus-two cover

    Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.

    premise:given-split-carrier-and-actual-genus-two-q-sign-family
  • Relative spin and reference Hardy cable on original three-cover

    Compare holomorphic Hardy shifts M_z on S0 tensor L and the same degree-zero coefficient line L over the original pi:C→P1_z. Spin half-forms give boundary norm; Fredholm convention is det kernel tensor inverse det cokernel. Relative line is spin line tensor inverse reference line. This defines a mathematical sewing contract, not an established identification with physical D_rel/D_ref or state.

    premise:relative-spin-scalar-hardy-cable-on-original-three-cover
  • Original hard-holonomy contract with pure closed-triangle trace

    Read original45 flavor sources defineY from canonical minimal paths of a Hermitian family connection andPi_triangle=Hol12Hol23Hol31 as ordered closed holonomy,delta=argtrace. DisplayedPi includes neitherKstr nor extraZ6operator. Nonreal asymptotic is a readout contract to test,not completed physical derivation. Active source retains absolute wall selector;no automatic physicalconnection=v117.

    premise:original-hard-holonomy-and-closed-triangle-readout-contract

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 closure for fixed inputs

Which closure equation follows for a fixed seam projector, and which inputs still need justification?

  • Resolved in scope: Separate root calculation from source selectionRead result
  • open: Derive alpha inputs and Thomson transfer
  • 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?