Was it pilot error or a bug. The absence of proximity warnings suggests a bug. I’m still not sure.