feat(inbox): surface resolved reports in the Archive tab

packages/core/src/inbox/reportFiltering.ts

@@ -13,14 +13,15 @@ export const INBOX_PIPELINE_STATUS_FILTER =
   "potential,candidate,in_progress,ready,pending_input,failed";
 
 /**
- * Status filter for the Archive tab. `suppressed` is the only archived status:
- * it is the single state the archive action sets, and the only not-in-inbox
- * state worth restoring. `deleted` is permanent and stripped server-side; snooze
- * is a temporary `snoozed_until` timestamp, not a status, and auto-returns. See
- * `isDismissedReport` for the full rationale. Suppressed reports are excluded
- * from the main pipeline query, so the Archive tab fetches them explicitly.
+ * Status filter for the Archive tab — the two terminal, not-in-inbox states:
+ * `suppressed` (the user archived it; restorable) and `resolved` (its
+ * implementation PR merged; terminal, shown for reference only). `deleted` is
+ * permanent and stripped server-side; snooze is a temporary `snoozed_until`
+ * timestamp, not a status, and auto-returns. See `isDismissedReport` for the
+ * full rationale. Both states are excluded from the main pipeline query, so the
+ * Archive tab fetches them explicitly.
  */
-export const INBOX_DISMISSED_STATUS_FILTER = "suppressed";
+export const INBOX_DISMISSED_STATUS_FILTER = "suppressed,resolved";
 
 /**
  * Status filter for the Pull requests tab's list and count. Only `ready` PRs —

packages/core/src/inbox/reportMembership.test.ts

@@ -38,9 +38,12 @@ function fakeReport(overrides: Partial<SignalReport> = {}): SignalReport {
 }
 
 describe("isDismissedReport", () => {
-  it("matches only suppressed reports", () => {
-    expect(isDismissedReport(fakeReport({ status: "suppressed" }))).toBe(true);
-  });
+  it.each(["suppressed", "resolved"] as const)(
+    "matches %s reports",
+    (status) => {
+      expect(isDismissedReport(fakeReport({ status }))).toBe(true);
+    },
+  );
 
   it.each([
     "potential",
@@ -158,10 +161,13 @@ describe("tabFilters", () => {
   });
 
   describe("isExcludedFromInbox", () => {
-    it("returns true for suppressed and deleted", () => {
+    it("returns true for suppressed, resolved and deleted", () => {
       expect(isExcludedFromInbox(fakeReport({ status: "suppressed" }))).toBe(
         true,
       );
+      expect(isExcludedFromInbox(fakeReport({ status: "resolved" }))).toBe(
+        true,
+      );
       expect(isExcludedFromInbox(fakeReport({ status: "deleted" }))).toBe(true);
     });
 

packages/core/src/inbox/reportMembership.ts

@@ -1,13 +1,16 @@
 import type { SignalReport } from "@posthog/shared/types";
 
 /**
- * Statuses that are out of the inbox entirely (user-suppressed or removed).
+ * Statuses that are out of the inbox entirely (user-suppressed, resolved, or
+ * removed). `resolved` is terminal — its implementation PR merged — so it drops
+ * out of the live inbox and is surfaced only in the Archive tab for reference.
  * `failed` is NOT in here: failed runs surface in the Runs tab's Recently
  * finished section so the user can see what went wrong. Other tabs filter
  * them out via their own predicates.
  */
 export const INBOX_EXCLUDED_STATUSES = new Set<SignalReport["status"]>([
   "suppressed",
+  "resolved",
   "deleted",
 ]);
 
@@ -16,19 +19,20 @@ export function isExcludedFromInbox(report: SignalReport): boolean {
 }
 
 /**
- * Archive tab membership. `suppressed` is the only status that represents "the
- * user archived this out of the inbox" — there is no separate `dismissed` /
- * `resolved` status in the enum (see `SignalReportStatus`), the archive action
- * sets `suppressed`. The other not-in-inbox states are deliberately excluded:
- * `deleted` is permanent (gone, never restorable, stripped server-side), and
- * snooze is not a status at all — it is a temporary `snoozed_until` timestamp
- * on an otherwise-active report that auto-returns to the inbox when it elapses,
- * so it doesn't belong in a manual restore list. Archived reports are fetched
- * by a dedicated query (the main pipeline query excludes them), so this
- * predicate is applied to that separate list.
+ * Archive tab membership — the two terminal, not-in-inbox states. `suppressed`
+ * is "the user archived this out of the inbox" (the archive action sets it; it
+ * is restorable). `resolved` is "the implementation PR merged" — terminal, set
+ * server-side, shown for reference only and not restorable. The other
+ * not-in-inbox states are deliberately excluded: `deleted` is permanent (gone,
+ * never restorable, stripped server-side), and snooze is not a status at all —
+ * it is a temporary `snoozed_until` timestamp on an otherwise-active report that
+ * auto-returns to the inbox when it elapses, so it doesn't belong in a manual
+ * restore list. Archived reports are fetched by a dedicated query (the main
+ * pipeline query excludes them), so this predicate is applied to that separate
+ * list.
  */
 export function isDismissedReport(report: SignalReport): boolean {
-  return report.status === "suppressed";
+  return report.status === "suppressed" || report.status === "resolved";
 }
 
 export type InboxScope = "for-you" | "entire-project" | `teammate:${string}`;

