traits 0.4.0 → 0.5.0

package/dist/main.js

@@ -0,0 +1,73 @@
+#!/usr/bin/env node
+import { NodeRuntime, NodeServices } from "@effect/platform-node";
+import { Effect, Layer, Logger, Option, Schema as S, String } from "effect";
+import { McpProtocol, McpServer } from "effect/ai";
+import { Command, Flag } from "effect/cli";
+import { FetchHttpClient } from "effect/http";
+import * as TraitsConfigProvider from "./_util/TraitsConfigProvider.js";
+import * as TraitsTelemetry from "./_util/TraitsTelemetry.js";
+import { init } from "./commands/init.js";
+import PackageJson from "./package.json" with { type: "json" };
+import { toolkit } from "./toolkit/toolkit.js";
+import * as TraitsConfig from "./TraitsConfig.js";
+import * as TraitStore from "./TraitStore.js";
+Command.make("traits", {
+    otlpEndpoint: Flag.String("otlp-endpoint").pipe(Flag.withSchema(S.URLFromString.check(S.makeFilter((url) => url.protocol === "http:" || url.protocol === "https:" || "Use an HTTP(S) collector base URL."))), Flag.withDescription("Export traces and logs as OTLP/HTTP JSON to this collector base URL (for example, http://127.0.0.1:4318). Disabled when omitted."), Flag.optional)
+}).pipe(Command.withDescription("Run the traits MCP server over stdio"), Command.withHandler((params) => McpServer.layerStdio({
+    name: "traits",
+    version: PackageJson.version,
+    protocols: [McpProtocol.v2025_11_25],
+    instructions: String.stripMargin(`
+      | Traits are durable, reusable coding preferences stored as .agents/traits/<three_words-uuid>.md in the working directory.
+      | The full filename stem is the trait ID; use it in tool calls, for example rose_karate_frog-<uuid>.
+      | Before completing a response to a user correction, coding preference, or approved alternative idiom, check whether it expresses a reusable rule.
+      | Treat multi-turn exchanges as a whole: asking about a better idiom and then approving it can establish a preference without saying "always" or "trait".
+      | Err on the side of proposing a concise trait unless you have read an existing trait that clearly covers the exact rule and its scope.
+      | If coverage is uncertain, propose the rule rather than silently assuming a broad trait covers it. If clearer wording is needed, propose a clarification.
+      | Call the mutation tool with the drafted proposal first, leaving approved unset. Do not ask separately beforehand: native clients get an approval form.
+      | derive_trait uses native MCP forms when usable, or returns ApprovalRequired with the complete proposal for that same interactive question flow.
+      | Only on ApprovalRequired, show the full message using the interactive question tool: Save, Revise, Skip, plus its automatic free-text option. Use plain text only if that UI is unavailable.
+      | Retry an identical approved proposal with approved: true; do not assert approval for changed wording or targets. Native forms still apply on supported clients.
+      | RevisionRequired contains feedback to incorporate before requesting approval again; Declined means stop without writing.
+      | Revise without actionable feedback requires an immediate interactive question asking what to change; never guess or treat it as Save.
+      | Keep a revision pending across related audits or follow-up tasks. Complete that work, then return to the proposal unless explicitly cancelled.
+      | Show the complete revised proposal and obtain fresh approval before saving; a findings summary does not resolve a pending revision.
+      | Approval to edit code alone is not approval to persist a trait. Make the requested edit, but also propose the reusable rule before your final response.
+      | Also act on explicit requests to remember a convention. Skip one-off requirements, transient facts, and preferences already covered.
+      | Read existing trait files before drafting. Keep each trait concise and independently applicable, preserving scope and exceptions.
+      | Call derive_trait with the drafted body as proposedTrait. It saves only distinct rules; Covered means reuse an existing trait.
+      | A single clarification candidate is selected automatically and shown for approval; supply a complete replacement preserving the existing rule.
+      | Multiple candidates return Clarification entries without writing: refine the proposal or clarify intent. Do not supply a target ID.
+      | After fallback approval, retry with the same proposedTrait and approved: true; Updated preserves the selected existing ID.
+      | Every derive_trait response is one tagged TraitDerivation outcome. Created returns the saved trait and ID; Updated and Resolved return saved replacements.
+      | Covered and Clarification return existing traits without writing. Inconclusive returns relationship findings and blocks all writes.
+      | Each inconclusive outcome's findings distinguish conflict from inconclusive via reason; clarify ambiguity before retrying.
+      | Confirmed conflicts enter reconciliation inside derive_trait, selecting only the conflicting originals for an explicit replacement approval.
+      | Approval must cover affected IDs/bodies, removals, the proposal, and generated reconciliation. Nothing is replaced silently.
+      | After approval, reconciliation gives the proposal precedence in direct conflicts, saves generated replacements, then removes the conflicting originals.
+      | Resolved returns saved replacement bodies and IDs. Review them and check relevant code; do not derive the same proposal again.
+      | After generating or changing TypeScript files, call check_traits on those files.
+      | check_traits accepts include as file paths or glob strings, for example include: ["traits/**/*.ts"]. Overlapping matches are deduplicated.
+      | Restrict assessments to project-owned source and relevant authored configuration/docs. Prefer an explicit project-file manifest for whole-project audits.
+      | Never submit dependency/reference code, generated build output or lockfiles, Git metadata, secrets, .env files, credentials, or binary assets for assessment.
+      | Unmatched patterns select nothing. Built-in exclusions cover dependencies, Git metadata, and nested worktrees; configure project-specific filenames or native glob patterns through TraitsConfig.excludes.
+      | After saving or resolving a trait, check the relevant TypeScript files explicitly; creation does not run that review for you.
+      | Omit traitIds for all traits; use specific IDs for focused follow-ups. Before committing or opening a PR, review the changed TypeScript files.
+      | Checks read current full files in 200-line chunks, not Git diffs. A finding's startLine locates a chunk, not an exact violation.
+      | Each finding includes assessment.classification and probabilities: inconclusive is unresolved context, not a confirmed violation. Probabilities are not calibrated guarantees.
+      | Take responsibility for trait compliance whenever a violation is discovered, through tool findings or your own inspection.
+      | Inspect each finding against its trait, scope, exceptions, and surrounding source; confirmed violations must be fixed without waiting for another user request.
+      | Make minimal behavior-preserving edits to the implementation, not to the trait merely to silence a finding. Do not stop at a findings summary.
+      | Rerun check_traits on every corrected file, then run relevant formatting, type, and behavior checks; repeat for remaining confirmed violations.
+      | Triage raw findings against the exact rule, scope, exceptions, and source before reporting or editing. Do not blindly change correct code.
+      | Routine user summaries should report confirmed issues, meaningful unresolved uncertainty, operational failures, and blockers requiring a decision.
+      | Do not repeat rejected, irrelevant false positives as caveats or make them sound actionable. Keep raw results available in tool output and telemetry.
+      | Discuss a rejected finding when the user requests audit details or it reveals a new material reliability problem; explain why it was rejected.
+      | Never suppress actionable findings based only on confidence, assume a finding is false because similar ones were wrong, or claim an automated clean pass when raw findings remain.
+      | If a fix requires a behavior change, broader authorization, or an ambiguous interpretation, ask a focused question and report the blocker.
+      | Do not claim compliance while confirmed violations remain. Report model errors as incomplete reviews, not passes.
+      | An empty result only means no failures for the selected files and traits; empty selections or an empty store perform no assessments.
+      | On mutation errors, inspect the store before retrying: writes and removals are not transactional, and retries may duplicate saved traits.
+      `)
+}).pipe(Layer.provide(toolkit.pipe(Layer.provide(TraitStore.layerFileSystem(".agents/traits")), Layer.provide(TraitsConfig.layer), Layer.provideMerge(McpServer.McpServer.layer))), Layer.launch, Effect.withSpan("traits.server"), Effect.provide(TraitsTelemetry.layer(Option.getOrUndefined(params.otlpEndpoint)).pipe(Layer.provideMerge(TraitsConfigProvider.layer), Layer.provideMerge(FetchHttpClient.layer))))), Command.withSubcommands([init]), Command.run({ version: PackageJson.version }), Effect.provide(NodeServices.layer), Effect.tapCause(Effect.logError), Effect.provideService(Logger.LogToStderr, true), NodeRuntime.runMain({ disableErrorReporting: true }));
+//# sourceMappingURL=main.js.map

