Skip to main content

Explore the TFPT knowledge atlas.

Start with a physical or mathematical question. See what is known, what has been tried, why an approach worked or failed, and which connection remains open.

Reviewed results

22 matching reviewed results

Scoped exclusion

Geometric square clock is not the modular v117 quarter generator

In the question: Common clock sectors, quartic geometry and operational reconstruction

Excludes only unchanged geometricQ mark in actual theta-square representation. No refutation of an originally derived family/sewing transport explicitly retaining distinct paths and central phases. No general exclusion of elliptic flavor sources.

Read the exact result, assumptions and evidence

Result

On actual tau=i torus,Q:z->iz induces modularS on theta squares. It has projective order2 with eigenvalue ratio1:1:−1. U_v117 and its exactly conjugate normalizedT have projective order4 and three distinct eigenvalues. Thus no invertible linear or projective intertwiner sendsQ toU_v117. Positive joint dictionaryT->U andST->M remains valid.

Required assumptions

  • Original P2 order-three cusp class and stable bundle anchor

    Target the original P2 Deligne class with cusp weights0,1/3,2/3 and holomorphic anchor O(-2)+O(-1)^2. Exact v117 M0_EXACT has polynomiallambda³−1,trace0,order3;its joint representation with U is irreducible. Keep these exact matrix properties distinct from the numerical ODE identification there. Test whether the natural scalar/spin pushforward of existing C2 realizes this actual connection;physical selection of the direct sum as flavor module is not presumed.

  • Theta-square modular action with distinct geometric Q

    Test standard S/T action on three theta squares as a representation of a marked elliptic family, retaining weight and central phases. Geometric Q:z->iz at fixed tau=i is the S homology change, not an already supplied T moduli path. Do not assume this family action has the same origin as spatial monodromy of fixed four-punctured P2.

  • 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.

Original evidence

  • MODULAR-C3-SOURCE-TEST.txt lines 1–190

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/MODULAR-C3-SOURCE-TEST.txt

    cf2fc1a89b7582ed4986b71c7a9e243525cd4ea2333cdd1cd4c86dce107b3993

  • MODULAR-C3-SOURCE-TEST.txt lines 191–345

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/MODULAR-C3-SOURCE-TEST.txt

    cf2fc1a89b7582ed4986b71c7a9e243525cd4ea2333cdd1cd4c86dce107b3993

  • INDEPENDENT-FINAL-REVIEW.txt lines 1–168

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/INDEPENDENT-FINAL-REVIEW.txt

    e9de361910ef0018fad5aaeae2831244ed23094990a8a6827ff45848c32f17eb

  • check_spin_transport_and_cusp.py lines 1–144

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/check_spin_transport_and_cusp.py

    590c83f4347957009aca9ccbbd5eefe848425f0b5c26b0a7ba0e5fbf99eaac6a

  • spin-transport-cusp-results.json lines 1–33

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/spin-transport-cusp-results.json

    0630c3c9ca65d10b083c4ea891f3f294e1e7f78bd31c3b2e6ad207767aeb06ce

finding:geometric-square-clock-is-not-theta-v117-quarter-generator

Established in scope

Elliptic scalar and spin pushforward has the original holomorphic P2 anchor

In the question: Common clock sectors, quartic geometry and operational reconstruction

Bundle isomorphism class for the named tracefree scalar deck term plus whole untwisted spin pushforward. No original physical selection of this direct sum as flavor carrier or connection intertwiner. Keep previous normal spin-twist calculation distinct.

Read the exact result, assumptions and evidence

Result

Existing p_*O_E=O+O(−2) and p_*alpha=O(−1)+O(−1) give Vell=(p_*O_E/O)+p_*alpha=O(−2)+O(−1)^2. Thus rank3,degree−4,H0=0 and original splitting anchor a=(1,1,2) are exact. Both natural and P2 target residue triples have trace1 per mark,explaining the common degree. This relates actual holomorphic bundle isomorphism classes,not mere dimensions.

Required assumptions

  • Existing C2 group with untwisted raw flat spin pullbacks

    On the existing marked parity curve E:y²=x⁴−1,study h=(x,−y),Q=(ix,y),kappa=(bar x,bar y) and flat square-lattice spin characters. The explicit raw one-particle calculation uses the untwisted line alpha with chi(A)=chi(B)=−1. Complex-linear pullbacks U and anti-linear Real structures j are distinct;no fitted U1 phase. This is not the normal twist alpha tensor p*O1 with its two-dimensional kernel. An original P1 Spin/Pin or Calderon transport is not presumed.

  • Original P2 order-three cusp class and stable bundle anchor

    Target the original P2 Deligne class with cusp weights0,1/3,2/3 and holomorphic anchor O(-2)+O(-1)^2. Exact v117 M0_EXACT has polynomiallambda³−1,trace0,order3;its joint representation with U is irreducible. Keep these exact matrix properties distinct from the numerical ODE identification there. Test whether the natural scalar/spin pushforward of existing C2 realizes this actual connection;physical selection of the direct sum as flavor module is not presumed.

  • 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.

