Skip to main content

Module run_log

Module run_log 

Source
Expand description

Per-run NDJSON output capture. Agent and aftercare stdout/stderr are untrusted evidence: they are stored as ordered chunks, never parsed as lines and never routed through the dispatcher.

Structs§

OutputPage
OutputRecord
RunLogWriter
Append-only writer shared by the stdout and stderr reader threads of one run. Sequence numbers are capture order across both pipes.

Enums§

OutputChunk
One captured chunk. UTF-8 chunks stay readable; anything else round-trips through base64 rather than being lossily converted.
OutputSource
OutputStream

Functions§

read_page
Reads a finite page of records with sequence > after, in order. A missing file is an empty page: the run may exist before any output does.