TFPT scientific source excerpt
Original repository path: tfpt_explorer/source_spin_lift.py
Original file SHA-256: 592f6ea2750dc72dcc1b4861a0a218b41646fdebfc4d68d3cddaf183c0c9c63e
Inclusive original lines: 217-242
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.

000217 |         "microscopic_pair": {
000218 |             "status": "ANALYTIC_NEUTRAL_DISTRIBUTION_LIMIT_CONDITIONAL_ON_EIGHT_IDENTICAL_COPIES",
000219 |             "construction": "Z_t^16 [C_N^circ(a,b)]^8; every determinant uses the full occupied QWZ source",
000220 |             "limit_kernel": "(1-exp(2*pi*i*(b-a)-0))^(-2)",
000221 |             "limit_fourier_coefficients": [str(value) for value in
000222 |                                             spinor_pair_kernel_coefficients((1,) * 12)],
000223 |             "lattice_to_smoothed_error_rate": "O(N^(-3/8) (log N)^3)",
000224 |             "endpoint_grid_error_rate": "O(N^(-1/4))",
000225 |             "convergence": "distributions on T^2, including endpoint collisions; not an L1 power limit",
000226 |             "positive_pair_form": True,
000227 |             "copies_are_an_explicit_premise": True,
000228 |             "charged_local_spinor_field_constructed": False,
000229 | [OMITTED: non-scientific conversation or execution metadata]
000230 |             "section_label": "sec:microscopicpairbridge",
000231 |             "scope": (
000232 |                 "Der analytische Satz gewinnt den Gewicht-1-Paarkern aus den vollstaendigen "
000233 |                 "acht Quelldeterminanten. Nullmodenladung, lokale Austauschprodukte, "
000234 |                 "GSO/Kokzyklus und der Ursprung der acht Kanaele sind damit nicht bewiesen."
000235 |             ),
000236 |         },
000237 |         "microscopic_identification_remaining": (
000238 |             "Zu beweisen bleibt, dass die punktgetrennte, renormierte Fusion des originalen "
000239 |             "QWZ/CAR-Vierteltwist-Implementierers im Skalierungslimes genau den hier gewaehlten "
000240 |             "lambda-DHR-Intertwiner samt Adjungiertem, GSO-Chiralitaet, Kozykel und lokaler "
000241 |             "Traegerkontrolle ergibt. Die endliche Fluxregisterrelation D_q^2 hat diese "
000242 |             "Operatoridentitaet noch nicht bewiesen."