Cardano Updates

Bumps [github.com/aws/aws-sdk-go-v2/config](https://github.com/aws/aws-sdk-go-v2) from 1.32.10 to 1.32.13.
- [Release notes](https://github.com/aws/aws-sdk-go-v2/releases)
- [Commits](https://github.com/aws/aws-sdk-go-v2/compare/config/v1.32.10...config/v1.32.13)

---
updated-dependencies:
- dependency-name: github.com/aws/aws-sdk-go-v2/config
  dependency-version: 1.32.13
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

Bumps [github.com/aws/aws-sdk-go-v2](https://github.com/aws/aws-sdk-go-v2) from 1.41.4 to 1.41.5.
- [Release notes](https://github.com/aws/aws-sdk-go-v2/releases)
- [Commits](https://github.com/aws/aws-sdk-go-v2/compare/v1.41.4...v1.41.5)

---
updated-dependencies:
- dependency-name: github.com/aws/aws-sdk-go-v2
  dependency-version: 1.41.5
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

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

Fix bulk credentials path to construct PraosCredentialsSource

Use retryUntilJustM to poll for the multi-asset UTxO instead of
waiting a fixed 1 block and querying once. The mint transaction may
not be confirmed within a single block, causing
findLargestMultiAssetUtxoWithAddress to return Nothing.

This matches the retry pattern already used for the script address
UTxO lookup a few lines below.

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

Signed-off-by: Eric Torreborre <[email protected]>

From https://github.com/intersectmbo/dmq-node at d509449322ec0aff9ef5a6cdbc50a567afb20903

Both golden files now use encoding-stability.golden.

docs: clarify gateway dependency notes

The encoding stability tests now use tasty-golden instead of
hardcoded inline byte sequences. This addresses review feedback
about the generator executable being redundant when --accept
can regenerate golden files directly.

- Convert testEncodingStability (flat/test) to goldenVsStringDiff
- Convert test_flatStaticEncoding (TPLC) to goldenVsStringDiff
- Remove flat-encoding-generator executable
- Add tasty-golden dependency to flat-test

## Summary

- Pin `oasdiff` to v1.11.11 in `openapi-diff.sh` to fix the nightly
release CI failure
- v1.12.4 switched from `getkin/kin-openapi` to `oasdiff/kin-openapi`
which injects `__origin__` metadata during spec loading, then the new
YAML library rejects them as duplicate keys

Failing run:
https://github.com/cardano-foundation/cardano-wallet/actions/runs/23727354649/job/69113585809
Last green run:
https://github.com/cardano-foundation/cardano-wallet/actions/runs/23079715863

When compiling caseInteger in non-BuiltinCasing mode (SumsOfProducts),
the fallback used PlutusTx.List.!! which built a linked list of branches
at runtime and indexed into it with a Y-combinator. This caused a 3-5x
execution cost regression for unsafeFromBuiltinData on multi-constructor
types (reported by the Hydra team, see #7691).

Replace the fallback with mkEqualsIntegerChain, which generates a flat
chain of equalsInteger/ifThenElse comparisons in PIR. This produces UPLC
equivalent to the pre-caseInteger code path with no runtime allocation.

See Note [caseInteger non-BuiltinCasing fallback] in Expr.hs.

Temporarily set `if False` in unsafeFromDataClause to bypass caseInteger
and generate golden files from the old equalsInteger/ifThenElse code path.
These serve as the equivalence target for the Expr.hs fix.

Adds a minimal test that compiles unsafeFromBuiltinData on a 3-constructor
type in the default SumsOfProducts mode (no BuiltinCasing pragma).
This captures the caseInteger fallback regression for comparison.

From https://github.com/intersectmbo/dmq-node at d509449322ec0aff9ef5a6cdbc50a567afb20903