TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/admissible_pair_20261028/result.json
Original file SHA-256: 5d5dbe5da58f14d2bde0896ef26afb5ee29dbb401b7a565d6fe85011353273c9
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 |   "actual_old_su5_twirl": {
000003 |     "choi_support_ranks_under_swap": {
000004 |       "antisymmetric": 6,
000005 |       "symmetric": 9
000006 |     },
000007 |     "interpretation": "twirling the noncovariant old channel preserves the P5 weight but creates non-Petersen stay and intersecting transitions",
000008 |     "population_per_target": {
000009 |       "disjoint": "31/225",
000010 |       "intersect": "19/225",
000011 |       "stay": "2/25"
000012 |     },
000013 |     "population_total_per_input": {
000014 |       "disjoint": "31/75",
000015 |       "intersect": "38/75",
000016 |       "stay": "2/25"
000017 |     },
000018 |     "projected_span_ranks": {
000019 |       "P45": 6,
000020 |       "P5": 5,
000021 |       "P50": 7
000022 |     },
000023 |     "weights": {
000024 |       "P45": "2/5",
000025 |       "P5": "1/5",
000026 |       "P50": "2/5"
000027 |     }
000028 |   },
000029 |   "checks": 444,
000030 |   "commutant_scope": {
000031 |     "old_choi_itself_fixed_sm_invariant": false,
000032 |     "old_choi_itself_su5_invariant": false,
000033 |     "reason": "P5 belongs to both commutants and its two normalized Choi expectations are 1 and 1/5",
000034 |     "single_leg_reason": "both normalized Choi marginals are I_10/10 because both channels are trace preserving and unital",
000035 |     "single_leg_restrictions_equal": true,
000036 |     "two_leg_fixed_sm_commutant_restrictions_equal": false,
000037 |     "two_leg_full_su5_commutant_restrictions_equal": false
000038 |   },
000039 |   "marks": [
000040 |     {
000041 |       "complement_group_overlap_sums": [
000042 |         16,
000043 |         16,
000044 |         16,
000045 |         48,
000046 |         48
000047 |       ],
000048 |       "event_overlap_squared_distribution": {
000049 |         "36": 2,
000050 |         "4": 18
000051 |       },
000052 |       "mark": 0,
000053 |       "normalized_choi_marginals": "I_10/10 on both legs",
000054 |       "old_choi_fixed_sm_generators_commuting": "4/12",
000055 |       "old_choi_su5_generators_commuting": "4/24",
000056 |       "p_Psi": "1/5",
000057 |       "projected_kraus_span_ranks": {
000058 |         "P45": 6,
000059 |         "P5": 5,
000060 |         "P50": 7
000061 |       },
000062 |       "su5_twirl_population_per_target": {
000063 |         "disjoint": "31/225",
000064 |         "intersect": "19/225",
000065 |         "stay": "2/25"
000066 |       },
000067 |       "su5_twirl_population_total": {
000068 |         "disjoint": "31/75",
000069 |         "intersect": "38/75",
000070 |         "stay": "2/25"
000071 |       },
000072 |       "su5_twirl_weights": {
000073 |         "P45": "2/5",
000074 |         "P5": "1/5",
000075 |         "P50": "2/5"
000076 |       },
000077 |       "symmetric_antisymmetric_choi_support_ranks": [
000078 |         9,
000079 |         6
000080 |       ],
000081 |       "total_overlap_numerator": 144
000082 |     },
000083 |     {
000084 |       "complement_group_overlap_sums": [
000085 |         16,
000086 |         48,
000087 |         48,
000088 |         16,
000089 |         16
000090 |       ],
000091 |       "event_overlap_squared_distribution": {
000092 |         "36": 2,
000093 |         "4": 18
000094 |       },
000095 |       "mark": 1,
000096 |       "normalized_choi_marginals": "I_10/10 on both legs",
000097 |       "old_choi_fixed_sm_generators_commuting": "4/12",
000098 |       "old_choi_su5_generators_commuting": "4/24",
000099 |       "p_Psi": "1/5",
000100 |       "projected_kraus_span_ranks": {
000101 |         "P45": 6,
000102 |         "P5": 5,
000103 |         "P50": 7
000104 |       },
000105 |       "su5_twirl_population_per_target": {
000106 |         "disjoint": "31/225",
000107 |         "intersect": "19/225",
000108 |         "stay": "2/25"
000109 |       },
000110 |       "su5_twirl_population_total": {
000111 |         "disjoint": "31/75",
000112 |         "intersect": "38/75",
000113 |         "stay": "2/25"
000114 |       },
000115 |       "su5_twirl_weights": {
000116 |         "P45": "2/5",
000117 |         "P5": "1/5",
000118 |         "P50": "2/5"
000119 |       },
000120 |       "symmetric_antisymmetric_choi_support_ranks": [
000121 |         9,
000122 |         6
000123 |       ],
000124 |       "total_overlap_numerator": 144
000125 |     },
000126 |     {
000127 |       "complement_group_overlap_sums": [
000128 |         16,
000129 |         48,
000130 |         48,
000131 |         16,
000132 |         16
000133 |       ],
000134 |       "event_overlap_squared_distribution": {
000135 |         "36": 2,
000136 |         "4": 18
000137 |       },
000138 |       "mark": 2,
000139 |       "normalized_choi_marginals": "I_10/10 on both legs",
000140 |       "old_choi_fixed_sm_generators_commuting": "4/12",
000141 |       "old_choi_su5_generators_commuting": "4/24",
000142 |       "p_Psi": "1/5",
000143 |       "projected_kraus_span_ranks": {
000144 |         "P45": 6,
000145 |         "P5": 5,
000146 |         "P50": 7
000147 |       },
000148 |       "su5_twirl_population_per_target": {
000149 |         "disjoint": "31/225",
000150 |         "intersect": "19/225",
000151 |         "stay": "2/25"
000152 |       },
000153 |       "su5_twirl_population_total": {
000154 |         "disjoint": "31/75",
000155 |         "intersect": "38/75",
000156 |         "stay": "2/25"
000157 |       },
000158 |       "su5_twirl_weights": {
000159 |         "P45": "2/5",
000160 |         "P5": "1/5",
000161 |         "P50": "2/5"
000162 |       },
000163 |       "symmetric_antisymmetric_choi_support_ranks": [
000164 |         9,
000165 |         6
000166 |       ],
000167 |       "total_overlap_numerator": 144
000168 |     },
000169 |     {
000170 |       "complement_group_overlap_sums": [
000171 |         16,
000172 |         48,
000173 |         48,
000174 |         16,
000175 |         16
000176 |       ],
000177 |       "event_overlap_squared_distribution": {
000178 |         "36": 2,
000179 |         "4": 18
000180 |       },
000181 |       "mark": 3,
000182 |       "normalized_choi_marginals": "I_10/10 on both legs",
000183 |       "old_choi_fixed_sm_generators_commuting": "4/12",
000184 |       "old_choi_su5_generators_commuting": "4/24",
000185 |       "p_Psi": "1/5",
000186 |       "projected_kraus_span_ranks": {
000187 |         "P45": 6,
000188 |         "P5": 5,
000189 |         "P50": 7
000190 |       },
000191 |       "su5_twirl_population_per_target": {
000192 |         "disjoint": "31/225",
000193 |         "intersect": "19/225",
000194 |         "stay": "2/25"
000195 |       },
000196 |       "su5_twirl_population_total": {
000197 |         "disjoint": "31/75",
000198 |         "intersect": "38/75",
000199 |         "stay": "2/25"
000200 |       },