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.

Understand the connectionsDownload the complete inventoryInspect the coverage checksOriginal ledger snapshot
What does this inventory cover?

Every one of the 783 active ledger IDs is included. All 788 ledger rows, including superseded rows, remain in the download. The reviewed research corpus contains 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 58 of 79

Established within the stated premises

Implementable original two-face operations change Cauchy graph with exact norm

finding:original-two-face-local-fock-implementation-and-exact-source-variation-differ-from-reduction

Entire smoothU16 multiplication is implementable in givenG Fock iff faceblockdiagonalU8×U8;reducers only constant sharedU1^8. CoverpointwiseU2 has separateU1×U1 class,not same localization as fold. Exact||[Mv,G]||HS²=sum_m2m tanh(beta m/4)|v_m|² by whole-sea telescoping,alphaindependent. Actualq.q2 commonfold lift gives4sum_m m tanh(2beta m)|b_m|²;variance1/2HS²,not commonSchwingerterm. AlwaysC_V=E_R* V G V* E_R;retain common/relative lifts and fullsource.

Scope: ChargedCAR and givenwholeG source;implementation is not local-algebra membership,stateinvariance,neutrality,parity orP1origin. BarefaceswapnotHS;old combinedreflection withBsign reversal remains. No freegeometry/temperature/coupling;retainZ0/Ref/Eta/H0/higherwords,originalOSsource/Padm still required.

Required premises and original source excerpts
  • Actual whole two-face graph and local matrix-operation class

    Given original G=[[1-C,X],[X,C]],C(p)=(1+exp(beta p))^-1,X=(2cosh(beta p/2))^-1,p=r+alpha,alpha1/4,3/4,beta4pi,existing wholeCAR source,unchanged M and periodic8fold B=8(-i∂x)+diag(k+alpha). Entire bounded matrix multiplication for reduction,entire smooth unitary multiplication for Fock implementation. No originalOS/Padm field intertwiner assumed.

    premise:actual-original-full-two-face-graph-and-local-matrix-operations
  • Complete data of both product-collar faces

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

    premise:actual-product-collar-two-face-data
  • Do not identify source types

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

    premise:typed-source-structures

Established within the stated premises

Even the whole undecorated transfer does not determine the marked field call

finding:whole-undecorated-transfer-does-not-determine-original-marked-field-source

Exact primitivePauli CP transfer E(I)=I,E(sigma)=sigma/3 with same PerrondensityI/2 remains identical underA0/Ax Kraus rotation,while same fixed marked O=|0><0| gives1/2 versus1/3. Joint transport ofO is basis equivalence;fixed marks require actual source decorationE_O. Finite positiveP/separating diagonal-family matrix-algebra conclusion remains valid but is not displayed source decoration.

Scope: Typed source audit and exact counterexample to E_I determining E_O. Not wholeTFPT twins,chosen physicalKraus family,or neutral-source impossibility. Reuse older weight-producer gap and OS moment repair,not new discoveries. MPS is named route,not universal axiom;another complete original field rule also suffices.

Required premises and original source excerpts
  • Original blocked transfer and marked-source/uniformity audit

    Literal QFT004 C6 Green/retained weights/Padm route and Burnside-to-MPS-to-uniform-parent-gap inference. Distinct exact implication witnesses:same wholeCP transfer at fixed markO,and injective volume-varying canonical range3 parents. Not physical TFPT models or countermodels to whole master action.

    premise:original-blocked-transfer-algebra-and-marked-source-uniformity-audit
  • Given original two-stage admissibility complex and blocked weight caller

    On the printed closed branch QFT2 gives commuting selfadjoint K_r, Delta_adm=sum K_r² and its Hodge projector. QFT4 additionally uses local C6 Green kernels and diagonal weights from transport counts, carrier labels and retained selector weights. Review this given source contract without asserting new physical provenance or choosing a new state.

    premise:given-original-two-stage-admissibility-complex-and-blocked-weight-caller
  • Do not identify source types

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

    premise:typed-source-structures

