agentctl

type Backend interface {
	// Name names the backend in messages.
	Name() string
	// Available is nil when this process can reach the backend, else the
	// refusal to print.
	Available() error
	// Workspaces lists every workspace the backend shows.
	Workspaces(ctx context.Context) ([]Workspace, error)
	// Open opens a workspace labelled label on the checkout at path, or
	// adopts one already showing it; notes name what it left alone.
	Open(ctx context.Context, path, label string) (Opened, []string, error)
	// Occupancy says what holds ws's agent slot.
	Occupancy(ctx context.Context, ws Opened) (Occupancy, error)
	// StartAgent launches an agent of kind under name in ws's slot, with
	// args on its command line. While it waits for the slot, waiting (when
	// not nil) hears how long it has waited and the most it will.
	StartAgent(
		ctx context.Context,
		ws Opened,
		name, kind string,
		args []string,
		waiting func(waited, limit time.Duration),
	) error
	// Prompt submits text to the named agent and returns once submitted.
	Prompt(ctx context.Context, name, text string) error
	// Focus brings the workspace to the front.
	Focus(ctx context.Context, id string) error
	// Close closes the workspace and whatever agent ran in it.
	Close(ctx context.Context, id string) error
}

type Kind struct {
	Efforts []string
	// contains filtered or unexported fields
}

type Occupancy int

type Opened struct {
	ID          string
	Slot        string
	AlreadyOpen bool // the backend was showing this checkout before the call
}

type Profile struct {
	Kind   string
	Model  string
	Effort string
}

type Status string

type Workspace struct {
	ID      string
	Label   string
	Path    string
	Focused bool
	Status  Status
}