TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/NORMAL-GREEN-TO-CALDERON-TRACE-REVIEW.txt
Original file SHA-256: 423a092a1e73eed77b149a2f6a6ff1debee9d765fd0e438e1dcefc90da554a62
Inclusive original lines: 201-258
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.

000201 | gives M_mu.  Once BOTH are supplied, (6) is uniquely typed on the q source and
000202 | the existing state fixes its response.  For graph test columns E_r,
000203 | 
000204 |   <E_r,G_q J_geom* M_mu E_s>
000205 |     =<J_geom E_r,M_mu E_s>.                           (7)
000206 | 
000207 | Thus the positive answer is precise: the given CAR source determines the
000208 | response of the specified insertion, including its endpoint, state and graph
000209 | factors.  W_rel alone neither chooses M_mu nor identifies its generic source
000210 | variable with (6).  This is the smallest decisive distinction between a
000211 | source functional and a source-to-operator dictionary.  It also agrees with
000212 | the recovered P1 kernel typing: the thin kernel does not specify its insertion
000213 | algebra, while the full operational seed may include such an algebra as
000214 | additional given data.
000215 | 
000216 | 6. Sources checked
000217 | 
000218 |   experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/
000219 |   ELLIPTIC-GREEN-RP.txt
000220 |   SHA256 d8799f04851a9bd539b05b4d013b38eb00de9bec07dddde6438023aaf1facd80
000221 | 
000222 |   experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/
000223 |   GEOMETRY.txt
000224 |   SHA256 be6dca12fe366f6aeba7953dd7ba1c100ddfe40d5faca43d8ea1a883fe85c4ce
000225 | 
000226 |   experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/
000227 |   BOUNDARY-SOURCE.txt
000228 |   SHA256 a12e7b7566734e26ef9c53c6ee910638a77f20412085943d6cd30b255b7e9251
000229 | 
000230 |   experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/
000231 |   session_coverage/supplements/CANONICAL-CUT-STATE-TIME-BRIDGE.txt
000232 |   SHA256 510bb197905fb037d35dad3e73e7db839bd4ae1a19af864f020c324c6c170422
000233 | 
000234 |   experiments/theory-contracts/tfpt-unified-source-derivation-20261029/
000235 |   aps_source_review/DOUBLE-WALL-REVIEW.txt
000236 |   SHA256 f8635d1b544e80626b79ca7a3a23120d568b8f3878ace11acacfadaa98ab759c
000237 | 
000238 |   documents/archive--tfpt-45--source_extracts--04_qft_source/sections/
000239 |   002-section-closure-theorems-from-the-admissibility-complex.tex
000240 |   SHA256 61ecee7727bdec47936bbffc028d3dbac5260a025b6dbcce30124a60d635fc9c
000241 | 
000242 |   documents/archive--tfpt-45--source_extracts--04_qft_source/sections/
000243 |   005-subsection-admissible-schwinger-functions-minkowski-loca.tex
000244 |   SHA256 8bf0a37157505ca12b90154dbe41a29c49a503686a8493dffd63945f205e0af6
000245 | 
000246 |   experiments/theory-contracts/tfpt-unified-source-derivation-20261029/
000247 |   aps_source_review/F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt
000248 |   SHA256 07b31e029aef2bb4f51ffd3c65a6f659da29581c203df2101dd6556c4c7be2b9
000249 | 
000250 |   experiments/theory-contracts/tfpt-unified-source-derivation-20261029/
000251 |   aps_source_review/INDUCED-HARDY-DEFECT-BMU-FINITE-READER.txt
000252 |   SHA256 209e29b96e4f43d7a4211f3a0a8ccaa0e4607db9991947b622ee174fceb510d3
000253 | 
000254 |   experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/
000255 |   neutral_moebius_source_20261029/P1-KERNEL-TYPES.txt
000256 |   SHA256 92791e1f2cf9633989188e6e6696f7426ba838095808206b059627454480af16
000257 | 
000258 | No registered source, Atlas record or original file was modified.