TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CANONICAL-NORMAL-DOUBLE-SPIN-REVIEW.txt
Original file SHA-256: 847835f7bbc2cef9907e2999934c055792c70edd599b9bff9836be4ad59174f2
Inclusive original lines: 1-126
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 | CANONICAL NORMAL CLIFFORD DOUBLE: SPIN TRANSITIONS AND ACTUAL DECK TYPE
000002 | 30 October 2026. Targeted original/primary-source review and analytic proof.
000003 | No new fields, states, coefficient family, boundary phase fit or Atlas edit.
000004 | 
000005 | Result
000006 | The standard geometric invertible double supplies a real positive answer:
000007 | normal Clifford clutching at BOTH ends of the given product cylinder
000008 | forces antiperiodic normal holonomy. This is a derivation from the two
000009 | actual transitions, not an inference from tanh/sech or a selected kernel.
000010 | The same construction also determines the type of its natural deck lift.
000011 | It is incompatible with C59's asserted automatic tau-even constant-field
000012 | split unless an additional, different original lift identification is made.
000013 | 
000014 | 1. What was actually found in the TFPT originals
000015 | Original001 means documents/archive--tfpt-45--source_extracts--01_boundary_
000016 | kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex,
000017 | SHA256 7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79,
000018 | paper-source:8027564739689dd02e02f11c. Its79 assumes reflection regularity
000019 | and well-posed canonical doubling;94-129 defines the geometric double,
000020 | D=D_+ union D_+^op, the deck and its relative split. Neither this statement
000021 | nor its proof gives a spinor transition v=c(n)u or names the invertible
000022 | double construction/reference below. The later QFT002:167-198 similarly
000023 | names canonical doubling without displaying the bundle transition.
000024 | This is a precise scope of those passages, not universal absence in TFPT.
000025 | 
000026 | The older reduced-datum text was also read:
000027 | _archive/paper-latex/tfpt_minimal_kernel_clean.tex:76-148,
000028 | paper-source:7345a35cd05c2430a7faa00d,
000029 | SHA256 7c33e675cad4c3ce971f1530e607515f0fcbc35842646b1a755122595ed30314.
000030 | It starts with an already given closed manifold, involution and Dirac,
000031 | then forms even/odd parts. It does not add the missing seam transition.
000032 | The current modular D_rel action paragraph is the distinct reader contract
000033 | already documented in C59-ORIGINAL-ANCHOR-REVIEW.txt, not this deck formula.
000034 | 
000035 | 2. Standard primary construction, explicitly checked
000036 | Booß-Bavnbek and Lesch, The invertible double of elliptic operators,
000037 | arXiv:0803.4047v4, section1.3, Proposition1.4, PDF page8:
000038 | https://arxiv.org/pdf/0803.4047
000039 | For product Dirac data the construction glues D and -D using the normal
000040 | Clifford coefficient J; its domain consists of pairs with v=Ju on the
000041 | boundary. This primary convention was read directly. It gives a canonical
000042 | invertible double and a corresponding Calderon construction. A canonical
000043 | manifold double alone is not a displayed choice of this operator bundle.
000044 | 
000045 | 3. Product-cylinder transitions force the normal AP domain
000046 | Use the EXISTING full product class, in OLD complex notation:
000047 |   D=N(partial_x+B), N^2=-I, N*=-N, B*=B, {N,B}=0,
000048 | on x in[0,ell]. The actual finite odd coefficient can remain in B.
000049 | The inward normal coefficients at the two ends are J0=N and Jell=-N.
000050 | The standard construction from section2 imposes, on its two copies,
000051 |   v(0)=N u(0), v(ell)=-N u(ell).
000052 | No relative endpoint sign has been fitted.
000053 | 
000054 | Unfold the second copy by r=2ell-x, ell<=r<=2ell, and set w=Nv there.
000055 | Then -D on that copy becomes N(partial_r-B), and the fixed N chart gives
000056 |   N[-D]_unfolded N^-1=N(partial_r+B).
000057 | At the joins the same chart gives
000058 |   w(ell)=u(ell), w(2ell)=-u(0).
000059 | Thus the single full product operator is D=N(partial_r+B) on the ACTUAL
000060 | antiperiodic H1 domain on a circle of circumference2ell. Equivalently
000061 | the transition product J0^-1 Jell=-I. Replacing both inward normals by
000062 | outward normals changes both J signs and leaves this product unchanged.
000063 | For constant B, D^2=-partial_r^2+B^2 with AP normal frequencies
000064 |   k_n=pi(n+1/2)/ell.
000065 | This supplies the AP input of a normal determinant calculation for this
000066 | standard doubled cylinder; it supplies no independent quantum state choice.
000067 | 
000068 | 4. The same bundle transition also fixes the natural deck's type
000069 | In the two-copy chart the bundle map
000070 |   R(u,v)=(-v,u)
000071 | preserves v=J_j u at each boundary: -J_j^2 u=u. It covers exchange of
000072 | the two copies and satisfies R^2=-I. On diag(D,-D), R anti-commutes
000073 | with the doubled operator. In the unfolded continuous chart it is
000074 |   R=N P_r, (P_r f)(r)=f(2ell-r),
000075 | on the AP domain, again R^2=-I and R D R^-1=-D.
000076 | These are OLD-complex operator statements; no new-CAR C0 or OS map is
000077 | being substituted. Multiplying by i_old yields the involutive lift
000078 |   R0=i_old N P_r, R0^2=I, R0 D R0=-D.
000079 | If THIS involutive lift is used in the archive's displayed half-split,
000080 | then D_ref=0 and D_rel=D, including any constant Phi in B. With the
000081 | order-four R itself one must use conjugation R D R^-1; substituting
000082 | R D R into an involution formula silently changes its meaning.
000083 | 
000084 | Hence standard Clifford doubling cannot simultaneously be invoked to force
000085 | AP and then replaced by a different fiber map to infer that constant Phi
000086 | is tau-even. The actual lift, its complex type and its global domain must
000087 | be retained. This is not an exclusion of a different explicitly supplied
000088 | TFPT deck or a proof that the original relative action has this zero
000089 | reference. The TFPT passages above do not make that lift equality explicit.
000090 | 
000091 | 5. Exact useful scope and next actual original comparison
000092 | Under the standard invertible-double meaning on the WHOLE given cylinder,
000093 | normal AP is now derived from existing Clifford data. There is no need
000094 | to choose AP by matching the known cross kernel. This is a useful positive
000095 | geometric leg for the original action/determinant comparison.
000096 | 
000097 | An arbitrary original M_+ with only a LOCAL collar need not be this whole
000098 | product cylinder: its double is closed, but normal travel through its
000099 | interior need not be a global circle of length2ell. The precise remaining
000100 | comparison is which original seam components and spinor transition the
000101 | stated D_+^op and MASTER operator use. No independent unweighted curve
000102 | operator, second state or new extension is required to transport the already
000103 | given image source and its domain. A whole-cylinder determinant formula,
000104 | however, must use its actual doubled global domain rather than the word
000105 | 'double' alone. The verified graph, field products and existing source
000106 | state/time dictionaries remain unchanged throughout this calculation.
000107 | 
000108 | 6. Additional exact grading constraint of the older reduced datum
000109 | The old minimal-kernel original above states at EXACT line87 that inv
000110 | commutes with J AND Gamma (paper-source:7345a35cd05c2430a7faa00d).
000111 | Conditional on transporting that Gamma to the CURRENT Gamma_tot=Z tensor
000112 | gamma_F, both proposed standard product lifts fail this particular rule.
000113 | Indeed {Gamma_tot,N}=0 and [Gamma_tot,P_r]=0 give, for
000114 |   R_odd=i_old N P_r, R_even=Gamma_tot N P_r,
000115 |   {Gamma_tot,R_odd}={Gamma_tot,R_even}=0.
000116 | Both lifts are invertible, so their commutators with Gamma_tot are nonzero.
000117 | This test is independent of which lift commutes or anticommutes with D.
000118 | It excludes their simultaneous identification with that old inv AND that
000119 | transported Gamma. It does not exclude a different actual grading map or
000120 | establish an inconsistency of all TFPT data; that map has not been proved.
000121 | 
000122 | The reread archive001 does NOT explicitly repeat [tau*,Gamma]=0. Its
000123 | line74 requires compatibility of B_Sigma with the boundary restrictions
000124 | of J and Gamma; lines103-147 introduce tau and the closed tuple without
000125 | the old commutation condition. The two source formulations must therefore
000126 | be distinguished rather than importing line87 silently into archive001.