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-03 · 783 active ledger claims · 784 scientific findings · 707 registered scripts. These are different inventories, not counts of independent physical confirmations.

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

The scientific findings include 587 established scoped results, 63 conditional results and 134 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 85a73be77d6a100b54e15e8b · snapshot SHA256 a38278550b16a82e80bddb59fff74ce50f5d97a91b1b21933ae7d7c15dc10134

1567 matching records · page 39 of 79

Original ledger status

SEAM.MMST.TYPEIII.CHARGED.01

SEAM.MMST.TYPEIII.CHARGED.01

THE MASTER SCALING-LIMIT THEOREM FOR THE CHARGED/TYPE-III IDENTIFICATION [O] (registered 2026-08-29, review wave 5). DEMAND: ONE scaling-limit theorem Psi_lambda,N -> Psi_lambda strongly on the finite-energy core + crossed-product continuity, from which B ≅ (E8)_1, mu = 1, type III_1, unique rotational KMS, unique conditional expectation, deck equidistribution, and modular invariance all follow as corollaries. CHILDREN (listed here, not listing back): SEAM.SIMPLECURRENT.GENERATOR.01, SEAM.STATE.RPMIXING.01 continuum leg, ALPHA.QUILLEN.EXACT.01 rigidity premise, AX.P1.01 reading. CITED DOCUMENT: articles/2026-08-29/holomorphic_kms_extension_en.tex (13 pp): unconditional rotational-KMS uniqueness via KLM + Longo-Tanimoto GIVEN the identification; P1 = theorem-conditional on seam identification + beta_angle = 2pi. KILL: the scaling limit fails to exist; uniqueness of rotational KMS fails; type III_1 fails; a competing conditional expectation exists. Status: Open [O]. No marker move on children. EXECUTED UPDATE (2026-08-30, review wave 7, v1006): five lemmas proved in-house -- L3 crossed-product, UGF K_G=pi^2/4 (measured plateau ~1.023), TEL-a N^{-2} with exact isometries (A_TEL=5120(1+pi/2), measured envelope ~3.42), integer D5+A3 pairings, Z4 outerness in the limit + finite-inner correction (256-dim gauge unitary is inner). Residual boxed: TEL-B-EXTERNAL (Hankel C_R; HS max 2.105079358 / fit 2.107565497 / v998 bound 2.11) + ALG-EXH (two Buchholz-Verch estimates). Display stays [O]; no marker move. MONDAY MORNING (2026-08-31, v1016): TEL-B third (certified-tail) route BLOCKED -- N^2 D_N grows 530 -> 19032, remainder UV-supported. TEL-B-EXTERNAL (2026-09-04 reduction): triangle bound via cover identity + sawtooth split; (A) lattice piece certified numerically for all N, ||R^sm_N|| <= 1.7833 (all-mode BV, one float64 TV constant); (B) explicit piece reduced to Sigma|Res_N|^2 <= 0.2769 (measured 0.1550), open items C1 (C* <= 0.1525 enclosure), C2a (|phi_N| <= 0.51/N), C2b (cell oscillation of r); numerically 2.57 < 3, conditional analytic 2.9495 < 3. Status unchanged [O]. N-uniform CAR nuclearity PROVED (nu_N <= exp(16 C_beta); C_beta = (67.97, 29.73, 12.15) for beta = (0.5, 1, 2)) as ALG specialist compactness input; ALG-EXH projector-identification line UNCHANGED. Display stays [O]. EXECUTED UPDATE (2026-09-05, v1022/v1025): TEL-B C1 is interval-certified at C_star<=0.1520453048...<0.1525; C2a is analytically proved with N sup|phi_N|<0.509 for every even N>=16; the native 256-bit/5812-cell TV certificate gives TV_p(F'')<=15.817695962988924...<15.928674 and K3_TV<2.517464500835. The analytic C2b scalar reduction plus Arb arithmetic gives c_potential=0.399224424139106...<0.400. Full C2b remains open exactly at CF<=0.139/sqrt(N) and DG<=0.060/sqrt(N). The old ALG2 Vandermonde-to-generated-algebra implication is refuted by an exact M2 countermodel; FE-GEN or a precise gauge/code-projected algebra is required and ALG1 is conditional on the same generated-sector completeness. MMST/type-III identification remains Open [O]. ROUND-4 CURRENT: v1026 proves the relaxed uniform norm ||R_N||HS<2.995906<3 for every evenN>=16 (CF/DG/CROSS plus validated Fourier aliases). Historical2.11 and finite1.7833 are not promoted. The residual is microscopic one-edge FE-GEN, actual-word/joint-adjoint tails, ALG-EXH and MMST identification; v1030 is conditional. Aggregate [O] unchanged.

Recorded status: Open (research contract; master scaling-limit theorem; children listed here not back) | Round-3: C1/C2a/TV and scalar C2b subclaims proved [E]; ALG2 implication refuted [X]; CF/DG and ALG-EXH remain Open [O].

Dependencies, status detail and source

