traits 0.5.1 → 0.5.2

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,76 @@ 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<"MissingFrontmatterError">;
+        readonly path: S.String;
+        readonly message: S.String;
+    }>, S.Struct<{
+        readonly _tag: S.tag<"UnterminatedFrontmatterError">;
+        readonly path: S.String;
+        readonly message: S.String;
+    }>, S.Struct<{
+        readonly _tag: S.tag<"InvalidYamlError">;
+        readonly path: S.String;
+        readonly line: S.optional<S.Int>;
+        readonly column: S.optional<S.Int>;
+        readonly cause: S.Defect;
+        readonly message: S.String;
+    }>, S.TaggedStruct<"PlatformError", {
+        readonly message: S.String;
+    }>, S.TaggedStruct<"SchemaError", {
+        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 +127,60 @@ 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<"MissingFrontmatterError">;
+            readonly path: S.String;
+            readonly message: S.String;
+        }>, S.Struct<{
+            readonly _tag: S.tag<"UnterminatedFrontmatterError">;
+            readonly path: S.String;
+            readonly message: S.String;
+        }>, S.Struct<{
+            readonly _tag: S.tag<"InvalidYamlError">;
+            readonly path: S.String;
+            readonly line: S.optional<S.Int>;
+            readonly column: S.optional<S.Int>;
+            readonly cause: S.Defect;
+            readonly message: S.String;
+        }>, S.TaggedStruct<"PlatformError", {
+            readonly message: S.String;
+        }>, S.TaggedStruct<"SchemaError", {
+            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/DeriveTrait.d.ts

@@ -1,107 +1,223 @@
 import { Schema as S } from "effect";
-import { AiError, DecisionModel, LanguageModel, McpSchema, Tool, Toolkit } from "effect/ai";
+import { DecisionModel, LanguageModel, McpSchema, Tool, Toolkit } from "effect/ai";
 import { TraitsContext } from "../TraitsContext.ts";
 import { TraitStore } from "../TraitStore.ts";
 export declare const DeriveTrait: Tool.Tool<"derive_trait", {
     readonly parameters: S.Struct<{
+        readonly diff: S.optional<S.String>;
+        readonly name: S.brand<S.String, "traits/TraitName">;
         readonly proposedTrait: S.String;
         readonly approved: S.optional<S.Boolean>;
     }>;
     readonly success: S.toTaggedUnion<"_tag", readonly [S.TaggedStruct<"Created", {
-        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>>]>;
     }>, S.TaggedStruct<"Covered", {
-        readonly traits: S.$Array<S.Struct<{
-            readonly id: S.brand<S.String, "traits/Trait">;
+        readonly traits: S.$Array<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>>]>>;
     }>, S.TaggedStruct<"Clarification", {
-        readonly traits: S.$Array<S.Struct<{
-            readonly id: S.brand<S.String, "traits/Trait">;
+        readonly traits: S.$Array<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 proposedTrait: S.String;
     }>, S.TaggedStruct<"Inconclusive", {
         readonly findings: S.$Array<S.TaggedStruct<"Fail", {
-            readonly existing: S.Struct<{
-                readonly id: S.brand<S.String, "traits/Trait">;
+            readonly existing: 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 proposed: S.String;
-            readonly reason: S.Literals<readonly ["conflict", "inconclusive"]>;
+            readonly reason: S.Literals<readonly ["conflict", "coverage_gap", "inconclusive"]>;
         }>>;
     }>, S.TaggedStruct<"Updated", {
-        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>>]>;
     }>, S.TaggedStruct<"Resolved", {
-        readonly traits: S.$Array<S.Struct<{
-            readonly id: S.brand<S.String, "traits/Trait">;
+        readonly traits: S.$Array<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>>]>>;
     }>, S.TaggedStruct<"ApprovalRequired", {
         readonly message: S.String;
     }>, S.TaggedStruct<"RevisionRequired", {
         readonly feedback: S.String;
     }>, S.TaggedStruct<"Declined", {}>]>;
-    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<"MissingFrontmatterError">;
+        readonly path: S.String;
+        readonly message: S.String;
+    }>, S.Struct<{
+        readonly _tag: S.tag<"UnterminatedFrontmatterError">;
+        readonly path: S.String;
+        readonly message: S.String;
+    }>, S.Struct<{
+        readonly _tag: S.tag<"InvalidYamlError">;
+        readonly path: S.String;
+        readonly line: S.optional<S.Int>;
+        readonly column: S.optional<S.Int>;
+        readonly cause: S.Defect;
+        readonly message: S.String;
+    }>, S.TaggedStruct<"PlatformError", {
         readonly message: S.String;
-    }>, typeof McpSchema.ElicitationDeclined]>;
-    readonly failureMode: "error";
+    }>, S.TaggedStruct<"SchemaError", {
+        readonly message: S.String;
+    }>]>, typeof McpSchema.ElicitationDeclined]>;
+    readonly failureMode: "return";
 }, DecisionModel.DecisionModel | LanguageModel.LanguageModel | TraitStore | TraitsContext>;
 export declare const toolkit: Toolkit.Toolkit<{
     readonly derive_trait: Tool.Tool<"derive_trait", {
         readonly parameters: S.Struct<{
+            readonly diff: S.optional<S.String>;
+            readonly name: S.brand<S.String, "traits/TraitName">;
             readonly proposedTrait: S.String;
             readonly approved: S.optional<S.Boolean>;
         }>;
         readonly success: S.toTaggedUnion<"_tag", readonly [S.TaggedStruct<"Created", {
-            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>>]>;
         }>, S.TaggedStruct<"Covered", {
-            readonly traits: S.$Array<S.Struct<{
-                readonly id: S.brand<S.String, "traits/Trait">;
+            readonly traits: S.$Array<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>>]>>;
         }>, S.TaggedStruct<"Clarification", {
-            readonly traits: S.$Array<S.Struct<{
-                readonly id: S.brand<S.String, "traits/Trait">;
+            readonly traits: S.$Array<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 proposedTrait: S.String;
         }>, S.TaggedStruct<"Inconclusive", {
             readonly findings: S.$Array<S.TaggedStruct<"Fail", {
-                readonly existing: S.Struct<{
-                    readonly id: S.brand<S.String, "traits/Trait">;
+                readonly existing: 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 proposed: S.String;
-                readonly reason: S.Literals<readonly ["conflict", "inconclusive"]>;
+                readonly reason: S.Literals<readonly ["conflict", "coverage_gap", "inconclusive"]>;
             }>>;
         }>, S.TaggedStruct<"Updated", {
-            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>>]>;
         }>, S.TaggedStruct<"Resolved", {
-            readonly traits: S.$Array<S.Struct<{
-                readonly id: S.brand<S.String, "traits/Trait">;
+            readonly traits: S.$Array<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>>]>>;
         }>, S.TaggedStruct<"ApprovalRequired", {
             readonly message: S.String;
         }>, S.TaggedStruct<"RevisionRequired", {
             readonly feedback: S.String;
         }>, S.TaggedStruct<"Declined", {}>]>;
-        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<"MissingFrontmatterError">;
+            readonly path: S.String;
+            readonly message: S.String;
+        }>, S.Struct<{
+            readonly _tag: S.tag<"UnterminatedFrontmatterError">;
+            readonly path: S.String;
+            readonly message: S.String;
+        }>, S.Struct<{
+            readonly _tag: S.tag<"InvalidYamlError">;
+            readonly path: S.String;
+            readonly line: S.optional<S.Int>;
+            readonly column: S.optional<S.Int>;
+            readonly cause: S.Defect;
+            readonly message: S.String;
+        }>, S.TaggedStruct<"PlatformError", {
+            readonly message: S.String;
+        }>, S.TaggedStruct<"SchemaError", {
             readonly message: S.String;
-        }>, typeof McpSchema.ElicitationDeclined]>;
-        readonly failureMode: "error";
+        }>]>, typeof McpSchema.ElicitationDeclined]>;
+        readonly failureMode: "return";
     }, DecisionModel.DecisionModel | LanguageModel.LanguageModel | TraitStore | TraitsContext>;
 }>;
 export declare const layer: import("effect/Layer").Layer<Tool.Handler<"derive_trait">, never, never>;

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

@@ -1 +1 @@
-{"version":3,"file":"DeriveTrait.d.ts","sourceRoot":"","sources":["../../toolkit/DeriveTrait.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAU,MAAM,QAAQ,CAAA;AAC5C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAG3F,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAmB,MAAM,kBAAkB,CAAA;AAE9D,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0FA6CW,CAAA;AAEnC,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA4B,CAAA;AAEhD,eAAO,MAAM,KAAK,0EAEhB,CAAA"}
+{"version":3,"file":"DeriveTrait.d.ts","sourceRoot":"","sources":["../../toolkit/DeriveTrait.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAU,MAAM,QAAQ,CAAA;AAC5C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAIlF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAmB,MAAM,kBAAkB,CAAA;AAE9D,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0FAyDW,CAAA;AAEnC,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA4B,CAAA;AAEhD,eAAO,MAAM,KAAK,0EAEhB,CAAA"}