package/dist/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../main.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AACjE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC3E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAClD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE7C,OAAO,KAAK,oBAAoB,MAAM,iCAAiC,CAAA;AACvE,OAAO,KAAK,eAAe,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,WAAW,MAAM,gBAAgB,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAA;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAC9C,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE;IACrB,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAC7C,IAAI,CAAC,UAAU,CACb,CAAC,CAAC,aAAa,CAAC,KAAK,CACnB,CAAC,CAAC,UAAU,CACV,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,oCAAoC,CACvG,CACF,CACF,EACD,IAAI,CAAC,eAAe,CAClB,kIAAkI,CACnI,EACD,IAAI,CAAC,QAAQ,CACd;CACF,CAAC,CAAC,IAAI,CACL,OAAO,CAAC,eAAe,CAAC,sCAAsC,CAAC,EAC/D,OAAO,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,SAAS,CAAC,UAAU,CAAC;IACnB,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,WAAW,CAAC,OAAO;IAC5B,SAAS,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC;IACpC,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAmDhC,CAAC;CACH,CAAC,CAAC,IAAI,CACL,KAAK,CAAC,OAAO,CACX,OAAO,CAAC,IAAI,CACV,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAC,EAC3D,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,EACjC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAC9C,CACF,EACD,KAAK,CAAC,MAAM,EACZ,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAChC,MAAM,CAAC,OAAO,CACZ,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CACpE,KAAK,CAAC,YAAY,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAC9C,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,CAAC,CAC1C,CACF,CACF,CACF,EACD,OAAO,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,EAC/B,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,EAC7C,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,EAClC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAChC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,EAC/C,WAAW,CAAC,OAAO,CAAC,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,CACrD,CAAA"}