Original evidence

  • PUSHFORWARD-ANCHOR.txt lines 1–190

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/PUSHFORWARD-ANCHOR.txt

    cbe5383c9df7b8f1b1095566f909ce3a357d10e9b3cd1bd15c89b8c72af870a2

  • PUSHFORWARD-ANCHOR.txt lines 191–224

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/PUSHFORWARD-ANCHOR.txt

    cbe5383c9df7b8f1b1095566f909ce3a357d10e9b3cd1bd15c89b8c72af870a2

  • check_pushforward_anchor.py lines 1–41

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/check_pushforward_anchor.py

    16784bcf6b852244c7bbd1d161266e1b6dd3f31d0268c7645d3c9623375a99f7

  • pushforward-anchor-results.json lines 1–18

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/pushforward-anchor-results.json

    349eecee55bb0e505d86c172c9092dc22d0d2b886fd001d17664d33c190626d6

finding:elliptic-scalar-spin-pushforward-has-original-holomorphic-p2-anchor

Established in scope

Global Cartan choice is not an original scalar-source obligation

In the question: Common clock sectors, quartic geometry and operational reconstruction

Source correction and elementary associated-bundle consequence. Does not contradict the preceding scoped Cartan theorem or identify Calderon reflection with elliptic deck.

Read the exact result, assumptions and evidence

Result

Original boundary data do not demand an everywhere smooth whole Cartan four. Normal geometry and flavor quotient have the same boundary-kernel origin;this supplies no actual base or bundle map. The class2 theorem remains an exclusion of the stronger Cartan choice. Any K-invariant classical polynomial value already glues across associated bundle transitions;an operator completion requires its own test. Current physical priority is corrected accordingly.

Required assumptions

  • Native Cartan four in whole conjugated source

    Given original Cartan h_C,H+=ker(J-i),and whole native clock chat with chat^9=Jhat,chat^4=sigmahat. Existing inner conjugacy transports the entire tuple and Cartan to kappa. H+ is not identified with SU4 family factor. In current W_m orientation,+i64 is its dual branch. No preferred conjugator is selected.

  • 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.

Original evidence

  • QUANTUM-OCTIC-COMPLETION.txt lines 8–37

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/QUANTUM-OCTIC-COMPLETION.txt

    2a075b2f0fc18c4133175eec20ef9b173fff7b23c3b66ef18c80c8505785f6c1

  • 001-section-primitive-core-and-carrier-interface-handoff.tex lines 65–136

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

  • 009-source.tex lines 128–224

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/009-source.tex

    27114e2ce775346dac11c53ecb77871453f3ecf226fe40951f8b3099bdea6b05

finding:global-cartan-choice-is-optional-for-original-scalar-source-fields

Established in scope

Split joint carrier admits a parallel representative of the whole native C12 clock

In the question: Common clock sectors, quartic geometry and operational reconstruction

Conditional mathematical closure for a GIVEN split connection,not selected from P1. Original marked chat is not automatically parallel on unchanged A_E;conjugator must transport connection and all marks or preserve them. An extra nonabelian family connection needs its own commutator,potential and closed domain their own invariance. Vertical bundle action identifies no base transport,time,CAR,state or EM response. Twelve counts marked torus points before further quotients,not physical sources. The2+2 action supplies no dictionary to original SU3 flavor on H1.

Read the exact result, assumptions and evidence

Result

For every natural m and given block U3xU2 connection,sigma0 from b=(1,1,1,0,0,0,0,1)/3 acts on W_m exactly as LambdaEven(diag(omega I3,I2)) tensor diag(omega,omega2,omega2,omega). It centralizes every transition and the entire induced connection. With central glue quarter kappa,c0=kappa sigma0 gives global parallel automorphisms with c0^9=kappa,c0^4=sigma0 and the complete native C12 character. The old complete torus Weyl theorem gives full inner VOA conjugacy including the common clock tuple. Exactly12 of243 thirds in the fixed toral centralizer match:two color orientations times six A3 vector weights.

Required assumptions

  • Existing natural joint lift with given split connection

    Assume a GIVEN unitary E=E3+E2 and GIVEN block U3xU2 connection A_E. Use only the natural iota_m with sum m=-2 completely classified on22September and their derived connection A_Wm=rho_LambdaEven(A_E)+M_m tr A_E. This does not select A_E from P1;an independent nonabelian family connection is not silently assumed.

  • Fixed glue quarter and toral thirds centralizing the carrier split

    Fix the standard E8 Cartan,five plus three chart,three color and two weak indices and four family axes. Kappa=exp(2pi i v0),v0=(1/2^5,0^3). Study every sigma=exp(2pi i b/3),b in E8/3E8,centralizing the given U3xU2,and c=kappa sigma. This is a specified toral class of vertical bundle automorphisms,not an assumption about physical time or original base transport.

  • Full unitary E8 field conjugacy with transported marks

    Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.

  • 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.

