TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/sign-line-cover-results.json
Original file SHA-256: 708ac56062c090ad0320d6999736998476246d98ba6a1c757a2bac11d21a945f
Inclusive original lines: 1-180
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 |   "checks": [
000003 |     {
000004 |       "detail": "1",
000005 |       "name": "negative-orbit Kummer equations have one product relation",
000006 |       "ok": true
000007 |     },
000008 |     {
000009 |       "detail": "1",
000010 |       "name": "positive-orbit comparison packet has one product relation",
000011 |       "ok": true
000012 |     },
000013 |     {
000014 |       "detail": "(w - 1)*(2*w + 1 - sqrt(3)*I)*(2*w + 1 + sqrt(3)*I)/((w + 1)*(2*w - 1 - sqrt(3)*I)*(2*w - 1 + sqrt(3)*I))",
000015 |       "name": "antipodal packet has its exact eta product section",
000016 |       "ok": true
000017 |     },
000018 |     {
000019 |       "detail": [
000020 |         true,
000021 |         true,
000022 |         true
000023 |       ],
000024 |       "name": "c:w->omega w cyclically transports the negative packet",
000025 |       "ok": true
000026 |     },
000027 |     {
000028 |       "detail": 0,
000029 |       "name": "negative packet V4 cover is rational",
000030 |       "ok": true
000031 |     },
000032 |     {
000033 |       "detail": {
000034 |         "0": [
000035 |           1,
000036 |           0
000037 |         ],
000038 |         "1": [
000039 |           1,
000040 |           1
000041 |         ],
000042 |         "2": [
000043 |           0,
000044 |           1
000045 |         ]
000046 |       },
000047 |       "name": "negative packet has the three distinct nonzero V4 inertia vectors",
000048 |       "ok": true
000049 |     },
000050 |     {
000051 |       "detail": 5,
000052 |       "name": "pullback Y_q -> C is unramified of degree four and genus five",
000053 |       "ok": true
000054 |     },
000055 |     {
000056 |       "detail": "(w + 1)**2*(w**2 - w + 1)**2/((w - 1)**2*(w**2 + w + 1)**2)",
000057 |       "name": "the exact quotient coordinate is t=z^4",
000058 |       "ok": true
000059 |     },
000060 |     {
000061 |       "detail": [
000062 |         4,
000063 |         3,
000064 |         2
000065 |       ],
000066 |       "name": "negative packet has the marked v117 passport",
000067 |       "ok": true
000068 |     },
000069 |     {
000070 |       "detail": [
000071 |         2,
000072 |         3,
000073 |         4
000074 |       ],
000075 |       "name": "positive packet has the reversed clock passport",
000076 |       "ok": true
000077 |     },
000078 |     {
000079 |       "detail": [
000080 |         4,
000081 |         3,
000082 |         4
000083 |       ],
000084 |       "name": "antipodal packet has the hyperbolic wrong passport",
000085 |       "ok": true
000086 |     },
000087 |     {
000088 |       "detail": 0,
000089 |       "name": "negative degree-24 triangle cover has genus zero",
000090 |       "ok": true
000091 |     },
000092 |     {
000093 |       "detail": 0,
000094 |       "name": "positive degree-24 triangle cover also has genus zero but wrong marking",
000095 |       "ok": true
000096 |     },
000097 |     {
000098 |       "detail": 3,
000099 |       "name": "antipodal degree-24 cover has genus three",
000100 |       "ok": true
000101 |     },
000102 |     {
000103 |       "detail": [
000104 |         4,
000105 |         3,
000106 |         2
000107 |       ],
000108 |       "name": "v117 triangle matrices have the same oriented orders",
000109 |       "ok": true
000110 |     },
000111 |     {
000112 |       "detail": [
000113 |         1,
000114 |         1,
000115 |         1
000116 |       ],
000117 |       "name": "triangle matrices have determinant one",
000118 |       "ok": true
000119 |     },
000120 |     {
000121 |       "detail": 24,
000122 |       "name": "marked triangle matrices generate S4 of order twenty-four",
000123 |       "ok": true
000124 |     },
000125 |     {
000126 |       "detail": {
000127 |         "abelianization_order": 2,
000128 |         "derived_order": 12
000129 |       },
000130 |       "name": "the only nontrivial cyclic quotient is C2 with A4 kernel",
000131 |       "ok": true
000132 |     },
000133 |     {
000134 |       "detail": "0",
000135 |       "name": "C has function field C(w,z) with eta=z(1-w^3)",
000136 |       "ok": true
000137 |     },
000138 |     {
000139 |       "detail": 12,
000140 |       "name": "fiber product over C(z) has degree twelve and A4",
000141 |       "ok": true
000142 |     },
000143 |     {
000144 |       "detail": [
000145 |         4,
000146 |         4,
000147 |         4,
000148 |         4
000149 |       ],
000150 |       "name": "mu12 cover is ramified C4 over C",
000151 |       "ok": true
000152 |     },
000153 |     {
000154 |       "detail": [
000155 |         2,
000156 |         2,
000157 |         2,
000158 |         2
000159 |       ],
000160 |       "name": "its unique quadratic intermediate is ramified",
000161 |       "ok": true
000162 |     },
000163 |     {
000164 |       "detail": "f(iz)=f(z)^-1",
000165 |       "name": "base quarter sends f to its inverse",
000166 |       "ok": true
000167 |     },
000168 |     {
000169 |       "detail": "w->w^-1",
000170 |       "name": "Q lift h->i/h sends w=h^4 to w^-1",
000171 |       "ok": true
000172 |     },
000173 |     {
000174 |       "detail": "g->-i/g",
000175 |       "name": "Q lift sends g=h^3 to -i g^-1",
000176 |       "ok": true
000177 |     }
000178 |   ],
000179 |   "checks_passed": 25,
000180 |   "checks_total": 25,