Function propagate_sky_light_changes_with_empty_sections 

pub fn propagate_sky_light_changes_with_empty_sections(
    workset: &LightWorkset,
    positions: impl IntoIterator<Item = BlockPos>,
    empty_sections: impl IntoIterator<Item = LightSectionEmptinessChange>,
) -> Result<SkyLightUpdateResult, SkyLightPropagationContextError>

Runs sky-light propagation after applying real section emptiness transitions.