Original evidence

  • JOINT-LIFT-NATIVE-CLOCK-CONNECTION.txt lines 1–36

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/JOINT-LIFT-NATIVE-CLOCK-CONNECTION.txt

    edd2cdaea4c4debd337b4850d48da95de68e9367d780b9e3f0a96755588a45c8

  • JOINT-LIFT-NATIVE-CLOCK-CONNECTION.txt lines 88–175

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/JOINT-LIFT-NATIVE-CLOCK-CONNECTION.txt

    edd2cdaea4c4debd337b4850d48da95de68e9367d780b9e3f0a96755588a45c8

  • check_joint_lift_native_clock.py lines 103–191

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/check_joint_lift_native_clock.py

    eea4b77219cd9d3192a64e257e4e69cd57f68137cc1573ef4908bd8c3dbce3e1

  • joint-lift-native-clock-results.json lines 4421–4576

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/joint-lift-native-clock-results.json

    8d86f0b905ae317362205fab66c49e0e240bd8fff8af30eaed2269f32a7c8de0

  • NATIVE-CLOCK-CONJUGACY.txt lines 32–159

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/NATIVE-CLOCK-CONJUGACY.txt

    5f208d8d32fdc77e774ec77b5a320f378cfc9e2c8793d4d3d439983aae583a45

  • PROOF.md lines 30–64

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-boundary-lift-selection-20260922/PROOF.md

    2429cb31655e4d0711ba895825d740fe18f6a4e39677a987b61a5cd97c21addd

finding:global-split-joint-carrier-admits-parallel-native-c12-clock

Scoped exclusion

Literal archived global RG kernel does not preserve finite measures

In the question: Automated construction of operator maps and sources

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

Read the exact result, assumptions and evidence

Result

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.

Required assumptions

  • 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.

  • 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.

Original evidence

  • LOCAL-SPACETIME-FORCE-SOURCE-PROOF.txt lines 1–161

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SPACETIME-FORCE-SOURCE-PROOF.txt

    2bee4ef1df14985eaceab4b83d00108ce420f31e46bed1d15d29dcc51eb66c8a

  • check_local_spacetime_force_source.py lines 1–132

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_local_spacetime_force_source.py

    7d0f0fb9667a5467501b37fd6447d78e635c82c4b29856e0b880993ac412c252

  • LOCAL-SPACETIME-FORCE-SOURCE.json lines 1–169

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SPACETIME-FORCE-SOURCE.json

    fc4482a9c6a8cadaa1c9510bf8b90d23e975449423aec8271713a8efa9bc005c

  • LOCAL-SPACETIME-FORCE-SOURCE-REVIEW.txt lines 1–67

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SPACETIME-FORCE-SOURCE-REVIEW.txt

    8937adf4e44421932cd21b6383de28a3ea82736aeb3a4d81ddc53e86e5a6703c

  • ORIGINAL-GEOMETRIC-MEASURE-AUDIT.txt lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-GEOMETRIC-MEASURE-AUDIT.txt

    233face2ab64f0c1372183e1f227fb4391c03d81447673e5fe511afb09773d3a

  • v252_full_finite_triple.py lines 72–168

    Source checked at this snapshot

    Original location and fingerprint

    verification/v252_full_finite_triple.py

    820254440e178430422e50605067775656236602996307f67c9e69124ba5d163

  • ALLMODE-COLLECTIVE-TIME-SOURCE-PROOF.txt lines 1–178

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ALLMODE-COLLECTIVE-TIME-SOURCE-PROOF.txt

    a5ad46653d2337e3803624ea3bb7828f4655be879ac80cb80bf1007cbc06cdb0

  • ORIGINAL-HIGGS-BOUND-REFERENCE-PROOF.txt lines 1–108

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-HIGGS-BOUND-REFERENCE-PROOF.txt

    13e79f2be052ca918fd2be8faf8cf6f1669fc3ad535ccf9a3fdff5b7c0b1b3c5

  • 005-subsection-admissible-schwinger-functions-minkowski-loca.tex lines 123–260

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--04_qft_source/sections/005-subsection-admissible-schwinger-functions-minkowski-loca.tex

    8bf0a37157505ca12b90154dbe41a29c49a503686a8493dffd63945f205e0af6

  • 008-section-relative-reflection-positivity-with-fermions.tex lines 179–214

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--04_qft_source/sections/008-section-relative-reflection-positivity-with-fermions.tex

    898aa879cf6a3eb6464d3180274bc2fc028408aeec9676af70a862dad9c3f4dc

  • 005-section-absolute-dimensionless-metrology-from-the-bounda.tex lines 60–178

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--05_metrology_source/sections/005-section-absolute-dimensionless-metrology-from-the-bounda.tex

    b19c58deb3ee905c16e659dd26b15ca8d1998bab6f703cd350e04e54129a9a4c

  • 016-section-closure-architecture-b-yukawas-masses-flavor-had.tex lines 31–148

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--paper-latex--tfpt-42/sections/016-section-closure-architecture-b-yukawas-masses-flavor-had.tex

    87eb0d32b6b0794efc2e27127e8f09839161b97b478c03dbd36557fcad08f729

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

