@usine/expression 0.0.1 → 0.1.0

package/README.md

@@ -1,5 +1,9 @@
 # @usine/expression
 
-CEL expression seam for usine: check and evaluate the selection expressions loop files use.
+Typed CEL checking and evaluation for [usine](https://github.com/basaltbytes/usine). Callers describe object types and root variables with `Environment`, then use `ExpressionEngine` to check boolean trigger expressions, check scalar prompt expressions, or evaluate either form over plain JSON.
 
-Part of [usine](https://github.com/basaltbytes/usine), an agent-agnostic software factory. This block is not implemented yet — its 0.0.x releases reserve the seam while the engine grows. Everything here is 0.x: APIs change without notice.
+Unknown variables and object paths fail during checking, including paths inside CEL macros such as `exists`. Failures are typed values: `ExpressionCheckError` from parsing, type checking, or result-type checking, `ExpressionEvaluationError` from evaluation, and the `ExpressionError` union covering both. JSON integers declared as CEL `int` or `uint` are converted to `bigint` before evaluation so GraphQL payloads keep CEL integer semantics.
+
+`MarcbachmannCelLayer` uses `@marcbachmann/cel-js@8.0.0`. The exported `ExpressionEngine` contract contains CEL type names and usine-owned descriptors rather than library objects; an `@bufbuild/cel` adapter can provide the same service tag without changing callers.
+
+All APIs remain 0.x and can change between minor releases.

package/dist/expression-engine.d.ts

@@ -0,0 +1,14 @@
+import { Context, type Effect, type Schema } from "effect";
+import type { Environment, ExpressionCheckError, ExpressionError, Scalar, Source } from "./model.ts";
+/** Backend-neutral CEL operations used by config parsing and prompt rendering. */
+export interface ExpressionEngineService {
+    readonly checkBoolean: (source: Source, environment: Environment) => Effect.Effect<void, ExpressionCheckError>;
+    readonly checkScalar: (source: Source, environment: Environment) => Effect.Effect<void, ExpressionCheckError>;
+    readonly evaluateBoolean: (source: Source, environment: Environment, context: Schema.JsonObject) => Effect.Effect<boolean, ExpressionError>;
+    readonly evaluateScalar: (source: Source, environment: Environment, context: Schema.JsonObject) => Effect.Effect<Scalar, ExpressionError>;
+}
+declare const ExpressionEngine_base: Context.ServiceClass<ExpressionEngine, "@usine/expression/ExpressionEngine", ExpressionEngineService>;
+export declare class ExpressionEngine extends ExpressionEngine_base {
+}
+export {};
+//# sourceMappingURL=expression-engine.d.ts.map

package/dist/expression-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-engine.d.ts","sourceRoot":"","sources":["../src/expression-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC3D,OAAO,KAAK,EACV,WAAW,EACX,oBAAoB,EACpB,eAAe,EACf,MAAM,EACN,MAAM,EACP,MAAM,YAAY,CAAC;AAEpB,kFAAkF;AAClF,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,YAAY,EAAE,CACrB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,CACpB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/C,QAAQ,CAAC,eAAe,EAAE,CACxB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,MAAM,CAAC,UAAU,KACvB,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAC7C,QAAQ,CAAC,cAAc,EAAE,CACvB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,MAAM,CAAC,UAAU,KACvB,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAC7C;;AAED,qBAAa,gBAAiB,SAAQ,qBAErC;CAAG"}

package/dist/expression-engine.js

@@ -0,0 +1,4 @@
+import { Context } from "effect";
+export class ExpressionEngine extends Context.Service()("@usine/expression/ExpressionEngine") {
+}
+//# sourceMappingURL=expression-engine.js.map

package/dist/expression-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-engine.js","sourceRoot":"","sources":["../src/expression-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAA4B,MAAM,QAAQ,CAAC;AA+B3D,MAAM,OAAO,gBAAiB,SAAQ,OAAO,CAAC,OAAO,EAA6C,CAChG,oCAAoC,CACrC;CAAG"}

package/dist/index.d.ts

@@ -1,8 +1,9 @@
 /**
- * @usine/expression — CEL expression seam for usine: check and evaluate the selection expressions loop files use.
- *
- * Not implemented yet: this 0.0.x release reserves the block's seam while the
- * engine grows.
+ * @usine/expression — a vendor-neutral CEL check/evaluation seam. The live
+ * layer exact-pins @marcbachmann/cel-js; callers depend only on CEL types and
+ * typed Effect failures, so another backend can implement the service.
  */
-export {};
+export * from "./expression-engine.ts";
+export * from "./marcbachmann-cel.ts";
+export * from "./model.ts";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,wBAAwB,CAAC;AACvC,cAAc,uBAAuB,CAAC;AACtC,cAAc,YAAY,CAAC"}

package/dist/index.js

@@ -1,8 +1,9 @@
 /**
- * @usine/expression — CEL expression seam for usine: check and evaluate the selection expressions loop files use.
- *
- * Not implemented yet: this 0.0.x release reserves the block's seam while the
- * engine grows.
+ * @usine/expression — a vendor-neutral CEL check/evaluation seam. The live
+ * layer exact-pins @marcbachmann/cel-js; callers depend only on CEL types and
+ * typed Effect failures, so another backend can implement the service.
  */
-export {};
+export * from "./expression-engine.js";
+export * from "./marcbachmann-cel.js";
+export * from "./model.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,wBAAwB,CAAC;AACvC,cAAc,uBAAuB,CAAC;AACtC,cAAc,YAAY,CAAC"}

package/dist/marcbachmann-cel.d.ts

@@ -0,0 +1,5 @@
+import { Layer } from "effect";
+import { ExpressionEngine } from "./expression-engine.ts";
+/** Live CEL adapter backed by the exact-pinned @marcbachmann/cel-js implementation. */
+export declare const MarcbachmannCelLayer: Layer.Layer<ExpressionEngine, never, never>;
+//# sourceMappingURL=marcbachmann-cel.d.ts.map

package/dist/marcbachmann-cel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"marcbachmann-cel.d.ts","sourceRoot":"","sources":["../src/marcbachmann-cel.ts"],"names":[],"mappings":"AAKA,OAAO,EAAU,KAAK,EAAkB,MAAM,QAAQ,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAsN1D,uFAAuF;AACvF,eAAO,MAAM,oBAAoB,6CAK/B,CAAC"}

