Module types 

Structs

AttemptRecord

A single attempt record (claim→close cycle).

RunRecord

A single verification run record.

Enums

AttemptOutcome

Outcome of a claim→close cycle.

OnCloseAction

Declarative actions to run when a unit is closed. Processed after the unit is archived and post-close hook fires.

OnFailAction

Declarative action to run when a unit’s verify command fails.

RunResult

Outcome of a verification run.

Status