Established in scope

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

In the question: Automated construction of operator maps and sources

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.

Read the exact result, assumptions and evidence

Result

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.

Required assumptions

  • 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.

  • 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.

Original evidence

  • C6-WHOLE-WORD-PRODUCER-PROOF.txt lines 1–142

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C6-WHOLE-WORD-PRODUCER-PROOF.txt

    b0809e2f642c6d67f2c0bd6afee3b3391a732c177a0178c59c6457c71f2956e8

  • check_c6_whole_word_producer.py lines 1–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_c6_whole_word_producer.py

    6162705c2130f038ddabdc0ece741305eaf4f62e70c361a841d541b952281f64

  • C6-WHOLE-WORD-PRODUCER.json lines 1–65

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C6-WHOLE-WORD-PRODUCER.json

    648bcf33f0e870cea107420f402a9077de506ae3cf4d01c1a8f62da9e44b9903

  • C6-WHOLE-WORD-PRODUCER-REVIEW.txt lines 1–76

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C6-WHOLE-WORD-PRODUCER-REVIEW.txt

    4a084232ccf0ddddeb4240461a6df80969f7c9807741df9ca874a3dd3b57b82c

  • 003-subsection-discrete-phase-operator-and-transport-grammar.tex lines 91–125

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/003-subsection-discrete-phase-operator-and-transport-grammar.tex

    00a2cf1b249b77280dbbf6dfb41c91c77e08aa63e0f30b682d1a8a621f3dd7ec

  • 003-subsection-discrete-phase-operator-and-transport-grammar.tex lines 170–208

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/003-subsection-discrete-phase-operator-and-transport-grammar.tex

    00a2cf1b249b77280dbbf6dfb41c91c77e08aa63e0f30b682d1a8a621f3dd7ec

  • 005-source.tex lines 114–198

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/005-source.tex

    786d2619e775775d70adf177794138485b261968042a880b2f0f617bb0111814

  • 004-source.tex lines 164–239

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/004-source.tex

    107d525221eb816043dbf4fb1a3c7e8244d3e24a5a5bcbfe1c2c34d8ee192f4a

  • v17_hexagonal_resolvent.py lines 16–29

    Source checked at this snapshot

    Original location and fingerprint

    verification/v17_hexagonal_resolvent.py

    b41a5cbab3ec83793ea903db1377dea15f89fbd2cd6022cb79ec66f0fe463b1e

  • C6-GRAM-PRODUCER-AND-ORIGINAL-SOURCE-RESPONSE.txt lines 1–130

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C6-GRAM-PRODUCER-AND-ORIGINAL-SOURCE-RESPONSE.txt

    fd2d986c0622e7d4249fcfde2ae0f100b7fabb4edcb9f48a4ebb67b0c247f56b

  • 004-source.tex lines 282–353

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--04_qft_source/sections/004-source.tex

    a5d1cc26f80d2f1d5af3d89b94cf8ff8912b572040614d4e1c27f1fe3b747126

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

Established in scope

Actual elliptic interval CAR source produces its local modular generator

In the question: Automated construction of operator maps and sources

Constructive givenfree localCAR reader,no newGaussianfit/primitive measurederivation. Log AFTERintervalrestriction,no assertedcompressedglobalgenerator. Finite3mode logmatrix onlysubalgebratest,notprovedfullk_I approximation. Given currentsubnet notsilentlyidentifiedwithlocalU1 fixedpoint;no blanketnoninvariance orfullCAR kernelnonlocality assertion. NoGaussianizationofR054 Higgsintegration;retainwholeE8,Y/Flavor/Alpha,clocks,originalRP/ref/eta/Z0.

Read the exact result, assumptions and evidence

Result

Extensionbyzeroiota gives actualC_I=iota*C_alpha iota,endpointkernels0;modulatedsupportedprobes show0/1 spectralendpoints. Entire selfadjointk_I=log((1−C_I)/C_I) on spectraldomain,unboundedbothsides. Resolventreader integral0infinity[(C_I+s)^−1−(1−C_I+s)^−1] yieldsgivenfreeCAR modularflow sigma_t(a(u))=a(exp(−itk_I)u),antilineara. No localdensitymatrix forinfinitealgebra. Actual3mode subalgebra u_j=sqrt2exp(2ijtheta)1_I retainswholeHardysea exactly viatrigamma/digamma pluswhole exponentialthermalcorrection;independent8D Fockcalculation matchesoriginal2/4field/twonumberunitarywords andmodularsign.