packages/core/src/inbox/reportPresentation.ts

@@ -50,6 +50,8 @@ export function inboxStatusLabel(status: SignalReportStatus): string {
   switch (status) {
     case "ready":
       return "Ready";
+    case "resolved":
+      return "Resolved";
     case "pending_input":
       return "Needs input";
     case "in_progress":
@@ -73,6 +75,8 @@ export function inboxStatusAccentCss(status: SignalReportStatus): string {
   switch (status) {
     case "ready":
       return "var(--green-9)";
+    case "resolved":
+      return "var(--green-9)";
     case "pending_input":
       return "var(--violet-9)";
     case "in_progress":

packages/core/src/inbox/statusLabels.ts

@@ -4,6 +4,8 @@ export function inboxStatusLabel(status: SignalReportStatus): string {
   switch (status) {
     case "ready":
       return "Ready";
+    case "resolved":
+      return "Resolved";
     case "pending_input":
       return "Needs input";
     case "in_progress":

packages/shared/src/signal-types.ts

@@ -3,6 +3,7 @@ export type SignalReportStatus =
   | "candidate"
   | "in_progress"
   | "ready"
+  | "resolved"
   | "failed"
   | "pending_input"
   | "suppressed"

packages/ui/src/features/inbox/CLAUDE.md

@@ -22,17 +22,20 @@ Inbox has four tabs and one reviewer-scope control:
 | Pull requests | `/code/inbox/pulls` | Reports with `implementation_pr_url` set |
 | Reports | `/code/inbox/reports` | Reports without a PR and not currently running |
 | Runs | `/code/inbox/runs` | Reports that are still in progress or waiting on input |
-| Archive | `/code/inbox/dismissed` | Reports the user archived/suppressed (`status === "suppressed"`) |
+| Archive | `/code/inbox/dismissed` | Terminal reports: archived/suppressed (`status === "suppressed"`) and resolved-by-merged-PR (`status === "resolved"`) |
 
 Detail pages live under the same tab: `/code/inbox/<tab>/$reportId`.
 
 The Archive tab (route `/code/inbox/dismissed`, user-facing label "Archive") is
-the exception: suppressed reports are excluded from the
-main pipeline query, so the tab fetches them with a dedicated `status=suppressed`
-query (`useInboxDismissedReports`). Its detail view (`DismissedReportDetail`) is
-read-only — summary + evidence + a single Restore action, no triage affordances —
-and depends on the backend serving suppressed reports on the `retrieve`/`signals`
-read paths (PostHog/posthog#64019). Restore uses `useInboxRestoreReport`, which
+the exception: it holds the two terminal, not-in-inbox states — `suppressed`
+(user-archived) and `resolved` (implementation PR merged) — both excluded from
+the main pipeline query, so the tab fetches them with a dedicated
+`status=suppressed,resolved` query (`useInboxDismissedReports`). Its detail view
+(`DismissedReportDetail`) is read-only — summary + evidence, no triage
+affordances — and depends on the backend serving these reports on the
+`retrieve`/`signals` read paths (PostHog/posthog#64019). Suppressed cards offer a
+single Restore action; resolved cards are reference-only (terminal, no restore),
+badged "Resolved". Restore uses `useInboxRestoreReport`, which
 reuses the `state` action's `potential` ("reopen") transition — the only reopen
 path the backend exposes. The reviewer scope control is hidden on this tab since
 the archive list is not scoped, and the tab carries no count badge. The

packages/ui/src/features/inbox/components/DismissedTab.tsx

@@ -13,8 +13,9 @@ import { useInboxRestoreReport } from "@posthog/ui/features/inbox/hooks/useInbox
 import { Flex } from "@radix-ui/themes";
 
 /**
- * Archive tab: reports the user has archived (suppressed) from the inbox,
- * newest first. Each card can be restored back into the pipeline, or opened in
+ * Archive tab: terminal reports, newest first — ones the user archived
+ * (suppressed, restorable back into the pipeline) and ones resolved by a merged
+ * implementation PR (shown for reference only, not restorable). Each card opens
  * a read-only detail view (summary + evidence) — no triage affordances.
  */
 export function DismissedTab() {
@@ -40,8 +41,9 @@ export function DismissedTab() {
             </EmptyMedia>
             <EmptyTitle>No archived reports</EmptyTitle>
             <EmptyDescription>
-              Reports you archive from your inbox show up here. You can restore
-              any of them back to the inbox.
+              Reports you archive from your inbox show up here, and you can
+              restore any of them. Resolved reports (their pull request merged)
+              also appear here for reference.
             </EmptyDescription>
           </EmptyHeader>
         </Empty>

packages/ui/src/features/inbox/components/ReportCard.tsx

@@ -59,6 +59,9 @@ export type ReportCardProps = DefaultReportCardProps | ArchivedReportCardProps;
 export function ReportCard(props: ReportCardProps) {
   const { report, isSelected = false, onRowClick } = props;
   const isArchived = props.variant === "archived";
+  // Resolved reports are terminal (their implementation PR merged): shown in the
+  // Archive tab for reference, badged as resolved, with no restore action.
+  const isResolved = report.status === "resolved";
 
   const detailRoute = isArchived
     ? {
@@ -113,7 +116,7 @@ export function ReportCard(props: ReportCardProps) {
   };
 
   const hasMetadata = isArchived
-    ? !!hasSource || !!updatedAtLabel || !!reasonLabel
+    ? !!hasSource || !!updatedAtLabel || !!reasonLabel || isResolved
     : !!repoSlug ||
       hasSource ||
       !isReady ||
@@ -196,20 +199,24 @@ export function ReportCard(props: ReportCardProps) {
                 <>
                   {updatedAtLabel && (
                     <Text className="text-[12px] text-gray-10">
-                      Archived {updatedAtLabel}
+                      {isResolved ? "Resolved" : "Archived"} {updatedAtLabel}
                     </Text>
                   )}
-                  {reasonLabel && (
-                    <Text
-                      className="max-w-full truncate rounded-(--radius-1) bg-(--gray-3) px-1.5 py-0.5 text-[11px] text-gray-11"
-                      title={
-                        dismissalNote
-                          ? `${reasonLabel} — ${dismissalNote}`
-                          : reasonLabel
-                      }
-                    >
-                      {reasonLabel}
-                    </Text>
+                  {isResolved ? (
+                    <SignalReportStatusBadge status={report.status} />
+                  ) : (
+                    reasonLabel && (
+                      <Text
+                        className="max-w-full truncate rounded-(--radius-1) bg-(--gray-3) px-1.5 py-0.5 text-[11px] text-gray-11"
+                        title={
+                          dismissalNote
+                            ? `${reasonLabel} — ${dismissalNote}`
+                            : reasonLabel
+                        }
+                      >
+                        {reasonLabel}
+                      </Text>
+                    )
                   )}
                 </>
               ) : (
@@ -237,23 +244,26 @@ export function ReportCard(props: ReportCardProps) {
         className="shrink-0 border-border border-l pl-3"
       >
         {props.variant === "archived" ? (
-          <UiButton
-            type="button"
-            variant="soft"
-            color="gray"
-            size="1"
-            aria-label="Restore this report to the inbox"
-            tooltipContent="Restore to inbox"
-            loading={props.isRestorePending}
-            disabled={props.isRestorePending}
-            onClick={(event) => {
-              event.stopPropagation();
-              props.onRestore();
-            }}
-          >
-            <ArrowCounterClockwiseIcon size={14} />
-            Restore
-          </UiButton>
+          // Resolved reports are terminal — reference-only, no restore action.
+          isResolved ? null : (
+            <UiButton
+              type="button"
+              variant="soft"
+              color="gray"
+              size="1"
+              aria-label="Restore this report to the inbox"
+              tooltipContent="Restore to inbox"
+              loading={props.isRestorePending}
+              disabled={props.isRestorePending}
+              onClick={(event) => {
+                event.stopPropagation();
+                props.onRestore();
+              }}
+            >
+              <ArrowCounterClockwiseIcon size={14} />
+              Restore
+            </UiButton>
+          )
         ) : (
           <>
             {updatedAtLabel && (

packages/ui/src/features/inbox/components/ReportDetailActions.tsx

@@ -23,6 +23,8 @@ const isMac =
 
 export function ReportDetailActions({ report }: ReportDetailActionsProps) {
   const showCreatePr = canCreateImplementationPr(report);
+  // Resolved reports are terminal — their PR already merged, so no actions apply.
+  const isResolved = report.status === "resolved";
   const { data: artefactsResp } = useInboxReportArtefacts(report.id);
   const cloudRepository = extractRepoSelectionRepository(
     artefactsResp?.results,
@@ -64,6 +66,11 @@ export function ReportDetailActions({ report }: ReportDetailActionsProps) {
 
   const submitDisabled = discussQuestion.trim().length === 0 || isDiscussing;
 
+  // Terminal reports get no detail actions (guarded after hooks to satisfy rules-of-hooks).
+  if (isResolved) {
+    return null;
+  }
+
   return (
     <>
       <Popover.Root

packages/ui/src/features/inbox/components/utils/SignalReportStatusBadge.tsx

@@ -5,6 +5,7 @@ import { Tooltip } from "@radix-ui/themes";
 
 const STATUS_TOOLTIPS: Record<string, string> = {
   ready: "Research is complete. You can create a task from this report.",
+  resolved: "This report is resolved — its implementation pull request merged.",
   pending_input:
     "This report needs human input in PostHog before it can proceed.",
   in_progress: "An AI agent is actively researching this report's findings.",
@@ -22,6 +23,8 @@ function inboxStatusBadgeVariant(status: SignalReportStatus): BadgeVariant {
   switch (status) {
     case "ready":
       return "success";
+    case "resolved":
+      return "success";
     case "pending_input":
       return "info";
     case "in_progress":