package/dist/marcbachmann-cel.js

@@ -0,0 +1,133 @@
+import { Environment as CelEnvironment, ParseError as CelParseError, TypeError as CelTypeError, } from "@marcbachmann/cel-js";
+import { Effect, Layer, Option, Schema } from "effect";
+import { ExpressionEngine } from "./expression-engine.js";
+import { ExpressionCheckError, ExpressionEvaluationError, Scalar, TypeReference, } from "./model.js";
+const decodeTypeReference = Schema.decodeUnknownSync(TypeReference);
+const acceptedScalarTypes = new Set([
+    "bool",
+    "double",
+    "int",
+    "null_type",
+    "string",
+    "uint",
+]);
+const messageFromCause = (cause, fallback) => Option.match(Schema.decodeUnknownOption(Schema.Struct({ message: Schema.NonEmptyString }))(cause), {
+    onNone: () => fallback,
+    onSome: ({ message }) => message,
+});
+const checkFailure = (source, error) => error === undefined
+    ? new ExpressionCheckError({
+        source,
+        code: "check_failed",
+        message: "CEL check failed without an error detail",
+        position: Option.none(),
+    })
+    : new ExpressionCheckError({
+        source,
+        code: error instanceof CelParseError ? "parse_error" : "type_error",
+        message: error.message,
+        position: Option.fromNullishOr(error.range?.start),
+    });
+const makeEnvironment = (descriptor) => {
+    const environment = new CelEnvironment({ unlistedVariablesAreDyn: false });
+    for (const objectType of descriptor.types) {
+        environment.registerType(objectType.name, {
+            fields: Object.fromEntries(objectType.fields.map((field) => [field.name, field.type])),
+        });
+    }
+    for (const variable of descriptor.variables) {
+        environment.registerVariable(variable.name, variable.type);
+    }
+    return environment;
+};
+const normalizeValue = (value, type, objectTypes) => {
+    if ((type === "int" || type === "uint") &&
+        Schema.is(Schema.Number)(value) &&
+        Number.isInteger(value)) {
+        return BigInt(value);
+    }
+    if (type.startsWith("list<") && type.endsWith(">") && Array.isArray(value)) {
+        const itemType = decodeTypeReference(type.slice(5, -1));
+        return value.map((item) => normalizeValue(item, itemType, objectTypes));
+    }
+    const objectType = objectTypes.get(type);
+    if (objectType !== undefined && Schema.is(Schema.JsonObject)(value)) {
+        return Object.fromEntries(Object.entries(value).map(([key, fieldValue]) => {
+            const field = objectType.fields.find(({ name }) => name === key);
+            return [
+                key,
+                field === undefined ? fieldValue : normalizeValue(fieldValue, field.type, objectTypes),
+            ];
+        }));
+    }
+    return value;
+};
+const normalizeContext = (context, descriptor) => {
+    const objectTypes = new Map(descriptor.types.map((type) => [type.name, type]));
+    return Object.fromEntries(Object.entries(context).map(([key, value]) => {
+        const variable = descriptor.variables.find(({ name }) => name === key);
+        return [
+            key,
+            variable === undefined ? value : normalizeValue(value, variable.type, objectTypes),
+        ];
+    }));
+};
+const checkExpected = (source, environment, accepts, expected) => Effect.gen(function* () {
+    const result = yield* Effect.try({
+        try: () => makeEnvironment(environment).check(source),
+        catch: (cause) => new ExpressionCheckError({
+            source,
+            code: "check_failed",
+            message: messageFromCause(cause, "CEL check failed"),
+            position: Option.none(),
+        }),
+    });
+    if (!result.valid)
+        return yield* checkFailure(source, result.error);
+    const resultType = result.type;
+    if (resultType === undefined || !accepts(resultType)) {
+        return yield* new ExpressionCheckError({
+            source,
+            code: "unexpected_result_type",
+            message: `Expected ${expected}, got ${resultType ?? "an unknown type"}`,
+            position: Option.none(),
+        });
+    }
+});
+const evaluateRaw = (source, environment, context) => Effect.try({
+    try: () => 
+    // SAFETY: CEL evaluation yields the same value vocabulary the context is
+    // built from; the callers below still decode the expected result type
+    // before anything leaves the seam.
+    makeEnvironment(environment).evaluate(source, normalizeContext(context, environment)),
+    catch: (cause) => new ExpressionEvaluationError({
+        source,
+        message: messageFromCause(cause, "CEL evaluation failed"),
+    }),
+});
+const unexpectedResult = (source, expected) => () => new ExpressionEvaluationError({
+    source,
+    message: `CEL evaluation returned a value that is not ${expected}`,
+});
+const checkBoolean = Effect.fn("ExpressionEngine.checkBoolean")((source, environment) => checkExpected(source, environment, (resultType) => resultType === "bool", "bool"));
+const checkScalar = Effect.fn("ExpressionEngine.checkScalar")((source, environment) => checkExpected(source, environment, (resultType) => acceptedScalarTypes.has(resultType), "a scalar value"));
+const decodeBoolean = Schema.decodeUnknownEffect(Schema.Boolean);
+const decodeScalar = Schema.decodeUnknownEffect(Scalar);
+const evaluateBoolean = Effect.fn("ExpressionEngine.evaluateBoolean")(function* (source, environment, context) {
+    yield* checkBoolean(source, environment);
+    const value = yield* evaluateRaw(source, environment, context);
+    return yield* decodeBoolean(value).pipe(Effect.mapError(unexpectedResult(source, "a boolean")));
+});
+const evaluateScalar = Effect.fn("ExpressionEngine.evaluateScalar")(function* (source, environment, context) {
+    yield* checkScalar(source, environment);
+    const value = yield* evaluateRaw(source, environment, context);
+    return yield* decodeScalar(value).pipe(Effect.mapError(unexpectedResult(source, "a scalar value")));
+});
+/** Live CEL adapter backed by the exact-pinned @marcbachmann/cel-js implementation. */
+export const MarcbachmannCelLayer = Layer.succeed(ExpressionEngine, {
+    checkBoolean,
+    checkScalar,
+    evaluateBoolean,
+    evaluateScalar,
+});
+//# sourceMappingURL=marcbachmann-cel.js.map

