executor

type Config struct {
	Runners RunnerResolver
	NewID   IDSource
	Now     func() time.Time
}

type ErrorClass string

type IDSource func() (schema.InstanceID, error)

type Invocation struct {
	RunID         schema.InstanceID
	InvocationID  schema.InstanceID
	AttemptID     schema.InstanceID
	PlanDigest    schema.Digest
	Scenario      schema.ScenarioDecision
	AttemptNumber int64
}

type Outcome struct {
	Verdict          schema.Verdict
	ReasonCode       schema.ReasonCode
	EvidenceRefs     []schema.ObjectRef
	AssertionResults []schema.AssertionResult
	Findings         []schema.Finding
	Usage            budget.Usage
	UnknownUsage     []string
}

type Result struct {
	RunID           schema.InstanceID   `json:"run_id"`
	ResolvedPlanRef schema.ObjectRef    `json:"resolved_plan_ref"`
	Attempts        []schema.Attempt    `json:"attempts"`
	Cases           []schema.CaseResult `json:"cases"`
	Budget          budget.Snapshot     `json:"budget"`
	ResidualLeases  []string            `json:"residual_leases,omitempty"`
	StartedAt       schema.UTCTime      `json:"started_at"`
	FinishedAt      schema.UTCTime      `json:"finished_at"`
}

type RunError struct {
	Class      ErrorClass
	Err        error
	Usage      budget.Usage
	UsageKnown bool
	// UnknownUsage keeps absent provider token accounting distinct from an
	// observed zero. Only input_tokens and output_tokens are accepted.
	UnknownUsage []string
	// EvidenceRefs preserves observations already committed before a
	// non-verdict terminal condition such as authentication or transport
	// failure. The executor validates and carries them into the attempt/case.
	EvidenceRefs []schema.ObjectRef
}

type Runner interface {
	Estimate(schema.ScenarioDecision) (budget.Usage, error)
	Run(context.Context, Invocation) (Outcome, error)
	Finalize(context.Context, schema.FinalizerPlan) (budget.Usage, error)
}

type RunnerResolver interface {
	Resolve(schema.ArtifactPin) (Runner, error)
}