package/dist/package.json

@@ -0,0 +1,53 @@
+{
+    "name": "traits",
+    "version": "0.5.0",
+    "license": "Apache-2.0",
+    "repository": {
+        "type": "git",
+        "url": "git+https://github.com/crosshatch/traits.git",
+        "directory": "traits"
+    },
+    "bin": {
+        "traits": "./dist/main.js"
+    },
+    "files": [
+        "*.ts",
+        "!vite.config.ts",
+        "_util/**/*.ts",
+        "commands/**/*.ts",
+        "skills/**/*.md",
+        "toolkit/**/*.ts",
+        "dist/package.json",
+        "dist/**/*.js",
+        "dist/**/*.js.map",
+        "dist/**/*.d.ts",
+        "dist/**/*.d.ts.map",
+        "!dist/vite.config.*"
+    ],
+    "type": "module",
+    "exports": {
+        "./package.json": "./package.json",
+        ".": "./index.ts",
+        "./*": "./*.ts",
+        "./_util/*": null,
+        "./index": null
+    },
+    "publishConfig": {
+        "exports": {
+            "./package.json": "./package.json",
+            ".": "./dist/index.js",
+            "./*": "./dist/*.js",
+            "./_util/*": null,
+            "./index": null
+        },
+        "access": "public"
+    },
+    "devDependencies": {
+        "@effect/platform-node": "catalog:",
+        "effect": "catalog:"
+    },
+    "peerDependencies": {
+        "@effect/platform-node": "catalog:",
+        "effect": "catalog:"
+    }
+}

package/dist/toolkit/CheckTraits.d.ts