Excluded in the stated class

Injectivity at each volume does not prove uniform parent gap

finding:volume-wise-injective-positive-transfer-does-not-prove-uniform-parent-gap

Exact MPS familyA0=|0>(a<0|+b<1|),A1=|1>(b<0|+a<1|),a²=1-e,b²=e,0<e<1/2 is length2injective with fixedD=d2 and canonical range3 norm1 parent projectors. Ringnorm1+lambda^L and exact whole variance give direct Rayleigh gapH_L(e)<=9(1-lambda)/(1+lambda)(1+lambda^L)/(1-lambda^L). e_L=1/(4L) givesO(1/L) to0,without equating PF and parent gaps.

Scope: Excludes automatic uniformity from per-volume positivity/separation/injectivity for changing tensors. Does not contradict fixed-tensorFNW or prove actualTFPTgap collapse. ActualC6/weights/carrier must produce common tensor or controlled family. No physical3+1/spin2 orLean validation.

Required premises and original source excerpts
  • Original blocked transfer and marked-source/uniformity audit

    Literal QFT004 C6 Green/retained weights/Padm route and Burnside-to-MPS-to-uniform-parent-gap inference. Distinct exact implication witnesses:same wholeCP transfer at fixed markO,and injective volume-varying canonical range3 parents. Not physical TFPT models or countermodels to whole master action.

    premise:original-blocked-transfer-algebra-and-marked-source-uniformity-audit
  • Given original two-stage admissibility complex and blocked weight caller

    On the printed closed branch QFT2 gives commuting selfadjoint K_r, Delta_adm=sum K_r² and its Hodge projector. QFT4 additionally uses local C6 Green kernels and diagonal weights from transport counts, carrier labels and retained selector weights. Review this given source contract without asserting new physical provenance or choosing a new state.

    premise:given-original-two-stage-admissibility-complex-and-blocked-weight-caller
  • Do not identify source types

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

    premise:typed-source-structures

Established within the stated premises

Original C6 half-power has exact entire positive ordered-word expansion

finding:original-c6-half-power-has-exact-entire-positive-ordered-word-expansion

ForQ=a(I-qC),kappa=a(1-q)>0,Rnu=kappa^nuQ^-nu is stochastic in bareC6 and every literal directed lengthn word has(1-q)^nu(nu)_n/n!(q/2)^n. OriginalK usesnu1/2,Green1;all lengths,intermediates,backtracks/windings retained before endpoint reduction. Concatenating independent full words sums all split positions,Vandermonde gives pnu+mu on EACHliteralwholeword.

Scope: Canonical analytic expansion at fixed original operator/alphabet,not uniqueness of all path measures for an endpoint kernel or primitive physical state. nu/n/6labels not physical time/spacetime. OriginalcompressedKstr not automatically bareQ;no stepwiseP. Preserve solvedHol/Y/flavor.

Required premises and original source excerpts
  • Original bare C6 analytic half-power and literal word alphabet

    Original v17U6,D_y=yI-deltaU6,Q=D*D+epsilon²I,C=(U+U*)/2,original algebraic delta and y1,1/3,2/3,epsilon>=0. Canonical analytic series with distinct directed letters and full absolute amplitude. No primitive physical measure/spacetime premise;original compressedKstr requires actual reduction proof.

    premise:original-bare-c6-fixed-analytic-half-power-and-literal-word-alphabet
  • Do not identify source types

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

    premise:typed-source-structures

Established within the stated premises

Whole word sewing retains original amplitude and controlled infinite tail

finding:original-c6-whole-word-sewing-retains-source-amplitude-and-controlled-infinite-tail

