TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CANONICAL-DOUBLE-ACTUAL-CHECK.json
Original file SHA-256: 4279ffcd0bd2882bd537fabc161ff0539ec2fe82007f39d3169025f7cf19cd97
Inclusive original lines: 1-23
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 |   "status": "EXACT_ACTUAL_192_NORMAL_COEFFICIENT_CHECK",
000003 |   "checks": {
000004 |     "actual_B_selfadjoint": true,
000005 |     "normal_square": true,
000006 |     "normal_B_anticommutation": true,
000007 |     "grade_B_commutation": true,
000008 |     "unfold_derivative_coefficient": true,
000009 |     "unfold_potential_coefficient": true,
000010 |     "middle_clutch_continuity": true,
000011 |     "whole_clutch_AP": true,
000012 |     "odd_lift_square": true,
000013 |     "even_lift_square": true,
000014 |     "odd_lift_reflected_derivative": true,
000015 |     "odd_lift_reflected_potential": true,
000016 |     "even_lift_reflected_derivative": true,
000017 |     "even_lift_reflected_potential": true,
000018 |     "clutch_switches_total_grade": true
000019 |   },
000020 |   "all_pass": true,
000021 |   "parameters": "formal p,t; unchanged diagnostic v252 Yukawa and Majorana matrices",
000022 |   "scope": "Checks whole actual coefficient identities for canonical Clifford clutch and two typed involutive lifts, not a P1 selection of clutch or lift, state, Pfaffian phase or physical time. No new physical parameter chosen."
000023 | }