@@ -0,0 +1,79 @@
+import { FileSystem, Path, Schema as S } from "effect";
+import { AiError, 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 success: S.$Array<S.Struct<{
+        readonly trait: S.Struct<{
+            readonly id: S.brand<S.String, "traits/Trait">;
+            readonly body: S.String;
+        }>;
+        readonly source: S.Struct<{
+            readonly text: S.String;
+            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 assessment: S.Struct<{
+            readonly classification: S.Literals<readonly ["compliant", "violation", "not-applicable", "inconclusive"]>;
+            readonly probabilities: S.Struct<{
+                readonly compliant: S.Finite;
+                readonly violation: S.Finite;
+                readonly "not-applicable": S.Finite;
+                readonly inconclusive: S.Finite;
+            }>;
+        }>;
+    }>>;
+    readonly failure: S.Union<readonly [typeof AiError.AiError, S.TaggedStruct<"PlatformError", {
+        readonly message: S.String;
+    }>]>;
+    readonly failureMode: "error";
+}, 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 success: S.$Array<S.Struct<{
+            readonly trait: S.Struct<{
+                readonly id: S.brand<S.String, "traits/Trait">;
+                readonly body: S.String;
+            }>;
+            readonly source: S.Struct<{
+                readonly text: S.String;
+                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 assessment: S.Struct<{
+                readonly classification: S.Literals<readonly ["compliant", "violation", "not-applicable", "inconclusive"]>;
+                readonly probabilities: S.Struct<{
+                    readonly compliant: S.Finite;
+                    readonly violation: S.Finite;
+                    readonly "not-applicable": S.Finite;
+                    readonly inconclusive: S.Finite;
+                }>;
+            }>;
+        }>>;
+        readonly failure: S.Union<readonly [typeof AiError.AiError, S.TaggedStruct<"PlatformError", {
+            readonly message: S.String;
+        }>]>;
+        readonly failureMode: "error";
+    }, ChildProcessSpawner.ChildProcessSpawner | DecisionModel.DecisionModel | FileSystem.FileSystem | Path.Path | TraitStore | TraitsContext>;
+}>;
+export declare const layer: import("effect/Layer").Layer<Tool.Handler<"check_traits">, never, never>;
+//# sourceMappingURL=CheckTraits.d.ts.map

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

@@ -0,0 +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;AAKlE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAmB,MAAM,kBAAkB,CAAA;AAE9D,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0IAmDY,CAAA;AAEpC,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA4B,CAAA;AAEhD,eAAO,MAAM,KAAK,0EAoFhB,CAAA"}

package/dist/toolkit/CheckTraits.js

@@ -0,0 +1,110 @@
+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 { Source, SourceLocation } from "../Source.js";
+import { TraitId } from "../Trait.js";
+import { evaluate, requiresReview, TraitEvaluation } from "../TraitEvaluation.js";
+import { TraitsContext } from "../TraitsContext.js";
+import { TraitStore, TraitStoreError } from "../TraitStore.js";
+export const CheckTraits = Tool.make("check_traits", {
+    description: String.stripMargin(`
+  | Use after generating or editing TypeScript files, after saving or resolving a relevant trait, and before committing or opening a PR.
+  | Assess only project-owned source files and relevant authored configuration or documentation. Do not audit third-party or generated code.
+  | For a whole-project review, prefer an explicit project-file manifest rather than a filesystem-wide glob.
+  | Never submit secrets, .env files, credentials, binary assets, generated lockfiles, dependency trees, or reference repositories for assessment.
+  | Supply include as TypeScript file paths or glob patterns relevant to the work, relative to the MCP working directory or absolute.
+  | Globs are expanded and overlapping matches are checked once. Directories are not reviewed as files; use patterns such as traits/**/*.ts.
+  | Built-in exclusions cover dependency trees, Git metadata, and nested worktrees. Configure project-specific exclusions through TraitsConfig.excludes.
+  | Configured exclusions are filenames or native filesystem glob patterns, resolved beside traits.ts. Use directory/** to exclude a subtree; bare directories are not expanded.
+  | 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.
+  | 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.
+  | Act on the results: inspect every finding and automatically fix confirmed, applicable violations without waiting for a separate request.
+  | Make minimal behavior-preserving code changes, then rerun this tool on the corrected files and run relevant project checks.
+  | Repeat for remaining confirmed violations; returning a findings summary alone does not complete the review.
+  | Do not weaken a trait to make code pass or change correct code for an inapplicable or inconclusive finding.
+  | Triage each finding before reporting it. Routine summaries should surface confirmed issues, meaningful unresolved uncertainty, errors, and decision blockers.
+  | Do not distract the user with rejected, irrelevant false positives; retain raw results in tool output for audit and explain them when requested or materially significant.
+  | Do not hide actionable findings based only on probability/confidence or claim the automated check was clean when raw findings remain.
+  | 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.
+  `),
+    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."
+        })
+    }),
+    success: S.Array(TraitEvaluation),
+    failure: S.Union([AiError.AiError, TraitStoreError]),
+    dependencies: [
+        DecisionModel.DecisionModel,
+        TraitStore,
+        FileSystem.FileSystem,
+        Path.Path,
+        ChildProcessSpawner.ChildProcessSpawner,
+        TraitsContext
+    ]
+})
+    .annotate(Tool.Title, "Check Traits")
+    .annotate(Tool.Readonly, true)
+    .annotate(Tool.Destructive, false);
+export const toolkit = Toolkit.make(CheckTraits);
+export const layer = toolkit.toLayer({
+    check_traits: Effect.fn("CheckTraits.check")(function* (params) {
+        const store = yield* TraitStore;
+        const context = yield* TraitsContext;
+        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
+            ? store.ls
+            : Effect.forEach(Array.dedupe(params.traitIds), 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, {
+                root: context.configRoot,
+                exclude: context.excludes
+            });
+        }, { 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 text = yield* fs.readFileString(file);
+            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(traits, (trait) => evaluate(trait, source), { concurrency: "unbounded" }), { concurrency: "unbounded" });
+            return pipe(results, Array.flatten, Array.filter(requiresReview));
+        }), { concurrency: "unbounded" });
+        return Array.flatten(results);
+    })
+});
+//# sourceMappingURL=CheckTraits.js.map

