Cardano Updates

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

Signed-off-by: cryptodj413 <[email protected]>

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

* ci(update-workflow): validate package

Signed-off-by: Tripura Repalle <[email protected]>

* ci(update-workflow): validate package

Signed-off-by: Tripura Repalle <[email protected]>

* fix(update-workflow): validate package

Signed-off-by: Tripura Repalle <[email protected]>

* fix(update-workflow): validate package

Signed-off-by: Tripura Repalle <[email protected]>

---------

Signed-off-by: Tripura Repalle <[email protected]>

Signed-off-by: cryptodj413 <[email protected]>

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

Signed-off-by: Roland Kuhn <[email protected]>

Browser extension CSP connect-src with a path (e.g. /mainnet) only
matches that exact path without a trailing slash. Adding '/' enables
prefix matching so sub-paths like /mainnet/api/v0/... are permitted.

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

The new `ConformanceTest` record contains fields for all data formerly used
to run a test via `forAllGenesisTest` helper, plus other fields that pertain
to its evaluation as a test property on a`TestTree`.
A value of this type is defined for each point-schedule/genesis test.

All such `ConformanceTest`s are arranged in a `TestSuite`s, a data
structure introduced with the goal of eventually exporting them as
part of a new sublibrary for the Conformance Testing of Consensus harness
(see https://github.com/tweag/cardano-conformance-testing-of-consensus).
This data structure is designed to optimize single test lookups,
while retaining the necessary structure to be compiled back to a `TestTree`,
so that the introduced changes preserve the semantics of the
`ouroboros-consensus:test:consensus-diffusion-test` test suite.

To accomplish this, a new data type is introduced in each module as a `key`
for the locally defined `TestSuite`, such that each test in the module
corresponds to a unique value (nullary constructor) of this type. This means
that including a new test in a `TestSuite` requires the extension of such key
type by introducing a new data constructor. These `key` types are aggregated
into higher level key types to reify the nested grouping of the original
tasty `TestTree`s. It is by means of `mkTestSuite` and `at` that a higher
level `TestSuite` can be defined. The `SmallKey key` constraint is needed for
their exhaustive construction, via `newTestSuite` and `mkTestSuite`; as
implemented, a `TestSuite` is a total map.

Co-authored-by: Sandy Maguire <[email protected]>

chore: update open clinic with session 2 materials

Signed-off-by: thisisobate <[email protected]>

Signed-off-by: thisisobate <[email protected]>

added:
* github:cardano-foundation/cardano-wallet/90d45594eec5400ece03560230d8bcee2e4ccb4e#packages.x86_64-linux.cardano-address
* github:cardano-foundation/cardano-wallet/90d45594eec5400ece03560230d8bcee2e4ccb4e#packages.x86_64-linux.cardano-wallet
* github:cardano-foundation/cardano-wallet/a4442b3a749159c9944e1ee8270f2759cc73a55d#packages.x86_64-linux.cardano-address
* github:cardano-foundation/cardano-wallet/a4442b3a749159c9944e1ee8270f2759cc73a55d#packages.x86_64-linux.cardano-wallet
* github:cardano-scaling/hydra/e054c576b5eea1337d486ab3cebcbfac5c040d6f#packages.x86_64-linux.hydra-tui

- rename some tests for more clarity
- transform `MKTree` and `MKMap` `compute_root_from_iter` into extension
  traits methods
- rename `BlockRange::is_complete_up_to` to `is_fully_covered_at`