TFPT scientific source excerpt
Original repository path: verification/status_ledger.csv
Original file SHA-256: 8723b921bdc50a6157acc6bee4342b40586eb89bec6d7dcc0abc3309562c78b4
Inclusive original lines: 746-746
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.

000746 | [OMITTED: non-scientific conversation or execution metadata]