pub async fn derived_records(
conn: &mut PgConnection,
) -> Result<Vec<u8>, Refusal>Expand description
The subset a replay can rebuild — what a checkpoint actually hashes.
The two tables left out are written beside the log rather than from it (see
[Projection]), so including them would produce a digest no rebuild could
ever match. Everything downstream — the checkpoint, the readiness compare,
the scratch rebuild — uses THIS one, and the difference between the two
functions is the whole reason the invariant holds.