Structs§
- Active
Run - Claim
Request - Claimed
Run - Cooldown
Record - Cooldown
Update - Event
Record - One row of the activity feed, ordered by
sequence. - Evidence
Record - One appended
run_evidencerow: a kind plus kind-specific JSON facts. - Local
Ticket File - NewActivation
- Project
Commit Evidence - Project
Note - Project
Record - Queued
Activation - Reindex
Result - Reindex
State Change - Reindex
Ticket - RunRecord
- RunTimeline
- One run’s wall-clock boundaries, derived from the activity feed. Every field is optional because a run is observable at each stage of its life: claimed but not started, started but not finished.
- Stage
Record - One executed aftercare stage, persisted alongside the run’s outcome.
- Store
- Ticket
Counts - Ticket
Record
Enums§
- Activation
Kind - Activation
State - RunState
- Every value the
runs.statecolumn can hold. The ladder runsclaimed → running → aftercareand then to one terminal state, either an outcome written byStore::finish_runorabortedfrom a rolled-back claim. Values are the exact strings already stored; there is no migration. - Store
Error