Required assumptions

  • Actual elliptic quarter source with supported current and interval CAR modular-time test

    Unchanged given free CAR source of original elliptic midpointannulus:occupation c_alpha(r)=(1+exp(4pi(r+alpha)))^-1,alpha1/4 or3/4,entire original theta charge law/current Weyl source. Actual sourcecircleintervalI and extensionbyzero L2(I) embedding. Compared geometricclass:realC5 pointdiffeomorphisms I ontoI,generatorcontinuous atfixed endpoints,unchanged weight1 current smearing f→f composed gamma^-1,arbitrary scalar affine current shifts. No fieldmixing,changed dictionary orprimitivephysicalmeasure identification assumed. Preserve existing constructive neutralMoebius vacuum as distinct provedstate.

  • Existing C2 group with untwisted raw flat spin pullbacks

    On the existing marked parity curve E:y²=x⁴−1,study h=(x,−y),Q=(ix,y),kappa=(bar x,bar y) and flat square-lattice spin characters. The explicit raw one-particle calculation uses the untwisted line alpha with chi(A)=chi(B)=−1. Complex-linear pullbacks U and anti-linear Real structures j are distinct;no fitted U1 phase. This is not the normal twist alpha tensor p*O1 with its two-dimensional kernel. An original P1 Spin/Pin or Calderon transport is not presumed.

  • Free chiral Cauchy quantization of the canonical elliptic annulus

    Treat the dividing half of the given square curve in its canonical flat conformal representative as a product collar. Compute the Cauchy graph of Dplus=partial_t+B_Sigma,B_Sigma=−i partial_s with NS boundary,then interpret it using the expressly free chiral CAR construction as a quasifree two-boundary state. The labelled second-face compression is the covariance;the other is complementary. This Gaussian interpretation does not derive the original relative spectral-action measure,P1 time or EM/Quillen response.

  • Original quarter CAR source with fixed fold and current dictionary

    The already supplied single-channel CAR source with actual quarter domains alpha=1/4,3/4, negative-D sea, positive original excitation time, unitary eightfold F and actual channel diagonalization is fixed. M,O,U+ and the conformal NS point-splitting reference are the same original dictionary data; the single delta counterterm follows from the kernel difference. Even CAR current composites retain full arc correlations, charges, domains, all modes, original time and the existing subtraction prescription including finite derivative counterterms. No E8 root/spinor extension is assumed for this neutral current subalgebra. Identity with the original P1 net, Theta, collar and reference sector is not supplied. Real profiles and pulse strengths are intervention 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.

Original evidence

  • LOCAL-SOURCE-MODULAR-TIME-PROOF.txt lines 1–197

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SOURCE-MODULAR-TIME-PROOF.txt

    befcbfd2b372d25dc947ab067481095951b3d00c06a4b7fe149b236e929f2656

  • check_local_source_modular_time.py lines 1–124

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_local_source_modular_time.py

    6caeca452b19ea1b1cd010273b3cd7842748ee591e0b9673819fcb3078e7c7e6

  • LOCAL-SOURCE-MODULAR-TIME.json lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SOURCE-MODULAR-TIME.json

    48f419a5a233e91bb7a7d246e2dc6e019e323082e9ffb468194525e333a3d9c8

  • LOCAL-SOURCE-MODULAR-TIME.json lines 201–400

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SOURCE-MODULAR-TIME.json

    48f419a5a233e91bb7a7d246e2dc6e019e323082e9ffb468194525e333a3d9c8

  • LOCAL-SOURCE-MODULAR-TIME.json lines 401–424

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SOURCE-MODULAR-TIME.json

    48f419a5a233e91bb7a7d246e2dc6e019e323082e9ffb468194525e333a3d9c8

  • ELLIPTIC-CURRENT-SOURCE.txt lines 1–178

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-arc-charge-source-interface-20261026/ELLIPTIC-CURRENT-SOURCE.txt

    657b2ace6d7152c53dbb29c76d8e0daca6e6b1ce747c535da7dffb0ff38d9b48

  • PROOF.txt lines 1–193

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/neutral_moebius_source_20261029/PROOF.txt

    d738013d8775f9769747a5cd97f60cfc6b2ff0d2122c4fbfd20b2d65ebe9f4e0

  • 001-section-primitive-core-and-carrier-interface-handoff.tex lines 314–343

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

finding:actual-elliptic-interval-car-source-produces-local-modular-generator

Established in scope

Whole original quarter source bounds Higgs weight uniformly through joint mode and IR limits

In the question: Automated construction of operator maps and sources

Conditional infinite original-source class test,no new spacetime/profile/measure or primitive Ksigma/Drel identification. Finite Balpha explicit,not inferred from compactness. Constant H may be measure-zero in full H(x) space;no full functional-integral exclusion. No uniform infinitePfaffian or prohibition of bounded observable limits. Other variable connection/geometry/scale,nonLaplace profiles and actual measures require actual map. Native96 is internal spectral multiplicity.58 targeted controls,no newLean or ledger promotion. Preserve whole transfer/CAR/Yukawa/Flavor/Alpha,E8/clocks and source.

Read the exact result, assumptions and evidence

Result