Canonical status: Open [O] + five lemmas in-house (v1006): L3, UGF K_G=pi^2/4, TEL-a N^{-2} isometries, integer D5+A3 pairings, Z4 outerness in the limit. Residual boxed TEL-B-EXTERNAL + ALG-EXH. WAVE-7 2026-08-30. Display stays [O]. | MONDAY MORNING (2026-08-31 v1016): TEL-B narrowed to scalar dyadic A_R<43 (factor-350 headroom; UV-supported remainder); uniform CAR nuclearity proved as specialist input; ALG-EXH unchanged. Display stays [O]. | ROUND3 2026-09-05: TEL-B reduced to CF/DG; C1/C2a/TV closed; ALG2 correction binding. Charged/type-III parent stays [O]. | ROUND-4 CURRENT: v1026 proves the relaxed uniform norm ||R_N||HS<2.995906<3 for every evenN>=16 (CF/DG/CROSS plus validated Fourier aliases). Historical2.11 and finite1.7833 are not promoted. The residual is microscopic one-edge FE-GEN, actual-word/joint-adjoint tails, ALG-EXH and MMST identification; v1030 is conditional. Aggregate [O] unchanged.

Dependencies: SEAM.SIMPLECURRENT.GENERATOR.01; SEAM.STATE.RPMIXING.01; ALPHA.QUILLEN.EXACT.01; AX.P1.01

Scripts: v1006_mmst_lemma_battery.py, v1016_state_gap_batteries.py, v1022_telb_round3_certificates.py, v1025_telb_c1_c2a_certificates.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 767

Original ledger status

FLAV.NU.TEXTURE.MECHANISM.01

FLAV.NU.TEXTURE.MECHANISM.01

THE NEUTRINO-TEXTURE MECHANISM CONTRACT [O] (registered 2026-08-29, review wave 5, v1003). Both structural nulls are BINDING CONSTRAINTS. [E] charged-sector data h=(1,1,1), d=(64,60,64) (coset min norms all 2). [X] Schur-texture NULL: all 8 preregistered (K,B) combinations fail; D4 reflection forces lambda_1=lambda_3; hierarchy (eps, 2eps, 3) structurally unreachable from D4-even seam data; required K spectrum [3536.998, 1768.499, 1/3] matches none of 9 comparators. [E] orientation-doubling structure theorem: the sgn-J odd sector generically lifts the degeneracy (exact rational witness). [X] scale NULL: 12 declared trials all fail; required cancellation 1-|c/a|=1.885e-4 not supplied by any frozen constant; eta-branches isospectral. CONSEQUENCE: the mechanism must be D4-odd AND supply a ~2e-4 even-odd cancellation; pure seam data excluded [X-typed]. Does NOT close FLAV.NUSCALE.05/.06; no seesaw closure. Status: Open [O]. EVENING (2026-08-30, v1012): kappa six-fold NULL completes the scaffold bound -- six pre-declared D4-odd candidates, all parity-checked, all NULL (five at 1e-14; K4 = 3.55e-3 is 18.8x too large). The 1.885e-4 cancellation scale requires the true 4D functional. Mechanism scale strictly beyond frozen finite objects. Display stays [O]. EXECUTED UPDATE (2026-09-05, v1024): FLAV.NU.PARENT.INTERTWINER.01 constructs a positive, even, gauge-neutral non-additive finite parent-internal A3-D4 coupling with conditional gap 0.25 and mixed resolvent 0.104712041885. Ordinary D4 acts only on the selected pair operators; the full Fock lift is projective, with C_f^8=1, C_f^4=(-1)^(N1+N3) != (-1)^F and J_f C_f J_f=(-1)^F C_f^-1. It supplies no neutrino mass matrix or 2e-4 cancellation and is not a 4D functional. Parent status stays Open [O]. ROUND-4 CURRENT: v1028 exactly counts full Gauss dimensions and constructs a D4-symmetric cap only on the selected even pair subspace. The invariant-vector space is2D; the actual symmetric fermion lift forbids all Majorana bilinears. No mass texture; [O] unchanged.

Recorded status: Open (research contract; both structural nulls are binding constraints; NUSCALE.05/.06 unmoved) | Round-3 v1024 provides a finite parent-internal witness [E/N]; the physical texture/scale remains Open [O].

Dependencies, status detail and source

Canonical status: Open [O] (v1003): mechanism must be D4-odd AND supply a ~2e-4 even-odd cancellation; pure seam data excluded [X-typed]. NUSCALE.05/.06 unmoved; no seesaw closure. | EVENING (2026-08-30 v1012): kappa null completes the scaffold bound: mechanism scale strictly beyond frozen finite objects -- 4D functional required. Display stays [O]. | ROUND3 2026-09-05: finite intertwiner only; projective full-Fock boundary explicit; no neutrino mass texture. Display stays [O]. | ROUND-4 CURRENT: v1028 exactly counts full Gauss dimensions and constructs a D4-symmetric cap only on the selected even pair subspace. The invariant-vector space is2D; the actual symmetric fermion lift forbids all Majorana bilinears. No mass texture; [O] unchanged.

Dependencies: FLAV.NUSCALE.05; FLAV.NUSCALE.06

Scripts: v1003_nu_structural_nulls.py, v1012_toe_gate_witnesses.py, v1024_parent_internal_boundaries.py

