traits 0.5.1 → 0.5.3

package/dist/test/TraitsInitialization.test.js

@@ -0,0 +1,130 @@
+import { NodeServices } from "@effect/platform-node";
+import { expect, it } from "@effect/vitest";
+import { Effect, FileSystem, Path, pipe, Queue, Schema as S, Stream } from "effect";
+import { ChildProcess, ChildProcessSpawner } from "effect/process";
+const effectUrl = new URL("../../node_modules/effect/dist/index.js", import.meta.url).href;
+const server = new URL("../main.ts", import.meta.url).pathname;
+for (const fixture of [
+    { name: "unreadable environment", source: "export default {}", diagnostic: ".env" },
+    {
+        name: "throwing module",
+        source: 'throw new Error("example module failure")',
+        diagnostic: "example module failure"
+    },
+    { name: "invalid config", source: "export default {}", diagnostic: "layerDecisionModel" },
+    {
+        name: "missing credentials",
+        source: `import { Config, Layer } from ${JSON.stringify(effectUrl)};
+      export default { layerDecisionModel: Layer.effectDiscard(Config.Redacted("TRAITS_TEST_MISSING_KEY")), layerLanguageModel: Layer.empty }`,
+        diagnostic: "TRAITS_TEST_MISSING_KEY"
+    },
+    {
+        name: "provider defect",
+        source: `import { Effect, Layer } from ${JSON.stringify(effectUrl)};
+      export default { layerDecisionModel: Layer.effectDiscard(Effect.die("example provider defect")), layerLanguageModel: Layer.empty }`,
+        diagnostic: "example provider defect"
+    },
+    {
+        name: "arbitrary provider failure",
+        source: `import { Effect, Layer } from ${JSON.stringify(effectUrl)};
+      export default { layerDecisionModel: Layer.effectDiscard(Effect.fail({ _tag: "CustomFailure", message: "example custom failure" })), layerLanguageModel: Layer.empty }`,
+        diagnostic: "example custom failure"
+    },
+    {
+        name: "outdated stored trait",
+        source: `import { Layer } from ${JSON.stringify(effectUrl)};
+      export default { layerDecisionModel: Layer.empty, layerLanguageModel: Layer.empty }`,
+        trait: "---\nname: legacy_name\n---\nKeep this rule.\n",
+        diagnostic: "Update all stored traits to the format/schema of the currently installed traits package"
+    }
+]) {
+    it.effect(`keeps MCP connected with ${fixture.name}`, Effect.fn("test.TraitsInitialization")(function* () {
+        const fs = yield* FileSystem.FileSystem;
+        const path = yield* Path.Path;
+        const spawner = yield* ChildProcessSpawner.ChildProcessSpawner;
+        const directory = yield* fs.exists("/tmp/opencode");
+        const cwd = yield* fs.makeTempDirectoryScoped({
+            directory: directory ? "/tmp/opencode" : undefined,
+            prefix: "traits-mcp-"
+        });
+        yield* spawner.exitCode(ChildProcess.make("git", ["init", "--quiet"], { cwd }));
+        yield* fs.writeFileString(path.join(cwd, "traits.ts"), fixture.source);
+        const traitPath = path.join(cwd, ".agents/traits/outdated-trait.md");
+        if ("trait" in fixture) {
+            yield* fs.makeDirectory(path.dirname(traitPath), { recursive: true });
+            yield* fs.writeFileString(traitPath, fixture.trait);
+        }
+        if (fixture.name === "unreadable environment")
+            yield* fs.makeDirectory(path.join(cwd, ".env"));
+        const requests = yield* Queue.unbounded();
+        const responses = yield* Queue.unbounded();
+        const child = yield* spawner.spawn(ChildProcess.make(process.execPath, [server], {
+            cwd,
+            stdin: Stream.fromQueue(requests).pipe(Stream.encodeText),
+            stderr: "inherit"
+        }));
+        yield* child.stdout.pipe(Stream.decodeText(), Stream.splitLines, Stream.runForEach((line) => Queue.offer(responses, line)), Effect.forkScoped);
+        const request = Effect.fn("test.McpRequest")(function* (id, method, params = {}) {
+            yield* Queue.offer(requests, `${JSON.stringify({ jsonrpc: "2.0", id, method, params })}\n`);
+            while (true) {
+                const line = yield* Queue.take(responses);
+                const response = yield* pipe(line, S.decodeEffect(S.fromJsonString(S.Struct({
+                    id: S.Int.pipe(S.optional),
+                    result: S.Unknown.pipe(S.optional)
+                }))));
+                if (response.id === id)
+                    return response.result;
+            }
+        });
+        const initialized = yield* request(1, "initialize", {
+            protocolVersion: "2025-11-25",
+            capabilities: {},
+            clientInfo: { name: "test", version: "1" }
+        });
+        expect(initialized).toMatchObject({ serverInfo: { name: "traits" } });
+        yield* Queue.offer(requests, `${JSON.stringify({ jsonrpc: "2.0", method: "notifications/initialized" })}\n`);
+        const listed = yield* request(2, "tools/list");
+        expect(listed).toMatchObject({
+            tools: "trait" in fixture
+                ? expect.arrayContaining([
+                    expect.objectContaining({ name: "check_traits" }),
+                    expect.objectContaining({ name: "derive_trait" })
+                ])
+                : [
+                    expect.objectContaining({
+                        name: "traits_configuration_error",
+                        description: expect.stringContaining("restart")
+                    })
+                ]
+        });
+        for (const index of [3, 4]) {
+            const tool = "trait" in fixture
+                ? index === 3
+                    ? { name: "check_traits", arguments: { include: [] } }
+                    : { name: "derive_trait", arguments: { name: "example", proposedTrait: "Example rule" } }
+                : { name: "traits_configuration_error", arguments: {} };
+            const result = yield* request(index, "tools/call", tool);
+            expect(result).toMatchObject({
+                isError: true,
+                content: [{ type: "text", text: expect.stringContaining(fixture.diagnostic) }]
+            });
+            if ("trait" in fixture) {
+                expect(JSON.stringify(result)).toContain(traitPath);
+                expect(JSON.stringify(result)).toContain("TraitParseError");
+            }
+            else {
+                expect(JSON.stringify(result)).toContain("restart the Traits MCP server");
+            }
+        }
+        if ("trait" in fixture) {
+            const unchanged = yield* fs.readFileString(traitPath);
+            expect(unchanged).toBe(fixture.trait);
+            yield* fs.writeFileString(traitPath, "---\nname: outdated-trait\n---\nKeep this rule.\n");
+            const recovered = yield* request(6, "tools/call", { name: "check_traits", arguments: { include: [] } });
+            expect(recovered).toMatchObject({ isError: false });
+        }
+        const ping = yield* request(5, "ping");
+        expect(ping).toEqual({});
+    }, Effect.provide(NodeServices.layer)), { timeout: 20000 });
+}
+//# sourceMappingURL=TraitsInitialization.test.js.map

