@rho-workspace/rho 0.5.3 → 0.5.5

package/protocol/operations/extension.list.json

@@ -0,0 +1,123 @@
+{
+  "method": "extension.list",
+  "inputSchema": {
+    "type": "object",
+    "properties": {
+      "projectId": {
+        "type": "string",
+        "minLength": 1,
+        "maxLength": 1024
+      }
+    },
+    "required": [],
+    "additionalProperties": false
+  },
+  "outputSchema": {
+    "type": "object",
+    "properties": {
+      "plugins": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "properties": {
+            "id": {
+              "type": "string",
+              "pattern": "^[a-z0-9][a-z0-9._-]{0,95}$"
+            },
+            "name": {
+              "type": "string"
+            },
+            "version": {
+              "type": "string"
+            },
+            "title": {
+              "type": "string"
+            },
+            "description": {
+              "type": "string"
+            },
+            "digest": {
+              "type": "string",
+              "pattern": "^[a-f0-9]{64}$"
+            },
+            "source": {
+              "type": "string"
+            },
+            "sourceCommit": {
+              "type": "string"
+            },
+            "enabled": {
+              "type": "boolean"
+            },
+            "installedAt": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "id",
+            "name",
+            "version",
+            "title",
+            "description",
+            "digest",
+            "source",
+            "enabled",
+            "installedAt"
+          ],
+          "additionalProperties": false
+        }
+      },
+      "directory": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "properties": {
+            "id": {
+              "type": "string",
+              "pattern": "^[a-z0-9][a-z0-9._-]{0,95}$"
+            },
+            "title": {
+              "type": "string"
+            },
+            "version": {
+              "type": "string"
+            },
+            "description": {
+              "type": "string"
+            },
+            "source": {
+              "type": "string"
+            },
+            "repository": {
+              "type": "string"
+            },
+            "needs": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "id",
+            "title",
+            "version",
+            "description",
+            "source",
+            "repository",
+            "needs"
+          ],
+          "additionalProperties": false
+        }
+      },
+      "limits": {
+        "type": "object",
+        "additionalProperties": true
+      }
+    },
+    "required": [
+      "plugins",
+      "directory",
+      "limits"
+    ],
+    "additionalProperties": false
+  },
+  "description": "List independently installed third-party packages and their enabled state, source and immutable digest. Reads start no plugin or runtime. Use extension.describe to discover operation schemas and Skills."
+}

package/protocol/operations/extension.manage.json

@@ -0,0 +1,55 @@
+{
+  "method": "extension.manage",
+  "inputSchema": {
+    "type": "object",
+    "properties": {
+      "pluginId": {
+        "type": "string",
+        "pattern": "^[a-z0-9][a-z0-9._-]{0,95}$"
+      },
+      "expectedDigest": {
+        "type": "string",
+        "pattern": "^[a-f0-9]{64}$"
+      },
+      "action": {
+        "enum": [
+          "enable",
+          "disable",
+          "remove"
+        ]
+      }
+    },
+    "required": [
+      "pluginId",
+      "expectedDigest",
+      "action"
+    ],
+    "additionalProperties": false
+  },
+  "outputSchema": {
+    "type": "object",
+    "properties": {
+      "pluginId": {
+        "type": "string",
+        "pattern": "^[a-z0-9][a-z0-9._-]{0,95}$"
+      },
+      "action": {
+        "enum": [
+          "enable",
+          "disable",
+          "remove"
+        ]
+      },
+      "retained": {
+        "type": "string"
+      }
+    },
+    "required": [
+      "pluginId",
+      "action",
+      "retained"
+    ],
+    "additionalProperties": false
+  },
+  "description": "Local person/operator: enable, disable or remove an installed third-party package at the expected digest. Existing native tasks, R sessions, project files and retained receipts are preserved."
+}

package/protocol/operations/extension.read.json

