Module report 

One complete setup observation, typed.

A check walks every step once and classifies it twice: where the step stands at this target, which the target configuration answers, and what the forge answered, where the step applies. The two stay separate types, and a command failure is neither: it is an error the walk returns. The human report, the event stream, the check’s verdict, and the committed setup proof all read this one classification, so none of them can disagree about what a run found.

SATISFIES setup-proof:one-report-owns-every-classification

Structs

Report

Every step’s row, in step-table order.

Row

One step’s row in a complete observation.

Enums

Observed

What the forge answered for a step that applies, without the words a person reads: the classification alone.

Stance

Where one step stands at this target, before anything runs.

Functions

stance

Where step stands at this target.