K=kappa^-1/2Rhalf,Y=kappa^-1R1,retain absoluteHol amplitudes. Eachword original homogeneousdelta score -2nu delta/a+n(1/delta-2delta/a),normalized qprime[n/q-nu/(1-q)]mean0. Wholeepsilon>=0 hasq<=q0<1;half remainder<=q^(N+1)/sqrt(1-q),finite-degreecount derivatives controlled on compactgapped sets. Same originaldeterminant closedword q^nTrC^n/n,not open1/n.

Scope: 57 own checks using unchanged nativeU6,spectrum and oldpolynomial;infinite statement analytic. Ftroriginalstationarity functional,not identifiedlogZ/statisticalmeasure. Formalmarkers not physicalJ;actual extraweight/carrier/selector/fieldcall remains. NoLean/physicalvalidation.

Required premises and original source excerpts
  • Original bare C6 analytic half-power and literal word alphabet

    Original v17U6,D_y=yI-deltaU6,Q=D*D+epsilon²I,C=(U+U*)/2,original algebraic delta and y1,1/3,2/3,epsilon>=0. Canonical analytic series with distinct directed letters and full absolute amplitude. No primitive physical measure/spacetime premise;original compressedKstr requires actual reduction proof.

    premise:original-bare-c6-fixed-analytic-half-power-and-literal-word-alphabet
  • Do not identify source types

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

    premise:typed-source-structures

Established within the stated premises

Reuse historicalparent and actualfield/time bridges before new source models

finding:historical-parent-and-actual-field-time-bridges-must-be-reused-before-new-source-models

Originalv42§035definesformalexpWk/Gamma/propagatorandallhigherSadmvertices. Originalcircle,microscopicCAR/F8fieldtimechain,wholecoupled96Hresponsealreadyexist. v990providesactualfiniteWJwith2species/2sites/6link,v486inversespectralrates. Reusethese,notmissingformulasornewphysicaloriginselection.

Scope: Targetedsourceaudit/reuse,notfullcorpusrevieworglobalabsencetheorem. Formaldefinitionnotmeasureexistence. OldStageDnotedoesnotreopensolvedYukawas.38scopedF1subtasksretained,nophysicalclosure.

Required premises and original source excerpts
  • Actual original finitev990 source and historicalparent recovery

    Unchangedv990.run andactualH_W0/OPS,suppliedparameters,originalGibbsweight;four-modeCAR onC6linktensorFockC4. Historicalv21/v42,microscopicCAR,given96Hsources inoriginalscopes;no primitivephysical3+1identification.

    premise:actual-original-finite-v990-source-and-historical-parent-recovery
  • Do not identify source types

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

    premise:typed-source-structures

Established within the stated premises

Actual timedv990 words recover originalKubo response distinct from instantaneousvariance

finding:actual-native-v990-full-timed-words-recover-kubo-response-distinct-from-instantaneous-variance

SameactualH_W0/OPSfixesallorderedwordsTr[e^(-(beta-tn)H)On...O1e^-t1H]/Z0. OriginalJwithoutbetagivesHessW=beta^-1intC(tau)dtau. OriginalOZ:C0=.49988408263643,Kubo=.49033650199002,Cmid=.48558570858218;integralcomparison1.7e-16. PureCARalgebraI6tensorM16,commutantM6tensorI16,emptyCARsectorrank6;Hcoupleslink/matter.

Scope: Analyticfinitetimedwordandactualnativeconsumer.18uniqueoldmodulechecks(v99013,v4865),6focusedcontrols;returnframereplaynot13newindependentchecks. Imaginarythermaloriginalmodeltime,notprimitiveTFPTtime/measure/3+1/spin2.96manybodyspacenotautomatically96SMon eparticlespace.

Required premises and original source excerpts
  • Actual original finitev990 source and historicalparent recovery

    Unchangedv990.run andactualH_W0/OPS,suppliedparameters,originalGibbsweight;four-modeCAR onC6linktensorFockC4. Historicalv21/v42,microscopicCAR,given96Hsources inoriginalscopes;no primitivephysical3+1identification.

    premise:actual-original-finite-v990-source-and-historical-parent-recovery
  • Do not identify source types

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

    premise:typed-source-structures

