Re: pledge(2): kill(0, sig) is permitted under any promise via pid==0 exception, but the manpage lists kill(2) only under "proc"

This is intended behaviour.
In fact it is REQUIRED behaviour.

You could try changing it and seeing the effect.
Did you?  Clearly you didn't.

> this is live code diverging from the documented contract.

Get used to dissapointment.