taskverification

package

Go to main page

Versions in this module

v0

v0.4.4

Jun 7, 2026

v0.4.3

May 31, 2026

Changes in this version

type RunState

+ TaskDescription string

type Service

+ func (s *Service) RegisterTaskWithDescription(ctx context.Context, templateID, taskDescription string) (*RunState, error)

type StepResult

+ FailedCheckDescription string

v0.4.2

Apr 22, 2026

v0.4.1

Apr 21, 2026

v0.4.0

Apr 18, 2026

Changes in this version

+ type RecoveryAction struct

+ Arguments map[string]any

+ Kind string

+ Summary string

+ Tool string

+ type RunStore interface

+ UpsertTaskRunSnapshot func(context.Context, *taskruns.PersistedRunSnapshot) error

type Service

+ RunStore RunStore

type StepResult

+ RecoveryActions []RecoveryAction

+ RestartRequired bool

+ Retryable bool

v0.3.3

Apr 5, 2026

Changes in this version

type TaskEvent

+ ClientName string

+ ClientVersion string

v0.3.2

Apr 3, 2026

v0.3.1

Apr 3, 2026

v0.3.0

Apr 2, 2026

v0.2.5

Apr 1, 2026

Changes in this version

type Service

+ func NewServiceWithOptions(templateDir, workingDir string, options ServiceOptions) *Service

+ type ServiceOptions struct

+ BuiltinTemplates fs.FS

v0.2.4

Apr 1, 2026

Changes in this version

type PlanningArtifact

+ PlanSummary string

v0.2.3

Apr 1, 2026

Changes in this version

+ func ConditionTechnicalDescription(condition Condition) string

+ func InvariantTechnicalDescription(_ Invariant) string

type Check

+ Description string

type Invariant

+ Description string

type PlanningArtifact

+ Parameters map[string]string

type PlanningNodeSpec

+ RequiredInputs []string

+ type PlanningValidationError struct

+ MissingParameters []string

+ ProvidedParameterNames []string

+ RequiredParameterNames []string

+ UnknownParameters []string

+ func (e *PlanningValidationError) Error() string

type WorkflowNode

+ RequiredPlanningInputs []string

v0.2.2

Mar 31, 2026

Changes in this version

type OnboardingArtifact

+ TaskSummary string

type RunState

+ ExpiresAt int64

+ LastActivityAt int64

type Service

+ func (s *Service) ResumeTask(run *RunState) error

+ func (s *Service) TimeoutTask(run *RunState) error

type TaskEventType

+ const TaskEventTypeResumed

+ const TaskEventTypeTimedOut

type TaskPhase

+ const TaskPhaseInitialization

type TaskStatus

+ const TaskStatusTimedOut

v0.2.1

Mar 29, 2026

v0.2.0

Mar 29, 2026

Changes in this version

+ const DefaultCommandTimeout

+ type ActionEventTaskContext struct

+ CreatedAtUnixMilli int64

+ InvocationNodeKind WorkflowNodeKind

+ InvocationPhasePath TaskPhase

+ RequestID string

+ TaskRunID string

+ type Check struct

+ Command string

+ ID string

+ PostConditions []Condition

+ PreConditions []Condition

+ type CheckpointHint struct

+ Enabled bool

+ type CompiledWorkflow struct

+ FirstExecutablePath TaskPhase

+ Nodes map[TaskPhase]WorkflowNode

+ OnboardingPath TaskPhase

+ PlanningPath TaskPhase

+ WorkflowSteps []Step

+ type Condition struct

+ Path string

+ Type string

+ Value any

+ Values []any

+ type EventStore interface

+ ActionEventTaskContexts func() ([]ActionEventTaskContext, error)

+ AppendActionEventTaskContext func(ActionEventTaskContext) error

+ AppendTaskEvent func(*TaskEvent) error

+ TaskEvents func() ([]TaskEvent, error)

+ type ExecutionNodeSpec struct

+ AllowedTools []string

+ Checkpoint *CheckpointHint

+ Checks []Check

+ Description string

+ ID string

+ Instructions string

+ Invariants []Invariant

+ Kind WorkflowNodeKind

+ Name string

+ Next string

