Everything shipped, and what has actually been proven about it. Nothing here reads configuration — a cell shows what a prover observed, and when.
proven observed, and fresh · stale proven once, past its freshness budget · unmeasured no prover has looked · blind a prover ran and could not see — never a fact