package/dist/toolkit/CheckTraits.js.map

@@ -0,0 +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,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;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2B/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,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,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,EACpG,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"}

package/dist/toolkit/DeriveTrait.d.ts

@@ -0,0 +1,108 @@
+import { Schema as S } from "effect";
+import { AiError, 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 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 body: S.String;
+        }>;
+    }>, S.TaggedStruct<"Covered", {
+        readonly traits: S.$Array<S.Struct<{
+            readonly id: S.brand<S.String, "traits/Trait">;
+            readonly body: S.String;
+        }>>;
+    }>, S.TaggedStruct<"Clarification", {
+        readonly traits: S.$Array<S.Struct<{
+            readonly id: S.brand<S.String, "traits/Trait">;
+            readonly body: S.String;
+        }>>;
+        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 body: S.String;
+            }>;
+            readonly proposed: S.String;
+            readonly reason: S.Literals<readonly ["conflict", "inconclusive"]>;
+        }>>;
+    }>, S.TaggedStruct<"Updated", {
+        readonly trait: S.Struct<{
+            readonly id: S.brand<S.String, "traits/Trait">;
+            readonly body: S.String;
+        }>;
+    }>, S.TaggedStruct<"Resolved", {
+        readonly traits: S.$Array<S.Struct<{
+            readonly id: S.brand<S.String, "traits/Trait">;
+            readonly body: S.String;
+        }>>;
+    }>, 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 message: S.String;
+    }>, typeof McpSchema.ElicitationDeclined]>;
+    readonly failureMode: "error";
+}, DecisionModel.DecisionModel | LanguageModel.LanguageModel | TraitStore | TraitsContext>;
+export declare const toolkit: Toolkit.Toolkit<{
+    readonly derive_trait: Tool.Tool<"derive_trait", {
+        readonly parameters: S.Struct<{
+            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 body: S.String;
+            }>;
+        }>, S.TaggedStruct<"Covered", {
+            readonly traits: S.$Array<S.Struct<{
+                readonly id: S.brand<S.String, "traits/Trait">;
+                readonly body: S.String;
+            }>>;
+        }>, S.TaggedStruct<"Clarification", {
+            readonly traits: S.$Array<S.Struct<{
+                readonly id: S.brand<S.String, "traits/Trait">;
+                readonly body: S.String;
+            }>>;
+            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 body: S.String;
+                }>;
+                readonly proposed: S.String;
+                readonly reason: S.Literals<readonly ["conflict", "inconclusive"]>;
+            }>>;
+        }>, S.TaggedStruct<"Updated", {
+            readonly trait: S.Struct<{
+                readonly id: S.brand<S.String, "traits/Trait">;
+                readonly body: S.String;
+            }>;
+        }>, S.TaggedStruct<"Resolved", {
+            readonly traits: S.$Array<S.Struct<{
+                readonly id: S.brand<S.String, "traits/Trait">;
+                readonly body: S.String;
+            }>>;
+        }>, 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 message: S.String;
+        }>, typeof McpSchema.ElicitationDeclined]>;
+        readonly failureMode: "error";
+    }, DecisionModel.DecisionModel | LanguageModel.LanguageModel | TraitStore | TraitsContext>;
+}>;
+export declare const layer: import("effect/Layer").Layer<Tool.Handler<"derive_trait">, never, never>;
+//# sourceMappingURL=DeriveTrait.d.ts.map

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

