@usine/expression 0.0.1 → 0.2.0

package/README.md

@@ -1,5 +1,17 @@
 # @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.
+
+`relatedStringLiterals(source, memberPath)` reports string literals from the smallest expression subtrees that use a member path. Config validation uses it to diagnose undeclared GitHub labels without coupling `@usine/config` to the CEL adapter's AST.
+
+`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.
+
+Import `ExpressionEngine`, `Source`, `Environment`, the environment descriptors,
+`Scalar`, and the typed expression errors from `@usine/expression/expression-engine`.
+This entry point replaces `@usine/expression/model`; existing imports from that
+subpath must use `/expression-engine`. Import the CEL adapter layer separately
+from `@usine/expression/marcbachmann-cel`.

package/dist/environment.d.ts

@@ -0,0 +1,34 @@
+import { Schema } from "effect";
+/** A type name in CEL syntax 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 named field and its CEL type within an object descriptor. */
+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. Declare a type before the types that reference it. */
+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">;
+}>, {}>;
+/** A root variable available to CEL expressions in an Environment. */
+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 types and root variables an expression is checked and evaluated against. */
+export declare class Environment extends Environment_base {
+}
+export {};
+//# sourceMappingURL=environment.d.ts.map

package/dist/environment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"environment.d.ts","sourceRoot":"","sources":["../src/environment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,6EAA6E;AAC7E,eAAO,MAAM,aAAa,iDAKc,CAAC;AACzC,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;;;;;AAkBtD,oEAAoE;AACpE,qBAAa,WAAY,SAAQ,gBAG/B;CAAG;;;;;AAEL,4EAA4E;AAC5E,qBAAa,UAAW,SAAQ,eAG9B;CAAG;;;;;AAEL,sEAAsE;AACtE,qBAAa,QAAS,SAAQ,aAG5B;CAAG;;;;;AAEL,mFAAmF;AACnF,qBAAa,WAAY,SAAQ,gBAG/B;CAAG"}

package/dist/environment.js

@@ -0,0 +1,33 @@
+import { Schema } from "effect";
+/** A type name in CEL syntax 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 named field and its CEL type within an object descriptor. */
+export class ObjectField extends Schema.Class("@usine/expression/ObjectField")({
+    name: Identifier,
+    type: TypeReference,
+}) {
+}
+/** A CEL object type. Declare a type before the types that reference it. */
+export class ObjectType extends Schema.Class("@usine/expression/ObjectType")({
+    name: ObjectTypeName,
+    fields: Schema.Array(ObjectField).check(uniqueNames("Expected unique CEL object-field names")),
+}) {
+}
+/** A root variable available to CEL expressions in an Environment. */
+export class Variable extends Schema.Class("@usine/expression/Variable")({
+    name: Identifier,
+    type: TypeReference,
+}) {
+}
+/** The types and root variables an expression is checked and evaluated against. */
+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")),
+}) {
+}
+//# sourceMappingURL=environment.js.map

package/dist/environment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"environment.js","sourceRoot":"","sources":["../src/environment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,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,oEAAoE;AACpE,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,+BAA+B,CAAC,CAAC;IAC1F,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,aAAa;CACpB,CAAC;CAAG;AAEL,4EAA4E;AAC5E,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,sEAAsE;AACtE,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,4BAA4B,CAAC,CAAC;IACjF,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,aAAa;CACpB,CAAC;CAAG;AAEL,mFAAmF;AACnF,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"}

package/dist/expression-engine.d.ts

@@ -0,0 +1,53 @@
+import { Context, type Effect, Schema } from "effect";
+import type { Environment } from "./environment.ts";
+/** Non-blank CEL source text. */
+export declare const Source: Schema.brand<Schema.String, "ExpressionSource">;
+export type Source = typeof Source.Type;
+/** Whether checking failed during parsing, type resolution, or result-type validation. */
+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>;
+/** The expression failed to parse, to type-check, or to produce the expected result type. */
+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>;
+/** Evaluation failed on an expression that had already checked. */
+export declare class ExpressionEvaluationError extends ExpressionEvaluationError_base {
+}
+/** The failures callers can receive when checking or evaluating a CEL expression. */
+export declare const ExpressionError: Schema.Union<readonly [typeof ExpressionCheckError, typeof ExpressionEvaluationError]>;
+export type ExpressionError = typeof ExpressionError.Type;
+/** Values prompt interpolation can render. CEL ints stay bigint. */
+export declare const Scalar: Schema.Union<readonly [Schema.String, Schema.Number, Schema.BigInt, Schema.Boolean, Schema.Null]>;
+export type Scalar = typeof Scalar.Type;
+/** Checks and evaluates the expressions used to select Items and fill Loop task templates. */
+export interface ExpressionEngineService {
+    /**
+     * The string literals the expression compares against the `name` field of
+     * values reached from `memberPath`, following macro bindings and collection
+     * transformations. Config validation uses it to spot undeclared labels.
+     */
+    readonly relatedStringLiterals: (source: Source, memberPath: ReadonlyArray<string>) => Effect.Effect<ReadonlyArray<string>, ExpressionCheckError>;
+    /** Checks whether the expression can select Items, without evaluating a payload. */
+    readonly checkBoolean: (source: Source, environment: Environment) => Effect.Effect<void, ExpressionCheckError>;
+    /** Checks whether the expression can produce one value for prompt interpolation. */
+    readonly checkScalar: (source: Source, environment: Environment) => Effect.Effect<void, ExpressionCheckError>;
+    /** Checks and evaluates a selection condition; `context` supplies values for the environment's root variables. */
+    readonly evaluateBoolean: (source: Source, environment: Environment, context: Schema.JsonObject) => Effect.Effect<boolean, ExpressionError>;
+    /** Checks and evaluates a prompt interpolation; `context` supplies values for the environment's root variables. */
+    readonly evaluateScalar: (source: Source, environment: Environment, context: Schema.JsonObject) => Effect.Effect<Scalar, ExpressionError>;
+}
+declare const ExpressionEngine_base: Context.ServiceClass<ExpressionEngine, "@usine/expression/ExpressionEngine", ExpressionEngineService>;
+/** Evaluates Loop conditions and prompt expressions against their declared payload context. */
+export declare class ExpressionEngine extends ExpressionEngine_base {
+}
+export { TypeReference, ObjectField, ObjectType, Variable, Environment } from "./environment.ts";
+//# 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,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,iCAAiC;AACjC,eAAO,MAAM,MAAM,iDAEqB,CAAC;AACzC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAIxC,0FAA0F;AAC1F,eAAO,MAAM,cAAc,mGAKzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;;;;;;AAExD,6FAA6F;AAC7F,qBAAa,oBAAqB,SAAQ,yBAOxC;CAAG;;;;;AAEL,mEAAmE;AACnE,qBAAa,yBAA0B,SAAQ,8BAK7C;CAAG;AAEL,qFAAqF;AACrF,eAAO,MAAM,eAAe,wFAAkE,CAAC;AAC/F,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AAE1D,oEAAoE;AACpE,eAAO,MAAM,MAAM,mGAMjB,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAExC,8FAA8F;AAC9F,MAAM,WAAW,uBAAuB;IACtC;;;;OAIG;IACH,QAAQ,CAAC,qBAAqB,EAAE,CAC9B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,KAC9B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC;IAChE,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,CACrB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/C,oFAAoF;IACpF,QAAQ,CAAC,WAAW,EAAE,CACpB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/C,kHAAkH;IAClH,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,mHAAmH;IACnH,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,+FAA+F;AAC/F,qBAAa,gBAAiB,SAAQ,qBAErC;CAAG;AAEJ,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/expression-engine.js

@@ -0,0 +1,40 @@
+import { Context, Schema } from "effect";
+/** Non-blank CEL source text. */
+export const Source = Schema.String.check(Schema.isPattern(/\S/u, { message: "Expected a non-blank CEL expression" })).pipe(Schema.brand("ExpressionSource"));
+const Position = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0));
+/** Whether checking failed during parsing, type resolution, or result-type validation. */
+export const CheckErrorCode = Schema.Literals([
+    "check_failed",
+    "parse_error",
+    "type_error",
+    "unexpected_result_type",
+]);
+/** The expression failed to parse, to type-check, or to produce the expected result type. */
+export class ExpressionCheckError extends Schema.TaggedError("@usine/expression/ExpressionCheckError")("ExpressionCheckError", {
+    source: Source,
+    code: CheckErrorCode,
+    message: Schema.NonEmptyString,
+    position: Schema.Option(Position),
+}) {
+}
+/** Evaluation failed on an expression that had already checked. */
+export class ExpressionEvaluationError extends Schema.TaggedError("@usine/expression/ExpressionEvaluationError")("ExpressionEvaluationError", {
+    source: Source,
+    message: Schema.NonEmptyString,
+}) {
+}
+/** The failures callers can receive when checking or evaluating a CEL expression. */
+export const ExpressionError = Schema.Union([ExpressionCheckError, ExpressionEvaluationError]);
+/** Values prompt interpolation can render. CEL ints stay bigint. */
+export const Scalar = Schema.Union([
+    Schema.String,
+    Schema.Number,
+    Schema.BigInt,
+    Schema.Boolean,
+    Schema.Null,
+]);
+/** Evaluates Loop conditions and prompt expressions against their declared payload context. */
+export class ExpressionEngine extends Context.Service()("@usine/expression/ExpressionEngine") {
+}
+export { TypeReference, ObjectField, ObjectType, Variable, Environment } from "./environment.js";
+//# 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,EAAe,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGtD,iCAAiC;AACjC,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,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpE,0FAA0F;AAC1F,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC5C,cAAc;IACd,aAAa;IACb,YAAY;IACZ,wBAAwB;CACzB,CAAC,CAAC;AAGH,6FAA6F;AAC7F,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,mEAAmE;AACnE,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,qFAAqF;AACrF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,oBAAoB,EAAE,yBAAyB,CAAC,CAAC,CAAC;AAG/F,oEAAoE;AACpE,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;AAsCH,+FAA+F;AAC/F,MAAM,OAAO,gBAAiB,SAAQ,OAAO,CAAC,OAAO,EAA6C,CAChG,oCAAoC,CACrC;CAAG;AAEJ,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/marcbachmann-cel.d.ts

@@ -0,0 +1,5 @@
+import { Layer } from "effect";
+import { ExpressionEngine } from "./expression-engine.ts";
+/** The ExpressionEngine implementation on @marcbachmann/cel-js. */
+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":"AAOA,OAAO,EAAU,KAAK,EAAkB,MAAM,QAAQ,CAAC;AAEvD,OAAO,EACL,gBAAgB,EAKjB,MAAM,wBAAwB,CAAC;AA6XhC,mEAAmE;AACnE,eAAO,MAAM,oBAAoB,6CAM/B,CAAC"}

package/dist/marcbachmann-cel.js

@@ -0,0 +1,279 @@
+import { Environment as CelEnvironment, ParseError as CelParseError, TypeError as CelTypeError, parse, } from "@marcbachmann/cel-js";
+import { Effect, Layer, Option, Schema } from "effect";
+import { TypeReference } from "./environment.js";
+import { ExpressionEngine, ExpressionCheckError, ExpressionEvaluationError, Scalar, } from "./expression-engine.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 childNodes = (node) => {
+    switch (node.op) {
+        case "value":
+        case "id":
+            return [];
+        case ".":
+        case ".?":
+            return [node.args[0]];
+        case "!_":
+        case "-_":
+            return [node.args];
+        case "call":
+            return node.args[1];
+        case "rcall":
+            return [node.args[1], ...node.args[2]];
+        case "list":
+            return node.args;
+        case "map":
+            return node.args.flatMap(([key, value]) => [key, value]);
+        default:
+            return node.args;
+    }
+};
+const pathOf = (node) => {
+    if (node.op === "id")
+        return [node.args];
+    if (node.op !== "." && node.op !== ".?")
+        return undefined;
+    const parent = pathOf(node.args[0]);
+    return parent === undefined ? undefined : [...parent, node.args[1]];
+};
+const decodeStringLiteral = Schema.decodeUnknownOption(Schema.String);
+const MACROS_WITH_BINDINGS = new Set([
+    "all",
+    "exists",
+    "exists_one",
+    "filter",
+    "map",
+]);
+/** The member path a node reads from, followed back through macro bindings and collection transformations. */
+const lineagePathOf = (node, bindings) => {
+    const path = pathOf(node);
+    if (path !== undefined) {
+        const boundPath = bindings.get(path[0]);
+        return boundPath === undefined ? path : [...boundPath, ...path.slice(1)];
+    }
+    if (node.op !== "rcall")
+        return undefined;
+    const [macro, receiver, args] = node.args;
+    const receiverPath = lineagePathOf(receiver, bindings);
+    if (receiverPath === undefined)
+        return undefined;
+    if (macro === "filter")
+        return receiverPath;
+    if (macro !== "map")
+        return undefined;
+    const [binding, ...body] = args;
+    const projection = body[body.length - 1];
+    if (binding?.op !== "id" || projection === undefined)
+        return undefined;
+    return lineagePathOf(projection, new Map(bindings).set(binding.args, receiverPath));
+};
+const startsWithPath = (path, prefix) => prefix.every((part, index) => path[index] === part);
+/**
+ * The string literals an operand can evaluate to. Only result positions count:
+ * a conditional contributes its branches and not its test, a list its
+ * elements. `item.state == "OPEN" ? "ready" : "review"` yields the two labels
+ * and not the state.
+ */
+const resultStringLiterals = (node) => {
+    switch (node.op) {
+        case "value":
+            return Option.match(decodeStringLiteral(node.args), {
+                onNone: () => [],
+                onSome: (literal) => [literal],
+            });
+        case "?:": {
+            const [, whenTrue, whenFalse] = node.args;
+            return [...resultStringLiterals(whenTrue), ...resultStringLiterals(whenFalse)];
+        }
+        case "list":
+            return node.args.flatMap(resultStringLiterals);
+        default:
+            return [];
+    }
+};
+const isRelatedName = (node, memberPath, bindings) => {
+    const path = lineagePathOf(node, bindings);
+    return path !== undefined && startsWithPath(path, memberPath) && path[path.length - 1] === "name";
+};
+const comparisonLiterals = (node, memberPath, bindings) => {
+    switch (node.op) {
+        case "!=":
+        case "==":
+        case "in": {
+            const [left, right] = node.args;
+            return [
+                ...(isRelatedName(left, memberPath, bindings) ? resultStringLiterals(right) : []),
+                ...(isRelatedName(right, memberPath, bindings) ? resultStringLiterals(left) : []),
+            ];
+        }
+        default:
+            return [];
+    }
+};
+/** Collects the literals compared against `name` on members bound by macros over the watched collection. */
+const scanRelatedLiterals = (node, memberPath, bindings) => {
+    const related = comparisonLiterals(node, memberPath, bindings);
+    if (node.op !== "rcall" || !MACROS_WITH_BINDINGS.has(node.args[0])) {
+        return [
+            ...related,
+            ...childNodes(node).flatMap((child) => scanRelatedLiterals(child, memberPath, bindings)),
+        ];
+    }
+    const [, receiver, args] = node.args;
+    const [binding, ...body] = args;
+    const receiverPath = lineagePathOf(receiver, bindings);
+    if (binding?.op !== "id" || receiverPath === undefined) {
+        return [
+            ...related,
+            ...childNodes(node).flatMap((child) => scanRelatedLiterals(child, memberPath, bindings)),
+        ];
+    }
+    const bodyBindings = new Map(bindings).set(binding.args, receiverPath);
+    return [
+        ...related,
+        ...scanRelatedLiterals(receiver, memberPath, bindings),
+        ...body.flatMap((child) => scanRelatedLiterals(child, memberPath, bodyBindings)),
+    ];
+};
+const relatedStringLiterals = Effect.fn("ExpressionEngine.relatedStringLiterals")(function* (source, memberPath) {
+    if (memberPath.length === 0)
+        return [];
+    const ast = yield* Effect.try({
+        try: () => parse(source).ast,
+        catch: (cause) => cause instanceof CelParseError
+            ? checkFailure(source, cause)
+            : new ExpressionCheckError({
+                source,
+                code: "check_failed",
+                message: messageFromCause(cause, "CEL analysis failed"),
+                position: Option.none(),
+            }),
+    });
+    return [...new Set(scanRelatedLiterals(ast, memberPath, new Map()))];
+});
+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 evaluates to the same value vocabulary the context is built
+    // from, and every caller decodes the expected result type before use.
+    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")));
+});
+/** The ExpressionEngine implementation on @marcbachmann/cel-js. */
+export const MarcbachmannCelLayer = Layer.succeed(ExpressionEngine, {
+    relatedStringLiterals,
+    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,EAEL,WAAW,IAAI,cAAc,EAC7B,UAAU,IAAI,aAAa,EAC3B,SAAS,IAAI,YAAY,EACzB,KAAK,GACN,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACvD,OAAO,EAAqC,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,yBAAyB,EACzB,MAAM,GAEP,MAAM,wBAAwB,CAAC;AAEhC,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,UAAU,GAAG,CAAC,IAAa,EAA0B,EAAE;IAC3D,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,OAAO,CAAC;QACb,KAAK,IAAI;YACP,OAAO,EAAE,CAAC;QACZ,KAAK,GAAG,CAAC;QACT,KAAK,IAAI;YACP,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACP,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,OAAO;YACV,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QAC3D;YACE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAIF,MAAM,MAAM,GAAG,CAAC,IAAa,EAA0B,EAAE;IACvD,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEtE,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IACxD,KAAK;IACL,QAAQ;IACR,YAAY;IACZ,QAAQ;IACR,KAAK;CACN,CAAC,CAAC;AAIH,8GAA8G;AAC9G,MAAM,aAAa,GAAG,CACpB,IAAa,EACb,QAAuB,EACY,EAAE;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAE1C,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;IAC1C,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACvD,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,IAAI,KAAK,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC;IAC5C,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAEtC,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,IAAI,OAAO,EAAE,EAAE,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACvE,OAAO,aAAa,CAAC,UAAU,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;AACtF,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAA2B,EAAE,MAA6B,EAAW,EAAE,CAC7F,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AAEtD;;;;;GAKG;AACH,MAAM,oBAAoB,GAAG,CAAC,IAAa,EAAyB,EAAE;IACpE,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAClD,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;gBAChB,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC;aAC/B,CAAC,CAAC;QACL,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YAC1C,OAAO,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,EAAE,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QACjD;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAa,EACb,UAAiC,EACjC,QAAuB,EACd,EAAE;IACX,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,OAAO,IAAI,KAAK,SAAS,IAAI,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC;AACpG,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAa,EACb,UAAiC,EACjC,QAAuB,EACA,EAAE;IACzB,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YAChC,OAAO;gBACL,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjF,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aAClF,CAAC;QACJ,CAAC;QACD;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,4GAA4G;AAC5G,MAAM,mBAAmB,GAAG,CAC1B,IAAa,EACb,UAAiC,EACjC,QAAuB,EACA,EAAE;IACzB,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC/D,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,OAAO;YACL,GAAG,OAAO;YACV,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;SACzF,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;IACrC,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAChC,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACvD,IAAI,OAAO,EAAE,EAAE,KAAK,IAAI,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QACvD,OAAO;YACL,GAAG,OAAO;YACV,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;SACzF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACvE,OAAO;QACL,GAAG,OAAO;QACV,GAAG,mBAAmB,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC;QACtD,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;KACjF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,MAAM,CAAC,EAAE,CAAC,wCAAwC,CAAC,CAAC,QAAQ,CAAC,EACzF,MAAc,EACd,UAAiC;IAEjC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAC5B,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG;QAC5B,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,KAAK,YAAY,aAAa;YAC5B,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;YAC7B,CAAC,CAAC,IAAI,oBAAoB,CAAC;gBACvB,MAAM;gBACN,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC;gBACvD,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;aACxB,CAAC;KACT,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,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,0EAA0E;IAC1E,sEAAsE;IACtE,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,mEAAmE;AACnE,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE;IAClE,qBAAqB;IACrB,YAAY;IACZ,WAAW;IACX,eAAe;IACf,cAAc;CACf,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@usine/expression",
-  "version": "0.0.1",
+  "version": "0.2.0",
   "description": "CEL expression seam for usine: check and evaluate the selection expressions loop files use.",
   "license": "MIT",
   "repository": {
@@ -14,16 +14,26 @@
   "type": "module",
   "sideEffects": false,
   "exports": {
-    ".": {
-      "types": "./dist/index.d.ts",
-      "default": "./dist/index.js"
+    "./expression-engine": {
+      "types": "./dist/expression-engine.d.ts",
+      "default": "./dist/expression-engine.js"
+    },
+    "./marcbachmann-cel": {
+      "types": "./dist/marcbachmann-cel.d.ts",
+      "default": "./dist/marcbachmann-cel.js"
     }
   },
   "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 +43,8 @@
     "node": ">=22"
   },
   "scripts": {
-    "build": "tsc -b"
+    "build": "tsc -b",
+    "check": "tsc -p tsconfig.check.json",
+    "test": "vitest run"
   }
 }

package/dist/index.d.ts

@@ -1,8 +0,0 @@
-/**
- * @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.
- */
-export {};
-//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC"}

package/dist/index.js

@@ -1,8 +0,0 @@
-/**
- * @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.
- */
-export {};
-//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC"}