Location: tfpt_2_standard_model;tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 768

Original ledger status

SEAM.MILNOR.LOCALRING.01

SEAM.MILNOR.LOCALRING.01

THE MILNOR LOCAL-RING IDENTIFICATION CONTRACT [O] (registered 2026-08-30, review wave 6, v1004). REQUIRED: a CANONICAL identification between the raw seam collar / E8 transition bus and the reduced Milnor algebra F2[y,z]/(y^2,z^4) preserving simultaneously the dual-number action, Frobenius pairing, Gray torsor, deck action and CP. ACCEPTANCE: the identification must be geometric/mechanical (not basis-chosen), must produce the rank clock and socle-CP as OUTPUTS. KILL: any second inequivalent identification with the same invariants, or failure of mu4-equivariance. NOTE: would reduce P2 / alignment-bit / Gauss-code / Brieskorn origin to one local ring. Currently [O] because the Milnor algebra + E8 exponents are CLASSICAL (cite, no claim) and the corpus map is unproven. Executed finite algebra (v1004): rank clock (2-a)(4-b) sums to h(E8)=30; S=pqr*mu/8; self-clock iff mu=8; (2,3,5) unique among ordered spherical triples; Galois-Gray 11/7/-1; CP = socle/Frobenius; integral D^4 bridge basis-dependent. PG(3,2)=AG(3,2) sqcup PG(2,2) interpretive [C]. Status: Open [O].

Recorded status: Open (research contract; canonical geometric identification of the raw seam collar with F2[y,z]/(y^2,z^4) unproven; Milnor algebra + exponents classical)

Dependencies, status detail and source

Canonical status: Open [O]: required canonical identification (dual-number + Frobenius + Gray torsor + deck + CP) geometric/mechanical, not basis-chosen; rank clock and socle-CP as outputs. Kill: second inequivalent identification, or mu4-equivariance failure. Classical cite vs new-in-corpus [E-finite] vs interpretive [C] typed on v1004. WAVE-6 2026-08-30. | AFTERNOON (2026-08-30 v1010): SHARPENED -- strong all-structure identification finitely obstructed at F2 (clock order 2 vs 4, CP Jordan rank 2 vs 4) and at all upstairs homes (Z/4: J^2=-I vs Gray P^2!=-I, D8 vs C4xC2; Gaussian k=2 order collapse, k=3 rank/relation clash; affine cannot repair linear parts). Only the coarse D-module+pairing bridge exists (witness constructed; |Aut(X)|=36864, |Aut(Y)|=8). Ring-internal identities (rank clock, socle CP, self-clock) of v1004 UNAFFECTED. Display stays [O].

Dependencies: SEAM.EQUIV.01; AX.P2.01

Scripts: v1004_milnor_frobenius_gray.py, v1010_simplicity_bridge_census.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 769

Original ledger status

GRAV.WEINBERG.WITTEN.01

GRAV.WEINBERG.WITTEN.01

THE WEINBERG-WITTEN FIREWALL [O] (registered 2026-08-30, review wave 6). BINDING BEFORE ANY spin-2 marker move. DEMAND: the microscopic Hamiltonian family must NOT possess a fundamental Lorentz-covariant local conserved T_munu; Lorentz symmetry, diffeomorphism Ward identities and the spin-2 mode must emerge in the SAME IR limit. ACCEPTANCE: positive TT spectral density, exactly two helicities, massless pole, emergent diffeomorphism Ward identity, universal soft coupling, AND an explicit statement of which Weinberg-Witten premise is evaded. KILL: a microscopic covariant local T_munu together with a massless composite spin-2 claim. Child of TOE gate T7; cross-link GRAV.SPIN2.EMERGENCE.01 (listed here, not back on SPIN2 -- would cycle). Status: Open [O].

Recorded status: Open (research contract; binding firewall before any spin-2 marker move; no script)

Dependencies, status detail and source

Canonical status: Open [O]: Weinberg-Witten firewall -- no microscopic Lorentz-covariant local conserved T_munu; Lorentz, diffeomorphism Ward and spin-2 emerge in the SAME IR limit. Acceptance: positive TT density, two helicities, massless pole, emergent diff Ward, universal soft coupling, named evaded premise. Kill: microscopic covariant local T_munu + massless composite spin-2. Child of T7. WAVE-6 2026-08-30.

Dependencies: GRAV.SPIN2.EMERGENCE.01; GRAV.NONCIRCULAR.01

Scripts: See original ledger entry

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 770

Original ledger status

E8.DIRECTED.READOUT.01

E8.DIRECTED.READOUT.01

