traits 0.4.0 → 0.5.0

package/_util/words.ts

@@ -0,0 +1,555 @@
+export const words = [
+  "acacia",
+  "adventure",
+  "agate",
+  "alabaster",
+  "albatross",
+  "alchemy",
+  "alder",
+  "allure",
+  "alpine",
+  "amaranth",
+  "amber",
+  "ambrosia",
+  "amethyst",
+  "amulet",
+  "anemone",
+  "angel",
+  "anthem",
+  "antler",
+  "apricot",
+  "aquamarine",
+  "aquarium",
+  "arbor",
+  "arcadia",
+  "archway",
+  "aria",
+  "arpeggio",
+  "arrowroot",
+  "aspen",
+  "aster",
+  "astral",
+  "atlas",
+  "aurora",
+  "autumn",
+  "avalon",
+  "aviary",
+  "azalea",
+  "azure",
+  "badger",
+  "ballad",
+  "ballet",
+  "bamboo",
+  "banyan",
+  "basil",
+  "bayberry",
+  "beacon",
+  "bead",
+  "beech",
+  "bell",
+  "bellflower",
+  "berry",
+  "birch",
+  "birdsong",
+  "bliss",
+  "bloom",
+  "blossom",
+  "bluebell",
+  "bluebird",
+  "blueberry",
+  "boreal",
+  "bower",
+  "bramble",
+  "brass",
+  "breeze",
+  "brook",
+  "bubble",
+  "buttercup",
+  "butterfly",
+  "cabin",
+  "cadence",
+  "cairn",
+  "calico",
+  "camellia",
+  "canary",
+  "candle",
+  "canopy",
+  "canvas",
+  "canyon",
+  "caravan",
+  "cardinal",
+  "carnation",
+  "carousel",
+  "cascade",
+  "castle",
+  "cedar",
+  "celadon",
+  "celestial",
+  "cello",
+  "chalet",
+  "chalice",
+  "chamomile",
+  "charm",
+  "cherry",
+  "chickadee",
+  "chime",
+  "chinchilla",
+  "cinnamon",
+  "citadel",
+  "citrine",
+  "citrus",
+  "clarinet",
+  "clematis",
+  "cloud",
+  "clover",
+  "cobalt",
+  "cocoa",
+  "comet",
+  "compass",
+  "concerto",
+  "constellation",
+  "copper",
+  "coral",
+  "cosmic",
+  "cosmos",
+  "cottage",
+  "cove",
+  "crane",
+  "crescent",
+  "cricket",
+  "crocus",
+  "crown",
+  "crystal",
+  "cupcake",
+  "cypress",
+  "daffodil",
+  "dahlia",
+  "daisy",
+  "dandelion",
+  "dapple",
+  "dawn",
+  "daybreak",
+  "daydream",
+  "deer",
+  "delight",
+  "dew",
+  "dewdrop",
+  "diamond",
+  "dolphin",
+  "dove",
+  "dragon",
+  "dragonfly",
+  "dream",
+  "dreamer",
+  "dreamscape",
+  "drift",
+  "driftwood",
+  "droplet",
+  "dune",
+  "dusk",
+  "eagle",
+  "echo",
+  "edelweiss",
+  "elderberry",
+  "elm",
+  "elysian",
+  "ember",
+  "emerald",
+  "enchantment",
+  "enclave",
+  "enigma",
+  "epiphany",
+  "equinox",
+  "ethereal",
+  "evergreen",
+  "fable",
+  "fairy",
+  "falcon",
+  "fantasia",
+  "faraway",
+  "fawn",
+  "feather",
+  "fern",
+  "festival",
+  "fig",
+  "filigree",
+  "finch",
+  "firefly",
+  "fir",
+  "fjord",
+  "flamingo",
+  "fleur",
+  "flora",
+  "flourish",
+  "flower",
+  "flute",
+  "foal",
+  "forest",
+  "fountain",
+  "fox",
+  "freesia",
+  "frog",
+  "frost",
+  "galaxy",
+  "garden",
+  "gardenia",
+  "garland",
+  "garnet",
+  "gazebo",
+  "gazelle",
+  "gem",
+  "ginger",
+  "ginkgo",
+  "glacier",
+  "glade",
+  "gleam",
+  "glimmer",
+  "glitter",
+  "glow",
+  "gold",
+  "golden",
+  "goldfinch",
+  "gossamer",
+  "grace",
+  "granite",
+  "grape",
+  "greenhouse",
+  "griffin",
+  "grotto",
+  "grove",
+  "halo",
+  "harbor",
+  "hare",
+  "harmony",
+  "harp",
+  "harvest",
+  "haven",
+  "hawthorn",
+  "heather",
+  "hedgehog",
+  "heliotrope",
+  "heron",
+  "hibiscus",
+  "hickory",
+  "highland",
+  "hilltop",
+  "holly",
+  "honey",
+  "honeybee",
+  "honeysuckle",
+  "hope",
+  "horizon",
+  "hummingbird",
+  "hyacinth",
+  "hydrangea",
+  "ibis",
+  "icicle",
+  "idyll",
+  "illumine",
+  "imagine",
+  "indigo",
+  "iris",
+  "island",
+  "ivory",
+  "ivy",
+  "jade",
+  "jasmine",
+  "jazz",
+  "jewel",
+  "journey",
+  "joy",
+  "jubilee",
+  "juniper",
+  "kaleidoscope",
+  "karate",
+  "kestrel",
+  "kingfisher",
+  "kite",
+  "kiwi",
+  "koala",
+  "koi",
+  "lagoon",
+  "lake",
+  "lantern",
+  "lapis",
+  "larch",
+  "lark",
+  "laurel",
+  "lavender",
+  "leaf",
+  "legend",
+  "lemon",
+  "lemur",
+  "lighthouse",
+  "lilac",
+  "lily",
+  "linden",
+  "lotus",
+  "lullaby",
+  "lumen",
+  "luminous",
+  "lunar",
+  "lupine",
+  "lyra",
+  "lyric",
+  "macaw",
+  "magic",
+  "magnolia",
+  "mandarin",
+  "mandolin",
+  "mango",
+  "maple",
+  "marble",
+  "marigold",
+  "marimba",
+  "mariposa",
+  "marvel",
+  "meadow",
+  "melody",
+  "meridian",
+  "mermaid",
+  "meteor",
+  "midnight",
+  "milkweed",
+  "mimosa",
+  "mint",
+  "mirage",
+  "mist",
+  "moon",
+  "moonbeam",
+  "moonflower",
+  "moonlight",
+  "moonrise",
+  "moonstone",
+  "morning",
+  "mosaic",
+  "moss",
+  "mountain",
+  "mulberry",
+  "muse",
+  "music",
+  "myriad",
+  "myrtle",
+  "mystic",
+  "myth",
+  "narwhal",
+  "nebula",
+  "nectar",
+  "nightingale",
+  "nimbus",
+  "nocturne",
+  "nova",
+  "oak",
+  "oasis",
+  "ocean",
+  "octave",
+  "odyssey",
+  "olive",
+  "opal",
+  "opera",
+  "orchard",
+  "orchestra",
+  "orchid",
+  "origami",
+  "oriole",
+  "otter",
+  "owl",
+  "pagoda",
+  "palace",
+  "palm",
+  "panda",
+  "papaya",
+  "papyrus",
+  "paradise",
+  "parakeet",
+  "parchment",
+  "pastel",
+  "pathway",
+  "pavilion",
+  "peach",
+  "peacock",
+  "pear",
+  "pearl",
+  "pebble",
+  "pegasus",
+  "pelican",
+  "penguin",
+  "peony",
+  "peridot",
+  "periwinkle",
+  "petal",
+  "phoenix",
+  "piano",
+  "piccolo",
+  "pilgrim",
+  "pine",
+  "pinnacle",
+  "pixie",
+  "planet",
+  "plum",
+  "plume",
+  "poem",
+  "poetry",
+  "polaris",
+  "pomegranate",
+  "pond",
+  "poplar",
+  "poppy",
+  "porcelain",
+  "portal",
+  "prairie",
+  "primrose",
+  "prism",
+  "promise",
+  "puffin",
+  "quail",
+  "quartz",
+  "quest",
+  "quill",
+  "quince",
+  "rabbit",
+  "radiance",
+  "rainbow",
+  "raindrop",
+  "rainfall",
+  "raven",
+  "realm",
+  "redwood",
+  "reed",
+  "reef",
+  "reflection",
+  "reverie",
+  "rhapsody",
+  "ribbon",
+  "ripple",
+  "river",
+  "robin",
+  "rose",
+  "rosemary",
+  "rosewood",
+  "rowan",
+  "ruby",
+  "rune",
+  "saffron",
+  "sage",
+  "sail",
+  "sandalwood",
+  "sapphire",
+  "satin",
+  "savanna",
+  "seabird",
+  "seaglass",
+  "seahorse",
+  "seal",
+  "seashell",
+  "sequoia",
+  "serenade",
+  "serendipity",
+  "serenity",
+  "shamrock",
+  "shell",
+  "shimmer",
+  "silhouette",
+  "silk",
+  "silver",
+  "skylark",
+  "snow",
+  "snowdrop",
+  "snowfall",
+  "snowflake",
+  "solace",
+  "solar",
+  "solstice",
+  "sonata",
+  "songbird",
+  "sorrel",
+  "spark",
+  "sparkle",
+  "sparrow",
+  "spell",
+  "spire",
+  "spring",
+  "sprite",
+  "spruce",
+  "star",
+  "stardust",
+  "starfish",
+  "starlight",
+  "starling",
+  "stone",
+  "storybook",
+  "strawberry",
+  "stream",
+  "summer",
+  "sun",
+  "sunbeam",
+  "sunflower",
+  "sunlight",
+  "sunrise",
+  "sunset",
+  "swallow",
+  "swan",
+  "sweetpea",
+  "sycamore",
+  "symphony",
+  "talisman",
+  "tamarind",
+  "tangerine",
+  "tapestry",
+  "teal",
+  "telescope",
+  "terrace",
+  "thistle",
+  "thrush",
+  "thyme",
+  "tide",
+  "tiger",
+  "topaz",
+  "toucan",
+  "tower",
+  "treasure",
+  "treetop",
+  "trill",
+  "tulip",
+  "turquoise",
+  "turtle",
+  "twilight",
+  "twinkle",
+  "unicorn",
+  "valley",
+  "vanilla",
+  "velvet",
+  "verbena",
+  "verdant",
+  "vesper",
+  "violet",
+  "violin",
+  "vista",
+  "voyage",
+  "waltz",
+  "wand",
+  "wander",
+  "waterfall",
+  "wave",
+  "whale",
+  "whimsy",
+  "whisper",
+  "wildflower",
+  "willow",
+  "windchime",
+  "windmill",
+  "wing",
+  "winter",
+  "wish",
+  "wisteria",
+  "wizard",
+  "wolf",
+  "wonder",
+  "woodland",
+  "wren",
+  "yarrow",
+  "yonder",
+  "zenith",
+  "zephyr",
+  "zinnia"
+] as const