package/dist/marcbachmann-cel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"marcbachmann-cel.js","sourceRoot":"","sources":["../src/marcbachmann-cel.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,IAAI,cAAc,EAC7B,UAAU,IAAI,aAAa,EAC3B,SAAS,IAAI,YAAY,GAC1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAEL,oBAAoB,EACpB,yBAAyB,EAEzB,MAAM,EAEN,aAAa,GACd,MAAM,YAAY,CAAC;AAEpB,MAAM,mBAAmB,GAAG,MAAM,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;AAiBpE,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IACvD,MAAM;IACN,QAAQ;IACR,KAAK;IACL,WAAW;IACX,QAAQ;IACR,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAE,QAAgB,EAAU,EAAE,CACpE,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EACpF;IACE,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ;IACtB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO;CACjC,CACF,CAAC;AAEJ,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,KAAmC,EAAwB,EAAE,CACjG,KAAK,KAAK,SAAS;IACjB,CAAC,CAAC,IAAI,oBAAoB,CAAC;QACvB,MAAM;QACN,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,0CAA0C;QACnD,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;KACxB,CAAC;IACJ,CAAC,CAAC,IAAI,oBAAoB,CAAC;QACvB,MAAM;QACN,IAAI,EAAE,KAAK,YAAY,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY;QACnE,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;KACnD,CAAC,CAAC;AAET,MAAM,eAAe,GAAG,CAAC,UAAuB,EAAkB,EAAE;IAClE,MAAM,WAAW,GAAG,IAAI,cAAc,CAAC,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3E,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QAC1C,WAAW,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE;YACxC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;SACvF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;QAC5C,WAAW,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,KAAkB,EAClB,IAAmB,EACnB,WAA4C,EAC9B,EAAE;IAChB,IACE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,MAAM,CAAC;QACnC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC;QAC/B,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EACvB,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,EAAE;YAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;YACjE,OAAO;gBACL,GAAG;gBACH,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC;aACvF,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,OAA0B,EAAE,UAAuB,EAAiB,EAAE;IAC9F,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QAC3C,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACvE,OAAO;YACL,GAAG;YACH,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;SACnF,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,MAAc,EACd,WAAwB,EACxB,OAAwC,EACxC,QAAgB,EAC2B,EAAE,CAC7C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAC/B,GAAG,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;QACrD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,oBAAoB,CAAC;YACvB,MAAM;YACN,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,CAAC;YACpD,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;SACxB,CAAC;KACL,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC/B,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;YACrC,MAAM;YACN,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,YAAY,QAAQ,SAAS,UAAU,IAAI,iBAAiB,EAAE;YACvE,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;SACxB,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,WAAW,GAAG,CAClB,MAAc,EACd,WAAwB,EACxB,OAA0B,EAC8B,EAAE,CAC1D,MAAM,CAAC,GAAG,CAAC;IACT,GAAG,EAAE,GAAG,EAAE;IACR,yEAAyE;IACzE,sEAAsE;IACtE,mCAAmC;IACnC,eAAe,CAAC,WAAW,CAAC,CAAC,QAAQ,CACnC,MAAM,EACN,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC,CACvB;IACnB,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,yBAAyB,CAAC;QAC5B,MAAM;QACN,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,uBAAuB,CAAC;KAC1D,CAAC;CACL,CAAC,CAAC;AAEL,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAE,QAAgB,EAAE,EAAE,CAAC,GAAG,EAAE,CAClE,IAAI,yBAAyB,CAAC;IAC5B,MAAM;IACN,OAAO,EAAE,+CAA+C,QAAQ,EAAE;CACnE,CAAC,CAAC;AAEL,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,+BAA+B,CAAC,CAC7D,CAAC,MAAc,EAAE,WAAwB,EAA6C,EAAE,CACtF,aAAa,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,MAAM,EAAE,MAAM,CAAC,CACpF,CAAC;AAEF,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAC3D,CAAC,MAAc,EAAE,WAAwB,EAA6C,EAAE,CACtF,aAAa,CACX,MAAM,EACN,WAAW,EACX,CAAC,UAAU,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,EACnD,gBAAgB,CACjB,CACJ,CAAC;AAEF,MAAM,aAAa,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACjE,MAAM,YAAY,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;AAExD,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,kCAAkC,CAAC,CAAC,QAAQ,CAAC,EAC7E,MAAc,EACd,WAAwB,EACxB,OAA0B;IAE1B,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,iCAAiC,CAAC,CAAC,QAAQ,CAAC,EAC3E,MAAc,EACd,WAAwB,EACxB,OAA0B;IAE1B,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CACpC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAC5D,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,uFAAuF;AACvF,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE;IAClE,YAAY;IACZ,WAAW;IACX,eAAe;IACf,cAAc;CACf,CAAC,CAAC"}

