Cardano Updates

In an Agda certificate, all work for type-checking the translation relation proofs is done in the top-level agda module. This PR instead constructs a module per pass which has the corresponding translation relation proof. This is useful for performance debugging when type-checking an agda certificate, as we can see a break-down of the decision procedure's performance.

So in addition to Pass_xyz/AST.agda, there is now also Passxyz/Proof.agda. The top-level module simply imports the proofs and constructs the certificate proof (a big tuple).

Deps for the builder/submit path:
- apollo/v2 via the renamed Blink fork (github.com/blinklabs-io/apollo/v2,
  portable pseudo-version; no replace directive)
- dingo v0.52.1 (utxorpc submit), gouroboros v0.182.0
- ch-go held at v0.61.5 (clickhouse-go v2.30.0 compat)

Signed-off-by: Chris Gianelloni <[email protected]>

Update CONTRIBUTING.md to comply with Amaru workshops decision on June 4th 2026

Bumps [shell-quote](https://github.com/ljharb/shell-quote) from 1.8.3 to 1.8.4.
- [Changelog](https://github.com/ljharb/shell-quote/blob/main/CHANGELOG.md)
- [Commits](https://github.com/ljharb/shell-quote/compare/v1.8.3...v1.8.4)

---
updated-dependencies:
- dependency-name: shell-quote
  dependency-version: 1.8.4
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: bora <[email protected]>

Bumps [webpack-dev-server](https://github.com/webpack/webpack-dev-server) from 5.2.3 to 5.2.4.
- [Release notes](https://github.com/webpack/webpack-dev-server/releases)
- [Changelog](https://github.com/webpack/webpack-dev-server/blob/main/CHANGELOG.md)
- [Commits](https://github.com/webpack/webpack-dev-server/compare/v5.2.3...v5.2.4)

---
updated-dependencies:
- dependency-name: webpack-dev-server
  dependency-version: 5.2.4
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: bora <[email protected]>

Signed-off-by: Yurii Shynbuiev <[email protected]>

- it build mithril nodes and end-to-end runner itself
- can be run both from a workflow or triggered manually
- run the full and minimal scenario with slower network than the one
  in the CI

* mithril-end-to-end from `0.5.0` to `0.5.1`

Extend the `attempt!` macro to allow retrying based on predicate logic:
Introduce robust timeout handling with distinct reasons: `NoResponse`
and `PredicateNotSatisfied`.

- Introduce `wait_for_latest_artifact_with_condition` for robust
  artifact validation with predicate support.
- Enhance certificate checks with minimum epoch validation logic.