非可补数概念（nav.*、macro.*）不走 fill_gaps，因此也从不探测——于是
PriceEmptyInterval 对它们永远是空表，coverage 判定永远无法区分休市与缺口，
任何跨长假的窗口都被判 missing 且永远补不齐（那里本就没有数据）。

把「问一次上游」「读已探明的空区间」「记一条空区间」提为公开函数，让判定
coverage 但拒绝填充的调用方也能做同样的记账。私有名保留为薄别名，既有调用
零变更。

版本 0.5.40。