Reverse_Drizzle

Sphere → Plane Drizzle

定位

用于后续Phase3区域导出，也作为Drizzle底层双向重投影能力。Phase1只冻结算法库和正式API，不开发完整Phase3产品界面。

球面面积规则

• HEALPix leaf使用真实/采样球面footprint；
• pixfrac沿球面向leaf中心收缩；
• 目标平面像素通过WCS/SIP形成球面footprint；
• 权重只由球面overlap面积决定；
• 禁止使用目标投影平面的二维面积代替球面面积。

HISS signal/support语义

HISS保存：

• signal：该leaf已覆盖区域中的累计通量；
• support=f：leaf被覆盖的面积比例。

HISS不保存覆盖子形状，因此反向导出只能采用：

覆盖在leaf内部均匀分布的期望值假设。

令收缩后的源drop面积为A_drop，与目标平面像素的球面重叠面积为a，则：

output_signal += signal × a / A_drop
output_covered_area += f × a
output_support = output_covered_area / target_pixel_area

解释：

• 假设覆盖部分在leaf内均匀分布；
• 被覆盖区域的平均表面亮度为signal/(f×A_drop)；
• 期望被覆盖的重叠面积为f×a；
• 两者相乘后，输出signal中的f约掉；
• support只影响输出coverage，不重复缩放signal。

该公式是唯一权威语义，取代旧的“signal除以support后对完整overlap积分”公式。

已知限制

support为uint8量化时，极小覆盖可能量化为0而signal仍非零。反向导出应保留signal，并在provenance中说明coverage量化不确定性；Phase2/HICS应优先保存更高精度coverage。