THE SEVEN EXACT E8 READOUT CELLS [E] Identity (round r609, promoted 2026-09-02; module v1018, re-derived, no probe imports). (1) Seifert/Euler: S+S^T=A_E8, charpoly(-S^{-1}S^T)=Phi_30, rank(S-S^T)=8, orientation-independent charpoly (exponents=totatives of 30; degrees {2,8,12,14,18,20,24,30}, sum(2m_i+1)=248). (2) Hamming H_8 enumerator 1+14 y^4+y^8, 240=16+14*16, S(3,4,8). (3) srg(120,56,28,24) eigenvalues 56/8/-4 with multiplicities 1/35/84. (4) Hecke N(n)=240 sigma_3(n) for n<=10 (theta of E8 = E_4). (5) Delta: A_P(n)/A_P(1)=tau(n) for n<=8 on three axes, degree-2/4/6 vanishing, E_4^3-E_6^2=1728 Delta. (6) (Z/30)^x cong C_2 x C_4 (orders {1,2,2,2,4,4,4,4}, not C_2^3); D_chi(s)=L(s,chi)L(s-3,chi) for n<=200. (7) E6 oplus A2 gluing: index 3, Smith (1^6,3,3), roots 72+6+162, glue classes 78/81/81. C7 Gauss-code transform NOT promoted: stays OPEN (note_e8_gaussian_code.tex rem:c7-audit). NOT evidence for or against the Riemann Hypothesis. NO RH CLAIM.

Recorded status: Proven finite statement [E] (Identity, exact over Z/Q via sympy); C7 Gauss-code transform stays OPEN (rem:c7-audit); NO RH claim

Dependencies, status detail and source

Canonical status: [E] Identity: seven exact E8 readout cells (Seifert/Phi_30, Hamming, srg(120,56,28,24), N(n)=240 sigma_3(n), tau, C2 x C4, E6 oplus A2 glue); C7 OPEN (rem:c7-audit); NO RH claim

Dependencies: v1018

Scripts: v1018_e8_directed_readout.py

Location: note_e8_gaussian_code;introduction;tfpt_4_frontier

Original CSV, line 771

Original ledger status

E8.COXETER.EULER.COMPLETION.01

E8.COXETER.EULER.COMPLETION.01

THE COXETER-EULER COMPLETION OF E8 [E] Identity + Numerical (round r617, promoted 2026-09-02; module v1019, re-derived, no probe imports). Exact: C=-S^{-1}S^T, det(I-xC)=Phi_30, Tr C=-1; Moebius Phi_30=(1-x^2)(1-x^3)(1-x^5)(1-x^30)/[(1-x)(1-x^6)(1-x^10)(1-x^15)] (classical cyclotomic Euler-product inversion); U=1 oplus C, det(I-xU)=(1-x)Phi_30=1-x^2-x^3+x^6+x^7-x^9, Tr U=0. Global Z_C(s)=zeta(2s)zeta(3s)zeta(5s)zeta(30s)/[zeta(s)zeta(6s)zeta(10s)zeta(15s)] and D_E8(s)=zeta(6s)zeta(10s)zeta(15s)/[zeta(2s)zeta(3s)zeta(5s)zeta(30s)], absolutely convergent for Re s>1/2. Numerical (mpmath, cutoff X=10^5): D_E8 residual 4.76e-4 at s=0.75, 4.16e-12 at s=1.5. CLASS: the vanishing linear term is the generic consequence of Tr C=-1 (controls: scalar -1 -> 1/zeta(2s); A1 -> 1/zeta(2s); A2 -> 1/zeta(3s); E6 (Phi_3 Phi_12) -> zeta(4s)zeta(6s)/[zeta(2s)zeta(3s)zeta(12s)]; negative control B2 (Phi_4, trace 0) -> zeta(2s)/[zeta(s)zeta(4s)], still contains 1/zeta(s)); E8 only selects the divisor set of 30. Beurling-generic: the identity holds for any set of primes Q subset (1,inf) -- no prime-specific input. FENCE (verbatim, no marker upgrade): The trace-free completion is zero-free and pole-free in Re s > 1/2. The splitting into the scalar zeta channel and the Coxeter channel is open and RH-equivalent. No RH claim. Typed no-go E8.COXETER.REGULARIZED_SPLIT.NO_GO.01: any construction controlling only the det_2/Hilbert-Schmidt part cannot isolate 1/zeta(s); the RH content sits in the analytic continuation of the trace term P(s)=Sum_k mu(k)/k log zeta(k s). The analytic identities are classical; the new statement is the E8 reading with the fence. Like the Eisenstein bridge, RH-neutral as a finite identity. NO RH CLAIM.

Recorded status: Proven finite statement [E] (Identity, exact over Z/Q via sympy) plus Numerical Euler-product checks (mpmath, X=10^5); fence/no-go carry NO marker upgrade; NO RH claim

Dependencies, status detail and source

Canonical status: [E] Identity: det(I-xC)=Phi_30, Tr C=-1, U=1 oplus C, Z_C and D_E8 zeta quotients (classical Moebius); Numerical Euler products at X=10^5 (residuals 4.76e-4 at s=0.75, 4.16e-12 at s=1.5); class statement + Beurling-genericity; fence verbatim (no marker upgrade); NO-GO E8.COXETER.REGULARIZED_SPLIT.NO_GO.01 on det_2; NO RH claim

Dependencies: v1019

Scripts: v1019_coxeter_euler_completion.py

Location: introduction;tfpt_4_frontier

Original CSV, line 772

Original ledger status

BULK.PRIME_COMPLETION.01

BULK.PRIME_COMPLETION.01

