Cardano Updates

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


Updates `oasdiff/oasdiff-action` from 0.0.32 to 0.0.37
- [Release notes](https://github.com/oasdiff/oasdiff-action/releases)
- [Commits](https://github.com/oasdiff/oasdiff-action/compare/aa8903311a8d1ac05b94223b500c160da0ca909a...1f38ea5ea0b4a2e4e49901c3bcdf4386a05e9ea1)

Updates `github/codeql-action` from 4.33.0 to 4.34.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/b1bff81932f5cdfc8695c7752dcee935dcd061c8...38697555549f1db7851b81482ff19f1fa5c4fedc)

---
updated-dependencies:
- dependency-name: oasdiff/oasdiff-action
  dependency-version: 0.0.37
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: actions-deps
- dependency-name: github/codeql-action
  dependency-version: 4.34.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: actions-deps
...

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

Add analysis of Pallas v1 vs v2 event-driven models and Haskell's actor
approach. Document a three-layer strategy:
- Layer 1 (net-core): pure protocol state machines, codecs, mux, bearer
- Layer 2 (connection): single-connection facade for tools/tests
- Layer 3 (node/behavior): multi-peer coordination (Phase 3+, model TBD)

Add four implementation phases: mux+handshake, chainsync+blockfetch,
remaining praos+multi-peer, leios protocols.

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

Midnight redemption improvements

This is obviously not what we want to keep for long, but good for the workshop.

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

It will be moved to a separate repository. Rely on CHaP to provide the
dependency.

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

Co-authored-by: Fraser Murray <[email protected]>

- `TxSubmissionLogicVersion` and `TxSubmissionInitDelay`

Co-authored-by: Marcin Wójtowicz <[email protected]>

- Use keyrole types instead of promoted constructors
- tracing: remove ouroboros-network:framework-tracing Network.Mux
- tracing: remove ouroboros-network:framework-tracing Ouroboros.Network
- tracing: remove ouroboros-network:tracing
- integrate new Ledger traces
- use ToJSON to get ToObject for ApplyTxError
- Add instance ToObject TxDecision
- Fill in LSM traces and reason for switch (#6469)
- Remove connectedPeers metrics. Now connection manager & peer selection exposes a more detailed metrics including `cardano_node_metrics_peerSelection_ActivePeers_int`

Co-authored-by: Federico Mastellone <[email protected]>
Co-authored-by: Javier Sagredo <[email protected]>
Co-authored-by: Marcin Wójtowicz <[email protected]>