Scoped exclusion
AP spectral formulas force neither normal domain nor whole source
In the question: Automated construction of operator maps and sources
Only these forced identifications are excluded. Preserve the named elliptic NS source with given AP holonomy, correct sums, full coupled response and stronger operational seed. APS and AP are distinct domain data. No whole-TFPT no-go or claim that only noncommuting compression can select couplings. New explicit standard Clifford gluing derives AP from stronger common domain data; distinguish it from the excluded inference from G alone.
Read the exact result, assumptions and evidence
Result
The reviewed AP resolvent sum and scalar second-order determinant X^-2 are correct. They do not force AP closure from the orthogonal Cauchy projector, also obtained from a periodic realization with the same image. Correct D=N(partial+B); whole Pfaffian identification retains charge legs,multiplicity,reference and phase. One scalar directional jet does not reconstruct an operator, whereas full first variation over all probes may identify a gradient. the reviewed source's scalar/operator comparison is not a pair of complete sources and proves no nonidentifiability. C59's AP bulk/gluing split is correct with its regulator. Gluing variation is a scalar consumer of X_E, not the whole cross kernel; retain matching mu and joint zero-spectrum limits.
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.
- Closed antiperiodic scalar wall with fixed Hermitian coefficient
Test The reviewed additional closed Green-source construction on finite circle length2ell,scalar anti-I spinor clutch,H1 domain,fixed finite Hermitian Phi,smooth real periodic scalar sigma(r). N²=-I,Z²=S²=I,S=NZ,Q=N partial_r+Z sigmaPhi,D=Q+pS. Explicit inverse additionally assumes ∮sigma=0. Neither global clutch nor Green=original Schwinger source is assumed from local C_faces.
Original evidence
- CLAUDE52-NORMAL-SPECTRUM-DETERMINANT-INDEPENDENT-REVIEW.txt lines 1–168
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE52-NORMAL-SPECTRUM-DETERMINANT-INDEPENDENT-REVIEW.txt
43943a63714321772357879cf7b936513aeb13c269aab1b7b4cee600957a5b51
- CLAUDE52-NORMAL-SPECTRUM-DETERMINANT-INDEPENDENT-REVIEW.txt lines 169–201
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE52-NORMAL-SPECTRUM-DETERMINANT-INDEPENDENT-REVIEW.txt
43943a63714321772357879cf7b936513aeb13c269aab1b7b4cee600957a5b51
- ROOT-CURRENT-READER-AND-CANDIDATE-REVIEW.txt lines 46–69
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-CURRENT-READER-AND-CANDIDATE-REVIEW.txt
ce8d3c3f261ac0011c5c239ee68def520cd7c3ffe4e7ee41a1185b98d9ff49a0
- C59-DETERMINANT-AND-CROSS-REVIEW.txt lines 1–200
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C59-DETERMINANT-AND-CROSS-REVIEW.txt
1fe364e6d2f7da9e905c68251d69e40ba183a3600c51548229c5aa7ab3f77d20
- C59-DETERMINANT-AND-CROSS-REVIEW.txt lines 201–212
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C59-DETERMINANT-AND-CROSS-REVIEW.txt
1fe364e6d2f7da9e905c68251d69e40ba183a3600c51548229c5aa7ab3f77d20
finding:ap-spectral-formulas-do-not-force-normal-domain-or-complete-source