TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/hodge_complement_20261028/result.json
Original file SHA-256: 811d82cbc63efee9551887ba3ddecb70c7330934d322069ae19f10de25025062
Inclusive original lines: 201-329
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 |       "group_effects": "P_m/3 after normalization",
000202 |       "group_sizes": [
000203 |         4,
000204 |         4,
000205 |         4,
000206 |         4,
000207 |         4
000208 |       ],
000209 |       "individual_baseline_two_cycle_flux": "trivial and removable with an m-conditioned diagonal gauge",
000210 |       "intersecting_coherence_witnesses": 60,
000211 |       "mark": 3,
000212 |       "old_choi_rank": 15,
000213 |       "old_hilbert_schmidt_self_adjoint": true,
000214 |       "old_nonzero_choi_eigenvalue": "2/3 (multiplicity 15)",
000215 |       "old_superoperator_rank": 40,
000216 |       "old_superoperator_spectrum_scaled_by_12": {
000217 |         "-4": 15,
000218 |         "-8": 4,
000219 |         "0": 60,
000220 |         "12": 1,
000221 |         "4": 20
000222 |       },
000223 |       "old_trace_preserving": true,
000224 |       "old_unital": true,
000225 |       "phase_factorization": "R_l=D_l C_m on P_m",
000226 |       "population_equal": true,
000227 |       "relative_phase_group": "Klein four projectively; three characters each with multiplicity two"
000228 |     },
000229 |     {
000230 |       "common_edge_flux": "nontrivial: none of 4^5 baseline choices and 2^5 class signs admits one common diagonal gauge",
000231 |       "common_ten_label_gauge_solutions": 0,
000232 |       "conditional_channel_factorization": "old block = outcome-conditioned Klein phase twirl after one Hodge outcome",
000233 |       "full_channel_equal": false,
000234 |       "group_choi_ranks": [
000235 |         3,
000236 |         3,
000237 |         3,
000238 |         3,
000239 |         3
000240 |       ],
000241 |       "group_effects": "P_m/3 after normalization",
000242 |       "group_sizes": [
000243 |         4,
000244 |         4,
000245 |         4,
000246 |         4,
000247 |         4
000248 |       ],
000249 |       "individual_baseline_two_cycle_flux": "trivial and removable with an m-conditioned diagonal gauge",
000250 |       "intersecting_coherence_witnesses": 60,
000251 |       "mark": 4,
000252 |       "old_choi_rank": 15,
000253 |       "old_hilbert_schmidt_self_adjoint": true,
000254 |       "old_nonzero_choi_eigenvalue": "2/3 (multiplicity 15)",
000255 |       "old_superoperator_rank": 40,
000256 |       "old_superoperator_spectrum_scaled_by_12": {
000257 |         "-4": 15,
000258 |         "-8": 4,
000259 |         "0": 60,
000260 |         "12": 1,
000261 |         "4": 20
000262 |       },
000263 |       "old_trace_preserving": true,
000264 |       "old_unital": true,
000265 |       "phase_factorization": "R_l=D_l C_m on P_m",
000266 |       "population_equal": true,
000267 |       "relative_phase_group": "Klein four projectively; three characters each with multiplicity two"
000268 |     },
000269 |     {
000270 |       "common_edge_flux": "nontrivial: none of 4^5 baseline choices and 2^5 class signs admits one common diagonal gauge",
000271 |       "common_ten_label_gauge_solutions": 0,
000272 |       "conditional_channel_factorization": "old block = outcome-conditioned Klein phase twirl after one Hodge outcome",
000273 |       "full_channel_equal": false,
000274 |       "group_choi_ranks": [
000275 |         3,
000276 |         3,
000277 |         3,
000278 |         3,
000279 |         3
000280 |       ],
000281 |       "group_effects": "P_m/3 after normalization",
000282 |       "group_sizes": [
000283 |         4,
000284 |         4,
000285 |         4,
000286 |         4,
000287 |         4
000288 |       ],
000289 |       "individual_baseline_two_cycle_flux": "trivial and removable with an m-conditioned diagonal gauge",
000290 |       "intersecting_coherence_witnesses": 60,
000291 |       "mark": 5,
000292 |       "old_choi_rank": 15,
000293 |       "old_hilbert_schmidt_self_adjoint": true,
000294 |       "old_nonzero_choi_eigenvalue": "2/3 (multiplicity 15)",
000295 |       "old_superoperator_rank": 40,
000296 |       "old_superoperator_spectrum_scaled_by_12": {
000297 |         "-4": 15,
000298 |         "-8": 4,
000299 |         "0": 60,
000300 |         "12": 1,
000301 |         "4": 20
000302 |       },
000303 |       "old_trace_preserving": true,
000304 |       "old_unital": true,
000305 |       "phase_factorization": "R_l=D_l C_m on P_m",
000306 |       "population_equal": true,
000307 |       "relative_phase_group": "Klein four projectively; three characters each with multiplicity two"
000308 |     }
000309 |   ],
000310 |   "source_sha256": {
000311 | [OMITTED: non-scientific conversation or execution metadata]
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 |     "FIVE_SEPARATED_HODGE_AMPLITUDES_DEFINE_A_CANONICAL_CPTP_CHANNEL",
000320 |     "POPULATION_IS_EXACTLY_PETERSEN_ADJACENCY_OVER_THREE",
000321 |     "OLD_NORMALIZED_J20_HAS_THE_SAME_FIVE_COARSE_EFFECTS_AND_POPULATIONS",
000322 |     "FULL_QUANTUM_CHANNELS_AND_OUTCOME_OPERATIONS_ARE_NOT_EQUAL",
000323 |     "OLD_J20_BLOCKS_ARE_HODGE_OUTCOMES_FOLLOWED_BY_CONDITIONAL_KLEIN4_PHASE_TWIRLS",
000324 |     "PHI_SQUARED_HAS_THE_EXACT_SU5_PROJECTOR_SPECTRUM_1_PLUS_24_PLUS_75",
000325 |     "PETERSEN_POPULATIONS_RESTRICT_TO_THE_ACTUAL_RADIAL_SHELLS_1_3_6",
000326 |     "CHANNEL_IS_THE_NORMALIZED_ONE_PARTICLE_CREATION_OR_DUAL_FERMION_LOSS_CHANNEL",
000327 |     "PHYSICAL_TFPT_SELECTION_OR_RECORD_OF_THE_COMPLEMENT_INDEX_IS_NOT_DERIVED"
000328 |   ]
000329 | }