TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/admissible_pair_20261028/single_ward_refinement/covariant-rigidity-results.json
Original file SHA-256: 760848d95be53cf860e2a3ee0c9a48153fb85ff3b07c1bdbe74cd651ae363ec2
Inclusive original lines: 201-304
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 |     "phase counterexample commutes block E44",
000202 |     "SM covariance phase variant generator 0",
000203 |     "SM covariance phase variant generator 1",
000204 |     "SM covariance phase variant generator 2",
000205 |     "SM covariance phase variant generator 3",
000206 |     "SM covariance phase variant generator 4",
000207 |     "SM covariance phase variant generator 5",
000208 |     "SM covariance phase variant generator 6",
000209 |     "SM covariance phase variant generator 7",
000210 |     "SM covariance phase variant generator 8",
000211 |     "SM covariance phase variant generator 9",
000212 |     "SM covariance phase variant generator 10",
000213 |     "SM covariance phase variant generator 11",
000214 |     "SM covariance phase variant generator 12",
000215 |     "Hodge actual wedge fivecycle Choi covariance",
000216 |     "SM phase variant violates actual wedge fivecycle covariance",
000217 |     "neutral P5 witness separates SM phase variant with probability 4/15",
000218 |     "neutral P5 Hodge witness probability one",
000219 |     "phase construction transports to moved color mark",
000220 |     "non-Hodge channel family passes actual fivecycle transport between marks",
000221 |     "two-sided phase variant is exact superoperator similarity in fixed real chart",
000222 |     "two-sided phase variant HS selfadjoint",
000223 |     "two-sided phase variant same Petersen population",
000224 |     "two-sided phase variant TP",
000225 |     "two-sided phase variant Choi rank five",
000226 |     "two-sided phase variant different in fixed input/output dictionary",
000227 |     "two-sided Kraus real symmetric",
000228 |     "two-sided phase variant same individual effects",
000229 |     "two-sided Kraus real symmetric",
000230 |     "two-sided phase variant same individual effects",
000231 |     "two-sided Kraus real symmetric",
000232 |     "two-sided phase variant same individual effects",
000233 |     "two-sided Kraus real symmetric",
000234 |     "two-sided phase variant same individual effects",
000235 |     "two-sided Kraus real symmetric",
000236 |     "two-sided phase variant same individual effects",
000237 |     "two-sided phase variant neutral P5 probability seven fifteenths",
000238 |     "two-sided variant also passes fivecycle transport between marks",
000239 |     "two-sided phase variant power similarity 1",
000240 |     "two-sided phase variant power similarity 2",
000241 |     "two-sided phase variant power similarity 3",
000242 |     "two-sided phase variant power similarity 4",
000243 |     "two-sided phase variant power similarity 5",
000244 |     "two-sided phase variant power similarity 6",
000245 |     "original U5 is scalar zeta5^3 on carrier V",
000246 |     "original U5 is scalar zeta5 on duads",
000247 |     "literal slot cycle moves original P2 charge mark",
000248 |     "CC phaseflip violates exterior square phase relation and is not a carrier torus gauge",
000249 |     "TP Choi coefficient A(E00)=trE I-dGamma(E.T)",
000250 |     "actual Choi partial trace coefficient 00",
000251 |     "TP Choi coefficient A(E01)=trE I-dGamma(E.T)",
000252 |     "actual Choi partial trace coefficient 01",
000253 |     "TP Choi coefficient A(E02)=trE I-dGamma(E.T)",
000254 |     "actual Choi partial trace coefficient 02",
000255 |     "TP Choi coefficient A(E03)=trE I-dGamma(E.T)",
000256 |     "actual Choi partial trace coefficient 03",
000257 |     "TP Choi coefficient A(E04)=trE I-dGamma(E.T)",
000258 |     "actual Choi partial trace coefficient 04",
000259 |     "TP Choi coefficient A(E10)=trE I-dGamma(E.T)",
000260 |     "actual Choi partial trace coefficient 10",
000261 |     "TP Choi coefficient A(E11)=trE I-dGamma(E.T)",
000262 |     "actual Choi partial trace coefficient 11",
000263 |     "TP Choi coefficient A(E12)=trE I-dGamma(E.T)",
000264 |     "actual Choi partial trace coefficient 12",
000265 |     "TP Choi coefficient A(E13)=trE I-dGamma(E.T)",
000266 |     "actual Choi partial trace coefficient 13",
000267 |     "TP Choi coefficient A(E14)=trE I-dGamma(E.T)",
000268 |     "actual Choi partial trace coefficient 14",
000269 |     "TP Choi coefficient A(E20)=trE I-dGamma(E.T)",
000270 |     "actual Choi partial trace coefficient 20",
000271 |     "TP Choi coefficient A(E21)=trE I-dGamma(E.T)",
000272 |     "actual Choi partial trace coefficient 21",
000273 |     "TP Choi coefficient A(E22)=trE I-dGamma(E.T)",
000274 |     "actual Choi partial trace coefficient 22",
000275 |     "TP Choi coefficient A(E23)=trE I-dGamma(E.T)",
000276 |     "actual Choi partial trace coefficient 23",
000277 |     "TP Choi coefficient A(E24)=trE I-dGamma(E.T)",
000278 |     "actual Choi partial trace coefficient 24",
000279 |     "TP Choi coefficient A(E30)=trE I-dGamma(E.T)",
000280 |     "actual Choi partial trace coefficient 30",
000281 |     "TP Choi coefficient A(E31)=trE I-dGamma(E.T)",
000282 |     "actual Choi partial trace coefficient 31",
000283 |     "TP Choi coefficient A(E32)=trE I-dGamma(E.T)",
000284 |     "actual Choi partial trace coefficient 32",
000285 |     "TP Choi coefficient A(E33)=trE I-dGamma(E.T)",
000286 |     "actual Choi partial trace coefficient 33",
000287 |     "TP Choi coefficient A(E34)=trE I-dGamma(E.T)",
000288 |     "actual Choi partial trace coefficient 34",
000289 |     "TP Choi coefficient A(E40)=trE I-dGamma(E.T)",
000290 |     "actual Choi partial trace coefficient 40",
000291 |     "TP Choi coefficient A(E41)=trE I-dGamma(E.T)",
000292 |     "actual Choi partial trace coefficient 41",
000293 |     "TP Choi coefficient A(E42)=trE I-dGamma(E.T)",
000294 |     "actual Choi partial trace coefficient 42",
000295 |     "TP Choi coefficient A(E43)=trE I-dGamma(E.T)",
000296 |     "actual Choi partial trace coefficient 43",
000297 |     "TP Choi coefficient A(E44)=trE I-dGamma(E.T)",
000298 |     "actual Choi partial trace coefficient 44",
000299 |     "all 25 source Choi coefficients fixed injectively by trace preservation",
000300 |     "unique supported TP Choi has K=I5/3 without covariance assumption",
000301 |     "complex Hermitian K Choi partial trace follows transposed convention",
000302 |     "complex K distinguishes Choi partial trace from adjoint TP effect transpose"
000303 |   ]
000304 | }