in-toto predicate type

Dunstan record, v0.1

https://barglabs.ai/dunstan/record/v0.1 identifies the predicate type of a Dunstan record: an in-toto Statement v1 whose predicate holds the declared block, the evidence snapshot read from the repository’s record, one row per claim with its verdict and reason, the overall verdict and the digests that let anyone recompute them. This is the predicate type the released checker writes.

The format is defined in the claim format specification at v0.1.6, and its JSON Schema is served at its identifier: record-0.1.schema.json.

A record is verified offline with dunstan verify, by the checker version that wrote it, and re-read online with dunstan rerun. About Dunstan.