Skip to content

Commit abeb07a

Browse files
committed
docs(gw-listener): clarify consensus invariant
1 parent 962ec57 commit abeb07a

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

coprocessor/fhevm-engine/gw-listener/src/drift_detector.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -480,6 +480,10 @@ impl DriftDetector {
480480
return;
481481
}
482482

483+
// Invariant: the gateway emits consensus as part of processing the final
484+
// agreeing submission. Once every expected sender has submitted, the
485+
// absence of a consensus event is already anomalous, so we alert
486+
// immediately instead of waiting for `no_consensus_timeout_blocks`.
483487
let completed_without_consensus = self
484488
.open_handles
485489
.iter()

0 commit comments

Comments
 (0)