TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-joint-source-origin-audit-20261016/HIGGS_VARIATION_PROOF.txt
Original file SHA-256: 84004fc583641a52096c8571844aaed825d16d8165635eafd1a6b2562708e6be
Inclusive original lines: 109-133
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000109 | 5. The tempting Calderon enlargement does not fix the missing coupling
000110 | 
000111 | One might try to obtain matrix-valued scalar directions by including C itself
000112 | as a local algebra element. On the actual bilateral source basis e_n, define
000113 |   P0=C-U C U*,
000114 |   E_mn=U^m P0 U^(-n), m,n in Z.
000115 | P0 e_n=delta_(n,0)e0 and E_mn e_j=delta_(j,n)e_m. Thus the algebra generated
000116 | by U,U*,C contains all finite matrix units. Every central bounded element must
000117 | commute with them, hence is scalar. The center is not C_infty(S1).
000118 | Here use the algebraic generated star-algebra (or a specified smooth algebra
000119 | with bounded commutators), not all bounded operators. A norm closure alone
000120 | does not establish the domain of the unbounded commutator with B_alpha.
000121 | 
000122 | Because U*[B_alpha,U]=I still holds, every element a of that enlarged algebra
000123 | is also a represented one-form a U*[B_alpha,U]. In particular, arbitrary
000124 | selfadjoint finite matrix perturbations become available. This permits desired
000125 | couplings to be INSERTED; it does not select one. C is not a pointwise local
000126 | multiplication: it is a nonlocal Cauchy/spectral projection.
000127 | 
000128 | Therefore this enlargement cannot silently serve as the missing physical local
000129 | source algebra while retaining the original smooth geometric center. A genuine
000130 | noncommutative boundary net could be a different justified source, but its field
000131 | action, state/time and center/locality relation must be derived, not supplied
000132 | by declaring a projector to be a new local field. No general noncommutative
000133 | Higgs mechanism is excluded.