@@ -0,0 +1,112 @@
+{
+  "method": "extension.read",
+  "inputSchema": {
+    "type": "object",
+    "properties": {
+      "projectId": {
+        "type": "string",
+        "minLength": 1,
+        "maxLength": 1024
+      },
+      "invocationId": {
+        "type": "string",
+        "pattern": "^[a-f0-9]{64}$"
+      }
+    },
+    "required": [
+      "projectId",
+      "invocationId"
+    ],
+    "additionalProperties": false
+  },
+  "outputSchema": {
+    "type": "object",
+    "properties": {
+      "invocationId": {
+        "type": "string",
+        "pattern": "^[a-f0-9]{64}$"
+      },
+      "caller": {
+        "type": "string"
+      },
+      "projectId": {
+        "type": "string"
+      },
+      "pluginId": {
+        "type": "string",
+        "pattern": "^[a-z0-9][a-z0-9._-]{0,95}$"
+      },
+      "packageDigest": {
+        "type": "string",
+        "pattern": "^[a-f0-9]{64}$"
+      },
+      "operation": {
+        "type": "string",
+        "pattern": "^[a-z0-9][a-z0-9._-]{0,95}$"
+      },
+      "requestDigest": {
+        "type": "string",
+        "pattern": "^[a-f0-9]{64}$"
+      },
+      "state": {
+        "enum": [
+          "pending",
+          "completed",
+          "unknown"
+        ]
+      },
+      "startedAt": {
+        "type": "string"
+      },
+      "endedAt": {
+        "type": "string"
+      },
+      "value": {},
+      "error": {
+        "type": "string"
+      },
+      "delegations": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "properties": {
+            "method": {
+              "type": "string"
+            },
+            "request": {},
+            "state": {
+              "enum": [
+                "pending",
+                "completed",
+                "unknown"
+              ]
+            },
+            "value": {},
+            "error": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "method",
+            "request",
+            "state"
+          ],
+          "additionalProperties": false
+        }
+      }
+    },
+    "required": [
+      "invocationId",
+      "caller",
+      "projectId",
+      "pluginId",
+      "packageDigest",
+      "operation",
+      "requestDigest",
+      "state",
+      "startedAt"
+    ],
+    "additionalProperties": false
+  },
+  "description": "Observe an original plugin invocation, including pending or unknown outcomes. Never reruns code. Only its original caller can read it."
+}

package/protocol/operations/kernel.interrupt.json

@@ -170,6 +170,16 @@
               }
             ]
           },
+          "program": {
+            "anyOf": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "null"
+              }
+            ]
+          },
           "purpose": {
             "anyOf": [
               {
@@ -223,6 +233,16 @@
               "type": "string"
             },
             "type": "array"
+          },
+          "version": {
+            "anyOf": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "null"
+              }
+            ]
           }
         },
         "required": [

package/protocol/operations/kernel.read.json

@@ -175,6 +175,16 @@
                 }
               ]
             },
+            "program": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
             "purpose": {
               "anyOf": [
                 {
@@ -228,6 +238,16 @@
                 "type": "string"
               },
               "type": "array"
+            },
+            "version": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "null"
+                }
+              ]
             }
           },
           "required": [
@@ -364,6 +384,16 @@
                 }
               ]
             },
+            "program": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
             "sessionId": {
               "pattern": "^s-[a-f0-9]{16}$",
               "type": "string"

package/protocol/operations/kernel.run.json

@@ -16,6 +16,11 @@
         "minLength": 1,
         "type": "string"
       },
+      "interpreter": {
+        "maxLength": 1024,
+        "minLength": 1,
+        "type": "string"
+      },
       "language": {
         "enum": [
           "r",
@@ -196,6 +201,16 @@
               }
             ]
           },
+          "program": {
+            "anyOf": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "null"
+              }
+            ]
+          },
           "purpose": {
             "anyOf": [
               {
@@ -249,6 +264,16 @@
               "type": "string"
             },
             "type": "array"
+          },
+          "version": {
+            "anyOf": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "null"
+              }
+            ]
           }
         },
         "required": [
@@ -378,6 +403,16 @@
               }
             ]
           },
+          "program": {
+            "anyOf": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "null"
+              }
+            ]
+          },
           "sessionId": {
             "pattern": "^s-[a-f0-9]{16}$",
             "type": "string"
@@ -508,5 +543,5 @@
     ],
     "type": "object"
   },
-  "description": "Run a cell of R or Python in the project's live session of that language, which the Agent and the person share: what one cell defines stays for the next. Starts the session when none is live, on this machine or at a place on one of the person's servers (place, or where kernel.places says that language runs next). The same changeId from the same caller returns the same cell and never runs it twice. waitMs waits for the cell to end."
+  "description": "Run a cell of R or Python in the project's live session of that language, which the Agent and the person share: what one cell defines stays for the next. Starts the session when none is live, on this machine or at a place on one of the person's servers (place, or where kernel.places says that language runs next). interpreter names the program a session on this machine starts with, in a folder of the project such as .venv/bin/python; the project keeps it for that language's later sessions, and each cell records the program and version that ran it. The same changeId from the same caller returns the same cell and never runs it twice. waitMs waits for the cell to end."
 }

package/protocol/operations/kernel.stop.json

@@ -126,6 +126,16 @@
               }
             ]
           },
+          "program": {
+            "anyOf": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "null"
+              }
+            ]
+          },
           "sessionId": {
             "pattern": "^s-[a-f0-9]{16}$",
             "type": "string"

package/protocol/operations/project.work.read.json

@@ -68,7 +68,8 @@
                 "acp",
                 "claude-cli",
                 "native-transcript",
-                "external-acp"
+                "external-acp",
+                "external-session"
               ]
             },
             "sessionId": {
@@ -573,7 +574,7 @@
             "resourceRefs"
           ]
         },
