REDP-X40

用每个目标占用的视觉词元数 S 与一次调用必须覆盖的内容量 L，解释视觉语言模型为何漏掉大图中的小目标，并给出可证明安全的分解规则。