todo

type Status ¶

type Status string

Status enumerates the lifecycle states a todo can be in. There is no "deleted" state — full-list-replacement makes removal implicit (omit the entry from the next write).

const (
	StatusPending    Status = "pending"
	StatusInProgress Status = "in_progress"
	StatusCompleted  Status = "completed"
)

func (s Status) IsValid() bool

type Todo ¶

type Todo struct {
	Content    string
	ActiveForm string
	Status     Status
}

Todo is one entry in the session todo list. content is the imperative form ("Run tests"); activeForm is the present-continuous variant ("Running tests") rendered in the spinner while the entry is in_progress.

type TodoStore ¶

type TodoStore struct {
	observable.Observable
	// contains filtered or unexported fields
}

TodoStore is the per-agent backing store for the todo_write tool. The agent constructs one via toolset.ToolState.TodoStore() and threads it into the tool's constructor.

Mutations are guarded by mu; Notify fires after the lock is released so observers may freely call back into the store. Safe for concurrent access.

func NewTodoStore() *TodoStore

func (s *TodoStore) Clear()

func (s *TodoStore) Domain() string

func (s *TodoStore) List() []Todo

func (s *TodoStore) Replace(in []Todo)

type WriteTool ¶

type WriteTool struct {
	// contains filtered or unexported fields
}

WriteTool implements the single `todo_write` tool. Full-list-replacement semantics: every call overwrites the session's todo list with the payload.

Description is a near-verbatim port of ref/src/tools/TodoWriteTool/prompt.ts — the only divergence is interpolating evva's edit tool name in place of the upstream ${FILE_EDIT_TOOL_NAME} placeholder.

func NewWrite(s *TodoStore) *WriteTool

func (t *WriteTool) Description() string

func (t *WriteTool) Execute(_ context.Context, logger *slog.Logger, input json.RawMessage) (tools.Result, error)

func (t *WriteTool) Name() string

func (t *WriteTool) Schema() json.RawMessage