This is a design limit. Contours will not pass through local highs if the heights have an identical match. You can use a very small negative {base_contour} value to shift the data slighty for contours to be generated in these special cases.
This will be treated as a documentation bug. This behavior needs to be documented and explained.