Cardano Updates

DID deactivation on neoprism consistently exceeds the 30s polling
timeout in CI.  Exclude the @deactivate scenario from the neoprism
integration test job until the timeout is tuned.

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

chore: update translation progress from Crowdin

Signed-off-by: Roland Kuhn <[email protected]>

  Two property-based tests added to HeadLogicSnapshotSpec to lock down correct
  timer behaviour introduced in earlier commits:

  - prop_timerIsNoopInRequestedSnapshotState: for any arbitrary
    RequestedSnapshot{lastSeen, requested} state the timer must emit no ReqSn.
    Re-broadcasting in this state uses stale state (currentDepositTxId is not set
    until the leader receives its own echo) and would race with the original ReqSn,
    causing peers to sign different snapshot contents.

  - prop_timerSeenSnapshotRebroadcastMatchesInFlight: for any in-flight
    SeenSnapshot the timer re-broadcast must use the in-flight snapshot's version
    and number, not the speculatively-computed nextSn.  Ensures all parties sign
    the same content after a re-broadcast.

  Also includes the regression unit test added in HeadLogicSpec ("timer does not
  re-broadcast ReqSn without deposit while waiting for echo") and the onOpenTimer
  nextSn fix (max confSn latestSeenSnapshotNumber + 1).

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

The newest version on Hackage breaks the build process.

Added `crypton ^>= 1.0.6` constraint.

Fix/ bugs on app state handling

From https://github.com/intersectmbo/ouroboros-network at 17525c337a6209011fabd6916fa757efd44df6f8

From https://github.com/intersectmbo/ouroboros-network at 17525c337a6209011fabd6916fa757efd44df6f8

From https://github.com/intersectmbo/ouroboros-network at 17525c337a6209011fabd6916fa757efd44df6f8

From https://github.com/intersectmbo/ouroboros-network at 17525c337a6209011fabd6916fa757efd44df6f8

From https://github.com/intersectmbo/ouroboros-network at 17525c337a6209011fabd6916fa757efd44df6f8

From https://github.com/intersectmbo/ouroboros-network at 17525c337a6209011fabd6916fa757efd44df6f8

Co-authored-by: Robert Phair <[email protected]>

Co-authored-by: Robert Phair <[email protected]>

Co-authored-by: Robert Phair <[email protected]>

Co-authored-by: Robert Phair <[email protected]>