TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/NATIVE-NEUTRAL-J.json
Original file SHA-256: 53731a814afdb74315a4e0fcb398894dfb4c59c8e3315ac879d2f585b8e822e2
Inclusive original lines: 1-20
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 |   "review_date": "2026-11-03",
000003 |   "record_kind": "Saved from the already completed original checker call; no rerun",
000004 |   "command": "/opt/homebrew/bin/python3 -B experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/neutral_moebius_source_20261029/check_neutral_moebius.py",
000005 | [OMITTED: non-scientific conversation or execution metadata]
000006 |   "exit_code": 0,
000007 |   "tool_chunk_id": "bb15fc",
000008 |   "output": {
000009 |     "P1_source_map_closed": false,
000010 |     "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.",
000011 |     "exact_CAR_window": "-8,...,7; all checked total grades<=6, below boundary grade9",
000012 |     "full_TFPT_solution": false,
000013 |     "laguerre_gram_checks": 49,
000014 |     "laguerre_recurrence_checks": 7,
000015 |     "literal_original_CAR_compensated_stress_comparisons": 48,
000016 |     "quarters": ["1/4", "3/4"],
000017 |     "status": "PASS_SCOPED",
000018 |     "thermal_commutator_entry_times_partition_function": "-sqrt(2)*(-q**2 + q)/2"
000019 |   }
000020 | }