Cardano Updates

  The timer fires at ~200 times per second once a head is Open. Three issues stalled
  the main processing loop and caused HeadIsOpen to miss its timeout:

  1. InputQueue.tryEnqueue: io-classes has no tryWriteTBQueue (that is in
     Katip). Implement non-blocking enqueue semantics using isFullTBQueue
     + conditional writeTBQueue in a single STM transaction. This prevents
     the timer thread from blocking when the input queue is full.

  2. Node.hs - skip tracing for TimerInput: 200 ticks/s × 3 traceWith
     calls = 600 blocking writes/s into the 500-slot log queue. The queue
     fills in < 1 s, causing traceWith to block and stall the main loop.
     Meaningful outcomes (SnapshotRequested etc.) are still traced through
     their own state-change and effect traces.

  3. Node.hs - only enqueue TimerInput when Open: in Idle/Initial/Closed
     the timer is a no-op in HeadLogic, so firing at 200 Hz only creates
     STM contention and log pressure that delays chain event processing
     (e.g. OnCollectComTx → HeadIsOpen). A queryNodeState STM read in the
     timer thread does not slow the main loop — GHC STM writers never
     retry due to unrelated readers.

  4. canSideLoadSnapshot: the timer now auto-resolves the previously-stuck
     snapshot (Alice re-broadcasts ReqSn, Carol signs on reconnect).
     Remove the assertion that the snapshot remains stuck, update the
     side-load to use the dynamically confirmed snapshot number and a
     fresh UTxO so the test is valid regardless of timing.

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Yurii Shynbuiev <[email protected]>
Co-authored-by: Claude Opus 4.6 <[email protected]>

Add token metadata for BERRY

fix: apply `cargo sort -w` following release of version `2.1.1`

Parametrise `Ouroboros.Network.Socket` API with monad `m`.  This patch
allows us to have a cleaner integration of ouroboros-network in
`dmq-node`, where we need to connect to the node, but we don't want to
be forced to use `IO` monad too early or pass callbacks around.

Add DuplicateRecordFields, NoFieldSelectors, OverloadedRecordDot
- Replace Arena {..} patterns with dot-access (arena.curr/free/full)
- Replace pure Arena {..} with explicit field assignment, no code logic change just refactored with modern record, part of #811