Exact full square and Tonelli give TrF(h_H^2/chi^2)<=96Balpha for whole infinite original circle and every geometric mode cut,uniform entireC2 H and mode count,no Yukawa invertibility. Whole same-product reference gives−96Bref<=S_N<=96Balpha. Ordinary flatC2 Boltzmann volume remains nonnormalizable uncut;every joint N→infinity,epsilon_N→0 has ball mass<=exp(96(Balpha+Bref))R^4epsilon_N^2/2→0. This closes R055 rank loophole in stated original constant source class. Positive full-trace W needs no commutation;compression beforeF needs actual reduction. Same proof extends to already given R031 graded compact product with finite baseline.

Required assumptions

  • Whole constant original quarter source and positive trace-class baseline on ordinary Higgs volume

    Already given whole constant h_H=(n+alpha)gammaF−i gammaF Phi(H) on original H1 quarter domain,alpha1/4or3/4,original96 Hermitian odd Phi(H)=L(H)+DM with fixed Y/MR. Positive Laplace F with finite baseline Balpha=sum_n F((n+alpha)^2/chi^2),fixed chi. Actual geometric mode cuts,optional full positive trace insertion0<=W<=I. Same genuine reference product with finite fixed baseline. Measure test explicitly ordinary d4H onC2,not asserted primitive measure. R031 compact even product only with actual grading-compatible domain and finite baseline.

  • 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.

Original evidence

  • WHOLE-CIRCLE-HIGGS-MEASURE-PROOF.txt lines 1–119

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-CIRCLE-HIGGS-MEASURE-PROOF.txt

    fa5c3001563f6989d6a8b7bd1bbf9e7847831f617c232c4d5af0f7901f272d27

  • check_whole_circle_higgs_measure.py lines 1–64

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_whole_circle_higgs_measure.py

    905eb98631e3471ff5cabc65cf7600a38352624ed3dcedbb2599c8ba2b3fe0a3

  • WHOLE-CIRCLE-HIGGS-MEASURE.json lines 1–176

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-CIRCLE-HIGGS-MEASURE.json

    2d77749d0b7d952baeac5d27855496e8b78f22f08777ae8fb0ffe193b4fb356b

  • EXACT-CUTOFF-HIGGS-MEASURE-PROOF.txt lines 1–129

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/EXACT-CUTOFF-HIGGS-MEASURE-PROOF.txt

    b0f2bbac8b6f4bad66fe98045c2093048ae16828824794fa42dda001327e6738

  • ORIGINAL-HIGGS-FIBER-PROOF.txt lines 1–90

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-HIGGS-FIBER-PROOF.txt

    67be41084a14e3934cbb2c743f3969c0443e5b9180b2f4cdeeed5a884d566a5e

  • ORIGINAL-HIGGS-HEAT-PROOF.txt lines 131–176

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-HIGGS-HEAT-PROOF.txt

    5904d71d3b9cc978ef5025b86a43931db227d7ee9e87d894384f844b10f1d805

  • ORIGINAL-HIGGS-BOUND-REFERENCE-PROOF.txt lines 1–35

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-HIGGS-BOUND-REFERENCE-PROOF.txt

    13e79f2be052ca918fd2be8faf8cf6f1669fc3ad535ccf9a3fdff5b7c0b1b3c5

  • 010-section-the-explicit-mass-gap-closes-dynamics-and-cluste.tex lines 273–315

    Source checked at this snapshot

    Original location and fingerprint

    documents/tfpt_2_standard_model/sections/010-section-the-explicit-mass-gap-closes-dynamics-and-cluste.tex

    3a31f272d999f1e0b027f25a877068576c6cbdc83150c7b5c0f8a6e17bed1904

  • v252_full_finite_triple.py lines 86–121

    Source checked at this snapshot

    Original location and fingerprint

    verification/v252_full_finite_triple.py

    820254440e178430422e50605067775656236602996307f67c9e69124ba5d163

finding:whole-original-quarter-source-bounds-higgs-weight-uniformly-through-joint-mode-ir-limits

Established in scope

Keep original spin holonomy weight and active source call typed

In the question: Automated construction of operator maps and sources

Source clarification and corrected direction; no new physical origin derivation,corpus-wide absence theorem,general impossibility or additional completed F1 subtask. Retain existing Higgs/Yukawa/Flavor/Alpha and whole source results in their scopes.

Read the exact result, assumptions and evidence

Result

Original wspin is varpi_spin, explicitly a spin holonomy weight, not an assigned normal or spin connection variation. Brel may depend implicitly on original e/chi fields; missing formulas do not imply zero mixed response. Active compressed covariance logarithm is a separate original call, not obliged to follow archived normal reduction. Supplied whole H source with Yukawa input is not independently identified primitive C_Sigma. Reuse existing M(xi),seed and v258 scope rather than count new resolutions.

Required assumptions

  • 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.

Original evidence

finding:original-master-variation-keeps-spin-weight-and-active-source-route-typed

Established in scope

Actual original four-ghost complex preserves base selector with whole cohomology and distinct traces