package/commands/init.ts

@@ -0,0 +1,73 @@
+import { Console, Effect, FileSystem, Path, String } from "effect"
+import { Command } from "effect/cli"
+
+import { getWorktreeRoot } from "../_util/Git.ts"
+
+const configuration = String.stripMargin(`
+|import { OpenAiClient, OpenAiLanguageModel } from "@effect/ai-openai"
+|import { TypeSafeClient, TypeSafeDecisionModel } from "@effect/ai-typesafe"
+|import { Config, Layer } from "effect"
+|import type { TraitsConfig } from "traits"
+|
+|export default {
+|  excludes: ["**/dist/**", "node_modules/**"],
+|  layerDecisionModel: TypeSafeDecisionModel.layer({ model: "jev-latest" }).pipe(
+|    Layer.provide(TypeSafeClient.layerConfig())
+|  ),
+|  layerLanguageModel: OpenAiLanguageModel.layer({
+|    model: "gpt-6.1-sol",
+|    config: { reasoning: { effort: "low" } }
+|  }).pipe(Layer.provide(OpenAiClient.layerConfig({ apiKey: Config.Redacted("OPENAI_API_KEY") })))
+|} satisfies TraitsConfig
+`)
+
+const nextSteps = String.stripMargin(`
+|
+|Next steps:
+|
+|1. Edit traits.ts to choose your decision and language models. Install the
+|   provider packages imported by that file in your project.
+|   Git-ignored files are excluded by default; set excludeGitignored: false
+|   in traits.ts to disable the fresh Git file-set filter on each check.
+|
+|2. Configure your chosen providers' API keys in the MCP process environment
+|   or an untracked .env at the checkout root. The default providers use
+|   TYPESAFE_API_KEY and OPENAI_API_KEY. Never commit your secrets.
+|
+|3. Add Traits as a local MCP server in your coding agent of choice:
+|   command: npx -y traits
+|   working directory: the current checkout root
+|   Connect the server and confirm derive_trait and check_traits are available.
+|
+|4. Install the bundled Traits skill from the checkout root:
+|   pnpm 12.11+: pnpm add -D traits, then pnpm approve to approve its skills.
+|   pnpm links into existing agent skill directories or the running agent's
+|   directory. Set skills.dirs in pnpm-workspace.yaml if needed.
+|   Other package managers or older pnpm: install traits locally, then run
+|   npx skills add ./node_modules/traits --skill traits to choose your agents.
+|   Without a local Traits dependency, run:
+|   npx skills add https://github.com/crosshatch/traits/tree/main/traits/skills/traits
+|   This uses the repository version; local installation uses your package's skill.
+|   The skills CLI installs a snapshot; rerun after updating Traits.
+|   pnpm dlx and global installs do not link skills.
+|   Existing skill copies are left untouched. Back up any customizations before
+|   replacing an old copy, and avoid loading both it and a package-managed skill.
+`)
+
+export const init = Command.make("init").pipe(
+  Command.withHandler(
+    Effect.fn("traits.init")(function* () {
+      const fs = yield* FileSystem.FileSystem
+      const path = yield* Path.Path
+      const root = yield* getWorktreeRoot
+      const destination = path.join(root, "traits.ts")
+      if (yield* fs.exists(destination)) {
+        yield* Console.log(`Leaving existing "${destination}" unchanged`)
+      } else {
+        yield* fs.writeFileString(destination, configuration, { flag: "wx" })
+        yield* Console.log(`Created "${destination}"`)
+      }
+      yield* Console.log(nextSteps)
+    })
+  )
+)

