traits 0.5.3 → 0.5.5

package/toolkit/ConfigurationError.ts

@@ -1,11 +1,20 @@
 import { Cause, Effect, Layer, Schema as S } from "effect"
 import { McpServer, Tool, Toolkit } from "effect/ai"
 
+import { CheckTraits } from "./CheckTraits.ts"
+import { DeriveTrait } from "./DeriveTrait.ts"
+
 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,
+  Tool.make("derive_trait", {
+    description: DeriveTrait.description,
+    parameters: DeriveTrait.parametersSchema,
+    success: S.Never,
+    failure: S.String,
+    failureMode: "return"
+  }).annotate(Tool.Readonly, true),
+  Tool.make("check_traits", {
+    description: CheckTraits.description,
+    parameters: CheckTraits.parametersSchema,
     success: S.Never,
     failure: S.String,
     failureMode: "return"
@@ -18,9 +27,13 @@ export const layer = (cause: Cause.Cause<unknown>) =>
     : McpServer.toolkit(toolkit).pipe(
         Layer.provide(
           toolkit.toLayer({
-            traits_configuration_error: () =>
+            derive_trait: () =>
+              Effect.fail(
+                `${Cause.pretty(cause)}\n\nSurface this configuration failure to the user. Fix the reported error, then restart the Traits MCP server and retry the same trait derivation with the identical arguments. No trait was saved; keep the proposal pending until the error is resolved. Do not paste credentials into chat.`
+              ),
+            check_traits: () =>
               Effect.fail(
-                `${Cause.pretty(cause)}\n\nFix the reported error, then restart the Traits MCP server and retry. Do not paste credentials into chat.`
+                `${Cause.pretty(cause)}\n\nSurface this configuration failure to the user. Fix the reported error, then restart the Traits MCP server and retry the same check. No trait review was performed. Do not paste credentials into chat.`
               )
           })
         )

package/toolkit/DeriveTrait.ts

@@ -22,7 +22,8 @@ export const DeriveTrait = Tool.make("derive_trait", {
   | Include a separate diff showing BAD (-) versus GOOD (+) code whenever a useful example applies. Omit it only when a code example is not meaningful. Approval covers the exact diff as well as the body.
   | Supply a unique descriptive kebab-case name without a redundant trait- prefix for a newly created trait; it is the canonical identity, frontmatter name, and Markdown filename stem. Duplicate names are rejected.
   | Avoid repeated requirements and duplicate traits. Keep bodies standalone; do not strip essential scope or exceptions just to shorten them.
-  | When authoring trait frontmatter, let mime restrict file types and when define positive semantic scope. Include skip only for an independent exception within that scope, never its negation or a repetition of another field.
+  | Supply mime, when, and skip inside applicability; use {} when unrestricted. The server persists this object without a separate generation call. Let mime restrict file types and when define positive semantic scope. Include skip only for an independent exception within that scope, never its negation or a repetition of another field.
+  | On clarification, supply the complete replacement applicability; omitted fields remove old restrictions. Approval and retries cover the exact metadata too.
   | Write when values without a leading When, for example when: editing React state.
   | 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.
@@ -42,6 +43,10 @@ export const DeriveTrait = Tool.make("derive_trait", {
   | Then call check_traits on relevant TypeScript files, using returned trait names for focused reviews when appropriate.
   `),
   parameters: S.Struct({
+    applicability: Trait.Applicability.annotate({
+      description:
+        "Complete applicability metadata: when, mime, and skip. Use {} for unrestricted applicability. On clarification this replaces all previous applicability conditions."
+    }),
     diff: Trait.TraitDiff.pipe(S.optional),
     name: Trait.TraitName.annotate({
       description: