TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_sewing_20261028/sewing/OPE-SEWING-WITHOUT-RECORD-MEASUREMENT.txt
Original file SHA-256: 77084ff742daa76906ef88b1d985c5f6a2b217562fbd64ceed6f21187e7b5406
Inclusive original lines: 401-418
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.

000401 | New exact current identification:
000402 | 
000403 | * `research-20261028-source-sewing-continuation/current/
000404 |   check_native_gamma_current.py` and `native-gamma-current-results.json`.
000405 |   The checker pins the prior native Spin5 functor and actual source, rebuilds
000406 |   the compact marked chart, proves the five Pauli current directions, their
000407 |   Clifford relations, gain three, and the real orthogonal equality with the
000408 |   native Hodge Kraus space.  Normal and Python optimized runs are byte equal.
000409 |   Checker SHA256
000410 |   `e00ac829026c15d949672601bd5971187a767a23a25424abfbc5defc72be44b8`;
000411 |   result SHA256
000412 |   `5b8ee6ccab21c3cdb02c55fe12d42359ce73a623f00336f7e999875e4d22ea4b`.
000413 | 
000414 | The five-current checker was supplied in this continuation and replayed in
000415 | normal and optimized mode.  No additional model or dynamics was introduced.
000416 | The changed premise concerns the type of the operation, and the existing exact
000417 | bracket, covariance, gain, charge, current-action, and two-point checks decide
000418 | every finite coefficient used above.