@llm4ts/core 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Riccardo Merolla
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,47 @@
+# @llm4ts/core
+
+Effect-native LLM contracts: backend-neutral messages, responses, streaming
+chunks, usage, health, structured output, tools, evaluation, and the connector
+registry. This is the foundation package of [llm4ts](https://github.com/riccardomerolla/llm4ts).
+
+## Install
+
+```bash
+npm install @llm4ts/core effect
+```
+
+Requires Node.js >= 22. `effect` is a peer dependency pinned to the Effect 4
+beta line.
+
+## Usage
+
+The package exposes explicit subpath exports — import the module you need:
+
+```ts
+import { LlmServiceShape } from "@llm4ts/core/LlmService"
+import { Message, LlmResponse, ConnectorIds } from "@llm4ts/core/Models"
+import { ApiConnectorConfig } from "@llm4ts/core/ConnectorConfig"
+import { collect } from "@llm4ts/core/Streaming"
+```
+
+Connectors for OpenAI, Anthropic, Gemini, LM Studio, Ollama, and CLI coding
+agents (Claude, Codex, Gemini CLI, and more) live under
+`@llm4ts/core/providers/*`. A deterministic mock connector
+(`@llm4ts/core/providers/MockProvider`) works with zero configuration and no
+credentials.
+
+Most applications should start from
+[`@llm4ts/runner`](https://www.npmjs.com/package/@llm4ts/runner) (Node
+composition and flows) or
+[`@llm4ts/js`](https://www.npmjs.com/package/@llm4ts/js) (Promise-based facade)
+rather than wiring core services directly.
+
+## Documentation
+
+- [Repository and full documentation](https://github.com/riccardomerolla/llm4ts)
+- [API overview](https://github.com/riccardomerolla/llm4ts/blob/main/docs/api.md)
+- [Provider capabilities](https://github.com/riccardomerolla/llm4ts/blob/main/docs/provider-capabilities.md)
+
+## License
+
+MIT

package/dist/AgentSession.d.ts

@@ -0,0 +1,66 @@
+import type * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type * as Stream from "effect/Stream";
+import type { LlmError } from "./Errors.ts";
+import { TokenUsage } from "./Models.ts";
+declare const SessionTextDelta_base: Schema.Class<SessionTextDelta, Schema.TaggedStruct<"TextDelta", {
+    readonly text: Schema.String;
+}>, {}>;
+export declare class SessionTextDelta extends SessionTextDelta_base {
+}
+declare const SessionToolUse_base: Schema.Class<SessionToolUse, Schema.TaggedStruct<"ToolUse", {
+    readonly tool: Schema.String;
+    readonly rawInput: Schema.String;
+    readonly id: Schema.String;
+}>, {}>;
+export declare class SessionToolUse extends SessionToolUse_base {
+}
+declare const SessionToolResult_base: Schema.Class<SessionToolResult, Schema.TaggedStruct<"ToolResult", {
+    readonly id: Schema.String;
+    readonly status: Schema.String;
+    readonly content: Schema.String;
+}>, {}>;
+export declare class SessionToolResult extends SessionToolResult_base {
+}
+declare const SessionAskUser_base: Schema.Class<SessionAskUser, Schema.TaggedStruct<"AskUser", {
+    readonly question: Schema.String;
+}>, {}>;
+export declare class SessionAskUser extends SessionAskUser_base {
+}
+declare const SessionApprovalRequest_base: Schema.Class<SessionApprovalRequest, Schema.TaggedStruct<"ApprovalRequest", {
+    readonly tool: Schema.String;
+    readonly rawInput: Schema.String;
+    readonly id: Schema.String;
+}>, {}>;
+export declare class SessionApprovalRequest extends SessionApprovalRequest_base {
+}
+declare const SessionUsage_base: Schema.Class<SessionUsage, Schema.TaggedStruct<"Usage", {
+    readonly usage: typeof TokenUsage;
+    readonly model: Schema.optionalKey<Schema.String>;
+}>, {}>;
+export declare class SessionUsage extends SessionUsage_base {
+}
+declare const SessionDone_base: Schema.Class<SessionDone, Schema.TaggedStruct<"Done", {
+    readonly result: Schema.String;
+}>, {}>;
+export declare class SessionDone extends SessionDone_base {
+}
+export declare const SessionEvent: Schema.Union<readonly [typeof SessionTextDelta, typeof SessionToolUse, typeof SessionToolResult, typeof SessionAskUser, typeof SessionApprovalRequest, typeof SessionUsage, typeof SessionDone]>;
+export type SessionEvent = typeof SessionEvent.Type;
+declare const SessionResult_base: Schema.Class<SessionResult, Schema.Struct<{
+    readonly text: Schema.String;
+    readonly usage: Schema.optionalKey<typeof TokenUsage>;
+    readonly model: Schema.optionalKey<Schema.String>;
+}>, {}>;
+export declare class SessionResult extends SessionResult_base {
+}
+export interface AgentSessionShape {
+    readonly events: Stream.Stream<SessionEvent, LlmError>;
+    readonly sendUserMessage: (text: string) => Effect.Effect<void, LlmError>;
+    readonly respondToAsk: (answer: string) => Effect.Effect<void, LlmError>;
+    readonly respondToApproval: (id: string, approved: boolean) => Effect.Effect<void, LlmError>;
+    readonly awaitResult: Effect.Effect<SessionResult, LlmError>;
+    readonly cancel: Effect.Effect<void>;
+}
+export {};
+//# sourceMappingURL=AgentSession.d.ts.map

package/dist/AgentSession.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AgentSession.d.ts","sourceRoot":"","sources":["../src/AgentSession.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;;;;AAExC,qBAAa,gBAAiB,SAAQ,qBAEpC;CAAG;;;;;;AAEL,qBAAa,cAAe,SAAQ,mBAIlC;CAAG;;;;;;AAEL,qBAAa,iBAAkB,SAAQ,sBAIrC;CAAG;;;;AAEL,qBAAa,cAAe,SAAQ,mBAElC;CAAG;;;;;;AAEL,qBAAa,sBAAuB,SAAQ,2BAO3C;CAAG;;;;;AAEJ,qBAAa,YAAa,SAAQ,iBAGhC;CAAG;;;;AAEL,qBAAa,WAAY,SAAQ,gBAE/B;CAAG;AAEL,eAAO,MAAM,YAAY,kMAQvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;;;;;;AAEnD,qBAAa,aAAc,SAAQ,kBAIjC;CAAG;AAEL,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;IACtD,QAAQ,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACzE,QAAQ,CAAC,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACxE,QAAQ,CAAC,iBAAiB,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC5F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAA;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CACrC"}

package/dist/AgentSession.js

@@ -0,0 +1,53 @@
+import * as Schema from "effect/Schema";
+import { TokenUsage } from "./Models.js";
+export class SessionTextDelta extends Schema.TaggedClass()("TextDelta", {
+    text: Schema.String
+}) {
+}
+export class SessionToolUse extends Schema.TaggedClass()("ToolUse", {
+    tool: Schema.String,
+    rawInput: Schema.String,
+    id: Schema.String
+}) {
+}
+export class SessionToolResult extends Schema.TaggedClass()("ToolResult", {
+    id: Schema.String,
+    status: Schema.String,
+    content: Schema.String
+}) {
+}
+export class SessionAskUser extends Schema.TaggedClass()("AskUser", {
+    question: Schema.String
+}) {
+}
+export class SessionApprovalRequest extends Schema.TaggedClass()("ApprovalRequest", {
+    tool: Schema.String,
+    rawInput: Schema.String,
+    id: Schema.String
+}) {
+}
+export class SessionUsage extends Schema.TaggedClass()("Usage", {
+    usage: TokenUsage,
+    model: Schema.optionalKey(Schema.String)
+}) {
+}
+export class SessionDone extends Schema.TaggedClass()("Done", {
+    result: Schema.String
+}) {
+}
+export const SessionEvent = Schema.Union([
+    SessionTextDelta,
+    SessionToolUse,
+    SessionToolResult,
+    SessionAskUser,
+    SessionApprovalRequest,
+    SessionUsage,
+    SessionDone
+]);
+export class SessionResult extends Schema.Class("SessionResult")({
+    text: Schema.String,
+    usage: Schema.optionalKey(TokenUsage),
+    model: Schema.optionalKey(Schema.String)
+}) {
+}
+//# sourceMappingURL=AgentSession.js.map

package/dist/AgentSession.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AgentSession.js","sourceRoot":"","sources":["../src/AgentSession.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAAoB,CAAC,WAAW,EAAE;IACxF,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,SAAS,EAAE;IAClF,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,EAAE,EAAE,MAAM,CAAC,MAAM;CAClB,CAAC;CAAG;AAEL,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC,WAAW,EAAqB,CAAC,YAAY,EAAE;IAC3F,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,SAAS,EAAE;IAClF,QAAQ,EAAE,MAAM,CAAC,MAAM;CACxB,CAAC;CAAG;AAEL,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC,WAAW,EAA0B,CACtF,iBAAiB,EACjB;IACE,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,EAAE,EAAE,MAAM,CAAC,MAAM;CAClB,CACF;CAAG;AAEJ,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAAgB,CAAC,OAAO,EAAE;IAC5E,KAAK,EAAE,UAAU;IACjB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC;CAAG;AAEL,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,EAAe,CAAC,MAAM,EAAE;IACzE,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC;IACvC,gBAAgB;IAChB,cAAc;IACd,iBAAiB;IACjB,cAAc;IACd,sBAAsB;IACtB,YAAY;IACZ,WAAW;CACZ,CAAC,CAAA;AAGF,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,KAAK,CAAgB,eAAe,CAAC,CAAC;IAC9E,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;IACrC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC;CAAG"}

package/dist/Capability.d.ts

@@ -0,0 +1,101 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+declare const GitRead_base: Schema.Class<GitRead, Schema.TaggedStruct<"GitRead", {}>, {}>;
+export declare class GitRead extends GitRead_base {
+}
+declare const GitWrite_base: Schema.Class<GitWrite, Schema.TaggedStruct<"GitWrite", {}>, {}>;
+export declare class GitWrite extends GitWrite_base {
+}
+declare const GitPush_base: Schema.Class<GitPush, Schema.TaggedStruct<"GitPush", {}>, {}>;
+export declare class GitPush extends GitPush_base {
+}
+declare const GhRead_base: Schema.Class<GhRead, Schema.TaggedStruct<"GhRead", {}>, {}>;
+export declare class GhRead extends GhRead_base {
+}
+declare const GhWrite_base: Schema.Class<GhWrite, Schema.TaggedStruct<"GhWrite", {}>, {}>;
+export declare class GhWrite extends GhWrite_base {
+}
+declare const AdoRead_base: Schema.Class<AdoRead, Schema.TaggedStruct<"AdoRead", {}>, {}>;
+export declare class AdoRead extends AdoRead_base {
+}
+declare const AdoWrite_base: Schema.Class<AdoWrite, Schema.TaggedStruct<"AdoWrite", {}>, {}>;
+export declare class AdoWrite extends AdoWrite_base {
+}
+declare const Exec_base: Schema.Class<Exec, Schema.TaggedStruct<"Exec", {
+    readonly command: Schema.String;
+}>, {}>;
+export declare class Exec extends Exec_base {
+}
+declare const UseCoder_base: Schema.Class<UseCoder, Schema.TaggedStruct<"UseCoder", {}>, {}>;
+export declare class UseCoder extends UseCoder_base {
+}
+declare const UseReasoning_base: Schema.Class<UseReasoning, Schema.TaggedStruct<"UseReasoning", {}>, {}>;
+export declare class UseReasoning extends UseReasoning_base {
+}
+declare const Declassify_base: Schema.Class<Declassify, Schema.TaggedStruct<"Declassify", {}>, {}>;
+export declare class Declassify extends Declassify_base {
+}
+export declare const Capability: Schema.Union<readonly [typeof GitRead, typeof GitWrite, typeof GitPush, typeof GhRead, typeof GhWrite, typeof AdoRead, typeof AdoWrite, typeof Exec, typeof UseCoder, typeof UseReasoning, typeof Declassify]>;
+export type Capability = typeof Capability.Type;
+export declare const Capabilities: Readonly<{
+    Schema: Schema.Union<readonly [typeof GitRead, typeof GitWrite, typeof GitPush, typeof GhRead, typeof GhWrite, typeof AdoRead, typeof AdoWrite, typeof Exec, typeof UseCoder, typeof UseReasoning, typeof Declassify]>;
+    GitRead: GitRead;
+    GitWrite: GitWrite;
+    GitPush: GitPush;
+    GhRead: GhRead;
+    GhWrite: GhWrite;
+    AdoRead: AdoRead;
+    AdoWrite: AdoWrite;
+    Exec: (command: string) => Exec;
+    UseCoder: UseCoder;
+    UseReasoning: UseReasoning;
+    Declassify: Declassify;
+}>;
+export declare const GrantLevel: Schema.Literals<readonly ["None", "Read", "Write", "Push"]>;
+export type GrantLevel = typeof GrantLevel.Type;
+declare const ExecDenied_base: Schema.Class<ExecDenied, Schema.TaggedStruct<"Denied", {}>, {}>;
+export declare class ExecDenied extends ExecDenied_base {
+}
+declare const ExecAllow_base: Schema.Class<ExecAllow, Schema.TaggedStruct<"Allow", {
+    readonly commands: Schema.$ReadonlySet<Schema.String>;
+}>, {}>;
+export declare class ExecAllow extends ExecAllow_base {
+}
+declare const ExecAll_base: Schema.Class<ExecAll, Schema.TaggedStruct<"All", {}>, {}>;
+export declare class ExecAll extends ExecAll_base {
+}
+export declare const ExecGrant: Schema.Union<readonly [typeof ExecDenied, typeof ExecAllow, typeof ExecAll]>;
+export type ExecGrant = typeof ExecGrant.Type;
+export declare const ExecGrants: Readonly<{
+    Denied: ExecDenied;
+    All: ExecAll;
+}>;
+export declare const allowExec: (commands: Iterable<string>) => ExecAllow;
+declare const Grants_base: Schema.Class<Grants, Schema.Struct<{
+    readonly git: Schema.Literals<readonly ["None", "Read", "Write", "Push"]>;
+    readonly gh: Schema.Literals<readonly ["None", "Read", "Write", "Push"]>;
+    readonly ado: Schema.Literals<readonly ["None", "Read", "Write", "Push"]>;
+    readonly exec: Schema.Union<readonly [typeof ExecDenied, typeof ExecAllow, typeof ExecAll]>;
+    readonly coder: Schema.Boolean;
+    readonly reasoning: Schema.Boolean;
+    readonly declassify: Schema.Boolean;
+}>, {}>;
+export declare class Grants extends Grants_base {
+}
+export declare const allGrants: Grants;
+export declare const noneGrants: Grants;
+export declare const intersectGrants: (first: Grants, second: Grants) => Grants;
+export declare const unionGrants: (first: Grants, second: Grants) => Grants;
+export declare const allows: (grants: Grants, capability: Capability) => boolean;
+export declare const currentGrants: Effect.Effect<Grants>;
+export declare const restricted: (grants: Grants) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+declare const CapabilityDenied_base: Schema.Class<CapabilityDenied, Schema.TaggedStruct<"CapabilityDenied", {
+    readonly required: Schema.$Array<Schema.Union<readonly [typeof GitRead, typeof GitWrite, typeof GitPush, typeof GhRead, typeof GhWrite, typeof AdoRead, typeof AdoWrite, typeof Exec, typeof UseCoder, typeof UseReasoning, typeof Declassify]>>;
+    readonly granted: typeof Grants;
+}>, import("effect/Cause").YieldableError>;
+export declare class CapabilityDenied extends CapabilityDenied_base {
+    get message(): string;
+}
+export declare const requireCapabilities: (required: ReadonlyArray<Capability>) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E | CapabilityDenied, R>;
+export {};
+//# sourceMappingURL=Capability.d.ts.map

package/dist/Capability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Capability.d.ts","sourceRoot":"","sources":["../src/Capability.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;;AAEvC,qBAAa,OAAQ,SAAQ,YAA4C;CAAG;;AAC5E,qBAAa,QAAS,SAAQ,aAA8C;CAAG;;AAC/E,qBAAa,OAAQ,SAAQ,YAA4C;CAAG;;AAC5E,qBAAa,MAAO,SAAQ,WAA0C;CAAG;;AACzE,qBAAa,OAAQ,SAAQ,YAA4C;CAAG;;AAC5E,qBAAa,OAAQ,SAAQ,YAA4C;CAAG;;AAC5E,qBAAa,QAAS,SAAQ,aAA8C;CAAG;;;;AAC/E,qBAAa,IAAK,SAAQ,SAExB;CAAG;;AACL,qBAAa,QAAS,SAAQ,aAA8C;CAAG;;AAC/E,qBAAa,YAAa,SAAQ,iBAAsD;CAAG;;AAC3F,qBAAa,UAAW,SAAQ,eAAkD;CAAG;AAErF,eAAO,MAAM,UAAU,gNAYrB,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAE/C,eAAO,MAAM,YAAY;;;;;;;;;oBASP,MAAM,KAAG,IAAI;;;;EAI7B,CAAA;AAEF,eAAO,MAAM,UAAU,6DAAqD,CAAA;AAC5E,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;;AAqB/C,qBAAa,UAAW,SAAQ,eAA8C;CAAG;;;;AACjF,qBAAa,SAAU,SAAQ,cAE7B;CAAG;;AACL,qBAAa,OAAQ,SAAQ,YAAwC;CAAG;AAExE,eAAO,MAAM,SAAS,8EAAiD,CAAA;AACvE,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,eAAO,MAAM,UAAU;;;EAGrB,CAAA;AAEF,eAAO,MAAM,SAAS,GAAI,UAAU,QAAQ,CAAC,MAAM,CAAC,KAAG,SACP,CAAA;;;;;;;;;;AA4BhD,qBAAa,MAAO,SAAQ,WAQ1B;CAAG;AAEL,eAAO,MAAM,SAAS,QAQpB,CAAA;AAEF,eAAO,MAAM,UAAU,QAQrB,CAAA;AAEF,eAAO,MAAM,eAAe,GAAI,OAAO,MAAM,EAAE,QAAQ,MAAM,KAAG,MAS5D,CAAA;AAEJ,eAAO,MAAM,WAAW,GAAI,OAAO,MAAM,EAAE,QAAQ,MAAM,KAAG,MASxD,CAAA;AAaJ,eAAO,MAAM,MAAM,GAAI,QAAQ,MAAM,EAAE,YAAY,UAAU,KAAG,OAyB/D,CAAA;AAMD,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAiD,CAAA;AAEjG,eAAO,MAAM,UAAU,GACpB,QAAQ,MAAM,MACd,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAG7D,CAAA;;;;;AAEL,qBAAa,gBAAiB,SAAQ,qBAMrC;IACC,IAAI,OAAO,IAAI,MAAM,CAKpB;CACF;AAED,eAAO,MAAM,mBAAmB,GAC7B,UAAU,aAAa,CAAC,UAAU,CAAC,MACnC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,gBAAgB,EAAE,CAAC,CAM/E,CAAA"}

package/dist/Capability.js

@@ -0,0 +1,210 @@
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+export class GitRead extends Schema.TaggedClass()("GitRead", {}) {
+}
+export class GitWrite extends Schema.TaggedClass()("GitWrite", {}) {
+}
+export class GitPush extends Schema.TaggedClass()("GitPush", {}) {
+}
+export class GhRead extends Schema.TaggedClass()("GhRead", {}) {
+}
+export class GhWrite extends Schema.TaggedClass()("GhWrite", {}) {
+}
+export class AdoRead extends Schema.TaggedClass()("AdoRead", {}) {
+}
+export class AdoWrite extends Schema.TaggedClass()("AdoWrite", {}) {
+}
+export class Exec extends Schema.TaggedClass()("Exec", {
+    command: Schema.String
+}) {
+}
+export class UseCoder extends Schema.TaggedClass()("UseCoder", {}) {
+}
+export class UseReasoning extends Schema.TaggedClass()("UseReasoning", {}) {
+}
+export class Declassify extends Schema.TaggedClass()("Declassify", {}) {
+}
+export const Capability = Schema.Union([
+    GitRead,
+    GitWrite,
+    GitPush,
+    GhRead,
+    GhWrite,
+    AdoRead,
+    AdoWrite,
+    Exec,
+    UseCoder,
+    UseReasoning,
+    Declassify
+]);
+export const Capabilities = Object.freeze({
+    Schema: Capability,
+    GitRead: new GitRead(),
+    GitWrite: new GitWrite(),
+    GitPush: new GitPush(),
+    GhRead: new GhRead(),
+    GhWrite: new GhWrite(),
+    AdoRead: new AdoRead(),
+    AdoWrite: new AdoWrite(),
+    Exec: (command) => new Exec({ command }),
+    UseCoder: new UseCoder(),
+    UseReasoning: new UseReasoning(),
+    Declassify: new Declassify()
+});
+export const GrantLevel = Schema.Literals(["None", "Read", "Write", "Push"]);
+const levelRank = (level) => {
+    switch (level) {
+        case "None":
+            return 0;
+        case "Read":
+            return 1;
+        case "Write":
+            return 2;
+        case "Push":
+            return 3;
+    }
+};
+const minLevel = (first, second) => levelRank(first) <= levelRank(second) ? first : second;
+const maxLevel = (first, second) => levelRank(first) >= levelRank(second) ? first : second;
+export class ExecDenied extends Schema.TaggedClass()("Denied", {}) {
+}
+export class ExecAllow extends Schema.TaggedClass()("Allow", {
+    commands: Schema.ReadonlySet(Schema.String)
+}) {
+}
+export class ExecAll extends Schema.TaggedClass()("All", {}) {
+}
+export const ExecGrant = Schema.Union([ExecDenied, ExecAllow, ExecAll]);
+export const ExecGrants = Object.freeze({
+    Denied: new ExecDenied(),
+    All: new ExecAll()
+});
+export const allowExec = (commands) => new ExecAllow({ commands: new Set(commands) });
+const intersectExec = (first, second) => {
+    if (first._tag === "Denied" || second._tag === "Denied") {
+        return ExecGrants.Denied;
+    }
+    if (first._tag === "All") {
+        return second;
+    }
+    if (second._tag === "All") {
+        return first;
+    }
+    return allowExec([...first.commands].filter((command) => second.commands.has(command)));
+};
+const unionExec = (first, second) => {
+    if (first._tag === "All" || second._tag === "All") {
+        return ExecGrants.All;
+    }
+    if (first._tag === "Denied") {
+        return second;
+    }
+    if (second._tag === "Denied") {
+        return first;
+    }
+    return allowExec(new Set([...first.commands, ...second.commands]));
+};
+export class Grants extends Schema.Class("Grants")({
+    git: GrantLevel,
+    gh: GrantLevel,
+    ado: GrantLevel,
+    exec: ExecGrant,
+    coder: Schema.Boolean,
+    reasoning: Schema.Boolean,
+    declassify: Schema.Boolean
+}) {
+}
+export const allGrants = new Grants({
+    git: "Push",
+    gh: "Write",
+    ado: "Write",
+    exec: ExecGrants.All,
+    coder: true,
+    reasoning: true,
+    declassify: true
+});
+export const noneGrants = new Grants({
+    git: "None",
+    gh: "None",
+    ado: "None",
+    exec: ExecGrants.Denied,
+    coder: false,
+    reasoning: false,
+    declassify: false
+});
+export const intersectGrants = (first, second) => new Grants({
+    git: minLevel(first.git, second.git),
+    gh: minLevel(first.gh, second.gh),
+    ado: minLevel(first.ado, second.ado),
+    exec: intersectExec(first.exec, second.exec),
+    coder: first.coder && second.coder,
+    reasoning: first.reasoning && second.reasoning,
+    declassify: first.declassify && second.declassify
+});
+export const unionGrants = (first, second) => new Grants({
+    git: maxLevel(first.git, second.git),
+    gh: maxLevel(first.gh, second.gh),
+    ado: maxLevel(first.ado, second.ado),
+    exec: unionExec(first.exec, second.exec),
+    coder: first.coder || second.coder,
+    reasoning: first.reasoning || second.reasoning,
+    declassify: first.declassify || second.declassify
+});
+const execAllows = (grant, command) => {
+    switch (grant._tag) {
+        case "Denied":
+            return false;
+        case "Allow":
+            return grant.commands.has(command);
+        case "All":
+            return true;
+    }
+};
+export const allows = (grants, capability) => {
+    switch (capability._tag) {
+        case "GitRead":
+            return levelRank(grants.git) >= levelRank("Read");
+        case "GitWrite":
+            return levelRank(grants.git) >= levelRank("Write");
+        case "GitPush":
+            return levelRank(grants.git) >= levelRank("Push");
+        case "GhRead":
+            return levelRank(grants.gh) >= levelRank("Read");
+        case "GhWrite":
+            return levelRank(grants.gh) >= levelRank("Write");
+        case "AdoRead":
+            return levelRank(grants.ado) >= levelRank("Read");
+        case "AdoWrite":
+            return levelRank(grants.ado) >= levelRank("Write");
+        case "Exec":
+            return execAllows(grants.exec, capability.command);
+        case "UseCoder":
+            return grants.coder;
+        case "UseReasoning":
+            return grants.reasoning;
+        case "Declassify":
+            return grants.declassify;
+    }
+};
+const CurrentGrants = Context.Reference("@llm4ts/core/CurrentGrants", {
+    defaultValue: () => allGrants
+});
+export const currentGrants = Effect.map(CurrentGrants, (grants) => grants);
+export const restricted = (grants) => (effect) => Effect.flatMap(CurrentGrants, (current) => Effect.provideService(effect, CurrentGrants, intersectGrants(current, grants)));
+export class CapabilityDenied extends Schema.TaggedErrorClass()("CapabilityDenied", {
+    required: Schema.Array(Capability),
+    granted: Grants
+}) {
+    get message() {
+        const names = this.required.map((capability) => capability._tag === "Exec" ? `Exec(${capability.command})` : capability._tag);
+        return `missing required capabilities: ${names.join(", ")}`;
+    }
+}
+export const requireCapabilities = (required) => (effect) => Effect.flatMap(CurrentGrants, (granted) => {
+    const missing = required.filter((capability) => !allows(granted, capability));
+    return missing.length === 0
+        ? effect
+        : Effect.fail(new CapabilityDenied({ required: missing, granted }));
+});
+//# sourceMappingURL=Capability.js.map

package/dist/Capability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Capability.js","sourceRoot":"","sources":["../src/Capability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,EAAW,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAC5E,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,EAAY,CAAC,UAAU,EAAE,EAAE,CAAC;CAAG;AAC/E,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,EAAW,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAC5E,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,EAAU,CAAC,QAAQ,EAAE,EAAE,CAAC;CAAG;AACzE,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,EAAW,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAC5E,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,EAAW,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AAC5E,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,EAAY,CAAC,UAAU,EAAE,EAAE,CAAC;CAAG;AAC/E,MAAM,OAAO,IAAK,SAAQ,MAAM,CAAC,WAAW,EAAQ,CAAC,MAAM,EAAE;IAC3D,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AACL,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,EAAY,CAAC,UAAU,EAAE,EAAE,CAAC;CAAG;AAC/E,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAAgB,CAAC,cAAc,EAAE,EAAE,CAAC;CAAG;AAC3F,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,EAAc,CAAC,YAAY,EAAE,EAAE,CAAC;CAAG;AAErF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC;IACrC,OAAO;IACP,QAAQ;IACR,OAAO;IACP,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,IAAI;IACJ,QAAQ;IACR,YAAY;IACZ,UAAU;CACX,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,IAAI,OAAO,EAAE;IACtB,QAAQ,EAAE,IAAI,QAAQ,EAAE;IACxB,OAAO,EAAE,IAAI,OAAO,EAAE;IACtB,MAAM,EAAE,IAAI,MAAM,EAAE;IACpB,OAAO,EAAE,IAAI,OAAO,EAAE;IACtB,OAAO,EAAE,IAAI,OAAO,EAAE;IACtB,QAAQ,EAAE,IAAI,QAAQ,EAAE;IACxB,IAAI,EAAE,CAAC,OAAe,EAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACtD,QAAQ,EAAE,IAAI,QAAQ,EAAE;IACxB,YAAY,EAAE,IAAI,YAAY,EAAE;IAChC,UAAU,EAAE,IAAI,UAAU,EAAE;CAC7B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;AAG5E,MAAM,SAAS,GAAG,CAAC,KAAiB,EAAU,EAAE;IAC9C,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM;YACT,OAAO,CAAC,CAAA;QACV,KAAK,MAAM;YACT,OAAO,CAAC,CAAA;QACV,KAAK,OAAO;YACV,OAAO,CAAC,CAAA;QACV,KAAK,MAAM;YACT,OAAO,CAAC,CAAA;IACZ,CAAC;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,KAAiB,EAAE,MAAkB,EAAc,EAAE,CACrE,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAA;AAExD,MAAM,QAAQ,GAAG,CAAC,KAAiB,EAAE,MAAkB,EAAc,EAAE,CACrE,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAA;AAExD,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,EAAc,CAAC,QAAQ,EAAE,EAAE,CAAC;CAAG;AACjF,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,EAAa,CAAC,OAAO,EAAE;IACtE,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC5C,CAAC;CAAG;AACL,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,EAAW,CAAC,KAAK,EAAE,EAAE,CAAC;CAAG;AAExE,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAA;AAGvE,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,MAAM,EAAE,IAAI,UAAU,EAAE;IACxB,GAAG,EAAE,IAAI,OAAO,EAAE;CACnB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAA0B,EAAa,EAAE,CACjE,IAAI,SAAS,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;AAEhD,MAAM,aAAa,GAAG,CAAC,KAAgB,EAAE,MAAiB,EAAa,EAAE;IACvE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxD,OAAO,UAAU,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzB,OAAO,MAAM,CAAA;IACf,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AACzF,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,KAAgB,EAAE,MAAiB,EAAa,EAAE;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAClD,OAAO,UAAU,CAAC,GAAG,CAAA;IACvB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAA;IACf,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;AACpE,CAAC,CAAA;AAED,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,KAAK,CAAS,QAAQ,CAAC,CAAC;IACzD,GAAG,EAAE,UAAU;IACf,EAAE,EAAE,UAAU;IACd,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,MAAM,CAAC,OAAO;IACrB,SAAS,EAAE,MAAM,CAAC,OAAO;IACzB,UAAU,EAAE,MAAM,CAAC,OAAO;CAC3B,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,MAAM,CAAC;IAClC,GAAG,EAAE,MAAM;IACX,EAAE,EAAE,OAAO;IACX,GAAG,EAAE,OAAO;IACZ,IAAI,EAAE,UAAU,CAAC,GAAG;IACpB,KAAK,EAAE,IAAI;IACX,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,IAAI;CACjB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC;IACnC,GAAG,EAAE,MAAM;IACX,EAAE,EAAE,MAAM;IACV,GAAG,EAAE,MAAM;IACX,IAAI,EAAE,UAAU,CAAC,MAAM;IACvB,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,KAAK;IAChB,UAAU,EAAE,KAAK;CAClB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE,CACvE,IAAI,MAAM,CAAC;IACT,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC;IACpC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;IACjC,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC;IACpC,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;IAC5C,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK;IAClC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS;IAC9C,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU;CAClD,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE,CACnE,IAAI,MAAM,CAAC;IACT,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC;IACpC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;IACjC,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC;IACpC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;IACxC,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK;IAClC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS;IAC9C,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU;CAClD,CAAC,CAAA;AAEJ,MAAM,UAAU,GAAG,CAAC,KAAgB,EAAE,OAAe,EAAW,EAAE;IAChE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAA;QACd,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACpC,KAAK,KAAK;YACR,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,UAAsB,EAAW,EAAE;IACxE,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAA;QACnD,KAAK,UAAU;YACb,OAAO,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAA;QACpD,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAA;QACnD,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAA;QAClD,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAA;QACnD,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAA;QACnD,KAAK,UAAU;YACb,OAAO,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAA;QACpD,KAAK,MAAM;YACT,OAAO,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,CAAA;QACpD,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,KAAK,CAAA;QACrB,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,SAAS,CAAA;QACzB,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,UAAU,CAAA;IAC5B,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAS,4BAA4B,EAAE;IAC5E,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS;CAC9B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,aAAa,GAA0B,MAAM,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAA;AAEjG,MAAM,CAAC,MAAM,UAAU,GACrB,CAAC,MAAc,EAAE,EAAE,CACnB,CAAU,MAA8B,EAA0B,EAAE,CAClE,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CACxC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAC/E,CAAA;AAEL,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,gBAAgB,EAAoB,CAC/E,kBAAkB,EAClB;IACE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;IAClC,OAAO,EAAE,MAAM;CAChB,CACF;IACC,IAAI,OAAO;QACT,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAC7C,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAC7E,CAAA;QACD,OAAO,kCAAkC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IAC7D,CAAC;CACF;AAED,MAAM,CAAC,MAAM,mBAAmB,GAC9B,CAAC,QAAmC,EAAE,EAAE,CACxC,CAAU,MAA8B,EAA6C,EAAE,CACrF,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,OAAO,EAA6C,EAAE;IACnF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;IAC7E,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AACvE,CAAC,CAAC,CAAA"}

package/dist/Connector.d.ts

@@ -0,0 +1,69 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type * as Stream from "effect/Stream";
+import { type LlmError } from "./Errors.ts";
+import type { LlmServiceShape, StructuredResult } from "./LlmService.ts";
+import { ConnectorCapabilities, HealthStatus, type ConnectorId, type ConnectorKind, type InteractionSupport, type JsonSchema, type LlmChunk, type Message, type ToolCallResponse, type ToolDefinition } from "./Models.ts";
+import type { ProcessExecutorShape } from "./ProcessExecutor.ts";
+export interface ConnectorShape extends LlmServiceShape {
+    readonly id: ConnectorId;
+    readonly kind: ConnectorKind;
+    readonly healthCheck: Effect.Effect<HealthStatus, LlmError>;
+    readonly capabilities: ConnectorCapabilities;
+}
+export interface ApiConnectorShape extends ConnectorShape {
+    readonly kind: "Api";
+}
+declare const CliContext_base: Schema.Class<CliContext, Schema.Struct<{
+    readonly worktreePath: Schema.String;
+    readonly repoPath: Schema.String;
+    readonly envVars: Schema.withConstructorDefault<Schema.$Record<Schema.String, Schema.String>>;
+    readonly sandbox: Schema.optionalKey<Schema.Union<readonly [typeof import("./ConnectorConfig.ts").DockerSandbox, typeof import("./ConnectorConfig.ts").PodmanSandbox, typeof import("./ConnectorConfig.ts").SeatbeltMacOsSandbox, typeof import("./ConnectorConfig.ts").RunscSandbox, typeof import("./ConnectorConfig.ts").LxcSandbox]>>;
+    readonly turnLimit: Schema.optionalKey<Schema.Int>;
+}>, {}>;
+export declare class CliContext extends CliContext_base {
+}
+export interface CliConnectorShape extends ConnectorShape {
+    readonly kind: "Cli";
+    readonly interactionSupport: InteractionSupport;
+    readonly buildArgv: (prompt: string, context: CliContext) => ReadonlyArray<string>;
+    readonly buildInteractiveArgv: (context: CliContext) => ReadonlyArray<string>;
+    readonly complete: (prompt: string) => Effect.Effect<string, LlmError>;
+    readonly completeStream: (prompt: string) => Stream.Stream<LlmChunk, LlmError>;
+}
+export declare const apiConnectorCapabilities: () => ConnectorCapabilities;
+export declare const timedHealthCheck: (isAvailable: Effect.Effect<boolean>) => Effect.Effect<HealthStatus, LlmError>;
+export interface ApiConnectorPrimitives {
+    readonly id: ConnectorId;
+    readonly executeStream: (prompt: string) => Stream.Stream<LlmChunk, LlmError>;
+    readonly executeStreamWithHistory: (messages: ReadonlyArray<Message>) => Stream.Stream<LlmChunk, LlmError>;
+    readonly executeWithTools: (prompt: string, tools: ReadonlyArray<ToolDefinition>) => Effect.Effect<ToolCallResponse, LlmError>;
+    readonly executeStructuredWithUsage: <A, E, RD, RE>(prompt: string, schema: Schema.ConstraintCodec<A, E, RD, RE>, jsonSchema: JsonSchema) => Effect.Effect<StructuredResult<A>, LlmError, RD>;
+    readonly isAvailable: Effect.Effect<boolean>;
+    readonly capabilities?: ConnectorCapabilities;
+}
+export declare const makeApiConnector: (primitives: ApiConnectorPrimitives) => ApiConnectorShape;
+export declare const cliConnectorCapabilities: (interactionSupport: InteractionSupport) => ConnectorCapabilities;
+export declare const flattenHistory: (messages: ReadonlyArray<Message>) => string;
+export interface CliVersionProbe {
+    readonly executor: ProcessExecutorShape;
+    readonly binary: string;
+    readonly versionArgs?: ReadonlyArray<string>;
+    readonly cwd?: string;
+}
+export declare const cliVersionProbeHealthCheck: (probe: CliVersionProbe) => Effect.Effect<HealthStatus, LlmError>;
+export interface CliConnectorPrimitives {
+    readonly id: ConnectorId;
+    readonly interactionSupport: InteractionSupport;
+    readonly buildArgv: (prompt: string, context: CliContext) => ReadonlyArray<string>;
+    readonly buildInteractiveArgv: (context: CliContext) => ReadonlyArray<string>;
+    readonly complete: (prompt: string) => Effect.Effect<string, LlmError>;
+    readonly completeStream: (prompt: string) => Stream.Stream<LlmChunk, LlmError>;
+    readonly versionProbe?: CliVersionProbe;
+    readonly healthCheck?: Effect.Effect<HealthStatus, LlmError>;
+    readonly isAvailable?: Effect.Effect<boolean>;
+    readonly capabilities?: ConnectorCapabilities;
+}
+export declare const makeCliConnector: (primitives: CliConnectorPrimitives) => CliConnectorShape;
+export {};
+//# sourceMappingURL=Connector.d.ts.map

package/dist/Connector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Connector.d.ts","sourceRoot":"","sources":["../src/Connector.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAE5C,OAAO,EAAuB,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAA;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACxE,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,OAAO,EACZ,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACpB,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAGhE,MAAM,WAAW,cAAe,SAAQ,eAAe;IACrD,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;IAC3D,QAAQ,CAAC,YAAY,EAAE,qBAAqB,CAAA;CAC7C;AAED,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACrB;;;;;;;;AAED,qBAAa,UAAW,SAAQ,eAQ9B;CAAG;AAEL,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAA;IAC/C,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IAClF,QAAQ,CAAC,oBAAoB,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IAC7E,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACtE,QAAQ,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAC/E;AAED,eAAO,MAAM,wBAAwB,QAAO,qBAAuD,CAAA;AAEnG,eAAO,MAAM,gBAAgB,GAC3B,aAAa,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAClC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAUnC,CAAA;AAEJ,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAA;IACxB,QAAQ,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC7E,QAAQ,CAAC,wBAAwB,EAAE,CACjC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IACtC,QAAQ,CAAC,gBAAgB,EAAE,CACzB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,KACjC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAA;IAC9C,QAAQ,CAAC,0BAA0B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAChD,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAC5C,UAAU,EAAE,UAAU,KACnB,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;IACrD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5C,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAA;CAC9C;AAED,eAAO,MAAM,gBAAgB,GAAI,YAAY,sBAAsB,KAAG,iBAkBrE,CAAA;AAED,eAAO,MAAM,wBAAwB,GACnC,oBAAoB,kBAAkB,KACrC,qBAGC,CAAA;AAEJ,eAAO,MAAM,cAAc,GAAI,UAAU,aAAa,CAAC,OAAO,CAAC,KAAG,MAWjE,CAAA;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAA;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CACtB;AAKD,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,KACrB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAMlC,CAAA;AAEL,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAA;IACxB,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAA;IAC/C,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IAClF,QAAQ,CAAC,oBAAoB,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IAC7E,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACtE,QAAQ,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC9E,QAAQ,CAAC,YAAY,CAAC,EAAE,eAAe,CAAA;IACvC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;IAC5D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC7C,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAA;CAC9C;AAaD,eAAO,MAAM,gBAAgB,GAAI,YAAY,sBAAsB,KAAG,iBA+CrE,CAAA"}