dash(s8): embedded won-block relay end-to-end KAT (won-block-reaches-network) - #476
Merged
Conversation
frstrtr
force-pushed
the
dash/s8-embedded-relay-e2e
branch
from
June 25, 2026 09:32
d5ffc23 to
06bf185
Compare
…network) G3b proved the dashd submitblock RPC FALLBACK arm of the dual-path block-viability gate end-to-end on regtest (c2pool-dash won block 272, ACCEPTED, mempool drained). This KAT proves the OTHER arm — the EMBEDDED P2P relay — at the wire-framing level, which G3b never exercised. Composes the LANDED master leaves socket-free, so it carries no dependency on the operator-gated broadcaster_full.hpp keystone: DashBroadcaster (#405) fan-out seam --> WonBlockRelay (#432/#441) inv(MSG_BLOCK,h) -> getdata -> block --> peer reconstructs the block 4 KATs (Linux x86_64, ctest 4/4, non-hollow): - DeliversExactWonBlockToEveryLivePeer: every live slot reconstructs the EXACT won block; byte-parity vs canonical block-message wire bytes. - ColdPoolReachesNoPeer: zero live peers -> embedded arm reaches none — precisely why the authoritative dashd-RPC fallback arm is never removed. - NeverServesUnannouncedBlock: relay serves only the announced won block. - ByteParityIdenticalAcrossAllPeers: no per-peer fan-out drift. Single dash tree, non-consensus, zero sockets; block hash is producer- supplied (not recomputed). Additive only: one new test file + build.yml allowlist + CMakeLists target; no src, no master, no other-coin tree.
frstrtr
force-pushed
the
dash/s8-embedded-relay-e2e
branch
from
June 25, 2026 12:12
06bf185 to
eb7eccb
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Proves the EMBEDDED P2P relay arm of the dual-path block-viability gate (#83), the arm G3b did NOT exercise — G3b proved only the dashd submitblock RPC fallback arm (won block 272 ACCEPTED on regtest).
What it proves
Composes the LANDED master leaves socket-free, so NO dependency on the operator-gated broadcaster_full.hpp keystone:
KATs (ctest 4/4, Linux x86_64, non-hollow)
Scope
Additive only: one new test file + build.yml allowlist + CMakeLists target. No src, no master, no other-coin tree. Single dash tree, non-consensus, zero sockets; block hash producer-supplied (not recomputed) so it carries no consensus value. Held for integrator verify → operator tap; no self-merge.