Polygon PoS Bridge and Ethereum Mainnet: State Synchronization Determinism

The Polygon PoS Bridge relies on a checkpointing mechanism where validators submit the latest Polygon block headers to the Ethereum mainnet to ensure finality and facilitate asset transfers.

During periods of extreme network congestion on the Ethereum L1, the timing of these state root commitments may fluctuate. This creates uncertainty regarding the deterministic synchronization of state between the L2 and L1, as the bridge's ability to finalize deposits and initiate withdrawal windows depends on the successful submission of these checkpoints.

Given the reliance on L1 gas markets for checkpointing, what is the expected behavior for state synchronization when L1 congestion prevents timely header submissions? Is there a documented threshold or fallback mechanism to ensure state consistency during such delays?