Cardano Updates

Byron-era blocks (slot 3313 and similar) have mismatched transaction
body and witness set counts, causing ExtractTransactionOffsets to fail.
This made the chainsync pipeline restart in an infinite loop.

Changes:
- ledger/state.go: make CBOR offset error non-fatal, log at debug
  level and continue with nil offsets
- database/transaction.go: skip transaction recording when offsets
  are nil instead of returning a fatal error

This allows the node to sync through Byron-era blocks without stalling
while still processing all Shelley+ blocks correctly.

Cron runs with minimal PATH that doesn't include ~/.local/bin where
uv is installed. Export it explicitly in both scripts.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

- Remove redundant toList calls (Foldable constraint suffices)
- Use flip instead of section application
- Move reverse out of pipeline

- iohk-nix: remove rev pin to personal branch hkm/update-blst
  (blst v0.3.14 is now on master)
- mithril: update from hotfix/2543.1 to release 2603.1
- haskell.nix + hackage.nix: update to latest master
- ruby_3_1 → ruby_3_3: ruby 3.1 removed in newer nixpkgs

Closes #5218, closes #5219, closes #5220

haskell.nix's nixpkgs ships mdbook-mermaid 0.17 which uses
mdbook-preprocessor 0.5 (requires mdbook 0.5), but still has
mdbook 0.4.52. Pin mdbook-mermaid from the previous nixpkgs
until haskell.nix bumps mdbook.

This commit adds a new PerasCertMaxRounds to the PerasParams record.

This parameter is used to decide if a Peras certificate is still valid
when considering it for inclusion in a block body.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit implements a model-based test suite for the Peras
certificate inclusion rules. This follows the same approach used to test
the Peras voting rules.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit adds a missing strictness annotation in the PerasVotingView
record.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit implements the Peras certficate inclusion rules using the
boolean predicate DSL used for the Peras voting rules. This logic is
used to decide whether a certificate (the latest one seen) needs to be
added to a block body, typically to orchestrate the beginning and end
of a cooldown period.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>