TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-equivariant-active-search-20261024/results/pure-mapping-class.json
Original file SHA-256: 7f9d6a0a4e49a359a62bf8bb3557188eed70061ab0fe659db4ac636c7b783f9d
Inclusive original lines: 1-33
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 |   "status": "exact finite orbit classification with stated pure Hurwitz equivalence",
000003 |   "source_id": "f331c66c47bd1a1eac8298d368415d62d5e70875e91eb73c59610b92e1f7cd62",
000004 |   "model_contribution": false,
000005 |   "coefficient_space": "V=Hom(E8,F2), native J action A, N=I+A, N^2=0",
000006 |   "squared_hurwitz_formula": "c_i -> c_i+N(c_i+c_(i+1)); c_(i+1) -> c_(i+1)+N(c_i+c_(i+1))",
000007 |   "generator_names": [
000008 |     "b0^2",
000009 |     "b1^2"
000010 |   ],
000011 |   "action_image": "C2 x C2 on original Gamma moduli",
000012 |   "gauge_quotient_dimension": 20,
000013 |   "all_quotient_points_checked": 1048576,
000014 |   "fixed_points_of_A_P0_P1_combinations": [
000015 |     1048576,
000016 |     4096,
000017 |     65536,
000018 |     4096,
000019 |     65536,
000020 |     4096,
000021 |     4096,
000022 |     65536
000023 |   ],
000024 |   "orbits_after_pure_mapping_class_equivalence": 157696,
000025 |   "pure_mapping_class_orbits_by_number_of_original_Gamma_classes": {
000026 |     "1": 4096,
000027 |     "2": 46080,
000028 |     "4": 107520
000029 |   },
000030 |   "normal_form": "After reducing by diagonal Im(I+A), choose the least nonnegative encoded integer among A^e P0^f P1^g images, e,f,g in F2",
000031 |   "scope": "All ordered four-J sign-lift tuples, first Gamma conjugation and then pure mapping classes; no extra reflection marking, no puncture permutations, no physical-origin claim",
000032 |   "topological_generator_reference": "https://archive.mpim-bonn.mpg.de/5138/1/mpim-preprint_2024-26.pdf, Section 2"
000033 | }