@gaunt-sloth/core 2.0.0-alpha.37 → 2.0.0-alpha.38

package/dist/core/types.d.ts

@@ -1,11 +1,39 @@
 import type { GthConfig } from '#src/config.js';
 import type { DeclaredToolAnnotations } from '#src/core/approvals/annotations.js';
+import type { ApprovalSubject } from '#src/core/approvals/matcher.js';
 import type { RaterNegotiationRound, ShellSafetyVerdict } from '#src/core/shell/rater.js';
 import type { BaseMessage } from '@langchain/core/messages';
 import type { RunnableConfig } from '@langchain/core/runnables';
 import type { StructuredToolInterface } from '@langchain/core/tools';
 import type { IterableReadableStream } from '@langchain/core/utils/stream';
 import type { BaseCheckpointSaver } from '@langchain/langgraph';
+/**
+ * The approval and shell types this module's own surface is written in, re-exported so a consumer
+ * of the root barrel can NAME each of them. Every one is the declared type of something already
+ * reachable here — {@link PendingToolInterrupt}'s `subject`, `safetyVerdict` and
+ * `negotiationRounds`, and {@link GthAgentInterface#getDeclaredMcpToolAnnotations} — so without
+ * them an embedder receives values it cannot type, which is precisely what writing a typed
+ * {@link ToolApprovalCallback} asks of it.
+ *
+ * They stay declared where they are: the matcher owns the subject it matches on and the rater owns
+ * the verdict it returns, so a type moved here to become exportable would sit apart from the code
+ * that decides it. The re-export is type-only and erases at emit, so the barrel gains no runtime
+ * edge.
+ *
+ * The two modules' **runtime** surface is deliberately not re-exported, including the closed
+ * vocabularies `RATER_OUTCOMES` and `ShellSafetyVerdictSchema` that {@link RaterOutcome} and
+ * {@link ShellSafetyVerdict} are derived from: a type alias resolves its referent inside the
+ * declaration file it is emitted into, so naming either type needs neither value in scope. Values
+ * stay reachable at their own deep paths (`@gaunt-sloth/core/core/shell/rater.js`,
+ * `@gaunt-sloth/core/core/approvals/matcher.js`) at the usual deep-path risk.
+ *
+ * `packages/core/spec/coreBarrelTypeSurface.spec.ts` pins this: it type-checks a probe against the
+ * built `dist/` declarations, so dropping a name here fails as a named missing export rather than
+ * as a later consumer's problem.
+ */
+export type { DeclaredToolAnnotations } from '#src/core/approvals/annotations.js';
+export type { ApprovalSubject, McpToolApprovalSubject, ShellApprovalSubject, ToolApprovalSubject, } from '#src/core/approvals/matcher.js';
+export type { RaterNegotiationRound, RaterOutcome, ShellSafetyVerdict, } from '#src/core/shell/rater.js';
 export type Message = BaseMessage;
 export type StatusUpdateCallback = (level: StatusLevel, message: string) => void;
 /**
@@ -158,6 +186,33 @@ export interface GthCompiledGraph {
 export interface PendingToolInterrupt {
     name: string;
     args: Record<string, unknown>;
+    /**
+     * [[TUI-C67]] — **what kind of call this is, as the gate itself decided it** (§3.1/§4.7.5): a
+     * `shell` subject carrying the command, a `tool` subject, or an `mcpTool` subject carrying the
+     * user's own `mcpServers` key. It is the discriminator `decideToolApprovalInner` matched rules
+     * on, travelling to the surface so the prompt can branch on the same one.
+     *
+     * Both terminal approval surfaces used to open with *the agent wants to run a shell command*,
+     * which EXT-80 made false for the most common prompt in `manual` and `write` — a file write, an
+     * MCP call or a custom tool, each announced as a shell command.
+     * `core/approvals/promptHeader.ts` renders the sentence from this field for both of them;
+     * re-deriving the kind from {@link name} on each surface would be a second classifier, free to
+     * disagree with the one that gated the call.
+     *
+     * **The ACP server is currently that second classifier, and the rule above still stands.**
+     * `acpPermissions.ts` titles its permission request from its own `shellCommandOf`, keyed on
+     * {@link name} rather than on this field, which it never reads — a divergence pinned by an
+     * assertion in `packages/agent/spec/acpServer.spec.ts`. Closing it means reading this field there
+     * rather than the tool name, and that is [[TUI-C89]]'s work; do not read the divergence's
+     * existence as licence to re-derive the kind anywhere else.
+     *
+     * **The runner attaches it to every interrupt it hands the approval callback**, including the
+     * plainest case where nothing else on this interface is set. Optional only because an interrupt
+     * read back out of graph state (`getPendingToolInterrupts`) is assembled before any subject
+     * exists; a surface that renders through `promptHeader` and is handed one of those renders the
+     * generic tool sentence, never a wrong one.
+     */
+    subject?: ApprovalSubject;
     /**
      * CFG-26 — when the AI rater escalated this `run_shell_command` to the human (rather than
      * approving it or bouncing it back to the model), the rater's verdict is attached here so the

package/dist/core/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":"AAaA;;;;GAIG;AACH,MAAM,CAAN,IAAY,WAQX;AARD,WAAY,WAAW;IACrB,+CAAS,CAAA;IACT,6CAAQ,CAAA;IACR,mDAAW,CAAA;IACX,mDAAW,CAAA;IACX,mDAAW,CAAA;IACX,+CAAS,CAAA;IACT,iDAAU,CAAA;AACZ,CAAC,EARW,WAAW,KAAX,WAAW,QAQtB"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":"AAmDA;;;;GAIG;AACH,MAAM,CAAN,IAAY,WAQX;AARD,WAAY,WAAW;IACrB,+CAAS,CAAA;IACT,6CAAQ,CAAA;IACR,mDAAW,CAAA;IACX,mDAAW,CAAA;IACX,mDAAW,CAAA;IACX,+CAAS,CAAA;IACT,iDAAU,CAAA;AACZ,CAAC,EARW,WAAW,KAAX,WAAW,QAQtB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@gaunt-sloth/core",
-  "version": "2.0.0-alpha.37",
+  "version": "2.0.0-alpha.38",
   "description": "Core utilities and types for Gaunt Sloth",
   "license": "MIT",
   "author": "Andrew Kondratev",

package/schema/gsloth-config.schema.json

@@ -382,6 +382,9 @@
                   "maxOutputBytes": {
                     "type": "number"
                   },
+                  "maxBytes": {
+                    "type": "number"
+                  },
                   "fileSet": {
                     "type": "string",
                     "enum": [
@@ -728,6 +731,9 @@
                           "maxOutputBytes": {
                             "type": "number"
                           },
+                          "maxBytes": {
+                            "type": "number"
+                          },
                           "fileSet": {
                             "type": "string",
                             "enum": [
@@ -1046,6 +1052,9 @@
                           "maxOutputBytes": {
                             "type": "number"
                           },
+                          "maxBytes": {
+                            "type": "number"
+                          },
                           "fileSet": {
                             "type": "string",
                             "enum": [
@@ -1355,6 +1364,9 @@
                           "maxOutputBytes": {
                             "type": "number"
                           },
+                          "maxBytes": {
+                            "type": "number"
+                          },
                           "fileSet": {
                             "type": "string",
                             "enum": [
@@ -1644,6 +1656,9 @@
                           "maxOutputBytes": {
                             "type": "number"
                           },
+                          "maxBytes": {
+                            "type": "number"
+                          },
                           "fileSet": {
                             "type": "string",
                             "enum": [
@@ -1933,6 +1948,9 @@
                           "maxOutputBytes": {
                             "type": "number"
                           },
+                          "maxBytes": {
+                            "type": "number"
+                          },
                           "fileSet": {
                             "type": "string",
                             "enum": [
@@ -2222,6 +2240,9 @@
                           "maxOutputBytes": {
                             "type": "number"
                           },
+                          "maxBytes": {
+                            "type": "number"
+                          },
                           "fileSet": {
                             "type": "string",
                             "enum": [
@@ -2511,6 +2532,9 @@
                           "maxOutputBytes": {
                             "type": "number"
                           },
+                          "maxBytes": {
+                            "type": "number"
+                          },
                           "fileSet": {
                             "type": "string",
                             "enum": [
@@ -2693,7 +2717,12 @@
       "type": "object",
       "properties": {
         "header": {
-          "type": "boolean"
+          "type": "string",
+          "enum": [
+            "none",
+            "compact",
+            "debug"
+          ]
         }
       }
     },