TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/ROOT-QUARTER-PAIRING-CHECK.json
Original file SHA-256: 5c88b34c7ed5004529373da80b3f4280bf0e8fd3a7a00afd1b7ec154edf78de3
Inclusive original lines: 1-13
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 |   "scope": "exact normal plus KO6-compatible two-coefficient block of the given full collar; derivative contributions retain the written compact-core argument",
000003 |   "symmetric_part_B_plus_Bt": "2 alpha (I_normal tensor JF_matrix)",
000004 |   "beta_xx": "alpha",
000005 |   "alpha_quarters": [
000006 |     "1/4",
000007 |     "3/4"
000008 |   ],
000009 |   "is_skew_at_either_original_scalar_quarter": false,
000010 |   "skew_part_discards_original_scalar_holonomy": true,
000011 |   "whole_positive_CAR_graph_not_rejected": true,
000012 |   "not_a_complete_P1_countermodel": true
000013 | }