Work
Eight products are in write-up. A case study is published here only after its claims are verified against the repository that shipped it. Until then, this section stays empty on purpose.
Protocol
Verification protocol
A written spec exists for it: the problem, what it does, how it was built, and where it stands.
Every claim in that spec is checked against the repository that shipped it.
The live deployment is fetched automatically and its page title is verified to match before publish.