package/dist/model.d.ts

@@ -0,0 +1,61 @@
+import { Schema } from "effect";
+/** CEL source accepted at the config boundary. */
+export declare const Source: Schema.brand<Schema.String, "ExpressionSource">;
+export type Source = typeof Source.Type;
+/** A CEL-spec type reference such as `string`, `Issue`, or `list<Label>`. */
+export declare const TypeReference: Schema.brand<Schema.String, "CelTypeReference">;
+export type TypeReference = typeof TypeReference.Type;
+declare const ObjectField_base: Schema.Class<ObjectField, Schema.Struct<{
+    readonly name: Schema.String;
+    readonly type: Schema.brand<Schema.String, "CelTypeReference">;
+}>, {}>;
+/** One field in a backend-neutral CEL object-type declaration. */
+export declare class ObjectField extends ObjectField_base {
+}
+declare const ObjectType_base: Schema.Class<ObjectType, Schema.Struct<{
+    readonly name: Schema.String;
+    readonly fields: Schema.$Array<typeof ObjectField>;
+}>, {}>;
+/** A CEL object type. Types are registered in declaration order. */
+export declare class ObjectType extends ObjectType_base {
+}
+declare const Variable_base: Schema.Class<Variable, Schema.Struct<{
+    readonly name: Schema.String;
+    readonly type: Schema.brand<Schema.String, "CelTypeReference">;
+}>, {}>;
+/** One root variable available to a CEL expression. */
+export declare class Variable extends Variable_base {
+}
+declare const Environment_base: Schema.Class<Environment, Schema.Struct<{
+    readonly types: Schema.$Array<typeof ObjectType>;
+    readonly variables: Schema.$Array<typeof Variable>;
+}>, {}>;
+/** The checked namespace for one expression family, expressed in CEL's type vocabulary. */
+export declare class Environment extends Environment_base {
+}
+export declare const CheckErrorCode: Schema.Literals<readonly ["check_failed", "parse_error", "type_error", "unexpected_result_type"]>;
+export type CheckErrorCode = typeof CheckErrorCode.Type;
+declare const ExpressionCheckError_base: Schema.Class<ExpressionCheckError, Schema.TaggedStruct<"ExpressionCheckError", {
+    readonly source: Schema.brand<Schema.String, "ExpressionSource">;
+    readonly code: Schema.Literals<readonly ["check_failed", "parse_error", "type_error", "unexpected_result_type"]>;
+    readonly message: Schema.NonEmptyString;
+    readonly position: Schema.Option<Schema.Int>;
+}>, import("effect/Cause").YieldableError>;
+/** Typed failure from CEL parsing, type checking, or expected-result checking. */
+export declare class ExpressionCheckError extends ExpressionCheckError_base {
+}
+declare const ExpressionEvaluationError_base: Schema.Class<ExpressionEvaluationError, Schema.TaggedStruct<"ExpressionEvaluationError", {
+    readonly source: Schema.brand<Schema.String, "ExpressionSource">;
+    readonly message: Schema.NonEmptyString;
+}>, import("effect/Cause").YieldableError>;
+/** Typed failure from evaluating an expression that previously checked. */
+export declare class ExpressionEvaluationError extends ExpressionEvaluationError_base {
+}
+/** Every failure mode this package's service can produce. */
+export declare const ExpressionError: Schema.Union<readonly [typeof ExpressionCheckError, typeof ExpressionEvaluationError]>;
+export type ExpressionError = typeof ExpressionError.Type;
+/** Values admitted by prompt interpolation. CEL ints deliberately remain bigint here. */
+export declare const Scalar: Schema.Union<readonly [Schema.String, Schema.Number, Schema.BigInt, Schema.Boolean, Schema.Null]>;
+export type Scalar = typeof Scalar.Type;
+export {};
+//# sourceMappingURL=model.d.ts.map

