Upstream contribution · tigerless-labs/autoharness
autoharness · Read complete provenance records in autoharness
Problem
A provenance reader could open the ledger while the append path was still writing a record. Parsing a partially written entry made concurrent evidence inspection unreliable.
Engineering response
Make reads and appends acquire the same ledger lock. Keep the append-only data format and existing records.
Evidence and scope
The pull request reports a baseline regression failure and passing focused and full non-live pytest suites after the change. The tests use temporary files and mocked child processes.