TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-CLAUDE32-ORDER-CHECK.json
Original file SHA-256: 95cd1d9f1557e21fe1cf9c80af1c27497b00d3338ed1ef6f480dc6e26c3071cf
Inclusive original lines: 1-29
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 |   "new_claim": "Reversing all ordered pairs changes -U6 into +U6",
000003 |   "car_identity": "a(p_b)a(q_a)=-a(q_a)a(p_b)",
000004 |   "basis_change": "-I on all six pair labels",
000005 |   "transformed_action_equals": "-U6",
000006 |   "claimed_plus_action": false,
000007 |   "scope": "No statement about separately derived radial transport or time-ordered Green functions; same CAR automorphism and reversed pair basis only",
000008 |   "deck_counter": {
000009 |     "q_signs": [
000010 |       -1,
000011 |       -1,
000012 |       1
000013 |     ],
000014 |     "p_signs": [
000015 |       1,
000016 |       1,
000017 |       1
000018 |     ],
000019 |     "rho_line_deck_invariant": false,
000020 |     "rank_span_v_deck_v": 2,
000021 |     "scope": "C6 invariant after removing canonical-fiber weight is not a singlet of the original full coefficient deck action"
000022 |   },
000023 |   "isotropy_counter": {
000024 |     "graph_idempotent": true,
000025 |     "boundary_form_restriction": 0,
000026 |     "cross_covariance": "1/2",
000027 |     "scope": "Isotropic Cauchy/graph image alone does not imply zero source correlations"
000028 |   }
000029 | }