Merge branch 'shumkov/v51-f0-pr2-document-request-version' into shumkov/v51-f0-pr3-pre-send-windows-and-index

Brings in v5.1-dev through #5636's branch: #5635, now merged, and the
yes/no vote poll queries (#5651). No conflicts.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: shumkov

.github/package-filters/rs-packages-direct.yml

@@ -102,6 +102,9 @@ drive-proof-verifier:
 dash-async:
   - packages/rs-dash-async/**
 
+dash-core-proof:
+  - packages/rs-core-proof/**
+
 dash-context-provider:
   - packages/rs-context-provider/**
 

.github/package-filters/rs-packages-no-workflows.yml

@@ -107,6 +107,9 @@ drive-abci:
 dash-async: &dash_async
   - packages/rs-dash-async/**
 
+dash-core-proof: &core_proof
+  - packages/rs-core-proof/**
+
 dash-context-provider: &context_provider
   - packages/rs-context-provider/**
   - *dash_async

.github/package-filters/rs-packages.yml

@@ -127,6 +127,10 @@ dash-async: &dash_async
   - .github/workflows/tests*
   - packages/rs-dash-async/**
 
+dash-core-proof: &core_proof
+  - .github/workflows/tests*
+  - packages/rs-core-proof/**
+
 dash-context-provider: &context_provider
   - .github/workflows/tests*
   - packages/rs-context-provider/**

.github/workflows/tests-rs-workspace.yml

@@ -246,13 +246,14 @@ jobs:
           cargo check -p dapi-grpc --no-default-features --features core,platform,client --locked
           cargo check -p drive-proof-verifier --locked
           cargo check -p dash-platform-queries --locked
+          cargo check -p dash-core-proof --locked
           # Native graphs: assert the networking transport stack stays out.
           # `tonic` itself is present (dapi-grpc's generated client types) but
           # without its transport feature — which is exactly what the absence
           # of hyper/rustls/tower proves. tokio is deliberately NOT asserted
           # absent: dash-context-provider depends on dash-async, which uses it
           # on native targets, and that edge predates the queries-crate split.
-          for native_package in drive-proof-verifier dash-platform-queries; do
+          for native_package in drive-proof-verifier dash-platform-queries dash-core-proof; do
             for banned in hyper rustls tower; do
               if cargo tree -p "$native_package" -e normal -i "$banned" 2>/dev/null | grep -q .; then
                 echo "::error::$banned leaked into $native_package's dependency tree"
@@ -458,6 +459,7 @@ jobs:
             --package drive-proof-verifier \
             --package dash-platform-queries \
             --package dash-async \
+            --package dash-core-proof \
             --package platform-value \
             --package platform-encryption \
             --package rs-dapi \

.github/workflows/tests.yml

@@ -180,6 +180,16 @@ jobs:
             exit 0
           fi
 
+          # A crate that compiles its README as doctests (`include_str!("../README.md")`)
+          # runs them whenever that README changes.
+          for readme in $(git diff --name-only "$BASE_SHA"...HEAD -- 'packages/*/README.md' 2>/dev/null); do
+            if grep -qsF 'include_str!("../README.md")' "$(dirname "$readme")/src/lib.rs"; then
+              echo "doctests-changed=true" >> "$GITHUB_OUTPUT"
+              echo "$readme is compiled as doctests and changed — doctests will run"
+              exit 0
+            fi
+          done
+
           echo "doctests-changed=false" >> "$GITHUB_OUTPUT"
           echo "No doctest changes — skipping doctests"