In the question: Automated construction of operator maps and sources

Original algebraic complex under its stated commuting-projection premises. No normal S2 index or existing Higgs/flavor finding is revoked. Partial supertrace0 is not a physical Berezin measure or RP proof. Base selector stays valid;do not automatically divide the whole ghost source or Z0 by16.

Read the exact result, assumptions and evidence

Result

Whole actual Qadm gives Delta=Kadm tensor I16,Kadm=sum lambda_j Pi_j bounded and at least minlambda on its positive complement. PkerDelta=Pbase tensor I16,H^p=PbaseH tensor Lambda^p(C4);h=Qdagger K^-1(1-Pbase) contracts the whole positive branch. Partial ghost trace is (1+u)^4 exp(-tK):ordinary16,alternating0,degree0 recovers original base selector. All positive penalty weights preserve that selector;no free physical normalization16. Exact whole class of the original commuting projections.

Required assumptions

  • Actual original four-ghost commuting-projection admissibility complex

    Original Qadm=sum eta_j†K_j on H tensor Lambda(C4),with the actual four commuting orthogonal penalty projections,positive finite lambda_j and the supplied positive Dadm spectral calculus. Original macro iC means iota_C,not i times C. Separate normal S2,physical4D geometry,internal representations and auxiliary ghost degrees. Partial ghost trace needs no base trace class;full trace/determinant requires its actual regulator/reference. No physical ghost measure or Brel identification added.

  • 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.

Original evidence

  • ORIGINAL-ADMISSIBILITY-SOURCE-PROOF.txt lines 1–147

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-ADMISSIBILITY-SOURCE-PROOF.txt

    a9e82303a4e420f9dfbb5fdc6c3e5b020c21debea53e751ce920aa5307838ad7

  • check_original_admissibility_source.py lines 1–60

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_original_admissibility_source.py

    2386c8851836eecdb3efb1d4ce5de4eeaa2632c0790109214b95f708fe3b3adc

  • ORIGINAL-ADMISSIBILITY-SOURCE.json lines 1–106

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-ADMISSIBILITY-SOURCE.json

    4ba29bf64a0d7dd3e2c56f5722ab79d6e8c405a3bba7be4c1caecdfc919c61e2

  • 002-section-closure-theorems-from-the-admissibility-complex.tex lines 12–125

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--04_qft_source/sections/002-section-closure-theorems-from-the-admissibility-complex.tex

    61ecee7727bdec47936bbffc028d3dbac5260a025b6dbcce30124a60d635fc9c

  • 010-section-the-explicit-mass-gap-closes-dynamics-and-cluste.tex lines 161–181

    Source checked at this snapshot

    Original location and fingerprint

    documents/tfpt_2_standard_model/sections/010-section-the-explicit-mass-gap-closes-dynamics-and-cluste.tex

    3a31f272d999f1e0b027f25a877068576c6cbdc83150c7b5c0f8a6e17bed1904

  • 007-subsection-bosonic-relative-index-and-higgs-selection.tex lines 95–139

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/007-subsection-bosonic-relative-index-and-higgs-selection.tex

    cf801a467465db8d72e4eb3f8e32eea2e23393bf42232a225116c34ed093f761

  • 001-subsection-from-bridge-to-geometric-completion.tex lines 30–126

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--05_metrology_source/sections/001-subsection-from-bridge-to-geometric-completion.tex

    f03609effe2abf6629a0057fa024c29fba0c59176072588599bfa1646f48939e

  • preamble.tex lines 145–151

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--paper-latex--tfpt-42/preamble.tex

    bd7156fd9148105ecd2eadd84000e1e3ceddd82845e7873c1910d6465bfd44fb

  • v36_spectral_action_g2.py lines 1–76

    Source checked at this snapshot

    Original location and fingerprint

    verification/v36_spectral_action_g2.py

    b05a1d491b75df6a0427f203517fcc8547c6fbd7c6083c90c39eef210bc09e3a

finding:actual-original-four-ghost-complex-preserves-base-selector-with-full-cohomology-and-distinct-traces

Established in scope

Archived geometric Higgs residue requires concrete coefficient identification repair

In the question: Automated construction of operator maps and sources

Exact failure of a literal identification of specifically named archived local formulas. No TFPT countermodel,physical vacuum-instability claim or exclusion of existing Yukawa/Flavor/Alpha. Full relative source,reference,eta,scale and continuation can carry further H contributions and must be evaluated. Existing local target quartic and its conditional responses remain; direct derivation from this printed bulk is not established. No new Lean theorem or ledger status.

Read the exact result, assumptions and evidence

Result

Printed -6chi²ED+GammaD4 gives bulk +chi²u/(8pi²)+u²/(16pi²) at R0. Equal quadratic/quartic signs match neither printed target potential -mu²u+lambda u² nor its -V reading. Positive canonical/sheet normalization and common action/Wick sign cannot repair relative sign. For same u,+V requires original remainder -chi0²(1+wH²)u/(8pi²),-V requires chi0²(wH²-1)u/(8pi²)-u²/(8pi²). Required source responses,not permitted new addends. H-independent U(chi) or constant source denominator at fixed chi do not help. Keep FPzeta(0) distinct from -zetaPrime(0),and M(xi) distinct from H-source/Legendre/bare actions.

