Machine-Checked Devcon Week: the task tree

One issue per unit of docs/PLAN.md, all labelled HACKATHON. The rules of the week live in RULES.md: comment claim to take an issue, one at a time; a pull request within 8 hours of the assignment, drafts count; every issue is claimable from day one, and you build ahead of open dependencies against mocks of their frozen interfaces; organisers review within 12 hours. Work targets hackathon26. The score multiplies code quality by proof coverage, so prove what the unit owns. Questions go to the event channel.

The tree (the plan's tracks, with issue numbers)

W1 foundations (parallel)
 ├─ track A (codecs):  #2 W1.2 → #3 W2.1 → {#7 W2.2 · #8 W2.3}
 ├─ track B (crypto):  #2 W1.2 → {#4 W3.1 · #5 W3.2} → #9 W3.3
 └─ track C (net):     #1 W1.1 (+#2 W1.2) → #10 W4.1 → {#13 W4.2 · #14 W4.3}
W5 joins all three tracks
 └─ #11 W5.1 → #15 W5.2 → {#16 W5.3 · #17 W5.4} → #18 W5.5
    → #19 W5.6 → #20 W5.7 → #22 W5.8 → #24 W5.9
W6 consensus extension
 └─ {#12 W6.1 · #6 W6.2} → #21 W6.3 → #23 W6.4

The issues, in tree order

Every issue is claimable from day one. The needs lines give the merge order, and the dependencies you mock until they merge.

• [W1.1] base/conc: the concurrency primitives #1 — W1.1 base/conc: the concurrency primitives
• [W1.2] base/bytes: the byte model #2 — W1.2 base/bytes: the byte model
• [W2.1] codec/varint: the unsigned varint #3 — W2.1 codec/varint · needs [W1.2] base/bytes: the byte model #2
• [W3.1] crypto/pure: the pure digests, HMAC, and HKDF #4 — W3.1 crypto/pure · needs [W1.2] base/bytes: the byte model #2
• [W3.2] crypto/backend: the OpenSSL 3 shim and the etheorem pins #5 — W3.2 crypto/backend · needs [W1.2] base/bytes: the byte model #2
• [W6.2] codec/snappy: the snappy binding #6 — W6.2 codec/snappy · needs [W1.2] base/bytes: the byte model #2
• [W2.2] codec/proto: the protobuf wire codec #7 — W2.2 codec/proto · needs [W1.2] base/bytes: the byte model #2, [W2.1] codec/varint: the unsigned varint #3
• [W2.3] codec/multiformats: the multiformat family #8 — W2.3 codec/multiformats · needs [W1.2] base/bytes: the byte model #2, [W2.1] codec/varint: the unsigned varint #3
• [W3.3] the Crypto facade and the cross-check #9 — W3.3 the Crypto facade and the cross-check · needs [W3.1] crypto/pure: the pure digests, HMAC, and HKDF #4, [W3.2] crypto/backend: the OpenSSL 3 shim and the etheorem pins #5
• [W4.1] net/streams: connections, framing, and the transports #10 — W4.1 net/streams core · needs [W1.1] base/conc: the concurrency primitives #1, [W1.2] base/bytes: the byte model #2
• [W5.1] libp2p/identity: keys and peer ids #11 — W5.1 libp2p/identity · needs [W2.2] codec/proto: the protobuf wire codec #7, [W2.3] codec/multiformats: the multiformat family #8, [W3.3] the Crypto facade and the cross-check #9
• [W6.1] libp2p/identity: the ENR codec #12 — W6.1 the ENR codec · needs [W5.1] libp2p/identity: keys and peer ids #11, [W3.2] crypto/backend: the OpenSSL 3 shim and the etheorem pins #5
• [W4.2] net/streams: the TCP transport #13 — W4.2 net/streams tcp · needs [W4.1] net/streams: connections, framing, and the transports #10, [W1.1] base/conc: the concurrency primitives #1
• [W4.3] net/yamux: the stream muxer #14 — W4.3 net/yamux · needs [W4.1] net/streams: connections, framing, and the transports #10
• [W5.2] libp2p/core: the types and the seams #15 — W5.2 libp2p/core · needs [W4.1] net/streams: connections, framing, and the transports #10, [W5.1] libp2p/identity: keys and peer ids #11
• [W5.3] libp2p/security: Noise XX #16 — W5.3 libp2p/security Noise XX · needs [W4.2] net/streams: the TCP transport #13, [W3.3] the Crypto facade and the cross-check #9, [W5.2] libp2p/core: the types and the seams #15
• [W5.4] libp2p/mux: the Muxer values #17 — W5.4 libp2p/mux · needs [W4.3] net/yamux: the stream muxer #14, [W5.2] libp2p/core: the types and the seams #15
• [W5.5] libp2p/negotiate: multistream-select and the upgrader #18 — W5.5 libp2p/negotiate · needs [W5.2] libp2p/core: the types and the seams #15, [W5.3] libp2p/security: Noise XX #16, [W5.4] libp2p/mux: the Muxer values #17
• [W5.6] libp2p/host: host, swarm, peerstore, dedup #19 — W5.6 libp2p/host · needs [W5.5] libp2p/negotiate: multistream-select and the upgrader #18, [W5.1] libp2p/identity: keys and peer ids #11, [W1.1] base/conc: the concurrency primitives #1
• [W5.7] libp2p/protocols: identify and ping #20 — W5.7 libp2p/protocols identify and ping · needs [W5.6] libp2p/host: host, swarm, peerstore, dedup #19
• [W6.3] req/resp: the ssz_sn framework #21 — W6.3 req/resp ssz_sn · needs [W5.6] libp2p/host: host, swarm, peerstore, dedup #19, [W6.2] codec/snappy: the snappy binding #6
• [W5.8] cli: the demo and ping binaries #22 — W5.8 cli: the demo and ping binaries · needs [W5.7] libp2p/protocols: identify and ping #20
• [W6.4] gossipsub v1.1 (gate) #23 — W6.4 gossipsub v1.1 (gate) · needs [W5.6] libp2p/host: host, swarm, peerstore, dedup #19, [W5.7] libp2p/protocols: identify and ping #20, [W1.1] base/conc: the concurrency primitives #1
• [W5.9] cli: the transport-interop harness (gate) #24 — W5.9 cli: the transport-interop harness (gate) · needs [W5.8] cli: the demo and ping binaries #22

Cross-edges the arrows hide

The tree draws the tracks. These edges cross them, and each issue body names them:

Mock substitution ledger

A merged pull request may carry mocks of unmerged dependencies (RULES.md, Working ahead of the tree). Each row names one mock, the dependency it stands in for, and the connections that replace it. The author of the mocked pull request drops the mocks within 12 hours of the last dependency merge, and CI goes green without mocks.

The Pb.Mock.* rows are done: PR #48 merged on 2026-11-05 and carries the real dependencies. The Crypto.Mock.CryptoPure row is done: PR #57 merged on 2026-11-06 (issue #52). The Streams.Mock.* rows are done: PR #58 merged on 2026-11-06 (issue #51).

A pull request that lands with mocks adds its rows here at merge time.

The critical path

#1 → #2 → #3 → #7 → #11 → #15 → #16 → #18 → #19 → #20 → #22 → #24 → #21 → #23

(W0 has landed; its commit is the scaffold every unit starts from.)