You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Parent: #6024 (licensing gate for the external corpus). Research source: prior-art doc ~/workspace/scratch/atlas-ingestion-brief-2026-11-04/prior-art-research.md (2026-11-04). Follow-up 33 (Cluster 6). Consumers: the GitHub extraction task #6023 and the trace store (#6027).
Finding (research, in substance)
GitHub ToS §D.5's neighboring text: the D.4–D.8 licenses "end when you remove Your Content, unless other Users have forked it." An external corpus is not a fork within the Service, so the fork exception doesn't cover Atlas — a defensible corpus honors source deletions: if a comment is deleted or a repo goes private, Atlas purges on next sync. This is both an ethical norm and a risk reducer.
Scope
Deletion detection per source class (API state diff on sync; tombstones for vanished items).
Purge semantics: text + vectors removed; a tombstone stays in the trace log so historical feedback/traces referencing the purged result remain interpretable ("this result was purged on under deletion propagation") without retaining the content.
Our own repos: same machinery, policy-gated (Drew may keep his own deleted comments; third-party comments in our repos follow the external rule).
Done looks like
A design: detection, purge, tombstone shape, and the policy switch per zone (sibling decision under #6024).
Activity
developing-today commentedon Nov 5, 2026
CODE-1719
dezren39 commentedon Nov 5, 2026
🤖 Agent note · handed off
opencodeper task 10420 lane assignment; the laptop opencode claimant launches the bound session that drives this task. This lane did not work it directly, verified only that issue design(atlas): deletion propagation — source comment deleted / repo privated → next-sync corpus purge #6054 is OPEN with no hard-stop labels, and created no worktree or competing PR.developing-today commentedon Nov 5, 2026
🤖 Agent note · handed off
opencode96 remaining items
dezren39 commentedon Nov 6, 2026
🤖 Agent note · handed off
dezren39 commentedon Nov 6, 2026
🤖 Agent note · handed off
opencode