leaves_after: finished records leave their lists #16

2026-09-30T18:50:29Z

bl commented

2026-09-30 18:50:29 +00:00

leaves_after: { minutes: 10 } on a state; a minute sweep deletes the KV projection of records that have been there that long (no move, no mail; the event log keeps them). Trainer: per-stage leaves_after on a need. Klingenberg Bygg: a card taken off the front page leaves the office's list after ten minutes.

🤖 Generated with Claude Code

https://claude.ai/code/session_01GT37Z1Xtfd9pUuQtMTg6Yt

`leaves_after: { minutes: 10 }` on a state; a minute sweep deletes the KV projection of records that have been there that long (no move, no mail; the event log keeps them). Trainer: per-stage `leaves_after` on a need. Klingenberg Bygg: a card taken off the front page leaves the office's list after ten minutes. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_01GT37Z1Xtfd9pUuQtMTg6Yt

bl added 1 commit 2026-09-30 18:50:29 +00:00

A record may leave its lists some time after reaching a state: leaves_after

Test / test (pull_request) Successful in 1m20s

Details

0dc25b4023

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GT37Z1Xtfd9pUuQtMTg6Yt

bl merged commit 248561e805 into main

2026-09-30 18:50:41 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: uhhm/portal#16