package/dist/Assessment.d.ts

@@ -0,0 +1,12 @@
+import { Schema as S } from "effect";
+export type Assessment = typeof Assessment.Type;
+export declare const 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;
+    }>;
+}>;
+//# sourceMappingURL=Assessment.d.ts.map

package/dist/Assessment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Assessment.d.ts","sourceRoot":"","sources":["../Assessment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAIpC,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAC/C,eAAO,MAAM,UAAU;;;;;;;;EAQrB,CAAA"}

package/dist/Assessment.js

@@ -0,0 +1,12 @@
+import { Schema as S } from "effect";
+const Probability = S.Finite.check(S.isBetween({ minimum: 0, maximum: 1 }));
+export const Assessment = S.Struct({
+    classification: S.Literals(["compliant", "violation", "not-applicable", "inconclusive"]),
+    probabilities: S.Struct({
+        compliant: Probability,
+        violation: Probability,
+        "not-applicable": Probability,
+        inconclusive: Probability
+    })
+});
+//# sourceMappingURL=Assessment.js.map

package/dist/Assessment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Assessment.js","sourceRoot":"","sources":["../Assessment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAG3E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,cAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;IACxF,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC;QACtB,SAAS,EAAE,WAAW;QACtB,SAAS,EAAE,WAAW;QACtB,gBAAgB,EAAE,WAAW;QAC7B,YAAY,EAAE,WAAW;KAC1B,CAAC;CACH,CAAC,CAAA"}

