Module types 

Shared types for loop reports, decision audits, and verification artifacts.

These types are serialized into loop iteration reports and consumed by downstream verification and adjudication surfaces.

Structs

BlockedStepRecord

Record of a verification step that was blocked and the reason why.

DecisionAudit

Audit record capturing the decision rationale for a selected target.

ExecutionLineageReceipt

Lineage receipt linking a verification case to its consumed and produced artifacts.

ExportActionTraceV1

Trace record for the export-import roundtrip of an action’s evidence bundle.

PlannedStep

A single step in a verification plan with its cost and artifact requirements.

RepairRecordV1

Structured record of a repair action applied to verification state.

StopRuleEvaluation

Evaluation of the loop stop rule at the end of an iteration.

TargetNormalization

Normalized representation of a target for cross-iteration comparability.

VerificationPlanArtifact

Serializable verification plan artifact emitted per iteration.

Enums

BudgetClass

Execution budget tier assigned to a verification target.

CanonicalCaseClass

The canonical verification case class for a target.

LawfulStepKind

An individual verification step in the lawful step ladder for a target.

RepairClassV1

Classification of a repair action taken during or after a loop iteration.