TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/external_candidate_review/results.json
Original file SHA-256: 5bd33f6db91e9547187a8d5edfad549bf4903e6990729204d92a7cc0e33a6edb
Inclusive original lines: 1-17
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 |   "checks": {
000003 |     "graph_is_projection": true,
000004 |     "graph_is_hermitian": true,
000005 |     "oriented_conjugation_squares_to_identity": true,
000006 |     "oriented_conjugation_is_selfdual": true,
000007 |     "naive_conjugation_has_exact_nonzero_cross_defect": true,
000008 |     "one_face_is_mixed": true,
000009 |     "paired_fourier_energies_1/4": true,
000010 |     "paired_fourier_energies_3/4": true,
000011 |     "paired_fourier_energies_1/3": true,
000012 |     "diagnostic_highpass_removes_lowest_block": true
000013 |   },
000014 |   "all_pass": true,
000015 |   "scope": "Exact controls plus analytic proof; no physical P1 source derivation.",
000016 |   "primary_purification_result": "Araki 1970/71, Definition 4.4, Lemmas 4.5-4.6"
000017 | }