Documentation
¶
Index ¶
- func AppendLog(path, kind, text string) error
- func FilterLogByKind(path, kind string, maxBytes int) (string, error)
- func LoadTodos(workDir, sessionID string) ([]todolist.Todo, error)
- func OpenLog(workDir string, sessionID typeid.TypeID) (string, error)
- func OpenRequestsLog(workDir string, sessionID typeid.TypeID) (string, error)
- func ReadLogTail(path string, maxBytes int) (string, error)
- func RequestsLogPath(workDir string, sessionID typeid.TypeID) string
- func SaveTodosSnapshot(workDir, sessionID string, todos []todolist.Todo) error
- func TodosEqual(a, b []todolist.Todo) bool
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func FilterLogByKind ¶
FilterLogByKind returns log lines tagged with the given kind.
func LoadTodos ¶
LoadTodos returns the latest todo snapshot from <workDir>/.agents/elph/metadata/<sessionID>/todos.jsonl.
func OpenRequestsLog ¶
OpenRequestsLog opens or creates the provider request trace for a session.
func ReadLogTail ¶
ReadLogTail returns up to maxBytes from the end of the log file, formatting JSONL records for display when possible.
func RequestsLogPath ¶
RequestsLogPath returns the path for a session's provider/tool request log.
func SaveTodosSnapshot ¶
SaveTodosSnapshot persists the current todo list, replacing any prior snapshot. Empty lists remove the session file so stale state does not linger on disk.
func TodosEqual ¶
TodosEqual reports whether two todo lists have the same titles and statuses.
Types ¶
This section is empty.