Well, that's basically it.

I could well live without the HWKB even, but add one important requirement: no closed blobs on the device.

And I do mean none; all FW blobs should be open too, as well as all L2/L3/signalling stacks.
All algorithms documented. All sources provided, all tools provided, all build toolchains documented, all JEDEC files provided, all schematics provided, all gerber files provided.