Repository navigation
[SEAM] W6.3 req/resp: drop the three mocks after PR #46 #78
Description
[SEAM] W6.3 req/resp: drop the three mocks after PR #46
PR #46 merged at b839d38 with three own mocks carried, per the organiser ruling of 7 November. All three dependencies are merged now, so every row owes a drop:
| Mock | Real dependency | The connections to make | Window |
|---|---|---|---|
Protocols.Mock.Core |
#15 W5.2 (merged, PR #64) |
done: PR #81 merged at 6a1f832; the req/resp seam types come from Libp2p.Core, and the mock module remains only for identify and ping (issue #55) |
- |
Protocols.Mock.Muxer |
#17 W5.4 (merged, PR #49 and PR #84) |
delete the mock: Mux.yamux and Mux.test are real Core.Muxer values since PR #84, so the suite takes muxer from them (the suite binds it at Tests/ReqResp.lean:633); PR #81's retype was the honest intermediate state |
00:18 UTC 2026-11-08 (lapsed; the deletion is owed now) |
Protocols.Mock.HostStream |
#19 W5.6 (merged, PR #61) |
delete the mock, take the stream and its StreamContext from the real swarm registry |
00:32 UTC 2026-11-08 |
Triggers: the core window ran when PR #64 merged on 7 November at 07:22 UTC; the muxer window ran when PR #49 merged at 12:18 UTC; the host window ran when PR #61 merged at 12:32 UTC.
Definition of done
hackathon26carries noProtocols/Mock/module.#print axiomsover the package theorems showspropext,Classical.choice, andQuot.soundonly.- The ledger rows for PR feat(protocols): W6.3, the req/resp framework over the snappy framing format #46 on issue [TRACKING] Machine-Checked Devcon Week: the task tree #25 get struck when the swaps land.
lake build --wfail,lake test,lake test -- +RTS -N1 -RTS, andscripts/lint-imports.shstay green.
Ground rules
- The req/resp author (PR feat(protocols): W6.3, the req/resp framework over the snappy framing format #46) owes this work; comment
claimto take it if they do not. - Work lands as a follow-up pull request against
hackathon26from the author's fork. This issue closes when the tip is clean of the mocks. - Prose register everywhere: CLAUDE.md, "Writing Style".
Activity
refactor(protocols): run req/resp over the seam types of libp2p/core
docs(protocols): state the muxer mock swap is due after etheorem#84 l…
IvanAnishchuk commentedon Nov 10, 2026
#86 moves the host onto the merged
libp2p/negotiateand deletesNegotiate.Legacy. No existing signature changes. The host adds four names:Libp2p.Host.upgraderuns the upgrade, with the secured checkpoint after the handshake and before the muxer stage.Libp2p.Host.negotiateStreamruns multistream-select on a muxedStream, and hands the bytes after the selection to the handler.UpgradedandAdmissionnow live inLibp2p.Host. No code outside the host named them before.Once #86 merges,
Tests/Host.leanruns real hosts over the sim (unit 1b). A swap of this unit's host mock can build its test hosts the same way.docs(protocols): drop the stale negotiate-mock sentence of req/resp
test(protocols): run the req/resp sim checks between two real hosts
docs(protocols): drop the stale negotiate-mock sentence of req/resp
test(protocols): run the host pair on the fixed-key Noise value and a…