TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/marked-seam-monodromy-20261023/source_manifest.json
Original file SHA-256: b93771ee5416083bbd53c4458b6b651f646b4ff2ac42681b895dfec18a768f8c
Inclusive original lines: 1-20
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 |   "sources": [
000003 |     {
000004 |       "path": "verification/v634_st31_structure.py",
000005 |       "sha256": "5ff53ed031ca03103187ac22edf723aabce88bee3df1085c52486ecb0044d37c"
000006 |     },
000007 |     {
000008 |       "path": "experiments/theory-contracts/seam-joint-ward-state-20261014/operator_transport_check.py",
000009 |       "sha256": "33e98e7567b52c9ce82eed8a29fe37428b7d7ff539a6e8e311f0123e4c3e37a1"
000010 |     },
000011 |     {
000012 |       "path": "experiments/theory-contracts/clock-source-twist-transport-20261015/checker.py",
000013 |       "sha256": "79183b86820c8742b1f244f0ff509f0d6e17706a54c2d35c19ea45da7880e175"
000014 |     },
000015 |     {
000016 |       "path": "tfpt_explorer/process.py",
000017 |       "sha256": "e8db5fcd999c9d4c34fbee548aa2c85e1a515cf03663a62355533439ae0f1c94"
000018 |     }
000019 |   ]
000020 | }