Cardano Updates

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

Update 2026-05-11--project-committee-meeting.md

Record the solo PR gate, plan review, task review, code handoff, and ReadyForExternalReview state for issue #5283.

The reviewed code commit is 60805e8907c38eeb4027ce399d881e7756914510.

- /governance/committee: current committee snapshot with members, quorum,
  and source NewCommittee governance action (null for the Conway-genesis
  committee).
- /governance/committee/votes: paged history of all CC member votes.
- /governance/committee/{cc_id}/votes: paged votes filtered by CIP-129 hot
  or cold credential; cold queries aggregate across hot-key rotations.

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

cardano-recon-framework: Add cardano-recon-grep and ContinuousFormula (v1.2.0)

Use a short mktemp directory under /tmp for the Linux Memory Benchmark before running the existing benchmark command. This avoids the cardano-node Unix socket path limit while keeping other benchmark jobs on runner.temp.

Gate: llm/reviews/local-5283-linux-memory-benchmark-tmpdir/gate.sh (old path 120 bytes, new path 94 bytes).

Fixes #5283

Adds three endpoints for surfacing constitutional committee state and votes:

- GET /governance/committee — current committee snapshot with members,
  quorum, members count, and source NewCommittee gov action (genesis
  committee returns proposal fields as null and `is_genesis: true`).
- GET /governance/committee/votes — paged list of all CC votes ever cast.
- GET /governance/committee/:cc_id/votes — paged list of votes filtered
  by CIP-129 hot (cc_hot1...) or cold (cc_cold1...) credential.
  Cold queries aggregate across every hot key the cold has authorized.

Per-vote shape includes the voting anchor (metadata_url / metadata_hash),
governance_type, block height/time, and the voter's CIP-129 hot id.

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

zio-json 0.8.0 is binary-incompatible (early-semver minor on 0.x).
zio-schema-json 1.7.5 (pulled transitively via tapir-json-zio 1.11.7)
still requires zio-json 0.7.44, so the 0.8.0 bump fails sbt's
evictionErrorLevel check across sharedCrypto, sharedJson and sharedTest
during `sbt +update`.

zio-schema-json added zio-json 0.8.0 support in 1.7.6 and 0.9.0 in
1.8.0. Until tapir (currently pinned at 1.11.7 with scala-steward:off)
or shared zio-schema deps are upgraded, the zio-json bump must wait.

Keep the patch bumps for zio (2.1.23 -> 2.1.24), zio-http
(3.7.2 -> 3.7.4) and zio-metrics-connectors-micrometer
(2.5.4 -> 2.5.5) which are unaffected.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>
Signed-off-by: Yurii Shynbuiev <[email protected]>

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

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

Adds `pkgs.releaseTools.aggregate` derivations so all components in a
given sub-group can be built with a single command:

  nix build .\#hydraJobs.x86_64-linux.x86_64-w64-mingw32.all
  nix build .\#hydraJobs.x86_64-linux.ghc982.all
  nix build .\#hydraJobs.x86_64-linux.all
  nix build .\#hydraJobs.aarch64-darwin.all

Sub-groups (cross-compilation targets and compiler variants) are detected
by checking that their values contain nested attrsets rather than
derivations directly, which distinguishes them from the native job
categories (packages, checks, …).

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

feat: expose deposit on account and drep endpoints

Missed the unpaged variant when fixing the paged one.

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

feat: expose deposit field in accounts and DReps endpoints

* Remove html from pr+master CI

* Add status badge to README

* Remove cardano-ledger-executable-spec from CI

* Move hs-build step to nightly; run conformance tests after build

* Update github actions' versions

* Merge copy_legacy_pdf action into CI

* Add Licence badge to README