TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/admissible_pair_20261028/covariant-rigidity-results.json
Original file SHA-256: 289d87ae0ba76260b153e12da8ce0147fc4e75526295c04d44f0443383336cf0
Inclusive original lines: 1-200
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 |   "scope": "Fixed H=Lambda2 C5, target dual10; exact representation/channel theorem, not original P1 source selection.",
000003 |   "choi_projector_dimensions": [
000004 |     5,
000005 |     45,
000006 |     50
000007 |   ],
000008 |   "scaled_casimir_eigenvalues": [
000009 |     24,
000010 |     64,
000011 |     84
000012 |   ],
000013 |   "highest_weight_lines": 3,
000014 |   "covariant_simplex_vertex_populations": [
000015 |     {
000016 |       "stay": "0",
000017 |       "intersect": "0",
000018 |       "disjoint": "1/3"
000019 |     },
000020 |     {
000021 |       "stay": "0",
000022 |       "intersect": "1/9",
000023 |       "disjoint": "1/9"
000024 |     },
000025 |     {
000026 |       "stay": "1/5",
000027 |       "intersect": "1/10",
000028 |       "disjoint": "1/15"
000029 |     }
000030 |   ],
000031 |   "rigidity": "SU5 conjugate covariance and Petersen support imply unique Phi, including all coherences.",
000032 |   "weights_from_leakage": {
000033 |     "p45": "3*o/2 - 9*s/2",
000034 |     "p5": "-3*o/2 - s/2 + 1",
000035 |     "p50": "5*s"
000036 |   },
000037 |   "diamond_distance": "3 * intersecting_leakage + stay_leakage (within exact covariant simplex)",
000038 |   "SM_plus_actual_wedge_fivecycle_generates_SU5": true,
000039 |   "SM_alone_counterexample": {
000040 |     "U": "minus on CC, plus on CW and WW",
000041 |     "choi_rank": 5,
000042 |     "same_population": true,
000043 |     "P5_probability": "4/15",
000044 |     "wedge_cycle_covariance": false
000045 |   },
000046 |   "mark_transport_does_not_select_channel": {
000047 |     "one_sided_family": true,
000048 |     "two_sided_family": true,
000049 |     "scope": "Full family covariance over Gr(3,5) is weaker than full covariance at one fixed mark."
000050 |   },
000051 |   "real_selfadjoint_isospectral_counterexample": {
000052 |     "Kraus": "U C_m U / sqrt(3), fixed real marked chart",
000053 |     "P5_probability": "7/15",
000054 |     "same_full_spectrum_and_effects": true,
000055 |     "physical_dictionary_fixed": true
000056 |   },
000057 |   "original_U5": {
000058 |     "carrier": "zeta5^3 I5",
000059 |     "duads": "zeta5 I10",
000060 |     "mixes_slots": false,
000061 |     "literal_cycle_moves_charge_mark": true
000062 |   },
000063 |   "source_sha256": "72b04a5bf8b3bd805568af49dec76bd97926fcff4009a830137e2d318807522b",
000064 |   "checks": 174,
000065 |   "full_check_labels": [
000066 |     "projector 5 exact idempotence",
000067 |     "projector 5 exact rank",
000068 |     "projector 5 TP partial trace",
000069 |     "orthogonality 5/45",
000070 |     "orthogonality 5/50",
000071 |     "projector 45 exact idempotence",
000072 |     "projector 45 exact rank",
000073 |     "projector 45 TP partial trace",
000074 |     "orthogonality 45/5",
000075 |     "orthogonality 45/50",
000076 |     "projector 50 exact idempotence",
000077 |     "projector 50 exact rank",
000078 |     "projector 50 TP partial trace",
000079 |     "orthogonality 50/5",
000080 |     "orthogonality 50/45",
000081 |     "complete three-projector decomposition",
000082 |     "dual gl5 E00 commutes P5",
000083 |     "dual gl5 E00 commutes P45",
000084 |     "dual gl5 E00 commutes P50",
000085 |     "dual gl5 E01 commutes P5",
000086 |     "dual gl5 E01 commutes P45",
000087 |     "dual gl5 E01 commutes P50",
000088 |     "dual gl5 E02 commutes P5",
000089 |     "dual gl5 E02 commutes P45",
000090 |     "dual gl5 E02 commutes P50",
000091 |     "dual gl5 E03 commutes P5",
000092 |     "dual gl5 E03 commutes P45",
000093 |     "dual gl5 E03 commutes P50",
000094 |     "dual gl5 E04 commutes P5",
000095 |     "dual gl5 E04 commutes P45",
000096 |     "dual gl5 E04 commutes P50",
000097 |     "dual gl5 E10 commutes P5",
000098 |     "dual gl5 E10 commutes P45",
000099 |     "dual gl5 E10 commutes P50",
000100 |     "dual gl5 E11 commutes P5",
000101 |     "dual gl5 E11 commutes P45",
000102 |     "dual gl5 E11 commutes P50",
000103 |     "dual gl5 E12 commutes P5",
000104 |     "dual gl5 E12 commutes P45",
000105 |     "dual gl5 E12 commutes P50",
000106 |     "dual gl5 E13 commutes P5",
000107 |     "dual gl5 E13 commutes P45",
000108 |     "dual gl5 E13 commutes P50",
000109 |     "dual gl5 E14 commutes P5",
000110 |     "dual gl5 E14 commutes P45",
000111 |     "dual gl5 E14 commutes P50",
000112 |     "dual gl5 E20 commutes P5",
000113 |     "dual gl5 E20 commutes P45",
000114 |     "dual gl5 E20 commutes P50",
000115 |     "dual gl5 E21 commutes P5",
000116 |     "dual gl5 E21 commutes P45",
000117 |     "dual gl5 E21 commutes P50",
000118 |     "dual gl5 E22 commutes P5",
000119 |     "dual gl5 E22 commutes P45",
000120 |     "dual gl5 E22 commutes P50",
000121 |     "dual gl5 E23 commutes P5",
000122 |     "dual gl5 E23 commutes P45",
000123 |     "dual gl5 E23 commutes P50",
000124 |     "dual gl5 E24 commutes P5",
000125 |     "dual gl5 E24 commutes P45",
000126 |     "dual gl5 E24 commutes P50",
000127 |     "dual gl5 E30 commutes P5",
000128 |     "dual gl5 E30 commutes P45",
000129 |     "dual gl5 E30 commutes P50",
000130 |     "dual gl5 E31 commutes P5",
000131 |     "dual gl5 E31 commutes P45",
000132 |     "dual gl5 E31 commutes P50",
000133 |     "dual gl5 E32 commutes P5",
000134 |     "dual gl5 E32 commutes P45",
000135 |     "dual gl5 E32 commutes P50",
000136 |     "dual gl5 E33 commutes P5",
000137 |     "dual gl5 E33 commutes P45",
000138 |     "dual gl5 E33 commutes P50",
000139 |     "dual gl5 E34 commutes P5",
000140 |     "dual gl5 E34 commutes P45",
000141 |     "dual gl5 E34 commutes P50",
000142 |     "dual gl5 E40 commutes P5",
000143 |     "dual gl5 E40 commutes P45",
000144 |     "dual gl5 E40 commutes P50",
000145 |     "dual gl5 E41 commutes P5",
000146 |     "dual gl5 E41 commutes P45",
000147 |     "dual gl5 E41 commutes P50",
000148 |     "dual gl5 E42 commutes P5",
000149 |     "dual gl5 E42 commutes P45",
000150 |     "dual gl5 E42 commutes P50",
000151 |     "dual gl5 E43 commutes P5",
000152 |     "dual gl5 E43 commutes P45",
000153 |     "dual gl5 E43 commutes P50",
000154 |     "dual gl5 E44 commutes P5",
000155 |     "dual gl5 E44 commutes P45",
000156 |     "dual gl5 E44 commutes P50",
000157 |     "quadratic Casimir eigenvalue 24/5",
000158 |     "quadratic Casimir eigenvalue 64/5",
000159 |     "quadratic Casimir eigenvalue 84/5",
000160 |     "three highest-weight lines in full tensor product",
000161 |     "one highest weight in P5; irreducible",
000162 |     "one highest weight in P45; irreducible",
000163 |     "one highest weight in P50; irreducible",
000164 |     "P5 all stay population entries",
000165 |     "P5 all intersect population entries",
000166 |     "P5 all disjoint population entries",
000167 |     "P45 all stay population entries",
000168 |     "P45 all intersect population entries",
000169 |     "P45 all disjoint population entries",
000170 |     "P50 all stay population entries",
000171 |     "P50 all intersect population entries",
000172 |     "P50 all disjoint population entries",
000173 |     "leakage reconstructs three covariant weights",
000174 |     "diamond distance from orthogonal Choi sectors equals 3o+s",
000175 |     "SU3 and fivecycle conjugates generate all twenty sl5 root directions",
000176 |     "SM phase variant has identical Petersen populations",
000177 |     "SM phase variant trace preserving",
000178 |     "SM phase variant has Choi rank five",
000179 |     "SM phase variant is a different quantum channel",
000180 |     "phase counterexample commutes block E00",
000181 |     "phase counterexample commutes block E01",
000182 |     "phase counterexample commutes block E02",
000183 |     "phase counterexample commutes block E10",
000184 |     "phase counterexample commutes block E11",
000185 |     "phase counterexample commutes block E12",
000186 |     "phase counterexample commutes block E20",
000187 |     "phase counterexample commutes block E21",
000188 |     "phase counterexample commutes block E22",
000189 |     "phase counterexample commutes block E33",
000190 |     "phase counterexample commutes block E34",
000191 |     "phase counterexample commutes block E43",
000192 |     "phase counterexample commutes block E44",
000193 |     "SM covariance phase variant generator 0",
000194 |     "SM covariance phase variant generator 1",
000195 |     "SM covariance phase variant generator 2",
000196 |     "SM covariance phase variant generator 3",
000197 |     "SM covariance phase variant generator 4",
000198 |     "SM covariance phase variant generator 5",
000199 |     "SM covariance phase variant generator 6",
000200 |     "SM covariance phase variant generator 7",