@zenstackhq/runtime 3.0.0-alpha.3 → 3.0.0-alpha.30

package/dist/plugins/policy/plugin.zmodel

@@ -0,0 +1,33 @@
+/**
+ * Defines an access policy that allows a set of operations when the given condition is true.
+ *
+ * @param operation: comma-separated list of "create", "read", "update", "delete". Use "all" to denote all operations.
+ * @param condition: a boolean expression that controls if the operation should be allowed.
+ */
+attribute @@allow(_ operation: String @@@completionHint(["'create'", "'read'", "'update'", "'delete'", "'all'"]), _ condition: Boolean)
+
+/**
+ * Defines an access policy that allows the annotated field to be read or updated.
+ * You can pass a third argument as `true` to make it override the model-level policies.
+ *
+ * @param operation: comma-separated list of "create", "read", "update", "delete". Use "all" to denote all operations.
+ * @param condition: a boolean expression that controls if the operation should be allowed.
+ * @param override: a boolean value that controls if the field-level policy should override the model-level policy.
+ */
+attribute @allow(_ operation: String @@@completionHint(["'create'", "'read'", "'update'", "'delete'", "'all'"]), _ condition: Boolean, _ override: Boolean?)
+
+/**
+ * Defines an access policy that denies a set of operations when the given condition is true.
+ *
+ * @param operation: comma-separated list of "create", "read", "update", "delete". Use "all" to denote all operations.
+ * @param condition: a boolean expression that controls if the operation should be denied.
+ */
+attribute @@deny(_ operation: String @@@completionHint(["'create'", "'read'", "'update'", "'delete'", "'all'"]), _ condition: Boolean)
+
+/**
+ * Defines an access policy that denies the annotated field to be read or updated.
+ *
+ * @param operation: comma-separated list of "create", "read", "update", "delete". Use "all" to denote all operations.
+ * @param condition: a boolean expression that controls if the operation should be denied.
+ */
+attribute @deny(_ operation: String @@@completionHint(["'create'", "'read'", "'update'", "'delete'", "'all'"]), _ condition: Boolean)

