fn restatement(
sharing: &Sharing<'_>,
memory: &Memory,
stores: &[Store],
found: &Found,
) -> (Vec<(String, Option<String>, u64, String)>, usize)Expand description
What a full round restates: every entry this computer holds the last
word on, with its value as it reads now, and how many of them it could
not restate though their store is here and read (their file not readable
now, a settings file held empty (EMPTIED_WAIT), a change found and not
sent yet: their value here is not the one this computer last said). An
entry of a store not here (a part switched off on this device, a store
that left) is passed over, as it always was: it stops no round from
being full (review of 10 October 2026, S2-B).