Required assumptions

  • 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.

  • Literal archived residue and common Higgs-field comparison

    Compare exactly printed bulk coefficients in archived v42 section013 and v45 metrology source002,ED_bulk=-R/(24pi²)-u/(48pi²),GammaD4_bulk=kin/(16pi²)+u²/(16pi²)+Ru/(96pi²),Gamma_grav=-6chi²ED+GammaD4,and stated target potential with muPhi²(chi0)=chi0²wH²/(8pi²)>0,lambda=1/(16pi²). Same field normalization u=Phi*Phi>=0,fixed positive chi0,flat R0 background. Remaining complete relative/reference/eta/zero-source terms are not presumed zero. No automatic Wick or Legendre identification,no claim this exhausts current theory.

Original evidence

finding:archived-geometric-higgs-residue-bulk-needs-coefficient-identification-repair

Established in scope

Shared original Higgs source induces coupled matter words with supplied Yukawas

In the question: Automated construction of operator maps and sources

Actual original field consumer and whole finite source identity for supplied boson moments. Reuses old one-form and kinetic Pfaffian/determinant bridges. No new physical H measure,naive96 independent fermion integrations,full connected/1PI amplitude or universal nonzero coefficient at degenerate G/Y.17 controls including288 original identities; general proof analytic. Preserve Yukawa/Flavor/Alpha and free g+ results.

Read the exact result, assumptions and evidence

Result

All288 real coefficient basis images of actual full96 one-form consumer match four H derivatives exactly with adjoints,grading and JF. Same supplied H fiber gives exact affine Z_H[J-j|A],all cumulants and absolute factor. Induced ordered nu/up four-fermion action coefficient is -G_h2barh2 Ynu_ab conjugate(Yu_dc),no factor2; third/fourth boson cumulants give6/8 fermion terms. Retain all extra H dependent fermion vertices,which can also alter four-fermion coefficient. Fermion-first evaluation uses actual det/Pf weighted full source polynomials,with minors at singular fibers rather than inverse division.

Required assumptions

  • 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.

  • Actual full v252 gauge lift and original P2 comparison

    Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.

  • Actual shared real Higgs consumer and supplied boson fiber

    Original real AF one-form convention q(H)=[[barh2,h1],[-barh1,h2]] with supplied four Yukawa matrices across all families/colors. Keep distinct lepton and quark matrices. H fiber is an argument of same full original S_adm with measure,reference,regulator,eta and higher vertices. Finite Berezin algebra and required finite boson moments; analytic limits separate. Affine shift applies to affine Yukawa coupling; retain any additional H dependent fermion vertices as actual insertions. No new physical measure or Yukawa selection.

Original evidence

  • DYNAMICAL-HIGGS-SOURCE-PROOF.txt lines 1–139

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DYNAMICAL-HIGGS-SOURCE-PROOF.txt

    eda5bb664b1fb20370e59b39dbd5e3cb04d79864a8d1d0a0eb6c791cdaf98f49

  • DYNAMICAL-HIGGS-SOURCE-PROOF.txt lines 202–241

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DYNAMICAL-HIGGS-SOURCE-PROOF.txt

    eda5bb664b1fb20370e59b39dbd5e3cb04d79864a8d1d0a0eb6c791cdaf98f49

  • check_dynamical_higgs_source.py lines 1–127

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_dynamical_higgs_source.py

    086aa116dae06dc02ec2f50fcf1058375337c399fe8dfb6e7fad8ecb1925cf4c

  • DYNAMICAL-HIGGS-SOURCE.json lines 1–28

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DYNAMICAL-HIGGS-SOURCE.json

    e2bd564ab89a6c894ceaac4321dce721e07ac93883c42341a9d23b210abe031d

  • v252_full_finite_triple.py lines 85–168

    Source checked at this snapshot

    Original location and fingerprint

    verification/v252_full_finite_triple.py

    820254440e178430422e50605067775656236602996307f67c9e69124ba5d163

  • 008-source.tex lines 157–188

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/008-source.tex

    aa2731355579b961ea9de47532cb0a4cb3db6e1c29e0f18965b517d1280d8d85

finding:original-shared-higgs-source-induces-fixed-yukawa-mixed-matter-words

About this knowledge atlas and its source coverage

Topics, questions, results, approaches, dependencies and historical attempts come from the shared TFPT Atlas. Reviewed authored relations are kept distinct from historical unreviewed metadata. No similarity edge or generated AI annotation is presented as a reviewed scientific conclusion.

This snapshot contains 706 reviewed scientific findings and 562 historical attempts. They are different inventories. Source availability and pin freshness remain attached to each original record.

Coverage checksStructured dataOriginal ledger view