Established within the stated premises

Original Higgs force has complete ordered fermionic determinant source

finding:actual-original-higgs-force-has-complete-ordered-fermionic-determinant-source

Actualfourv252oneformderivativesgiveTa=-igammaVa,Ka=dGammaTa,wholeorderedexponentialdeterminantandCov=TrCTa(1-C)Tb. Neutraldirectionpaircommutatornorm²=24[Tr((Yu*Yu)^2)+Tr((Yd*Yd)^2)]>0. ActualSU2/hypercharge/colormapchecked;36nonredundantquarkmodesread2^36occupationstatesexactly.

Scope: ActualgivenquarkCARconsumer,notwholeprimitivesource;other96sectorsandMajoranaretained. Seed252,p1/4,ell1arithmeticcontrols,notphysicalscalechoice.27ownchecks;noLeanorphysicalF1closure.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Actual original finite CAR Higgs force and faithful collective source

    Whole original real v252/254 oneform Phi(H),fixedYs,quaternionicHcoordinate and actual36quarkpart of givenquasifreesource. Gibbs/Legendre0<C<I,pairing0,YuorYdnonzero;finiteclasswith exactcontinuousSU2doubletaction. No primitivephysicalH/measure/time identification assumed.

    premise:actual-original-finite-car-higgs-force-and-faithful-collective-source

Established within the stated premises

Finite covariant Higgs composites have no nontrivial positive instantaneous classical law

finding:finite-covariant-higgs-composites-have-no-nontrivial-positive-instantaneous-classical-law

Any commuting selfadjoint four-vector in a finite algebra with exact continuous SU2 Higgs-doublet action is zero. ApositiveclassicalR4representationofomega(expijK)fornoncommutingcovariantKforcesmu=delta0viaequalfinitedirectionalspectraandcountabledensedirections. Nonzerosecondmomentexcludesit;stateinvariancenotrequired.

Scope: Exactfixedfinitealgebra,exactSU2doubletcovariance,instantaneousWeylcharacteristic,positivejointclassicallaw. Noexclusionofinfinitelimits,collectivequantumfields,otherorderingorgeneralEuclideanHsources. GibbsWcol(ij)isnotthischaracteristic.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Actual original finite CAR Higgs force and faithful collective source

    Whole original real v252/254 oneform Phi(H),fixedYs,quaternionicHcoordinate and actual36quarkpart of givenquasifreesource. Gibbs/Legendre0<C<I,pairing0,YuorYdnonzero;finiteclasswith exactcontinuousSU2doubletaction. No primitivephysicalH/measure/time identification assumed.

    premise:actual-original-finite-car-higgs-force-and-faithful-collective-source

Established within the stated premises

Original collective mean has exact ball domain and relative entropy action

finding:actual-original-collective-mean-has-exact-ball-domain-and-relative-entropy-action

Faithful original CAR source gives exact Gibbs Wcol and relative-entropy Legendre dual. All force means form exactly the closed4 ball of radius3(sum svYu+sum svYd); gradW maps bijectively to its interior. Together with j=2ell deltaH this completes the nonlinear conditional H-to-mean coordinate and d4H=d4m/[(2ell)^4 det HessW]. An actual original weight transports completely. Flat H-volume pushforward retains infinite total mass; compact closure is not normalization.

Scope: Given finite constant-H family/source,not entire primitive H(x) field theory. YuorYdnonzero,0<C<I,pairing0. No new Yukawa derivation,no m=H,no exp(-Gamma)dm,no claim actual TFPT measure is flat. Preserve full Ref/Eta/H0/Z0,other sectors,vertices.29 own focused controls,no physical/Lean validation.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Actual original finite CAR Higgs force and faithful collective source

    Whole original real v252/254 oneform Phi(H),fixedYs,quaternionicHcoordinate and actual36quarkpart of givenquasifreesource. Gibbs/Legendre0<C<I,pairing0,YuorYdnonzero;finiteclasswith exactcontinuousSU2doubletaction. No primitivephysicalH/measure/time identification assumed.

    premise:actual-original-finite-car-higgs-force-and-faithful-collective-source