THE PRIME-COMPLETION CONTRACT [O] (registered 2026-09-04, v1020): replaces the "unique from seam data alone" reading of SEAM.BULK4D.RECON.01/B7 by uniqueness IN THE CATEGORY OF SEAM-GENERATED (PRIME) COMPLETIONS. DEMAND: (1) an explicit family of seam-derived subalgebras A_i (seam CAR algebra, its time evolution, inclusions/intersections); (2) generatedness A_bulk = vN(v_i A_i); (3) NO-SPECTATOR: trivial relative commutant (v_i A_i)' ^ A_bulk = C.1, equivalently no decoupled tensor factor with trivial boundary map; (4) uniqueness ONLY within this category; (5) stability of (2)/(3) in the 3+1D limit. KILL: a seam-generated completion with nontrivial relative commutant, or two inequivalent prime completions. FINITE WITNESS (v1020, free fermions, 2+1D strip): stacking a trivial gapped sector leaves every seam datum unchanged (Chern, edge modes, seam-restricted covariance) and changes the bulk; Krylov generatedness + commutant test separate B from B (+) C by exactly dim C at every momentum; generatedness holds a.e. in p (fails only at p=0 by symmetry). Dimension typing: hypotheses 2+1D free-fermion, conclusion a re-scoped 4D demand (DIMENSION.UPLIFT.FIREWALL.01 F2). The 2D modular-invariant uniqueness of the holomorphic (E8)_1 net is untouched and is NOT a 4D no-spectator theorem.

Recorded status: Open (research contract)

Dependencies, status detail and source

Canonical status: Open: the prime-completion contract (uniqueness in the category of seam-generated completions with trivial relative commutant); finite free-fermion witness in v1020 (B vs B (+) C separated by dim C at every momentum, generated a.e. in p); no closure; SEAM.BULK4D.RECON.01/B7 re-scoped, not superseded; DIMENSION.UPLIFT.FIREWALL.01 F2 dimension typing in force

Dependencies: SEAM.BULK4D.RECON.01; DIMENSION.UPLIFT.FIREWALL.01

Scripts: v1020_spectator_sector_obstruction.py

Location: tfpt_research_contracts

Original CSV, line 773

Original ledger status

SEAM.MMST.TELB.C1C2A.01

SEAM.MMST.TELB.C1C2A.01

TEL-B C1/C2a SUBCLAIM CONTRACT (registered 2026-09-05, v1025; no parent marker move). C1: a native 100-bit Arb/Acb certificate integrates 3888 analytic rectangles, adds a closed axis-strip majorant and the exact imaginary term 1/12, obtaining C_star <= 0.1520453048... < 0.1525. C2a: exact cotangent reindexing, the Peano kernel and shifted Euler summation prove N sup_k |phi_N(k)| < 0.509 for every even N>=16; v1025 outward-checks the final constants. These are subclaims of TEL-B only. C2b CF/DG, ALG-EXH, the charged/type-III scaling limit and TOE T2 remain open. Native python-flint==0.9.0; not Pyodide. NO RH CLAIM. ROUND-4 SUPERSESSION: v1026 closes the former CF/DG residual and relaxed norm; v1025 C1/C2a inputs remain valid. ALG-EXH and MMST remain OPEN.

Recorded status: Proven subclaims [E]: C1 native interval certificate plus analytic axis bound; C2a analytic all-even-N theorem plus outward constant certificate. Parent contracts remain Open [O].

Dependencies, status detail and source

Canonical status: [E] subclaims only: C_star<0.1525 and sup|phi_N|<0.509/N for every even N>=16. C2b, ALG-EXH, MMST and TOE remain [O]. | ROUND-4 SUPERSESSION: v1026 closes the former CF/DG residual and relaxed norm; v1025 C1/C2a inputs remain valid. ALG-EXH and MMST remain OPEN.

Dependencies: SEAM.MMST.TYPEIII.CHARGED.01; TFPT.TOE.COMPLETE.01

Scripts: v1025_telb_c1_c2a_certificates.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 774

Original ledger status

SEAM.MMST.TELB.ROUND3.01

SEAM.MMST.TELB.ROUND3.01

TEL-B ROUND-3 MIXED CERTIFICATE (registered 2026-09-05, v1022; no parent marker move). Native 256-bit Arb/Acb over 5812 rational cells gives TV_p(F'') <= 15.817695962988924... < 15.928674 and K3_TV < 2.517464500835. The analytic C2b scalar reduction, with executable Arb arithmetic in v1022, gives c_epsilon=0.288547359238..., c_zeta=0.110677064901..., sum=0.399224424139...<0.400. Full C2b remains open exactly at CF<=0.139/sqrt(N) and DG<=0.060/sqrt(N). The exact one-mode M2 countermodel refutes the prior ALG2 Vandermonde-to-generated-subalgebra implication; FE-GEN or a precise gauge/code projection is required, and ALG1 positivity is conditional on the same generated-sector completeness. Native python-flint==0.9.0; not Pyodide. NO RH CLAIM. ROUND-4 SUPERSESSION: v1026 closes CF/DG and the relaxed all-even-N>=16 norm below2.995906<3; the old full-C2b-open wording is historical. TV and potential inputs remain valid. v1030 gives only a conditional sector/frame interface; microscopic ALG-EXH/MMST remain OPEN.