-        "maxItems": 80
+        "maxItems": 88
       },
       "files": {
         "type": "array",

package/protocol/operations/session.grant.json

@@ -27,6 +27,8 @@
             "agent.activity.capture",
             "agent.activity.outputs",
             "agent.activity.read",
+            "agent.sessions.list",
+            "agent.sessions.read",
             "annotation.create",
             "annotation.decide",
             "annotation.list",
@@ -68,6 +70,13 @@
             "document.undoOwn",
             "evidence.export",
             "evidence.preview",
+            "extension.call",
+            "extension.content",
+            "extension.describe",
+            "extension.install",
+            "extension.list",
+            "extension.manage",
+            "extension.read",
             "feedback.read",
             "feedback.status",
             "feedback.submit",

package/scripts/browser-checks.mjs

@@ -38,3 +38,56 @@ export async function facts(page) {
     return { kinds: [...new Set(elements.map(el => el.dataset.fact))], agentInVerified: elements.some(el => el.dataset.fact === 'agent' && el.closest('[data-fact="verified"]')) };
   });
 }
+// What one page shows at its current width, read without changing it: whether it scrolls sideways,
+// the elements that cross the right edge (`clippedBy` names a box that scrolls or hides what is beyond
+// its own width; the ones no box keeps in are counted in `elementsPastEdgeUnclipped` and listed first),
+// unnamed buttons, the visible boxes of `selector` that overlap one another (a box inside another is not
+// an overlap), and how many fonts loaded.
+export async function pageFindings(page, { selector = null } = {}) {
+  const base = await inspectPage(page);
+  const measured = await page.evaluate(selector => {
+    const shown = el => { const r = el.getBoundingClientRect(); return r.width > 0 && r.height > 0 && getComputedStyle(el).visibility !== 'hidden'; };
+    const describe = el => {
+      const text = (el.textContent || '').replace(/\s+/g, ' ').trim().slice(0, 40);
+      const classes = [...el.classList].slice(0, 2).map(c => '.' + c).join('');
+      return el.tagName.toLowerCase() + (el.id ? '#' + el.id : '') + classes + (text ? ` "${text}"` : '');
+    };
+    const width = document.documentElement.clientWidth;
+    const clipper = el => {
+      for (let p = el.parentElement; p && p !== document.body; p = p.parentElement) {
+        if (/hidden|auto|scroll|clip/.test(getComputedStyle(p).overflowX) && p.getBoundingClientRect().right <= width + 1) return p;
+      }
+      return null;
+    };
+    const past = [...document.querySelectorAll('body *')].filter(el => shown(el) && el.getBoundingClientRect().right > width + 1).map(el => ({ el, clip: clipper(el) }));
+    const unclipped = past.filter(item => !item.clip).length;
+    past.sort((a, b) => (a.clip ? 1 : 0) - (b.clip ? 1 : 0));
+    const elementsPastEdge = past.slice(0, 50).map(({ el, clip }) => {
+      const r = el.getBoundingClientRect();
+      return { element: describe(el), right: Math.round(r.right), width: Math.round(r.width), clippedBy: clip ? describe(clip) : null };
+    });
+    let overlaps = null;
+    if (selector) {
+      const matched = [...document.querySelectorAll(selector)];
+      const boxes = matched.filter(shown).slice(0, 400);
+      const pairs = [];
+      for (let i = 0; i < boxes.length; i++) {
+        for (let j = i + 1; j < boxes.length; j++) {
+          const a = boxes[i], b = boxes[j];
+          if (a.contains(b) || b.contains(a)) continue;
+          const ra = a.getBoundingClientRect(), rb = b.getBoundingClientRect();
+          if (Math.min(ra.right, rb.right) - Math.max(ra.left, rb.left) > 1 && Math.min(ra.bottom, rb.bottom) - Math.max(ra.top, rb.top) > 1) pairs.push([describe(a), describe(b)]);
+        }
+      }
+      overlaps = { selector, matched: matched.length, considered: boxes.length, total: pairs.length, pairs: pairs.slice(0, 50) };
+    }
+    return { scrollWidth: document.documentElement.scrollWidth, clientWidth: width, pastTotal: past.length, unclipped, elementsPastEdge, overlaps };
+  }, selector);
+  const fontsLoaded = await page.evaluate(async () => { await document.fonts.ready; return [...document.fonts].filter(f => f.status === 'loaded').length; });
+  return {
+    width: base.width, height: base.height, horizontalOverflow: base.overflow,
+    scrollWidth: measured.scrollWidth, clientWidth: measured.clientWidth,
+    elementsPastEdge: measured.elementsPastEdge, elementsPastEdgeTotal: measured.pastTotal, elementsPastEdgeUnclipped: measured.unclipped,
+    unnamedButtons: base.unnamed, overlaps: measured.overlaps, fontsLoaded,
+  };
+}