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 697 findings; 1 administrative record is excluded from public scientific content, with the omission recorded in the coverage file.
The scientific findings include 505 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 3ddcc9643e499ce39900d9c5 · snapshot SHA256 7622b36de7ed79901ae75361b009fa423a6505076f388f4fbaf2d42e1ba7dcf5
Original ledger status
AX.P2.01
g_car = 5 carrier interface (3+2) -- a DECLARED input but an OVER-DETERMINED bootstrap fixed point, not a free choice: forced three independent ways by the E8 closure (bootstrap mu^2-5mu+4=0, BOOT.01/v6), uniquely solved by the Pascal carrier condition 2^g=g^2+g+2 => g=5 (Lean-formalised, no sorry; FORM.LADDER.01), and the (g_car,N_fam)=(5,3) pair is the anchor moment data e2(a)=g_car (ARCH.CORE.01/v53; a=(1,1,2) the unique multiset with elem-symm (4,5,2)). Reduces with P1 to {a, pi}. SYNTHESIS NOTE (reduction state 2026-07-21; text consolidation, marker Axiom UNCHANGED): P1 + the four marks are [E]-anchored (v216); given the marks, g_car = 5 follows via the partition 4 = 2+1+1 plus the Deligne/Birkhoff-Grothendieck/stability typing (v491/v499, residual R1 [C]); the clock order, the Z8 tower, the deck class and the position half of the alignment bit are theorems (v506/v507/v510) -- the compiler's dimensionless inputs reduce to: four marks (derived from P1-side topology), ONE square-modulus datum (tau = i, equivalently: the clock / the CM-fixed half-period / the non-split extension class on the free seam circle / the flag-transitivity bit V4 -> D4, v512), and pi, plus the [C] identifications R1/R2 of v499. SYNTHESIS NOTE (2026-07-22, v512 -- marker UNCHANGED): the reduction state can equivalently be written 'four marks + one discrete symmetry-lift bit (flag transitivity <=> tau = i) + pi'. This describes the REDUCTION STATE; the axiom stays declared and QGEO.REALIZE.01 stays [C]/[O] [2026-08-02 XXXIX: the four-mark closure lands -- v624: under the D_{d+1}+A_{d-1} glue architecture three independent selectors (disc-group census, even-glue norm equation, Pythagorean (3,4,5)) force d = 4, with (1,1,2) the unique 3-part partition and c_3 = 1/(8 pi): the two-input presentation reduces to ONE boundary degree d = 4 plus pi, CONDITIONAL on the architecture; the axiom keeps its typing -- the residue moves to why the physical boundary realizes the minimal cyclically-glueable genus-0 divisor; see EXTREV.LATTICE.01.] SYNTHESIS NOTE (2026-08-28, v993 -- marker Axiom UNCHANGED): the architecture conditionality of v624 is lifted at the census level -- the FULL rank-8 ADE pair census with cyclic Z4 glue on BOTH factors selects (D5, A3) uniquely (D3 ≅ A3 aliases collapsed), so the D+A split is an OUTPUT of (rank 8 + cyclic Z4), not an INPUT. Cited-not-proved remain c_- = 8 and holomorphic uniqueness of (E8)_1. Axiom typing UNCHANGED. WAVE-6 (2026-08-30, v1005): relative pencil identities exact but CIRCULARITY-FLAGGED -- carrier 5 already sits in the column sums of Q_2 and C; NOT a P2 selector until Q, C, epsilon are derived from seam geometry independently. Axiom typing UNCHANGED. LATE EVENING (2026-08-30, v1014): W-bridge premise P-anch DERIVED (anchor chain: e1 = R^{-1}(1,1,2)^T uniquely via the winding/triple lock); P-dem narrowed to the character-blind determinant-response map -- same MMST/Quillen externalized leg as TEL-B/ALG-EXH/P1. Axiom typing UNCHANGED. MONDAY MORNING (2026-08-31, v1015): BOTH W-bridge premises now derived at finite level -- P-anch already (v1014 winding/triple lock); P-dem DERIVED (character-blind determinant response r=(1,1,1) exactly at collar sizes 12 and 16, democracy residual 0; mutants split (1,0,0) and (5/4,1,5/4)). The axiom-core remainder is ZERO modulo the externalized MMST identification. Axiom typing UNCHANGED (the finite derivations are shadows; the continuum identification is the same external leg).
Recorded status: Axiom (declared input; over-determined bootstrap fixed point, Lean-forced)
Dependencies, status detail and source
Canonical status: Axiom (declared) but bootstrap-forced (3 ways) + Pascal-unique (Lean): g=5 is not a free knob; reduction state 2026-07-22: four marks + one discrete symmetry-lift bit (flag transitivity <=> tau = i) + pi (v491/v499/v506/v507/v510/v512), marker unchanged | 2026-08-28 v993: v624 architecture conditionality lifted at the census level (D5, A3 unique in full rank-8 ADE); axiom typing UNCHANGED | WAVE-6 (2026-08-30 v1005): pencil circularity-flagged (5 already in Q_2/C column sums); NOT a P2 selector; axiom typing UNCHANGED | AFTERNOON (2026-08-30 v1010): pencil selector rehabilitated: column sums forced by prior constructions (ladder c=2 + n=3 force Q sums (9,5,1); C's 5 inherited from R col 3 -- non-circular); W-shift conditionally unique given democratic-image + carrier-anchor-kernel (1078 -> 1); remaining obligation = seam-geometric derivation of those premises; axiom typing UNCHANGED | LATE EVENING (2026-08-30 v1014): W-bridge premise P-anch derived (anchor chain); P-dem narrowed to the character-blind determinant-response map -- same MMST/Quillen externalized leg as TEL-B/ALG-EXH/P1. Axiom typing UNCHANGED. | MONDAY MORNING (2026-08-31 v1015): BOTH W-bridge premises derived at finite level (P-anch v1014; P-dem r=(1,1,1)); remainder 0 modulo MMST. Axiom typing UNCHANGED.
Dependencies: BOOT.01; ARCH.CORE.01; v491; v499; v510; v512; v993
Scripts: v1005_relative_pencil_bridges.py, v1010_simplicity_bridge_census.py, v1014_bridge_refinements.py, v1015_axiom_core_closure.py
Location: tfpt_1
Original CSV, line 3Original ledger status
QGEO.EQORDER.01
The equivariant order and the infinity bridge (one module, 12 checks, ~4 s; discovery probe equivariant_order_probe.py 12/12, verdict EQUIVARIANT-ORDER-LANDED). CORRECTION + THE INTEGRAL FORM [E]: R IS an anti-isometry of the polarization -- the correct compatibility equation M^dagger J M = J^T holds EXACTLY (a v599-diary side remark had tested the wrong equation M conj(J) M^dagger vs J); consequently J restricts to a REAL SYMMETRIC INTEGER form on the saturated fixed lattice: J_fix = [[16,2,4],[2,-2,2],[4,2,-2]], det 72 = 8 x 9 (the polarization determinant times the (1-omega)-covolume factor). THE EQUIVARIANT ORDER IS FULL [E]: the Z-lattice generated by the seven words of ALL FOUR mark frames (the r^k-conjugates of the v601/v602 equivariant pair; all 28 words Z[omega]-integral) has FULL rank 18 in M_3(Z[omega]) with Smith divisors (1^15, 3, 3, 3) -- saturation index 27 = 3^3: one frame gives the 7-dim parabolic of index 81 = 3^4 (v600), all four give the full matrix algebra of index 27. THE 3-TORSION LOCALIZES AT INFINITY [E]: on the unreduced integral module Z[omega]^4, coker(1 - T_inf) = Z^2 + (Z/3)^3 (Smith divisors (1,1,1,3,3,3,0,0), torsion 27) while each FINITE cusp twist is torsion-free (divisors (1,1,0^6)) -- three objects share (Z/3)^3 = 27: the infinity-monodromy cokernel, the equivariant-order cokernel, and det_Z(1-deck) (v597). THE READING [C]: the two compiler constants localize on the cover -- 81 = 3^4 at the FINITE marks (cusp divisor classes, v597; per-frame word order, v600) and 27 = 3^3 at INFINITY (monodromy defect; full equivariant order): the integral infinity <-> order-torsion bridge. TRANSLATOR NEGATIVES EXTENDED [X, quantified]: the corpus RP metric pulled back to the integral fixed lattice is NOT proportional to J_fix or its Klein twists (6 tested), and neither J_fix^-1 F2 nor F2 J_fix^-1 lies in the word algebra -- after the (B, Gamma, Klein, J_fix) sweep the corpus transpose structure resists all single-sheet constructions; the conjugate character sheet (omega-bar) is the named next candidate. GATE.QGEO does not move; no marker changes. [2026-08-01 XXII: the translator is FOUND -- v605: the corpus RP anti-automorphism is the J-adjoint twisted by an explicit inner element c (14c integral; the omega-bar detour was unnecessary); the seam is 3-torsion at infinity; the 81 survives frame-joining; see QGEO.TRANSLATOR.01.] [2026-08-02 XXXIX: the fixed-lattice form J_fix gains an arithmetic identity -- v624: P^T J_det P = J_fix EXACTLY with det P = -6 (J_det the prime-front determinant form): the two Lorentz lattices are the same rational quadratic form, the cover an index-6 sublattice (72/2 = 6^2, 6 = p_2(a)); P-canonicity and the Hodge-chamber question preregistered; see EXTREV.LATTICE.01.]
Recorded status: Exact [E] anti-isometry/order/localization identities + [C] typed localization reading + [X] quantified translator negatives (exact sympy; Smith normal forms over Z)
Dependencies, status detail and source
Canonical status: EQUIVARIANT-ORDER-LANDED: M^dag J M = J^T exact (R anti-isometry); J_fix integer, det 72; four-frame order FULL rank 18, divisors (1^15,3,3,3), index 27 = 3^3; coker(1-T_inf) = Z^2+(Z/3)^3, finite cusps torsion-free; 81 at marks / 27 at infinity; translator negatives extended (omega-bar named); 12/12 checks
Dependencies: QGEO.SEAMMARKS.01; QGEO.DUALFORMS.01; QGEO.EMBED.01; QGEO.COVER.01; v597; v600; v601; v602; v603
Scripts: v604_equivariant_order.py
Location: tfpt_1;tfpt_2;tfpt_3
Original CSV, line 622Original ledger status
EXTREV.LATTICE.01
The external-review lattice audit (one module, 14 checks, <1 s; discovery probe external_lattice_audit_probe.py 14/14, verdict LATTICE-AUDIT-PASSED; external review 2026-08-02, three claimed derivations machine-checked, one follow-up retyped honestly). THE FOUR-MARK CLOSURE [E, conditional]: generalizing the glue to D_{d+1} + A_{d-1}, THREE independent selectors each force d = 4 -- the disc-group census (Z_d = Z_4 with cyclic D-side; negative controls d = 3, 5, 8), the even-glue norm equation (d+1)/4 + (d-1)/d = 2 (unique positive solution; no other even target admits an integer d), and the Pythagorean selector (d-1)^2 + d^2 = (d+1)^2 (the (3,4,5) = (cycles, marks, carrier) triple); (1,1,2) is the unique 3-part partition of 4 and c_3 = 1/(2 e_1 pi) = 1/(8 pi): under the named architecture the two-input presentation reduces to ONE boundary degree d = 4 plus pi; honest: conditional on the glue architecture, the residue moves to why the boundary realizes the minimal cyclically-glueable genus-0 divisor. THE ANCHOR BYTECODE [E]: chi_a = (t-1)^2(t-2) carries (4, 5, 2); p_n = 2 + 2^n with p_{n+2} = 3p_{n+1} - 2p_n; Newton recovers the e_k; p_1 p_2 p_3 = 240, p_4 - p_3 = 8, 240 + 8 = 248 (H-realization v602). THE LORENTZ CONGRUENCE [E + X]: P^T J_det P = J_fix EXACTLY with det P = -6 -- the prime-front determinant form and the v604 cover polarization lattice are the SAME rational quadratic form, the cover an index-6 sublattice (36 = 6^2, 6 = p_2(a)); the review's follow-up (integer R to B = M^dagger J) is ILL-POSED as stated (B COMPLEX symmetric, det 8 verified); partial positive: the third symmetric-Gauss ratio is an exact Q(omega) square; P-canonicity and the Hodge-chamber question are the named opens. CITATIONS VERIFIED: Suzuki arXiv 2606.09096 (screw-function Weil framework, Yoshida odd-criterion) and arXiv 2607.24830 (numerical realization) -- the basis of the PRIME.WEIL.OPERATOR contract. No marker moves; AX.P2.01 keeps its typing; no RH statement. [2026-08-02 XL: the prime-shadow audit lands -- v625: the 'primes appear AFTER E8' reading is exact at the theta level (Theta_E8 = E_4, shell counts 240 sigma_3(n) multiplicative, commuting Hecke channels with the theta as simultaneous eigenvector, L(E_4,s) = zeta(s) zeta(s-3)); the direction of explanation (geometry first, primes as readout) is fixed within the narrative; see PRIME.SHADOW.01.] [2026-08-02 XLI: the Lorentz congruence P^T J_det P = J_fix is additionally machine-proved in Lean (experiments/lean4-carrier-rigidity/TfptCarrier/LorentzCongruence.lean, kernel decide on the explicit integer matrices, lake build green, no sorry); P-canonicity and the operator construction of P executed by v635/v636 (see PRIME.PCANON.01 / PRIME.PCONSTRUCT.01).] [2026-08-02 XLV: look-elsewhere quantification -- v664: the observation 6 = Lorentz-congruence index = p_2(a) carries p_max = 0.169 under the most conservative null model: retyped as an observation WITHOUT statistical weight (the exact congruence P^T J_det P = J_fix itself is [E] and untouched).] [2026-08-28 CXL: v993 lifts the architecture conditionality at the census level -- full rank-8 ADE with cyclic Z4 both sides selects (D5, A3) uniquely; the D+A split is an OUTPUT. EXTREV.LATTICE.01's own v624 checks and typing UNCHANGED (they remain the architecture-conditional selectors).]
Recorded status: Exact [E] closure/bytecode/congruence identities + [X] the ill-posed retype + [C] conditional typing (sympy; citations web-verified)
Dependencies, status detail and source
Canonical status: LATTICE-AUDIT-PASSED: four-mark closure forces d = 4 three ways (conditional); bytecode exact (240 + 8 = 248); Lorentz congruence P^T J_det P = J_fix exact (index 6); B-test retyped ill-posed; Suzuki citations verified; 14/14 checks | 2026-08-28 v993: architecture conditionality lifted at census level (this row's v624 checks unchanged)
Dependencies: AX.P2.01; QGEO.EQORDER.01; QGEO.DUALFORMS.01; PRIME.UNIFC.01; v47; v602; v604; v618
Scripts: v624_external_lattice_audit.py
Location: tfpt_3;tfpt_research_contracts
Original CSV, line 640Original ledger status
META.LOOKELSEWHERE.01
The look-elsewhere audit -- the bingo budget of the typed [C] numeric coincidences, quantified (one module, 14 checks, ~2 s; discovery probe look_elsewhere_probe.py 14/14, verdict LOOKELSEWHERE-QUANTIFIED; seed 20260802, 100k MC, exact Poisson-binomial tails). THE BUDGET [E]: N = 42 structure slots, K = 19 hits against the compiler target list FROZEN before the computation; the 6 killed readings enter as 0-hit trials. GLOBAL [E]: family-corrected p = 5.08e-3 in the most conservative of three null models (uniform 7.5e-13, divisor-weighted 8.4e-13, size-windowed 5.08e-3); empirical control: 0.2%/0.3% of 2000 size-matched pseudo-target lists reach the real hit count / the real p. THE TRIAGE [E, the point]: NO single observation is significant on its own -- suggestive (0.01..0.1): 60 = D_start, 12 sigma-fixed roots = 12 marks, the G31 degrees, 48 = 240/5 = Omega_adm; unremarkable (p > 0.1): 6 = p_2(a) (p = 0.169) and the CODESEM number battery (p = 0.593); FORCED: 14 = A_4, 16 = |C| (their value is the theorem, not the number). RE-TYPES executed as dated ledger notes (EXTREV.LATTICE.01, E8.CODESEM.01, E8.CODE.01). The substance of the rounds lies in the [E] structure theorems, not in the number bingos; kills confirm the discipline (6 of 12 readings killed).
Recorded status: Exact [E] budget census + MC quantification + executed re-types (read-only meta-module; Python-only per GATE.WOLFRAM.02).
Dependencies, status detail and source
Canonical status: LOOKELSEWHERE-QUANTIFIED: 42 slots / 19 hits / 6 kills, global p = 5.08e-3 conservative (ensemble significant), pseudo-theory control 0.2%/0.3%, NO single observation significant; re-types executed (6 = p_2(a) p = 0.169; CODESEM battery p = 0.593; 14/16 FORCED); the substance is the [E] theorems.
Dependencies: META.DISCIPLINE.01; EXTREV.LATTICE.01; E8.CODE.01; E8.CODESEM.01; E8.INCIDENCE.01; E8.ST31.01; v100; v624; v626; v629; v633; v634; v638; v646; v647
Scripts: v664_look_elsewhere.py
Location: tfpt_3
Original CSV, line 658Open 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?