Established in scope
Fixed graded chart transports normal-dependent source and given mixed moments
In the question: Common clock sectors, quartic geometry and operational reconstruction
This replaces the prior normal-independence restriction by a broader explicitly fixed product type without redefining the old premise. No arbitrary unbounded Cauchy problem: continuum claims concern actual elliptic Cauchy data,Green form and compatible domains. No moving grading/normal without connection terms. Positive conditional-state integration generally gives a mixed,nonquasifree state; no Wick rule for averaged covariance or projector purity is required. A complex eta/Pfaffian density gives only the integrable algebraic identity. No derivation of measure,physical quantization,original reflection positivity or physical time.
Read the exact result, assumptions and evidence
Result
For B(r)=Z tensor A(r)-S tensor Phi(r),with fixed even connection,odd selfadjoint coefficient and fixed normals/grades,E remains background-independent and B(r)E=E h(r). In a compatible finite regulator,K'= -B(r)K gives exactly C0 K C0=(K*)^-1,without commutation at different r. Thus Cfaces sends the entire graph to its orthogonal complement and the oriented two-face chart gives P_K -> P_Kplus directsum(I-bar P_Kplus),including all crossing blocks. The same fixed algebra map transports all existing integrable joint bosonic insertions and conditional CAR words under an already given common measure. An exact smooth ordering countercase disproves the wrong unadjointed K^-1 formula.
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.
- Fixed graded normal-dependent classical source family
Assume fixed normals N,fixed gamma_F and fixed product trivialization,smooth selfadjoint even A(r),odd Phi(r),Ical=i_old Z gamma_F and C0=i_old N. A compatible finite regulator preserves these identities and adjoints; alternatively supply actual closed elliptic Cauchy data with Lagrangian Green form and grading invariance in the continuum. Normal dependence is an explicit extension of the old constant-product premise. State conclusions assume actual Clifford graph quantization per background. Only the additional integrated-moment identity takes an already given common bosonic weight and integrability as inputs; they are not presumed derived from P1.
Original evidence
- PROOF.txt lines 1–182
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/normal_dependent_transport/PROOF.txt
1ae1ff8cf27210381ba0c37fcbc7feeec9a10ee2781e2265fc761dbe3c878ae3
- REVIEW.txt lines 1–15
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/normal_dependent_transport/REVIEW.txt
b90cd56b45cf519581523ab4c34772f95cf2d9e5fb4653443eb98f4bc31e9a8e
- FINITE-COUPLED.txt lines 1–103
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/FINITE-COUPLED.txt
61d3d524801aff0147d393c518ad554e3ab550271165e2000d9efbf613b90234
- 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
finding:fixed-graded-chart-transports-normal-dependent-source-and-given-mixed-moments