Searching protocol for "acsets"
Build robust RwEq proofs with canonical lemmas.
Write behavior-driven tests with real dependencies.
Guides fast, clear code docs.