Documentation
¶
Overview ¶
Package advice is what a checkpoint receipt says about the checkpoint it just wrote: the placeholders it dropped and the fields it kept as given but doubts.
The CLI and the MCP server used to build these sentences each for itself, and they drifted — a nudge added to one front end reached agents on that host only, and a wording fix had to be found and made twice. The checks and the sentences live here; a front end supplies only how its fields are spelled, "--next" on a command line and `next` in a tool call.
Index ¶
Constants ¶
This section is empty.
Variables ¶
var CLI = Fields{ Next: "--next", Questions: "--question", Intent: "--intent", Failed: "--failed", Verified: "--verified", Decision: [2]string{"--decided entry", "--decided entries"}, RuledOut: [2]string{"--failed entry", "--failed entries"}, }
CLI is `logos checkpoint`'s spelling.
var MCP = Fields{ Next: "`next`", Questions: "`questions`", Intent: "`intent`", Failed: "`failed`", Verified: "`verified`", Decision: [2]string{"decision", "decisions"}, RuledOut: [2]string{"ruled-out approach", "ruled-out approaches"}, }
MCP is the checkpoint tool's spelling.
Functions ¶
func Checkpoint ¶
func Checkpoint(c session.Checkpoint, earlier []session.Checkpoint, dropped int, f Fields) []string
Checkpoint returns the receipt's sentences for c, in the order an agent should act on them. dropped is how many placeholder failed entries the caller removed before committing; earlier is the project's history as it stood before this checkpoint, which the intent check reads.
Every sentence after the first is "recorded as given": a checkpoint is written when context is running out, so nothing here refuses one — it says the doubt out loud instead.
Source Files