Function closed_sync_facts 

pub async fn closed_sync_facts<P: PendingValue + Clone + Send + 'static>(
    directory: StoreDir,
    lock: ClosedStoreLock,
) -> Result<(SyncFacts<P>, UnsentWork), OpenError>

What a closed store’s sync state is computed from, and its unsent work, in one committed snapshot of its database, read through a connection of its own while lock, the store’s writer lock, shows that no handle has it open (api.md E1, E5). It reads only coven’s tables, so the app’s declarations aren’t needed; coven’s tables must be at this coven’s version, as a read-only open requires. Nothing is sent or downloaded and no network is watched, as for a read-only handle. A caller that stops waiting leaves the read to finish, and its panic goes to the store’s bug sink (E15).