mirror of
https://github.com/hanzoai/insights.git
synced 2026-11-02 09:24:48 +00:00
zeekay
1b367e2b62
The tree was a debranded snapshot of upstream taken around 2026-02-20, and upstream has moved about five months since. This replaces it with upstream master, mechanically re-derived: bin/debrand does the rename, and the pipeline and squashed migrations are restored from the shipped tree. Not a merge. The previous import replaced the tree wholesale in a single commit, so there is no shared content history to merge against. Reproducing the rename on the new tree is what actually converges. What survives: .hanzo/workflows, the Dockerfiles and bin/docker* entrypoints, compose files, LLM.md, and insights/migrations. The squashed initial migration is load-bearing — the live database records it by name, so upstream's ~918 individual migrations cannot come back. Nine products are dropped as unreferenced. Twenty-one more that we do not run are kept anyway because the core app still imports them; unpicking those is a refactor and does not belong in a rebase. This base does not build yet, and the reasons are not in the rename: upstream now wants Python 3.13.13 against our 3.12.12 and Django 5.2 against our 4.2, and the dependency manifests still name upstream packages that we republish under our own names. Those are decisions, not renames.
83 lines
2.7 KiB
Python
83 lines
2.7 KiB
Python
"""
|
|
Ephemeral caret/presence broadcasting for notebook collaboration.
|
|
|
|
Presence lives in its own Redis stream per notebook: the content stream's ids ARE
|
|
document versions (a CAS invariant), so presence can't share it. Ids here are
|
|
auto-generated and entries are short-lived — receivers always render the latest
|
|
ping per client and TTL-prune the rest, so a dropped event self-heals on the next one.
|
|
"""
|
|
|
|
import json
|
|
from typing import Any
|
|
|
|
import structlog
|
|
import redis.exceptions as redis_exceptions
|
|
|
|
from insights import redis as redis_module
|
|
|
|
logger = structlog.get_logger(__name__)
|
|
|
|
PRESENCE_STREAM_KEY_PATTERN = "notebook:collab:{{{team_id}:{notebook_id}}}:presence"
|
|
|
|
PRESENCE_TTL_SECONDS = 60 * 5
|
|
PRESENCE_MAX_LENGTH = 256
|
|
# On connect, replay this much recent presence so a fresh tab sees existing carets immediately.
|
|
PRESENCE_BACKFILL_MS = 10_000
|
|
|
|
PRESENCE_EVENT_TYPE = "presence"
|
|
|
|
_DATA_KEY = b"data"
|
|
|
|
|
|
def publish_presence(
|
|
team_id: int,
|
|
notebook_id: str,
|
|
*,
|
|
client_id: str,
|
|
user_id: int,
|
|
user_name: str,
|
|
version: int,
|
|
cursor: dict[str, Any],
|
|
) -> None:
|
|
"""Fire-and-forget caret broadcast. Lossy by design: receivers always render the latest
|
|
ping per client and TTL-prune the rest, so a dropped event self-heals on the next one."""
|
|
client = redis_module.get_client()
|
|
stream_key = PRESENCE_STREAM_KEY_PATTERN.format(team_id=team_id, notebook_id=notebook_id)
|
|
payload = {
|
|
"type": PRESENCE_EVENT_TYPE,
|
|
"client_id": client_id,
|
|
"user_id": user_id,
|
|
"user_name": user_name,
|
|
"version": version,
|
|
"cursor": cursor,
|
|
}
|
|
|
|
try:
|
|
client.xadd(
|
|
stream_key,
|
|
{"data": json.dumps(payload, separators=(",", ":"))},
|
|
maxlen=PRESENCE_MAX_LENGTH,
|
|
approximate=True,
|
|
)
|
|
client.expire(stream_key, PRESENCE_TTL_SECONDS)
|
|
except redis_exceptions.RedisError as err:
|
|
logger.warning(
|
|
"notebook_collab_presence_publish_error",
|
|
stream_key=stream_key,
|
|
notebook_short_id=notebook_id,
|
|
error=str(err),
|
|
)
|
|
|
|
|
|
def presence_sse_frame(fields: dict[bytes, bytes], *, stream_key: str, stream_id: str) -> bytes | None:
|
|
"""Presence frames deliberately omit the `id:` line so they never disturb Last-Event-ID."""
|
|
try:
|
|
data = json.loads(fields[_DATA_KEY])
|
|
except (json.JSONDecodeError, KeyError):
|
|
logger.warning("notebook_collab_invalid_payload", stream_key=stream_key, stream_id=stream_id)
|
|
return None
|
|
if data.get("type") != PRESENCE_EVENT_TYPE:
|
|
logger.warning("notebook_collab_unknown_payload", stream_key=stream_key, stream_id=stream_id)
|
|
return None
|
|
return f"event: presence\ndata: {json.dumps(data, separators=(',', ':'))}\n\n".encode()
|