ReadonlyevidenceReadonlyjobReadonlyline1-based line in the ledger, so a failure can name where to look.
Optional ReadonlyprobePresent when the row declares a shadow probe rather than measured only.
ReadonlyprobeThe probe cell as written — what a gate quotes when the cell parses as neither form.
Optional ReadonlyproofPresent on a tier-1 row that cites its test in the declared form.
ReadonlyprovenTier 1 is a job proof on the real substrate; anything else is owed.
ReadonlytierThe tier cell as written, decoration included.
Optional ReadonlytierThe leading integer of the tier cell: 2/3 reads as 2, **1 — job proof EXISTS** as 1.
One row of the ledger.