TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/DERIVATION.txt
Original file SHA-256: 244e67a13d177ee04d4a0be211d0983d0efe45e0a4263186fe15da62eaf538fd
Inclusive original lines: 201-270
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 | ---------------------------------------------------------
000202 | The following are EXISTING Atlas results, not new discoveries:
000203 |  finding:minimal-defect-uniqueness-not-proved;
000204 |  finding:original-minimality-does-not-reconstruct-operational-source;
000205 |  finding:paper-seed-source-needs-local-image-not-global-equivalence.
000206 | 
000207 | The original d_seed=d composed C_seed yields minimization over im(C_seed),
000208 | not automatically all SBord. The precise sufficient repair of its boundary
000209 | corollary is (i) a genuine seed hitting a global minimal defect value and
000210 | (ii) uniqueness of the reachable boundary stratum at that value. Even this
000211 | would fix a boundary image, not by itself its complete state/reflection/time
000212 | fiber. Full global categorical surjectivity is stronger than necessary.
000213 | 
000214 | A later full/faithful/essentially-surjective statement in the original QFT
000215 | source 006:275--311 is explicitly disabled by the TeX conditional
000216 | \\iffalse ... \\fi. The active successor 313--343 states only
000217 | that a different internal reduction lands in one rigid target orbit. It is
000218 | not an active theorem supplying the missing physical source map [S8].
000219 | No universal impossibility or universal loss of information follows.
000220 | 
000221 | 7. What changes the next actual calculation
000222 | -------------------------------------------
000223 | Reuse the existing discrete E8/clock/glue results, the actual W8 construction,
000224 | the two-face HS calculation and the vacuum Moebius theorem. Do not rescan
000225 | their already closed candidate spaces. Do not rerun the minimality audit
000226 | as a new discovery. Do not compare infinitely many arbitrary neutral words
000227 | if the structural recognition certificate can be proved in the source.
000228 | 
000229 | Find the actual P1 insertions and their represented operators. For a candidate
000230 | full current image the first decisive relation is the local continuous Weyl
000231 | cocycle or its justified current CCR, followed by the SAME original time Ward
000232 | and actual state type. Then original eight-arc support, reflection and common
000233 | face representation must pass, with (1) or (4) providing the word values.
000234 | An isolated W8 image may use a smaller direct composite map; it need not
000235 | contain the full current or charged field algebras.
000236 | 
000237 | No candidate original current image has been constructed in this contract.
000238 | Its absence here is an unresolved derivation, not an impossibility theorem.
000239 | The complete fundamental TFPT solution therefore remains unproved.
000240 | 
000241 | Sources
000242 | --------
000243 | [S1] documents/tfpt_1_architecture_e8/sections/001-source.tex:67--98.
000244 | [S2] experiments/theory-contracts/native-octic-seam-origin-20261025/
000245 |      CAR-OCTIC-DICTIONARY.txt:1--109.
000246 | [S3] experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/
000247 |      neutral_moebius_source_20261029/PROOF.txt:1--193;
000248 |      experiments/theory-contracts/joint-native-algebra-selection-20261016/
000249 |      ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt:166--180.
000250 | [S4] experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/
000251 |      two_face_source_20261029/PROOF.txt:1--185.
000252 | [S5] experiments/theory-contracts/native-arc-charge-source-interface-20261026/
000253 |      PROJECTOR-STATE-RIGIDITY.txt:1--173.
000254 | [S6] documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/
000255 |      sections/002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex:
000256 |      103--144,219--306; 001-section-primitive-core-and-carrier-interface-handoff.tex:
000257 |      65--110,302--343. Neither P_C nor 2P_C-I is thereby an original CAR state.
000258 | [S7] experiments/theory-contracts/primitive-seam-operator-reconstruction-20261025/
000259 |      OS-SOURCE-REPAIR.txt:181--260.
000260 | [S8] documents/archive--tfpt-45--source_extracts--04_qft_source/sections/
000261 |      006-section-internal-reduction-theorem-and-renormalized-obse.tex:275--350.
000262 | [P1] Adamo, Giorgetti, Tanimoto, Wightman Fields for Two-Dimensional Conformal
000263 |      Field Theories with Pointed Representation Category (2023), section6.1.
000264 |      https://doi.org/10.1007/s00220-023-04835-1
000265 |      Standard current-module inner product, closures and actual smeared net.
000266 | [P2] Carpi, On the Representation Theory of Virasoro Nets (2003), section4,
000267 |      equations44--47. https://arxiv.org/abs/math/0306425
000268 |      Primary reference for the irreducible lowest-weight oscillator module.
000269 | The elementary proofs of (1),(2),(4) are supplied above; no physical TFPT
000270 | claim is inferred from the cited general representation theory.