taskLedger property

TaskLedger? taskLedger

The FinalizeGate task ledger (gh-1412): the checklist the run finished with, folded from the LAST hidden task_ledger custom record (last-wins, like the request detail). Null for sessions that never emitted one — post-mortems read it, renderers may ignore it (the record is hidden: no ledger rows, no unknown rows).

Implementation

final TaskLedger? taskLedger;