Module run_store 

Concrete SQLite storage for run supervision state.

runs owns run lifecycle records and their attached notes and activity events, evidence owns verdict and stage facts, and limits owns cooldown and budget state. Scheduler state and shared ID counters stay on RunStore because they apply across those families.

This module must never import the work-state sibling; run persistence is an independent boundary composed with work state by the daemon.

Structs

ActiveRun

AdmittedRun

CooldownRecord

CooldownUpdate

EventRecord

One row of the activity feed, ordered by sequence.

EvidenceRecord

One appended run_evidence row: a kind plus kind-specific JSON facts.

OutputStallEvidence

Durable watchdog intent, recorded before the agent process group is killed.

PanelReportRecord

One panel reviewer’s report, as the storage takes it. The seat’s key is separate from the report’s content because only the key is authoritative: it comes from the reviewer’s credential.

ProjectCommitEvidence

ProjectNote

RecordedOutcome

RunAdmission

RunExit

Facts about an agent exit at the checkpoint that returns the run to its driver.

RunRecord

RunStart

Facts about a launched agent process, recorded when the run turns running.

RunStore

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.

StageRecord

One row of a run’s ordered stage-evidence log.

Enums

Exit

ExitClaim

Whether the caller won the running to driving transition and with it ownership of the agent’s exit evidence and of the rest of the walk.

ExitDenial

RunState

Every value the runs.state column can hold.

StagePhase

Where in a stage execution a log row was written. An execution whose result_check runs an independent actor records both phases as two rows sharing stage_index and attempt; every other execution is judged without a second process and records its action alone.

Start

StartDenial