modality-ts 0.0.16 → 0.0.17

package/dist/core/ir/types.d.ts

@@ -80,6 +80,16 @@ export type ExprIR = {
 } | {
     kind: "freshToken";
     domainOf: string;
+} | {
+    kind: "transitionEnabled";
+    transitionId: string;
+} | {
+    kind: "readPre";
+    var: string;
+    path?: readonly string[];
+} | {
+    kind: "readOpArg";
+    key: string;
 };
 export type GuardIR = ExprIR;
 export type EffectIR = {
@@ -221,4 +231,77 @@ export interface TemplateFragment {
     vars: readonly StateVarDecl[];
     transitions: readonly Transition[];
 }
+export type StatePredicateIR = ExprIR;
+export interface StepPredicateFlat {
+    transitionId?: string;
+    transitionClass?: string;
+    labelKind?: string;
+    enqueued?: string;
+    resolved?: readonly [string, string?];
+    navigated?: boolean;
+    navigatedTo?: string;
+    opId?: string;
+    continuation?: string;
+    opArgs?: Record<string, unknown>;
+}
+export interface StepPredicateComposite {
+    pre?: ExprIR;
+    step: StepPredicateFlat;
+    post?: ExprIR;
+    negate?: boolean;
+}
+export type StepPredicateIR = StepPredicateFlat | StepPredicateComposite;
+export interface PropertyOptions {
+    name?: string;
+    reads?: readonly string[];
+    enabledTransitions?: readonly string[];
+    includeUnmounted?: boolean;
+}
+export type Property = {
+    kind: "always";
+    name: string;
+    predicate: StatePredicateIR;
+    reads?: readonly string[];
+    enabledTransitions?: readonly string[];
+    includeUnmounted?: boolean;
+} | {
+    kind: "alwaysStep";
+    name: string;
+    predicate: StepPredicateIR;
+    reads?: readonly string[];
+    enabledTransitions?: readonly string[];
+    includeUnmounted?: boolean;
+} | {
+    kind: "reachable";
+    name: string;
+    predicate: StatePredicateIR;
+    reads?: readonly string[];
+    enabledTransitions?: readonly string[];
+    includeUnmounted?: boolean;
+} | {
+    kind: "leadsToWithin";
+    name: string;
+    trigger: StepPredicateFlat;
+    goal: StatePredicateIR;
+    budget: {
+        steps?: number;
+        environment?: number;
+    };
+    allowUserEvents?: boolean;
+    reads?: readonly string[];
+    enabledTransitions?: readonly string[];
+    includeUnmounted?: boolean;
+} | {
+    kind: "reachableFrom";
+    name: string;
+    when: StatePredicateIR;
+    goal: StatePredicateIR;
+    reads?: readonly string[];
+    enabledTransitions?: readonly string[];
+    includeUnmounted?: boolean;
+};
+export interface PropertyArtifact {
+    schemaVersion: 1;
+    properties: readonly Property[];
+}
 //# sourceMappingURL=types.d.ts.map

package/dist/core/ir/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/ir/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAE9D,MAAM,MAAM,KAAK,GACb,cAAc,GACd,SAAS,KAAK,EAAE,GAChB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAAA;CAAE,CAAC;AAEtC,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,YAAY,GAAG,QAAQ,GAAG,kBAAkB,CAAC;IACrD,KAAK,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,aAAa,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,OAAO,EAAE,KAAK,GAAG,SAAS,KAAK,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACzD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;CACf,GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7C,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,GAC7C;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GACpE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC;AAEvC,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvC,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,GAAG,KAAK,GAAG,KAAK,GAAG,UAAU,GAAG,SAAS,CAAC;IACrD,KAAK,EAAE,UAAU,CAAC;IAClB,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,UAAU,EAAE,OAAO,GAAG,aAAa,GAAG,QAAQ,CAAC;IAC/C,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,cAAc,GAAG,QAAQ,CAAC;IAChC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzE,UAAU,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACvE,mBAAmB,EAAE,SAAS;QAC5B,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAAE,CAAC;IACJ,qBAAqB,EAAE,SAAS;QAC9B,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAAE,CAAC;CACL;AAED,MAAM,WAAW,KAAK;IACpB,aAAa,EAAE,CAAC,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE;QACT,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;QACtC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;KACvC,CAAC;CACH;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE/C,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CACpC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/ir/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAE9D,MAAM,MAAM,KAAK,GACb,cAAc,GACd,SAAS,KAAK,EAAE,GAChB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAAA;CAAE,CAAC;AAEtC,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,YAAY,GAAG,QAAQ,GAAG,kBAAkB,CAAC;IACrD,KAAK,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,aAAa,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,OAAO,EAAE,KAAK,GAAG,SAAS,KAAK,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACzD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;CACf,GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvC,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,GAC7C;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GACpE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC;AAEvC,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvC,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,GAAG,KAAK,GAAG,KAAK,GAAG,UAAU,GAAG,SAAS,CAAC;IACrD,KAAK,EAAE,UAAU,CAAC;IAClB,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,UAAU,EAAE,OAAO,GAAG,aAAa,GAAG,QAAQ,CAAC;IAC/C,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,cAAc,GAAG,QAAQ,CAAC;IAChC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzE,UAAU,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACvE,mBAAmB,EAAE,SAAS;QAC5B,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAAE,CAAC;IACJ,qBAAqB,EAAE,SAAS;QAC9B,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAAE,CAAC;CACL;AAED,MAAM,WAAW,KAAK;IACpB,aAAa,EAAE,CAAC,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE;QACT,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;QACtC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;KACvC,CAAC;CACH;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE/C,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CACpC;AAED,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAEtC,MAAM,WAAW,iBAAiB;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACtC,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,sBAAsB;IACrC,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,iBAAiB,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG,sBAAsB,CAAC;AAEzE,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,QAAQ,GAChB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,gBAAgB,CAAC;IAC5B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,eAAe,CAAC;IAC3B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,gBAAgB,CAAC;IAC5B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,iBAAiB,CAAC;IAC3B,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEN,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAC;CACjC"}

package/dist/core/props/index.d.ts

@@ -1,7 +1,8 @@
-import type { Model, ModelState, Transition } from "../ir/types.js";
-export type { ModelState, Value } from "../ir/types.js";
+import type { ExprIR, Model, Property, PropertyOptions, StatePredicateIR, StepPredicateFlat, StepPredicateIR, Value } from "../ir/types.js";
+export { evalStatePredicate, StatePredicateEvalError } from "../ir/eval.js";
+export type { ModelState, Property, PropertyArtifact, PropertyOptions, StatePredicateIR, StepPredicateComposite, StepPredicateFlat, StepPredicateIR, Value, } from "../ir/types.js";
 export interface StepFacts {
-    transition: Transition;
+    transition: import("../ir/types.js").Transition;
     enqueued(op: string): boolean;
     resolved(op: string, outcome?: string): boolean;
     navigated(): boolean;
@@ -12,67 +13,29 @@ export interface StepFacts {
         args: Record<string, unknown>;
     };
 }
-export type StatePredicate = (state: ModelState) => boolean;
-export type StepPredicate = (pre: ModelState, step: StepFacts, post: ModelState) => boolean;
-export interface PropertyOptions {
-    name?: string;
-    reads?: readonly string[];
-    enabledTransitions?: readonly string[];
-    includeUnmounted?: boolean;
-}
-export type Property = {
-    kind: "always";
-    name: string;
-    predicate: StatePredicate;
-    reads?: readonly string[];
-    enabledTransitions?: readonly string[];
-    includeUnmounted?: boolean;
-} | {
-    kind: "alwaysStep";
-    name: string;
-    predicate: StepPredicate;
-    reads?: readonly string[];
-    enabledTransitions?: readonly string[];
-    includeUnmounted?: boolean;
-} | {
-    kind: "reachable";
-    name: string;
-    predicate: StatePredicate;
-    reads?: readonly string[];
-    enabledTransitions?: readonly string[];
-    includeUnmounted?: boolean;
-} | {
-    kind: "leadsToWithin";
-    name: string;
-    trigger: (step: StepFacts) => boolean;
-    goal: StatePredicate;
-    budget: {
-        steps?: number;
-        environment?: number;
-    };
-    allowUserEvents?: boolean;
-    reads?: readonly string[];
-    enabledTransitions?: readonly string[];
-    includeUnmounted?: boolean;
-} | {
-    kind: "reachableFrom";
-    name: string;
-    when: StatePredicate;
-    goal: StatePredicate;
-    reads?: readonly string[];
-    enabledTransitions?: readonly string[];
-    includeUnmounted?: boolean;
-};
-export declare function always(_model: Model, predicate: StatePredicate, options?: PropertyOptions): Property;
-export declare function alwaysStep(_model: Model, predicate: StepPredicate, options?: PropertyOptions): Property;
-export declare function reachable(_model: Model, predicate: StatePredicate, options?: PropertyOptions): Property;
-export declare function leadsToWithin(_model: Model, trigger: (step: StepFacts) => boolean, goal: StatePredicate, options: PropertyOptions & {
+export declare function readVar(varId: string, path?: readonly string[]): ExprIR;
+export declare function readPreVar(varId: string, path?: readonly string[]): ExprIR;
+export declare function readOpArg(key: string): ExprIR;
+export declare function lit(value: Value): ExprIR;
+export declare function eq(left: ExprIR, right: ExprIR): ExprIR;
+export declare function neq(left: ExprIR, right: ExprIR): ExprIR;
+export declare function andExpr(...args: readonly ExprIR[]): ExprIR;
+export declare function orExpr(...args: readonly ExprIR[]): ExprIR;
+export declare function notExpr(arg: ExprIR): ExprIR;
+export declare function enabled(_model: Model, transitionId: string): ExprIR;
+export declare function stepEnqueued(op: string): StepPredicateFlat;
+export declare function stepResolved(op: string, outcome?: string): StepPredicateFlat;
+export declare function stepTransitionId(transitionId: string): StepPredicateFlat;
+export declare function stepAny(): StepPredicateFlat;
+export declare function always(model: Model, predicate: StatePredicateIR, options?: PropertyOptions): Property;
+export declare function alwaysStep(model: Model, predicate: StepPredicateIR, options?: PropertyOptions): Property;
+export declare function reachable(model: Model, predicate: StatePredicateIR, options?: PropertyOptions): Property;
+export declare function leadsToWithin(model: Model, trigger: StepPredicateFlat, goal: StatePredicateIR, options: PropertyOptions & {
     budget: {
         steps?: number;
         environment?: number;
     };
     allowUserEvents?: boolean;
 }): Property;
-export declare function reachableFrom(_model: Model, when: StatePredicate, goal: StatePredicate, options?: PropertyOptions): Property;
-export declare function enabled(model: Model, transitionId: string): StatePredicate;
+export declare function reachableFrom(model: Model, when: StatePredicateIR, goal: StatePredicateIR, options?: PropertyOptions): Property;
 //# sourceMappingURL=index.d.ts.map

package/dist/core/props/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/props/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEpE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAExD,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,UAAU,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAChD,SAAS,IAAI,OAAO,CAAC;IACrB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;IACpC,EAAE,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;CAC3E;AAED,MAAM,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,CAAC;AAC5D,MAAM,MAAM,aAAa,GAAG,CAC1B,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,SAAS,EACf,IAAI,EAAE,UAAU,KACb,OAAO,CAAC;AAOb,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,QAAQ,GAChB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,cAAc,CAAC;IAC1B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,aAAa,CAAC;IACzB,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,cAAc,CAAC;IAC1B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,CAAC,IAAI,EAAE,SAAS,KAAK,OAAO,CAAC;IACtC,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEN,wBAAgB,MAAM,CACpB,MAAM,EAAE,KAAK,EACb,SAAS,EAAE,cAAc,EACzB,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CASV;AAED,wBAAgB,UAAU,CACxB,MAAM,EAAE,KAAK,EACb,SAAS,EAAE,aAAa,EACxB,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CASV;AAED,wBAAgB,SAAS,CACvB,MAAM,EAAE,KAAK,EACb,SAAS,EAAE,cAAc,EACzB,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CASV;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,KAAK,EACb,OAAO,EAAE,CAAC,IAAI,EAAE,SAAS,KAAK,OAAO,EACrC,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,eAAe,GAAG;IACzB,MAAM,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACA,QAAQ,CAYV;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,KAAK,EACb,IAAI,EAAE,cAAc,EACpB,IAAI,EAAE,cAAc,EACpB,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CAUV;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,GAAG,cAAc,CAgB1E"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/props/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EACN,KAAK,EACL,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,KAAK,EACN,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAC5E,YAAY,EACV,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,eAAe,EACf,KAAK,GACN,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,OAAO,gBAAgB,EAAE,UAAU,CAAC;IAChD,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAChD,SAAS,IAAI,OAAO,CAAC;IACrB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;IACpC,EAAE,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;CAC3E;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAEvE;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAE1E;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,wBAAgB,GAAG,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAExC;AAED,wBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,wBAAgB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,wBAAgB,OAAO,CAAC,GAAG,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAE1D;AAED,wBAAgB,MAAM,CAAC,GAAG,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAEzD;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE3C;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,CAEnE;AAED,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,CAE1D;AAED,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAE5E;AAED,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,iBAAiB,CAExE;AAED,wBAAgB,OAAO,IAAI,iBAAiB,CAE3C;AAED,wBAAgB,MAAM,CACpB,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,gBAAgB,EAC3B,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CASV;AAED,wBAAgB,UAAU,CACxB,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,eAAe,EAC1B,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CASV;AAED,wBAAgB,SAAS,CACvB,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,gBAAgB,EAC3B,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CASV;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,EAC1B,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,eAAe,GAAG;IACzB,MAAM,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACA,QAAQ,CAYV;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,gBAAgB,EACtB,IAAI,EAAE,gBAAgB,EACtB,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CAUV"}

package/dist/core/props/index.js

@@ -1,35 +1,77 @@
-import { initialValues } from "../ir/validator.js";
-export function always(_model, predicate, options = {}) {
+export { evalStatePredicate, StatePredicateEvalError } from "../ir/eval.js";
+export function readVar(varId, path) {
+    return { kind: "read", var: varId, path };
+}
+export function readPreVar(varId, path) {
+    return { kind: "readPre", var: varId, path };
+}
+export function readOpArg(key) {
+    return { kind: "readOpArg", key };
+}
+export function lit(value) {
+    return { kind: "lit", value };
+}
+export function eq(left, right) {
+    return { kind: "eq", args: [left, right] };
+}
+export function neq(left, right) {
+    return { kind: "neq", args: [left, right] };
+}
+export function andExpr(...args) {
+    return { kind: "and", args };
+}
+export function orExpr(...args) {
+    return { kind: "or", args };
+}
+export function notExpr(arg) {
+    return { kind: "not", args: [arg] };
+}
+export function enabled(_model, transitionId) {
+    return { kind: "transitionEnabled", transitionId };
+}
+export function stepEnqueued(op) {
+    return { enqueued: op };
+}
+export function stepResolved(op, outcome) {
+    return { resolved: outcome === undefined ? [op] : [op, outcome] };
+}
+export function stepTransitionId(transitionId) {
+    return { transitionId };
+}
+export function stepAny() {
+    return {};
+}
+export function always(model, predicate, options = {}) {
     return {
         kind: "always",
         name: options.name ?? "always",
         predicate,
-        reads: propertyReads(_model, options, predicate),
-        enabledTransitions: propertyEnabledTransitions(options, predicate),
+        reads: propertyReads(model, options, predicate),
+        enabledTransitions: propertyEnabledTransitions(model, options, predicate),
         includeUnmounted: options.includeUnmounted,
     };
 }
-export function alwaysStep(_model, predicate, options = {}) {
+export function alwaysStep(model, predicate, options = {}) {
     return {
         kind: "alwaysStep",
         name: options.name ?? "alwaysStep",
         predicate,
-        reads: propertyReads(_model, options, predicate),
-        enabledTransitions: propertyEnabledTransitions(options, predicate),
+        reads: propertyReads(model, options, predicate),
+        enabledTransitions: propertyEnabledTransitions(model, options, predicate),
         includeUnmounted: options.includeUnmounted,
     };
 }
-export function reachable(_model, predicate, options = {}) {
+export function reachable(model, predicate, options = {}) {
     return {
         kind: "reachable",
         name: options.name ?? "reachable",
         predicate,
-        reads: propertyReads(_model, options, predicate),
-        enabledTransitions: propertyEnabledTransitions(options, predicate),
+        reads: propertyReads(model, options, predicate),
+        enabledTransitions: propertyEnabledTransitions(model, options, predicate),
         includeUnmounted: options.includeUnmounted,
     };
 }
-export function leadsToWithin(_model, trigger, goal, options) {
+export function leadsToWithin(model, trigger, goal, options) {
     return {
         kind: "leadsToWithin",
         name: options.name ?? "leadsToWithin",
@@ -37,139 +79,158 @@ export function leadsToWithin(_model, trigger, goal, options) {
         goal,
         budget: options.budget,
         allowUserEvents: options.allowUserEvents,
-        reads: propertyReads(_model, options, goal),
-        enabledTransitions: propertyEnabledTransitions(options, trigger, goal),
+        reads: propertyReads(model, options, goal),
+        enabledTransitions: propertyEnabledTransitions(model, options, goal),
         includeUnmounted: options.includeUnmounted,
     };
 }
-export function reachableFrom(_model, when, goal, options = {}) {
+export function reachableFrom(model, when, goal, options = {}) {
     return {
         kind: "reachableFrom",
         name: options.name ?? "reachableFrom",
         when,
         goal,
-        reads: propertyReads(_model, options, when, goal),
-        enabledTransitions: propertyEnabledTransitions(options, when, goal),
+        reads: propertyReads(model, options, when, goal),
+        enabledTransitions: propertyEnabledTransitions(model, options, when, goal),
         includeUnmounted: options.includeUnmounted,
     };
 }
-export function enabled(model, transitionId) {
-    const transition = model.transitions.find((candidate) => candidate.id === transitionId);
-    if (!transition)
-        throw new Error(`Unknown transition ${transitionId}`);
-    return (state) => Boolean(globalThis.__modalityEvalGuard?.(transition, state));
-}
-function propertyEnabledTransitions(options, ...predicates) {
-    const ids = new Set(options.enabledTransitions ?? []);
-    for (const predicate of predicates) {
-        for (const id of inferEnabledTransitions(predicate))
-            ids.add(id);
-    }
-    return ids.size > 0 ? [...ids].sort() : undefined;
-}
 function propertyReads(model, options, ...predicates) {
     if (options.reads !== undefined)
         return options.reads;
     const reads = new Set();
     for (const predicate of predicates) {
-        for (const read of inferStateReads(model, predicate))
+        for (const read of inferReads(model, predicate))
             reads.add(read);
     }
     return [...reads].sort();
 }
-function inferStateReads(model, predicate) {
-    const reads = new Set();
-    for (const read of inferSourceReads(model, predicate))
-        reads.add(read);
-    const state = recordingStateProxy(model, reads);
-    try {
-        predicate(state);
-    }
-    catch {
-        // Inference is best-effort; runtime read validation catches under-declared reads.
-    }
-    try {
-        predicate(state, recordingStepFacts(), state);
-    }
-    catch {
-        // Inference is best-effort; runtime read validation catches under-declared reads.
-    }
-    return [...reads];
-}
-function inferSourceReads(model, predicate) {
+function inferReads(model, predicate) {
     const varIds = new Set(model.vars.map((decl) => decl.id));
-    const source = Function.prototype.toString.call(predicate);
     const reads = new Set();
-    const dotPattern = /\.([A-Za-z_$][\w$]*)/g;
-    const bracketPattern = /\[\s*(['"`])([^'"`]+)\1\s*\]/g;
-    let match = dotPattern.exec(source);
-    while (match) {
-        const id = match[1];
-        if (id && varIds.has(id))
-            reads.add(id);
-        match = dotPattern.exec(source);
+    const walkExpr = (expr) => {
+        switch (expr.kind) {
+            case "read":
+            case "readPre":
+                if (varIds.has(expr.var))
+                    reads.add(expr.var);
+                break;
+            case "eq":
+            case "neq":
+            case "and":
+            case "or":
+                for (const arg of expr.args)
+                    walkExpr(arg);
+                break;
+            case "not":
+                walkExpr(expr.args[0]);
+                break;
+            case "cond":
+                for (const arg of expr.args)
+                    walkExpr(arg);
+                break;
+            case "updateField":
+                walkExpr(expr.target);
+                walkExpr(expr.value);
+                break;
+            case "tagIs":
+                walkExpr(expr.arg);
+                break;
+            case "lenCat":
+                walkExpr(expr.arg);
+                break;
+            case "freshToken":
+                if (varIds.has(expr.domainOf))
+                    reads.add(expr.domainOf);
+                break;
+            case "transitionEnabled": {
+                reads.add("sys:route");
+                const transition = model.transitions.find((candidate) => candidate.id === expr.transitionId);
+                if (transition) {
+                    for (const id of transition.reads)
+                        reads.add(id);
+                    for (const id of transition.writes)
+                        reads.add(id);
+                }
+                break;
+            }
+            case "readOpArg":
+            case "lit":
+                break;
+        }
+    };
+    if ("kind" in predicate) {
+        walkExpr(predicate);
+        return [...reads];
     }
-    match = bracketPattern.exec(source);
-    while (match) {
-        const id = match[2];
-        if (id && varIds.has(id))
-            reads.add(id);
-        match = bracketPattern.exec(source);
+    if ("step" in predicate) {
+        if (predicate.pre)
+            walkExpr(predicate.pre);
+        if (predicate.post)
+            walkExpr(predicate.post);
+        return [...reads];
     }
     return [...reads];
 }
-function recordingStateProxy(model, reads) {
-    const initials = new Map(model.vars.map((decl) => [
-        decl.id,
-        initialValues(decl.domain, decl.initial)[0],
-    ]));
-    const nested = new Proxy({}, {
-        get(_target, key) {
-            if (key === Symbol.toPrimitive)
-                return () => "";
-            if (key === "toString")
-                return () => "";
-            if (key === "valueOf")
-                return () => "";
-            return nested;
-        },
-    });
-    return new Proxy({}, {
-        get(_target, key) {
-            if (typeof key === "string" &&
-                model.vars.some((decl) => decl.id === key))
-                reads.add(key);
-            if (key === Symbol.toPrimitive)
-                return () => "";
-            if (key === "toString")
-                return () => "";
-            if (key === "valueOf")
-                return () => "";
-            return typeof key === "string" && initials.has(key)
-                ? initials.get(key)
-                : nested;
-        },
-    });
-}
-function recordingStepFacts() {
-    return {
-        transition: {},
-        enqueued: () => false,
-        resolved: () => false,
-        navigated: () => false,
-        navigatedTo: () => false,
-    };
+function propertyEnabledTransitions(model, options, ...predicates) {
+    const ids = new Set(options.enabledTransitions ?? []);
+    for (const predicate of predicates) {
+        for (const id of inferEnabledTransitions(model, predicate))
+            ids.add(id);
+    }
+    return ids.size > 0 ? [...ids].sort() : undefined;
 }
-function inferEnabledTransitions(predicate) {
+function inferEnabledTransitions(model, predicate) {
     const ids = [];
-    const source = Function.prototype.toString.call(predicate);
-    const pattern = /enabled\)?\s*\([^,]+,\s*(['"`])([^'"`]+)\1/g;
-    let match = pattern.exec(source);
-    while (match) {
-        const id = match[2];
-        if (id)
-            ids.push(id);
-        match = pattern.exec(source);
+    const walkExpr = (expr) => {
+        switch (expr.kind) {
+            case "transitionEnabled":
+                ids.push(expr.transitionId);
+                break;
+            case "eq":
+            case "neq":
+            case "and":
+            case "or":
+                for (const arg of expr.args)
+                    walkExpr(arg);
+                break;
+            case "not":
+                walkExpr(expr.args[0]);
+                break;
+            case "cond":
+                for (const arg of expr.args)
+                    walkExpr(arg);
+                break;
+            case "updateField":
+                walkExpr(expr.target);
+                walkExpr(expr.value);
+                break;
+            case "tagIs":
+                walkExpr(expr.arg);
+                break;
+            case "lenCat":
+                walkExpr(expr.arg);
+                break;
+            case "read":
+            case "readPre":
+            case "readOpArg":
+            case "lit":
+            case "freshToken":
+                break;
+        }
+    };
+    if ("kind" in predicate) {
+        walkExpr(predicate);
+        return ids;
+    }
+    if ("step" in predicate) {
+        if (predicate.pre)
+            walkExpr(predicate.pre);
+        if (predicate.post)
+            walkExpr(predicate.post);
+        if (predicate.step.transitionId)
+            ids.push(predicate.step.transitionId);
+        return ids;
     }
     return ids;
 }