alissa-tools-github-devloop 0.8.14__tar.gz → 0.8.15__tar.gz

{alissa_tools_github_devloop-0.8.14/src/main/alissa_tools_github_devloop.egg-info → alissa_tools_github_devloop-0.8.15}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: alissa-tools-github-devloop
-Version: 0.8.14
+Version: 0.8.15
 Summary: ALISSA-TOOLS-GITHUB-DEVLOOP
 Home-page: https://alissa.app
 Author: Fahera

alissa_tools_github_devloop-0.8.15/src/main/alissa/tools/github/devloop/version

@@ -0,0 +1 @@
+0.8.15

{alissa_tools_github_devloop-0.8.14 → alissa_tools_github_devloop-0.8.15}/src/main/alissa/tools/github/devloop/webui/page.py

@@ -231,6 +231,11 @@ td.num, th.num { text-align: right; font-variant-numeric: tabular-nums; }
 .inbox-item { display: flex; align-items: baseline; justify-content: space-between;
   gap: 0.75rem; padding: 0.55rem 0; border-top: 1px solid var(--surface-border); }
 .inbox-kind { font-family: var(--mono); font-size: 0.75rem; color: var(--status-blocked); }
+.inbox-settled { border-top: 1px solid var(--surface-border); margin-top: 0.55rem; }
+.inbox-settled > summary { cursor: pointer; padding: 0.55rem 0; font-family: var(--mono);
+  font-size: 0.75rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--text-muted); }
+.inbox-settled .inbox-item { opacity: 0.55; }
+.inbox-settled .inbox-item .inbox-kind { color: var(--text-muted); }
 .task-title { flex: 1; margin: 0 0.6rem; overflow: hidden;
   text-overflow: ellipsis; white-space: nowrap; }
 .log {
@@ -450,22 +455,40 @@ _JS = r"""
     el('pipeline').innerHTML = out;
   }
 
-  function renderInbox(items) {
-    if (!items.length) { el('inbox').innerHTML = '<div class="empty">Inbox clear.</div>'; return; }
-    el('inbox').innerHTML = items.map(function (it) {
-      // A row with no url has no GitHub artifact behind it (a foreign-session
-      // page: the subject is a tmux session, and its repo_slug/number are
-      // placeholders). Rendering the anchor anyway would link to
-      // github.com/-/issues/0, so the kind — which already names the session —
-      // stands alone.
-      var target = it.url
-        ? '<a href="' + esc(it.url) + '" target="_blank" rel="noopener">' +
-          esc(it.repo_slug) + (it.is_pr ? '#pr' : '#') + esc(it.number) + '</a>'
-        : '<span class="muted">no linked artifact</span>';
-      return '<div class="inbox-item"><span>' +
-        '<span class="inbox-kind">' + esc(it.kind) + '</span> ' + target +
-        '</span><span class="muted num">' + dur(it.age_seconds) + '</span></div>';
-    }).join('');
+  function inboxRow(it) {
+    // A row with no url has no GitHub artifact behind it (a foreign-session
+    // page: the subject is a tmux session, and its repo_slug/number are
+    // placeholders). Rendering the anchor anyway would link to
+    // github.com/-/issues/0, so the kind — which already names the session —
+    // stands alone.
+    var target = it.url
+      ? '<a href="' + esc(it.url) + '" target="_blank" rel="noopener">' +
+        esc(it.repo_slug) + (it.is_pr ? '#pr' : '#') + esc(it.number) + '</a>'
+      : '<span class="muted">no linked artifact</span>';
+    return '<div class="inbox-item"><span>' +
+      '<span class="inbox-kind">' + esc(it.kind) + '</span> ' + target +
+      '</span><span class="muted num">' + dur(it.age_seconds) + '</span></div>';
+  }
+
+  function renderInbox(items, settled, settledCount) {
+    // Live rows are the inbox; "Inbox clear." is their empty state alone.
+    // Settled rows (the artifact left the poll's candidate set -- exhaust,
+    // not backlog) sit behind a collapsed footer so nothing is lost, only
+    // demoted. The footer stays open across the 10s re-render once opened.
+    var wasOpen = false;
+    var prior = el('inbox').querySelector('details.inbox-settled');
+    if (prior && prior.open) { wasOpen = true; }
+    var out = items.length ? items.map(inboxRow).join('') : '<div class="empty">Inbox clear.</div>';
+    if (settledCount) {
+      out += '<details class="inbox-settled"' + (wasOpen ? ' open' : '') + '>' +
+        '<summary>' + esc(settledCount) + ' settled &mdash; show</summary>' +
+        settled.map(inboxRow).join('') +
+        (settledCount > settled.length
+          ? '<div class="empty">' + esc(settledCount - settled.length) + ' older settled pages not listed</div>'
+          : '') +
+        '</details>';
+    }
+    el('inbox').innerHTML = out;
   }
 
   function renderHoldouts(items) {
@@ -557,7 +580,7 @@ _JS = r"""
     sparkline(el('spark-duration'), d.sparklines.poll_duration_ms);
     sparkline(el('spark-active'), d.sparklines.active_sessions);
     renderPipeline(d.pipeline);
-    renderInbox(d.inbox);
+    renderInbox(d.inbox, d.inbox_settled || [], d.inbox_settled_count || 0);
     renderHoldouts(d.holdouts || []);
     renderTasks(d.tasks);
     renderSessions(d.sessions);

{alissa_tools_github_devloop-0.8.14 → alissa_tools_github_devloop-0.8.15}/src/main/alissa/tools/github/devloop/webui/sources.py

@@ -61,6 +61,39 @@ ARCHIVE_FAILED_KIND = "janitor-archive-failed"
 
 # How many recent snapshots feed the sparklines / pipeline board.
 SPARK_POINTS = 60
+
+# The operator inbox's settled-page demotion (issue #103). The `escalations`
+# table is a dedupe key store -- each row is what stops a second page for the
+# same episode -- so it is never pruned, and the console filters at READ time
+# instead: an escalation row whose (repo_slug, number, is_pr) has left the
+# latest poll snapshot's candidate set is SETTLED -- the trigger cleared (the
+# issue closed, the PR merged or closed, the label came off) and the page is
+# no longer actionable from this console. Settled rows are demoted, never
+# dropped: the payload carries the newest INBOX_SETTLED_CAP of them plus the
+# full count. No GitHub call is spent on the verdict -- the snapshot is the
+# daemon's own exhaust.
+INBOX_SETTLED_CAP = 50
+# A page raised BETWEEN two polls is not in the latest snapshot yet, so a row
+# escalated less than this many poll intervals ago stays live regardless of
+# the candidate set -- it must not flicker out before the pass that lists its
+# artifact lands.
+INBOX_GRACE_POLLS = 2
+# Kind prefixes whose rows store a PULL REQUEST number in the `issue` column.
+# Every issue-edge kind (`cap`, `assignment`, `stalled:a<k>`,
+# `live-stalled:a<k>`) stores an issue number; the PR edge's kinds (`fix-cap`,
+# `fix-stalled`, `rerequest`, `rerequest-rejected`, the orphan sweep's three,
+# `stacked-base`), the maintain edge's, and the janitor's archive page all
+# store the PR's. The split drives both the link an operator follows and the
+# settled verdict: a PR-keyed row is matched against the PR edges only, so a
+# settled PR #905 is never revived by an open issue #905, nor the reverse.
+# Agreement with `loop.ESCALATION_*` is pinned by a test.
+PR_KINDS = ("fix-", "maintain", "orphan", "rerequest", "stacked-", ARCHIVE_FAILED_KIND)
+# Kinds whose SUBJECT is not an issue or PR the poll evaluates: a foreign
+# session (no artifact at all) and a janitor holdout that could not be
+# archived (its anchor PR is terminal by construction, so it is never a
+# candidate). The snapshot carries no evidence either way about these, and
+# the rule is never to hide on missing evidence, so they are always live.
+UNEVIDENCED_KINDS = (FOREIGN_SESSION_KIND, ARCHIVE_FAILED_KIND)
 # Cache lifetimes for the remote / shared-token checks (seconds).
 RATE_CACHE_TTL = 60.0
 VERSION_CACHE_TTL = 600.0
@@ -91,6 +124,36 @@ _EDGE_PREFIXES = (
 )
 
 
+def is_pr_kind(kind: str) -> bool:
+    """Whether an escalation kind stores a PR number in the `issue` column
+    (see PR_KINDS). A foreign-session row is neither: it has no artifact."""
+    return kind.startswith(PR_KINDS)
+
+
+def snapshot_candidates(snapshot: "dict | None") -> "set[tuple] | None":
+    """The poll snapshot's candidate set as `(repo_slug, number, is_pr)` keys,
+    or None when there is no snapshot to consult (a fresh boot, an empty
+    `poll_snapshots`) -- the caller then treats every inbox row as live:
+    never hide on missing evidence, the same rule the reaper applies to a
+    failed session listing.
+
+    The `issue` edge carries issue numbers; every other edge (fix, maintain,
+    and any PR-shaped edge a later daemon adds) carries PR numbers -- the
+    daemon's own vocabulary (`_reap_records`: issue or pr), and exactly the
+    split the inbox's `is_pr` flag encodes. A stage row missing its slug or
+    number contributes nothing rather than a degenerate key."""
+    if snapshot is None:
+        return None
+    keys: "set[tuple]" = set()
+    for stage in snapshot.get("stages") or []:
+        slug = (stage.get("slug") or "").split("#", 1)[0]
+        number = stage.get("number")
+        if not slug or number is None:
+            continue
+        keys.add((slug, int(number), stage.get("edge") != "issue"))
+    return keys
+
+
 def edge_of(name: "str | None") -> "str | None":
     if not name:
         return None
@@ -504,7 +567,9 @@ class Sources:
             else:
                 sess["retry"] = None
 
-        inbox = self._inbox(ledgers["escalations"])
+        live, settled = self._partition_inbox(ledgers["escalations"], latest)
+        inbox = self._inbox(live)
+        inbox_settled = self._inbox(settled[:INBOX_SETTLED_CAP])
         candidates = 0
         if latest:
             candidates = (latest["issue_candidates"] + latest["pr_candidates"]
@@ -537,24 +602,66 @@ class Sources:
                 "edges": pipeline,
             },
             "inbox": inbox,
+            "inbox_settled": inbox_settled,
+            "inbox_settled_count": len(settled),
             "holdouts": holdouts,
             "sessions": sessions,
             "tasks": self.worker_tasks(),
             "log": self.log_tail(),
         }
 
