Fix remaining synchronization bugs#3626

Merged

vicsn merged 14 commits intoProvableHQ:stagingfrom

kaimast:validator-deep-sync

Jun 12, 2025

Commits on Mar 25, 2025

[doc] Document some code-level properties.
acoglio
committed

Commits on Mar 27, 2025

Merge with staging.
acoglio
committed

Commits on Apr 15, 2025

Merge branch 'staging' into doc-properties
vicsn
authored

Commits on May 9, 2025

Commits on May 20, 2025

Merge branch 'staging' into validator-deep-sync
kaimast
authored

Commits on Jun 3, 2025

Merge branch 'doc-properties' into validator-deep-sync
kaimast
committed
Merge remote-tracking branch 'origin/staging' into validator-deep-sync
kaimast
committed

Commits on Jun 7, 2025

Commits on Jun 10, 2025

docs(bft): fix typo in bft::sync
kaimast
committed

Commits on Jun 11, 2025