Repository navigation
[SEAM] W5.9 interop: connect Interop.Mock.Stack and land the green matrix run inside #60 #73
Description
Seam connection for merged PR #60 (W5.9 the transport-interop harness). PR #60 merged at 571fa6a carrying Interop/Mock/Stack.lean, per the organiser ruling of 7 November: an approved PR with a mock of a merged dependency merges, and the swap lands through this issue. The whole W5 stack stands now, and its seam swaps merged too (#64, #69+#79, #49+#84, #40+#82, #61+#80, #45, #46+#81), so every surface the mock stands for is real on hackathon26.
| Mock | Real dependency | The connections to make | Window |
|---|---|---|---|
Interop/Mock/Stack.lean |
the merged W5 stack: identity #11, core #15, security #16, mux #17, negotiate #18, host #19, identify/ping #20 | delete the mock, import the real packages in Interop.lean, wire the harness dial and listen paths over the real upgrader chain, and run the matrix |
20:45 UTC 2026-11-09 |
Definition of done
Interop/Mock/Stack.leanis gone; the harness drives the real stack onhackathon26.- The green matrix run of issue [W5.9] cli: the transport-interop harness (gate) #24's done-list lands as a follow-up pull request, recorded on [W5.9] cli: the transport-interop harness (gate) #24 with the timing JSON: dial and listen both ways, plus the silent-peer and slow-reader scenarios, and the binary SHA of the run.
- The ledger row for PR feat(cli): W5.9, the transport-interop harness and the matrix script #60 on issue [TRACKING] Machine-Checked Devcon Week: the task tree #25 gets struck when the swap lands.
lake build --wfail,lake test,lake test -- +RTS -N1 -RTS, andscripts/lint-imports.shstay green.
Ground rules
- The harness author (PR feat(cli): W5.9, the transport-interop harness and the matrix script #60) 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 mock and the green run is recorded on [W5.9] cli: the transport-interop harness (gate) #24. - Target the
hackathon26branch. Prose register everywhere: CLAUDE.md, "Writing Style".
Activity
refactor(cli): take the identity of the harness from libp2p/identity
refactor(cli): take the identity of the harness from libp2p/identity
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.feat(cli): run the interop harness on the real stack
feat(cli): run the interop harness on the real stack