Binary Session Types Benchmark Dataset: 79 Protocols with Lattice-Structured State Spaces

A curated collection of 79 binary session-type protocol benchmarks spanning networking, distributed systems, AI agents, databases, concurrency, biology, design patterns, and fault tolerance. All 79 protocols use the core binary session type grammar (branch, selection, parallel, recursion, end) and produce lattice-structured state spaces under the reachability ordering. Includes the core Reticulate Python library (parser, state-space builder, lattice checker) for reproducing the results. Step 1 artifact of the "Session Types as Algebraic Reticulates" research programme.