traits 0.4.0 → 0.5.1

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/bin.ts

@@ -0,0 +1,65 @@
+#!/usr/bin/env node
+// traits-ignore-file dawn_sparrow_wolf-37a52965-6425-476e-bc3a-d20ce70bc1a6: Effect utilities are unavailable until this launcher installs dependencies.
+import { spawn } from "node:child_process"
+import { once } from "node:events"
+import { existsSync, readFileSync } from "node:fs"
+import { join } from "node:path"
+
+const candidates = [
+  ["pnpm", ["pnpm-lock.yaml"]],
+  ["npm", ["package-lock.json", "npm-shrinkwrap.json"]],
+  ["yarn", ["yarn.lock"]],
+  ["bun", ["bun.lock", "bun.lockb"]]
+] as const
+
+const [command, args] = installCommand(process.cwd())
+process.stderr.write(`[traits] Installing dependencies in ${process.cwd()} using ${command}\n`)
+await install(command, args)
+await import("./main.ts")
+
+function installCommand(root: string): [string, string[]] {
+  const manifest = JSON.parse(readFileSync(join(root, "package.json"), "utf8"))
+  const declared =
+    typeof manifest === "object" && manifest !== null && "packageManager" in manifest
+      ? manifest.packageManager
+      : undefined
+  const matches = candidates.filter((candidate) => candidate[1].some((file) => existsSync(join(root, file))))
+  const manager =
+    typeof declared === "string" ? declared.split("@")[0] : matches.length === 1 ? matches[0]?.[0] : undefined
+  if (manager === undefined || !candidates.some((candidate) => candidate[0] === manager)) {
+    throw new Error("Set package.json#packageManager to pnpm, npm, yarn, or bun to select the installer")
+  }
+  const locked =
+    candidates.find((candidate) => candidate[0] === manager)?.[1].some((file) => existsSync(join(root, file))) ?? false
+  if (manager === "npm") return [manager, [locked ? "ci" : "install"]]
+  if (manager === "yarn") {
+    const modern =
+      typeof declared === "string"
+        ? !declared.startsWith("yarn@1.")
+        : /^__metadata:/m.test(readFileSync(join(root, "yarn.lock"), "utf8"))
+    return [manager, ["install", ...(locked ? [modern ? "--immutable" : "--frozen-lockfile"] : [])]]
+  }
+  return [manager, ["install", ...(locked ? ["--frozen-lockfile"] : [])]]
+}
+
+function install(command: string, args: string[]) {
+  const child = spawn(command, args, {
+    stdio: ["ignore", process.stderr, process.stderr]
+  })
+  const interrupt = () => {
+    child.kill("SIGINT")
+  }
+  const terminate = () => {
+    child.kill("SIGTERM")
+  }
+  process.on("SIGINT", interrupt)
+  process.on("SIGTERM", terminate)
+  return once(child, "close")
+    .then((result) => {
+      if (result[0] !== 0) throw new Error(`${command} exited with ${result[1] ?? result[0]}`)
+    })
+    .finally(() => {
+      process.off("SIGINT", interrupt)
+      process.off("SIGTERM", terminate)
+    })
+}

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

package/dist/Trait.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Trait.d.ts","sourceRoot":"","sources":["../Trait.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,EAAU,MAAM,QAAQ,CAAA;AACpD,OAAO,EAAY,aAAa,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAElE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AACzC,eAAO,MAAM,OAAO,mCAAyC,CAAA;AAE7D,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AACrC,eAAO,MAAM,KAAK;;;EAA4C,CAAA;AAE9D,eAAO,MAAM,oBAAoB,6KAuC/B,CAAA"}