TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary_origin_20261027/source/three-cabled-seam.json
Original file SHA-256: e3fddc8fad3f71c3ed8eb4b00f1bce395d1f274bd28d75d85909d0a3ade1c91e
Inclusive original lines: 401-423
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.

000401 |     "n_8_cokernel_dimension_is_3n": true,
000402 |     "n_8_jet_columns_complete_the_image": true,
000403 |     "n_8_jet_count_is_3n": true,
000404 |     "n_8_kernel_is_zero": true,
000405 |     "n_8_rank_is_full_domain": true,
000406 |     "n_8_reference_Q_fourth_power_is_identity": true,
000407 |     "n_8_relative_Q_character": true,
000408 |     "n_8_relative_beta_character": true,
000409 |     "n_8_spin_Q_fourth_power_is_minus_identity": true,
000410 |     "source_Q_sends_z_to_i_z": true
000411 |   },
000412 |   "checks_passed": true,
000413 |   "curve": "eta^2=1-w^6",
000414 |   "errors": [],
000415 |   "map": "z=eta/(1-w^3), z^2=(1+w^3)/(1-w^3)",
000416 |   "scope": "Finite polynomial truncation only. The Hardy/Fredholm and determinant-line statements are analytic results in ORIGINAL-BOUNDARY-NORM-ORIGIN.txt.",
000417 |   "sheet_action": {
000418 |     "Q_reference": "(a,j)->(-a,j) with phase i^j",
000419 |     "Q_spin": "(a,j)->(-a,j) with phase zeta8*i^j",
000420 |     "c": "(a,j)->(a+1,j)"
000421 |   },
000422 |   "truncation_degree": 6
000423 | }