Cardano Updates

Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6 to 7.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v6...v7)

---
updated-dependencies:
- dependency-name: docker/build-push-action
  dependency-version: '7'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [docker/metadata-action](https://github.com/docker/metadata-action) from 5 to 6.
- [Release notes](https://github.com/docker/metadata-action/releases)
- [Commits](https://github.com/docker/metadata-action/compare/v5...v6)

---
updated-dependencies:
- dependency-name: docker/metadata-action
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 3 to 4.
- [Release notes](https://github.com/docker/setup-buildx-action/releases)
- [Commits](https://github.com/docker/setup-buildx-action/compare/v3...v4)

---
updated-dependencies:
- dependency-name: docker/setup-buildx-action
  dependency-version: '4'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [docker/login-action](https://github.com/docker/login-action) from 3 to 4.
- [Release notes](https://github.com/docker/login-action/releases)
- [Commits](https://github.com/docker/login-action/compare/v3...v4)

---
updated-dependencies:
- dependency-name: docker/login-action
  dependency-version: '4'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

* mithril-persistence from `0.2.67` to `0.2.68`

  Re-add maybeRequestSnapshot in onOpenNetworkReqTx so the leader sends
  ReqSn immediately when a transaction arrives and no snapshot is in
  flight. The timer-only approach introduced up to 5 ms latency per
  snapshot in single-tx-at-a-time workloads (the bench-e2e pattern:
  submit → waitConfirmed → submit).

  The timer remains as a complementary path for deposits, decommits, and
  idle recovery. Batching for burst workloads is unaffected: the first tx
  triggers an immediate ReqSn; subsequent txs accumulate while the round
  is in-flight and are confirmed in the next round via maybeRequestNextSnapshot.

  Uses skipPostedDecommit/skipPostedDeposit (new to this branch) in the
  restored path for consistency with the timer and AckSn paths.

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

  The SeenSnapshot case in onOpenTimer re-broadcast ReqSn+AckSn on every
  timer tick while waiting for AckSns. With a 5ms timer interval and etcd
  delivering each message back as a NetworkInput, this created a feedback
  loop: each broadcast → etcd echo → resets lastWasTimer → timer fires
  again → more broadcasts → floods the etcd PersistentQueue (capacity 100)
  → blocks processEffects → delays incoming AckSns → exponential slowdown
  (200+ ReqSn per snapshot, 5s+ gaps at snapshot 7+).

  Since etcd guarantees reliable delivery, the retry is unnecessary for
  normal L2 operation. Edge cases (deposit activation, version bumps) are
  handled by CommitFinalized/DecommitFinalized resetting seenSnapshot to
  LastSeenSnapshot, which lets the timer's fresh-send path handle them.

  Restore maybeRequestNextSnapshot in onAckSn so the leader for sn+1
  immediately chains the next snapshot after SnapshotConfirmed, avoiding
  an idle timer interval between snapshots.

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

This commits provides a model implementation for the weighted Fait
Accompli committee selection scheme that will be used for Peras. This
comes with a pure model of the local sortition scheme that will be used
as a fallback for non-deterministic non-persistent voters.

In addition, it provides some general QuickCheck properties to verify
the validity of the deterministic parts of the algorithm.

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

Introduce DijkstraEraBlockHeader to have a lens to the previous nonce,
and the DijkstraBbodySignal type to constrain the header existantially,
same as for BbodySignal.

Move PerasCert, PerasKey and validatePerasCert to dijkstra's BlockBody.

Remove PrevEpochNonceNotPresent because the field is implicitly present
in the signal to the BBODY rule now.

Refactor the dijkstra BBODY rule to reuse validations from shelley,
alonzo, conway, inlined, because the change in the type of Signal makes
calling earlier BBODY transitions impossible.

Refactor conway BBODY transition to export reusable validations to
future eras and update the BBODY signal.

  The SeenSnapshot case in onOpenTimer re-broadcast ReqSn+AckSn on every
  timer tick while waiting for AckSns. With a 5ms timer interval and etcd
  delivering each message back as a NetworkInput, this created a feedback
  loop: each broadcast → etcd echo → resets lastWasTimer → timer fires
  again → more broadcasts → floods the etcd PersistentQueue (capacity 100)
  → blocks processEffects → delays incoming AckSns → exponential slowdown
  (200+ ReqSn per snapshot, 5s+ gaps at snapshot 7+).

  Since etcd guarantees reliable delivery, the retry is unnecessary for
  normal L2 operation. Edge cases (deposit activation, version bumps) are
  handled by CommitFinalized/DecommitFinalized resetting seenSnapshot to
  LastSeenSnapshot, which lets the timer's fresh-send path handle them.

  Restore maybeRequestNextSnapshot in onAckSn so the leader for sn+1
  immediately chains the next snapshot after SnapshotConfirmed, avoiding
  an idle timer interval between snapshots.

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

Introduce DijkstraEraBlockHeader to have a lens to the previous nonce,
and the DijkstraBbodySignal type to constrain the header existantially,
same as for BbodySignal.

Move PerasCert, PerasKey and validatePerasCert to dijkstra's BlockBody.

Remove PrevEpochNonceNotPresent because the field is implicitly present
in the signal to the BBODY rule now.

Refactor the dijkstra BBODY rule to reuse validations from shelley,
alonzo, conway, inlined, because the change in the type of Signal makes
calling earlier BBODY transitions impossible.

Refactor conway BBODY transition to export reusable validations to
future eras and update the BBODY signal.

Refactor alonzo BBODY transition to export reusable validations to
future eras and update the BBODY signal.

Refactor shelley BBODY transition to export reusable validations to
future eras and update the BBODY signal.

Move isOverlaySlot calculation into incrBlocks.

  The SeenSnapshot case in onOpenTimer re-broadcast ReqSn+AckSn on every
  timer tick while waiting for AckSns. With a 5ms timer interval and etcd
  delivering each message back as a NetworkInput, this created a feedback
  loop: each broadcast → etcd echo → resets lastWasTimer → timer fires
  again → more broadcasts → floods the etcd PersistentQueue (capacity 100)
  → blocks processEffects → delays incoming AckSns → exponential slowdown
  (200+ ReqSn per snapshot, 5s+ gaps at snapshot 7+).

  Since etcd guarantees reliable delivery, the retry is unnecessary for
  normal L2 operation. Edge cases (deposit activation, version bumps) are
  handled by CommitFinalized/DecommitFinalized resetting seenSnapshot to
  LastSeenSnapshot, which lets the timer's fresh-send path handle them.

  Restore maybeRequestNextSnapshot in onAckSn so the leader for sn+1
  immediately chains the next snapshot after SnapshotConfirmed, avoiding
  an idle timer interval between snapshots.

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