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

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