Skip to content

fix: no longer accidentally skip content during distilling#63

Merged
scode merged 1 commit intomainfrom
mark-distilled
Feb 28, 2026
Merged

fix: no longer accidentally skip content during distilling#63
scode merged 1 commit intomainfrom
mark-distilled

Conversation

@scode
Copy link
Copy Markdown
Owner

@scode scode commented Feb 28, 2026

The agent was responsible for updating last_distilled after distillation,
but the example timestamp in the context preamble caused agents to round to
the hour, missing logs whose timestamps fell before the rounded value.

This removes the agent from timestamp management by introducing a dedicated
CLI command (leiter soul mark-distilled) and restructuring the distill
flow to use a sub-agent. The two commands are intentionally separate so
mark-distilled only runs after the agent successfully processes the
distill output — if the session is interrupted mid-distillation,
last_distilled is not advanced past unprocessed logs.

changelog: include

The agent was responsible for updating `last_distilled` after distillation,
but the example timestamp in the context preamble caused agents to round to
the hour, missing logs whose timestamps fell before the rounded value.

This removes the agent from timestamp management by introducing a dedicated
CLI command (`leiter soul mark-distilled`) and restructuring the distill
flow to use a sub-agent. The two commands are intentionally separate so
`mark-distilled` only runs after the agent successfully processes the
distill output — if the session is interrupted mid-distillation,
`last_distilled` is not advanced past unprocessed logs.
Copy link
Copy Markdown
Owner Author

scode commented Feb 28, 2026

This stack of pull requests is managed by Graphite. Learn more about stacking.

@scode scode changed the title feat: add leiter soul mark-distilled command fix: no longer accidentally skip content during distilling Feb 28, 2026
@scode scode merged commit a192666 into main Feb 28, 2026
20 of 24 checks passed
@scode scode deleted the mark-distilled branch March 4, 2026 03:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant