TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DOILY-RECORD-ORIENTATION-PROOF.txt
Original file SHA-256: b9c40dedbb7c84921d7209bc6f0928cd3931e7463993ab989c6b01f37dc2b7ed
Inclusive original lines: 201-231
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.

000201 | R063 remains a usable conditional matter-source inverse; it does not replace
000202 | this newly prioritized native record/local-event identification.
000203 | 
000204 | The quoted13October loaded reflection U=I-2DD* and shifted fresh-cell model
000205 | is preserved as a reported source construction. Its paragraph is available
000206 | in the15October core paper. Its underlyingN-cell package and numerical
000207 | replay are not verified here; the reported two-cell error is NOT counted as
000208 | our test. Involutivity and fresh cells alone cannot identify physical local
000209 | events. We instead executed the available original60-event source above.
000210 | The existing marked relational frame, carry memory, source causal response,
000211 | E8, all clocks and solved matter relations are retained, not denied.
000212 | 
000213 | CHECKING AND STATUS
000214 | check_doily_record_orientation.py:30 targeted controls passed, including720
000215 | routing cases,900 actual J and900 actual sector intertwiners, all15 actual
000216 | context-character decompositions, and exact symbolic named word witnesses.
000217 | Original reconstruction's inherited checks are separate. Bulk equalities
000218 | use small Gaussian half-integers with exactly representable bounded binary
000219 | arithmetic; spectra are a secondary numerical check. Exact analytic tensor
000220 | ranks and named symbolic fractions do not depend on eigensolver tolerance.
000221 | No new Lean formalization/build, no full verification suite, no physical
000222 | validation or paper/ledger promotion. F1 stays in progress.
000223 | 
000224 | PRIMARY LITERATURE AND EXISTING SOURCE BOUNDARIES
000225 | Saniga, Planat, Pracna and Havlicek, The Veldkamp Space of Two-Qubits,
000226 | SIGMA3(2007)075, https://sigma-journal.com/2007/075/ . Known Pauli/Doily
000227 | commutation geometry, not source-specific physical causality.
000228 | Pollock etal., Non-Markovian quantum processes: Complete framework and
000229 | efficient characterization, https://arxiv.org/abs/1512.00589 . Ordered
000230 | intervention processes contain more information than a single channel;
000231 | our finite exact witnesses are computed independently from original rays.