Module holdout 

The held-out ledger, rustev.holdout-ledger/1 (spec 029, 3.7.3 to 3.7.5).

A host-kept, hash-chained file: each entry binds one held-out repeat set’s lineage, plan, repeat configuration and run reports, and the digest of the entry before it. Rustev reads a ledger it is given and returns a new one with one entry appended; it keeps no store and never modifies its input. The chain proves the ledger’s internal consistency, not its completeness: a host can supply an older or truncated ledger, which the heads recorded in every repeat report let an auditor detect.

Structs

Append

What one append binds.

HeldOutRecord

What one held-out repeat report records (3.7.4): the entries with this lineage, with this plan and in total, each including the new one, and the heads before and after (none for an empty ledger).

HoldoutLedger

LedgerEntry

Enums

LedgerError

Why a ledger was refused (invalid_input).

Constants

ENTRY_TAG

The tag of an entry’s chain digest.

HOLDOUT_LEDGER

MAX_ENTRIES

The most entries one ledger holds.

MAX_ENTRY_RUNS

The most run reports one entry binds (a repeat set’s N).

Functions

entry_digest

tagged_digest("rustev.holdout-ledger/1#entry", canonical bytes).