Net-Sim tracer improvements

[coot]

Description

Requires: #5200 to be merged first.

• sim-net: improve debug output
• sim-net: removed duplicate traces
• sim-net: show timed events using WithTime
• signalProperty: more concise time logging
• sim-net: default tracer configuration
• tests-lib: moved dynamicTracer to tests-lib

Checklist

Quality

• Commit sequence makes sense and have useful messages, see ref.
• New tests are added and existing tests are updated.
• Self-reviewed the PR.

Maintenance

• Linked an issue or added the PR to the current sprint of ouroboros-network project.
• Added labels.
• Updated changelog files.
• The documentation has been properly updated, see ref.

[Copilot]

Pull Request Overview

Improves net-sim tracing and test output, centralizes a dynamic IOSim tracer in tests-lib, and streamlines time rendering in counterexamples.

• Add TVar labelling/tracing for peer selection public state; derive Show to support tracing
• Make diffusionSimulation IOSim-specific, provide internal diffusionSimulationM, and update tests to include timestamps via selectTraceEventsSayWithTime
• Move dynamicTracer to tests-lib and remove duplicate tracers

Reviewed Changes

Copilot reviewed 9 out of 9 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
ouroboros-network/tests/lib/Test/Ouroboros/Network/Diffusion/Node/Kernel.hs	Add MonadTraceSTM/MonadLabelledSTM constraints and label/trace the public peer selection TVar
ouroboros-network/tests/lib/Test/Ouroboros/Network/BlockFetch.hs	Remove dynamicTracer and unused imports; simplify tracer import
ouroboros-network/tests-lib/lib/Test/Ouroboros/Network/Utils.hs	Export and define dynamicTracer; add note on WithTime usage
ouroboros-network/tests-lib/lib/Test/Ouroboros/Network/Data/Signal.hs	Render times more concisely in signalProperty counterexamples
ouroboros-network/lib/Ouroboros/Network/PeerSelection/Governor/Types.hs	Derive Show for PublicPeerSelectionState to enable tracing
ouroboros-network/changelog.d/20251007_150356_coot_net_sim_tracer.md	Changelog: Show instance, cleaner counterexamples, new dynamicTracer
cardano-diffusion/tests/lib/Test/Cardano/Network/Diffusion/Testnet/Simulation.hs	Make diffusionSimulation IOSim-only; add diffusionSimulationM; adjust tracers; remove iosimTracer
cardano-diffusion/tests/lib/Test/Cardano/Network/Diffusion/Testnet.hs	Update tests to new diffusionSimulation; print timestamps via selectTraceEventsSayWithTime; remove iosimTracer
cardano-diffusion/changelog.d/20251007_150408_coot_net_sim_tracer.md	Changelog: breaking API note for diffusionSimulation; net-sim testing improvements

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[crocodile-dentist]

lgtm