Planarian guarantees

Generated from the repository at one commit per snapshot (SPEC §17c).

• main
• index.html