Established in scope
Actual charge J and entire Dirac pairing in geometric chart
In the question: Common clock sectors, quartic geometry and operational reconstruction
Analytic full operator transport for general complex Yukawas and complex symmetric Majorana block,on the smooth interior core; global selfadjoint J-stable domains need separate checks. No [Q,Phi]=0 is needed for this J/B test,and no electric-charge selection follows. Neither a universal Pfaffian exclusion nor a physical chiral Pfaffian rule follows. C0 is not J_F. No new physical halving,species count,bosonic quantization or OS time. Original audit preserves the already complete chosen QWZ CAR source and complete operational Seed; no extra free quantization demand for these given sources.
Read the exact result, assumptions and evidence
Result
In the existing chart,Jhat=I tensor J_F is new-complex-linear and T^-1 Jhat T(v,bar w)=(-k w,overline(k v)),with k=-gamma_F J_F,k²=-I. Jloc=S Jhat is new-antilinear and induces c=-i_old J_F,c²=I. Fully,c h_A c^-1=h_{-A^J},difference -(a+a^J)gamma_F,and Jloc D_A Jloc^-1=-D_{-A^J}. For a^J=-a,[c,h_A]=0 and an actual old full-space skew form <Jloc x,D_A y> result; its restriction to E times E vanishes. The reduced boundary pairing <c v,h_A w> is symmetric and is a different form. Full D is new-complex-antilinear; its pullback retains normal derivative,A and Phi. The old finite mass pairing <J_F v,Phi w> is recovered exactly. For scalar holonomy,c sends alpha to -alpha; explicit W=exp(-i theta) gives 1-alpha and index -k-1.
Required assumptions
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
- Complete data of both product-collar faces
A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.
- Geometric Clifford boundary with explicit changed complex structure
Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.
- Actual finite KO6 block and tested selfdual ansatz
Given the existing v252 constructor with selfadjoint D_F, antiunitary J_F, J_F²=+I, J_F D_F=D_F J_F and J_F Gamma_F=-Gamma_F J_F. Test the additional direct Pfaffian identification through B_F=<J_F.,D_F.> and a universal internal rechoice of J at unchanged D_F. Control parameters of the published constructor class are not selected physical TFPT values. A total spacetime domain or Grassmann source law is not presumed derived from P1.
Original evidence
- DERIVED-PAIRING.txt lines 1–159
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/charge_transport/DERIVED-PAIRING.txt
2b4de9e914669e368e5aa086e655b7a5ed2be5d4d268f58b6820fc3db8d7ae27
- ORIGINAL-SOURCE-AUDIT.txt lines 1–134
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/charge_transport/ORIGINAL-SOURCE-AUDIT.txt
abb72a8f7cd476cded1bea40330be526984a83be4a7a6ed4a419998cde962c9d
- REVIEW.txt lines 1–17
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/charge_transport/REVIEW.txt
f36675ba8899bc0ae35fc734fa073888ec8e45530933774c00c25581ebe1d6ea
- v252_full_finite_triple.py lines 102–132
Source checked at this snapshot
Original location and fingerprint
verification/v252_full_finite_triple.py
820254440e178430422e50605067775656236602996307f67c9e69124ba5d163
- toe_research_20260909.tex lines 16–95
Source checked at this snapshot
Original location and fingerprint
tex-artefacts/toe_research_20260909.tex
361c3843779f78c66ff7e19b610152f38d5dc4f6623ed9017c9d515f1dc94433
- 017-source.tex lines 153–191
Source checked at this snapshot
Original location and fingerprint
documents/tfpt_research_contracts/sections/017-source.tex
492599a0d20043a5589ca610ce7e1ebceffb8de043eae8eb406e4469d3e4be83
- 002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex lines 103–143
Source checked at this snapshot
Original location and fingerprint
documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex
1de90a4a7379bef804cc7815d72c0f86bb398a5771e9b00997c4bb15e8815f9e
finding:actual-charge-j-transport-retains-full-dirac-and-distinct-pairings