TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/dynamic_reconstruction_20261027/petersen-checks-optimized.txt
Original file SHA-256: 771b3041d44599ae7ba17a7add0ab2abc6eb6c3b7ea51a5db828bcd8ed0f660f
Inclusive original lines: 1-16
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 | PASS marked source basis is H_pi orthonormal
000002 | PASS U is orthogonal
000003 | PASS W is an isometry H_pi to Euclidean R3
000004 | PASS W sends q/3 to e+
000005 | PASS polar decomposition
000006 | PASS positive transfer conjugacy
000007 | PASS polar sign becomes K=Z Delta
000008 | PASS literal deck differs on the 2/3 line
000009 | PASS signed one-step dictionary
000010 | PASS charge spectrum 6,-4,1 is retained
000011 | PASS shell charge commutator has rank two
000012 | PASS moving charge defect alternates sign
000013 | PASS moving charge defect rank and Frobenius norm
000014 | PASS double-cover block conjugacy
000015 | PASS transported sheet exchange is K twisted
000016 | PASS_EXACT_PETERSEN_POLAR_DECK_REVIEW