Cardano Updates

Technical debt: limiting votingPanel resource requirements

Signed-off-by: Yurii Shynbuiev <[email protected]>

The signing credential check only looked for signing.keyId property and
GPG_KEY_ID env var, missing the in-memory signing properties used by CI
(signingInMemoryKey / ORG_GRADLE_PROJECT_signingInMemoryKey). This caused
unsigned artifacts to be uploaded to Maven Central, which silently rejects
them during validation.

Co-Authored-By: Claude Opus 4.6 <[email protected]>
Signed-off-by: Yurii Shynbuiev <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

The pipeline framework tracked stages but most of PipelineTiming drove no
behavior: stageFor ran only on the certified path, handleEbQuorum honored
any certificate regardless of timing, and the pipeline's VoteWindowSlots
had no relationship to VoteManager's vote-acceptance window.

- Enforce the certification deadline: a certificate arriving at or past
  CertifyByDeadlineSlots is rejected (counted under certs_rejected_total),
  leaving the EB tracked but never certified, so it cannot become eligible.
- Surface the uncertified stages: updateGaugesLocked now derives a per-EB
  stage gauge via stageFor with each EB's real certified flag (exercising
  the uncertified branch in production), plus a read-only StageOf seam.
- Unify the vote window: VoteManager's vote-acceptance past bound is now
  the pipeline's VoteWindowSlots, passed through VoteManagerConfig and
  sourced from the same leiosPipelineTiming() the pipeline uses, so the two
  components admit votes over the same window and cannot drift. Replaces the
  standalone slotWindowPastTolerance.
- Remove the inert StageLengthSlots field.

ARCHITECTURE.md updated; DATABASE.md unaffected (in-memory, metrics only).

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
Signed-off-by: Chris Guiney <[email protected]>

Remove the "genesis spec" workbench command that was used for `create-testnet-data --spec-*` and instead use what cardano-profile provides.

The profile may have null "conway" or "dijkstra" genesis fields but the node still needs valid files, use a "zero" genesis in those cases.

Based on a mainnet db-sync and mainnet genesis files we reconstructed the timeline with no cardano-profile implementation specifics

Going forward, the only way to inject cost models with any number of parameters is through Alonzo genesis "extraConfig" field.

- Structure: Separates cost models from the rest of the parameters.
- Consistency: Shelley genesis is the full object, no only the "protocolParams" field.
- Consistency: Uses everywhere an object for the cost model, no arrays.
- Cost model names are updated.

Were removed when the node started only considering valid what mainnet shipped with

* fix(blockfrost): compute network locked supply and align network eras schema

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

* fix(blockfrost): address review

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

* fix(blockfrost): populate PaymentScript in import path

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

* fix(blockfrost): address test issue

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

---------

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

Two follow-ups from review of the pipeline timing change:

- markEquivocationLocked incremented ebEquivocationTotal (and logged)
  once per EB added beyond the first, so a slot with N distinct EBs
  counted N-1 times despite the metric documenting "number of slots with
  equivocating endorser blocks". Track a per-instance equivocated flag so
  the counter and warn log fire exactly once per equivocating slot; every
  EB is still flagged for inclusion exclusion. Adds a regression test.

- Define observeFutureToleranceSlots as the vote manager's
  slotWindowFutureTolerance instead of a duplicated literal 60, so the two
  Leios components admit endorser blocks over the same future window and
  cannot drift apart.

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
Signed-off-by: Chris Guiney <[email protected]>

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

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

Adapts cardano-node to the updated ouroboros-consensus
newLeiosDBSQLite signature (Tracer IO TraceLeiosDb -> FilePath -> ...)
introduced in IntersectMBO/ouroboros-consensus#2062, and surfaces the
SQLite UNIQUE/PRIMARY KEY collision events it emits.

* New tracing: adds a leiosDbTracer field on Cardano.Node.Tracing.Tracers,
  wires it via mkCardanoTracer at namespace Consensus.LeiosDb, and provides
  LogFormatting / MetaTrace instances (Warning severity).
* Legacy tracing: leiosDbTracer = nullTracer, matching how the other
  Leios consensus tracers are currently left.
* Run.hs: passes (leiosDbTracer tracers) to newLeiosDBSQLite.

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