@fungi.computer/veil 0.4.0 → 0.6.0

package/dist/connections/core.d.ts

@@ -1,10 +1,17 @@
 import * as Effect from "effect/Effect";
-import { ConnectionsError, type ConnectionDraft, type GrantInput, type ConnectionsOptions, type EgressRef, type NarrowFetch, type SurfaceView } from "./contract.js";
+import { ConnectionsError, type CallInput, type ConnectionDraft, type Tools, type GrantInput, type ConnectionsOptions, type EgressRef, type NarrowFetch, type SurfaceView } from "./contract.js";
 /** One owner's connections: attempts, connections, grants, receipts and cleanup in its SQLite. */
 export declare function createConnections(options: ConnectionsOptions): {
     begin: (actor: string, input: ConnectionDraft) => Effect.Effect<{
         connectionId: string;
-        authorizeUrl: null;
+        authorizeUrl: string | null;
+        attemptId: string | null;
+    }, ConnectionsError, never>;
+    complete: (actor: string, input: import("./contract.js").CompleteInput) => Effect.Effect<{
+        connectionId: string;
+    }, ConnectionsError, never>;
+    completeCustody: (input: import("./contract.js").CustodyCompletion) => Effect.Effect<{
+        connectionId: string;
     }, ConnectionsError, never>;
     grant: (actor: string, input: GrantInput) => Effect.Effect<{
         grantVersion: number;
@@ -22,7 +29,10 @@ export declare function createConnections(options: ConnectionsOptions): {
             connectionId: string;
             name: string;
             surface: SurfaceView;
-            tools: readonly string[] | "all";
+            tools: readonly string[] | "all" | {
+                readonly effect: "read";
+            };
+            version: number;
             authorityVersion: number;
             grantVersion: number;
         }[];
@@ -30,19 +40,62 @@ export declare function createConnections(options: ConnectionsOptions): {
     list: (actor: string) => Effect.Effect<Readonly<{
         connectionId: string;
         name: string;
+        label: string;
         surface: Readonly<{
             kind: "mcp" | "openapi";
             origin: string;
+            url: string;
+            digest: string | null;
         }>;
         credentialKind: import("./contract.js").Credential["kind"];
-        state: "active" | "reconnect_required" | "revoked";
+        credential: import("./contract.js").Credential;
+        state: "pending" | "active" | "reconnect_required" | "revoked";
+        version: number;
         authorityVersion: number;
         grants: readonly Readonly<{
             agentId: string;
-            tools: import("./contract.js").Tools;
+            tools: Tools;
             version: number;
+            grantor: string;
         }>[];
     }>[], ConnectionsError, never>;
     egress: (agentId: string, input: EgressRef) => NarrowFetch;
+    call: (agentId: string, input: EgressRef, raw: CallInput) => Effect.Effect<import("zod").JSONType, ConnectionsError, never>;
+    ownerCall: (actor: string, at: Readonly<{
+        connectionId: string;
+        expectedVersion: number;
+    }>, raw: CallInput) => Effect.Effect<import("zod").JSONType, ConnectionsError, never>;
+    tools: (actor: string, connectionId: string) => Effect.Effect<readonly string[], ConnectionsError, never>;
+    operations: (actor: string, id: string) => Effect.Effect<{
+        operations: {
+            status: "supported";
+            name: string;
+            method: "GET" | "HEAD" | "OPTIONS" | "POST" | "PUT" | "PATCH" | "DELETE";
+            path: string;
+            effect: "write" | "read";
+            description: string & import("zod").$brand<"ThirdPartyText">;
+            textSource: "third_party";
+            tags: (string & import("zod").$brand<"ThirdPartyText">)[];
+            parameters: {
+                name: string;
+                in: "header" | "path" | "query";
+                required: boolean;
+                schema: boolean | Record<string, import("zod").JSONType>;
+                style?: string | undefined;
+                explode?: boolean | undefined;
+                allowReserved?: boolean | undefined;
+            }[];
+            input: boolean | Record<string, import("zod").JSONType>;
+            output: boolean | Record<string, import("zod").JSONType>;
+        }[];
+        digest: string;
+    }, ConnectionsError, never>;
+    update: (actor: string, raw: import("./contract.js").UpdateInput) => Effect.Effect<{
+        connectionId: string;
+        version: number;
+    }, ConnectionsError, never>;
     sweep: () => Effect.Effect<void, ConnectionsError, never>;
+    cleanupPending: () => number;
+    reconcilePending: () => Effect.Effect<string[], ConnectionsError, never>;
+    awaitingCustody: () => number;
 };