TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-joint-source-origin-audit-20261016/LOCAL_ALGEBRA_PROOF.txt
Original file SHA-256: caabb04e2449b2e12ff674690dbc8ee37feb0a043543cd667df8085eb93b9e26
Inclusive original lines: 39-106
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.

000039 | 2. Same operator skeleton, different insertion algebras
000040 | 
000041 | Fix a compact connected geometric spin collar M with a selfadjoint Dirac
000042 | realization D0, boundary B0, grading Gamma0 where applicable, real structure
000043 | J0, and reflection R0. Work on the SAME Hilbert space
000044 | 
000045 |   H = L2(M,S) tensor HS(M_n(C)), n>=2,
000046 |   D = D0 tensor I, B = B0 tensor I,
000047 |   J = J0 tensor j, j(X)=X*,
000048 |   Gamma = Gamma0 tensor I, R = R0 tensor I.
000049 | 
000050 | The finite factor has zero finite Dirac term. This is an explicitly declared
000051 | diagnostic operator skeleton, not a proposed fundamental source or chosen
000052 | physical coupling. Use a common selfadjoint domain induced from D0, with a
000053 | local selfadjoint elliptic geometric boundary condition stable under smooth
000054 | scalar multiplication. Its product with I on the finite factor is also stable
000055 | under smooth left matrix multiplication. The same construction on a closed
000056 | geometric double has domain H1 without a boundary-domain issue. We do NOT
000057 | claim that arbitrary boundary-varying multipliers preserve an APS domain.
000058 | For APS realizations only boundary-compatible multipliers are available; they
000059 | need a separate center/domain analysis before claiming the full C_infty center.
000060 | 
000061 | Compare the two represented smooth insertion algebras
000062 | 
000063 |   A0 = C_infty(M) I,
000064 |   A1 = C_infty(M,M_n(C)), represented by left multiplication L_a.
000065 | 
000066 | For the declared local-domain/closed-double case both centers consist of the
000067 | same scalar functions. At an interior point their complex fiber dimensions
000068 | are1 and n^2, so they are NOT isomorphic as algebras over that center. They
000069 | cannot be identified by a unitary that intertwines these insertion algebras.
000070 | 
000071 | Order zero holds because the opposite action is
000072 |   J L_(b*) J^-1 = R_b, R_b(X)=Xb,
000073 | and L_a R_b=R_b L_a. Scalar insertion is the special case a=fI.
000074 | In the interior, or on the boundary-compatible common core,
000075 | 
000076 |   [D,L_a] = sum_mu c(dx^mu) tensor L_(partial_mu a),
000077 |   [[D,L_a], J L_(b*) J^-1] = 0.
000078 | 
000079 | The coefficients are bounded on compact M; the usual represented first-order
000080 | identities hold for both. The operator D, its full spectral data, J, Gamma,
000081 | boundary operator, geometric reflection, and every relative trace/eta response
000082 | depending only on these fixed operators are identical whenever those relative
000083 | traces have been defined. Finite action is preserved if it holds for this
000084 | fixed relative operator pair; we do not assert a trace prescription exists for
000085 | every D0. Principal-symbol and collar data are the same as well.
000086 | 
000087 | The ACTION OF INSERTIONS differs: A0 cannot mix the finite left index. A1 can:
000088 | L_(E12)(E2j)=E1j for j=1,...,n. Both leave the right matrix index as a
000089 | multiplicity/opposite-action index. These are internal matrix indices, not
000090 | space-time spin, named particles, or weak/color labels.
000091 | 
000092 | For n=2 the exact coefficient certificate verifies all16 left/right basis
000093 | commutators and the opposite-action identity. Scalar/matrix insertion spans
000094 | have dimensions1/4; their commutants have dimensions16/4, and the matrix
000095 | algebra center has dimension1. The analytic product argument, not these finite
000096 | checks alone, establishes the claimed operator-skeleton ambiguity.
000097 | 
000098 | Scope: the two FULL ORIGINAL TUPLES are different, since A is part of the
000099 | original tuple. This is exactly a counterexample to forgetting A and then
000100 | uniquely recovering it from this skeleton. It is NOT two fully established
000101 | physical seeds satisfying all OS clustering, unit-flow, minimal-defect,
000102 | interacting-net or P1/P2 requirements. No such full countermodels are claimed.
000103 | Extra irreducibility, spectral-triple duality, a chosen measure on fields or
000104 | actual local correlation data could distinguish the candidates, but their
000105 | truth and source origin must be established separately. The theorem only
000106 | excludes reconstruction using the stated operator/center/order conditions.