TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/THETA-FUNCTOR-SPIN-SIGN-TEST.txt
Original file SHA-256: a5128ab5c2b1602bd64a7b6610ba9282707d6ec65c839051ecb42ccc50bfb910
Inclusive original lines: 181-212
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.

000181 | PRIMARY REFERENCES
000182 | 
000183 |   * Pierre Deligne, Le determinant de la cohomologie, Contemporary
000184 |     Mathematics 67 (1987), 93--177.  The determinant functor used in (1)--(4):
000185 |     https://publications.ias.edu/book/export/html/404
000186 | 
000187 |   * The Stacks Project, Tags 0FJ9 and 0FJW, gives the determinant functor for
000188 |     finite projective modules and perfect complexes, including pullback
000189 |     compatibility used above:
000190 |     https://stacks.math.columbia.edu/tag/0FJ9
000191 |     https://stacks.math.columbia.edu/tag/0FJW
000192 | 
000193 | [OMITTED: non-scientific conversation or execution metadata]
000194 | [OMITTED: non-scientific conversation or execution metadata]
000195 | [OMITTED: non-scientific conversation or execution metadata]
000196 | [OMITTED: non-scientific conversation or execution metadata]
000197 | [OMITTED: non-scientific conversation or execution metadata]
000198 | 
000199 |   * Bert van Geemen, Some Equations for the Universal Kummer Variety,
000200 |     Transactions of the AMS 368 (2016), 209--225, DOI 10.1090/tran/6309,
000201 |     Sections 1.1--1.2 for the even second-order theta basis and Kummer map:
000202 |     https://sites.unimi.it/vangeemen/1307.2463v2.pdf
000203 | 
000204 | 
000205 | LOCAL SOURCE ANCHORS
000206 | 
000207 |   * research-20261026-real-boundary/SOURCE-SELECTED-THETA-SPIN.txt
000208 |   * research-20261026-real-boundary/SIX-LINE-THETA-COMPLETION.txt
000209 |   * research-20261026-real-boundary/CUBIC-NATIVE-MARKING-TEST.txt
000210 |   * research-20261026-real-boundary/PAULI-SPIN-CENTRAL-LIFT.txt
000211 |   * verification/v783_two_qubit_clifford.py
000212 |   * verification/v784_curve_code_2torsion.py