Recorded status: Mixed: TV interval-certified [E]; C2b scalar reduction is analytic proof plus Arb arithmetic [E]; old ALG2 implication refuted [X]; CF/DG, ALG-EXH, MMST and TOE remain Open [O].

Dependencies, status detail and source

Canonical status: TV residual closed; C1/C2a closed by v1025; C2b reduced to CF and DG; ALG2 inference killed and replacement premise named. No parent marker move. | ROUND-4 SUPERSESSION: v1026 closes CF/DG and the relaxed all-even-N>=16 norm below2.995906<3; the old full-C2b-open wording is historical. TV and potential inputs remain valid. v1030 gives only a conditional sector/frame interface; microscopic ALG-EXH/MMST remain OPEN.

Dependencies: SEAM.MMST.TELB.C1C2A.01; SEAM.MMST.TYPEIII.CHARGED.01; TFPT.TOE.COMPLETE.01

Scripts: v1022_telb_round3_certificates.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 775

Original ledger status

CHIRAL4D.MIRROR.DFILTER.BLOCK.01

CHIRAL4D.MIRROR.DFILTER.BLOCK.01

DERIVATIVE-FILTERED WALL BLOCK LEMMA (registered 2026-09-05, v1023; no parent marker move). For H_df=Delta b^dagger b+lambda(b+g D_GW p)^dagger(b+g D_GW p), every singular-value block has determinant lambda g^2 Delta s^2, preserves ker D_GW on the physical summand, has an adiabatically mirror-continuated high branch >=Delta+lambda and a quadratic low branch with coefficient lambda g^2 Delta/(Delta+lambda). Finite gauge covariance and SVD reduction defects are 2.41e-15 and 1.78e-15. The bare mirror variable is not invariant and has low-band weight for s>0: no bare-mirror response gap and no Weyl cone. Canonical DET16/DET32 realization, interacting parent, admissibility/quasilocality, measure/anomaly/index control, universality and 4D continuum remain open.

Recorded status: Proven finite block identity [E]; GW/gauge reading conditional [C]; DET16 [C], NOMIRROR [O], T4 and TOE [O] unchanged.

Dependencies, status detail and source

Canonical status: [E-finite]/[C]: exact 2x2 singular-value block and deterministic covariance witness only. No invariant mirror-response gap, Weyl cone, many-body or 4D theorem.

Dependencies: CHIRAL4D.NOMIRROR.01; CHIRAL4D.MIRROR.DET16.01; TFPT.TOE.COMPLETE.01

Scripts: v1023_derivative_filtered_wall.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 776

Original ledger status

FLAV.NU.PARENT.INTERTWINER.01

FLAV.NU.PARENT.INTERTWINER.01

FINITE PARENT-INTERNAL A3-D4 INTERTWINER (registered 2026-09-05, v1024; no parent marker move). A positive, fermion-even, gauge-compatible, non-additive seam/neutrino-pair term is constructed inside one finite parent, with local gap 0.25 conditional on the inherited parent bound and mixed resolvent 0.104712041885. The selected pair-operator triplet carries ordinary D4, while the full Fock lift is projective: C_f^8=1, C_f^4=(-1)^(N1+N3) and J_f C_f J_f=(-1)^F C_f^-1. It supplies no physical mass scale, no fitted neutrino texture and no 4D continuum mechanism.

Recorded status: Proven finite witness [E/N]; physical neutrino texture and scale remain Open [O].

Dependencies, status detail and source

Canonical status: Finite parent-internal intertwiner only; projective full-Fock boundary explicit. T6 and TOE remain [O].

Dependencies: FLAV.NU.TEXTURE.MECHANISM.01; TFPT.TOE.COMPLETE.01

Scripts: v1024_parent_internal_boundaries.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 777

Original ledger status

GRAV.PARENT.GAP.NO_GO.01

GRAV.PARENT.GAP.NO_GO.01

GAPPED-PARENT SPIN-2 BOUNDARY (registered 2026-09-05, v1024; no parent marker move). A uniform strictly positive full-parent gap excludes a massless spin-2 pole. The exact transverse-traceless projector has direction-dependent k->0 limits and therefore cannot be a strictly finite-range microscopic projector. A viable T7 route must use a critical physical sequence together with local tensor gauge constraints; the finite five-component symmetric-traceless target is only representation typing and is not a derived stress operator.

Recorded status: Proven finite no-go/boundary [E]; massless spin-2 emergence, Ward identities and universal coupling remain Open [O].

Dependencies, status detail and source

Canonical status: Uniform full gap and direct finite-range TT projection are excluded as T7 mechanisms. Critical gauge-constrained escape remains open; no spin-2 closure.

Dependencies: GRAV.SPIN2.EMERGENCE.01; GRAV.WEINBERG.WITTEN.01; TFPT.TOE.COMPLETE.01

Scripts: v1024_parent_internal_boundaries.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 778

Original ledger status

FTRANSFER.PARENT.Z5CAP.01

FTRANSFER.PARENT.Z5CAP.01