package/dist/test/TraitsInitialization.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TraitsInitialization.test.js","sourceRoot":"","sources":["../../test/TraitsInitialization.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACpD,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAA;AAC3C,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAElE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,yCAAyC,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAA;AAC1F,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAA;AAE9D,KAAK,MAAM,OAAO,IAAI;IACpB,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,EAAE;IACnF;QACE,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,2CAA2C;QACnD,UAAU,EAAE,wBAAwB;KACrC;IACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,oBAAoB,EAAE;IACzF;QACE,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;8IACwE;QAC1I,UAAU,EAAE,yBAAyB;KACtC;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;yIACmE;QACrI,UAAU,EAAE,yBAAyB;KACtC;IACD;QACE,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;6KACuG;QACzK,UAAU,EAAE,wBAAwB;KACrC;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,yBAAyB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;0FAC4B;QACtF,KAAK,EAAE,gDAAgD;QACvD,UAAU,EAAE,yFAAyF;KACtG;CACF,EAAE,CAAC;IACF,EAAE,CAAC,MAAM,CACP,4BAA4B,OAAO,CAAC,IAAI,EAAE,EAC1C,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC;QAC9C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,mBAAmB,CAAA;QAC9D,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAA;QACnD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,uBAAuB,CAAC;YAC5C,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;YAClD,MAAM,EAAE,aAAa;SACtB,CAAC,CAAA;QACF,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;QAC/E,KAAK,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;QACtE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,kCAAkC,CAAC,CAAA;QACpE,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;YACvB,KAAK,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;YACrE,KAAK,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;QACrD,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,wBAAwB;YAAE,KAAK,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAA;QAC9F,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAU,CAAA;QACjD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAU,CAAA;QAClD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAChC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE;YAC5C,GAAG;YACH,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YACzD,MAAM,EAAE,SAAS;SAClB,CAAC,CACH,CAAA;QACD,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CACtB,MAAM,CAAC,UAAU,EAAE,EACnB,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EACzD,MAAM,CAAC,UAAU,CAClB,CAAA;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAU,EAAE,MAAc,EAAE,MAAM,GAAY,EAAE;YACtG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,CAAA;YAC3F,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,IAAI,CAC1B,IAAI,EACJ,CAAC,CAAC,YAAY,CACZ,CAAC,CAAC,cAAc,CACd,CAAC,CAAC,MAAM,CAAC;oBACP,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAC1B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;iBACnC,CAAC,CACH,CACF,CACF,CAAA;gBACD,IAAI,QAAQ,CAAC,EAAE,KAAK,EAAE;oBAAE,OAAO,QAAQ,CAAC,MAAM,CAAA;YAChD,CAAC;QACH,CAAC,CAAC,CAAA;QACF,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,EAAE;YAClD,eAAe,EAAE,YAAY;YAC7B,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE;SAC3C,CAAC,CAAA;QACF,MAAM,CAAC,WAAW,CAAC,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;QACrE,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,IAAI,CAAC,CAAA;QAC5G,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;YAC3B,KAAK,EACH,OAAO,IAAI,OAAO;gBAChB,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;oBACrB,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;oBACjD,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;iBAClD,CAAC;gBACJ,CAAC,CAAC;oBACE,MAAM,CAAC,gBAAgB,CAAC;wBACtB,IAAI,EAAE,4BAA4B;wBAClC,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,SAAS,CAAC;qBAChD,CAAC;iBACH;SACR,CAAC,CAAA;QACF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,GACR,OAAO,IAAI,OAAO;gBAChB,CAAC,CAAC,KAAK,KAAK,CAAC;oBACX,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE;oBACtD,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,cAAc,EAAE,EAAE;gBAC3F,CAAC,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;YAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;YACxD,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;gBAC3B,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;aAC/E,CAAC,CAAA;YACF,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;gBACnD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAA;YAC7D,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,+BAA+B,CAAC,CAAA;YAC3E,CAAC;QACH,CAAC;QACD,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;YACrD,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YACrC,KAAK,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,mDAAmD,CAAC,CAAA;YACzF,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACvG,MAAM,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;QACrD,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;QACtC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EACtC,EAAE,OAAO,EAAE,KAAK,EAAE,CACnB,CAAA;AACH,CAAC"}

