https://pkg.go.dev/golang.org/x/tools/go/packages#DriverResponse documents that packages should be returned by go/packages drivers, but is unclear about precisely which fields must be populated. (Clearly, some fields cannot be json serialized). There is some discussion of syntax, types, and imports, but this discussion does not enumerate fields.

We should document, perhaps at the field level, which fields are relevant for the driver protocol.