Runs

A run is an execution, not an opinion. Each one names the ledger row it produced and says what proof it holds; a run made without captures says so on its page.