@@ -0,0 +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"}

package/dist/toolkit/DeriveTrait.js

@@ -0,0 +1,54 @@
+import { Schema as S, String } from "effect";
+import { AiError, DecisionModel, LanguageModel, McpSchema, Tool, Toolkit } from "effect/ai";
+import { derive, TraitDerivation } from "../TraitDerivation.js";
+import { TraitsContext } from "../TraitsContext.js";
+import { TraitStore, TraitStoreError } from "../TraitStore.js";
+export const DeriveTrait = Tool.make("derive_trait", {
+    description: String.stripMargin(`
+  | Use after a user correction, reusable coding preference, or explicit request to remember a convention.
+  | Recognize preferences across turns, including approval of a suggested alternative idiom; do not require the words "always" or "trait".
+  | Err on the side of proposing a rule unless an existing trait clearly covers its exact scope. Call this tool with the draft first; do not ask separately beforehand.
+  | An explicit request to save the rule counts as approval; approval to change code alone does not.
+  | Native clients receive an approval form. ApprovalRequired means use the interactive question tool with Save, Revise, and Skip choices and its free-text option.
+  | Include the full returned message. Retry with the exact same body and target and approved: true only after Save; revise and request approval again for changed text.
+  | RevisionRequired contains feedback; revise and resubmit. Declined means stop without writing. Never retry automatically after a decline.
+  | If Revise supplies no concrete feedback, ask for revision details with the interactive question UI and free text. Do not guess or set approved: true.
+  | Keep the proposal pending through related work and return to it afterward unless cancelled; obtain fresh approval of the complete revised body.
+  | First decide whether the feedback generalizes beyond the current task and inspect existing trait files for coverage.
+  | Supply a concise, standalone rule as proposedTrait, preserving its scope and exceptions; omit headings and unnecessary examples.
+  | Compare against all stored traits. Only a distinct proposal is saved as a new trait.
+  | Inconclusive returns relationship findings and blocks all writes; clarify ambiguity or revise the proposal before retrying.
+  | Confirmed conflicts enter reconciliation within this tool. Approval shows affected trait IDs/bodies, removals, the proposal, and replacement policy.
+  | Nothing is replaced before approval. After approval, generate compatible standalone replacements, save them, then delete only the conflicting originals.
+  | The proposal takes precedence only in direct conflicts; preserve unrelated requirements, scopes, and exceptions. Resolved returns saved replacements.
+  | Do not submit the same proposal again after Resolved: it is already incorporated. Inspect replacements and check relevant TypeScript files.
+  | Reconciliation is not transactional; on an error, inspect the store before retrying because some writes or removals may have completed.
+  | Covered returns the existing traits representing the proposal; reuse them without writing a duplicate.
+  | A single clarification candidate is selected automatically for approval; provide a complete replacement body preserving existing requirements and exceptions.
+  | Multiple clarification candidates return Clarification with those traits and the proposal without writing. Refine the proposal or clarify intent.
+  | The shared approval flow shows the existing and proposed bodies; ask in the client UI only if ApprovalRequired is returned.
+  | The tool rechecks all traits before updating, preserving the selected ID. Updated returns the saved trait.
+  | Never use approved: true for an unapproved replacement, and never resolve a mere clarification by deleting traits.
+  | Created returns the saved trait including its generated ID. Every response is one tagged TraitDerivation outcome, never a bare array or void.
+  | Then call check_traits on relevant TypeScript files, using returned trait IDs for focused reviews when appropriate.
+  `),
+    parameters: S.Struct({
+        proposedTrait: S.String.annotate({
+            description: "The complete reusable rule to save, including scope and exceptions, rather than raw conversation text."
+        }),
+        approved: S.Boolean.pipe(S.optional).annotate({
+            description: "Fallback approval for the exact proposal and automatically selected action shown to the user, including any existing trait being updated. Set true only after approval; native clients still receive a form. Does not bypass relationship checks."
+        })
+    }),
+    success: TraitDerivation,
+    failure: S.Union([AiError.AiError, TraitStoreError, McpSchema.ElicitationDeclined]),
+    dependencies: [DecisionModel.DecisionModel, LanguageModel.LanguageModel, TraitStore, TraitsContext]
+})
+    .annotate(Tool.Title, "Derive Trait")
+    .annotate(Tool.Readonly, false)
+    .annotate(Tool.Destructive, true);
+export const toolkit = Toolkit.make(DeriveTrait);
+export const layer = toolkit.toLayer({
+    derive_trait: derive
+});
+//# sourceMappingURL=DeriveTrait.js.map

