验证空输入和单侧分区仍包含true/false，区分固定分类结构与记录数量，并核对counting及maxBy的空结果协议。