package/dist/Source.d.ts

@@ -0,0 +1,21 @@
+import { Schema as S } from "effect";
+export type SourceLocation = typeof SourceLocation.Type;
+export declare const SourceLocation: S.TaggedUnion<{
+    readonly File: S.TaggedStruct<"File", {
+        readonly path: S.String;
+        readonly startLine: S.Int;
+    }>;
+    readonly Generated: S.TaggedStruct<"Generated", {}>;
+}>;
+export type Source = typeof Source.Type;
+export declare const 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", {}>;
+    }>>;
+}>;
+//# sourceMappingURL=Source.d.ts.map

package/dist/Source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Source.d.ts","sourceRoot":"","sources":["../Source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AACvD,eAAO,MAAM,cAAc;;;;;;EAGzB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,eAAO,MAAM,MAAM;;;;;;;;;EAGjB,CAAA"}

package/dist/Source.js

@@ -0,0 +1,10 @@
+import { Schema as S } from "effect";
+export const SourceLocation = S.TaggedUnion({
+    File: { path: S.String, startLine: S.Int },
+    Generated: {}
+});
+export const Source = S.Struct({
+    text: S.String,
+    location: SourceLocation.pipe(S.optional)
+});
+//# sourceMappingURL=Source.js.map

package/dist/Source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Source.js","sourceRoot":"","sources":["../Source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAGpC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,WAAW,CAAC;IAC1C,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,EAAE;IAC1C,SAAS,EAAE,EAAE;CACd,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,IAAI,EAAE,CAAC,CAAC,MAAM;IACd,QAAQ,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;CAC1C,CAAC,CAAA"}

package/dist/Trait.d.ts

@@ -0,0 +1,12 @@
+import { Effect, Schema as S } from "effect";
+import { DecisionModel, LanguageModel } from "effect/ai";
+import { TraitsContext } from "./TraitsContext.ts";
+export type TraitId = typeof TraitId.Type;
+export declare const TraitId: S.brand<S.String, "traits/Trait">;
+export type Trait = typeof Trait.Type;
+export declare const Trait: S.Struct<{
+    readonly id: S.brand<S.String, "traits/Trait">;
+    readonly body: S.String;
+}>;
+export declare const checkDecomposability: (proposedTrait: string) => Effect.Effect<readonly string[], import("effect/ai/AiError").AiError, DecisionModel.DecisionModel | LanguageModel.LanguageModel | TraitsContext>;
+//# sourceMappingURL=Trait.d.ts.map