Skip to content

Add support for new ledger state query GetDRepDelegations in NodeToClientV_23#1794

Merged
jasagredo merged 1 commit intomainfrom
js/ktorz/GetDRepDelegations
Feb 6, 2026
Merged

Add support for new ledger state query GetDRepDelegations in NodeToClientV_23#1794
jasagredo merged 1 commit intomainfrom
js/ktorz/GetDRepDelegations

Conversation

@jasagredo
Copy link
Contributor

Description

The PR wires in a new ledger state query that was recently added but never got properly wired in.

This PR requires IntersectMBO/ouroboros-network#5222 due to the nice dependency on the network version there 😬.

Note that I do expect some help getting this merged. The repository is complex to build, and I kindly refuse to use Nix. So if anything goes wrong with CI, I would appreciate a little nudge from the maintainers to getting this through. It's been living on a fork of mine for a while, yet I can't properly make this available to end users in Ogmios without "official" support for it in the node.

Thanks.

@jasagredo
Copy link
Contributor Author

This PR is blocked because it requires an integration of ouroboros-network latest main into consensus.

src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Query/Version.hs:31:3: error: [GHC-76037]
    Not in scope: data constructor ‘NodeToClientV_23’
    Suggested fix:
      Perhaps use one of these:
        ‘NodeToClientV_20’ (imported from Ouroboros.Network.NodeToClient.Version),
        ‘NodeToClientV_21’ (imported from Ouroboros.Network.NodeToClient.Version),
        ‘NodeToClientV_22’ (imported from Ouroboros.Network.NodeToClient.Version)
   |
31 |   NodeToClientV_23 -> QueryVersion3
   |   ^^^^^^^^^^^^^^^^

@jasagredo jasagredo self-assigned this Dec 4, 2025
@jasagredo jasagredo moved this to 🚫 Help needed in Consensus Team Backlog Dec 4, 2025
Base automatically changed from geo2a/revert-peras-4 to main December 4, 2025 21:50
@jasagredo jasagredo force-pushed the js/ktorz/GetDRepDelegations branch from 4728551 to f37288d Compare January 13, 2026 13:39
@jasagredo jasagredo force-pushed the js/ktorz/GetDRepDelegations branch from f37288d to 1feaeba Compare January 30, 2026 10:37
@jasagredo jasagredo changed the base branch from main to geo2a/10.7-integration-network January 30, 2026 10:37
@jasagredo jasagredo moved this from 🚫 Help needed to 👀 In review in Consensus Team Backlog Jan 30, 2026
@jasagredo jasagredo force-pushed the js/ktorz/GetDRepDelegations branch from 1feaeba to 971adbd Compare January 30, 2026 13:53
@geo2a geo2a force-pushed the geo2a/10.7-integration-network branch 2 times, most recently from ce178b5 to ff3072d Compare January 30, 2026 15:23
Base automatically changed from geo2a/10.7-integration-network to main February 2, 2026 12:12
@jasagredo jasagredo force-pushed the js/ktorz/GetDRepDelegations branch from 971adbd to 46f2997 Compare February 2, 2026 12:34
@jasagredo jasagredo force-pushed the js/ktorz/GetDRepDelegations branch 3 times, most recently from 26da5a1 to 73659ea Compare February 4, 2026 08:36
@jasagredo jasagredo enabled auto-merge February 4, 2026 08:36
@jasagredo jasagredo force-pushed the js/ktorz/GetDRepDelegations branch 3 times, most recently from 4d8485b to 9b66da2 Compare February 6, 2026 11:13
Co-authored-by: KtorZ <matthias.benkort@gmail.com>
@jasagredo jasagredo force-pushed the js/ktorz/GetDRepDelegations branch from 9b66da2 to d05876d Compare February 6, 2026 11:32
@jasagredo jasagredo added this pull request to the merge queue Feb 6, 2026
Merged via the queue into main with commit 8fa2fcc Feb 6, 2026
14 of 18 checks passed
@jasagredo jasagredo deleted the js/ktorz/GetDRepDelegations branch February 6, 2026 13:20
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Consensus Team Backlog Feb 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

3 participants