Documentation

Evidence and replay

The report is a view over an evidence bundle. The manifest, retained inputs, row facts, summaries, and replay path are the authority boundary.

Finalized run

Completed runs are immutable. Their manifest binds the relevant configuration, dataset, schema, implementation sources, model-facing schemas, output artifacts, evaluation rows, summary, and report files.

Replay

structtrace replay latest

Replay streams and hashes retained inputs, rejects unsafe paths and symlinks, reconstructs normalized rows, recomputes built-in evaluators, verifies custom-evaluator receipts, and compares derived summaries. Side-effecting evaluator programs are not silently executed again.

High-assurance gate

structtrace gate latest --verify replay

This binds the gate decision to a successful replay in the same command. Stable exit codes distinguish success, regression, insufficient evidence, artifact failure, and runtime error.

Share exports

structtrace report latest --export-share ./share

The aggregate-only derivative omits case bodies and process logs. It does not replace reviewing the source artifact for sensitive aggregates or project names.

Archives

Verified archives include only allowlisted manifest-bound files and a BLAKE3 receipt. Debug files, arbitrary additions, secrets, and symlinks are excluded. Preserve a corrupt run as evidence and create a new run rather than editing it.