TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-WHOLE-SOURCE-REDUCTION.json
Original file SHA-256: 61b37346a53cf54404153268ff72f69261dc21675fe01e0d73ec309aab917dd6
Inclusive original lines: 1-113
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-WHOLE-SOURCE-REDUCTION-20261030",
000003 |   "scope": "Exact finite algebra; actual96 coefficient countertest; no physical P_F selection or new Lean proof.",
000004 |   "commutant_runs": [
000005 |     {
000006 |       "grading_ranks": [
000007 |         1,
000008 |         1
000009 |       ],
000010 |       "normal_dimension": 4,
000011 |       "generator_count": 4,
000012 |       "successive_commutant_dimensions": [
000013 |         6,
000014 |         4,
000015 |         2,
000016 |         2
000017 |       ],
000018 |       "final_complex_dimension": 2
000019 |     },
000020 |     {
000021 |       "grading_ranks": [
000022 |         1,
000023 |         2
000024 |       ],
000025 |       "normal_dimension": 6,
000026 |       "generator_count": 9,
000027 |       "successive_commutant_dimensions": [
000028 |         18,
000029 |         8,
000030 |         6,
000031 |         4,
000032 |         4,
000033 |         2,
000034 |         2,
000035 |         2,
000036 |         2
000037 |       ],
000038 |       "final_complex_dimension": 2
000039 |     },
000040 |     {
000041 |       "grading_ranks": [
000042 |         2,
000043 |         2
000044 |       ],
000045 |       "normal_dimension": 8,
000046 |       "generator_count": 16,
000047 |       "successive_commutant_dimensions": [
000048 |         38,
000049 |         20,
000050 |         10,
000051 |         8,
000052 |         6,
000053 |         6,
000054 |         4,
000055 |         4,
000056 |         2,
000057 |         2,
000058 |         2,
000059 |         2,
000060 |         2,
000061 |         2,
000062 |         2,
000063 |         2
000064 |       ],
000065 |       "final_complex_dimension": 2
000066 |     }
000067 |   ],
000068 |   "checks": {
000069 |     "normal_sign_NZ_S": true,
000070 |     "normal_sign_NS_minus_Z": true,
000071 |     "commutant_1_1_exact_span_I_Gamma": true,
000072 |     "projector_1_1_rank_n": true,
000073 |     "commutant_1_2_exact_span_I_Gamma": true,
000074 |     "projector_1_2_rank_n": true,
000075 |     "commutant_2_2_exact_span_I_Gamma": true,
000076 |     "projector_2_2_rank_n": true,
000077 |     "all_phase_isometry": true,
000078 |     "all_phase_same_image": true,
000079 |     "all_phase_reducing": true,
000080 |     "all_phase_pullback": true,
000081 |     "intrinsic_odd_reader": true,
000082 |     "original_whole_graph_is_projection": true,
000083 |     "one_face_reader_matches_H_compression": true,
000084 |     "one_face_does_not_reduce_H": true,
000085 |     "whole_cross_detects_loss": true,
000086 |     "exact_defect_factorization": true,
000087 |     "nonzero_whole_defect": true,
000088 |     "actual_96_quark_lepton_no_mixing": true,
000089 |     "actual_96_alternative_grading_odd": true,
000090 |     "actual_96_alternative_distinct": true,
000091 |     "actual_96_alternative_internal_KO6": true,
000092 |     "actual_96_q_commutes_entire_SM_algebra_basis": true,
000093 |     "actual_96_alternative_grading_even_entire_SM_basis": true
000094 |   },
000095 |   "actual_96": {
000096 |     "quark_rank": 72,
000097 |     "lepton_rank": 24,
000098 |     "SM_algebra_real_basis_size": 24,
000099 |     "full_normal_J_tested": false,
000100 |     "coefficient_scope": "v252 full_D and SM rep; not every even96 matrix"
000101 |   },
000102 |   "counterexample": {
000103 |     "compressed_whole_graph": "Matrix([[1/2, 2/5], [2/5, 1/2]])",
000104 |     "canonical_graph_of_compressed_H": "Matrix([[1/2, 1/2], [1/2, 1/2]])",
000105 |     "defect": "Matrix([[9/100, 0], [0, 9/100]])",
000106 |     "eigenvalues": [
000107 |       "1/10",
000108 |       "9/10"
000109 |     ],
000110 |     "single_face_equality": "For every ell>0 by f(x)+f(-x)=1; proof in B1-WHOLE-SOURCE-REDUCTION.txt"
000111 |   },
000112 |   "all_passed": true
000113 | }