TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/neutral_moebius_source_20261029/neutral-moebius-results.json
Original file SHA-256: 06b20dfee86d8cae69de37817e6ac47b6fe82b573a36e4cf0c3bafb43f32f8a0
Inclusive original lines: 1-15
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.

000001 | {
000002 |   "P1_source_map_closed": false,
000003 |   "analytic_scope": "Full Laguerre basis, operator closures, positive spectrum, local current net and BW/HSMI are the written theorem with primary references, not inferred from finite checks.",
000004 |   "exact_CAR_window": "-8,...,7; all checked total grades<=6, below boundary grade9",
000005 |   "full_TFPT_solution": false,
000006 |   "laguerre_gram_checks": 49,
000007 |   "laguerre_recurrence_checks": 7,
000008 |   "literal_original_CAR_compensated_stress_comparisons": 48,
000009 |   "quarters": [
000010 |     "1/4",
000011 |     "3/4"
000012 |   ],
000013 |   "status": "PASS_SCOPED",
000014 |   "thermal_commutator_entry_times_partition_function": "-sqrt(2)*(-q**2 + q)/2"
000015 | }