Established within the stated premises

Uniform original all-mode force CLT loses signal under fixed time testing

finding:original-uniform-allmode-force-clt-is-nonzero-only-before-fixed-time-smearing

For the whole original symmetricM=2N mode class all finite same-time ordered exponential words of centered force/sqrtM converge to classical isotropic Gaussian Cov3AqI. Same actual time givesCov->0 for0<|t-s|<pi and fixedSchwartzVarFN(f)<=Bf/M->0. Hence this normalization has no nonzero temporal distributional Higgs limit,no white noise.

Scope: Only given constant original circle source,fixed internal dimension/Y,symmetric uniform fluctuation. R078 finite theorem retained;no norm convergence,no exclusion of other all-mode sources/general physics. Retain mixed chiral trace terms,resonanceskpi separate.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Whole original circle CAR force and given time testing

    Original constant finite internal Higgs family,fixedYu/Yd,hp=p gamma-igammaPhi(Hstar),p=n+alpha,alpha1/4or3/4,ell>0 given. Pairing-zero quasifree Cp=(1+tanh ell hp)/2,factorizing even Fourier blocks,Ta=-igamma dPhi/dxa. Real Schwartz tests of same time;summable variance exact L2 criterion. No primitive H/physical3+1 or new measure/scale identification assumed.

    premise:actual-whole-circle-product-car-force-and-original-time-smearing

Established within the stated premises

Original unscaled time-tested force has selfadjoint whole ordered source

finding:original-unscaled-time-smeared-force-has-selfadjoint-whole-ordered-source

Original UNSCALED time-smeared centered force has summable vp(f)=TrCp Ap(f)(1-Cp)Ap(f);full sum exists on dense local CAR domain. Centered exponential groups and adjoints converge strongly,uniformly in source parameter on compacts;Stone gives selfadjoint generator agreeing there. Every finite ordered word has absolutely convergent product of CENTERED Klich factors. Native source cumulants2/3/4=26.0852990825,-61.3898994583,168.7909914713,so Gaussian replacement loses information.

Scope: Given constant circle quarksource and own time,spatially integrated insertion. RealSchwartz sufficient not necessary;rectangular windows also summable. No essential-core claim/no operator-norm convergence. Centering is connected reader,not absoluteZ0 fix. No primitiveHmeasure,Ka=H,physical3+1/spin2 or newLean validation. Native numbers original seed252 arithmetic controls,not predictions.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Whole original circle CAR force and given time testing

    Original constant finite internal Higgs family,fixedYu/Yd,hp=p gamma-igammaPhi(Hstar),p=n+alpha,alpha1/4or3/4,ell>0 given. Pairing-zero quasifree Cp=(1+tanh ell hp)/2,factorizing even Fourier blocks,Ta=-igamma dPhi/dxa. Real Schwartz tests of same time;summable variance exact L2 criterion. No primitive H/physical3+1 or new measure/scale identification assumed.

    premise:actual-whole-circle-product-car-force-and-original-time-smearing

Established within the stated premises

Original local Higgs force has whole centered Hilbert Schmidt determinant source

finding:original-local-higgs-force-has-whole-centered-hilbert-schmidt-determinant-source

PointwiseoriginaloneformgivesM_FTaandwhole space/timeAFinS2. Fullsourceisdet2[1+C(U-1)]expTrC(U-1-iL),U=orderedproductexpilambdaAk,L=sumlambdaAk. Bothfactorsforced;S2/S1continuitygivesallorderedwords,strongunitary/adjointlimits,selfadjointStonegenerator. Temporalfilteralsoallowsboundedspatialrectangles.