FINITE PARENT-INTERNAL Z5 CAP AND ENLARGEMENT BOUNDARIES (registered 2026-09-05, v1024; no parent marker move). A 12-dimensional internal cap has gap 0.197423715893 and preserves the finite parent vacuum/gap, but the selector is arbitrary, breaks D4 and is not a global rho_0. On the unprojected parent a full Z5 Weyl pair requires 5|D; Gauss-projected physical dimensions are not counted. Any unital M_n -> M_nd enlargement has relative commutant I tensor M_d, an irreducibility/prime obstruction rather than a general dynamical-coupling no-go.

Recorded status: Finite candidate and exact algebraic boundaries [E/N]; global rho_0, Gauss-projected Weyl realization and unique SK functional remain Open [O].

Dependencies, status detail and source

Canonical status: Internal 12D cap is not a canonical global state; commutant/divisibility statements have explicit scope. T8 and TOE remain [O].

Dependencies: FTRANSFER.SK.RHO0.01; BULK.PRIME_COMPLETION.01; TFPT.TOE.COMPLETE.01

Scripts: v1024_parent_internal_boundaries.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 779

Original ledger status

SEAM.MMST.TELB.NORM.01

SEAM.MMST.TELB.NORM.01

For the fixed M=1 Ny=8 collar, CF<0.065697, DG<0.042959, C2b<0.466902 and one-sided CROSS<0.282637/N imply Bound-B squared<0.714386. Validated 512-node Acb Fourier core plus the complete all-volume alias envelope gives ||R_N||HS<2.995906<3 for all even N>=16. Historical 2.11 and finite Rsm<=1.7833 are not proved. Microscopic FE-GEN/ALG-EXH and MMST remain open.

Recorded status: Identity (analytic theorem with native interval certificate; fixed regulator)

Dependencies, status detail and source

Canonical status: [E] narrow uniform norm theorem only; all T1-T8 remain [O]

Dependencies: SEAM.MMST.TELB.ROUND3.01; SEAM.MMST.TELB.C1C2A.01

Scripts: v1026_telb_round4_closure.py

Location: tfpt_research_contracts

Original CSV, line 780

Original ledger status

CHIRAL4D.MIRROR.SIGNED.CAR.01

CHIRAL4D.MIRROR.SIGNED.CAR.01

Even onsite unitary conjugation constructs canonical DET excitations under the determinant-singlet premise. The additive Delta*N_a replaces the flat Delta*Q. Signed wall det h(s)=M*s*(1+c*s), cL<1 and B<M give the original kernel, linear low branch and high band>=M for fixed classical gauge backgrounds; example M=4 B=3. Bare mirror retains low-band weight; free overlap illustration is a nonchiral four-component Dirac regulator. Quantum-link/Fock lift, chiral SM measure and continuum remain open.

Recorded status: Identity (conditional Hamiltonian-class and exact finite regression)

Dependencies, status detail and source

Canonical status: [C] fixed-classical-background signed-wall theorem; T3/T4 remain [O]

Dependencies: CHIRAL4D.MIRROR.DFILTER.BLOCK.01; CHIRAL4D.MIRROR.DET16.01

Scripts: v1027_signed_det_car_wall.py

Location: tfpt_research_contracts

Original CSV, line 781

Original ledger status

PARENT.GAUSS.D4.ROUND4.01

PARENT.GAUSS.D4.ROUND4.01

Full 192-mode site exterior character and exact mod5 Frobenius reduction give Gauss dimension3 mod5 for one site and0 mod5 for the open 2x2x2 cube with the specified nine-irrep link truncation; parity sectors4 mod5 at one site. Abstract Weyl divisibility obstruction is not universal after Gauss projection. Symmetric 12D D4 cap has unique selected-sector ground and gap1, but the invariant-vector space has dimension2; no canonical full-state selector. Actual symmetric one-fermion lift forbids all Majorana bilinears.

Recorded status: Identity (exact finite projected counts and conditional symmetry obstructions)

Dependencies, status detail and source

Canonical status: [E] finite counts and selected-subspace cap; T6/T8 remain [O]

Dependencies: FLAV.NU.TEXTURE.MECHANISM.01; FTRANSFER.SK.RHO0.01

Scripts: v1028_gauss_d4_cap.py

Location: tfpt_research_contracts

Original CSV, line 782

Original ledger status

GRAV.SPIN2.LOCAL.CONSTRAINT.01

GRAV.SPIN2.LOCAL.CONSTRAINT.01

Polynomial first-class constraints for a quadratic tensor target leave exactly two positive linear-dispersion modes at nonzero momentum. Staggered differences give a finite stencil and no extra zero corners. At k=0 all constraints vanish and the trace momentum gives H0=-3r^2/4; positivity requires removing the whole global canonical block. Fixed finite-site exact CCR are impossible; collective low-energy emergence is not excluded. No TFPT embedding or universal nonlinear coupling is proved.

Recorded status: Identity (quadratic target only; global zero-mode prescription required)

Dependencies, status detail and source

Canonical status: [C] radiative target after global zero-mode removal; T7 remains [O]

Dependencies: GRAV.SPIN2.EMERGENCE.01