package/dist/toolkit/DeriveTrait.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DeriveTrait.js","sourceRoot":"","sources":["../../toolkit/DeriveTrait.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAE3F,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC/D,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;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2B/B,CAAC;IACF,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC/B,WAAW,EACT,wGAAwG;SAC3G,CAAC;QACF,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC;YAC5C,WAAW,EACT,mPAAmP;SACtP,CAAC;KACH,CAAC;IACF,OAAO,EAAE,eAAe;IACxB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACnF,YAAY,EAAE,CAAC,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,CAAC;CACpG,CAAC;KACC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC;KACpC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC;KAC9B,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;AAEnC,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;CACrB,CAAC,CAAA"}

package/dist/toolkit/toolkit.d.ts

@@ -0,0 +1,3 @@
+import { Layer } from "effect";
+export declare const toolkit: Layer.Layer<never, never, never>;
+//# sourceMappingURL=toolkit.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"toolkit.d.ts","sourceRoot":"","sources":["../../toolkit/toolkit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAM9B,eAAO,MAAM,OAAO,kCAEnB,CAAA"}

package/dist/toolkit/toolkit.js

@@ -0,0 +1,6 @@
+import { Layer } from "effect";
+import { McpServer, Toolkit } from "effect/ai";
+import * as CheckTraits from "./CheckTraits.js";
+import * as DeriveTrait from "./DeriveTrait.js";
+export const toolkit = McpServer.toolkit(Toolkit.merge(DeriveTrait.toolkit, CheckTraits.toolkit)).pipe(Layer.provide(Layer.mergeAll(DeriveTrait.layer, CheckTraits.layer)));
+//# sourceMappingURL=toolkit.js.map

package/dist/toolkit/toolkit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toolkit.js","sourceRoot":"","sources":["../../toolkit/toolkit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC9B,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAE9C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAE/C,MAAM,CAAC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CACpG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CACpE,CAAA"}

package/index.ts

@@ -0,0 +1,9 @@
+export * as Assessment from "./Assessment.ts"
+export * as Source from "./Source.ts"
+export * as Trait from "./Trait.ts"
+export * as TraitConflict from "./TraitConflict.ts"
+export * as TraitDerivation from "./TraitDerivation.ts"
+export * as TraitEvaluation from "./TraitEvaluation.ts"
+export * from "./TraitsConfig.ts"
+export * as TraitsContext from "./TraitsContext.ts"
+export * as TraitStore from "./TraitStore.ts"