Scope: Originalgivenconstantcirclequarkconsumer,fixedY/state/time. NoprimitiveHorigin,Ka=H,Hmeasure,physical3+1/spin2ornewLeanvalidation. CenteringconnectedreaderdoesnotfixabsoluteZ0. Native28controlsnotphysicalpredictions.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Original local Higgs derivative in given constant circle and Hilbert Schmidt time source

    Given original circle h=gamma(-i partialtheta+alpha)-igammaPhi(Hstar),periodicH1domain,alpha1/4or3/4,constantPhi/Hstar,fixedoriginalYs. Ta=-igamma dPhi/dxa Hermitian/odd,C=expit(2ell h),pairing0. Real localspace/time tests;strictlocality needs compact smooth supports allpointpairsdistS1>|t-s|. No primitivefield/physical3+1 or newHmeasure identification.

    premise:original-constant-circle-local-higgs-force-and-hilbert-schmidt-time-source

Established within the stated premises

Given original circle force source generates exact causal local net

finding:given-original-circle-force-source-generates-an-exact-causal-local-net

Givenprincipalgammahasfinitepropagationspeed1. CompacttestsallpointpairsdistS1>|t-s|giveAFAG=AGAF0. FourgroupwordimplementsidentityonCARandhassourceexpectation1;cyclicitygivesidentityonwhole mixedGNS. ForceunitariescommutestronglyandA_force(O)isisotonic/localonthegiven1+1cylinder.

Scope: CausalityWITHINgivenoriginalcylinder/operator/domain,notnewphysicalspacetimechoice. NofullPoincare/OS/RPorprimitive3+1derivation. Gaussian timeprobesnotcompact;causalconnectivitydoesnotforce noncommutation. Fouriercutofferrornotphysicalsignal.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Original local Higgs derivative in given constant circle and Hilbert Schmidt time source

    Given original circle h=gamma(-i partialtheta+alpha)-igammaPhi(Hstar),periodicH1domain,alpha1/4or3/4,constantPhi/Hstar,fixedoriginalYs. Ta=-igamma dPhi/dxa Hermitian/odd,C=expit(2ell h),pairing0. Real localspace/time tests;strictlocality needs compact smooth supports allpointpairsdistS1>|t-s|. No primitivefield/physical3+1 or newHmeasure identification.

    premise:original-constant-circle-local-higgs-force-and-hilbert-schmidt-time-source

Excluded in the stated class

Literal archived global RG kernel does not preserve finite measures

finding:literal-archived-global-rg-kernel-does-not-preserve-finite-measures

LiteralarchivedpositiveRGmapwithglobalK>=m>0,Lebesguetargetdt[0,infty),finitenonzeronuandfinitepositiveZpsigivesTnu([0,L])>=mnu(total)L/Zpsi. Outputmassinfinite,nofiniteselfmap/claimedfinitefixedpoint. CompatibleDiracoperators/positiveweightalonedonotreplacewholeconditionalmarginalidentityE[e^-Sm|pi=x]=(Zm/Zn)e^-Sn(x)oractualRP.

Scope: Exactlyarchivedglobalpositivelowerkernelboundwith infiniteLebesguetargetandfinitenormalization. NoglobalTFPTrefutation,noexclusionofotheroriginalsupports/references/kernels. Nofreerepairmeasure;retainY/flavor/alpha/E8/clocks.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Literal archived globally positive kernel on finite measures

    v42section01631..148 andv45metrology00560..178:finite nonzerononnegative nu on[0,infty),Tnu(dt)=intK(s,t)dnu(s)/intpsi(s)dnu(s) dt,global lowerboundK>=m>0,Lebesguetargetdt,finitepositivedenominator. Scope exactlythiscombination,notactuallydifferentoriginalfinite-support/reference/integrablekernel.

    premise:literal-archived-global-positive-kernel-finite-measure-map

Established within the stated premises

Actual native Higgs marginal retains induced vertex and Noether response

