Check out our usage page for instructions on how to depend on them in your project, and our guidelines on when you should start doing so. (Hint: it depends on how ready your nullness analyzer is to support JSpecify, and whether you or your users also use Kotlin.)

We've updated our User Guide and our Javadoc. We're still working on updating the specification to reflect all of our design decisions (ETA: end of August), but that's more useful to nullness analyzer implementers.

October update: We've now also updated our specification.