Cardano Updates

* feat: Handle skills as resources

* fixes from review

* Improve code quality

* fixes from review

Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
Signed-off-by: Chris Gianelloni <[email protected]>

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

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

feat(bootstrap): report progress during long-running stages

* fix(ledger): wire live reconciler into plateau watchdog

The existing reconcileLivePrimaryChainLedgerDivergence (#2322) only
fires on ErrRollbackExceedsSecurityParam. Sub-K same-slot fork
resolutions can advance chain.Tip() to the canonical hash while
leaving the ledger pipeline pinned on the abandoned hash, with no
error to trigger reconcile. Local symptom: chainsync MustReply
timeouts cycle, plateau watchdog recycles the peer four times in 14
minutes, peers happily hand back the canonical chain, ledger refuses
to advance. Only a container restart unsticks it.

Two changes:

  - ledger/state.go: add exported wrapper
    ReconcileLivePrimaryChainLedgerDivergence over the existing
    private method.

  - node_chainsync_recycler.go: when shouldRecycleLocalTipPlateau
    fires, call the reconciler before recycling. If reconcile
    repairs the divergence in place, skip the peer recycle and
    reset the plateau clock so forward application can resume.

Test: TestReconcileLivePrimaryChainLedgerDivergenceExportedWrapperRecoversSubKFork
reproduces the divergence (chain on a 1-block-deep fork, ledger
pinned on the abandoned tip) and asserts the exported wrapper rolls
the ledger back to the common ancestor.

Refs blinklabs-io/dingo#2349

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

`into_u5c_utxo` returned `block_ref: None` for every UTxO surfaced by
`read_utxos` / `search_utxos`, leaving downstream consumers unable to
associate UTxOs with the blocks that created them. The field was added
as a placeholder in #813 (u5c 0.18.1 upgrade) but the reverse lookup
was never wired up.

Mirror the pattern already used by `read_tx`: call
`AsyncQueryFacade::block_by_tx_hash`, decode the block, and build a
`ChainPoint { slot, hash, height, timestamp }`. Lookup failures
(missing tx in archive, decode error) `warn!` with the tx hash and
fall back to `None` — matching the existing posture for datum-decode
errors in the same function.

Applied to both v1alpha and v1beta. No new indexing is needed;
`slot_by_tx_hash` already exists across redb3 and fjall.

* mithril-cardano-node-internal-database from `0.1.12` to `0.2.0`
* mithril-aggregator-client from `0.1.11` to `0.2.0`
* mithril-build-script from `0.2.31` to `0.2.32`
* mithril-persistence from `0.2.72` to `0.2.73`
* mithril-signed-entity-lock from `0.0.5` to `0.0.6`
* mithril-aggregator from `0.8.53` to `0.9.0`
* mithril-client from `0.14.10` to `0.14.11`
* mithril-common from `0.6.73` to `0.7.0`
* mithril-signer from `1.0.3` to `1.1.0`
* mithril-aggregator-fake from `0.4.21` to `0.5.0`
* mithril-end-to-end from `0.4.135` to `0.4.136`
* [js] mithril-explorer from `0.7.50` to `0.7.51`
* openapi.yaml from `0.1.63` to `0.1.64`
* mithril-test-lab/mithril-devnet/VERSION from `0.4.34` to `0.4.35`

* Add ToJSON, FromJSON and NFData as EraTxWits superclass constraints
* Add ToJSON/FromJSON for WitVKey, BootstrapWitness
* Add ToJSONKey/FromJSONKey for AccountId
* Add ToJSON/FromJSON for Inclusive and Exclusive
* Add FromJSON for TxIn; fix txInToText to use unTxIx
* Add FromJSON for PoolCert
* Add ToJSON/FromJSON for ShelleyTxWits era
* Add FromJSON for AsIx, AlonzoPlutusPurpose AsIx, TxDats, Redeemers, AlonzoTxWits
* Add FromJSON for ConwayDelegCert, ConwayGovCert, ConwayTxCert era, ConwayPlutusPurpose
* Add FromJSON for GovActionId, Voter, Vote, VotingProcedure, ProposalProcedure, GovAction, GovPurposeId
* Add ToJSON/FromJSON for AccountBalanceInterval, DijkstraScript
* Add FromJSON for DijkstraDelegCert, DijkstraTxCert era
* Add round-trip JSON property test for TxWits era

* Add FromJSON (TxOut era) as EraTxOut superclass constraint
* Add FromJSON t as Val t superclass constraint
* Add ToJSON/FromJSON for Datum era
* Add FromJSON for ShelleyTxOut, AlonzoTxOut, BabbageTxOut
* Add FromJSON for MaryValue; fix FromJSON/FromJSONKey for AssetName to hex-decode
* Add round-trip JSON property test for TxOut era

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

The consensus Leios chunks added four fields to the consensus tracer
records that cardano-node assembles in 'Cardano.Tracing.Tracers' (old
style) and 'Cardano.Node.Tracing.Tracers' (new style):

  - Consensus.Tracers'      gained 'leiosKernelTracer' and 'leiosPeerTracer'
  - NodeToNode.Tracers'     gained 'tLeiosNotifyTracer' and 'tLeiosFetchTracer'

This commit populates those fields in both 'mkTracers' code paths so
the record-construction sites are total. All four are wired to
'nullTracer' for now; the corresponding 'Transformable' / 'MetaTrace'
instances and EKG metrics are left as TODO. The new-style tracing
system will accordingly emit a 'TracerConsistencyWarnings' for the
four Leios namespaces declared in the config.yaml — that surfaces the
gap explicitly rather than silently dropping the configuration.

Adds the corresponding selectors to 'TraceSelection' / 'PartialTraceSelection'
and their JSON parsing:

  - traceLeiosKernel          / Consensus.LeiosKernel
  - traceLeiosPeer            / Consensus.LeiosPeer
  - traceLeiosNotifyProtocol  / LeiosNotify.Remote
  - traceLeiosFetchProtocol   / LeiosFetch.Remote

Also drops the duplicate 'LogFormatting (Simple/Stateful.TraceSendRecv)'
and 'MetaTrace (Simple/Stateful.TraceSendRecv)' instances that the
upstream leios-prototype branch carried in
'Cardano/Node/Tracing/Tracers/NodeToClient.hs' — they are now provided
by 'ouroboros-network:framework-tracing' and would collide if redefined
here.

Co-Authored-By: Claude Opus 4.7 <[email protected]>

The consensus Leios chunks extended 'NTN.Codecs' with two extra type
parameters ('bLN' / 'bLF', for LeiosNotify and LeiosFetch), and the
network-side BearerBytes/Reception work changed 'runPeerWithLimits' to
return 'Maybe (Reception bytes)' (instead of 'Maybe bytes') and made
'byteLimitsKeepAlive' parameter-less.

Update 'tx-generator' to compile against the rebased stack:

  - Pull in 'ouroboros-network:framework-tracing' as a sublib dependency.
  - Extend the local 'myCodecs' type to 9 'ByteString' parameters (was 7).
  - Update 'kaClient' return type to 'IO ((), Maybe (Mux.Reception ByteString))'.
  - Drop the size-function argument from 'byteLimitsKeepAlive'.

Co-Authored-By: Claude Opus 4.7 <[email protected]>