refactor(render): этап 4 — группировка без deepcopy и мутаций + фикс naive/aware краша (#31)

Убран copy.deepcopy всех сообщений на каждый запрос фида и мутация media_group_id.
Новая чистая функция _compute_time_based_group_ids(messages) → {msg.id:
effective_group_id}, сообщения не трогает; заменяет _create_time_based_media_groups.
_create_messages_groups читает маппинг (fallback на msg.media_group_id при
отсутствии). import copy удалён. Алгоритм воспроизводит старый байт-в-байт для
прод-входов (naive-safe сорт, кластеризация по naive-вычитанию дат, синтетический
time_{min} id, singletons без записи). Не-мутация закреплена тестами.

§3.11/§3.12 (ЖИВОЙ прод-500): дефолтный путь падал на сорт-ключе групп с aware
datetime.now(utc) против naive kurigram-дат → TypeError на ЛЮБОМ фиде с None-date
постом. Ключ переведён на timestamp (None → +inf, выживает в [:limit], в финале
садится в хвост через 0.0). Эмпирически подтверждено: и дефолтный, и
time-cluster путь крашились на старом коде, теперь проходят.

Golden — БЕЗ изменений (структурный рефактор; в корпусе 0 None-date, edge-фикс
байты не меняет; None-date поведение закреплено отдельным e2e-тестом, оракул не
тронут). test_group_ids.py (13 тестов) + обновления test_stage4_eventloop.
Полный сюит 378 passed, детерминирован PYTHONHASHSEED 1/42.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
2026-07-06 18:16:04 +03:00
parent 9519b37788
commit c4d2e87510
3 changed files with 352 additions and 80 deletions
+235
View File
@@ -0,0 +1,235 @@
# flake8: noqa
# pylint: disable=protected-access, missing-function-docstring, missing-class-docstring
# pylint: disable=redefined-outer-name, line-too-long
# pylance: disable=reportMissingImports, reportMissingModuleSource
"""Stage 4 (render-pipeline refactor, issue #31 / epic #34) — pure time-clustering.
`_create_time_based_media_groups` deep-copied every cached message per feed request and
MUTATED media_group_id. It is replaced by `_compute_time_based_group_ids`, a PURE function
returning {message.id: effective_media_group_id}; `_create_messages_groups` reads that
mapping instead of a mutated attribute. All tests use NAIVE dates (as kurigram emits on
prod), not aware-UTC mocks.
Behavior registry items exercised here: §3.11 (None-date excluded from clustering, no
mapping entry; own media_group_id still applies) and §3.12 (naive-safe sort keys; None-date
groups survive [:limit] as newest and land at the tail of the feed via the 0.0 final sort).
"""
import os
import time as _time
from datetime import datetime, timezone
from types import SimpleNamespace
import pytest
import rss_generator as rss_module
from rss_generator import (
_compute_time_based_group_ids,
_create_messages_groups,
generate_channel_html,
)
D = datetime # naive datetimes throughout
class _Str(str):
"""Str stand-in: .html returns the raw string (mirrors kurigram's Str)."""
@property
def html(self):
return str(self)
class Msg:
"""Minimal message stand-in for the pure clustering function (needs id/date/mgid)."""
def __init__(self, mid, date, media_group_id=None):
self.id = mid
self.date = date
self.media_group_id = media_group_id
self.service = None
def at(sec, minute=0):
# Naive local datetime, same shape kurigram's datetime.fromtimestamp() produces.
return D(2024, 1, 1, 12, minute, sec)
# --------------------------------------------------------------------------- #
# Core clustering equivalence with the old mutation.
# --------------------------------------------------------------------------- #
def test_time_cluster_without_id_gets_synthetic():
a, b = Msg(1, at(0)), Msg(2, at(2))
mapping = _compute_time_based_group_ids([a, b], merge_seconds=5)
synthetic = f"time_{at(0)}"
assert mapping == {1: synthetic, 2: synthetic}
def test_adoption_backfill_and_overwrite():
# First member has no id, second brings "B" (first truthy in cluster order -> wins and
# is BACKFILLED onto member 1), third brings "C" which is OVERWRITTEN to "B".
a, b, c = Msg(1, at(0)), Msg(2, at(2), "B"), Msg(3, at(4), "C")
mapping = _compute_time_based_group_ids([a, b, c], merge_seconds=5)
assert mapping == {1: "B", 2: "B", 3: "B"}
def test_falsy_id_ignored_like_old_code():
# 0 and "" are falsy: they are NOT adopted as the cluster id, exactly as the old
# truthiness check. A 2-member cluster with only falsy ids gets a synthetic id.
a, b = Msg(1, at(0), 0), Msg(2, at(2), "")
mapping = _compute_time_based_group_ids([a, b], merge_seconds=5)
synthetic = f"time_{at(0)}"
assert mapping == {1: synthetic, 2: synthetic}
def test_singleton_gets_no_entry():
# A lone message (even one carrying a truthy media_group_id) forms a singleton cluster
# and gets NO entry; downstream it falls back to its own media_group_id.
lonely = Msg(1, at(0), "MG")
far = Msg(2, at(30, minute=1), "OTHER") # >5s gap -> separate singleton
mapping = _compute_time_based_group_ids([lonely, far], merge_seconds=5)
assert mapping == {}
def test_input_is_not_mutated():
a, b, c = Msg(1, at(0)), Msg(2, at(2), "B"), Msg(3, at(4), "C")
before = [(m.id, m.date, m.media_group_id) for m in (a, b, c)]
_compute_time_based_group_ids([a, b, c], merge_seconds=5)
after = [(m.id, m.date, m.media_group_id) for m in (a, b, c)]
assert before == after
assert a.media_group_id is None and b.media_group_id == "B" and c.media_group_id == "C"
def test_ties_equal_dates_cluster_in_fetch_order():
# Equal dates -> stable sort keeps fetch order; they cluster (gap 0 <= merge) and the
# first truthy id in fetch order wins.
a, b = Msg(1, at(5), "FIRST"), Msg(2, at(5), "SECOND")
mapping = _compute_time_based_group_ids([a, b], merge_seconds=5)
assert mapping == {1: "FIRST", 2: "FIRST"}
def test_gap_uses_naive_datetime_subtraction_not_timestamps():
# The gap is a NAIVE wall-clock subtraction, exactly as the old code — NOT a timestamp
# diff (which diverges across a DST fold). Pin a DST zone: the two posts are 2s apart on
# the wall clock inside the ambiguous "fall back" hour, so their real elapsed time is
# ~1h. Naive subtraction sees 2s -> they cluster; a timestamp diff would not.
os.environ["TZ"] = "America/New_York"
_time.tzset()
try:
# 2024-11-03 01:30:00 and 01:30:02 — inside the repeated hour after DST fall-back.
a = Msg(1, D(2024, 11, 3, 1, 30, 0))
b = Msg(2, D(2024, 11, 3, 1, 30, 2))
mapping = _compute_time_based_group_ids([a, b], merge_seconds=5)
synthetic = f"time_{D(2024, 11, 3, 1, 30, 0)}"
assert mapping == {1: synthetic, 2: synthetic}
finally:
os.environ["TZ"] = "UTC"
_time.tzset()
# --------------------------------------------------------------------------- #
# §3.11 — None-date posts: excluded from clustering, own media_group_id still applies.
# --------------------------------------------------------------------------- #
def test_none_date_gets_no_mapping_entry():
dated, nodate = Msg(1, at(0), "MG"), Msg(2, None, "MG")
mapping = _compute_time_based_group_ids([dated, nodate], merge_seconds=5)
assert 2 not in mapping # None-date never participates
def test_mixed_none_date_does_not_crash():
# The historical prod bug: a single None-date post amid naive-dated posts raised
# TypeError. The pure function must simply skip it.
msgs = [Msg(1, at(0)), Msg(2, None), Msg(3, at(2))]
mapping = _compute_time_based_group_ids(msgs, merge_seconds=5) # must not raise
assert 2 not in mapping
# The two dated posts still cluster (2s apart) under a synthetic id.
synthetic = f"time_{at(0)}"
assert mapping == {1: synthetic, 3: synthetic}
def test_fully_none_input_yields_empty_mapping():
# Registry §3.11: the old code clustered a fully-None tail by insertion order (only
# reachable via aware-date test mocks). New behavior: no clustering at all.
msgs = [Msg(1, None, "A"), Msg(2, None), Msg(3, None)]
assert _compute_time_based_group_ids(msgs, merge_seconds=5) == {}
def test_none_date_media_group_still_assembled_downstream():
# None-date posts get no mapping entry but keep their own media_group_id, so a media
# group made of None-date members is still assembled by _create_messages_groups.
m1, m2 = Msg(10, None, "SHARED"), Msg(11, None, "SHARED")
solo = Msg(12, at(0))
mapping = _compute_time_based_group_ids([m1, m2, solo], merge_seconds=5)
groups = _create_messages_groups([m1, m2, solo], mapping)
shared = [g for g in groups if len(g) == 2]
assert len(shared) == 1
assert {m.id for m in shared[0]} == {10, 11}
# --------------------------------------------------------------------------- #
# §3.12 — naive-safe group sort: None-date groups survive [:limit] and land at the tail.
# --------------------------------------------------------------------------- #
def test_create_messages_groups_none_date_does_not_crash_default_path():
# This is the LIVE default-path 500: a None-date group used to fall back to an AWARE
# now() in the group sort key and blow up against the naive real dates. No mapping /
# time_based_merge needed — plain grouping must survive.
dated = Msg(1, at(0))
nodate = Msg(2, None)
groups = _create_messages_groups([dated, nodate]) # must not raise
# None-date group sorts as newest (float('inf')) -> first here (reverse=True).
assert groups[0][0].id == 2
def _make_message(mid, text, date, media_group_id=None):
m = SimpleNamespace()
m.id = mid
m.date = date
m.text = _Str(text) if text is not None else None
m.caption = None
m.media = None
m.web_page = None
m.poll = None
m.service = None
m.forward_origin = None
m.reply_to_message = None
m.reply_to_message_id = None
m.sender_chat = None
m.from_user = None
m.reactions = None
m.views = 100
m.media_group_id = media_group_id
m.show_caption_above_media = False
m.chat = SimpleNamespace(id=-1001234567890, username="testchan")
for attr in ("photo", "video", "document", "audio", "voice",
"video_note", "animation", "sticker"):
setattr(m, attr, None)
return m
@pytest.mark.asyncio
async def test_none_date_post_renders_and_lands_at_feed_end(monkeypatch):
# END-TO-END regression for the live prod 500: a None-date post in a feed of real-dated
# posts, WITH time_based_merge. Old code raised TypeError (naive vs aware) in BOTH the
# group sort key (default path) and the time-cluster sort -> HTTP 500 on the default
# feed path. New code renders it and, per §3.12, places it at the tail of the feed.
posts = [
_make_message(1, "OLDEST_REAL", at(0)),
_make_message(2, "NEWEST_REAL", at(30)),
_make_message(3, "NONE_DATE_POST", None),
]
async def fake_get_chat(client, channel):
return SimpleNamespace(title="Test", username="testchan", id=-1001234567890)
async def fake_get_history(client, channel, limit=20):
return posts
monkeypatch.setattr("tg_cache.cached_get_chat", fake_get_chat, raising=False)
monkeypatch.setattr("tg_cache.cached_get_chat_history", fake_get_history, raising=False)
monkeypatch.setitem(rss_module.Config, "time_based_merge", True)
html = await generate_channel_html("testchan", client=SimpleNamespace(), limit=10)
assert "NONE_DATE_POST" in html
assert "NEWEST_REAL" in html and "OLDEST_REAL" in html
# None-date post renders LAST (final post sort fallback 0.0 -> tail of feed, §3.12).
assert html.index("NONE_DATE_POST") > html.index("OLDEST_REAL")
assert html.index("NONE_DATE_POST") > html.index("NEWEST_REAL")
+22 -11
View File
@@ -17,7 +17,6 @@ Covers:
ALL outputs — rss, html-feed, single-post html, and json — each with exactly one pass.
"""
import re
import copy
import pickle
import asyncio
import threading
@@ -35,7 +34,7 @@ from rss_generator import (
generate_channel_rss,
generate_channel_html,
_render_pipeline,
_create_time_based_media_groups,
_compute_time_based_group_ids,
_create_messages_groups,
_trim_messages_groups,
_render_messages_groups,
@@ -92,7 +91,7 @@ def _co_names(func):
# ---------------------------------------------------------------------------
def test_render_functions_are_sync():
for fn in (_create_time_based_media_groups, _create_messages_groups,
for fn in (_compute_time_based_group_ids, _create_messages_groups,
_trim_messages_groups, _render_messages_groups, _render_pipeline):
assert not asyncio.iscoroutinefunction(fn), f"{fn.__name__} must be a plain sync function"
@@ -124,15 +123,27 @@ async def test_pipeline_runs_in_worker_thread(monkeypatch):
assert seen["ident"] != main_ident, "render pipeline must run in a worker thread, not the loop thread"
def test_deepcopy_of_pickled_message_does_not_crash():
def test_time_clustering_does_not_mutate_pickled_message():
# Stage 4: _create_time_based_media_groups (which deep-copied the cached list and
# MUTATED media_group_id) is gone. Time-clustering is now a PURE mapping function; a
# pickled Message straight from the cache must come out untouched.
from pyrogram.types import Message, Chat
from pyrogram.enums import ChatType
m = Message(id=7, date=datetime.now(timezone.utc), text="hello",
chat=Chat(id=-1001, type=ChatType.CHANNEL, username="testchan"))
roundtripped = pickle.loads(pickle.dumps(m)) # mimics the pickle cache
clone = copy.deepcopy(roundtripped) # what _create_time_based_media_groups does
assert clone.id == 7
assert clone.chat.username == "testchan"
base = datetime(2024, 1, 1, 12, 0, 0) # naive, as kurigram emits
a = pickle.loads(pickle.dumps(Message(
id=7, date=base, text="hello", media_group_id="orig_A",
chat=Chat(id=-1001, type=ChatType.CHANNEL, username="testchan"))))
b = pickle.loads(pickle.dumps(Message(
id=8, date=base.replace(second=2), text="world", media_group_id=None,
chat=Chat(id=-1001, type=ChatType.CHANNEL, username="testchan"))))
mapping = _compute_time_based_group_ids([a, b], merge_seconds=5)
# The two adjacent posts are clustered under the first truthy id, but only via the
# RETURNED mapping — the input objects keep their original media_group_id.
assert mapping == {7: "orig_A", 8: "orig_A"}
assert a.media_group_id == "orig_A"
assert b.media_group_id is None
# ---------------------------------------------------------------------------
@@ -142,7 +153,7 @@ def test_deepcopy_of_pickled_message_does_not_crash():
def test_render_path_has_no_asyncio_side_effects():
banned = {"create_task", "get_running_loop", "to_thread", "ensure_future"}
funcs = [
_render_pipeline, _create_time_based_media_groups, _create_messages_groups,
_render_pipeline, _compute_time_based_group_ids, _create_messages_groups,
_trim_messages_groups, _render_messages_groups,
PostParser.process_message, PostParser._generate_html_body,
PostParser._generate_html_media, PostParser.generate_html_footer,