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: 201-400
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.

000201 |       "relative_Q_character": "-I",
000202 |       "relative_beta_character": "-1"
000203 |     },
000204 |     "7": {
000205 |       "Q_reference_determinant": "I",
000206 |       "Q_spin_determinant": "sqrt(2)*(1 - I)/2",
000207 |       "c_character": {
000208 |         "c": 0,
000209 |         "c_squared": 0,
000210 |         "determinant": 1,
000211 |         "identity": 21
000212 |       },
000213 |       "cokernel_dimension": 21,
000214 |       "expected_relative_Q_character": "1024*sqrt(2)/(1 + I)**21",
000215 |       "expected_relative_beta_character": "-I",
000216 |       "kernel_dimension": 0,
000217 |       "matrix_shape": [
000218 |         39,
000219 |         18
000220 |       ],
000221 |       "quotient_basis": [
000222 |         "sheet_0:z^0",
000223 |         "sheet_0:z^1",
000224 |         "sheet_0:z^2",
000225 |         "sheet_0:z^3",
000226 |         "sheet_0:z^4",
000227 |         "sheet_0:z^5",
000228 |         "sheet_0:z^6",
000229 |         "sheet_1:z^0",
000230 |         "sheet_1:z^1",
000231 |         "sheet_1:z^2",
000232 |         "sheet_1:z^3",
000233 |         "sheet_1:z^4",
000234 |         "sheet_1:z^5",
000235 |         "sheet_1:z^6",
000236 |         "sheet_2:z^0",
000237 |         "sheet_2:z^1",
000238 |         "sheet_2:z^2",
000239 |         "sheet_2:z^3",
000240 |         "sheet_2:z^4",
000241 |         "sheet_2:z^5",
000242 |         "sheet_2:z^6"
000243 |       ],
000244 |       "rank": 18,
000245 |       "relative_Q_character": "sqrt(2)*I*(1 + I)/2",
000246 |       "relative_beta_character": "-I"
000247 |     },
000248 |     "8": {
000249 |       "Q_reference_determinant": "1",
000250 |       "Q_spin_determinant": "1",
000251 |       "c_character": {
000252 |         "c": 0,
000253 |         "c_squared": 0,
000254 |         "determinant": 1,
000255 |         "identity": 24
000256 |       },
000257 |       "cokernel_dimension": 24,
000258 |       "expected_relative_Q_character": "1",
000259 |       "expected_relative_beta_character": "1",
000260 |       "kernel_dimension": 0,
000261 |       "matrix_shape": [
000262 |         42,
000263 |         18
000264 |       ],
000265 |       "quotient_basis": [
000266 |         "sheet_0:z^0",
000267 |         "sheet_0:z^1",
000268 |         "sheet_0:z^2",
000269 |         "sheet_0:z^3",
000270 |         "sheet_0:z^4",
000271 |         "sheet_0:z^5",
000272 |         "sheet_0:z^6",
000273 |         "sheet_0:z^7",
000274 |         "sheet_1:z^0",
000275 |         "sheet_1:z^1",
000276 |         "sheet_1:z^2",
000277 |         "sheet_1:z^3",
000278 |         "sheet_1:z^4",
000279 |         "sheet_1:z^5",
000280 |         "sheet_1:z^6",
000281 |         "sheet_1:z^7",
000282 |         "sheet_2:z^0",
000283 |         "sheet_2:z^1",
000284 |         "sheet_2:z^2",
000285 |         "sheet_2:z^3",
000286 |         "sheet_2:z^4",
000287 |         "sheet_2:z^5",
000288 |         "sheet_2:z^6",
000289 |         "sheet_2:z^7"
000290 |       ],
000291 |       "rank": 18,
000292 |       "relative_Q_character": "1",
000293 |       "relative_beta_character": "1"
000294 |     }
000295 |   },
000296 |   "checks": {
000297 |     "curve_identity_z_squared": true,
000298 |     "n_1_Q_conjugates_c_to_inverse": true,
000299 |     "n_1_Q_covariance_of_z_to_n": true,
000300 |     "n_1_c_character_is_n_regular_representations": true,
000301 |     "n_1_c_determinant_is_one": true,
000302 |     "n_1_c_equivariance": true,
000303 |     "n_1_cokernel_dimension_is_3n": true,
000304 |     "n_1_jet_columns_complete_the_image": true,
000305 |     "n_1_jet_count_is_3n": true,
000306 |     "n_1_kernel_is_zero": true,
000307 |     "n_1_rank_is_full_domain": true,
000308 |     "n_1_reference_Q_fourth_power_is_identity": true,
000309 |     "n_1_relative_Q_character": true,
000310 |     "n_1_relative_beta_character": true,
000311 |     "n_1_spin_Q_fourth_power_is_minus_identity": true,
000312 |     "n_2_Q_conjugates_c_to_inverse": true,
000313 |     "n_2_Q_covariance_of_z_to_n": true,
000314 |     "n_2_c_character_is_n_regular_representations": true,
000315 |     "n_2_c_determinant_is_one": true,
000316 |     "n_2_c_equivariance": true,
000317 |     "n_2_cokernel_dimension_is_3n": true,
000318 |     "n_2_jet_columns_complete_the_image": true,
000319 |     "n_2_jet_count_is_3n": true,
000320 |     "n_2_kernel_is_zero": true,
000321 |     "n_2_rank_is_full_domain": true,
000322 |     "n_2_reference_Q_fourth_power_is_identity": true,
000323 |     "n_2_relative_Q_character": true,
000324 |     "n_2_relative_beta_character": true,
000325 |     "n_2_spin_Q_fourth_power_is_minus_identity": true,
000326 |     "n_3_Q_conjugates_c_to_inverse": true,
000327 |     "n_3_Q_covariance_of_z_to_n": true,
000328 |     "n_3_c_character_is_n_regular_representations": true,
000329 |     "n_3_c_determinant_is_one": true,
000330 |     "n_3_c_equivariance": true,
000331 |     "n_3_cokernel_dimension_is_3n": true,
000332 |     "n_3_jet_columns_complete_the_image": true,
000333 |     "n_3_jet_count_is_3n": true,
000334 |     "n_3_kernel_is_zero": true,
000335 |     "n_3_rank_is_full_domain": true,
000336 |     "n_3_reference_Q_fourth_power_is_identity": true,
000337 |     "n_3_relative_Q_character": true,
000338 |     "n_3_relative_beta_character": true,
000339 |     "n_3_spin_Q_fourth_power_is_minus_identity": true,
000340 |     "n_4_Q_conjugates_c_to_inverse": true,
000341 |     "n_4_Q_covariance_of_z_to_n": true,
000342 |     "n_4_c_character_is_n_regular_representations": true,
000343 |     "n_4_c_determinant_is_one": true,
000344 |     "n_4_c_equivariance": true,
000345 |     "n_4_cokernel_dimension_is_3n": true,
000346 |     "n_4_jet_columns_complete_the_image": true,
000347 |     "n_4_jet_count_is_3n": true,
000348 |     "n_4_kernel_is_zero": true,
000349 |     "n_4_rank_is_full_domain": true,
000350 |     "n_4_reference_Q_fourth_power_is_identity": true,
000351 |     "n_4_relative_Q_character": true,
000352 |     "n_4_relative_beta_character": true,
000353 |     "n_4_spin_Q_fourth_power_is_minus_identity": true,
000354 |     "n_5_Q_conjugates_c_to_inverse": true,
000355 |     "n_5_Q_covariance_of_z_to_n": true,
000356 |     "n_5_c_character_is_n_regular_representations": true,
000357 |     "n_5_c_determinant_is_one": true,
000358 |     "n_5_c_equivariance": true,
000359 |     "n_5_cokernel_dimension_is_3n": true,
000360 |     "n_5_jet_columns_complete_the_image": true,
000361 |     "n_5_jet_count_is_3n": true,
000362 |     "n_5_kernel_is_zero": true,
000363 |     "n_5_rank_is_full_domain": true,
000364 |     "n_5_reference_Q_fourth_power_is_identity": true,
000365 |     "n_5_relative_Q_character": true,
000366 |     "n_5_relative_beta_character": true,
000367 |     "n_5_spin_Q_fourth_power_is_minus_identity": true,
000368 |     "n_6_Q_conjugates_c_to_inverse": true,
000369 |     "n_6_Q_covariance_of_z_to_n": true,
000370 |     "n_6_c_character_is_n_regular_representations": true,
000371 |     "n_6_c_determinant_is_one": true,
000372 |     "n_6_c_equivariance": true,
000373 |     "n_6_cokernel_dimension_is_3n": true,
000374 |     "n_6_jet_columns_complete_the_image": true,
000375 |     "n_6_jet_count_is_3n": true,
000376 |     "n_6_kernel_is_zero": true,
000377 |     "n_6_rank_is_full_domain": true,
000378 |     "n_6_reference_Q_fourth_power_is_identity": true,
000379 |     "n_6_relative_Q_character": true,
000380 |     "n_6_relative_beta_character": true,
000381 |     "n_6_spin_Q_fourth_power_is_minus_identity": true,
000382 |     "n_7_Q_conjugates_c_to_inverse": true,
000383 |     "n_7_Q_covariance_of_z_to_n": true,
000384 |     "n_7_c_character_is_n_regular_representations": true,
000385 |     "n_7_c_determinant_is_one": true,
000386 |     "n_7_c_equivariance": true,
000387 |     "n_7_cokernel_dimension_is_3n": true,
000388 |     "n_7_jet_columns_complete_the_image": true,
000389 |     "n_7_jet_count_is_3n": true,
000390 |     "n_7_kernel_is_zero": true,
000391 |     "n_7_rank_is_full_domain": true,
000392 |     "n_7_reference_Q_fourth_power_is_identity": true,
000393 |     "n_7_relative_Q_character": true,
000394 |     "n_7_relative_beta_character": true,
000395 |     "n_7_spin_Q_fourth_power_is_minus_identity": true,
000396 |     "n_8_Q_conjugates_c_to_inverse": true,
000397 |     "n_8_Q_covariance_of_z_to_n": true,
000398 |     "n_8_c_character_is_n_regular_representations": true,
000399 |     "n_8_c_determinant_is_one": true,
000400 |     "n_8_c_equivariance": true,