Phone LED Behavior
The red LED can be controlled by the BQ25895 charge controller's STAT pin. The STAT pin behaves the same as D302 on the dev kit, which was documented here: https://developer.puri.sm/Librem5/Hardware_Reference.html#leds
However, the software can (and likely will) disable this functionality when the phone boots. So this behavior is likely only valid when the phone is off.
When the STAT pin is disabled the red LED can be controlled by software to have any meaning (would need to be documented by the software devs for whatever they might represent). Therefore, we may need to clarify that the red LED used as a charging indicator may only be valid when the device is off (so long as the STAT pin was turned back on before powering off the phone).
The green and blue LEDs are controlled by software and can have any meaning the software devs intend (would need to be documented once this is assigned).