TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/EXISTING-C3-SOURCE-DICTIONARY.txt
Original file SHA-256: 9653148d8235dff822254d2b5be96da73f17c374741e1d6275d0e3e649826817
Inclusive original lines: 381-395
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.

000381 |   verification/v689_gaussian_code_bridge.py:2-47
000382 |     9d08b59aa5ada89232894762398f54ed690a08d170e619f79cb80fb926b85979
000383 | 
000384 |   experiments/theory-contracts/source-native-clock-flavor-bridge-20260922/
000385 |     PROOF.md:20-133
000386 |     a3e88f4cb025994fad73d2bb0b6408fd3970f184b05d8606d5c429eb2fb2036b
000387 | 
000388 |   experiments/theory-contracts/e-series-compiler-closure-20261023/
000389 |     COVERS.txt:221-254,270-354
000390 |     cdd04f5f38819b60ddd8488eb1c3c316c6849829387205e78ec5e4bf767f80bf
000391 | 
000392 |   verification/v610_curve_landscape.py:12-20,83-103
000393 |     95efa38ca807cc95239339e66a6173f14f8c31993c653a9c36528a1e8c2ee54e
000394 | 
000395 | No Atlas, paper, prior contract, or verification file was modified.