@manifesto-ai/core 0.3.0 → 1.0.0

package/dist/schema/expr.d.ts

@@ -0,0 +1,260 @@
+import { z } from "zod";
+/**
+ * ExprNode - Pure expression language for ComputedSpec and FlowSpec
+ * All expressions are deterministic and side-effect free
+ */
+export type ExprNode = LitExpr | GetExpr | EqExpr | NeqExpr | GtExpr | GteExpr | LtExpr | LteExpr | AndExpr | OrExpr | NotExpr | IfExpr | AddExpr | SubExpr | MulExpr | DivExpr | ModExpr | ConcatExpr | SubstringExpr | LenExpr | AtExpr | FirstExpr | LastExpr | SliceExpr | IncludesExpr | FilterExpr | MapExpr | FindExpr | EveryExpr | SomeExpr | KeysExpr | ValuesExpr | EntriesExpr | MergeExpr | TypeofExpr | IsNullExpr | CoalesceExpr;
+export declare const LitExpr: z.ZodObject<{
+    kind: z.ZodLiteral<"lit">;
+    value: z.ZodUnknown;
+}, z.core.$strip>;
+export type LitExpr = z.infer<typeof LitExpr>;
+export declare const GetExpr: z.ZodObject<{
+    kind: z.ZodLiteral<"get">;
+    path: z.ZodString;
+}, z.core.$strip>;
+export type GetExpr = z.infer<typeof GetExpr>;
+export declare const EqExpr: z.ZodType<{
+    kind: "eq";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type EqExpr = z.infer<typeof EqExpr>;
+export declare const NeqExpr: z.ZodType<{
+    kind: "neq";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type NeqExpr = z.infer<typeof NeqExpr>;
+export declare const GtExpr: z.ZodType<{
+    kind: "gt";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type GtExpr = z.infer<typeof GtExpr>;
+export declare const GteExpr: z.ZodType<{
+    kind: "gte";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type GteExpr = z.infer<typeof GteExpr>;
+export declare const LtExpr: z.ZodType<{
+    kind: "lt";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type LtExpr = z.infer<typeof LtExpr>;
+export declare const LteExpr: z.ZodType<{
+    kind: "lte";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type LteExpr = z.infer<typeof LteExpr>;
+export declare const AndExpr: z.ZodType<{
+    kind: "and";
+    args: ExprNode[];
+}>;
+export type AndExpr = z.infer<typeof AndExpr>;
+export declare const OrExpr: z.ZodType<{
+    kind: "or";
+    args: ExprNode[];
+}>;
+export type OrExpr = z.infer<typeof OrExpr>;
+export declare const NotExpr: z.ZodType<{
+    kind: "not";
+    arg: ExprNode;
+}>;
+export type NotExpr = z.infer<typeof NotExpr>;
+export declare const IfExpr: z.ZodType<{
+    kind: "if";
+    cond: ExprNode;
+    then: ExprNode;
+    else: ExprNode;
+}>;
+export type IfExpr = z.infer<typeof IfExpr>;
+export declare const AddExpr: z.ZodType<{
+    kind: "add";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type AddExpr = z.infer<typeof AddExpr>;
+export declare const SubExpr: z.ZodType<{
+    kind: "sub";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type SubExpr = z.infer<typeof SubExpr>;
+export declare const MulExpr: z.ZodType<{
+    kind: "mul";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type MulExpr = z.infer<typeof MulExpr>;
+export declare const DivExpr: z.ZodType<{
+    kind: "div";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type DivExpr = z.infer<typeof DivExpr>;
+export declare const ModExpr: z.ZodType<{
+    kind: "mod";
+    left: ExprNode;
+    right: ExprNode;
+}>;
+export type ModExpr = z.infer<typeof ModExpr>;
+export declare const ConcatExpr: z.ZodType<{
+    kind: "concat";
+    args: ExprNode[];
+}>;
+export type ConcatExpr = z.infer<typeof ConcatExpr>;
+export declare const SubstringExpr: z.ZodType<{
+    kind: "substring";
+    str: ExprNode;
+    start: ExprNode;
+    end?: ExprNode;
+}>;
+export type SubstringExpr = z.infer<typeof SubstringExpr>;
+export declare const LenExpr: z.ZodType<{
+    kind: "len";
+    arg: ExprNode;
+}>;
+export type LenExpr = z.infer<typeof LenExpr>;
+export declare const AtExpr: z.ZodType<{
+    kind: "at";
+    array: ExprNode;
+    index: ExprNode;
+}>;
+export type AtExpr = z.infer<typeof AtExpr>;
+export declare const FirstExpr: z.ZodType<{
+    kind: "first";
+    array: ExprNode;
+}>;
+export type FirstExpr = z.infer<typeof FirstExpr>;
+export declare const LastExpr: z.ZodType<{
+    kind: "last";
+    array: ExprNode;
+}>;
+export type LastExpr = z.infer<typeof LastExpr>;
+export declare const SliceExpr: z.ZodType<{
+    kind: "slice";
+    array: ExprNode;
+    start: ExprNode;
+    end?: ExprNode;
+}>;
+export type SliceExpr = z.infer<typeof SliceExpr>;
+export declare const IncludesExpr: z.ZodType<{
+    kind: "includes";
+    array: ExprNode;
+    item: ExprNode;
+}>;
+export type IncludesExpr = z.infer<typeof IncludesExpr>;
+export declare const FilterExpr: z.ZodType<{
+    kind: "filter";
+    array: ExprNode;
+    predicate: ExprNode;
+}>;
+export type FilterExpr = z.infer<typeof FilterExpr>;
+export declare const MapExpr: z.ZodType<{
+    kind: "map";
+    array: ExprNode;
+    mapper: ExprNode;
+}>;
+export type MapExpr = z.infer<typeof MapExpr>;
+export declare const FindExpr: z.ZodType<{
+    kind: "find";
+    array: ExprNode;
+    predicate: ExprNode;
+}>;
+export type FindExpr = z.infer<typeof FindExpr>;
+export declare const EveryExpr: z.ZodType<{
+    kind: "every";
+    array: ExprNode;
+    predicate: ExprNode;
+}>;
+export type EveryExpr = z.infer<typeof EveryExpr>;
+export declare const SomeExpr: z.ZodType<{
+    kind: "some";
+    array: ExprNode;
+    predicate: ExprNode;
+}>;
+export type SomeExpr = z.infer<typeof SomeExpr>;
+export declare const KeysExpr: z.ZodType<{
+    kind: "keys";
+    obj: ExprNode;
+}>;
+export type KeysExpr = z.infer<typeof KeysExpr>;
+export declare const ValuesExpr: z.ZodType<{
+    kind: "values";
+    obj: ExprNode;
+}>;
+export type ValuesExpr = z.infer<typeof ValuesExpr>;
+export declare const EntriesExpr: z.ZodType<{
+    kind: "entries";
+    obj: ExprNode;
+}>;
+export type EntriesExpr = z.infer<typeof EntriesExpr>;
+export declare const MergeExpr: z.ZodType<{
+    kind: "merge";
+    objects: ExprNode[];
+}>;
+export type MergeExpr = z.infer<typeof MergeExpr>;
+export declare const TypeofExpr: z.ZodType<{
+    kind: "typeof";
+    arg: ExprNode;
+}>;
+export type TypeofExpr = z.infer<typeof TypeofExpr>;
+export declare const IsNullExpr: z.ZodType<{
+    kind: "isNull";
+    arg: ExprNode;
+}>;
+export type IsNullExpr = z.infer<typeof IsNullExpr>;
+export declare const CoalesceExpr: z.ZodType<{
+    kind: "coalesce";
+    args: ExprNode[];
+}>;
+export type CoalesceExpr = z.infer<typeof CoalesceExpr>;
+export declare const ExprNodeSchema: z.ZodType<ExprNode>;
+/**
+ * Expression kinds enum for pattern matching
+ */
+export declare const ExprKind: z.ZodEnum<{
+    map: "map";
+    merge: "merge";
+    keys: "keys";
+    values: "values";
+    concat: "concat";
+    slice: "slice";
+    every: "every";
+    some: "some";
+    filter: "filter";
+    find: "find";
+    entries: "entries";
+    includes: "includes";
+    at: "at";
+    substring: "substring";
+    sub: "sub";
+    lit: "lit";
+    get: "get";
+    eq: "eq";
+    neq: "neq";
+    gt: "gt";
+    gte: "gte";
+    lt: "lt";
+    lte: "lte";
+    and: "and";
+    or: "or";
+    not: "not";
+    if: "if";
+    add: "add";
+    mul: "mul";
+    div: "div";
+    mod: "mod";
+    len: "len";
+    first: "first";
+    last: "last";
+    typeof: "typeof";
+    isNull: "isNull";
+    coalesce: "coalesce";
+}>;
+export type ExprKind = z.infer<typeof ExprKind>;
+//# sourceMappingURL=expr.d.ts.map

package/dist/schema/expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr.d.ts","sourceRoot":"","sources":["../../src/schema/expr.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB;;;GAGG;AAGH,MAAM,MAAM,QAAQ,GAEhB,OAAO,GACP,OAAO,GAEP,MAAM,GACN,OAAO,GACP,MAAM,GACN,OAAO,GACP,MAAM,GACN,OAAO,GAEP,OAAO,GACP,MAAM,GACN,OAAO,GAEP,MAAM,GAEN,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GAEP,UAAU,GACV,aAAa,GAEb,OAAO,GACP,MAAM,GACN,SAAS,GACT,QAAQ,GACR,SAAS,GACT,YAAY,GACZ,UAAU,GACV,OAAO,GACP,QAAQ,GACR,SAAS,GACT,QAAQ,GAER,QAAQ,GACR,UAAU,GACV,WAAW,GACX,SAAS,GAET,UAAU,GACV,UAAU,GACV,YAAY,CAAC;AAIjB,eAAO,MAAM,OAAO;;;iBAGlB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,OAAO;;;iBAGlB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAI9C,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI5E,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI9E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI5E,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI9E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI5E,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI9E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAI9C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,CAG/D,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,CAG7D,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAG5D,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAI9C,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAK3F,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAI5C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI9E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI9E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI9E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI9E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI9E,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAI9C,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,CAGrE,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,eAAO,MAAM,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,GAAG,CAAC,EAAE,QAAQ,CAAA;CAAE,CAKzG,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAI1D,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAG5D,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAI7E,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAGlE,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAGhE,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,GAAG,CAAC,EAAE,QAAQ,CAAA;CAAE,CAKnG,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD,eAAO,MAAM,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAIxF,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,CAIzF,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,CAIhF,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,CAIrF,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,CAIvF,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,CAIrF,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAIhD,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAG9D,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAGlE,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAGpE,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,QAAQ,EAAE,CAAA;CAAE,CAGtE,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAIlD,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAGlE,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAGlE,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,eAAO,MAAM,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,CAGzE,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAIxD,eAAO,MAAM,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CA+CtB,CAAC;AAE1B;;GAEG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUnB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC"}

package/dist/schema/expr.js

@@ -0,0 +1,247 @@
+import { z } from "zod";
+import { SemanticPath } from "./common.js";
+// ============ Literals ============
+export const LitExpr = z.object({
+    kind: z.literal("lit"),
+    value: z.unknown(),
+});
+export const GetExpr = z.object({
+    kind: z.literal("get"),
+    path: SemanticPath,
+});
+// ============ Comparison ============
+export const EqExpr = z.object({
+    kind: z.literal("eq"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const NeqExpr = z.object({
+    kind: z.literal("neq"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const GtExpr = z.object({
+    kind: z.literal("gt"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const GteExpr = z.object({
+    kind: z.literal("gte"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const LtExpr = z.object({
+    kind: z.literal("lt"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const LteExpr = z.object({
+    kind: z.literal("lte"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+// ============ Logical ============
+export const AndExpr = z.object({
+    kind: z.literal("and"),
+    args: z.array(z.lazy(() => ExprNodeSchema)),
+});
+export const OrExpr = z.object({
+    kind: z.literal("or"),
+    args: z.array(z.lazy(() => ExprNodeSchema)),
+});
+export const NotExpr = z.object({
+    kind: z.literal("not"),
+    arg: z.lazy(() => ExprNodeSchema),
+});
+// ============ Conditional ============
+export const IfExpr = z.object({
+    kind: z.literal("if"),
+    cond: z.lazy(() => ExprNodeSchema),
+    then: z.lazy(() => ExprNodeSchema),
+    else: z.lazy(() => ExprNodeSchema),
+});
+// ============ Arithmetic ============
+export const AddExpr = z.object({
+    kind: z.literal("add"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const SubExpr = z.object({
+    kind: z.literal("sub"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const MulExpr = z.object({
+    kind: z.literal("mul"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const DivExpr = z.object({
+    kind: z.literal("div"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+export const ModExpr = z.object({
+    kind: z.literal("mod"),
+    left: z.lazy(() => ExprNodeSchema),
+    right: z.lazy(() => ExprNodeSchema),
+});
+// ============ String ============
+export const ConcatExpr = z.object({
+    kind: z.literal("concat"),
+    args: z.array(z.lazy(() => ExprNodeSchema)),
+});
+export const SubstringExpr = z.object({
+    kind: z.literal("substring"),
+    str: z.lazy(() => ExprNodeSchema),
+    start: z.lazy(() => ExprNodeSchema),
+    end: z.lazy(() => ExprNodeSchema).optional(),
+});
+// ============ Collection ============
+export const LenExpr = z.object({
+    kind: z.literal("len"),
+    arg: z.lazy(() => ExprNodeSchema),
+});
+export const AtExpr = z.object({
+    kind: z.literal("at"),
+    array: z.lazy(() => ExprNodeSchema),
+    index: z.lazy(() => ExprNodeSchema),
+});
+export const FirstExpr = z.object({
+    kind: z.literal("first"),
+    array: z.lazy(() => ExprNodeSchema),
+});
+export const LastExpr = z.object({
+    kind: z.literal("last"),
+    array: z.lazy(() => ExprNodeSchema),
+});
+export const SliceExpr = z.object({
+    kind: z.literal("slice"),
+    array: z.lazy(() => ExprNodeSchema),
+    start: z.lazy(() => ExprNodeSchema),
+    end: z.lazy(() => ExprNodeSchema).optional(),
+});
+export const IncludesExpr = z.object({
+    kind: z.literal("includes"),
+    array: z.lazy(() => ExprNodeSchema),
+    item: z.lazy(() => ExprNodeSchema),
+});
+export const FilterExpr = z.object({
+    kind: z.literal("filter"),
+    array: z.lazy(() => ExprNodeSchema),
+    predicate: z.lazy(() => ExprNodeSchema),
+});
+export const MapExpr = z.object({
+    kind: z.literal("map"),
+    array: z.lazy(() => ExprNodeSchema),
+    mapper: z.lazy(() => ExprNodeSchema),
+});
+export const FindExpr = z.object({
+    kind: z.literal("find"),
+    array: z.lazy(() => ExprNodeSchema),
+    predicate: z.lazy(() => ExprNodeSchema),
+});
+export const EveryExpr = z.object({
+    kind: z.literal("every"),
+    array: z.lazy(() => ExprNodeSchema),
+    predicate: z.lazy(() => ExprNodeSchema),
+});
+export const SomeExpr = z.object({
+    kind: z.literal("some"),
+    array: z.lazy(() => ExprNodeSchema),
+    predicate: z.lazy(() => ExprNodeSchema),
+});
+// ============ Object ============
+export const KeysExpr = z.object({
+    kind: z.literal("keys"),
+    obj: z.lazy(() => ExprNodeSchema),
+});
+export const ValuesExpr = z.object({
+    kind: z.literal("values"),
+    obj: z.lazy(() => ExprNodeSchema),
+});
+export const EntriesExpr = z.object({
+    kind: z.literal("entries"),
+    obj: z.lazy(() => ExprNodeSchema),
+});
+export const MergeExpr = z.object({
+    kind: z.literal("merge"),
+    objects: z.array(z.lazy(() => ExprNodeSchema)),
+});
+// ============ Type ============
+export const TypeofExpr = z.object({
+    kind: z.literal("typeof"),
+    arg: z.lazy(() => ExprNodeSchema),
+});
+export const IsNullExpr = z.object({
+    kind: z.literal("isNull"),
+    arg: z.lazy(() => ExprNodeSchema),
+});
+export const CoalesceExpr = z.object({
+    kind: z.literal("coalesce"),
+    args: z.array(z.lazy(() => ExprNodeSchema)),
+});
+// ============ Combined Schema ============
+export const ExprNodeSchema = z.union([
+    // Literals
+    LitExpr,
+    GetExpr,
+    // Comparison
+    EqExpr,
+    NeqExpr,
+    GtExpr,
+    GteExpr,
+    LtExpr,
+    LteExpr,
+    // Logical
+    AndExpr,
+    OrExpr,
+    NotExpr,
+    // Conditional
+    IfExpr,
+    // Arithmetic
+    AddExpr,
+    SubExpr,
+    MulExpr,
+    DivExpr,
+    ModExpr,
+    // String
+    ConcatExpr,
+    SubstringExpr,
+    // Collection
+    LenExpr,
+    AtExpr,
+    FirstExpr,
+    LastExpr,
+    SliceExpr,
+    IncludesExpr,
+    FilterExpr,
+    MapExpr,
+    FindExpr,
+    EveryExpr,
+    SomeExpr,
+    // Object
+    KeysExpr,
+    ValuesExpr,
+    EntriesExpr,
+    MergeExpr,
+    // Type
+    TypeofExpr,
+    IsNullExpr,
+    CoalesceExpr,
+]);
+/**
+ * Expression kinds enum for pattern matching
+ */
+export const ExprKind = z.enum([
+    "lit", "get",
+    "eq", "neq", "gt", "gte", "lt", "lte",
+    "and", "or", "not",
+    "if",
+    "add", "sub", "mul", "div", "mod",
+    "concat", "substring",
+    "len", "at", "first", "last", "slice", "includes", "filter", "map", "find", "every", "some",
+    "keys", "values", "entries", "merge",
+    "typeof", "isNull", "coalesce",
+]);
+//# sourceMappingURL=expr.js.map

package/dist/schema/expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr.js","sourceRoot":"","sources":["../../src/schema/expr.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAwD3C,qCAAqC;AAErC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;CACnB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,YAAY;CACnB,CAAC,CAAC;AAGH,uCAAuC;AAEvC,MAAM,CAAC,MAAM,MAAM,GAA+D,CAAC,CAAC,MAAM,CAAC;IACzF,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC3F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,MAAM,GAA+D,CAAC,CAAC,MAAM,CAAC;IACzF,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC3F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,MAAM,GAA+D,CAAC,CAAC,MAAM,CAAC;IACzF,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC3F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,oCAAoC;AAEpC,MAAM,CAAC,MAAM,OAAO,GAAiD,CAAC,CAAC,MAAM,CAAC;IAC5E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC;CAC5C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,MAAM,GAAgD,CAAC,CAAC,MAAM,CAAC;IAC1E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC;CAC5C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAA8C,CAAC,CAAC,MAAM,CAAC;IACzE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CAClC,CAAC,CAAC;AAGH,wCAAwC;AAExC,MAAM,CAAC,MAAM,MAAM,GAA8E,CAAC,CAAC,MAAM,CAAC;IACxG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACnC,CAAC,CAAC;AAGH,uCAAuC;AAEvC,MAAM,CAAC,MAAM,OAAO,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC3F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC3F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC3F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC3F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC3F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,mCAAmC;AAEnC,MAAM,CAAC,MAAM,UAAU,GAAoD,CAAC,CAAC,MAAM,CAAC;IAClF,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC;CAC5C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAqF,CAAC,CAAC,MAAM,CAAC;IACtH,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC5B,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACjC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE;CAC7C,CAAC,CAAC;AAGH,uCAAuC;AAEvC,MAAM,CAAC,MAAM,OAAO,GAA8C,CAAC,CAAC,MAAM,CAAC;IACzE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CAClC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,MAAM,GAAgE,CAAC,CAAC,MAAM,CAAC;IAC1F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACrB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,SAAS,GAAkD,CAAC,CAAC,MAAM,CAAC;IAC/E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACxB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,QAAQ,GAAiD,CAAC,CAAC,MAAM,CAAC;IAC7E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,SAAS,GAAmF,CAAC,CAAC,MAAM,CAAC;IAChH,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACxB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE;CAC7C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,YAAY,GAAqE,CAAC,CAAC,MAAM,CAAC;IACrG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACnC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,UAAU,GAAwE,CAAC,CAAC,MAAM,CAAC;IACtG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACxC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,OAAO,GAAkE,CAAC,CAAC,MAAM,CAAC;IAC7F,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACrC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,QAAQ,GAAsE,CAAC,CAAC,MAAM,CAAC;IAClG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACxC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,SAAS,GAAuE,CAAC,CAAC,MAAM,CAAC;IACpG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACxB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACxC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,QAAQ,GAAsE,CAAC,CAAC,MAAM,CAAC;IAClG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IACnC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CACxC,CAAC,CAAC;AAGH,mCAAmC;AAEnC,MAAM,CAAC,MAAM,QAAQ,GAA+C,CAAC,CAAC,MAAM,CAAC;IAC3E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CAClC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,UAAU,GAAiD,CAAC,CAAC,MAAM,CAAC;IAC/E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CAClC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,WAAW,GAAkD,CAAC,CAAC,MAAM,CAAC;IACjF,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CAClC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,SAAS,GAAsD,CAAC,CAAC,MAAM,CAAC;IACnF,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACxB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC;CAC/C,CAAC,CAAC;AAGH,iCAAiC;AAEjC,MAAM,CAAC,MAAM,UAAU,GAAiD,CAAC,CAAC,MAAM,CAAC;IAC/E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CAClC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,UAAU,GAAiD,CAAC,CAAC,MAAM,CAAC;IAC/E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;CAClC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,YAAY,GAAsD,CAAC,CAAC,MAAM,CAAC;IACtF,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC;CAC5C,CAAC,CAAC;AAGH,4CAA4C;AAE5C,MAAM,CAAC,MAAM,cAAc,GAAwB,CAAC,CAAC,KAAK,CAAC;IACzD,WAAW;IACX,OAAO;IACP,OAAO;IACP,aAAa;IACb,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,UAAU;IACV,OAAO;IACP,MAAM;IACN,OAAO;IACP,cAAc;IACd,MAAM;IACN,aAAa;IACb,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,SAAS;IACT,UAAU;IACV,aAAa;IACb,aAAa;IACb,OAAO;IACP,MAAM;IACN,SAAS;IACT,QAAQ;IACR,SAAS;IACT,YAAY;IACZ,UAAU;IACV,OAAO;IACP,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,SAAS;IACT,OAAO;IACP,UAAU;IACV,UAAU;IACV,YAAY;CACb,CAAwB,CAAC;AAE1B;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC;IAC7B,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK;IACrC,KAAK,EAAE,IAAI,EAAE,KAAK;IAClB,IAAI;IACJ,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACjC,QAAQ,EAAE,WAAW;IACrB,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IAC3F,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO;IACpC,QAAQ,EAAE,QAAQ,EAAE,UAAU;CAC/B,CAAC,CAAC"}

package/dist/schema/field.d.ts

@@ -0,0 +1,48 @@
+import { z } from "zod";
+/**
+ * Field type definitions
+ */
+export declare const PrimitiveFieldType: z.ZodEnum<{
+    string: "string";
+    number: "number";
+    boolean: "boolean";
+    object: "object";
+    null: "null";
+    array: "array";
+}>;
+export type PrimitiveFieldType = z.infer<typeof PrimitiveFieldType>;
+export declare const EnumFieldType: z.ZodObject<{
+    enum: z.ZodReadonly<z.ZodArray<z.ZodUnknown>>;
+}, z.core.$strip>;
+export type EnumFieldType = z.infer<typeof EnumFieldType>;
+export declare const FieldType: z.ZodUnion<readonly [z.ZodEnum<{
+    string: "string";
+    number: "number";
+    boolean: "boolean";
+    object: "object";
+    null: "null";
+    array: "array";
+}>, z.ZodObject<{
+    enum: z.ZodReadonly<z.ZodArray<z.ZodUnknown>>;
+}, z.core.$strip>]>;
+export type FieldType = z.infer<typeof FieldType>;
+/**
+ * Field specification (recursive for nested objects/arrays)
+ */
+export type FieldSpec = {
+    type: FieldType;
+    required: boolean;
+    default?: unknown;
+    description?: string;
+    fields?: Record<string, FieldSpec>;
+    items?: FieldSpec;
+};
+export declare const FieldSpec: z.ZodType<FieldSpec>;
+/**
+ * State specification - defines the shape of domain state
+ */
+export declare const StateSpec: z.ZodObject<{
+    fields: z.ZodRecord<z.ZodString, z.ZodType<FieldSpec, unknown, z.core.$ZodTypeInternals<FieldSpec, unknown>>>;
+}, z.core.$strip>;
+export type StateSpec = z.infer<typeof StateSpec>;
+//# sourceMappingURL=field.d.ts.map

package/dist/schema/field.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field.d.ts","sourceRoot":"","sources":["../../src/schema/field.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,eAAO,MAAM,kBAAkB;;;;;;;EAO7B,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEpE,eAAO,MAAM,aAAa;;iBAExB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D,eAAO,MAAM,SAAS;;;;;;;;;mBAA+C,CAAC;AACtE,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC,KAAK,CAAC,EAAE,SAAS,CAAC;CACnB,CAAC;AAEF,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAS1C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS;;iBAEpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC"}

package/dist/schema/field.js

@@ -0,0 +1,31 @@
+import { z } from "zod";
+/**
+ * Field type definitions
+ */
+export const PrimitiveFieldType = z.enum([
+    "string",
+    "number",
+    "boolean",
+    "null",
+    "object",
+    "array",
+]);
+export const EnumFieldType = z.object({
+    enum: z.array(z.unknown()).readonly(),
+});
+export const FieldType = z.union([PrimitiveFieldType, EnumFieldType]);
+export const FieldSpec = z.lazy(() => z.object({
+    type: FieldType,
+    required: z.boolean(),
+    default: z.unknown().optional(),
+    description: z.string().optional(),
+    fields: z.record(z.string(), FieldSpec).optional(),
+    items: FieldSpec.optional(),
+}));
+/**
+ * State specification - defines the shape of domain state
+ */
+export const StateSpec = z.object({
+    fields: z.record(z.string(), FieldSpec),
+});
+//# sourceMappingURL=field.js.map

package/dist/schema/field.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field.js","sourceRoot":"","sources":["../../src/schema/field.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IACvC,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,MAAM;IACN,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,kBAAkB,EAAE,aAAa,CAAC,CAAC,CAAC;AAetE,MAAM,CAAC,MAAM,SAAS,GAAyB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CACzD,CAAC,CAAC,MAAM,CAAC;IACP,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,QAAQ,EAAE;IAClD,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE;CAC5B,CAAC,CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC;CACxC,CAAC,CAAC"}