@usine/expression 0.1.0 → 0.3.0

package/README.md

@@ -1,9 +1,17 @@
 # @usine/expression
 
-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.
+Typed CEL checking and evaluation for [usine](https://github.com/basaltbytes/usine). Describe types and root variables with `Environment`. `ExpressionEngine` then checks boolean trigger and scalar prompt expressions, and evaluates them over plain JSON.
 
-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.
+Import `ExpressionEngine`, `Source`, `Environment`, the environment descriptors, `Scalar`, and the typed errors from `@usine/expression/expression-engine`, which replaces `@usine/expression/model`. The CEL adapter layer is in `@usine/expression/marcbachmann-cel`.
 
-`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.
+A `nullable` `ObjectField` can be `null`, and an absent key reads as `null`. Expressions compare it with `null` in either order, and paths below it stay type-checked. Unknown variables and paths fail checking, also inside macros such as `exists`.
 
-All APIs remain 0.x and can change between minor releases.
+Expressions can use CEL optional values: `.?` and `[?]` select a value that might be missing, and `optional` helpers such as `orValue` give a fallback. `item.?milestone.?title.orValue("none")` is `"none"` if `milestone` is null or absent. A null field counts as present, so `item.?milestone` holds `null`, not an empty optional.
+
+Errors: `ExpressionCheckError` (parse, type, or result type), `ExpressionEvaluationError`, and the union `ExpressionError`. JSON integers declared as CEL `int` or `uint` become `bigint` before evaluation, so GraphQL payloads keep CEL integer semantics.
+
+`relatedStringLiterals(source, memberPath)` returns string literals from the smallest subtrees that use a member path. It accepts the same syntax as the checks, including `.?`. Config validation uses it to report undeclared labels without depending on the CEL AST.
+
+`MarcbachmannCelLayer` uses `@marcbachmann/cel-js@8.0.0`. The contract uses CEL type names and usine descriptors, not library objects; an `@bufbuild/cel` adapter can provide the same tag.
+
+The 0.x APIs can change between minor releases.

package/dist/environment.d.ts

@@ -0,0 +1,44 @@
+import { Schema } from "effect";
+/**
+ * A CEL type name without spaces, such as `string`, `Label`, `list<T>`, or `map<K,V>`.
+ * Decoding checks only the syntax; an undeclared object type fails when an expression is checked.
+ */
+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;
+    /** The CEL type of a non-`null` value. */
+    readonly type: Schema.brand<Schema.String, "CelTypeReference">;
+    /** Whether the value can be `null` or absent. Reading an absent non-nullable field fails evaluation. */
+    readonly nullable: Schema.withConstructorDefault<Schema.Boolean>;
+}>, {}>;
+/** A field of an {@link ObjectType}. If the field is nullable and its key is absent, it evaluates to `null`. */
+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>;
+}>, {}>;
+/** An object type that expressions can read fields from, such as `IssuePayload`. */
+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, such as `repo` or `item`, whose value is the `context` entry with the same name. */
+export declare class Variable extends Variable_base {
+}
+declare const Environment_base: Schema.Class<Environment, Schema.Struct<{
+    /** The object types, each declared before any type whose fields reference it. */
+    readonly types: Schema.$Array<typeof ObjectType>;
+    readonly variables: Schema.$Array<typeof Variable>;
+}>, {}>;
+/**
+ * The types and root variables that expressions are checked and evaluated against. An
+ * expression that references anything else fails checking.
+ */
+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,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAC;AAExC;;;GAGG;AACH,eAAO,MAAM,aAAa,iDAKc,CAAC;AACzC,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;;;IAqBpD,0CAA0C;;IAE1C,wGAAwG;;;AAL1G,gHAAgH;AAChH,qBAAa,WAAY,SAAQ,gBAM/B;CAAG;;;;;AAEL,oFAAoF;AACpF,qBAAa,UAAW,SAAQ,eAG9B;CAAG;;;;;AAEL,wGAAwG;AACxG,qBAAa,QAAS,SAAQ,aAG5B;CAAG;;IAOH,iFAAiF;;;;AALnF;;;GAGG;AACH,qBAAa,WAAY,SAAQ,gBAI/B;CAAG"}

package/dist/environment.js

@@ -0,0 +1,43 @@
+import { Effect, Schema } from "effect";
+/**
+ * A CEL type name without spaces, such as `string`, `Label`, `list<T>`, or `map<K,V>`.
+ * Decoding checks only the syntax; an undeclared object type fails when an expression is checked.
+ */
+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 });
+/** A field of an {@link ObjectType}. If the field is nullable and its key is absent, it evaluates to `null`. */
+export class ObjectField extends Schema.Class("@usine/expression/ObjectField")({
+    name: Identifier,
+    /** The CEL type of a non-`null` value. */
+    type: TypeReference,
+    /** Whether the value can be `null` or absent. Reading an absent non-nullable field fails evaluation. */
+    nullable: Schema.Boolean.pipe(Schema.withConstructorDefault(Effect.succeed(false))),
+}) {
+}
+/** An object type that expressions can read fields from, such as `IssuePayload`. */
+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, such as `repo` or `item`, whose value is the `context` entry with the same name. */
+export class Variable extends Schema.Class("@usine/expression/Variable")({
+    name: Identifier,
+    type: TypeReference,
+}) {
+}
+/**
+ * The types and root variables that expressions are checked and evaluated against. An
+ * expression that references anything else fails checking.
+ */
+export class Environment extends Schema.Class("@usine/expression/Environment")({
+    /** The object types, each declared before any type whose fields reference it. */
+    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,EAAE,MAAM,QAAQ,CAAC;AAExC;;;GAGG;AACH,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,gHAAgH;AAChH,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,+BAA+B,CAAC,CAAC;IAC1F,IAAI,EAAE,UAAU;IAChB,0CAA0C;IAC1C,IAAI,EAAE,aAAa;IACnB,wGAAwG;IACxG,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;CACpF,CAAC;CAAG;AAEL,oFAAoF;AACpF,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,wGAAwG;AACxG,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,4BAA4B,CAAC,CAAC;IACjF,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,aAAa;CACpB,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,+BAA+B,CAAC,CAAC;IAC1F,iFAAiF;IACjF,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

@@ -1,14 +1,83 @@
-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. */
+import { Context, type Effect, type Result, Schema } from "effect";
+import type { Environment } from "./environment.ts";
+/**
+ * The text of a CEL expression, such as a Loop's `if:` condition or a `{{ }}` interpolation.
+ * Decoding rejects blank text; {@link ExpressionEngine} checks syntax and types.
+ */
+export declare const Source: Schema.brand<Schema.String, "ExpressionSource">;
+export type Source = typeof Source.Type;
+/**
+ * - `parse_error`: the source is not valid CEL syntax.
+ * - `type_error`: the source references an unknown variable or field, or combines
+ *   incompatible types.
+ * - `unexpected_result_type`: the result type is wrong for the operation, such as a non-`bool`
+ *   selection condition.
+ * - `check_failed`: the CEL implementation rejected the {@link Environment} itself, such as an
+ *   undeclared type name, or failed without a detail.
+ */
+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"]>;
+    /**
+     * A human-readable description, possibly multi-line with a marked excerpt of `source`. The
+     * wording isn't stable; branch on `code`.
+     */
+    readonly message: Schema.NonEmptyString;
+    /**
+     * The zero-based offset in `source` where the failure starts. Always `None` for
+     * `unexpected_result_type` and `check_failed`.
+     */
+    readonly position: Schema.Option<Schema.Int>;
+}>, import("effect/Cause").YieldableError>;
+/** An error from checking an expression against an {@link Environment}; checking never reads a payload. */
+export declare class ExpressionCheckError extends ExpressionCheckError_base {
+}
+declare const ExpressionEvaluationError_base: Schema.Class<ExpressionEvaluationError, Schema.TaggedStruct<"ExpressionEvaluationError", {
+    readonly source: Schema.brand<Schema.String, "ExpressionSource">;
+    /** A human-readable description, possibly multi-line with a marked excerpt of `source`. The wording isn't stable. */
+    readonly message: Schema.NonEmptyString;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * An error from evaluating a checked expression, such as a missing `context` key, a value of the
+ * wrong type, division by zero, or an out-of-range list index.
+ */
+export declare class ExpressionEvaluationError extends ExpressionEvaluationError_base {
+}
+export declare const ExpressionError: Schema.Union<readonly [typeof ExpressionCheckError, typeof ExpressionEvaluationError]>;
+export type ExpressionError = typeof ExpressionError.Type;
+/**
+ * The result of a prompt interpolation; CEL `int` is a `bigint` and `double` is a `number`. A
+ * `uint` result passes `checkScalar`, but `evaluateScalar` fails with
+ * {@link ExpressionEvaluationError}; wrap it in `string(...)` or `double(...)`.
+ */
+export declare const Scalar: Schema.Union<readonly [Schema.String, Schema.Number, Schema.BigInt, Schema.Boolean, Schema.Null]>;
+export type Scalar = typeof Scalar.Type;
 export interface ExpressionEngineService {
+    /**
+     * Returns the string literals compared with the `name` field of values under `memberPath`,
+     * following macro bindings and collection transformations. Accepts the same syntax as
+     * `checkBoolean` and `checkScalar`, including optional selection (`.?`).
+     */
+    readonly relatedStringLiterals: (source: Source, memberPath: ReadonlyArray<string>) => Effect.Effect<ReadonlyArray<string>, ExpressionCheckError>;
+    /** Checks that the expression has type `bool`. */
     readonly checkBoolean: (source: Source, environment: Environment) => Effect.Effect<void, ExpressionCheckError>;
+    /** Checks that the expression can be a prompt interpolation. */
     readonly checkScalar: (source: Source, environment: Environment) => Effect.Effect<void, ExpressionCheckError>;
+    /** Checks and evaluates a selection condition against `context`. */
     readonly evaluateBoolean: (source: Source, environment: Environment, context: Schema.JsonObject) => Effect.Effect<boolean, ExpressionError>;
+    /**
+     * Checks the condition once and evaluates it against each of `contexts`, returning one
+     * `Result` per context in order. Fails with `ExpressionCheckError` if the check fails.
+     */
+    readonly evaluateBooleanEach: (source: Source, environment: Environment, contexts: ReadonlyArray<Schema.JsonObject>) => Effect.Effect<ReadonlyArray<Result.Result<boolean, ExpressionEvaluationError>>, ExpressionCheckError>;
+    /** Checks and evaluates a prompt interpolation against `context`. */
     readonly evaluateScalar: (source: Source, environment: Environment, context: Schema.JsonObject) => Effect.Effect<Scalar, ExpressionError>;
 }
 declare const ExpressionEngine_base: Context.ServiceClass<ExpressionEngine, "@usine/expression/ExpressionEngine", ExpressionEngineService>;
+/** The CEL expression service, provided by `MarcbachmannCelLayer` from `@usine/expression/marcbachmann-cel`. */
 export declare class ExpressionEngine extends ExpressionEngine_base {
 }
-export {};
+export { TypeReference, ObjectField, ObjectType, Variable, Environment } from "./environment.ts";
 //# sourceMappingURL=expression-engine.d.ts.map

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

@@ -1 +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"}
+{"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,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD;;;GAGG;AACH,eAAO,MAAM,MAAM,iDAEqB,CAAC;AACzC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAIxC;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,mGAKzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;;;;IAQtD;;;OAGG;;IAEH;;;OAGG;;;AAdL,2GAA2G;AAC3G,qBAAa,oBAAqB,SAAQ,yBAexC;CAAG;;;IAUH,qHAAqH;;;AARvH;;;GAGG;AACH,qBAAa,yBAA0B,SAAQ,8BAM7C;CAAG;AAEL,eAAO,MAAM,eAAe,wFAAkE,CAAC;AAC/F,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AAE1D;;;;GAIG;AACH,eAAO,MAAM,MAAM,mGAMjB,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAExC,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,kDAAkD;IAClD,QAAQ,CAAC,YAAY,EAAE,CACrB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/C,gEAAgE;IAChE,QAAQ,CAAC,WAAW,EAAE,CACpB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/C,oEAAoE;IACpE,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;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,CAC5B,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,KACvC,MAAM,CAAC,MAAM,CAChB,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,EAChE,oBAAoB,CACrB,CAAC;IACF,qEAAqE;IACrE,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,gHAAgH;AAChH,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

@@ -1,4 +1,66 @@
-import { Context } from "effect";
+import { Context, Schema } from "effect";
+/**
+ * The text of a CEL expression, such as a Loop's `if:` condition or a `{{ }}` interpolation.
+ * Decoding rejects blank text; {@link ExpressionEngine} checks syntax and types.
+ */
+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));
+/**
+ * - `parse_error`: the source is not valid CEL syntax.
+ * - `type_error`: the source references an unknown variable or field, or combines
+ *   incompatible types.
+ * - `unexpected_result_type`: the result type is wrong for the operation, such as a non-`bool`
+ *   selection condition.
+ * - `check_failed`: the CEL implementation rejected the {@link Environment} itself, such as an
+ *   undeclared type name, or failed without a detail.
+ */
+export const CheckErrorCode = Schema.Literals([
+    "check_failed",
+    "parse_error",
+    "type_error",
+    "unexpected_result_type",
+]);
+/** An error from checking an expression against an {@link Environment}; checking never reads a payload. */
+export class ExpressionCheckError extends Schema.TaggedError("@usine/expression/ExpressionCheckError")("ExpressionCheckError", {
+    source: Source,
+    code: CheckErrorCode,
+    /**
+     * A human-readable description, possibly multi-line with a marked excerpt of `source`. The
+     * wording isn't stable; branch on `code`.
+     */
+    message: Schema.NonEmptyString,
+    /**
+     * The zero-based offset in `source` where the failure starts. Always `None` for
+     * `unexpected_result_type` and `check_failed`.
+     */
+    position: Schema.Option(Position),
+}) {
+}
+/**
+ * An error from evaluating a checked expression, such as a missing `context` key, a value of the
+ * wrong type, division by zero, or an out-of-range list index.
+ */
+export class ExpressionEvaluationError extends Schema.TaggedError("@usine/expression/ExpressionEvaluationError")("ExpressionEvaluationError", {
+    source: Source,
+    /** A human-readable description, possibly multi-line with a marked excerpt of `source`. The wording isn't stable. */
+    message: Schema.NonEmptyString,
+}) {
+}
+export const ExpressionError = Schema.Union([ExpressionCheckError, ExpressionEvaluationError]);
+/**
+ * The result of a prompt interpolation; CEL `int` is a `bigint` and `double` is a `number`. A
+ * `uint` result passes `checkScalar`, but `evaluateScalar` fails with
+ * {@link ExpressionEvaluationError}; wrap it in `string(...)` or `double(...)`.
+ */
+export const Scalar = Schema.Union([
+    Schema.String,
+    Schema.Number,
+    Schema.BigInt,
+    Schema.Boolean,
+    Schema.Null,
+]);
+/** The CEL expression service, provided by `MarcbachmannCelLayer` from `@usine/expression/marcbachmann-cel`. */
 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

@@ -1 +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"}
+{"version":3,"file":"expression-engine.js","sourceRoot":"","sources":["../src/expression-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAA4B,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGnE;;;GAGG;AACH,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;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC5C,cAAc;IACd,aAAa;IACb,YAAY;IACZ,wBAAwB;CACzB,CAAC,CAAC;AAGH,2GAA2G;AAC3G,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,CAC1D,wCAAwC,CACzC,CAAC,sBAAsB,EAAE;IACxB,MAAM,EAAE,MAAM;IACd,IAAI,EAAE,cAAc;IACpB;;;OAGG;IACH,OAAO,EAAE,MAAM,CAAC,cAAc;IAC9B;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;CAClC,CAAC;CAAG;AAEL;;;GAGG;AACH,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,WAAW,CAC/D,6CAA6C,CAC9C,CAAC,2BAA2B,EAAE;IAC7B,MAAM,EAAE,MAAM;IACd,qHAAqH;IACrH,OAAO,EAAE,MAAM,CAAC,cAAc;CAC/B,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,oBAAoB,EAAE,yBAAyB,CAAC,CAAC,CAAC;AAG/F;;;;GAIG;AACH,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;AAiDH,gHAAgH;AAChH,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

@@ -1,5 +1,20 @@
 import { Layer } from "effect";
 import { ExpressionEngine } from "./expression-engine.ts";
-/** Live CEL adapter backed by the exact-pinned @marcbachmann/cel-js implementation. */
+/**
+ * Provides {@link ExpressionEngine} with `@marcbachmann/cel-js` 8.0.0
+ * ([ADR 0004](../../../docs/adr/0004-loop-files-markdown-cel-frontmatter.md)).
+ *
+ * Expressions can use CEL optional values, such as `item.?milestone.?title.orValue("none")`. A
+ * nullable field that holds `null` counts as present, so `item.?milestone` holds `null` and
+ * `item.?milestone.?title` is empty.
+ *
+ * Before evaluation, converts JSON integers to `bigint` wherever the {@link Environment}
+ * declares `int`, at any depth, and sets absent nullable fields to `null`. Values inside a
+ * `map<K,V>` aren't converted, so declare integer map values as `double`.
+ *
+ * `uint` isn't supported in `context`; declare such values as `int`. An expression that reads a
+ * non-nullable `uint` value type-checks but fails evaluation. On a nullable field, comparing with a
+ * `uint` literal works but `uint` arithmetic fails. A `uint` result fails `evaluateScalar`.
+ */
 export declare const MarcbachmannCelLayer: Layer.Layer<ExpressionEngine, never, never>;
 //# sourceMappingURL=marcbachmann-cel.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"marcbachmann-cel.d.ts","sourceRoot":"","sources":["../src/marcbachmann-cel.ts"],"names":[],"mappings":"AASA,OAAO,EAAU,KAAK,EAAqC,MAAM,QAAQ,CAAC;AAE1E,OAAO,EACL,gBAAgB,EAKjB,MAAM,wBAAwB,CAAC;AAsjBhC;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,oBAAoB,6CAAqD,CAAC"}

package/dist/marcbachmann-cel.js

@@ -1,13 +1,19 @@
 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";
+import { Effect, Layer, Option, Predicate, Result, Schema } from "effect";
+import { TypeReference } from "./environment.js";
+import { ExpressionEngine, ExpressionCheckError, ExpressionEvaluationError, Scalar, } from "./expression-engine.js";
 const decodeTypeReference = Schema.decodeUnknownSync(TypeReference);
+const ENVIRONMENT_OPTIONS = {
+    unlistedVariablesAreDyn: false,
+    enableOptionalTypes: true,
+};
+/** Parser for {@link relatedStringLiterals}, with the checking options so that it accepts `.?`. */
+const parser = new CelEnvironment(ENVIRONMENT_OPTIONS);
 const acceptedScalarTypes = new Set([
     "bool",
     "double",
     "int",
-    "null_type",
+    "null",
     "string",
     "uint",
 ]);
@@ -19,7 +25,7 @@ const checkFailure = (source, error) => error === undefined
     ? new ExpressionCheckError({
         source,
         code: "check_failed",
-        message: "CEL check failed without an error detail",
+        message: "The CEL check failed and returned no error details",
         position: Option.none(),
     })
     : new ExpressionCheckError({
@@ -28,53 +34,314 @@ const checkFailure = (source, error) => error === undefined
         message: error.message,
         position: Option.fromNullishOr(error.range?.start),
     });
-const makeEnvironment = (descriptor) => {
-    const environment = new CelEnvironment({ unlistedVariablesAreDyn: false });
+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",
+]);
+/** Returns the member path that a node reads, resolved through macro bindings and `filter`/`map` receivers, or `undefined`. */
+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);
+/** Returns the string literals an operand can evaluate to: a literal, both branches of `?:`, and list elements. */
+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 [];
+    }
+};
+/** Returns the literals compared with `name` on values under `memberPath`, including through macro variables. */
+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: () => parser.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()))];
+});
+/**
+ * Creates the cel-js environment for checking or evaluating `descriptor`. Because cel-js rejects
+ * `null` in a typed field and can't index `dyn<T>`, evaluation declares nullable fields as `dyn`.
+ * Both register `T == null`; cel-js derives `!=` and the reversed operand order from it.
+ */
+const makeEnvironment = (descriptor, purpose) => {
+    const environment = new CelEnvironment(ENVIRONMENT_OPTIONS);
+    const nullableTypes = new Set();
     for (const objectType of descriptor.types) {
         environment.registerType(objectType.name, {
-            fields: Object.fromEntries(objectType.fields.map((field) => [field.name, field.type])),
+            fields: Object.fromEntries(objectType.fields.map((field) => {
+                if (!field.nullable)
+                    return [field.name, field.type];
+                nullableTypes.add(field.type);
+                return [field.name, purpose === "check" ? field.type : "dyn"];
+            })),
         });
     }
+    for (const type of nullableTypes) {
+        environment.registerOperator(`${type} == null`, (left, right) => left === right);
+    }
     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);
+/** Returns whether `value` is a JSON object, checking only the top level because the context is already `Schema.Json` (#464). */
+const isJsonObject = (value) => Predicate.isObject(value);
+/** The identity normalizer, compared by reference to skip types that need no normalization. */
+const unchanged = (value) => value;
+/** Sets `name` as an own property, including `__proto__`. */
+const setField = (target, name, value) => {
+    if (name === "__proto__") {
+        Object.defineProperty(target, name, {
+            value,
+            enumerable: true,
+            writable: true,
+            configurable: true,
+        });
     }
-    if (type.startsWith("list<") && type.endsWith(">") && Array.isArray(value)) {
-        const itemType = decodeTypeReference(type.slice(5, -1));
-        return value.map((item) => normalizeValue(item, itemType, objectTypes));
+    else {
+        target[name] = value;
     }
-    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),
-            ];
-        }));
+};
+/**
+ * Returns the context normalizer for `descriptor`, which converts `int` and `uint` numbers to
+ * `bigint` and sets absent nullable fields to `null`, recursing into `list<T>` items and declared
+ * object fields. Returns unchanged values as is, and shallow-copies changed objects.
+ */
+const contextNormalizer = (descriptor) => {
+    const objectTypes = new Map(descriptor.types.map((type) => [type.name, type]));
+    const compiled = new Map();
+    // Can't recurse forever: the Environment declares each type before any type that references it.
+    const normalizerOf = (type) => {
+        const existing = compiled.get(type);
+        if (existing !== undefined)
+            return existing;
+        const normalize = compile(type);
+        compiled.set(type, normalize);
+        return normalize;
+    };
+    const compile = (type) => {
+        if (type === "int" || type === "uint") {
+            return (value) => Predicate.isNumber(value) && Number.isInteger(value) ? BigInt(value) : value;
+        }
+        if (type.startsWith("list<") && type.endsWith(">")) {
+            const normalizeItem = normalizerOf(decodeTypeReference(type.slice(5, -1)));
+            if (normalizeItem === unchanged)
+                return unchanged;
+            return (value) => (Array.isArray(value) ? value.map(normalizeItem) : value);
+        }
+        const objectType = objectTypes.get(type);
+        if (objectType === undefined)
+            return unchanged;
+        const fields = objectType.fields.flatMap(({ name, type: fieldType }) => {
+            const normalize = normalizerOf(fieldType);
+            return normalize === unchanged ? [] : [[name, normalize]];
+        });
+        const nullable = objectType.fields.filter((field) => field.nullable).map(({ name }) => name);
+        if (fields.length === 0 && nullable.length === 0)
+            return unchanged;
+        return (value) => {
+            if (!isJsonObject(value))
+                return value;
+            const normalized = { ...value };
+            for (const [name, normalize] of fields) {
+                const fieldValue = value[name];
+                if (fieldValue !== undefined && Object.hasOwn(value, name)) {
+                    setField(normalized, name, normalize(fieldValue));
+                }
+            }
+            for (const name of nullable) {
+                if (!Object.hasOwn(value, name))
+                    setField(normalized, name, null);
+            }
+            return normalized;
+        };
+    };
+    const variables = new Map(descriptor.variables.map((variable) => [variable.name, normalizerOf(variable.type)]));
+    return (context) => {
+        const normalized = { ...context };
+        for (const [name, normalize] of variables) {
+            const value = context[name];
+            if (value !== undefined && Object.hasOwn(context, name)) {
+                setField(normalized, name, normalize(value));
+            }
+        }
+        return normalized;
+    };
+};
+/** The maximum number of cached check results, and of parse results, per environment. */
+const KEPT_EXPRESSIONS = 256;
+/** Stores `value` under `key` and returns it, evicting the oldest entry if the map is full. */
+const keep = (kept, key, value) => {
+    if (kept.size >= KEPT_EXPRESSIONS) {
+        const oldest = kept.keys().next();
+        if (oldest.done !== true)
+            kept.delete(oldest.value);
     }
+    kept.set(key, value);
     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),
-        ];
-    }));
+/**
+ * Creates a cache of cel-js environments, check results, and parse results, keyed by descriptor
+ * in a `WeakMap` (#464). Doesn't cache a build or parse that throws, and keeps the
+ * {@link KEPT_EXPRESSIONS} newest entries per cache. A cached parse result retains the last
+ * evaluated context until the next evaluation.
+ */
+const celRuntimes = () => {
+    const runtimes = new WeakMap();
+    const runtimeOf = (descriptor) => {
+        const existing = runtimes.get(descriptor);
+        if (existing !== undefined)
+            return existing;
+        const runtime = {
+            normalize: contextNormalizer(descriptor),
+            check: Option.none(),
+            evaluate: Option.none(),
+            checked: new Map(),
+            parsed: new Map(),
+        };
+        runtimes.set(descriptor, runtime);
+        return runtime;
+    };
+    const environmentOf = (runtime, descriptor, purpose) => Option.getOrElse(runtime[purpose], () => {
+        const environment = makeEnvironment(descriptor, purpose);
+        runtime[purpose] = Option.some(environment);
+        return environment;
+    });
+    return {
+        check: (descriptor, source) => {
+            const runtime = runtimeOf(descriptor);
+            return (runtime.checked.get(source) ??
+                keep(runtime.checked, source, environmentOf(runtime, descriptor, "check").check(source)));
+        },
+        evaluate: (descriptor, source, context) => {
+            const runtime = runtimeOf(descriptor);
+            const parsed = runtime.parsed.get(source) ??
+                keep(runtime.parsed, source, environmentOf(runtime, descriptor, "evaluate").parse(source));
+            // SAFETY: CEL returns values of the context's types, and callers decode the result type.
+            return parsed(runtime.normalize(context));
+        },
+    };
 };
-const checkExpected = (source, environment, accepts, expected) => Effect.gen(function* () {
+const checkExpected = (runtimes, source, environment, accepts, expected) => Effect.gen(function* () {
     const result = yield* Effect.try({
-        try: () => makeEnvironment(environment).check(source),
+        try: () => runtimes.check(environment, source),
         catch: (cause) => new ExpressionCheckError({
             source,
             code: "check_failed",
@@ -94,12 +361,8 @@ const checkExpected = (source, environment, accepts, expected) => Effect.gen(fun
         });
     }
 });
-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)),
+const evaluated = (runtimes, source, environment, context) => Result.try({
+    try: () => runtimes.evaluate(environment, source, context),
     catch: (cause) => new ExpressionEvaluationError({
         source,
         message: messageFromCause(cause, "CEL evaluation failed"),
@@ -109,25 +372,55 @@ const unexpectedResult = (source, expected) => () => new ExpressionEvaluationErr
     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 isBooleanType = (resultType) => resultType === "bool";
 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,
-});
+const makeExpressionEngine = () => {
+    const runtimes = celRuntimes();
+    const checkBoolean = Effect.fn("ExpressionEngine.checkBoolean")((source, environment) => checkExpected(runtimes, source, environment, isBooleanType, "bool"));
+    const checkScalar = Effect.fn("ExpressionEngine.checkScalar")((source, environment) => checkExpected(runtimes, source, environment, (resultType) => acceptedScalarTypes.has(resultType), "a scalar value"));
+    /** Evaluates an already checked condition on `context`. Fails if the result isn't a boolean. */
+    const booleanOn = (source, environment, context) => Result.flatMap(evaluated(runtimes, source, environment, context), (value) => Predicate.isBoolean(value)
+        ? Result.succeed(value)
+        : Result.fail(unexpectedResult(source, "a boolean")()));
+    const evaluateBoolean = Effect.fn("ExpressionEngine.evaluateBoolean")(function* (source, environment, context) {
+        yield* checkBoolean(source, environment);
+        return yield* Effect.fromResult(booleanOn(source, environment, context));
+    });
+    // One span and one check for all contexts; per-context Effects cost several times more (#464).
+    const evaluateBooleanEach = Effect.fn("ExpressionEngine.evaluateBooleanEach")(function* (source, environment, contexts) {
+        yield* Effect.annotateCurrentSpan({ contexts: contexts.length });
+        yield* checkBoolean(source, environment);
+        return contexts.map((context) => booleanOn(source, environment, context));
+    });
+    const evaluateScalar = Effect.fn("ExpressionEngine.evaluateScalar")(function* (source, environment, context) {
+        yield* checkScalar(source, environment);
+        const value = yield* Effect.fromResult(evaluated(runtimes, source, environment, context));
+        return yield* decodeScalar(value).pipe(Effect.mapError(unexpectedResult(source, "a scalar value")));
+    });
+    return ExpressionEngine.of({
+        relatedStringLiterals,
+        checkBoolean,
+        checkScalar,
+        evaluateBoolean,
+        evaluateBooleanEach,
+        evaluateScalar,
+    });
+};
+/**
+ * Provides {@link ExpressionEngine} with `@marcbachmann/cel-js` 8.0.0
+ * ([ADR 0004](../../../docs/adr/0004-loop-files-markdown-cel-frontmatter.md)).
+ *
+ * Expressions can use CEL optional values, such as `item.?milestone.?title.orValue("none")`. A
+ * nullable field that holds `null` counts as present, so `item.?milestone` holds `null` and
+ * `item.?milestone.?title` is empty.
+ *
+ * Before evaluation, converts JSON integers to `bigint` wherever the {@link Environment}
+ * declares `int`, at any depth, and sets absent nullable fields to `null`. Values inside a
+ * `map<K,V>` aren't converted, so declare integer map values as `double`.
+ *
+ * `uint` isn't supported in `context`; declare such values as `int`. An expression that reads a
+ * non-nullable `uint` value type-checks but fails evaluation. On a nullable field, comparing with a
+ * `uint` literal works but `uint` arithmetic fails. A `uint` result fails `evaluateScalar`.
+ */
+export const MarcbachmannCelLayer = Layer.sync(ExpressionEngine)(makeExpressionEngine);
 //# sourceMappingURL=marcbachmann-cel.js.map

package/dist/marcbachmann-cel.js.map

@@ -1 +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"}
+{"version":3,"file":"marcbachmann-cel.js","sourceRoot":"","sources":["../src/marcbachmann-cel.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,WAAW,IAAI,cAAc,EAE7B,UAAU,IAAI,aAAa,EAE3B,SAAS,IAAI,YAAY,GAE1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1E,OAAO,EAAoB,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,yBAAyB,EACzB,MAAM,GAEP,MAAM,wBAAwB,CAAC;AAEhC,MAAM,mBAAmB,GAAG,MAAM,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;AAEpE,MAAM,mBAAmB,GAAG;IAC1B,uBAAuB,EAAE,KAAK;IAC9B,mBAAmB,EAAE,IAAI;CACY,CAAC;AAExC,mGAAmG;AACnG,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,mBAAmB,CAAC,CAAC;AAiBvD,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IACvD,MAAM;IACN,QAAQ;IACR,KAAK;IACL,MAAM;IACN,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,oDAAoD;QAC7D,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,+HAA+H;AAC/H,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,mHAAmH;AACnH,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,iHAAiH;AACjH,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,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG;QACnC,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;AAIH;;;;GAIG;AACH,MAAM,eAAe,GAAG,CAAC,UAAuB,EAAE,OAA2B,EAAkB,EAAE;IAC/F,MAAM,WAAW,GAAG,IAAI,cAAc,CAAC,mBAAmB,CAAC,CAAC;IAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC/C,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QAC1C,WAAW,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE;YACxC,MAAM,EAAE,MAAM,CAAC,WAAW,CACxB,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ;oBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrD,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC9B,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAChE,CAAC,CAAC,CACH;SACF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,WAAW,CAAC,gBAAgB,CAC1B,GAAG,IAAI,UAAU,EACjB,CAAC,IAAkB,EAAE,KAAW,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CACpD,CAAC;IACJ,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,iIAAiI;AACjI,MAAM,YAAY,GAAG,CAAC,KAAkB,EAA8B,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAInG,+FAA+F;AAC/F,MAAM,SAAS,GAAc,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC;AAM9C,6DAA6D;AAC7D,MAAM,QAAQ,GAAG,CAAC,MAAwB,EAAE,IAAY,EAAE,KAAmB,EAAE,EAAE;IAC/E,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE;YAClC,KAAK;YACL,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,YAAY,EAAE,IAAI;SACnB,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACvB,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,iBAAiB,GAAG,CACxB,UAAuB,EAC0B,EAAE;IACnD,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,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;IACrD,gGAAgG;IAChG,MAAM,YAAY,GAAG,CAAC,IAAmB,EAAa,EAAE;QACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAa,EAAE;QACjD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACtC,OAAO,CAAC,KAAK,EAAE,EAAE,CACf,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACjF,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,aAAa,GAAG,YAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3E,IAAI,aAAa,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAClD,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE;YACrE,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;YAC1C,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAU,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7F,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACnE,OAAO,CAAC,KAAK,EAAE,EAAE;YACf,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACvC,MAAM,UAAU,GAAqB,EAAE,GAAG,KAAK,EAAE,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/B,IAAI,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC3D,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;oBAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACpE,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CACrF,CAAC;IACF,OAAO,CAAC,OAAO,EAAE,EAAE;QACjB,MAAM,UAAU,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;gBACxD,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,yFAAyF;AACzF,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAE7B,+FAA+F;AAC/F,MAAM,IAAI,GAAG,CAAI,IAAoB,EAAE,GAAW,EAAE,KAAQ,EAAK,EAAE;IACjE,IAAI,IAAI,CAAC,IAAI,IAAI,gBAAgB,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;YAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAqBF;;;;;GAKG;AACH,MAAM,WAAW,GAAG,GAAgB,EAAE;IACpC,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAkC,CAAC;IAC/D,MAAM,SAAS,GAAG,CAAC,UAAuB,EAAqB,EAAE;QAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,MAAM,OAAO,GAAsB;YACjC,SAAS,EAAE,iBAAiB,CAAC,UAAU,CAAC;YACxC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE;YACpB,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;YACvB,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,MAAM,EAAE,IAAI,GAAG,EAAE;SAClB,CAAC;QACF,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAClC,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,CACpB,OAA0B,EAC1B,UAAuB,EACvB,OAA2B,EACX,EAAE,CAClB,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE;QACtC,MAAM,WAAW,GAAG,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACzD,OAAO,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5C,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC,CAAC;IACL,OAAO;QACL,KAAK,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE;YAC5B,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;YACtC,OAAO,CACL,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC3B,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CACzF,CAAC;QACJ,CAAC;QACD,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YACxC,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;YACtC,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC1B,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7F,yFAAyF;YACzF,OAAO,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAiB,CAAC;QAC5D,CAAC;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,QAAqB,EACrB,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,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC;QAC9C,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,SAAS,GAAG,CAChB,QAAqB,EACrB,MAAc,EACd,WAAwB,EACxB,OAA0B,EAC8B,EAAE,CAC1D,MAAM,CAAC,GAAG,CAAC;IACT,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC;IAC1D,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,aAAa,GAAG,CAAC,UAAkB,EAAW,EAAE,CAAC,UAAU,KAAK,MAAM,CAAC;AAC7E,MAAM,YAAY,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;AAExD,MAAM,oBAAoB,GAAG,GAAG,EAAE;IAChC,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAC;IAE/B,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,+BAA+B,CAAC,CAC7D,CAAC,MAAc,EAAE,WAAwB,EAA6C,EAAE,CACtF,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,CAAC,CACtE,CAAC;IAEF,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAC3D,CAAC,MAAc,EAAE,WAAwB,EAA6C,EAAE,CACtF,aAAa,CACX,QAAQ,EACR,MAAM,EACN,WAAW,EACX,CAAC,UAAU,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,EACnD,gBAAgB,CACjB,CACJ,CAAC;IAEF,gGAAgG;IAChG,MAAM,SAAS,GAAG,CAChB,MAAc,EACd,WAAwB,EACxB,OAA0B,EACyB,EAAE,CACrD,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAC1E,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC;QACxB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC,CACzD,CAAC;IAEJ,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,kCAAkC,CAAC,CAAC,QAAQ,CAAC,EAC7E,MAAc,EACd,WAAwB,EACxB,OAA0B;QAE1B,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,+FAA+F;IAC/F,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,sCAAsC,CAAC,CAAC,QAAQ,CAAC,EACrF,MAAc,EACd,WAAwB,EACxB,QAA0C;QAE1C,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,iCAAiC,CAAC,CAAC,QAAQ,CAAC,EAC3E,MAAc,EACd,WAAwB,EACxB,OAA0B;QAE1B,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1F,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CACpC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAC5D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,gBAAgB,CAAC,EAAE,CAAC;QACzB,qBAAqB;QACrB,YAAY;QACZ,WAAW;QACX,eAAe;QACf,mBAAmB;QACnB,cAAc;KACf,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,oBAAoB,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@usine/expression",
-  "version": "0.1.0",
+  "version": "0.3.0",
   "description": "CEL expression seam for usine: check and evaluate the selection expressions loop files use.",
   "license": "MIT",
   "repository": {
@@ -9,14 +9,19 @@
     "directory": "packages/expression"
   },
   "files": [
-    "dist"
+    "dist",
+    "!dist/tsconfig.tsbuildinfo"
   ],
   "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": {

package/dist/index.d.ts

@@ -1,9 +0,0 @@
-/**
- * @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 * 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 +0,0 @@
-{"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,9 +0,0 @@
-/**
- * @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 * from "./expression-engine.js";
-export * from "./marcbachmann-cel.js";
-export * from "./model.js";
-//# 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;;;;GAIG;AACH,cAAc,wBAAwB,CAAC;AACvC,cAAc,uBAAuB,CAAC;AACtC,cAAc,YAAY,CAAC"}

package/dist/model.d.ts

@@ -1,61 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,66 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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"}