coot

@Bodigrim I updated my pr and fixed a performance regression: #311.

This is related to the bug fixed in #4748.

Another similar failure: ``` progresses towards established target (from below): FAIL (782.23s) *** Failed! Falsified (after 49 tests and 530 shrinks): GovernorMockEnvironment {peerGraph = PeerGraph [(PeerAddr 2,[PeerAddr 13],GovernorScripts {peerShareScript =...

I bisected that: ``` 7b092d2a580b31d485ab2e11769139b0c77f5859 is the first bad commit commit 7b092d2a580b31d485ab2e11769139b0c77f5859 Author: Armando Santos Date: Fri Oct 13 15:54:22 2023 +0100 Move cooling peers cache to PeerSelectionState Add no...

It could be that because of the renaming of types back and forth, I didn't really get the first commit that introduced the problem.

I worked with this counter example on this commit 7b092d2a580b31d485ab2e11769139b0c77f5859: ```hs prop_x = prop_governor_target_established_big_ledger_peers_below GovernorMockEnvironment { peerGraph = PeerGraph [ (PeerAddr 2 ,[] ,GovernorScripts {peerShareScript = Script (Just ([PeerAddr 13],PeerShareTimeQuick)...

I pushed this to `coot/issue-4741` branch.

I think this strike again but for ledger peers (rather than big ledger peers): https://ci.iog.io/build/2799577/nixlog/1 on #4796.

This is related to #4617.

It's ready for review, isn't it. I'll mark it as such.