<!--{"order": 20, "description": "Why tosijs-pattern works the way it does: its speed, and the plan for a formal specification."}-->

# Design

How fast it is and why, and how its semantics will be specified and proved.

<!-- toc -->
- [Performance](/performance/)
- [A formal specification in Lean 4](/formal/)
<!-- /toc -->