+ SubSteps []ExecutionNodeSpec

+ type InMemoryEventStore struct

+ func NewInMemoryEventStore() *InMemoryEventStore

+ func (s *InMemoryEventStore) ActionEventTaskContexts() ([]ActionEventTaskContext, error)

+ func (s *InMemoryEventStore) AppendActionEventTaskContext(ctx ActionEventTaskContext) error

+ func (s *InMemoryEventStore) AppendTaskEvent(event *TaskEvent) error

+ func (s *InMemoryEventStore) TaskEvents() ([]TaskEvent, error)

+ type Invariant struct

+ Command string

+ ID string

+ type LifecycleNodeSpec struct

+ AllowedTools []string

+ Checkpoint *CheckpointHint

+ Instructions string

+ type OnboardingArtifact struct

+ ArtifactMap []OnboardingArtifactRef

+ CommonCommands []OnboardingCommand

+ Constraints []string

+ OpenQuestions []string

+ ProjectSummary string

+ type OnboardingArtifactRef struct

+ Kind string

+ Notes string

+ Path string

+ type OnboardingCommand struct

+ Command string

+ Purpose string

+ type PlanningArtifact struct

+ ExpectedFailure string

+ ImplementationTarget string

+ Invariants []string

+ LintCommand string

+ SelectedFiles []string

+ TestTarget string

+ type PlanningNodeSpec struct

+ AllowedTools []string

+ Checkpoint *CheckpointHint

+ EditableFields []string

+ Instructions string

+ Next string

+ RequiredOutputs []string

+ type RunState struct

+ DraftParameters map[string]string

+ ExplicitFailReason string

+ LastFailureMessage string

+ Onboarding *OnboardingArtifact

+ Phase TaskPhase

+ Planning *PlanningArtifact

+ RunID string

+ RunnableTemplate *Template

+ SelectedTemplate Template

+ Status TaskStatus

+ Steps []StepState

+ TemplateID string

+ WorkflowReady bool

+ func (r *RunState) CurrentNode() (WorkflowNode, bool)

+ func (r *RunState) NextNodePath() TaskPhase

+ type Service struct

+ CommandTimeout time.Duration

+ EventStore EventStore

+ TemplateDir string

+ WorkingDir string

+ func NewService(templateDir, workingDir string) *Service

+ func (s *Service) ActionEventTaskContexts() ([]ActionEventTaskContext, error)

+ func (s *Service) CompleteOnboarding(run *RunState, artifact *OnboardingArtifact) error

+ func (s *Service) CompletePlanning(run *RunState, artifact *PlanningArtifact) error

+ func (s *Service) CompleteStep(ctx context.Context, run *RunState, stepNumber int) (*StepResult, error)

+ func (s *Service) FailTask(run *RunState, reason string) error

+ func (s *Service) ListTemplates() ([]TemplateSummary, error)

+ func (s *Service) RecordActionEventTaskContext(run *RunState, requestID string, invocationPhase TaskPhase, ...) error

+ func (s *Service) RecordActionEventTaskContextForRunID(runID, requestID string, invocationPhase TaskPhase, ...) error

+ func (s *Service) RecordTaskEvent(run *RunState, sessionID, principalID string, sourcePhase TaskPhase, ...) error

+ func (s *Service) RegisterTask(templateID string, parameters map[string]string) (*RunState, error)

+ func (s *Service) RestartTask(run *RunState) error

+ func (s *Service) StartStep(ctx context.Context, run *RunState, stepNumber int) (*StepResult, error)

+ func (s *Service) TaskEvents() ([]TaskEvent, error)

+ type Step struct

+ AllowedTools []string

+ Checkpoint *CheckpointHint

+ Checks []Check

+ Description string

+ ID string

+ Instructions string

+ Invariants []Invariant

+ Name string

+ NextPath TaskPhase

+ ParentPath TaskPhase

+ Path TaskPhase

+ type StepFailureKind string

+ const StepFailureKindCheck

+ const StepFailureKindCommandExecution

+ const StepFailureKindInvariant

+ type StepFailurePhase string

+ const StepFailurePhaseCommandExecution

+ const StepFailurePhaseInvariantCapture

