Module run_progress 

Display-only progress from structured records. Phase order is never evidence that an earlier phase succeeded. This view cannot authorize an operation.

Structs

Phase

A stage with its own evidence, independent of adjacent stages.

Progress

Shared presentation for list cards and run details.

ReviewProgress

A recorded review attempt, including verification and panel completeness.

Functions

activity

Compact activity shared by run cards and task navigation.

build

Derive progress without mutating persisted state or interpreting event prose.