TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-GRADED-CHARGE-TRANSPORT.json
Original file SHA-256: 9cee2c3b55e61a00357351c0802498a88b55aa1b04bcacd7b3ccf6602794d936
Inclusive original lines: 1-77
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 |   "contract": "B1-GRADED-CHARGE-TRANSPORT-20261030",
000003 |   "checks": {
000004 |     "original_real_gauge_charge_diagonal": true,
000005 |     "original_real_gauge_matches_actual_SM_field_charges": true,
000006 |     "original_total_cubic_graded_trace_zero": true,
000007 |     "quark_cubic_trace_minus_9_over_2": true,
000008 |     "lepton_cubic_trace_plus_9_over_2": true,
000009 |     "alternative_cubic_graded_trace_minus_9": true,
000010 |     "no_unitary_simultaneously_intertwines_specified_grading_and_charge": true,
000011 |     "joint_graded_charge_multiplicities_different": true,
000012 |     "original_fifth_graded_trace_10_over_3": true,
000013 |     "only_original_sign_choice_preserves_fixed_joint_dictionary": true
000014 |   },
000015 |   "original_cubic_graded_trace": "0",
000016 |   "alternative_cubic_graded_trace": "-9",
000017 |   "original_joint_multiplicities": {
000018 |     "grade=1,Y=-1/2": 6,
000019 |     "grade=-1,Y=0": 3,
000020 |     "grade=-1,Y=-1": 3,
000021 |     "grade=1,Y=1/6": 18,
000022 |     "grade=-1,Y=2/3": 9,
000023 |     "grade=-1,Y=-1/3": 9,
000024 |     "grade=-1,Y=1/2": 6,
000025 |     "grade=1,Y=0": 3,
000026 |     "grade=1,Y=1": 3,
000027 |     "grade=-1,Y=-1/6": 18,
000028 |     "grade=1,Y=-2/3": 9,
000029 |     "grade=1,Y=1/3": 9
000030 |   },
000031 |   "alternative_joint_multiplicities": {
000032 |     "grade=-1,Y=-1/2": 6,
000033 |     "grade=1,Y=0": 3,
000034 |     "grade=1,Y=-1": 3,
000035 |     "grade=1,Y=1/6": 18,
000036 |     "grade=-1,Y=2/3": 9,
000037 |     "grade=-1,Y=-1/3": 9,
000038 |     "grade=1,Y=1/2": 6,
000039 |     "grade=-1,Y=0": 3,
000040 |     "grade=-1,Y=1": 3,
000041 |     "grade=-1,Y=-1/6": 18,
000042 |     "grade=1,Y=-2/3": 9,
000043 |     "grade=1,Y=1/3": 9
000044 |   },
000045 |   "complete_four_sector_sign_class": [
000046 |     {
000047 |       "quark_sign": 1,
000048 |       "lepton_sign": 1,
000049 |       "trace3": "0",
000050 |       "trace5": "10/3",
000051 |       "same_joint_multiplicities_as_original": true
000052 |     },
000053 |     {
000054 |       "quark_sign": 1,
000055 |       "lepton_sign": -1,
000056 |       "trace3": "-9",
000057 |       "trace5": "-95/12",
000058 |       "same_joint_multiplicities_as_original": false
000059 |     },
000060 |     {
000061 |       "quark_sign": -1,
000062 |       "lepton_sign": 1,
000063 |       "trace3": "9",
000064 |       "trace5": "95/12",
000065 |       "same_joint_multiplicities_as_original": false
000066 |     },
000067 |     {
000068 |       "quark_sign": -1,
000069 |       "lepton_sign": -1,
000070 |       "trace3": "0",
000071 |       "trace5": "-10/3",
000072 |       "same_joint_multiplicities_as_original": false
000073 |     }
000074 |   ],
000075 |   "scope": "No unitary U with U*Y U=Y and U*gamma U=gamma(2q-I). Applies to the specified graded charge tuple only. Does not exclude alternate source maps with another transported intrinsic grading, extra sectors or inflow. Does not derive physical P_F.",
000076 |   "all_passed": true
000077 | }