Informational control weakness in Bridge.sol

Description

The affected control does not preserve its security invariant across every reachable state transition.

Involvements

src/Bridge.sol:54

Impact

The behavior reduces the protocol's safety margin and makes incident recovery harder.

Recommended mitigations

Enforce the invariant at the state-transition boundary and add a regression test for the adversarial path.