Cardano Updates

The Next.js 16 bundling bug on Railway causes ANY custom static page
to fail during prerendering (even with zero imports) because _app.tsx
wraps it and pulls in the problematic dependency tree. Removing the
custom 404 lets Next.js use its built-in 404 which doesn't go through
the full _app component tree during static generation.

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

Use zero imports in 404.tsx (plain <a> instead of next/link) to
prevent any dependency tree from triggering the _document Html
bundling bug during static prerendering on Railway. The 404 page
must be static in Next.js and cannot use getServerSideProps.

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

The bulk credential parsing was calling mkPraosLeaderCredentials with
the old applicative-style signature. Update parseShelleyCredentials to
destructure OperationalCertificate and KesSigningKey, build a
PraosCredentialsUnsound, and pass it to mkPraosLeaderCredentials,
mirroring the singleton credential path.

Introduce a randomized delay (up to the current attempt number in seconds) before retrying transaction submission after a mempool failure. This helps to reduce the likelihood of repeated mempool contention and increases the chances of successful resubmission.

feat(dev): remove pyright and add pyrefly configuration

- Remove pyright from pre-commit hooks and development dependencies
- Add pyrefly configuration to pyproject.toml for type checking

Bumps the actions-deps group with 2 updates: [sbt/setup-sbt](https://github.com/sbt/setup-sbt) and [github/codeql-action](https://github.com/github/codeql-action).


Updates `sbt/setup-sbt` from 1.1.20 to 1.1.22
- [Release notes](https://github.com/sbt/setup-sbt/releases)
- [Commits](https://github.com/sbt/setup-sbt/compare/dd1ef7d7798fab5ce802a6adab3b782817b8c2d0...508b753e53cb6095967669e0911487d2b9bc9f41)

Updates `github/codeql-action` from 4.34.1 to 4.35.1
- [Release notes](https://github.com/github/codeql-action/releases)
- [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md)
- [Commits](https://github.com/github/codeql-action/compare/38697555549f1db7851b81482ff19f1fa5c4fedc...c10b8064de6f491fea524254123dbe5e09572f13)

---
updated-dependencies:
- dependency-name: sbt/setup-sbt
  dependency-version: 1.1.22
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: actions-deps
- dependency-name: github/codeql-action
  dependency-version: 4.35.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: actions-deps
...

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

feat(scripts): enforce required env vars and switch to C-style for loops

* ouroboros-network-1.0.0.0 - allow trace-dispatcher-2.12.0

* ouroboros-network-1.1.0.0 - allow trace-dispatcher-2.11.0

* cardano-diffusion-1.0.0.0 - allow trace-dispatcher-2.11.0

Remove component library imports (Button, Card, lucide-react) and
useRouter from 404 page, replacing with plain HTML elements. The 404
page must be static in Next.js and cannot use getServerSideProps, so
minimizing the dependency tree avoids the _document Html import bug.

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

Refactor such that each example from an era is build on top of the
example of the previous era.

Allows:
* reduced duplication
* each example of each era has most fields set with values

Add getServerSideProps to all remaining page files to prevent the
Next.js 16 bundling bug that incorrectly includes _document Html
import during static page generation on Railway.

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