Module roundtrip 

Public complete-program round-trip comparison over crate::Program.

Structs

RoundTripRecord

A recorded round-trip result for regression and contract checks.

Functions

equivalent

Structural equivalence of two public programs: identical settings, tables, rules, actions, and values, ignoring source spans and file paths.

round_trip

Run Workshop -> Program -> Workshop -> Program and record the check. The record is always produced; failures are captured in its error field. Ambiguous bare enum members remain structured values (no signature context).

round_trip_with_context

The context-sensitive form of round_trip (#111): reparsing the emitted text uses the supplied canonical signature context so an ambiguous bare enum member that the emitter produced (e.g. Chase Global Variable Over Time(..., None)) resolves to the domain the signature pins.