Cardano Updates

Surface the LedgerDB @LSMExportPath@ key alongside @LSMDatabasePath@ in the
backend codec: an optional directory into which the LSM-tree backend exports
snapshots as it takes them. Like the database path, it is only meaningful for
the V2LSM backend, so it is carried as a second field of the V2LSM selector.

Document the key in the README and exercise it in the fullconfig.json example,
which now selects the V2LSM backend with both LSM paths.

Make LocalConnections, Testing and Mempool splittable into sub-files like the
other components, by lifting them into the configuration's functor and routing
them through subFileParser under their own wrapper keys. Add example sub-files
and a split-all.json that exercises every sub-file key.

Trim the tracing placeholder to the single HermodTracing key (an inline object
or a path to a separate file), dropping the legacy top-level TraceOption* keys.

Document in the README exactly what the library parses: a per-component key
listing, which components support sub-files, and that tracing is recognised but
not parsed.

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

Tracing configuration is owned by the node's tracing system
(hermod/trace-dispatcher), not by cardano-config. Add a TracingConfiguration
component that captures the tracing keys opaquely so they are visible in the
configuration schema (rather than silently ignored) and preserved when
round-tripping, without interpreting or validating their contents.

It covers both accepted shapes: the legacy flat TraceOptions/TraceOption*
keys, and the newer single HermodTracing key (an inline object or a path to a
separate file). All fields are optional, so this is non-breaking.

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

Add a test suite that decodes every example configuration through the autodocodec-derived parsers and the full configuration-file pipeline, guarding against drift between the parsers and the example configs.

Add a small executable that prints the configuration JSON Schema (the whole single-file configuration, or a single named component), with --list and --help.

Add Cardano.Configuration.Schema, which derives a JSON Schema for each configuration component, and a merged whole-config schema, directly from the autodocodec codecs, so the schema cannot drift from the parser. The schemas target draft-07 and surface the codecs' annotations as descriptions.

Replace the hand-written FromJSON instances with autodocodec HasCodec codecs (deriving FromJSON/ToJSON via Autodocodec), so the parsers and the configuration documentation share a single definition. The LedgerDB snapshot configuration moves to the predictable-snapshots model: a Snapshots policy that is either a named policy or an explicit options object, with the example configs updated to match.

Parse the LedgerDB @LSMExportPath@ key alongside @LSMDatabasePath@: an optional
directory into which the LSM-tree backend exports snapshots as it takes them.
Like the database path, it is only meaningful for the V2LSM backend, so it is
carried as a second field of the V2LSM selector.

Vote on the hash of the ranking block that announced the EB instead of the
LeiosPoint, which comprises the slot number and EB hash. This forbids reusing
Leios certificates across Praos forks.

Lists the UTXOs that hold a given script as a reference script (CIP-33),
so a script hash can be resolved directly to its deployment UTXOs for use
as reference inputs (CIP-31) — without knowing/enumerating the holding
address.

- paged route GET /scripts/:script_hash/utxos
- query uses consumed_by_tx_id IS NULL for spentness
- response mirrors /addresses/:address/utxos, minus the deprecated tx_index
- requires @blockfrost/openapi 0.1.90

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

This commit adds serialization roundtrip tests for the concrete Peras
votes and certificate types.

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>

This commit adds conversion rountrip tests between concrete Peras votes
and certificates and their corresponding (abstract) counterparts in the
WFALS and EveryoneVotes voting committee implementations.

Notably, the roundtrip properties allow testing both total (WFALS) and partial
(EveryoneVotes) conversions, generating both good and bad cases and
contrasting them against their expected rountrip outcome.

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>

This commit adds test helpers to aid with the definition of the upcoming
roundtrip properties for concrete Peras votes and certificates.

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>

This commit adds property tests for the newly added bitmap library
asserting that both conversion from and/to indices as well as
serialization roundtrip correctly.

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>

This is a request by @Quantumplation, which has the potential of
increasing utility of Cardano through Leios, but at the cost of lower
adversarial stake tolerance (of dApps that rely on it).

Still WIP as more places would need updating, but wanted to record the
request and start the discussion.

- remove `Message` suffix from `DiscontinuedSignedEntityType` enums
- avoid magic strings in discriminant message `From<&str>` impl
- doc: clarify that `Unknown` variant serialize as `null` for JSON
- doc: simplify some comments
- test: cover discriminants `From<&str>`
- test: simplify redundant display tests
- test: simplify json roundtrips tests by using an helper method

shelleyLedgerState (and tickedShelleyLedgerState, and the renamed
nesView -> newEpochStateWithEmptyUTxO) hand back a NewEpochState whose UTxO
field is empty by design (UTxO-HD keeps the live UTxO in the ledger tables). A
client lensing into its utxo silently gets an empty map. The type can't prevent
this (the NES field is cardano-ledger's), so make it loud:

- Rename nesView -> newEpochStateWithEmptyUTxO and give the three accessors a
  prominent haddock warning pointing at the ledger tables / forker.
- Attach a WARNING to each: a custom category 'x-shelley-empty-utxo' on
  GHC >= 9.10, a plain WARNING on older GHCs (both CPP-guarded for 9.6 compat).
  Downstream consumers now get a compile-time warning at every use.
- Our own modules legitimately project the UTxO-free NES, so each opts out
  per-file (-Wno-x-shelley-empty-utxo on >= 9.10, -Wno-warnings-deprecations
  otherwise), CPP-guarded. Per-file (not package-wide) so each is a conscious
  acknowledgement.

Verified on GHC 9.14: builds warning-free, and the warning fires for a
non-opted-out user.