Module verify_run_record 

Producer-owned record and raw streams for one retained verification run. Producer-owned wire record and raw streams for one retained execution.

The CLI writes the final record after the output files. Both the CLI comparator and the manifest runner read this schema; policy stays with those consumers.

Structs

DbtRunRecord

What a DBT run’s comparison reads besides its log and DBT_STATS.

RecordedComparison

The comparison the run’s flags select, as run --verify derives it (RunOpts::verification_comparison_options). Both runs of a comparison must record the same one.

RunOutput

The guest’s exact output bytes, separate from the producer’s diagnostics.

VerifyRunRecord

How one --verify-run execution ended, and the comparison it was run for.

Enums

RecordedStatus

A guest’s wait status.

RunRole

Which half of which verification a --verify-run execution is.

VerifyRunOutcome

How one execution ended.

Constants

DBT_STATS

The DBT backend’s typed whole-process statistics stream, as DynamoRIO’s client wrote it (Reverie decodes it; backends::require_dbt_stats applies verification policy).

HOST_INPUTS

The host files the run’s guest opened (hermit::host_input_change).

LOG

The run’s verification log, the log run --verify compares.

RECORD

The record of how the run ended, written last: a directory without it is an execution that did not finish writing its evidence.

RECORDING

The recording a record start --verify-run execution made, which a --verify-replay-of execution replays.

RECORDING_EPOCH

The epoch a recording and its replay record: the replay runs at the recording’s own epoch, so the pair agrees on it by construction.

SCHEMA

The version of VerifyRunRecord.

STDERR

The guest’s standard error.

STDOUT

The guest’s standard output.

SUMMARY

The run’s summary (--summary-json), when Detcore wrote one.

Functions

read_output

Read both streams without treating invalid UTF-8 or missing files as empty.