Specs the planner wrote, and proof screenshots the tester took. Implementation lands through GitHub pull requests.
None yet.