deleteSummaryView does not clean up computed partition summaries

When a summary view is deleted via DELETE /v1/summary-views/{view_id}, the computed partition summaries are left behind as orphaned keys in Redis. Over time (or across repeated reset cycles), these accumulate and are never cleaned up.

Current behavior

delete_summary_view only removes:

• summary_view:{view_id}:config (the view definition)
• The view ID entry from summary_view:index (the index set)

It does not remove:
summary_view:{view_id}:summary:{partition_key} (computed partition summaries)

The source code confirms this is intentional-for-now:

async def delete_summary_view(view_id: str) -> None:
    """Delete a SummaryView config and remove it from the index.

    Stored partition summaries are left as-is for now; they can be cleaned
    up in a later pass if needed.
    """
    redis = await get_redis_conn()
    await redis.delete(_config_key(view_id))
    await redis.srem(_SUMMARY_VIEW_INDEX_KEY, view_id)

Expected behavior

delete_summary_view should also delete all computed partition summaries for the view

Start at the delete_summary_view function handling DELETE /v1/summary-views/{view_id}, then inspect the existing Redis key helpers for summary_view:{view_id}:summary:{partition_key}. Done means deleting the configuration, index entry, and every computed partition summary for the view without leaving orphaned Redis keys.