TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/claude44-quarter-character-consumer-results.json Original file SHA-256: 97f0c5857548d6ba1db9ca41b0eb62a35f7c29bb67ec1afba6dc1c71a41f82e4 Inclusive original lines: 1-142 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 | "E02_AdKQ_character_projections": { 000003 | "m0": [ 000004 | [ 000005 | "0", 000006 | "0", 000007 | "0" 000008 | ], 000009 | [ 000010 | "0", 000011 | "0", 000012 | "0" 000013 | ], 000014 | [ 000015 | "0", 000016 | "0", 000017 | "0" 000018 | ] 000019 | ], 000020 | "m1": [ 000021 | [ 000022 | "0", 000023 | "0", 000024 | "1/2" 000025 | ], 000026 | [ 000027 | "0", 000028 | "0", 000029 | "I/2" 000030 | ], 000031 | [ 000032 | "0", 000033 | "0", 000034 | "0" 000035 | ] 000036 | ], 000037 | "m2": [ 000038 | [ 000039 | "0", 000040 | "0", 000041 | "0" 000042 | ], 000043 | [ 000044 | "0", 000045 | "0", 000046 | "0" 000047 | ], 000048 | [ 000049 | "0", 000050 | "0", 000051 | "0" 000052 | ] 000053 | ], 000054 | "m3": [ 000055 | [ 000056 | "0", 000057 | "0", 000058 | "1/2" 000059 | ], 000060 | [ 000061 | "0", 000062 | "0", 000063 | "-I/2" 000064 | ], 000065 | [ 000066 | "0", 000067 | "0", 000068 | "0" 000069 | ] 000070 | ] 000071 | }, 000072 | "KQ_squared": [ 000073 | [ 000074 | "-1", 000075 | "0", 000076 | "0" 000077 | ], 000078 | [ 000079 | "0", 000080 | "-1", 000081 | "0" 000082 | ], 000083 | [ 000084 | "0", 000085 | "0", 000086 | "1" 000087 | ] 000088 | ], 000089 | "actual_96": { 000090 | "Ad_kappa_nat_on_B02": "+B02", 000091 | "combined_adjoint_average": "0", 000092 | "left_kappa_nat_on_B02": "-i B02", 000093 | "right_kappa_nat_inverse_on_B02": "+i B02", 000094 | "weak_blocks": { 000095 | "w1": { 000096 | "Ad_kappa_nat_on_A": "-A", 000097 | "quarter_character": 2, 000098 | "rank": 16 000099 | }, 000100 | "w2": { 000101 | "Ad_kappa_nat_on_A": "-A", 000102 | "quarter_character": 2, 000103 | "rank": 16 000104 | } 000105 | } 000106 | }, 000107 | "common_marked_frame": { 000108 | "Bstar_E02_Bstar_dagger": "M0 P0", 000109 | "Bstar_E22_Bstar_dagger": "P0", 000110 | "Bstar_KQ_inverse_Bstar_dagger": "diag(1,i,-i)" 000111 | }, 000112 | "fourier_sum_i_to_mk": { 000113 | "even_word_m0_to_m3": [ 000114 | "0", 000115 | "2", 000116 | "0", 000117 | "2" 000118 | ], 000119 | "kernel_word_m0_to_m3": [ 000120 | "0", 000121 | "2 + 2*I", 000122 | "0", 000123 | "2 - 2*I" 000124 | ] 000125 | }, 000126 | "scope": "Exact family character and actual H_F=96 operator-adjoint test; no claim about a separately supplied charged Hom consumer", 000127 | "trace_sequences": { 000128 | "Tr((Ck+Ck_squared)_E02)": [ 000129 | "1", 000130 | "1", 000131 | "-1", 000132 | "-1" 000133 | ], 000134 | "Tr(Ck_squared_E02)": [ 000135 | "1", 000136 | "0", 000137 | "-1", 000138 | "0" 000139 | ] 000140 | }, 000141 | [OMITTED: non-scientific conversation or execution metadata] 000142 | }