finding:native-higgs-marginal-retains-induced-vertex-and-noether-response

For the same given finite CAR Higgs source, the BKM log-partition Hessian obeys original weak-orbit r²W11-rW3=0; ordinary equal-time covariance fails the native test. Diagnostic gamma+ restriction gives CP=PCP,Keff=logit CP and its Frechet derivative. Bare P dKH P=0 while induced H response is nonzero for p,H,Y nonzero. Original Yu singular-pair formula proves mechanism. Whole static retained words and unnormalized partial trace preserve Zfull/Zkeep with det(I+exp K). Physical time words still need partner/PQ memory; modular reader is not autonomous physical time.

Scope: Exact scoped connection of existing R060/R077/R078 readers at supplied background and diagnostic grading. No physical P selection, H measure,3+1 or spin2 derivation. Retain nonquasifree whole words after H integration.42 native controls; no new Lean, experiment or original-ledger promotion.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Original local Higgs derivative in given constant circle and Hilbert Schmidt time source

    Given original circle h=gamma(-i partialtheta+alpha)-igammaPhi(Hstar),periodicH1domain,alpha1/4or3/4,constantPhi/Hstar,fixedoriginalYs. Ta=-igamma dPhi/dxa Hermitian/odd,C=expit(2ell h),pairing0. Real localspace/time tests;strictlocality needs compact smooth supports allpointpairsdistS1>|t-s|. No primitivefield/physical3+1 or newHmeasure identification.

    premise:original-constant-circle-local-higgs-force-and-hilbert-schmidt-time-source
  • Given native Higgs quantum source and actual graded restriction

    Existing original96 oneform with fixed supplied Y/MR, non-KO-doubled36 quark part, Hermitian odd forces and given constant circle time. Finite faithful mode Gibbs C=expit K, K=2ell(p gamma+sum xa Ta),ell>0 and original quarter p. P is diagnostic gamma+ subspace, not identified with physical P_F/Padm. Conditional CAR quasifreeness at given background, not after dynamic H integration. Seed252,p1/4,ell.2,r.3 are constructor controls, not selected physical parameters.

    premise:given-native-quasifree-higgs-source-and-actual-graded-restriction

Excluded in the stated class

Isospectral Noether orbit does not supply original metric and Higgs variation

finding:isospectral-noether-orbit-does-not-supply-original-metric-higgs-variation

Tr fprime(D)[X,D]=0 is an isospectral orbit identity, valid even at radially nonstationary backgrounds. Proposed local X=gTa generates a first-order symbol term because Ta is odd, hence is not the actual zeroth-order Higgs insertion. Entanglement first law alone selects no state/Einstein equation. Same constant96 circle source has Theta(t)~96sqrt(pi/t), unchanged in exponent by finite internal fibre or exact fold. Only named shortcuts excluded. Original common action plus exact marginalization remains constructive continuation; actual origin inputs are not supplied by this test.

Scope: Only specified inner-generator identification and literal same circle-operator relabeling. No global TFPT, relational, entropic or emergent no-go. Full relative reference/domain/eta required under unitary transport. R081 is hypothesis assessment, not another physical F1 closure.13October UV finding corrected as reuse.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Original local Higgs derivative in given constant circle and Hilbert Schmidt time source

    Given original circle h=gamma(-i partialtheta+alpha)-igammaPhi(Hstar),periodicH1domain,alpha1/4or3/4,constantPhi/Hstar,fixedoriginalYs. Ta=-igamma dPhi/dxa Hermitian/odd,C=expit(2ell h),pairing0. Real localspace/time tests;strictlocality needs compact smooth supports allpointpairsdistS1>|t-s|. No primitivefield/physical3+1 or newHmeasure identification.

    premise:original-constant-circle-local-higgs-force-and-hilbert-schmidt-time-source
  • Given native Higgs quantum source and actual graded restriction

    Existing original96 oneform with fixed supplied Y/MR, non-KO-doubled36 quark part, Hermitian odd forces and given constant circle time. Finite faithful mode Gibbs C=expit K, K=2ell(p gamma+sum xa Ta),ell>0 and original quarter p. P is diagnostic gamma+ subspace, not identified with physical P_F/Padm. Conditional CAR quasifreeness at given background, not after dynamic H integration. Seed252,p1/4,ell.2,r.3 are constructor controls, not selected physical parameters.

    premise:given-native-quasifree-higgs-source-and-actual-graded-restriction

