92eb316a83
Test comments referenced internal design documents that are not part of this repository. The relevant invariants are now stated inline.