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: 201-339
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 |       "su5_twirl_weights": {
000202 |         "P45": "2/5",
000203 |         "P5": "1/5",
000204 |         "P50": "2/5"
000205 |       },
000206 |       "symmetric_antisymmetric_choi_support_ranks": [
000207 |         9,
000208 |         6
000209 |       ],
000210 |       "total_overlap_numerator": 144
000211 |     },
000212 |     {
000213 |       "complement_group_overlap_sums": [
000214 |         48,
000215 |         16,
000216 |         16,
000217 |         16,
000218 |         48
000219 |       ],
000220 |       "event_overlap_squared_distribution": {
000221 |         "36": 2,
000222 |         "4": 18
000223 |       },
000224 |       "mark": 4,
000225 |       "normalized_choi_marginals": "I_10/10 on both legs",
000226 |       "old_choi_fixed_sm_generators_commuting": "4/12",
000227 |       "old_choi_su5_generators_commuting": "4/24",
000228 |       "p_Psi": "1/5",
000229 |       "projected_kraus_span_ranks": {
000230 |         "P45": 6,
000231 |         "P5": 5,
000232 |         "P50": 7
000233 |       },
000234 |       "su5_twirl_population_per_target": {
000235 |         "disjoint": "31/225",
000236 |         "intersect": "19/225",
000237 |         "stay": "2/25"
000238 |       },
000239 |       "su5_twirl_population_total": {
000240 |         "disjoint": "31/75",
000241 |         "intersect": "38/75",
000242 |         "stay": "2/25"
000243 |       },
000244 |       "su5_twirl_weights": {
000245 |         "P45": "2/5",
000246 |         "P5": "1/5",
000247 |         "P50": "2/5"
000248 |       },
000249 |       "symmetric_antisymmetric_choi_support_ranks": [
000250 |         9,
000251 |         6
000252 |       ],
000253 |       "total_overlap_numerator": 144
000254 |     },
000255 |     {
000256 |       "complement_group_overlap_sums": [
000257 |         48,
000258 |         16,
000259 |         16,
000260 |         16,
000261 |         48
000262 |       ],
000263 |       "event_overlap_squared_distribution": {
000264 |         "36": 2,
000265 |         "4": 18
000266 |       },
000267 |       "mark": 5,
000268 |       "normalized_choi_marginals": "I_10/10 on both legs",
000269 |       "old_choi_fixed_sm_generators_commuting": "4/12",
000270 |       "old_choi_su5_generators_commuting": "4/24",
000271 |       "p_Psi": "1/5",
000272 |       "projected_kraus_span_ranks": {
000273 |         "P45": 6,
000274 |         "P5": 5,
000275 |         "P50": 7
000276 |       },
000277 |       "su5_twirl_population_per_target": {
000278 |         "disjoint": "31/225",
000279 |         "intersect": "19/225",
000280 |         "stay": "2/25"
000281 |       },
000282 |       "su5_twirl_population_total": {
000283 |         "disjoint": "31/75",
000284 |         "intersect": "38/75",
000285 |         "stay": "2/25"
000286 |       },
000287 |       "su5_twirl_weights": {
000288 |         "P45": "2/5",
000289 |         "P5": "1/5",
000290 |         "P50": "2/5"
000291 |       },
000292 |       "symmetric_antisymmetric_choi_support_ranks": [
000293 |         9,
000294 |         6
000295 |       ],
000296 |       "total_overlap_numerator": 144
000297 |     }
000298 |   ],
000299 |   "normalized_choi_witness": {
000300 |     "derivation_Phi": "J_Phi=(1/3)VV^dagger=2P5 and rho_Phi=J_Phi/10",
000301 |     "derivation_Psi": "sum_l ||V^dagger vec(K_l)||^2=144, divided by 6*12*10",
000302 |     "p_Phi": "1",
000303 |     "p_Psi_all_six_marks": "1/5"
000304 |   },
000305 |   "scope": {
000306 |     "caveat": "the old Bell10 is Sym^2 C^4; the event label duad chart alone is not a linear SU5 intertwiner",
000307 |     "operator_claim": "exact in the fixed duad chart used by the old source comparison",
000308 |     "physical_module_claim": false,
000309 |     "preparation_claim": false
000310 |   },
000311 |   "source_sha256": {
000312 | [OMITTED: non-scientific conversation or execution metadata]
000313 | [OMITTED: non-scientific conversation or execution metadata]
000314 | [OMITTED: non-scientific conversation or execution metadata]
000315 | [OMITTED: non-scientific conversation or execution metadata]
000316 | [OMITTED: non-scientific conversation or execution metadata]
000317 |   },
000318 |   "verdict": [
000319 |     "P5_IS_A_RANK_FIVE_FULL_SU5_INVARIANT_TWO_LEG_PROJECTOR",
000320 |     "NORMALIZED_HODGE_CHOI_HAS_P5_PROBABILITY_ONE",
000321 |     "ACTUAL_OLD_TWENTY_EVENT_CHOI_HAS_P5_PROBABILITY_ONE_FIFTH_FOR_ALL_SIX_MARKS",
000322 |     "ACTUAL_OLD_CHOI_SU5_TWIRL_WEIGHTS_ARE_ONE_FIFTH_TWO_FIFTHS_TWO_FIFTHS",
000323 |     "SU5_TWIRL_INTRODUCES_EXACT_STAY_AND_INTERSECTION_POPULATION_LEAKAGE",
000324 |     "TWO_LEG_SU5_AND_FIXED_SM_NEUTRAL_OBSERVABLES_CAN_DISTINGUISH_PHASE_ERASURE",
000325 |     "ALL_SINGLE_LEG_OBSERVABLES_HAVE_EQUAL_MAXIMALLY_MIXED_CHOI_MARGINALS",
000326 |     "OLD_BELL10_TO_DUAD_CHART_IS_NOT_A_PHYSICAL_SU5_MODULE_IDENTIFICATION",
000327 |     "NO_PREPARATION_OR_EVENT_SELECTION_RULE_IS_DERIVED"
000328 |   ],
000329 |   "witness": {
000330 |     "definition": "P5=(1/6) sum_m |C_m>><<C_m|",
000331 |     "fixed_sm_generators_checked": 12,
000332 |     "fixed_sm_invariant": true,
000333 |     "projector": true,
000334 |     "rank": 5,
000335 |     "space_in_fixed_chart": "Lambda^2 C^5 tensor Lambda^2 C^5, equivalently the stated dual bar10 tensor bar10 convention",
000336 |     "su5_generators_checked": 24,
000337 |     "su5_invariant": true
000338 |   }
000339 | }