package/dist/toolkit/CheckTraits.d.ts

@@ -1,18 +1,22 @@
 import { FileSystem, Path, Schema as S } from "effect";
-import { AiError, DecisionModel, Tool, Toolkit } from "effect/ai";
+import { DecisionModel, Tool, Toolkit } from "effect/ai";
 import { ChildProcessSpawner } from "effect/process";
 import { TraitsContext } from "../TraitsContext.ts";
 import { TraitStore } from "../TraitStore.ts";
 export declare const CheckTraits: Tool.Tool<"check_traits", {
     readonly parameters: S.Struct<{
         readonly include: S.$Array<S.String>;
-        readonly traitIds: S.optional<S.$Array<S.brand<S.String, "traits/Trait">>>;
+        readonly traitNames: S.optional<S.$Array<S.brand<S.String, "traits/TraitName">>>;
     }>;
     readonly success: S.$Array<S.Struct<{
-        readonly trait: S.Struct<{
-            readonly id: S.brand<S.String, "traits/Trait">;
+        readonly trait: S.StructWithRest<S.Struct<{
             readonly body: S.String;
-        }>;
+            readonly diff: S.optional<S.String>;
+            readonly mime: S.optional<S.Union<readonly [S.String, S.$Array<S.String>]>>;
+            readonly name: S.brand<S.String, "traits/TraitName">;
+            readonly skip: S.optional<S.String>;
+            readonly when: S.optional<S.String>;
+        }>, readonly [S.$Record<S.String, S.Codec<S.Json, S.Json, never, never>>]>;
         readonly source: S.Struct<{
             readonly text: S.String;
             readonly location: S.optional<S.TaggedUnion<{
@@ -33,22 +37,64 @@ export declare const CheckTraits: Tool.Tool<"check_traits", {
             }>;
         }>;
     }>>;
-    readonly failure: S.Union<readonly [typeof AiError.AiError, S.TaggedStruct<"PlatformError", {
+    readonly failure: S.Union<readonly [S.TaggedStruct<"AiError", {
+        readonly message: S.String;
+    }>, S.Union<readonly [S.Struct<{
+        readonly _tag: S.tag<"TraitNotFoundError">;
+        readonly name: S.brand<S.String, "traits/TraitName">;
+        readonly message: S.String;
+    }>, S.Struct<{
+        readonly _tag: S.tag<"TraitAlreadyExistsError">;
+        readonly name: S.brand<S.String, "traits/TraitName">;
+        readonly message: S.String;
+    }>, S.Struct<{
+        readonly _tag: S.tag<"TraitFilenameMismatchError">;
+        readonly path: S.String;
+        readonly expectedFilename: S.String;
+        readonly message: S.String;
+    }>, S.Struct<{
+        readonly _tag: S.tag<"TraitParseError">;
+        readonly path: S.String;
+        readonly cause: S.Defect;
+        readonly message: S.String;
+    }>, S.TaggedStruct<"PlatformError", {
+        readonly message: S.String;
+    }>]>, S.Struct<{
+        readonly _tag: S.tag<"TraitAssessmentTooLargeError">;
+        readonly traitName: S.brand<S.String, "traits/TraitName">;
+        readonly bytes: S.Int;
+        readonly maxBytes: S.Int;
+        readonly location: S.optional<S.TaggedUnion<{
+            readonly File: S.TaggedStruct<"File", {
+                readonly path: S.String;
+                readonly startLine: S.Int;
+            }>;
+            readonly Generated: S.TaggedStruct<"Generated", {}>;
+        }>>;
+        readonly message: S.String;
+    }>, S.Struct<{
+        readonly _tag: S.tag<"GitFileListingError">;
+        readonly directory: S.String;
+        readonly exitCode: S.Int;
         readonly message: S.String;
     }>]>;
-    readonly failureMode: "error";
+    readonly failureMode: "return";
 }, ChildProcessSpawner.ChildProcessSpawner | DecisionModel.DecisionModel | FileSystem.FileSystem | Path.Path | TraitStore | TraitsContext>;
 export declare const toolkit: Toolkit.Toolkit<{
     readonly check_traits: Tool.Tool<"check_traits", {
         readonly parameters: S.Struct<{
             readonly include: S.$Array<S.String>;
-            readonly traitIds: S.optional<S.$Array<S.brand<S.String, "traits/Trait">>>;
+            readonly traitNames: S.optional<S.$Array<S.brand<S.String, "traits/TraitName">>>;
         }>;
         readonly success: S.$Array<S.Struct<{
-            readonly trait: S.Struct<{
-                readonly id: S.brand<S.String, "traits/Trait">;
+            readonly trait: S.StructWithRest<S.Struct<{
                 readonly body: S.String;
-            }>;
+                readonly diff: S.optional<S.String>;
+                readonly mime: S.optional<S.Union<readonly [S.String, S.$Array<S.String>]>>;
+                readonly name: S.brand<S.String, "traits/TraitName">;
+                readonly skip: S.optional<S.String>;
+                readonly when: S.optional<S.String>;
+            }>, readonly [S.$Record<S.String, S.Codec<S.Json, S.Json, never, never>>]>;
             readonly source: S.Struct<{
                 readonly text: S.String;
                 readonly location: S.optional<S.TaggedUnion<{
@@ -69,10 +115,48 @@ export declare const toolkit: Toolkit.Toolkit<{
                 }>;
             }>;
         }>>;
-        readonly failure: S.Union<readonly [typeof AiError.AiError, S.TaggedStruct<"PlatformError", {
+        readonly failure: S.Union<readonly [S.TaggedStruct<"AiError", {
+            readonly message: S.String;
+        }>, S.Union<readonly [S.Struct<{
+            readonly _tag: S.tag<"TraitNotFoundError">;
+            readonly name: S.brand<S.String, "traits/TraitName">;
+            readonly message: S.String;
+        }>, S.Struct<{
+            readonly _tag: S.tag<"TraitAlreadyExistsError">;
+            readonly name: S.brand<S.String, "traits/TraitName">;
+            readonly message: S.String;
+        }>, S.Struct<{
+            readonly _tag: S.tag<"TraitFilenameMismatchError">;
+            readonly path: S.String;
+            readonly expectedFilename: S.String;
+            readonly message: S.String;
+        }>, S.Struct<{
+            readonly _tag: S.tag<"TraitParseError">;
+            readonly path: S.String;
+            readonly cause: S.Defect;
+            readonly message: S.String;
+        }>, S.TaggedStruct<"PlatformError", {
+            readonly message: S.String;
+        }>]>, S.Struct<{
+            readonly _tag: S.tag<"TraitAssessmentTooLargeError">;
+            readonly traitName: S.brand<S.String, "traits/TraitName">;
+            readonly bytes: S.Int;
+            readonly maxBytes: S.Int;
+            readonly location: S.optional<S.TaggedUnion<{
+                readonly File: S.TaggedStruct<"File", {
+                    readonly path: S.String;
+                    readonly startLine: S.Int;
+                }>;
+                readonly Generated: S.TaggedStruct<"Generated", {}>;
+            }>>;
+            readonly message: S.String;
+        }>, S.Struct<{
+            readonly _tag: S.tag<"GitFileListingError">;
+            readonly directory: S.String;
+            readonly exitCode: S.Int;
             readonly message: S.String;
         }>]>;
-        readonly failureMode: "error";
+        readonly failureMode: "return";
     }, ChildProcessSpawner.ChildProcessSpawner | DecisionModel.DecisionModel | FileSystem.FileSystem | Path.Path | TraitStore | TraitsContext>;
 }>;
 export declare const layer: import("effect/Layer").Layer<Tool.Handler<"check_traits">, never, never>;

package/dist/toolkit/CheckTraits.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CheckTraits.d.ts","sourceRoot":"","sources":["../../toolkit/CheckTraits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,UAAU,EAAE,IAAI,EAAuB,MAAM,IAAI,CAAC,EAAkB,MAAM,QAAQ,CAAA;AAC1G,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACjE,OAAO,EAAgB,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAMlE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAmB,MAAM,kBAAkB,CAAA;AAE9D,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0IAoDY,CAAA;AAEpC,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA4B,CAAA;AAEhD,eAAO,MAAM,KAAK,0EAsFhB,CAAA"}
+{"version":3,"file":"CheckTraits.d.ts","sourceRoot":"","sources":["../../toolkit/CheckTraits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,UAAU,EAAQ,IAAI,EAAQ,MAAM,IAAI,CAAC,EAAU,MAAM,QAAQ,CAAA;AACzF,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAOpD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAmB,MAAM,kBAAkB,CAAA;AAE9D,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0IA2DY,CAAA;AAEpC,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA4B,CAAA;AAEhD,eAAO,MAAM,KAAK,0EAyDhB,CAAA"}

package/dist/toolkit/CheckTraits.js

@@ -1,10 +1,11 @@
-import { Array, Effect, FileSystem, Path, pipe, PlatformError, Schema as S, Stream, String } from "effect";
-import { AiError, DecisionModel, Tool, Toolkit } from "effect/ai";
-import { ChildProcess, ChildProcessSpawner } from "effect/process";
+import { Array, Effect, FileSystem, flow, Path, pipe, Schema as S, String } from "effect";
+import { DecisionModel, Tool, Toolkit } from "effect/ai";
+import { ChildProcessSpawner } from "effect/process";
+import { getIncludedFiles, GitFileListingError } from "../getIncludedFiles.js";
 import { Source, SourceLocation } from "../Source.js";
-import { TraitId } from "../Trait.js";
-import { evaluate, requiresReview, TraitEvaluation } from "../TraitEvaluation.js";
-import { traitIgnores } from "../traitIgnores.js";
+import * as Trait from "../Trait.js";
+import * as Evaluation from "../TraitEvaluation.js";
+import { excludeIgnored } from "../traitIgnores.js";
 import { TraitsContext } from "../TraitsContext.js";
 import { TraitStore, TraitStoreError } from "../TraitStore.js";
 export const CheckTraits = Tool.make("check_traits", {
@@ -20,8 +21,8 @@ export const CheckTraits = Tool.make("check_traits", {
   | Git-ignored files are excluded by default, with ignore rules refreshed on every call. Untracked files do not need to be added to Git to be evaluated. Tracked files remain eligible even if ignore rules match them. Set excludeGitignored: false in traits.ts to disable this filter; explicit excludes still apply. Git failures fail the check.
   | All entries follow native glob syntax, including escaping filenames with glob characters. No custom directory expansion or literal-path classification is applied.
   | Reads current full file contents, including unstaged edits, and checks each 200-line chunk against the selected traits in parallel.
-   | Omit traitIds to check all stored traits; supply trait ids for a focused check of one or more traits. Unknown IDs fail the call.
-   | A leading // traits-ignore-file <trait-id>: <reason> comment skips only that trait for the entire file, including focused checks. Directives require a reason and must precede code.
+  | Omit traitNames to check all stored traits; supply unique trait names for a focused check. Unknown names fail the call.
+  | A leading // traits-ignore-file <trait-name>: <reason> comment skips that trait for the entire file, including focused checks. Names are case-sensitive and must be updated after renaming. Directives require a reason and must precede code.
   | Returns findings with the trait, source text, absolute path, 1-based chunk startLine, and assessment classification and probabilities.
   | Classification distinguishes violation from inconclusive; probabilities are not calibrated guarantees. No exact offending lines are provided.
   | Diagnose uncertainty using the full distribution, not the selected label alone; inspect source and trait before changing code.
@@ -35,18 +36,24 @@ export const CheckTraits = Tool.make("check_traits", {
   | Ask for clarification when a fix changes behavior or exceeds authorized scope.
   | The tool diagnoses only; the calling agent is responsible for edits, verification, and reporting unresolved blockers.
   | Unmatched patterns select no files. An empty result means no failures for this selection, not a repository-wide guarantee.
-  | Empty include/traitIds lists, no matched files, or an empty store check no pairs.
+  | Empty include/traitNames lists, no matched files, or an empty store check no pairs.
   `),
     parameters: S.Struct({
         include: S.Array(S.String).annotate({
             description: "Project-owned source, configuration, or documentation paths/globs, absolute or relative to the MCP working directory. Exclude third-party/generated files, secrets, and binaries. Overlapping matches are deduplicated; unmatched patterns select no files."
         }),
-        traitIds: S.Array(TraitId).pipe(S.optional).annotate({
-            description: "Optional trait ids for a focused review. Omit for all stored traits; an empty array selects none."
+        traitNames: S.Array(Trait.TraitName).pipe(S.optional).annotate({
+            description: "Optional unique trait names for a focused review. Omit for all stored traits; an empty array selects none."
         })
     }),
-    success: S.Array(TraitEvaluation),
-    failure: S.Union([AiError.AiError, TraitStoreError]),
+    success: S.Array(Evaluation.TraitEvaluation),
+    failure: S.Union([
+        S.TaggedStruct("AiError", { message: S.String }),
+        TraitStoreError,
+        S.Struct({ ...Evaluation.TraitAssessmentTooLargeError.fields, message: S.String }),
+        S.Struct({ ...GitFileListingError.fields, message: S.String })
+    ]),
+    failureMode: "return",
     dependencies: [
         DecisionModel.DecisionModel,
         TraitStore,
@@ -67,26 +74,10 @@ export const layer = toolkit.toLayer({
         const fs = yield* FileSystem.FileSystem;
         const path = yield* Path.Path;
         const cwd = path.resolve();
-        const includedFiles = context.excludeGitignored
-            ? yield* Effect.scoped(Effect.gen(function* () {
-                const spawner = yield* ChildProcessSpawner.ChildProcessSpawner;
-                const process = yield* spawner.spawn(ChildProcess.make `git ls-files --cached --others --exclude-standard --full-name -z`.pipe(ChildProcess.setCwd(context.configRoot)));
-                const output = yield* process.stdout.pipe(Stream.decodeText(), Stream.mkString);
-                const exitCode = yield* process.exitCode;
-                if (exitCode !== 0) {
-                    return yield* PlatformError.systemError({
-                        _tag: "Unknown",
-                        module: "ChildProcess",
-                        method: "git ls-files",
-                        description: `Process exited with code ${exitCode}`
-                    });
-                }
-                return new Set(pipe(output, String.split("\0"), Array.filter(String.isNonEmpty), Array.map((file) => path.resolve(context.configRoot, file))));
-            }))
-            : undefined;
-        const traits = yield* params.traitIds === undefined
+        const includedFiles = yield* getIncludedFiles;
+        const traits = yield* params.traitNames === undefined
             ? store.ls
-            : Effect.forEach(Array.dedupe(params.traitIds), store.get, { concurrency: "unbounded" });
+            : Effect.forEach(Array.dedupe(params.traitNames), store.get, { concurrency: "unbounded" });
         const matches = yield* Effect.forEach(params.include, (pattern) => {
             const absolute = path.isAbsolute(pattern) ? pattern : `${cwd}${path.sep}${pattern}`;
             return fs.glob(absolute, {
@@ -95,20 +86,17 @@ export const layer = toolkit.toLayer({
             });
         }, { concurrency: "unbounded" });
         const resolved = pipe(matches, Array.flatten, Array.map((file) => path.resolve(context.configRoot, file)), Array.dedupe);
-        const paths = yield* Effect.filter(includedFiles === undefined ? resolved : Array.filter(resolved, (file) => includedFiles.has(file)), (file) => fs.stat(file).pipe(Effect.map((info) => info.type === "File")), { concurrency: "unbounded" });
-        const results = yield* Effect.forEach(paths, Effect.fn("CheckTraits.file")(function* (file) {
+        const paths = yield* Effect.filter(includedFiles === undefined ? resolved : Array.filter(resolved, (file) => includedFiles.has(file)), flow(fs.stat, Effect.map((info) => info.type === "File")), { concurrency: "unbounded" });
+        return yield* Effect.forEach(paths, Effect.fn("CheckTraits.file")(function* (file) {
             const text = yield* fs.readFileString(file);
-            const ignored = traitIgnores(text);
-            const activeTraits = Array.filter(traits, (trait) => !ignored.has(trait.id));
+            const activeTraits = pipe(traits, excludeIgnored(text));
             const chunks = Array.chunksOf(String.split(text, "\n"), 200);
             const sources = Array.map(chunks, (lines, index) => Source.make({
                 text: Array.join(lines, "\n"),
                 location: SourceLocation.cases.File.make({ path: file, startLine: index * 200 + 1 })
             }));
-            const results = yield* Effect.forEach(sources, (source) => Effect.forEach(activeTraits, (trait) => evaluate(trait, source), { concurrency: "unbounded" }), { concurrency: "unbounded" });
-            return pipe(results, Array.flatten, Array.filter(requiresReview));
-        }), { concurrency: "unbounded" });
-        return Array.flatten(results);
+            return yield* pipe(sources, Effect.forEach((source) => Evaluation.evaluateAll(activeTraits, source), { concurrency: "unbounded" }), Effect.map(flow(Array.flatten, Array.filter(Evaluation.requiresReview))));
+        }), { concurrency: "unbounded" }).pipe(Effect.map(Array.flatten));
     })
 });
 //# sourceMappingURL=CheckTraits.js.map

package/dist/toolkit/CheckTraits.js.map

@@ -1 +1 @@
-{"version":3,"file":"CheckTraits.js","sourceRoot":"","sources":["../../toolkit/CheckTraits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC1G,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACjE,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAElE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AACrC,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAE9D,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE;IACnD,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4B/B,CAAC;IACF,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;YAClC,WAAW,EACT,6PAA6P;SAChQ,CAAC;QACF,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC;YACnD,WAAW,EAAE,mGAAmG;SACjH,CAAC;KACH,CAAC;IACF,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IACjC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACpD,YAAY,EAAE;QACZ,aAAa,CAAC,aAAa;QAC3B,UAAU;QACV,UAAU,CAAC,UAAU;QACrB,IAAI,CAAC,IAAI;QACT,mBAAmB,CAAC,mBAAmB;QACvC,aAAa;KACd;CACF,CAAC;KACC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC;KACpC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;KAC7B,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;AAEpC,MAAM,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;AAEhD,MAAM,CAAC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC;IACnC,YAAY,EAAE,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAM;QAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAA;QACpC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAA;QAC1B,MAAM,aAAa,GAAG,OAAO,CAAC,iBAAiB;YAC7C,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,mBAAmB,CAAA;gBAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAClC,YAAY,CAAC,IAAI,CAAA,kEAAkE,CAAC,IAAI,CACtF,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CACxC,CACF,CAAA;gBACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC/E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAA;gBACxC,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;oBACnB,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC;wBACtC,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,cAAc;wBACtB,MAAM,EAAE,cAAc;wBACtB,WAAW,EAAE,4BAA4B,QAAQ,EAAE;qBACpD,CAAC,CAAA;gBACJ,CAAC;gBACD,OAAO,IAAI,GAAG,CACZ,IAAI,CACF,MAAM,EACN,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAClB,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAC/B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAC5D,CACF,CAAA;YACH,CAAC,CAAC,CACH;YACH,CAAC,CAAC,SAAS,CAAA;QACb,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YACjD,CAAC,CAAC,KAAK,CAAC,EAAE;YACV,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAA;QAC1F,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnC,MAAM,CAAC,OAAO,EACd,CAAC,OAAO,EAAE,EAAE;YACV,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,OAAO,EAAE,CAAA;YACnF,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE;gBACvB,IAAI,EAAE,OAAO,CAAC,UAAU;gBACxB,OAAO,EAAE,OAAO,CAAC,QAAQ;aAC1B,CAAC,CAAA;QACJ,CAAC,EACD,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAA;QACD,MAAM,QAAQ,GAAG,IAAI,CACnB,OAAO,EACP,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAC3D,KAAK,CAAC,MAAM,CACb,CAAA;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAChC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAClG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,EACxE,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAA;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnC,KAAK,EACL,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI;YAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAA;YAC3C,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;YAClC,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;YAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;YAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACjD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;gBAC7B,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;aACrF,CAAC,CACH,CAAA;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnC,OAAO,EACP,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,EAC1G,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAA;YACD,OAAO,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAA;QACnE,CAAC,CAAC,EACF,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAA;QACD,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC/B,CAAC,CAAC;CACH,CAAC,CAAA"}
+{"version":3,"file":"CheckTraits.js","sourceRoot":"","sources":["../../toolkit/CheckTraits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzF,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAEpD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC9E,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AACrD,OAAO,KAAK,KAAK,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAE9D,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE;IACnD,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4B/B,CAAC;IACF,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;YAClC,WAAW,EACT,6PAA6P;SAChQ,CAAC;QACF,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC;YAC7D,WAAW,EACT,4GAA4G;SAC/G,CAAC;KACH,CAAC;IACF,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,eAAe,CAAC;IAC5C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC;QACf,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QAChD,eAAe;QACf,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,CAAC,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QAClF,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;KAC/D,CAAC;IACF,WAAW,EAAE,QAAQ;IACrB,YAAY,EAAE;QACZ,aAAa,CAAC,aAAa;QAC3B,UAAU;QACV,UAAU,CAAC,UAAU;QACrB,IAAI,CAAC,IAAI;QACT,mBAAmB,CAAC,mBAAmB;QACvC,aAAa;KACd;CACF,CAAC;KACC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC;KACpC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;KAC7B,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;AAEpC,MAAM,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;AAEhD,MAAM,CAAC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC;IACnC,YAAY,EAAE,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAM;QAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAA;QACpC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAA;QAC1B,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;QAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS;YACnD,CAAC,CAAC,KAAK,CAAC,EAAE;YACV,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAA;QAC5F,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnC,MAAM,CAAC,OAAO,EACd,CAAC,OAAO,EAAE,EAAE;YACV,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,OAAO,EAAE,CAAA;YACnF,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE;gBACvB,IAAI,EAAE,OAAO,CAAC,UAAU;gBACxB,OAAO,EAAE,OAAO,CAAC,QAAQ;aAC1B,CAAC,CAAA;QACJ,CAAC,EACD,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAA;QACD,MAAM,QAAQ,GAAG,IAAI,CACnB,OAAO,EACP,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAC3D,KAAK,CAAC,MAAM,CACb,CAAA;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAChC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAClG,IAAI,CACF,EAAE,CAAC,IAAI,EACP,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAC3C,EACD,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAA;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAC1B,KAAK,EACL,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI;YAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAA;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAA;YACvD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;YAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACjD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;gBAC7B,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;aACrF,CAAC,CACH,CAAA;YACD,OAAO,KAAK,CAAC,CAAC,IAAI,CAChB,OAAO,EACP,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,YAAY,EAAE,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,EACtG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CACzE,CAAA;QACH,CAAC,CAAC,EACF,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;IACnC,CAAC,CAAC;CACH,CAAC,CAAA"}

package/dist/toolkit/ConfigurationError.d.ts

@@ -0,0 +1,3 @@
+import { Cause, Layer } from "effect";
+export declare const layer: (cause: Cause.Cause<unknown>) => Layer.Layer<never, never, never>;
+//# sourceMappingURL=ConfigurationError.d.ts.map

package/dist/toolkit/ConfigurationError.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConfigurationError.d.ts","sourceRoot":"","sources":["../../toolkit/ConfigurationError.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,KAAK,EAAe,MAAM,QAAQ,CAAA;AAc1D,eAAO,MAAM,KAAK,UAAW,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,qCAY1C,CAAA"}

package/dist/toolkit/ConfigurationError.js

@@ -0,0 +1,15 @@
+import { Cause, Effect, Layer, Schema as S } from "effect";
+import { McpServer, Tool, Toolkit } from "effect/ai";
+const toolkit = Toolkit.make(Tool.make("traits_configuration_error", {
+    description: "Traits failed to initialize. Call this tool to learn where configuration failed. Help the user fix setup, then restart the Traits MCP server before using Traits. Never ask the user to paste credentials into chat.",
+    parameters: Tool.EmptyParams,
+    success: S.Never,
+    failure: S.String,
+    failureMode: "return"
+}).annotate(Tool.Readonly, true));
+export const layer = (cause) => Cause.hasInterruptsOnly(cause)
+    ? Layer.effectDiscard(Effect.interrupt)
+    : McpServer.toolkit(toolkit).pipe(Layer.provide(toolkit.toLayer({
+        traits_configuration_error: () => Effect.fail(`${Cause.pretty(cause)}\n\nFix the reported error, then restart the Traits MCP server and retry. Do not paste credentials into chat.`)
+    })));
+//# sourceMappingURL=ConfigurationError.js.map

package/dist/toolkit/ConfigurationError.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConfigurationError.js","sourceRoot":"","sources":["../../toolkit/ConfigurationError.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAC1D,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEpD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAC1B,IAAI,CAAC,IAAI,CAAC,4BAA4B,EAAE;IACtC,WAAW,EACT,sNAAsN;IACxN,UAAU,EAAE,IAAI,CAAC,WAAW;IAC5B,OAAO,EAAE,CAAC,CAAC,KAAK;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM;IACjB,WAAW,EAAE,QAAQ;CACtB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CACjC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAA2B,EAAE,EAAE,CACnD,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;IAC5B,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC;IACvC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAC7B,KAAK,CAAC,OAAO,CACX,OAAO,CAAC,OAAO,CAAC;QACd,0BAA0B,EAAE,GAAG,EAAE,CAC/B,MAAM,CAAC,IAAI,CACT,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,+GAA+G,CACtI;KACJ,CAAC,CACH,CACF,CAAA"}