Established within the stated premises

Metric DtN form bound needs comparison to transfer generator

finding:metric-dtn-form-bound-needs-transfer-comparison-for-gap

The printed Delta−2v gap conclusion does not follow from the stated DtN graph norm bound: on the existing v311 transfer representative N=H and V=vP0−v(1+Delta)P1 have weighted norm v but gap Delta−v(Delta+2)=0.6923902, below 1.6475515. Without N/H comparison a second diagnostic makes the gap arbitrarily small. These N/V are mathematical witnesses, not identified original operators. If on a shared form domain N+I<=aH+bI, va<1 and the result is positive, minmax gives gap>=(1−va)Delta−2vb; sharp for N=H. v76/v29 numerical arithmetic remains valid; the printed strict >1.648 is false. No full RP, measure or physical gap follows alone.

Scope: Specified abstract norm inference and finite native v311 representative only; no refutation of actual TFPT geometric coupling and no physical F1 closure. Original common source and actual operator bridge remain to be derived.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures

Conditional result

Dynamic Higgs response and protected winding on conditionally shared circle

finding:conditional-higgs-pair-winding-protection-in-common-circle-carrier

The actual R081 Higgs singular pair has c_m(n)−1_{n+alpha>0}=O(n^-2) with nonzero Higgs response for fixed m,ell>0. Under the ADDITIONAL shared Hardy-circle carrier and original shift hypothesis, the existing pair-index theorem gives relative determinant (1−z)^−1 for positive polarization independent of m. This is a new scoped application of the old theorem to the existing R081 reader, not a new general index theorem nor a claim about the full alpha prediction. Numeric control uses the same v252 seed; full state, field and clock intertwiner not derived.

Scope: Fixed Higgs singular pair, existing diagnostic gamma+ restriction and additional shared circle shift assumption; not physical P_F/P_adm, not the whole E8 source or physical 3+1 prediction.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures
  • Given native Higgs quantum source and actual graded restriction

    Existing original96 oneform with fixed supplied Y/MR, non-KO-doubled36 quark part, Hermitian odd forces and given constant circle time. Finite faithful mode Gibbs C=expit K, K=2ell(p gamma+sum xa Ta),ell>0 and original quarter p. P is diagnostic gamma+ subspace, not identified with physical P_F/Padm. Conditional CAR quasifreeness at given background, not after dynamic H integration. Seed252,p1/4,ell.2,r.3 are constructor controls, not selected physical parameters.

    premise:given-native-quasifree-higgs-source-and-actual-graded-restriction

Excluded in the stated class

Natural five-clock carrier excludes invariant three-dimensional transfer compression

finding:natural-five-clock-carrier-excludes-invariant-three-transfer-compression

Under the specifically hypothesized natural five-letter permutation action C e_j=e_(j+1), G e_j=e_(2j), GCG^-1=C², the carrier decomposes irreducibly as 1+4, its commutant is span{I,J}, and invariant dimensions are 0,1,4,5. Existing v311 3x3 transfer with three distinct eigenvalues cannot be an equivariant invariant compression of this single natural five-carrier. Exact matrices and commutant checked; no premise says v311 must be this carrier.

Scope: Only the specified natural single five-dimensional representation and invariant equivariant compression; larger carriers, covariance, extra degrees or different original unifications not excluded.

Required premises and original source excerpts
  • Do not identify source types

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

    premise:typed-source-structures

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