Scripts: v1029_local_tensor_constraints.py

Location: tfpt_research_contracts

Original CSV, line 783

Original ledger status

SEAM.MMST.ALG2.FRAME.01

SEAM.MMST.ALG2.FRAME.01

Given full neutral block algebras, nonzero charged corners generate the full finite matrix algebra iff their sector graph is connected. A noncollapsing actual-word frame with uniform word norm M gives section norm<=2*M*D^(3/2)/sigma. Compression is not multiplicative and double-cutoff convergence is insufficient: a joint real-linear y/y-adjoint frame and high-output tails for x, x*, y and y* are separately required. These microscopic one-edge FE-GEN premises are not established by Vandermonde inversion.

Recorded status: Identity (conditional finite-algebra and uniform-frame bridge)

Dependencies, status detail and source

Canonical status: [C] conditional certificate interface; ALG-EXH and T2 remain [O]

Dependencies: SEAM.MMST.TYPEIII.CHARGED.01; SEAM.MMST.TELB.ROUND3.01

Scripts: v1030_alg2_sector_frame.py

Location: tfpt_research_contracts

Original CSV, line 784

Original ledger status

GRAV.FREE.CURVATURE.FOCK.01

GRAV.FREE.CURVATURE.FOCK.01

Declared local tensor target after removal of the entire unstable global zero block: C=r^4 P_TT, positive pure quasi-free Weyl/Fock state with 2(V-1) real oscillators and thermodynamic then distributional continuum limit. Full written analytic proof plus 53 exact and 16 floating checks; finite-dimensional exact CCR excluded. No microscopic TFPT derivation or nonlinear coupling.

Recorded status: Identity in declared zero-mean free target [E]; TFPT identification [O]

Dependencies, status detail and source

Canonical status: [E] free-target theorem only; T7 and TOE remain [O]

Dependencies: GRAV.SPIN2.LOCAL.CONSTRAINT.01; GRAV.SPIN2.EMERGENCE.01

Scripts: v1031_quantum_tensor_curvature.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 785

Original ledger status

GRAV.FREE.CURVATURE.COVARIANT.01

GRAV.FREE.CURVATURE.COVARIANT.01

On the null cone the linearized Riemann sandwich of the de Donder form equals a rank-two positive TT polarization factorization. The polynomial kernel defines a positive-energy Lorentz-covariant local free curvature Wightman field with helicities +/-2 and the same global Fock space as the electric curvature target. Local-net equality and a finite-range lattice realization of every curvature component are not asserted. No common TFPT parent or nonlinear interaction.

Recorded status: Identity in declared free continuum target [E]; TFPT identification [O]

Dependencies, status detail and source

Canonical status: [E] free curvature theorem plus 34 exact checks; T7 and TOE [O]

Dependencies: GRAV.FREE.CURVATURE.FOCK.01; GRAV.SPIN2.EMERGENCE.01

Scripts: v1032_covariant_curvature.py

Location: tfpt_research_contracts;tfpt_4_frontier

Original CSV, line 786

Open questions preserve their achieved subresults

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

Future quotient and positive GNS reconstruction

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

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

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

Seam connection and family action

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

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

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

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

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

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

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

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

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

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

Which complete quadratic response can the actual clock images reconstruct?

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

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

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

Which data separate sources with identical complete neutral vacuum response?

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

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

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

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

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

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

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

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

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

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

Observable reality: minimal conditions and counterworlds

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

Formal carrier core: unbounded Pascal uniqueness and finite glue

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

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

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

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

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

Automatic joint origin hypotheses and source responses

Which simple joint rules connect the existing P1 source chain,double cover,information and compiler,and which whole candidate classes can be decided automatically using actual source consequences?

  • Resolved in scope: Decide even-matter word class and check actual AI operator expressionsRead resultRead result
Existing TFPT derivations and correction of repeated gap diagnoses

Which common source/reconstruction chain already exists in the old original papers, and which purported global gaps arose from reducing P1 or choosing an optional CAR route?

Complete physical Hamiltonian source with Gauss sector and thermal word limit

Which whole source is constructed on the original local Hamiltonian route, how do physical constraints and thermal words follow, and how is its actual IR response distinguished from the original covariant geometric source branch?

Original TFPT source versus DET16 mirror vertex

Does the same original TFPT source produce the concrete DET16 generator and whole responses,or is a computable parent supplied as extra input?

Whole original source and canonical vacuum attachment

Which vacuum joins are already in the whole original source,and how do H ground source and R104 field/Gauss source join completely without second state choice or parent change?

Craig chiral measure and the original whole TFPT source

Which concrete operator and Berezin measure map preserves the original TFPT source when connecting Craig overlap measure?

  • open: Compare original4D fermion Hessian and measure line with Craig
Cyclic quantum universe and original Genesis connection

Does original TFPT dynamics yield the exact cyclic quantum return in the September/October press lead and a geometric Genesis transition?

  • open: Test periodicity and Genesis response on the same whole source
Physical constants as joint constraints on the TFPT source

Which independent constants constrain the original common source, and can one relative heat product supply gravity and vacuum energy together?

  • open: Evaluate original volume, curvature and gauge responses together