Cardano Updates

This check no longer runs on the hosted GitHub runners, and we already
have them running in Hydra

Cabal 3.14 reworked FilePath references, which we use in the custom
Setup. This is a breaking change and we are not yet ready to commit to
Cabal 3.14+.

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

in anticipation of wanting the TraceBuffer activated in production, which will need some thinking

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

This has been created by opencode /init and looks reasonable to me, but I don’t have experience with using this file.

Claude doesn’t yet reliably read AGENTS.md, so CLAUDE.md is a symlink to that (in order to keep one source of truth).

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

chore: remove old consensus stages and rename new ones

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]>