pub fn verify_chain(branch: &[AuditRecord]) -> ChainStatusExpand description
Verify the integrity of a single branch’s records, assumed in chain order.
- index 0’s
parentmust beGENESIS_PARENT(elseBrokenLink { at_index: 0 }); - each record’s
idmust equal its recomputed content-address (elseTampered); - each record’s
parentmust equal the previous record’sid(elseBrokenLink).
The Tampered check runs before the link check at each index, so a rewritten record is reported
as tampering rather than as the broken link it would also cause downstream. An empty branch is
vacuously ChainStatus::Ok.