vis

type Attempt struct {
	Pass     string
	Size     int
	Accepted bool
}

type Class struct {
	// Letter is the tape glyph. One cell, ASCII, so the tape survives both the
	// ASCII pass and a small recording.
	Letter string
	Name   string
	Kinds  []fuzz.Kind
}

type Display struct {
	// contains filtered or unexported fields
}

type Options struct {
	// Rules is the target's invariant registry, in the order it checks them.
	// The display never invents a name: with no registry it draws no matrix.
	Rules []fuzz.RuleInfo
	// Classes groups the action alphabet for the tape and the mix. Nil takes
	// DefaultClasses.
	Classes []Class

	Out           io.Writer
	Width, Height int

	// FPS draws on a wall-clock cadence. Batch draws every N actions instead,
	// and wins when both are set.
	FPS   int
	Batch int

	ASCII bool
	Mono  bool

	// Screen supplies the app under test's current frame for the viewport. It
	// is pulled on the renderer's cadence rather than pushed, so a display that
	// is not drawing costs the target nothing. Nil drops the viewport and the
	// instruments take the whole frame, which is still the whole truth.
	Screen func() string

	// Command is the invocation the end card prints so a reader can reproduce
	// the run. It is shown verbatim, so it has to be the real one.
	Command string
}

type Phase int

type Snapshot struct {
	Rules   []fuzz.RuleInfo
	Classes []Class

	Seed    uint64
	Steps   int
	Elapsed time.Duration

	Actions int
	Checks  int
	Rate    float64

	Tape          [tapeCap]uint8
	Head          int
	ViolationCell int

	Ledger  [ledgerCap]fuzz.Action
	LedgerN int
	Mix     []int

	Broken     []bool
	Violated   bool
	FailedRule fuzz.RuleInfo
	FailedStep int
	Detail     string

	Phase      Phase
	InitialLen int
	BestLen    int
	Runs       []Attempt
	RunsSeen   int
	Elided     int

	Done   bool
	Result fuzz.Result
}