package/dist/schema.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/schema/index.ts","../src/schema/expression.ts"],"sourcesContent":["export type * from '@zenstackhq/sdk/schema';\nexport type { OperandExpression } from 'kysely';\nexport * from './expression';\n","import type {\n    ArrayExpression,\n    BinaryExpression,\n    BinaryOperator,\n    CallExpression,\n    Expression,\n    FieldExpression,\n    LiteralExpression,\n    MemberExpression,\n    NullExpression,\n    ThisExpression,\n    UnaryExpression,\n    UnaryOperator,\n} from '.';\n\nexport const ExpressionUtils = {\n    literal: (value: string | number | boolean): LiteralExpression => {\n        return {\n            kind: 'literal',\n            value,\n        };\n    },\n\n    array: (items: Expression[]): ArrayExpression => {\n        return {\n            kind: 'array',\n            items,\n        };\n    },\n\n    call: (functionName: string, args?: Expression[]): CallExpression => {\n        return {\n            kind: 'call',\n            function: functionName,\n            args,\n        };\n    },\n\n    binary: (\n        left: Expression,\n        op: BinaryOperator,\n        right: Expression\n    ): BinaryExpression => {\n        return {\n            kind: 'binary',\n            op,\n            left,\n            right,\n        };\n    },\n\n    unary: (op: UnaryOperator, operand: Expression): UnaryExpression => {\n        return {\n            kind: 'unary',\n            op,\n            operand,\n        };\n    },\n\n    field: (field: string): FieldExpression => {\n        return {\n            kind: 'field',\n            field,\n        };\n    },\n\n    member: (receiver: Expression, members: string[]): MemberExpression => {\n        return {\n            kind: 'member',\n            receiver: receiver,\n            members,\n        };\n    },\n\n    _this: (): ThisExpression => {\n        return {\n            kind: 'this',\n        };\n    },\n\n    _null: (): NullExpression => {\n        return {\n            kind: 'null',\n        };\n    },\n\n    and: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce(\n            (acc, exp) => ExpressionUtils.binary(acc, '&&', exp),\n            expr\n        );\n    },\n\n    or: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce(\n            (acc, exp) => ExpressionUtils.binary(acc, '||', exp),\n            expr\n        );\n    },\n\n    is: (value: unknown, kind: Expression['kind']): value is Expression => {\n        return (\n            !!value &&\n            typeof value === 'object' &&\n            'kind' in value &&\n            value.kind === kind\n        );\n    },\n\n    isLiteral: (value: unknown): value is LiteralExpression =>\n        ExpressionUtils.is(value, 'literal'),\n\n    isArray: (value: unknown): value is ArrayExpression =>\n        ExpressionUtils.is(value, 'array'),\n\n    isCall: (value: unknown): value is CallExpression =>\n        ExpressionUtils.is(value, 'call'),\n\n    isNull: (value: unknown): value is NullExpression =>\n        ExpressionUtils.is(value, 'null'),\n\n    isThis: (value: unknown): value is ThisExpression =>\n        ExpressionUtils.is(value, 'this'),\n\n    isUnary: (value: unknown): value is UnaryExpression =>\n        ExpressionUtils.is(value, 'unary'),\n\n    isBinary: (value: unknown): value is BinaryExpression =>\n        ExpressionUtils.is(value, 'binary'),\n\n    isField: (value: unknown): value is FieldExpression =>\n        ExpressionUtils.is(value, 'field'),\n\n    isMember: (value: unknown): value is MemberExpression =>\n        ExpressionUtils.is(value, 'member'),\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAEA;;;;;;;ACaO,IAAMA,kBAAkB;EAC3BC,SAAS,wBAACC,UAAAA;AACN,WAAO;MACHC,MAAM;MACND;IACJ;EACJ,GALS;EAOTE,OAAO,wBAACC,UAAAA;AACJ,WAAO;MACHF,MAAM;MACNE;IACJ;EACJ,GALO;EAOPC,MAAM,wBAACC,cAAsBC,SAAAA;AACzB,WAAO;MACHL,MAAM;MACNM,UAAUF;MACVC;IACJ;EACJ,GANM;EAQNE,QAAQ,wBACJC,MACAC,IACAC,UAAAA;AAEA,WAAO;MACHV,MAAM;MACNS;MACAD;MACAE;IACJ;EACJ,GAXQ;EAaRC,OAAO,wBAACF,IAAmBG,YAAAA;AACvB,WAAO;MACHZ,MAAM;MACNS;MACAG;IACJ;EACJ,GANO;EAQPC,OAAO,wBAACA,UAAAA;AACJ,WAAO;MACHb,MAAM;MACNa;IACJ;EACJ,GALO;EAOPC,QAAQ,wBAACC,UAAsBC,YAAAA;AAC3B,WAAO;MACHhB,MAAM;MACNe;MACAC;IACJ;EACJ,GANQ;EAQRC,OAAO,6BAAA;AACH,WAAO;MACHjB,MAAM;IACV;EACJ,GAJO;EAMPkB,OAAO,6BAAA;AACH,WAAO;MACHlB,MAAM;IACV;EACJ,GAJO;EAMPmB,KAAK,wBAACC,SAAqBC,gBAAAA;AACvB,WAAOA,YAAYC,OACf,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAChDJ,IAAAA;EAER,GALK;EAOLK,IAAI,wBAACL,SAAqBC,gBAAAA;AACtB,WAAOA,YAAYC,OACf,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAChDJ,IAAAA;EAER,GALI;EAOJM,IAAI,wBAAC3B,OAAgBC,SAAAA;AACjB,WACI,CAAC,CAACD,SACF,OAAOA,UAAU,YACjB,UAAUA,SACVA,MAAMC,SAASA;EAEvB,GAPI;EASJ2B,WAAW,wBAAC5B,UACRF,gBAAgB6B,GAAG3B,OAAO,SAAA,GADnB;EAGX6B,SAAS,wBAAC7B,UACNF,gBAAgB6B,GAAG3B,OAAO,OAAA,GADrB;EAGT8B,QAAQ,wBAAC9B,UACLF,gBAAgB6B,GAAG3B,OAAO,MAAA,GADtB;EAGR+B,QAAQ,wBAAC/B,UACLF,gBAAgB6B,GAAG3B,OAAO,MAAA,GADtB;EAGRgC,QAAQ,wBAAChC,UACLF,gBAAgB6B,GAAG3B,OAAO,MAAA,GADtB;EAGRiC,SAAS,wBAACjC,UACNF,gBAAgB6B,GAAG3B,OAAO,OAAA,GADrB;EAGTkC,UAAU,wBAAClC,UACPF,gBAAgB6B,GAAG3B,OAAO,QAAA,GADpB;EAGVmC,SAAS,wBAACnC,UACNF,gBAAgB6B,GAAG3B,OAAO,OAAA,GADrB;EAGToC,UAAU,wBAACpC,UACPF,gBAAgB6B,GAAG3B,OAAO,QAAA,GADpB;AAEd;","names":["ExpressionUtils","literal","value","kind","array","items","call","functionName","args","function","binary","left","op","right","unary","operand","field","member","receiver","members","_this","_null","and","expr","expressions","reduce","acc","exp","or","is","isLiteral","isArray","isCall","isNull","isThis","isUnary","isBinary","isField","isMember"]}
+{"version":3,"sources":["../src/schema/index.ts","../src/schema/expression.ts"],"sourcesContent":["export type * from '@zenstackhq/sdk/schema';\nexport type { OperandExpression } from 'kysely';\nexport * from './expression';\n","import type {\n    ArrayExpression,\n    BinaryExpression,\n    BinaryOperator,\n    CallExpression,\n    Expression,\n    FieldExpression,\n    LiteralExpression,\n    MemberExpression,\n    NullExpression,\n    ThisExpression,\n    UnaryExpression,\n    UnaryOperator,\n} from '.';\n\nexport const ExpressionUtils = {\n    literal: (value: string | number | boolean): LiteralExpression => {\n        return {\n            kind: 'literal',\n            value,\n        };\n    },\n\n    array: (items: Expression[]): ArrayExpression => {\n        return {\n            kind: 'array',\n            items,\n        };\n    },\n\n    call: (functionName: string, args?: Expression[]): CallExpression => {\n        return {\n            kind: 'call',\n            function: functionName,\n            args,\n        };\n    },\n\n    binary: (left: Expression, op: BinaryOperator, right: Expression): BinaryExpression => {\n        return {\n            kind: 'binary',\n            op,\n            left,\n            right,\n        };\n    },\n\n    unary: (op: UnaryOperator, operand: Expression): UnaryExpression => {\n        return {\n            kind: 'unary',\n            op,\n            operand,\n        };\n    },\n\n    field: (field: string): FieldExpression => {\n        return {\n            kind: 'field',\n            field,\n        };\n    },\n\n    member: (receiver: Expression, members: string[]): MemberExpression => {\n        return {\n            kind: 'member',\n            receiver: receiver,\n            members,\n        };\n    },\n\n    _this: (): ThisExpression => {\n        return {\n            kind: 'this',\n        };\n    },\n\n    _null: (): NullExpression => {\n        return {\n            kind: 'null',\n        };\n    },\n\n    and: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '&&', exp), expr);\n    },\n\n    or: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '||', exp), expr);\n    },\n\n    is: (value: unknown, kind: Expression['kind']): value is Expression => {\n        return !!value && typeof value === 'object' && 'kind' in value && value.kind === kind;\n    },\n\n    isLiteral: (value: unknown): value is LiteralExpression => ExpressionUtils.is(value, 'literal'),\n\n    isArray: (value: unknown): value is ArrayExpression => ExpressionUtils.is(value, 'array'),\n\n    isCall: (value: unknown): value is CallExpression => ExpressionUtils.is(value, 'call'),\n\n    isNull: (value: unknown): value is NullExpression => ExpressionUtils.is(value, 'null'),\n\n    isThis: (value: unknown): value is ThisExpression => ExpressionUtils.is(value, 'this'),\n\n    isUnary: (value: unknown): value is UnaryExpression => ExpressionUtils.is(value, 'unary'),\n\n    isBinary: (value: unknown): value is BinaryExpression => ExpressionUtils.is(value, 'binary'),\n\n    isField: (value: unknown): value is FieldExpression => ExpressionUtils.is(value, 'field'),\n\n    isMember: (value: unknown): value is MemberExpression => ExpressionUtils.is(value, 'member'),\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAEA;;;;;;;ACaO,IAAMA,kBAAkB;EAC3BC,SAAS,wBAACC,UAAAA;AACN,WAAO;MACHC,MAAM;MACND;IACJ;EACJ,GALS;EAOTE,OAAO,wBAACC,UAAAA;AACJ,WAAO;MACHF,MAAM;MACNE;IACJ;EACJ,GALO;EAOPC,MAAM,wBAACC,cAAsBC,SAAAA;AACzB,WAAO;MACHL,MAAM;MACNM,UAAUF;MACVC;IACJ;EACJ,GANM;EAQNE,QAAQ,wBAACC,MAAkBC,IAAoBC,UAAAA;AAC3C,WAAO;MACHV,MAAM;MACNS;MACAD;MACAE;IACJ;EACJ,GAPQ;EASRC,OAAO,wBAACF,IAAmBG,YAAAA;AACvB,WAAO;MACHZ,MAAM;MACNS;MACAG;IACJ;EACJ,GANO;EAQPC,OAAO,wBAACA,UAAAA;AACJ,WAAO;MACHb,MAAM;MACNa;IACJ;EACJ,GALO;EAOPC,QAAQ,wBAACC,UAAsBC,YAAAA;AAC3B,WAAO;MACHhB,MAAM;MACNe;MACAC;IACJ;EACJ,GANQ;EAQRC,OAAO,6BAAA;AACH,WAAO;MACHjB,MAAM;IACV;EACJ,GAJO;EAMPkB,OAAO,6BAAA;AACH,WAAO;MACHlB,MAAM;IACV;EACJ,GAJO;EAMPmB,KAAK,wBAACC,SAAqBC,gBAAAA;AACvB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFK;EAILK,IAAI,wBAACL,SAAqBC,gBAAAA;AACtB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFI;EAIJM,IAAI,wBAAC3B,OAAgBC,SAAAA;AACjB,WAAO,CAAC,CAACD,SAAS,OAAOA,UAAU,YAAY,UAAUA,SAASA,MAAMC,SAASA;EACrF,GAFI;EAIJ2B,WAAW,wBAAC5B,UAA+CF,gBAAgB6B,GAAG3B,OAAO,SAAA,GAA1E;EAEX6B,SAAS,wBAAC7B,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAET8B,QAAQ,wBAAC9B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAER+B,QAAQ,wBAAC/B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERgC,QAAQ,wBAAChC,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERiC,SAAS,wBAACjC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAETkC,UAAU,wBAAClC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;EAEVmC,SAAS,wBAACnC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAEToC,UAAU,wBAACpC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;AACd;","names":["ExpressionUtils","literal","value","kind","array","items","call","functionName","args","function","binary","left","op","right","unary","operand","field","member","receiver","members","_this","_null","and","expr","expressions","reduce","acc","exp","or","is","isLiteral","isArray","isCall","isNull","isThis","isUnary","isBinary","isField","isMember"]}

package/dist/schema.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/schema/expression.ts"],"sourcesContent":["import type {\n    ArrayExpression,\n    BinaryExpression,\n    BinaryOperator,\n    CallExpression,\n    Expression,\n    FieldExpression,\n    LiteralExpression,\n    MemberExpression,\n    NullExpression,\n    ThisExpression,\n    UnaryExpression,\n    UnaryOperator,\n} from '.';\n\nexport const ExpressionUtils = {\n    literal: (value: string | number | boolean): LiteralExpression => {\n        return {\n            kind: 'literal',\n            value,\n        };\n    },\n\n    array: (items: Expression[]): ArrayExpression => {\n        return {\n            kind: 'array',\n            items,\n        };\n    },\n\n    call: (functionName: string, args?: Expression[]): CallExpression => {\n        return {\n            kind: 'call',\n            function: functionName,\n            args,\n        };\n    },\n\n    binary: (\n        left: Expression,\n        op: BinaryOperator,\n        right: Expression\n    ): BinaryExpression => {\n        return {\n            kind: 'binary',\n            op,\n            left,\n            right,\n        };\n    },\n\n    unary: (op: UnaryOperator, operand: Expression): UnaryExpression => {\n        return {\n            kind: 'unary',\n            op,\n            operand,\n        };\n    },\n\n    field: (field: string): FieldExpression => {\n        return {\n            kind: 'field',\n            field,\n        };\n    },\n\n    member: (receiver: Expression, members: string[]): MemberExpression => {\n        return {\n            kind: 'member',\n            receiver: receiver,\n            members,\n        };\n    },\n\n    _this: (): ThisExpression => {\n        return {\n            kind: 'this',\n        };\n    },\n\n    _null: (): NullExpression => {\n        return {\n            kind: 'null',\n        };\n    },\n\n    and: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce(\n            (acc, exp) => ExpressionUtils.binary(acc, '&&', exp),\n            expr\n        );\n    },\n\n    or: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce(\n            (acc, exp) => ExpressionUtils.binary(acc, '||', exp),\n            expr\n        );\n    },\n\n    is: (value: unknown, kind: Expression['kind']): value is Expression => {\n        return (\n            !!value &&\n            typeof value === 'object' &&\n            'kind' in value &&\n            value.kind === kind\n        );\n    },\n\n    isLiteral: (value: unknown): value is LiteralExpression =>\n        ExpressionUtils.is(value, 'literal'),\n\n    isArray: (value: unknown): value is ArrayExpression =>\n        ExpressionUtils.is(value, 'array'),\n\n    isCall: (value: unknown): value is CallExpression =>\n        ExpressionUtils.is(value, 'call'),\n\n    isNull: (value: unknown): value is NullExpression =>\n        ExpressionUtils.is(value, 'null'),\n\n    isThis: (value: unknown): value is ThisExpression =>\n        ExpressionUtils.is(value, 'this'),\n\n    isUnary: (value: unknown): value is UnaryExpression =>\n        ExpressionUtils.is(value, 'unary'),\n\n    isBinary: (value: unknown): value is BinaryExpression =>\n        ExpressionUtils.is(value, 'binary'),\n\n    isField: (value: unknown): value is FieldExpression =>\n        ExpressionUtils.is(value, 'field'),\n\n    isMember: (value: unknown): value is MemberExpression =>\n        ExpressionUtils.is(value, 'member'),\n};\n"],"mappings":";;;;AAeO,IAAMA,kBAAkB;EAC3BC,SAAS,wBAACC,UAAAA;AACN,WAAO;MACHC,MAAM;MACND;IACJ;EACJ,GALS;EAOTE,OAAO,wBAACC,UAAAA;AACJ,WAAO;MACHF,MAAM;MACNE;IACJ;EACJ,GALO;EAOPC,MAAM,wBAACC,cAAsBC,SAAAA;AACzB,WAAO;MACHL,MAAM;MACNM,UAAUF;MACVC;IACJ;EACJ,GANM;EAQNE,QAAQ,wBACJC,MACAC,IACAC,UAAAA;AAEA,WAAO;MACHV,MAAM;MACNS;MACAD;MACAE;IACJ;EACJ,GAXQ;EAaRC,OAAO,wBAACF,IAAmBG,YAAAA;AACvB,WAAO;MACHZ,MAAM;MACNS;MACAG;IACJ;EACJ,GANO;EAQPC,OAAO,wBAACA,UAAAA;AACJ,WAAO;MACHb,MAAM;MACNa;IACJ;EACJ,GALO;EAOPC,QAAQ,wBAACC,UAAsBC,YAAAA;AAC3B,WAAO;MACHhB,MAAM;MACNe;MACAC;IACJ;EACJ,GANQ;EAQRC,OAAO,6BAAA;AACH,WAAO;MACHjB,MAAM;IACV;EACJ,GAJO;EAMPkB,OAAO,6BAAA;AACH,WAAO;MACHlB,MAAM;IACV;EACJ,GAJO;EAMPmB,KAAK,wBAACC,SAAqBC,gBAAAA;AACvB,WAAOA,YAAYC,OACf,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAChDJ,IAAAA;EAER,GALK;EAOLK,IAAI,wBAACL,SAAqBC,gBAAAA;AACtB,WAAOA,YAAYC,OACf,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAChDJ,IAAAA;EAER,GALI;EAOJM,IAAI,wBAAC3B,OAAgBC,SAAAA;AACjB,WACI,CAAC,CAACD,SACF,OAAOA,UAAU,YACjB,UAAUA,SACVA,MAAMC,SAASA;EAEvB,GAPI;EASJ2B,WAAW,wBAAC5B,UACRF,gBAAgB6B,GAAG3B,OAAO,SAAA,GADnB;EAGX6B,SAAS,wBAAC7B,UACNF,gBAAgB6B,GAAG3B,OAAO,OAAA,GADrB;EAGT8B,QAAQ,wBAAC9B,UACLF,gBAAgB6B,GAAG3B,OAAO,MAAA,GADtB;EAGR+B,QAAQ,wBAAC/B,UACLF,gBAAgB6B,GAAG3B,OAAO,MAAA,GADtB;EAGRgC,QAAQ,wBAAChC,UACLF,gBAAgB6B,GAAG3B,OAAO,MAAA,GADtB;EAGRiC,SAAS,wBAACjC,UACNF,gBAAgB6B,GAAG3B,OAAO,OAAA,GADrB;EAGTkC,UAAU,wBAAClC,UACPF,gBAAgB6B,GAAG3B,OAAO,QAAA,GADpB;EAGVmC,SAAS,wBAACnC,UACNF,gBAAgB6B,GAAG3B,OAAO,OAAA,GADrB;EAGToC,UAAU,wBAACpC,UACPF,gBAAgB6B,GAAG3B,OAAO,QAAA,GADpB;AAEd;","names":["ExpressionUtils","literal","value","kind","array","items","call","functionName","args","function","binary","left","op","right","unary","operand","field","member","receiver","members","_this","_null","and","expr","expressions","reduce","acc","exp","or","is","isLiteral","isArray","isCall","isNull","isThis","isUnary","isBinary","isField","isMember"]}
+{"version":3,"sources":["../src/schema/expression.ts"],"sourcesContent":["import type {\n    ArrayExpression,\n    BinaryExpression,\n    BinaryOperator,\n    CallExpression,\n    Expression,\n    FieldExpression,\n    LiteralExpression,\n    MemberExpression,\n    NullExpression,\n    ThisExpression,\n    UnaryExpression,\n    UnaryOperator,\n} from '.';\n\nexport const ExpressionUtils = {\n    literal: (value: string | number | boolean): LiteralExpression => {\n        return {\n            kind: 'literal',\n            value,\n        };\n    },\n\n    array: (items: Expression[]): ArrayExpression => {\n        return {\n            kind: 'array',\n            items,\n        };\n    },\n\n    call: (functionName: string, args?: Expression[]): CallExpression => {\n        return {\n            kind: 'call',\n            function: functionName,\n            args,\n        };\n    },\n\n    binary: (left: Expression, op: BinaryOperator, right: Expression): BinaryExpression => {\n        return {\n            kind: 'binary',\n            op,\n            left,\n            right,\n        };\n    },\n\n    unary: (op: UnaryOperator, operand: Expression): UnaryExpression => {\n        return {\n            kind: 'unary',\n            op,\n            operand,\n        };\n    },\n\n    field: (field: string): FieldExpression => {\n        return {\n            kind: 'field',\n            field,\n        };\n    },\n\n    member: (receiver: Expression, members: string[]): MemberExpression => {\n        return {\n            kind: 'member',\n            receiver: receiver,\n            members,\n        };\n    },\n\n    _this: (): ThisExpression => {\n        return {\n            kind: 'this',\n        };\n    },\n\n    _null: (): NullExpression => {\n        return {\n            kind: 'null',\n        };\n    },\n\n    and: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '&&', exp), expr);\n    },\n\n    or: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '||', exp), expr);\n    },\n\n    is: (value: unknown, kind: Expression['kind']): value is Expression => {\n        return !!value && typeof value === 'object' && 'kind' in value && value.kind === kind;\n    },\n\n    isLiteral: (value: unknown): value is LiteralExpression => ExpressionUtils.is(value, 'literal'),\n\n    isArray: (value: unknown): value is ArrayExpression => ExpressionUtils.is(value, 'array'),\n\n    isCall: (value: unknown): value is CallExpression => ExpressionUtils.is(value, 'call'),\n\n    isNull: (value: unknown): value is NullExpression => ExpressionUtils.is(value, 'null'),\n\n    isThis: (value: unknown): value is ThisExpression => ExpressionUtils.is(value, 'this'),\n\n    isUnary: (value: unknown): value is UnaryExpression => ExpressionUtils.is(value, 'unary'),\n\n    isBinary: (value: unknown): value is BinaryExpression => ExpressionUtils.is(value, 'binary'),\n\n    isField: (value: unknown): value is FieldExpression => ExpressionUtils.is(value, 'field'),\n\n    isMember: (value: unknown): value is MemberExpression => ExpressionUtils.is(value, 'member'),\n};\n"],"mappings":";;;;AAeO,IAAMA,kBAAkB;EAC3BC,SAAS,wBAACC,UAAAA;AACN,WAAO;MACHC,MAAM;MACND;IACJ;EACJ,GALS;EAOTE,OAAO,wBAACC,UAAAA;AACJ,WAAO;MACHF,MAAM;MACNE;IACJ;EACJ,GALO;EAOPC,MAAM,wBAACC,cAAsBC,SAAAA;AACzB,WAAO;MACHL,MAAM;MACNM,UAAUF;MACVC;IACJ;EACJ,GANM;EAQNE,QAAQ,wBAACC,MAAkBC,IAAoBC,UAAAA;AAC3C,WAAO;MACHV,MAAM;MACNS;MACAD;MACAE;IACJ;EACJ,GAPQ;EASRC,OAAO,wBAACF,IAAmBG,YAAAA;AACvB,WAAO;MACHZ,MAAM;MACNS;MACAG;IACJ;EACJ,GANO;EAQPC,OAAO,wBAACA,UAAAA;AACJ,WAAO;MACHb,MAAM;MACNa;IACJ;EACJ,GALO;EAOPC,QAAQ,wBAACC,UAAsBC,YAAAA;AAC3B,WAAO;MACHhB,MAAM;MACNe;MACAC;IACJ;EACJ,GANQ;EAQRC,OAAO,6BAAA;AACH,WAAO;MACHjB,MAAM;IACV;EACJ,GAJO;EAMPkB,OAAO,6BAAA;AACH,WAAO;MACHlB,MAAM;IACV;EACJ,GAJO;EAMPmB,KAAK,wBAACC,SAAqBC,gBAAAA;AACvB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFK;EAILK,IAAI,wBAACL,SAAqBC,gBAAAA;AACtB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFI;EAIJM,IAAI,wBAAC3B,OAAgBC,SAAAA;AACjB,WAAO,CAAC,CAACD,SAAS,OAAOA,UAAU,YAAY,UAAUA,SAASA,MAAMC,SAASA;EACrF,GAFI;EAIJ2B,WAAW,wBAAC5B,UAA+CF,gBAAgB6B,GAAG3B,OAAO,SAAA,GAA1E;EAEX6B,SAAS,wBAAC7B,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAET8B,QAAQ,wBAAC9B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAER+B,QAAQ,wBAAC/B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERgC,QAAQ,wBAAChC,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERiC,SAAS,wBAACjC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAETkC,UAAU,wBAAClC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;EAEVmC,SAAS,wBAACnC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAEToC,UAAU,wBAACpC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;AACd;","names":["ExpressionUtils","literal","value","kind","array","items","call","functionName","args","function","binary","left","op","right","unary","operand","field","member","receiver","members","_this","_null","and","expr","expressions","reduce","acc","exp","or","is","isLiteral","isArray","isCall","isNull","isThis","isUnary","isBinary","isField","isMember"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zenstackhq/runtime",
-  "version": "3.0.0-alpha.3",
+  "version": "3.0.0-alpha.30",
   "description": "ZenStack Runtime",
   "type": "module",
   "keywords": [],
@@ -20,16 +20,6 @@
         "default": "./dist/index.cjs"
       }
     },
