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

000034 | 2. Route I: reconstruct from distinguishable operations
000035 | 
000036 | Without assuming Hilbert spaces, take the actual allowed operation alphabet
000037 | and every context response r(xuy). Identify words u,v precisely when every
000038 | allowed prefix x and suffix y gives the same response. This is a congruence:
000039 | composition of equivalence classes is well defined. It is the minimal
000040 | context-faithful operational composition description for THESE data.
000041 | The construction yields a monoid/category of processes; a complex linear
000042 | star algebra and a Born rule do not follow merely from this quotient.
000043 | 
000044 | If the same source additionally supplies a positive coherent word kernel K,
000045 | the existing GNS result yields its cyclic represented word algebra modulo
000046 | null relations. Neither the response quotient nor GNS selects its own
000047 | alphabet, physically available interventions, or coherently comparable K.
000048 | 
000049 | A decisive discriminator for the existing scalar/matrix example is a
000050 | source-realized operation acting on the finite index. In H=HS(M2), L(E12)
000051 | maps E22 to E12, whereas scalar multiplication cannot do so. This statement
000052 | becomes an operational test only when the preparation, operation and readout
000053 | are available from the source. Postulating their availability is the missing
000054 | physical input; writing the matrix does not derive it.
000055 | 
000056 | A concrete coherence comparison: prepare |1>, apply the real two-channel
000057 | Hadamard pulse twice, and read population 1. Coherent action gives 1; replacing
000058 | each pulse by its population transition matrix gives 1/2. In five channels,
000059 | embed this in two channels and leave the other three fixed. All diagonal
000060 | preparations, stochastic measure-and-prepare maps, diagonal effects and their
000061 | finite compositions agree between the classical and quantum realizations.
000062 | Independent tensor copies of this restricted protocol also agree. Therefore
000063 | adding more words/copies of the SAME diagonal protocol cannot reveal the
000064 | missing coherence. The pulse itself must be source-derived. This is a
000065 | discriminator, not a newly proposed physical TFPT experiment.
000066 | 
000067 | Source check: the already derived local quarter-circle multiplication
000068 | operations and their represented one-forms act as scalar connections on
000069 | their supplied module (HIGGS_VARIATION_PROOF.txt:52-107). On a product with
000070 | a spectator finite factor they cannot generate an offdiagonal finite pulse.
000071 | The previously checked Cauchy enlargement is nonlocal and is not a unique
000072 | source-selected physical control set. Do not add it as an unnoticed repair.
000073 | These are scoped statements, not completeness claims for every P1 operation.
000074 | 
000075 | 3. Route III: composition and consistency
000076 | 
000077 | Both finite classical probability (simplex, stochastic maps, product systems)
000078 | and complex quantum theory (density matrices, CP instruments, tensor products)
000079 | admit associative composition, positive normalized probabilities, causality
000080 | and local tomography. Local no-signalling concerns a discarded deterministic
000081 | local instrument; postselection must not be confused with it. These conditions
000082 | alone distinguish neither general theories nor internal dimension/splitting.
000083 | They are not full TFPT countermodels: no primitive seam/net is claimed.
000084 | 
000085 | Cyclicity and a faithful state help remove inaccessible spectators, but do
000086 | not by themselves force a unique algebra. A stronger explicit finite test:
000087 | H=HS(M2), J(X)=X*, Omega=I/sqrt(2). Let f0=I/sqrt(2), f1,f2,f3 be the
000088 | normalized Pauli matrices, an orthonormal Hermitian basis. Let H4 be a real
000089 | normalized 4x4 Hadamard matrix with constant first row, and put e=f H4.
000090 | All e_alpha are Hermitian and <e_alpha,Omega>=1/2.
000091 | 
000092 | A_cl is the diagonal C^4 algebra in the e basis. A_q=L(M2).
000093 | Both have complex dimension four, the SAME H,J,Omega, and cyclic/separating
000094 | Omega (the map a -> a Omega is an isomorphism for each algebra). Both satisfy
000095 | [a,J b* J^-1]=0: the classical opposite algebra is diagonal; the quantum
000096 | opposite algebra is right multiplication. Their states are faithful.
000097 | The algebras are inequivalent: one commutes and the other does not.
000098 | Their centers DIFFER (dimensions four and one); this is NOT an extension of
000099 | the earlier same-center theorem. No equal OS/net/defect data are claimed.
000100 | The checker verifies both cyclic ranks, order zero and noncommutativity.
000101 | 
000102 | Positive conditional uniqueness: a finite-dimensional complex C*-algebra with
000103 | center C is M_n(C). If Omega is cyclic and separating, dim H=dim A=n^2.
000104 | Thus fixing a factor, representation dimension and these conditions fixes
000105 | the abstract matrix-algebra size. These are extra hypotheses; they do not
000106 | select n, a localization net, a physical charged-field extension or 3+2.
000107 | A saturated condition A=(J A J^-1)' rejects scalar C I and accepts L(M_n)
000108 | in the EARLIER fixed-HS scalar/matrix comparator, with supplied J/opposite
000109 | action. It does NOT distinguish the NEW C4/M2 pair: diagonal C4 is a MASA
000110 | and left/right M2 are mutual commutants, so both are saturated. This condition
000111 | does not derive the opposite action from D.
000112 | 
000113 | Primary literature comparison: Chiribella--D'Ariano--Perinotti,
000114 | https://arxiv.org/abs/1011.6451, reconstruct finite quantum theory using five
000115 | operational axioms PLUS purification. It is a conditional reconstruction,
000116 | not evidence that TFPT's P1 implies those axioms. Even importing that full
000117 | package would not select a five-dimensional physical carrier or its 3+2.
000118 | Purification rules out finite classical mixed states because classical pure
000119 | joint states have pure marginals; quantum mixed states have purifications.
000120 | Do not equate this theory-level selection with a TFPT field origin theorem.
000121 |