+ const StepFailurePhaseInvariantVerify

+ const StepFailurePhasePostcondition

+ const StepFailurePhasePrecondition

+ type StepResult struct

+ ExitCode *int

+ FailedCheckID string

+ FailedInvariantID string

+ FailureKind StepFailureKind

+ FailurePhase StepFailurePhase

+ Message string

+ Passed bool

+ Phase TaskPhase

+ Status TaskStatus

+ StderrSnippet string

+ StdoutSnippet string

+ Step int

+ StepID string

+ StepStatus StepStatus

+ Summary string

+ type StepState struct

+ ID string

+ InvariantBaselines map[string]string

+ Path TaskPhase

+ Status StepStatus

+ type StepStatus string

+ const StepStatusActive

+ const StepStatusFailed

+ const StepStatusPassed

+ const StepStatusPending

+ type StepSummary struct

+ Description string

+ ID string

+ Instructions string

+ Name string

+ Path TaskPhase

+ Step int

+ type Task struct

+ Description string

+ ID string

+ Instructions string

+ Name string

+ type TaskEvent struct

+ CreatedAtUnixMilli int64

+ EventType TaskEventType

+ ID string

+ NodeKind WorkflowNodeKind

+ Outcome TaskEventOutcome

+ Payload json.RawMessage

+ PhasePath TaskPhase

+ PrincipalID string

+ RelatedActionRequestID string

+ ResultingNodeKind WorkflowNodeKind

+ ResultingPhasePath TaskPhase

+ SchemaVersion int

+ SessionID string

+ TaskRunID string

+ TemplateID string

+ type TaskEventOutcome string

+ const TaskEventOutcomeFailed

+ const TaskEventOutcomeSucceeded

+ type TaskEventType string

+ const TaskEventTypeApprovalWaitEntered

+ const TaskEventTypeFailed

+ const TaskEventTypeOnboardingCompleted

+ const TaskEventTypePlanningCompleted

+ const TaskEventTypeRegistered

+ const TaskEventTypeRestarted

+ const TaskEventTypeStepCompleted

+ const TaskEventTypeStepStarted

+ type TaskPhase string

+ const TaskPhaseExecution

+ const TaskPhaseOnboarding

+ const TaskPhasePlanning

+ const TaskPhaseScaffolding

+ const TaskPhaseWaitingForApproval

+ type TaskStatus string

+ const TaskStatusActive

+ const TaskStatusCompleted

+ const TaskStatusFailed

+ type Template struct

+ CompiledWorkflow *CompiledWorkflow

+ Parameters []TemplateParameter

+ Task Task

+ Version string

+ Workflow *Workflow

+ func (t *Template) ParameterDefinitions() []TemplateParameter

+ func (t *Template) RequiredParameterNames() []string

+ func (t *Template) Resolve(parameters map[string]string) (Template, error)

+ func (t *Template) StepSummaries() []StepSummary

+ func (t *Template) Validate() error

+ func (t *Template) WorkflowNode(path TaskPhase) (WorkflowNode, bool)

+ type TemplateParameter struct

+ Description string

+ Name string

+ type TemplateSummary struct

+ Description string

+ ID string

+ Instructions string

+ Name string

+ Parameters []TemplateParameter

+ StepCount int

+ Steps []StepSummary

+ type Workflow struct

+ Execution []ExecutionNodeSpec

+ Onboarding *LifecycleNodeSpec

+ Planning *PlanningNodeSpec

+ Scaffolding []ExecutionNodeSpec

+ type WorkflowNode struct

+ AllowedTools []string

+ Checkpoint *CheckpointHint

+ Description string

+ EditableFields []string

+ Instructions string

+ Kind WorkflowNodeKind

+ Name string

+ NextPath TaskPhase

+ ParentPath TaskPhase

+ Path TaskPhase

+ RequiredPlanningOutputs []string

+ StepID string

+ StepNumber int

+ type WorkflowNodeKind string

+ const WorkflowNodeKindExecution

+ const WorkflowNodeKindOnboarding

+ const WorkflowNodeKindPlanning

+ const WorkflowNodeKindScaffolding

+ const WorkflowNodeKindWaitingForApproval

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL