TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_claude44_quarter_character_consumer.py
Original file SHA-256: cfc76253cd2a116204435354bdb8676092b8734efd7316fb486ce273cd80c5a0
Inclusive original lines: 141-180
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.

000141 |         },
000142 |         "fourier_sum_i_to_mk": {
000143 |             "even_word_m0_to_m3": sseq(dft(even)),
000144 |             "kernel_word_m0_to_m3": sseq(dft(kernel)),
000145 |         },
000146 |         "E02_AdKQ_character_projections": {
000147 |             f"m{m}": smat(projections[m]) for m in range(4)
000148 |         },
000149 |         "actual_96": {
000150 |             "Ad_kappa_nat_on_B02": "+B02",
000151 |             "left_kappa_nat_on_B02": "-i B02",
000152 |             "right_kappa_nat_inverse_on_B02": "+i B02",
000153 |             "weak_blocks": weak,
000154 |             "combined_adjoint_average": "0",
000155 |         },
000156 |         "common_marked_frame": {
000157 |             "Bstar_KQ_inverse_Bstar_dagger": "diag(1,i,-i)",
000158 |             "Bstar_E02_Bstar_dagger": "M0 P0",
000159 |             "Bstar_E22_Bstar_dagger": "P0",
000160 |         },
000161 |         "verdict": (
000162 | [OMITTED: non-scientific conversation or execution metadata]
000163 |             "does not provide its claimed compensator on the actual operator: "
000164 |             "adjoint action fixes B02 and sends the weak lifted block to -A. "
000165 |             "A left-only -i phase would require a separately typed charged Hom "
000166 |             "consumer, not the present End(H_F) coefficient."
000167 |         ),
000168 |     }
000169 |     OUT.write_text(json.dumps(result, indent=2, sort_keys=True) + "\n", encoding="utf-8")
000170 |     print(json.dumps({
000171 |         "checks": "PASS",
000172 |         "even_word_fourier": result["fourier_sum_i_to_mk"]["even_word_m0_to_m3"],
000173 |         "Ad_kappa_nat_B02": "+B02",
000174 |         "Ad_kappa_nat_weak": "-A",
000175 |         "combined_adjoint_average": "0",
000176 |     }, sort_keys=True))
000177 | 
000178 | 
000179 | if __name__ == "__main__":
000180 |     main()