TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/ORIGINAL-PRODUCER.txt
Original file SHA-256: 4eea03561e2d6971bea515b27f91bfd3dcf22bd53ed632f9e8ba0bfa580ed5da
Inclusive original lines: 1-200
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.

000001 | K: ORIGINAL PRODUCERS OF THE MIRROR VERTEX AND POSITIVE PARENTS
000002 | 3 November 2026. origin_topology.
000003 | Entry plan92, Atlas243787ad18ac2965cbccd2bf. No canonical mutation.
000004 | G/H/I/J and the full R105 problem are retained. No new Hamiltonian,
000005 | coupling choice, gauge embedding, scan, beta selection or native execution.
000006 | 
000007 | DECISION
000008 | 
000009 | The later original updates do supply real interacting vertices and precise
000010 | positive parent results. They do not turn the reviewed DET16 provenance
000011 | into an independent S_adm/Z producer. Their first inherited inputs can be
000012 | identified explicitly. In particular:
000013 | 
000014 |  * v1024 constructs a genuine positive seam/neutrino-pair interaction on
000015 |    existing factors. It is mirror-blind and preserves an ALREADY supplied
000016 |    mirror parent bound. It does not produce that mirror parent.
000017 |  * v1027 supplies a full canonical DET field map and a different additive
000018 |    parent, under the inherited determinant-singlet premise. J's application
000019 |    of its unitary to the old flat parent remains exact. Neither operation
000020 |    selects that old parent from S_adm.
000021 |  * v1034 distinguishes the factorized momentum parent, real-space hopping
000022 |    and positive bond repairs. Its repair is explicitly not a landed source
000023 |    term. It must not be promoted into an independent original producer.
000024 |  * Source45 contains an older alternative C6/Perron/parent route. Its
000025 |    positive gap argument is valid under its stated fixed-tensor/parent
000026 |    hypotheses. The first physical identity it needs is stated explicitly
000027 |    as an H_adm decomposition, not derived there as an action-to-transfer
000028 |    equality. This route does not require DET16 universally.
000029 | 
000030 | The decisive original question is therefore the same whole S/Z transfer
000031 | construction now pursued by the root and joint agents, preserving its actual
000032 | net and fields. The task is not another covariance calculation, and one
000033 | need not force its resulting Hamiltonian to equal the DET candidate if the
000034 | original positive parent/chiral route supplies the required physical result.
000035 | 
000036 | 1. LIVE R105 WAS READ AS A COMPLETE PROBLEM
000037 | 
000038 | The editable problem:original-det16-vertex-source-identification was read
000039 | in full at revision243787ad18ac2965cbccd2bf, including all four accepted
000040 | premises, three findings, both tasks and its recorded strategy. The current
000041 | plan92 retains every earlier solved component and identifies the exact
000042 | charge16 open-transfer coefficient as the first DET-specific comparison.
000043 | The positive actual R104/flat-parent source chart in J is not confused with
000044 | an origin derivation.
000045 | 
000046 | R105's original DET16-ORIGIN-TEST.txt:1-190 was reread in full:
000047 | research-source:ddbefe0c6fabf49cc6beab35,
000048 | SHA8fbb0d9da82e3a49c3ce1f6b0aa69a3034df059c6e891d2c3c0fbe3285dbf19b.
000049 | It already settles the exact native generator, whole density hierarchy,
000050 | 33-point diagnostic charge filter and the direct low-charge open-transfer
000051 | class obstruction. None was rerun. That obstruction does not set all
000052 | original S_adm vertices or S_seam/top to zero and does not globally assert
000053 | Gaussianity after full field integration.
000054 | 
000055 | 2. THE OLD POSITIVE PARENT ROUTE IS A REAL ALTERNATIVE
000056 | 
000057 | Source45 QFT004:137-155 defines the blocked T_V as obtained from the local
000058 | C6 Green kernels, diagonal admissibility weights and two-stage Padm. Its
000059 | finite primitive positive transfer supplies the unique Perron line.
000060 | QFT004:247-280 then constructs H_par from local admissibility projectors
000061 | and the local Perron-vacuum penalty. Positivity and its finite common kernel
000062 | give a finite positive gap. QFT004:282-354 uses separated diagonal weights,
000063 | Burnside irreducibility and the fixed injective MPS/parent theorem to obtain
000064 | the claimed uniform parent bound. These are existing relative results, not
000065 | new open conjectures merely because a new source search is difficult.
000066 | 
000067 | The actual physical hypothesis is literal in QFT005:5-18:
000068 |  H_adm(V)=H_par(V)+K_Sigma(V)+K_c(V)+K_Theta(V)+K_g(V)
000069 |                          +H_tr,pos(V),
000070 | with each extra term positive and annihilating the SAME Perron line.
000071 | Then H_adm>=H_par and min-max transfers the gap. QFT005:43-66 explicitly
000072 | uses this domination assumption in the thermodynamic assertion.
000073 | This is a valid sufficient route. It supplies neither a generic operator
000074 | identity H_adm=-log(T_V) nor a list of the same original field insertions
000075 | inside a physical-output local tensor. The corresponding original action
000076 | identity must be used if the route is to identify the WHOLE S/Z kernel.
000077 | 
000078 | The precise distinction is already established in source_continuation/
000079 | TRANSFER.txt, sections2-3: ONE fixed marked CP tensor determines a consistent
000080 | state family and all its supported words; a primitive fixed tensor fixes its
000081 | stationary state without another free vacuum law. The fixed parent theorem
000082 | then applies. Burnside for P_V and diagonal weights alone is not the missing
000083 | physical-output tensor E_O. Requiring another vacuum after that tensor or
000084 | the full valid S/Z is given would repeat an already solved issue.
000085 | 
000086 | Sources reread in full:
000087 | paper-source:e9aab669dac761d3bca03ed1:1-381 (two bounded calls),
000088 | documents/archive--tfpt-45--source_extracts--04_qft_source/sections/004-source.tex,
000089 | SHAa5d1cc26f80d2f1d5af3d89b94cf8ff8912b572040614d4e1c27f1fe3b747126.
000090 | paper-source:7c3924ef65fc249b9f89284f:1-122 (text through121), QFT005,
000091 | SHA8bf0a37157505ca12b90154dbe41a29c49a503686a8493dffd63945f205e0af6.
000092 | 
000093 | 3. SMALLEST ACTUAL C6 TEST: VACUUM/PARENT DATA ARE NOT THE WHOLE TRANSFER
000094 | 
000095 | This is an analytic test on the ORIGINAL C6 operator, not a chosen model.
000096 | Original EM005:114-222 gives
000097 |  Y=(aI-2bC)^(-1), Spec(C)={1,1/2,-1/2,-1}, a>2b>0.
000098 | Normalize only for this spectral comparison, R=(a-2b)Y. Its Perron vector
000099 | is the uniform vector e, and its four distinct spectral values are
000100 |  1, (a-2b)/(a-b), (a-2b)/(a+b), (a-2b)/(a+2b).
000101 | Their multiplicities are1,2,2,1. For the same exact R, functional calculus
000102 | gives the continuous-power generator
000103 |  -log R=log[(aI-2bC)/(a-2b)],
000104 | which has THREE distinct positive excitation energies.
000105 | 
000106 | Therefore the Perron projector alone cannot determine the whole transfer:
000107 | the flat penalty kappa(I-|e><e|) has only ONE positive excitation energy,
000108 | so no nonzero regular time rescaling or common scalar normalization can
000109 | make its whole semigroup equal R^t. This is not an assertion that the old
000110 | H_par was specified to be this flat penalty, nor an identification of bare
000111 | C6 repetition with physical time. It is the smallest source-specific
000112 | spectral test rejecting the inference "same Perron vacuum and positive
000113 | gap determine the same whole transfer". The old parent domination theorem
000114 | itself never needs that false inference.
000115 | 
000116 | Actual source: paper-source:9b9b0f87da42cf0129f730ca:114-275,
000117 | documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/005-source.tex,
000118 | SHA786d2619e775775d70adf177794138485b261968042a880b2f0f617bb0111814.
000119 | No extra data or numerical run is needed for this four-eigenvalue check.
000120 | 
000121 | 4. THE LATER POSITIVE SEAM/PAIR VERTEX: v1024
000122 | 
000123 | The actual parent_internal_intertwiner was found and read by the code graph
000124 | and its original registered source. It acts on the ALREADY present
000125 | four-state seam clock and six gauge-singlet nu^c modes. Its even pairs are
000126 |  P_k=c_(2k+1)c_(2k), k=0,1,2,
000127 | and L_k lowers a nontrivial clock Fourier mode to the seam ground.
000128 | The original explicitly constructs
000129 |  V_int=lambda sum_k (L_k tensor I-mixing I tensor P_k)^*
000130 |                     (L_k tensor I-mixing I tensor P_k).
000131 | This includes a nonzero mixed seam/pair vertex, is positive, parity and
000132 | D4 invariant, and has a genuine nonzero mixed resolvent. It is not merely
000133 | two additive spectator Hamiltonians. Its nu^c charge is the actual SM
000134 | singlet, not a same-dimension replacement of a charged field.
000135 | 
000136 | The SAME original:241-248 supplies preregistered values
000137 |  Delta_seam=2, physical_mass=1/4, Delta_mirror=3,
000138 |  lambda=1/3, mixing=2/5.
000139 | Its last step:327-341 says the mirror inequality is unchanged because each
000140 | added term is positive and MIRROR-BLIND. Consequently it inherits
000141 |  H_new>=3 sum Q_mirror
000142 | from the existing parent. Thus this is an independent interacting TERM on
000143 | existing factors, but not an independent producer of the mirror projector
000144 | or its gap scale. Matching the triplet D4 representation is explicitly
000145 | checked, while the entire fermionic lift has its nontrivial projective law;
000146 | the selected pair-triplet law is not silently equated with the whole Fock
000147 | action. The added term is a useful original positive route in its own scope.
000148 | 
000149 | Source: source:f113292862a4b9a1fd4e:1-150,211-354,
000150 | verification/v1024_parent_internal_boundaries.py,
000151 | SHAea084268a20960c1d237f5b4625c7ae444567a17983ac5e461276e92e142a9fd.
000152 | The whole function115-354 was also read via get_code_snippet, exact actual
000153 | qualified_name, after codegraph discovery. No copied/new implementation.
000154 | 
000155 | [OMITTED: non-scientific conversation or execution metadata]
000156 | 
000157 | [OMITTED: non-scientific conversation or execution metadata]
000158 | [OMITTED: non-scientific conversation or execution metadata]
000159 | [OMITTED: non-scientific conversation or execution metadata]
000160 | [OMITTED: non-scientific conversation or execution metadata]
000161 | [OMITTED: non-scientific conversation or execution metadata]
000162 | [OMITTED: non-scientific conversation or execution metadata]
000163 | [OMITTED: non-scientific conversation or execution metadata]
000164 | 
000165 | v1034:1-165 compares actual source contracts;165-278 proves the factorized
000166 | momentum-parent gap at its fixed v1008 input. Its real-space two-cell
000167 | calculation:380-499 shows ordinary gauge-dressed hopping does not annihilate
000168 | the old Q kernel, so the naive relative-defect domination is invalid.
000169 | Its positive repair:501-531 adds an explicit bond counterterm and projects
000170 | the hopping. The original names it "boundary, not a landed TFPT term" and
000171 | returns landed_source_term=False. Even a coupling-fixed repair changes
000172 | the operator. It therefore cannot be the original missing vertex producer
000173 | without a separate action identity. This preserves the exact existing
000174 | gap and negative results without repeating their native executions.
000175 | 
000176 | [OMITTED: non-scientific conversation or execution metadata]
000177 | [OMITTED: non-scientific conversation or execution metadata]
000178 | [OMITTED: non-scientific conversation or execution metadata]
000179 | [OMITTED: non-scientific conversation or execution metadata]
000180 | [OMITTED: non-scientific conversation or execution metadata]
000181 | [OMITTED: non-scientific conversation or execution metadata]
000182 | [OMITTED: non-scientific conversation or execution metadata]
000183 | [OMITTED: non-scientific conversation or execution metadata]
000184 | [OMITTED: non-scientific conversation or execution metadata]
000185 | 
000186 | 6. OLDER INTERACTING AND EXECUTABLE SOURCE ROUTES ARE ALREADY PRESENT
000187 | 
000188 | v529/v972 provides actual quartic Majorana seam interactions with typed
000189 | reflection positivity results, rather than a blanket free-seam assumption.
000190 | The latest original introduction:178-193 and v972's own head retain the
000191 | mandatory scope "ONE toy, ONE interaction class, [C] flat-band parent".
000192 | The refined odd-split and avoiding-cut positive OS results are real in that
000193 | scope. They are not a DET16 or full physical S/Z field identification.
000194 | source:6637deb2a10f1fed8741:162-208,
000195 | SHAf6559de8509f7b924daa663261854934e8bd52725616fc01b80acb94aa3bd851;
000196 | source:d914946187833cb14bba:1-90,
000197 | SHA76f0e4bb6aa5d8d7fa0cb6dcaf9a2d057b2d3352fcb064a2da6f8700319fe736.
000198 | These were source-reviewed, not rerun. A historical direct source handle
000199 | for ODDSPLIT failed its current-source retrieval; no science conclusion
000200 | was taken from that retrieval error. The actual current introduction and