package/dist/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,kDAAkD;AAClD,eAAO,MAAM,MAAM,iDAEqB,CAAC;AACzC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAExC,6EAA6E;AAC7E,eAAO,MAAM,aAAa,iDAKc,CAAC;AACzC,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;;;;;AAkBtD,kEAAkE;AAClE,qBAAa,WAAY,SAAQ,gBAG/B;CAAG;;;;;AAEL,oEAAoE;AACpE,qBAAa,UAAW,SAAQ,eAG9B;CAAG;;;;;AAEL,uDAAuD;AACvD,qBAAa,QAAS,SAAQ,aAG5B;CAAG;;;;;AAEL,2FAA2F;AAC3F,qBAAa,WAAY,SAAQ,gBAG/B;CAAG;AAIL,eAAO,MAAM,cAAc,mGAKzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;;;;;;AAExD,kFAAkF;AAClF,qBAAa,oBAAqB,SAAQ,yBAOxC;CAAG;;;;;AAEL,2EAA2E;AAC3E,qBAAa,yBAA0B,SAAQ,8BAK7C;CAAG;AAEL,6DAA6D;AAC7D,eAAO,MAAM,eAAe,wFAAkE,CAAC;AAC/F,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AAE1D,yFAAyF;AACzF,eAAO,MAAM,MAAM,mGAMjB,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC"}