-    "./client": {
-      "import": {
-        "types": "./dist/client.d.ts",
-        "default": "./dist/client.js"
-      },
-      "require": {
-        "types": "./dist/client.d.cts",
-        "default": "./dist/client.cjs"
-      }
-    },
     "./schema": {
       "import": {
         "types": "./dist/schema.d.ts",
@@ -40,6 +30,16 @@
         "default": "./dist/schema.cjs"
       }
     },
+    "./helpers": {
+      "import": {
+        "types": "./dist/helpers.d.ts",
+        "default": "./dist/helpers.js"
+      },
+      "require": {
+        "types": "./dist/helpers.d.cts",
+        "default": "./dist/helpers.cjs"
+      }
+    },
     "./plugins/policy": {
       "import": {
         "types": "./dist/plugins/policy.d.ts",
@@ -58,20 +58,19 @@
   "dependencies": {
     "@paralleldrive/cuid2": "^2.2.2",
     "decimal.js": "^10.4.3",
-    "is-plain-object": "^5.0.0",
     "json-stable-stringify": "^1.3.0",
-    "kysely": "^0.27.5",
     "nanoid": "^5.0.9",
-    "tiny-invariant": "^1.3.3",
-    "ts-pattern": "^5.6.0",
+    "toposort": "^2.0.2",
+    "ts-pattern": "^5.7.1",
     "ulid": "^3.0.0",
-    "utility-types": "^3.11.0",
-    "uuid": "^11.0.5"
+    "uuid": "^11.0.5",
+    "@zenstackhq/common-helpers": "3.0.0-alpha.30"
   },
   "peerDependencies": {
-    "better-sqlite3": "^11.8.1",
+    "better-sqlite3": "^12.2.0",
+    "kysely": "^0.27.6",
     "pg": "^8.13.1",
-    "zod": "^3.0.0"
+    "zod": "^3.25.0 || ^4.0.0"
   },
   "peerDependenciesMeta": {
     "better-sqlite3": {
@@ -82,21 +81,24 @@
     }
   },
   "devDependencies": {
-    "@types/better-sqlite3": "^7.0.0",
+    "@types/better-sqlite3": "^7.6.13",
     "@types/pg": "^8.0.0",
-    "@types/tmp": "^0.2.6",
-    "tmp": "^0.2.3",
+    "@types/toposort": "^2.0.7",
     "tsx": "^4.19.2",
-    "@zenstackhq/language": "3.0.0-alpha.3",
-    "@zenstackhq/sdk": "3.0.0-alpha.3",
-    "@zenstackhq/testtools": "3.0.0-alpha.3"
+    "zod": "~3.25.0",
+    "@zenstackhq/sdk": "3.0.0-alpha.30",
+    "@zenstackhq/language": "3.0.0-alpha.30",
+    "@zenstackhq/eslint-config": "3.0.0-alpha.30",
+    "@zenstackhq/typescript-config": "3.0.0-alpha.30",
+    "@zenstackhq/vitest-config": "3.0.0-alpha.30",
+    "@zenstackhq/testtools": "3.0.0-alpha.30"
   },
   "scripts": {
-    "build": "tsup-node",
+    "build": "tsc --project tsconfig.build.json --noEmit && tsup-node && pnpm test:generate",
     "watch": "tsup-node --watch",
     "lint": "eslint src --ext ts",
-    "test": "vitest && pnpm test:generate && pnpm test:typecheck",
-    "test:generate": "tsx test/typing/generate.ts",
+    "test": "vitest run && pnpm test:typecheck",
+    "test:generate": "tsx test/scripts/generate.ts",
     "test:typecheck": "tsc --project tsconfig.test.json",
     "pack": "pnpm pack"
   }