+    def _partition_inbox(
+        self, escalations: "list[dict]", snapshot: "dict | None"
+    ) -> "tuple[list[dict], list[dict]]":
+        """Split the escalation ledger's rows into (live, settled) against the
+        latest poll snapshot (issue #103). Live rows keep the ledger's order;
+        settled rows come back newest-first. A row is live when any of:
+
+        - there is no snapshot to consult (fresh boot): every row is live;
+        - it was escalated less than INBOX_GRACE_POLLS poll intervals ago, or
+          after the snapshot was taken -- the pass that would list its
+          artifact has not landed yet (a long, rate-limited pass can outlast
+          the grace window, so the snapshot's own clock is checked too);
+        - its kind has no candidate to match (UNEVIDENCED_KINDS);
+        - its (repo_slug, number, is_pr) key is in the snapshot's candidate
+          set -- a PR-keyed row matches PR edges only, an issue-keyed row the
+          issue edge only.
+
+        Everything else is settled: the artifact left the poll's candidate
+        set, so the page is exhaust, not backlog. Pure ledger + snapshot
+        arithmetic -- no GitHub call, no write."""
+        candidates = snapshot_candidates(snapshot)
+        if candidates is None:
+            return list(escalations), []
+        horizon = int(self._wall()) - INBOX_GRACE_POLLS * self.config.poll_interval
+        snapshot_ts = int(snapshot.get("ts") or 0) if snapshot else 0
+        live: "list[dict]" = []
+        settled: "list[dict]" = []
+        for row in escalations:
+            kind = row["kind"]
+            escalated_at = int(row["escalated_at"])
+            key = (row["repo_slug"], int(row["issue"]), is_pr_kind(kind))
+            if (
+                escalated_at >= horizon
+                or escalated_at >= snapshot_ts
+                or kind.startswith(UNEVIDENCED_KINDS)
+                or key in candidates
+            ):
+                live.append(row)
+            else:
+                settled.append(row)
+        settled.sort(key=lambda r: int(r["escalated_at"]), reverse=True)
+        return live, settled
+
     def _inbox(self, escalations: "list[dict]") -> "list[dict]":
         now = int(self._wall())
         out = []
         for row in escalations:
             kind = row["kind"]
             number = row["issue"]
-            # fix-*/maintain-*/orphan-*/janitor-archive-failed rows store a
-            # PR number in the `issue` column; everything else is an issue
-            # number.
-            is_pr = kind.startswith(
-                ("fix-cap", "maintain", "orphan", ARCHIVE_FAILED_KIND)
-            )
+            # PR-side kinds (PR_KINDS) store a PR number in the `issue`
+            # column; everything else is an issue number.
+            is_pr = is_pr_kind(kind)
             leaf = "pull" if is_pr else "issues"
             # foreign-session rows have NO GitHub artifact behind them (issue
             # #95): the subject is a tmux session, and their repo_slug/issue

{alissa_tools_github_devloop-0.8.14 → alissa_tools_github_devloop-0.8.15/src/main/alissa_tools_github_devloop.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: alissa-tools-github-devloop
-Version: 0.8.14
+Version: 0.8.15
 Summary: ALISSA-TOOLS-GITHUB-DEVLOOP
 Home-page: https://alissa.app
 Author: Fahera

alissa_tools_github_devloop-0.8.14/src/main/alissa/tools/github/devloop/version

@@ -1 +0,0 @@
-0.8.14