Cardano Updates

Flake lock file updates:

• Updated input 'CHaP':
    'github:intersectmbo/cardano-haskell-packages/e8a483522ee73c8c9493ea6055553e5c2532e66b?narHash=sha256-ZzXz2vOhqethlqPgBExPXEnKWvaTbidsIxh5MGv%2BpwE%3D' (2026-05-02)
  → 'github:intersectmbo/cardano-haskell-packages/2d77199bbdf795a52169bbcf8eae88aee3794bad?narHash=sha256-6KW3OSVTA7yBvOEgFXmQrquSwN9wX3r5Hfk3mgnUfso%3D' (2026-05-13)
• Updated input 'hackageNix':
    'github:input-output-hk/hackage.nix/ba6ab6f3b781c8f308cba4fa384eafa48033f3cc?narHash=sha256-cPUF8%2Bl1ej7x4UZcuuf6IDsxU1WWmGWC0vFBH%2B6jXZk%3D' (2026-05-06)
  → 'github:input-output-hk/hackage.nix/1508c37c8c19dafd8e2b32e7c7cad125419f1347?narHash=sha256-2Ss4aeffqFtzTNGArqxpWbfMjA9JuNJ/5f/EE0x6HtE%3D' (2026-05-16)

Pulls in 1d339da37, which makes topLevelConfigVotingKey derivation
tolerate an empty Shelley credentials list. Without this, relay nodes
(no pool keys) crash on startup with `Prelude.!!: index too large` from
the voting-key hack in protocolInfoCardano.

Pulls in 497122fc9 ("Fix Werror warnings in NodeKernel after late-join
changes"), which resolves -Wname-shadowing build failures in
ouroboros-consensus-diffusion.

cardano-testnet: Add `--nodes` flag for per-node binary configuration

All three rules fire only when the known type information uniquely
determines the outcome:

  ? - Duration : ?  ->  Timestamp - Duration : Timestamp
    Only Timestamp - Duration exists with Duration on the Sub rhs.
    Enables: \x -> x - 1s  (infer x : Timestamp)

  ? + ? : Duration  ->  Duration + Duration : Duration
    Only Duration + Duration produces Duration.
    Enables: \x -> \y -> m [now; now : x + y]  (infer both : Duration)

  ? - ? : Timestamp  ->  Timestamp - Duration : Timestamp
    Only Timestamp - Duration produces Timestamp via Sub.
    Enables: \x -> \y -> m [x - y; x]  (infer x : Timestamp, y : Duration)

Ordering: A (? - Duration) before C (? - ? : Timestamp) so the more
specific rhsTy=Duration match takes priority. B (? + ? : Duration)
after the existing Duration + Duration : ? rule so the known-both-sides
case is tried first.

- Use Text.unlines in prettyRelevanceArray and forHuman ContextDump
- Rename JSON keys eventsPerSecond and catchUpRatio to camelCase
- Simplify printArray to build a single Text value
- Use maybe [] Map.toList instead of Map.toList . fromMaybe Map.empty