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
Original ledger status
QGEO.MARKS.01
THE SEAM MARKING OBLIGATION (genuine open obligation 1 of 2; the structural residual of the theory, NOT a finite computation): the RAW RP seam collar must canonically produce a genus-0, four-parabolic-marked boundary with a faithful D4 action -- the four marks coming from the anchor atom e1(a)=4=|mu4| (NOT an arbitrary marking), with mark collisions excluded (else b1=N_fam=3, the D4 faithfulness or the H^1 character split collapse), and the sheet reflection tau and clock rotation rho satisfying tau.rho.tau=rho^{-1} (D4). Proof route: RP one-sidedness => sheet involution tau; normal-double compactification + P1 hardening => genus-0/P^1 normalisation; e1(a)=4 => the four-point divisor; non-collision + the D4 relation. Given QGEO.MARKS.01, the geometry side closes via QGEO.UNIFORM.01/COHOM.01/MODULE.01 (all [E], v177). A constructive-geometry statement, left honestly OPEN (needs a human argument or proof assistant, not arithmetic)
Recorded status: Physical/geometric [O] (open constructive obligation)
Dependencies, status detail and source
Canonical status: Open [O]: raw RP seam collar -> genus-0 four-marked D4 boundary (one of the two genuine obligations)
Dependencies: QGEO.TREE.01; QGEO.UNIFORM.01; ARCH.SPINE.01; v177_seam_marking_kernel.py
Scripts: v177_seam_marking_kernel.py
Location: tfpt_research_contracts
Original CSV, line 256Original ledger status
QGEO.REDUCE.01
DEEPER REDUCTION OF THE TWO OBLIGATIONS (an honest attempt at QGEO.MARKS.01 + QGEO.KERNEL.01; NEITHER is closed -- they are genuine constructive-geometry/AQFT statements, not finite computations -- but each finite/algebraic CORE is now closed [E] and each obligation is reduced to ONE sharper irreducible premise [O]): (1) MARKS FINITE CORE [E] -- given a genus-0 double with an order-4 clock rho (conjugate to z->iz, fixed points {0,infinity}) and sheet reflection tau, the parabolic marks are a generic rho-orbit {1,i,-1,-i}=mu4 (|mu4|=4=e1(a), NOT the fixed points), DISTINCT iff b1=(#marks)-1=3=N_fam (any collision drops b1 below N_fam, excluded by the family count), and tau:z->1/z gives tau.rho.tau=rho^{-1} and permutes the marks => <rho,tau>=D4 of order 8, faithful; so MARKS reduces from 'produce the whole marked D4 boundary' to the SINGLE topological/clock premise 'the seam double is genus-0 and the seam clock is an order-4 conformal automorphism whose marks form one orbit'. (2) KERNEL FINITE CORE [E] (dissolves the spectrum-vs-operator worry on the finite block) -- on the 3-dim H^1 character space the mu4 characters (weights (1,2,3) -> i,-1,-i) are DISTINCT, so by Schur a mu4-equivariant operator is forced DIAGONAL (commutant of distinct-eigenvalue U = diagonal algebra) and is COMPLETELY DETERMINED by its eigenvalue per character; hence two such operators with the same forced transfer spectrum {1,(2/3)^6,(1/3)^6} (v162) and the unique residue-normalised basis Phi (v177) are EQUAL as operators, not merely isospectral -- the 'C_Sigma=U^{-1}C_mu4 U vs same spectral list' distinction VANISHES on the multiplicity-free H^1 block; so KERNEL reduces from the full operator identity to the SINGLE full-operator-reduction premise 'the full seam Calderon DtN on L^2 reduces to this 3-dim gapped mu4-moving transfer block plus the fixed rank-8 Calderon polarisation K_Sigma' (principal symbol universally |k|, Lee-Uhlmann/v156; c=8 fixed point isolated, no relevant/marginal drift, v158). NET (honest): neither obligation closed; both sharpened to milder premises, finite cores [E]; the structural residual of the whole theory is exactly {the topological clock premise, the full-operator-reduction premise}
Recorded status: Deeper reduction [E] (finite cores) + [O] (the two sharper irreducible premises)
Dependencies, status detail and source
Canonical status: Deeper reduction [E]/[O]: MARKS + KERNEL finite cores closed; each reduced to one sharper premise (topological clock / full-operator reduction); neither obligation closed
Dependencies: QGEO.MARKS.01; QGEO.KERNEL.01; QGEO.TREE.01; v156_seam_net_construction.py; v158_fixed_point_stable.py; v162_seam_transport_identification.py; v177_seam_marking_kernel.py
Scripts: v178_marks_kernel_attempt.py
Location: tfpt_research_contracts
Original CSV, line 258Original ledger status
QGEO.CONF.01
THE SEAM CONFORMAL-REALISATION PREMISE -- the SINGLE structural residual of the whole theory (the two obligations QGEO.MARKS.01 + QGEO.KERNEL.01 collapse onto it; honest unification, the premise itself stays OPEN). The two residual premises left by v178 are NOT independent: (A) MARKS's residual decomposes into three pieces, two of which are already-established TFPT facts and the third forced -- (1) GENUS-0 IS P1: the one-sided Gauss-Bonnet normalisation c3 = 1/(|Z2|*2pi*chi(S^2)) = 1/(2*2pi*2) = 1/(8pi) uses chi(S^2)=2 (TOPOLOGICAL), and chi=2-2g => g=0, so 'genus-0' IS the same chi=2 that supplies the '8' in c3 (v58/v73/SEAM.KHALF.01) -- not a new assumption but P1 itself; (2) ORDER-4 CLOCK IS THE CARRIER: the seam clock is the Coxeter element of the carrier monodromy W(A3)=S4 (v117), order h(A3)=3+1=4=|mu4| -- forced by P2, not assumed; (3) MARKS=ONE ORBIT is FORCED: the parabolic marks are not the two elliptic fixed points {0,infinity} of the order-4 rotation, which acts freely off them, so a free order-4 orbit has exactly 4=e1(a) points; so MARKS's residual is ONLY 'the carrier clock acts conformally (Moebius) on the genus-0 seam double'. (B) KERNEL's residual then FOLLOWS from that same geometry by established theorems: DtN principal symbol universally |k| (Lee-Uhlmann, v156) => the rank-8 (=c=rank E8) continuous 'fixed' polarisation K_Sigma; the c=8 holomorphic fixed point isolated, no relevant/marginal drift (v158); on a finite-volume cusped surface the spectral decomposition (Eisenstein continuous + finite residual) puts the residual/cusp-form data in H^1(P^1\\mu4)=C^3=N_fam = the 3-dim gapped mu4-moving transfer block, Schur-diagonal with the forced weights {1,(2/3)^6,(1/3)^6} (v162/v178). (C) UNIFICATION: both reduce to QGEO.CONF.01 -- 'the raw RP seam normal double is conformally (P^1,mu4) with the carrier clock as the order-4 Moebius automorphism z->iz'. Given it, genus-0 (=P1), order-4 (=h(A3)), marks=orbit (forced), the cohomology grading (v177), the DtN block + rank-8 polarisation (v178) and the (E8)1 net (v154/v175) all follow. [O] IRREDUCIBLE: QGEO.CONF.01 is a constructive-geometry statement (the conformal class of the raw seam double IS the cusped sphere with the carrier clock as a Moebius map), NOT a finite computation; it is the single structural residual of the theory, left honestly OPEN
Recorded status: Geometric realisation premise [O] (the single residual; component reductions [I] established)
Dependencies, status detail and source
Canonical status: Geometric [O]: the SINGLE residual is the seam conformal realisation (P^1,mu4) with the carrier clock as the order-4 Moebius map; MARKS+KERNEL both reduce to it
Dependencies: QGEO.MARKS.01; QGEO.KERNEL.01; QGEO.REDUCE.01; AX.P1.01; SEAM.KHALF.01; v58_seam_horizon_chain.py; v73_k_c3_half.py; v117_monodromy_weyl_a3.py; v156_seam_net_construction.py; v158_fixed_point_stable.py
Scripts: v179_conformal_realisation.py
Location: tfpt_research_contracts;origin_theory
Original CSV, line 259Original ledger status
QGEO.MARKS.02
LEFSCHETZ/CHARACTER DERIVATION OF THE FOUR SEAM MARKS (external-review path 2/priority 2, 2026-06-14): instead of POSITING D4 boundary marks (the old QGEO.MARKS.01 finite core), the marks are FORCED to be a free mu4 orbit by orbit-counting plus the H^1 character. (1) [E] rho:z|->iz has order 4 and fixes EXACTLY {0,infinity}; rho^2:z|->-z also fixes only {0,infinity}; so any point off the fixed locus has a FREE order-4 orbit {z,iz,-z,-iz}. (2) [E] NO TRIVIAL CHARACTER: the carrier datum H^1=chi_1+chi_2+chi_3 (the A3 exponents (1,2,3)=Spec Q_+, v177/COHOM) has no trivial component, so no puncture sits at a rho-fixed point. (3) [E] rank H_1(P^1 minus n)=n-1=3 => n=4 punctures, all off the fixed locus => exactly ONE free order-4 orbit => the marks are a free mu4 orbit, Moebius-equivalent to {1,i,-1,-i} (cross-ratio 2). (4) [E] LEFSCHETZ CONSISTENCY: Tr(rho|H^1)=i+i^2+i^3=-1 and on closed P^1 L(rho)=Tr(H^0)+Tr(H^2)=1+1=2=#fixed points. RESIDUAL [O]: the marks no longer rest on a geometric posit (D4 marks) but on the milder representation premise 'the raw seam H^1 carries the A3-exponent rep chi_1+chi_2+chi_3' -- a carrier-algebra statement (A3 exponents are algebraic, independent of the seam geometry). So QGEO.MARKS reduces from geometry to an H^1-rep premise; less circular, still [O]. Exact; Wolfram-mirrored
Recorded status: Identity [E] (orbit/character core) + premise [O] (H^1-rep)
Dependencies, status detail and source
Canonical status: Identity [E]: orbit-counting (order-4 rho fixes {0,inf}; no trivial H^1 char; rank 3 => 4 punctures) forces the marks to a free mu4 orbit; residual [O] relocates from 'seam is P^1\\mu4' to 'H^1 carries the A3-exponent rep' -- less circular
Dependencies: QGEO.MARKS.01; QGEO.TREE.01; QGEO.SYM.01; v177_seam_marking_kernel.py; v178_marks_kernel_attempt.py
Scripts: v195_marks_lefschetz_character.py
Location: tfpt_research_contracts
Original CSV, line 269Original ledger status
FORM.QGEO.02
LEAN 4 FORMALISATION of QGEO.UNIFORM.01 (the geometric normal form of v177; the UNIFORM node of the QGEO proof tree) -- AUDIT: PASS, no sorry/admit, no domain axioms (only propext, Classical.choice, Quot.sound). New module TfptCarrier/MobiusUniformisation.lean machine-proves the constructive uniformisation content: (1) [F] rho_pow_four: the clock rho:z->iz has rho^4=id; (2) [F] rho_order_exactly_four: rho^2 != id (rho^2(1)=-1), so the clock has order EXACTLY 4; (3) [F] sigma_invol: the reflection sigma:z->1/z is an involution; (4) [F] sigma_rho_sigma: sigma.rho.sigma = rho^{-1} (the dihedral relation => <rho,sigma>=D4 of order 8); (5) [F] orbit_scales_to_mu4: a non-fixed point a!=0 has orbit {a,ia,-a,-ia} that scales (z->z/a) exactly to mu4={1,i,-1,-i}; (6) [F] sigma_perm_mu4: sigma permutes mu4 (fixes 1,-1; swaps i,-i); (7) [F] mult_order_four_iff: a multiplier map z->zeta z has order exactly 4 (zeta^4=1, zeta^2!=1) IFF zeta=i or zeta=-i (the two primitive 4th roots; the inversion conjugates one to the other => canonical rep z->iz). Bundled as uniformisation_normal_form; signature-locked in AuditContract.lean. SCOPE: this is the constructive normal form GIVEN the four marks + clock (the [E] UNIFORM node); the RAW-seam obligation QGEO.MARKS.01 (the seam canonically producing a genus-0 four-marked D4 boundary) stays [O], NOT closed. Mirrors v177 (QGEO.UNIFORM.01); complements FORM.QGEO.01.
Recorded status: Formal [F] (uniformisation normal form) + [O] (the raw-seam marking obligation QGEO.MARKS.01)
Dependencies, status detail and source
Canonical status: Formal [F]/[O]: QGEO.UNIFORM.01 (order-4 Moebius normal form z->iz, D4 relation sigma.rho.sigma=rho^{-1}, orbit->mu4, multiplier classification zeta=+-i) Lean-proved (AUDIT: PASS, clean axioms, signature-locked); the raw-seam marking obligation QGEO.MARKS.01 stays [O]
Dependencies: QGEO.TREE.01; QGEO.MARKS.01; FORM.QGEO.01; FORM.GLUE.01
Scripts: lean4-carrier-rigidity
Location: tfpt_research_contracts
Original CSV, line 297Original ledger status
FORM.QGEO.03
LEAN 4 FORMALISATION of QGEO.COHOM.01 (the character node of v177) + the MODULE reflection parity -- AUDIT: PASS, no sorry/admit, no domain axioms (only propext, Classical.choice, Quot.sound). New module TfptCarrier/CohomologyGrading.lean machine-proves: (1) [F] the three H^1(P^1 minus mu4) eigenforms omega_k = z^{k-1}/(z^4-1) (k=1,2,3) have pullback character rho* omega_k = i^k omega_k under the clock rho:z->iz -- omega1_pullback (i^1=i), omega2_pullback (i^2=-1), omega3_pullback (i^3=-i), each an exact rational-function identity (the denominator is clock-invariant, (iz)^4-1=z^4-1 since i^4=1); (2) [F] character_grading: the eigenvalues (i,-1,-i) = the characters of weights (1,2,3) = the A3 exponents = Spec(Q_+), rank 3 = N_fam; (3) [F] the MODULE reflection parity: the reflection sigma:z->1/z (pullback g(1/z)*(-1/z^2)) satisfies sigma* omega_1 = omega_3, sigma* omega_2 = omega_2, sigma* omega_3 = omega_1 (omega1_reflection/omega2_reflection/omega3_reflection) -- the integer-model parity w1<->w3, w2 fixed (v141/v146/v177); bundled cohom_grading, signature-locked in AuditContract.lean. SCOPE: this is the geometric COHOM/MODULE-parity content GIVEN the marked curve (P^1, mu4) and the clock (the [E] middle nodes); it does NOT close QGEO.MARKS.01/QGEO.KERNEL.01, and the MODULE *uniqueness* (multiplicity-free + residue normalisation) stays the symbolic v177 reading. Mirrors v177 (QGEO.COHOM.01); complements FORM.QGEO.01/02.
Recorded status: Formal [F] (COHOM character grading + MODULE reflection parity) + [O] (the raw-seam obligations)
Dependencies, status detail and source
Canonical status: Formal [F]/[O]: QGEO.COHOM.01 (pullback character rho* omega_k = i^k omega_k, grading (1,2,3)=A3 exponents) + MODULE reflection parity (sigma swaps omega1<->omega3, fixes omega2) Lean-proved (AUDIT: PASS, clean axioms, signature-locked); the MARKS/KERNEL obligations and MODULE uniqueness stay [O]
Dependencies: QGEO.TREE.01; QGEO.MARKS.01; FORM.QGEO.01; FORM.QGEO.02
Scripts: lean4-carrier-rigidity
Location: tfpt_research_contracts
Original CSV, line 298Open 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?