TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-SIX-READER-HOM-AND-M3-CHECK.json
Original file SHA-256: 57f689890772a08f623f2dfdd088c89076f14cc6e759b6135a192e6cddae47bb
Inclusive original lines: 1-40
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": "Algebraic independent check of two-leg maps conditional on their actual source identification; no physical CAR product assertion",
000003 |   "checks": {
000004 |     "P_c_cube": true,
000005 |     "J_target_Hom_frame": true,
000006 |     "forward_square": true,
000007 |     "reverse_square": true,
000008 |     "matrix_unit_01": true,
000009 |     "matrix_unit_10": true,
000010 |     "matrix_unit_00": true,
000011 |     "matrix_unit_11": true,
000012 |     "matrix_unit_02": true,
000013 |     "matrix_unit_21": true,
000014 |     "matrix_unit_12": true,
000015 |     "matrix_unit_20": true,
000016 |     "matrix_unit_22": true,
000017 |     "commutant_dimension_one": true,
000018 |     "two_leg_frame_00": true,
000019 |     "common_C3_cancellation_00": true,
000020 |     "two_leg_frame_01": true,
000021 |     "common_C3_cancellation_01": true,
000022 |     "two_leg_frame_02": true,
000023 |     "common_C3_cancellation_02": true,
000024 |     "two_leg_frame_10": true,
000025 |     "common_C3_cancellation_10": true,
000026 |     "two_leg_frame_11": true,
000027 |     "common_C3_cancellation_11": true,
000028 |     "two_leg_frame_12": true,
000029 |     "common_C3_cancellation_12": true,
000030 |     "two_leg_frame_20": true,
000031 |     "common_C3_cancellation_20": true,
000032 |     "two_leg_frame_21": true,
000033 |     "common_C3_cancellation_21": true,
000034 |     "two_leg_frame_22": true,
000035 |     "common_C3_cancellation_22": true
000036 |   },
000037 |   "passed": true,
000038 |   "nonunital_generated_matrix_units": 9,
000039 |   "common_complex_commutant_dimension": 1
000040 | }