Is CSS top:[%] bugged on mobile-safari when parent element has big borders?

Question

I found a weird behavior when positioning a child element using top:[%]. On mobile-safari, given top/bottom borders of sufficient size, the behavior seems to switch: Instead