package/dist/model.js

@@ -0,0 +1,66 @@
+import { Schema } from "effect";
+/** CEL source accepted at the config boundary. */
+export const Source = Schema.String.check(Schema.isPattern(/\S/u, { message: "Expected a non-blank CEL expression" })).pipe(Schema.brand("ExpressionSource"));
+/** A CEL-spec type reference such as `string`, `Issue`, or `list<Label>`. */
+export const TypeReference = Schema.String.check(Schema.isPattern(/^(?:[A-Za-z_][A-Za-z0-9_.]*|list<[A-Za-z_][A-Za-z0-9_.]*>|map<[A-Za-z_][A-Za-z0-9_.]*,[A-Za-z_][A-Za-z0-9_.]*>)$/u, { message: "Expected a CEL type reference" })).pipe(Schema.brand("CelTypeReference"));
+const Identifier = Schema.String.check(Schema.isPattern(/^[A-Za-z_][A-Za-z0-9_]*$/u, { message: "Expected a CEL identifier" }));
+const ObjectTypeName = Schema.String.check(Schema.isPattern(/^[A-Za-z_][A-Za-z0-9_.]*$/u, {
+    message: "Expected a CEL object-type name",
+}));
+const uniqueNames = (message) => Schema.makeFilter((values) => new Set(values.map(({ name }) => name)).size === values.length, { message });
+/** One field in a backend-neutral CEL object-type declaration. */
+export class ObjectField extends Schema.Class("@usine/expression/ObjectField")({
+    name: Identifier,
+    type: TypeReference,
+}) {
+}
+/** A CEL object type. Types are registered in declaration order. */
+export class ObjectType extends Schema.Class("@usine/expression/ObjectType")({
+    name: ObjectTypeName,
+    fields: Schema.Array(ObjectField).check(uniqueNames("Expected unique CEL object-field names")),
+}) {
+}
+/** One root variable available to a CEL expression. */
+export class Variable extends Schema.Class("@usine/expression/Variable")({
+    name: Identifier,
+    type: TypeReference,
+}) {
+}
+/** The checked namespace for one expression family, expressed in CEL's type vocabulary. */
+export class Environment extends Schema.Class("@usine/expression/Environment")({
+    types: Schema.Array(ObjectType).check(uniqueNames("Expected unique CEL object-type names")),
+    variables: Schema.Array(Variable).check(uniqueNames("Expected unique CEL variable names")),
+}) {
+}
+const Position = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0));
+export const CheckErrorCode = Schema.Literals([
+    "check_failed",
+    "parse_error",
+    "type_error",
+    "unexpected_result_type",
+]);
+/** Typed failure from CEL parsing, type checking, or expected-result checking. */
+export class ExpressionCheckError extends Schema.TaggedError("@usine/expression/ExpressionCheckError")("ExpressionCheckError", {
+    source: Source,
+    code: CheckErrorCode,
+    message: Schema.NonEmptyString,
+    position: Schema.Option(Position),
+}) {
+}
+/** Typed failure from evaluating an expression that previously checked. */
+export class ExpressionEvaluationError extends Schema.TaggedError("@usine/expression/ExpressionEvaluationError")("ExpressionEvaluationError", {
+    source: Source,
+    message: Schema.NonEmptyString,
+}) {
+}
+/** Every failure mode this package's service can produce. */
+export const ExpressionError = Schema.Union([ExpressionCheckError, ExpressionEvaluationError]);
+/** Values admitted by prompt interpolation. CEL ints deliberately remain bigint here. */
+export const Scalar = Schema.Union([
+    Schema.String,
+    Schema.Number,
+    Schema.BigInt,
+    Schema.Boolean,
+    Schema.Null,
+]);
+//# sourceMappingURL=model.js.map

