Code Review Checklist

WIP. An initial draft based on a new team member's emerging understanding.

We delegate several checks to continuous integration tools:

• unit testing
• style, type annotation checking (lint)

But some aspects of house style are not automated:

• Object Capability Discipline - minimizing, if not eliminating, ambient authority (#2160)
• release notes; each package may use one of two styles:
  • CHANGELOG.md is auto-generated from conventional commits
  • NEWS.md is manual
• care with interleaving points: "The hazard is that, when both writing and reading a program, especially when reading other people's programs, an explicit await is not salient enough for people to understand that there's a turn boundary there, and that arbitrary turns interleave at that point, invalidating stateful assumptions." -- erights Apr 2020

See also: code-style issue label.