package/dist/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,kDAAkD;AAClD,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACvC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAC,CAC5E,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;AAGzC,6EAA6E;AAC7E,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAC9C,MAAM,CAAC,SAAS,CACd,mHAAmH,EACnH,EAAE,OAAO,EAAE,+BAA+B,EAAE,CAC7C,CACF,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;AAGzC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACpC,MAAM,CAAC,SAAS,CAAC,2BAA2B,EAAE,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CACxF,CAAC;AAEF,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACxC,MAAM,CAAC,SAAS,CAAC,4BAA4B,EAAE;IAC7C,OAAO,EAAE,iCAAiC;CAC3C,CAAC,CACH,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,OAAe,EAAE,EAAE,CACtC,MAAM,CAAC,UAAU,CACf,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,EAC1E,EAAE,OAAO,EAAE,CACZ,CAAC;AAEJ,kEAAkE;AAClE,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,+BAA+B,CAAC,CAAC;IAC1F,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,aAAa;CACpB,CAAC;CAAG;AAEL,oEAAoE;AACpE,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,KAAK,CAAa,8BAA8B,CAAC,CAAC;IACvF,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,wCAAwC,CAAC,CAAC;CAC/F,CAAC;CAAG;AAEL,uDAAuD;AACvD,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,4BAA4B,CAAC,CAAC;IACjF,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,aAAa;CACpB,CAAC;CAAG;AAEL,2FAA2F;AAC3F,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,+BAA+B,CAAC,CAAC;IAC1F,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,uCAAuC,CAAC,CAAC;IAC3F,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,oCAAoC,CAAC,CAAC;CAC3F,CAAC;CAAG;AAEL,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpE,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC5C,cAAc;IACd,aAAa;IACb,YAAY;IACZ,wBAAwB;CACzB,CAAC,CAAC;AAGH,kFAAkF;AAClF,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,CAC1D,wCAAwC,CACzC,CAAC,sBAAsB,EAAE;IACxB,MAAM,EAAE,MAAM;IACd,IAAI,EAAE,cAAc;IACpB,OAAO,EAAE,MAAM,CAAC,cAAc;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;CAClC,CAAC;CAAG;AAEL,2EAA2E;AAC3E,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,WAAW,CAC/D,6CAA6C,CAC9C,CAAC,2BAA2B,EAAE;IAC7B,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,6DAA6D;AAC7D,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,oBAAoB,EAAE,yBAAyB,CAAC,CAAC,CAAC;AAG/F,yFAAyF;AACzF,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;IACjC,MAAM,CAAC,MAAM;IACb,MAAM,CAAC,MAAM;IACb,MAAM,CAAC,MAAM;IACb,MAAM,CAAC,OAAO;IACd,MAAM,CAAC,IAAI;CACZ,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@usine/expression",
-  "version": "0.0.1",
+  "version": "0.1.0",
   "description": "CEL expression seam for usine: check and evaluate the selection expressions loop files use.",
   "license": "MIT",
   "repository": {
@@ -22,8 +22,14 @@
   "publishConfig": {
     "access": "public"
   },
+  "dependencies": {
+    "@marcbachmann/cel-js": "8.0.0"
+  },
   "devDependencies": {
+    "@effect/vitest": "4.0.0-rc.111",
+    "effect": "4.0.0-rc.111",
     "typescript": "7.0.2",
+    "vitest": "4.1.11",
     "@usine/tsconfig": "0.0.0"
   },
   "peerDependencies": {
@@ -33,6 +39,8 @@
     "node": ">=22"
   },
   "scripts": {
-    "build": "tsc -b"
+    "build": "tsc -b",
+    "check": "tsc -p tsconfig.check.json",
+    "test": "vitest run"
   }
 }