modality-ts 0.0.8 → 0.0.10

package/dist/{kernel → core}/props/index.js

@@ -1,18 +1,52 @@
 import { initialValues } from "../ir/validator.js";
 export function always(_model, predicate, options = {}) {
-    return { kind: "always", name: options.name ?? "always", predicate, reads: propertyReads(_model, options, predicate), enabledTransitions: propertyEnabledTransitions(options, predicate) };
+    return {
+        kind: "always",
+        name: options.name ?? "always",
+        predicate,
+        reads: propertyReads(_model, options, predicate),
+        enabledTransitions: propertyEnabledTransitions(options, predicate),
+    };
 }
 export function alwaysStep(_model, predicate, options = {}) {
-    return { kind: "alwaysStep", name: options.name ?? "alwaysStep", predicate, reads: propertyReads(_model, options, predicate), enabledTransitions: propertyEnabledTransitions(options, predicate) };
+    return {
+        kind: "alwaysStep",
+        name: options.name ?? "alwaysStep",
+        predicate,
+        reads: propertyReads(_model, options, predicate),
+        enabledTransitions: propertyEnabledTransitions(options, predicate),
+    };
 }
 export function reachable(_model, predicate, options = {}) {
-    return { kind: "reachable", name: options.name ?? "reachable", predicate, reads: propertyReads(_model, options, predicate), enabledTransitions: propertyEnabledTransitions(options, predicate) };
+    return {
+        kind: "reachable",
+        name: options.name ?? "reachable",
+        predicate,
+        reads: propertyReads(_model, options, predicate),
+        enabledTransitions: propertyEnabledTransitions(options, predicate),
+    };
 }
 export function leadsToWithin(_model, trigger, goal, options) {
-    return { kind: "leadsToWithin", name: options.name ?? "leadsToWithin", trigger, goal, budget: options.budget, allowUserEvents: options.allowUserEvents, reads: propertyReads(_model, options, goal), enabledTransitions: propertyEnabledTransitions(options, trigger, goal) };
+    return {
+        kind: "leadsToWithin",
+        name: options.name ?? "leadsToWithin",
+        trigger,
+        goal,
+        budget: options.budget,
+        allowUserEvents: options.allowUserEvents,
+        reads: propertyReads(_model, options, goal),
+        enabledTransitions: propertyEnabledTransitions(options, trigger, goal),
+    };
 }
 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) };
+    return {
+        kind: "reachableFrom",
+        name: options.name ?? "reachableFrom",
+        when,
+        goal,
+        reads: propertyReads(_model, options, when, goal),
+        enabledTransitions: propertyEnabledTransitions(options, when, goal),
+    };
 }
 export function enabled(model, transitionId) {
     const transition = model.transitions.find((candidate) => candidate.id === transitionId);
@@ -63,19 +97,27 @@ function inferSourceReads(model, predicate) {
     const reads = new Set();
     const dotPattern = /\.([A-Za-z_$][\w$]*)/g;
     const bracketPattern = /\[\s*(['"`])([^'"`]+)\1\s*\]/g;
-    let match;
-    while ((match = dotPattern.exec(source))) {
-        if (varIds.has(match[1]))
-            reads.add(match[1]);
+    let match = dotPattern.exec(source);
+    while (match) {
+        const id = match[1];
+        if (id && varIds.has(id))
+            reads.add(id);
+        match = dotPattern.exec(source);
     }
-    while ((match = bracketPattern.exec(source))) {
-        if (varIds.has(match[2]))
-            reads.add(match[2]);
+    match = bracketPattern.exec(source);
+    while (match) {
+        const id = match[2];
+        if (id && varIds.has(id))
+            reads.add(id);
+        match = bracketPattern.exec(source);
     }
     return [...reads];
 }
 function recordingStateProxy(model, reads) {
-    const initials = new Map(model.vars.map((decl) => [decl.id, initialValues(decl.domain, decl.initial)[0]]));
+    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)
@@ -85,11 +127,12 @@ function recordingStateProxy(model, reads) {
             if (key === "valueOf")
                 return () => "";
             return nested;
-        }
+        },
     });
     return new Proxy({}, {
         get(_target, key) {
-            if (typeof key === "string" && model.vars.some((decl) => decl.id === key))
+            if (typeof key === "string" &&
+                model.vars.some((decl) => decl.id === key))
                 reads.add(key);
             if (key === Symbol.toPrimitive)
                 return () => "";
@@ -97,8 +140,10 @@ function recordingStateProxy(model, reads) {
                 return () => "";
             if (key === "valueOf")
                 return () => "";
-            return typeof key === "string" && initials.has(key) ? initials.get(key) : nested;
-        }
+            return typeof key === "string" && initials.has(key)
+                ? initials.get(key)
+                : nested;
+        },
     });
 }
 function recordingStepFacts() {
@@ -107,16 +152,19 @@ function recordingStepFacts() {
         enqueued: () => false,
         resolved: () => false,
         navigated: () => false,
-        navigatedTo: () => false
+        navigatedTo: () => false,
     };
 }
 function inferEnabledTransitions(predicate) {
     const ids = [];
     const source = Function.prototype.toString.call(predicate);
     const pattern = /enabled\)?\s*\([^,]+,\s*(['"`])([^'"`]+)\1/g;
-    let match;
-    while ((match = pattern.exec(source))) {
-        ids.push(match[2]);
+    let match = pattern.exec(source);
+    while (match) {
+        const id = match[2];
+        if (id)
+            ids.push(id);
+        match = pattern.exec(source);
     }
     return ids;
 }

package/dist/core/props/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/props/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAkEnD,MAAM,UAAU,MAAM,CACpB,MAAa,EACb,SAAyB,EACzB,UAA2B,EAAE;IAE7B,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,QAAQ;QAC9B,SAAS;QACT,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC;QAChD,kBAAkB,EAAE,0BAA0B,CAAC,OAAO,EAAE,SAAS,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,MAAa,EACb,SAAwB,EACxB,UAA2B,EAAE;IAE7B,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,YAAY;QAClC,SAAS;QACT,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC;QAChD,kBAAkB,EAAE,0BAA0B,CAAC,OAAO,EAAE,SAAS,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,MAAa,EACb,SAAyB,EACzB,UAA2B,EAAE;IAE7B,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,WAAW;QACjC,SAAS;QACT,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC;QAChD,kBAAkB,EAAE,0BAA0B,CAAC,OAAO,EAAE,SAAS,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,MAAa,EACb,OAAqC,EACrC,IAAoB,EACpB,OAGC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,eAAe;QACrC,OAAO;QACP,IAAI;QACJ,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;QAC3C,kBAAkB,EAAE,0BAA0B,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,MAAa,EACb,IAAoB,EACpB,IAAoB,EACpB,UAA2B,EAAE;IAE7B,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,eAAe;QACrC,IAAI;QACJ,IAAI;QACJ,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC;QACjD,kBAAkB,EAAE,0BAA0B,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC;KACpE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAY,EAAE,YAAoB;IACxD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CACvC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAC7C,CAAC;IACF,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,YAAY,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,KAAK,EAAE,EAAE,CACf,OAAO,CAEH,UAMD,CAAC,mBAAmB,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,CAC3C,CAAC;AACN,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAwB,EACxB,GAAG,UAA+B;IAElC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;IACtD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,EAAE,IAAI,uBAAuB,CAAC,SAAS,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC;AAED,SAAS,aAAa,CACpB,KAAY,EACZ,OAAwB,EACxB,GAAG,UAA+B;IAElC,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CAAC,KAAY,EAAE,SAAmB;IACxD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC;QACH,SAAS,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IAAC,MAAM,CAAC;QACP,kFAAkF;IACpF,CAAC;IACD,IAAI,CAAC;QACH,SAAS,CAAC,KAAK,EAAE,kBAAkB,EAAE,EAAE,KAAK,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,kFAAkF;IACpF,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAY,EAAE,SAAmB;IACzD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,UAAU,GAAG,uBAAuB,CAAC;IAC3C,MAAM,cAAc,GAAG,+BAA+B,CAAC;IACvD,IAAI,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxC,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IACD,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxC,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAY,EAAE,KAAkB;IAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACvB,IAAI,CAAC,EAAE;QACP,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;KAC5C,CAAC,CACH,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,KAAK,CACtB,EAAE,EACF;QACE,GAAG,CAAC,OAAO,EAAE,GAAG;YACd,IAAI,GAAG,KAAK,MAAM,CAAC,WAAW;gBAAE,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;YAChD,IAAI,GAAG,KAAK,UAAU;gBAAE,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;YACxC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;YACvC,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CACF,CAAC;IACF,OAAO,IAAI,KAAK,CACd,EAAE,EACF;QACE,GAAG,CAAC,OAAO,EAAE,GAAG;YACd,IACE,OAAO,GAAG,KAAK,QAAQ;gBACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;gBAE1C,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjB,IAAI,GAAG,KAAK,MAAM,CAAC,WAAW;gBAAE,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;YAChD,IAAI,GAAG,KAAK,UAAU;gBAAE,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;YACxC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;YACvC,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBACjD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBACnB,CAAC,CAAC,MAAM,CAAC;QACb,CAAC;KACF,CACY,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB;IACzB,OAAO;QACL,UAAU,EAAE,EAAgB;QAC5B,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK;QACrB,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK;QACrB,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;QACtB,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAmB;IAClD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,6CAA6C,CAAC;IAC9D,IAAI,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/{kernel → core}/report/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/kernel/report/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE/C,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACrC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC1C,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxC,mBAAmB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,qBAAqB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,cAAc,GAAG,eAAe,GAAG,iBAAiB,GAAG,UAAU,GAAG,QAAQ,CAAC;CAC1F;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,mBAAmB,GAC3B,wBAAwB,GACxB,UAAU,GACV,WAAW,GACX,iBAAiB,GACjB,OAAO,CAAC;AAEZ,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,mBAAmB,CAAC;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC3C,KAAK,EAAE;QACL,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,WAAW,EAAE,iBAAiB,CAAC;CAChC;AAED,MAAM,MAAM,mBAAmB,GAAG,YAAY,GAAG,gBAAgB,GAAG,cAAc,CAAC;AAEnF,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,eAAe,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE;QACP,MAAM,EAAE,mBAAmB,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC;QACjB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,mBAAmB,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACrC,QAAQ,EAAE,SAAS;QACjB,EAAE,EAAE,MAAM,CAAC;QACX,cAAc,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;QACtE,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,EAAE,CAAC;IACJ,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC1C,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxC,mBAAmB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE;QACR,aAAa,EAAE,MAAM,CAAC;QACtB,cAAc,EAAE,MAAM,CAAC;QACvB,aAAa,EAAE,MAAM,CAAC;QACtB,WAAW,EAAE,MAAM,CAAC;QACpB,qBAAqB,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,gBAAgB,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,SAAS;QACd,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,mBAAmB,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC;QACjB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAAE,CAAC;IACJ,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,iBAAiB,EAAE,SAAS;QAC1B,YAAY,EAAE,MAAM,CAAC;QACrB,KAAK,EAAE,MAAM,CAAC;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;KAClB,EAAE,CAAC;CACL"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/report/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE/C,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACrC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC1C,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxC,mBAAmB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,qBAAqB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EACN,cAAc,GACd,eAAe,GACf,iBAAiB,GACjB,UAAU,GACV,QAAQ,CAAC;CACd;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,mBAAmB,GAC3B,wBAAwB,GACxB,UAAU,GACV,WAAW,GACX,iBAAiB,GACjB,OAAO,CAAC;AAEZ,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,mBAAmB,CAAC;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC3C,KAAK,EAAE;QACL,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,WAAW,EAAE,iBAAiB,CAAC;CAChC;AAED,MAAM,MAAM,mBAAmB,GAC3B,YAAY,GACZ,gBAAgB,GAChB,cAAc,CAAC;AAEnB,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,eAAe,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE;QACP,MAAM,EAAE,mBAAmB,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC;QACjB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,mBAAmB,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACrC,QAAQ,EAAE,SAAS;QACjB,EAAE,EAAE,MAAM,CAAC;QACX,cAAc,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;QACtE,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,EAAE,CAAC;IACJ,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC1C,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxC,mBAAmB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE;QACR,aAAa,EAAE,MAAM,CAAC;QACtB,cAAc,EAAE,MAAM,CAAC;QACvB,aAAa,EAAE,MAAM,CAAC;QACtB,WAAW,EAAE,MAAM,CAAC;QACpB,qBAAqB,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,gBAAgB,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,SAAS;QACd,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,mBAAmB,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC;QACjB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAAE,CAAC;IACJ,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,iBAAiB,EAAE,SAAS;QAC1B,YAAY,EAAE,MAAM,CAAC;QACrB,KAAK,EAAE,MAAM,CAAC;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;KAClB,EAAE,CAAC;CACL"}

package/dist/{kernel → core}/report/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/kernel/report/types.ts"],"names":[],"mappings":""}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/report/types.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/trace/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEpE,MAAM,WAAW,SAAS;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,UAAU,CAAC;IAClB,GAAG,EAAE,UAAU,CAAC;IAChB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,KAAK,GAAG,SAAS,CAAC;QAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAA;KAAE,CAAC,CAAC;CAC/E;AAED,MAAM,WAAW,KAAK;IACpB,KAAK,EAAE,SAAS,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,aAAc,SAAQ,KAAK;IAC1C,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,OAAO,CAAC;CACf"}

package/dist/core/trace/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/core/trace/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/trace/types.ts"],"names":[],"mappings":""}

package/dist/extract/engine/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./pipeline/index.js";
+export * from "./spi/index.js";
+export { inferDomainFromTypeNode } from "./ts/domains.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/extract/engine/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/extract/engine/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/extract/engine/index.js

@@ -0,0 +1,4 @@
+export * from "./pipeline/index.js";
+export * from "./spi/index.js";
+export { inferDomainFromTypeNode } from "./ts/domains.js";
+//# sourceMappingURL=index.js.map

package/dist/extract/engine/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/extract/engine/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/{extraction → extract/engine}/pipeline/index.d.ts

@@ -1,4 +1,4 @@
-import type { Model, PluginProvenance, StateVarDecl, TemplateFragment, Transition } from "modality-ts/kernel";
+import type { Model, PluginProvenance, StateVarDecl, TemplateFragment, Transition } from "modality-ts/core";
 import type { StateSourcePlugin, RouterPlugin, WriteChannel } from "../spi/index.js";
 export interface HandlerExtractionResult {
     transitions: readonly Transition[];
@@ -24,7 +24,6 @@ export interface ExtractionPipelineOptions {
     effectApis?: readonly string[];
     sourcePlugins?: readonly StateSourcePlugin[];
     routerPlugin?: RouterPlugin;
-    extractHandlers?: (sourceText: string, options: HandlerExtractorOptions) => HandlerExtractionResult;
 }
 export interface ExtractionPipelineResult {
     model?: Model;

package/dist/extract/engine/pipeline/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/pipeline/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,KAAK,EACL,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EAChB,UAAU,EACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EACV,iBAAiB,EACjB,YAAY,EACZ,YAAY,EACb,MAAM,iBAAiB,CAAC;AAGzB,MAAM,WAAW,uBAAuB;IACtC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IACnC,QAAQ,EAAE,SAAS;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,SAAS,YAAY,EAAE,CAAC;IACnC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAC;IACvC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,wBAAwB;IACvC,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IACnC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,SAAS,EAAE,SAAS,YAAY,EAAE,CAAC;IACnC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,SAAS,EAAE,SAAS,YAAY,EAAE,CAAC;IACnC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAC;IACvC,OAAO,EAAE;QACP,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;QACrC,MAAM,CAAC,EAAE,gBAAgB,CAAC;KAC3B,CAAC;CACH;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd;AAED,eAAO,MAAM,wBAAwB,EAAE,SAAS,aAAa,EAS5D,CAAC;AAEF,wBAAgB,oBAAoB,CAClC,aAAa,GAAE,SAAS,iBAAiB,EAAO,EAChD,YAAY,CAAC,EAAE,YAAY,GAC1B,wBAAwB,CAAC,SAAS,CAAC,CAQrC;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,yBAAyB,GACjC,wBAAwB,CA2F1B"}

package/dist/{extraction → extract/engine}/pipeline/index.js

@@ -1,3 +1,4 @@
+import { extractReactSourceTransitions } from "../ts/react-source-transitions.js";
 export const extractionPipelinePhases = [
     { id: "P0", name: "project-load" },
     { id: "P1", name: "state-inventory" },
@@ -6,22 +7,28 @@ export const extractionPipelinePhases = [
     { id: "P4", name: "effect-summarization" },
     { id: "P5", name: "escape-analysis" },
     { id: "P6", name: "overlay-merge" },
-    { id: "P7", name: "emit-artifacts" }
+    { id: "P7", name: "emit-artifacts" },
 ];
 export function createPluginRegistry(sourcePlugins = [], routerPlugin) {
     validateUniquePlugins(sourcePlugins);
     return {
-        sources: sourcePlugins.map((plugin) => provenanceForSource(plugin)).sort(comparePluginProvenance),
-        ...(routerPlugin ? { router: provenanceForRouter(routerPlugin) } : {})
+        sources: sourcePlugins
+            .map((plugin) => provenanceForSource(plugin))
+            .sort(comparePluginProvenance),
+        ...(routerPlugin ? { router: provenanceForRouter(routerPlugin) } : {}),
     };
 }
 export function runExtractionPipeline(options) {
     const sourcePlugins = options.sourcePlugins ?? [];
     const plugins = createPluginRegistry(sourcePlugins, options.routerPlugin);
-    const discoverCtx = { sourceText: options.sourceText, fileName: options.fileName, route: options.route };
+    const discoverCtx = {
+        sourceText: options.sourceText,
+        fileName: options.fileName,
+        route: options.route,
+    };
     const discoveries = sourcePlugins.map((plugin) => ({
         plugin,
-        decls: plugin.discover(discoverCtx)
+        decls: plugin.discover(discoverCtx),
     }));
     const stateVars = discoveries
         .flatMap((discovery) => discovery.decls)
@@ -29,33 +36,61 @@ export function runExtractionPipeline(options) {
         .filter((decl) => Boolean(decl));
     const writeChannels = sourcePlugins.flatMap((plugin) => plugin.writeChannels({
         sourceText: options.sourceText,
-        fileName: options.fileName
+        fileName: options.fileName,
     }));
     const pluginWarnings = sourcePlugins.flatMap((plugin) => plugin.safetyWarnings?.({
         sourceText: options.sourceText,
-        fileName: options.fileName
+        fileName: options.fileName,
     }) ?? []);
     const templateFragments = discoveries.flatMap(({ plugin, decls }) => decls.flatMap((decl) => plugin.template ? [plugin.template(decl, { route: options.route })] : []));
-    const extracted = options.extractHandlers?.(options.sourceText, {
+    const extractionCtx = {
+        sourceText: options.sourceText,
+        fileName: options.fileName,
+        route: options.route,
+        effectApis: options.effectApis ?? [],
+        routePatterns: options.routePatterns ?? [],
+        stateVars: [
+            ...stateVars,
+            ...templateFragments.flatMap((fragment) => fragment.vars),
+        ],
+        writeChannels,
+        sourcePlugins,
+        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
+    };
+    const genericExtraction = extractReactSourceTransitions(options.sourceText, {
         route: options.route,
         fileName: options.fileName,
         effectApis: options.effectApis ?? [],
         routePatterns: options.routePatterns ?? [],
-        stateVars: [...stateVars, ...templateFragments.flatMap((fragment) => fragment.vars)],
+        stateVars: extractionCtx.stateVars,
         writeChannels,
         sourcePlugins,
-        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {})
-    }) ?? { transitions: [], warnings: [] };
-    const transitions = [...extracted.transitions, ...templateFragments.flatMap((fragment) => fragment.transitions)];
-    const routes = [options.route, ...navigatedRoutes(transitions.map((transition) => transition.effect))];
+        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
+    });
+    const sourceExtractions = sourcePlugins.map((plugin) => plugin.extract?.(extractionCtx) ?? { transitions: [], warnings: [] });
+    const extractedTransitions = sourceExtractions.flatMap((result) => result.transitions);
+    const extractedWarnings = sourceExtractions.flatMap((result) => result.warnings ?? []);
+    const transitions = [
+        ...genericExtraction.transitions,
+        ...extractedTransitions,
+        ...templateFragments.flatMap((fragment) => fragment.transitions),
+    ];
+    const routes = [
+        options.route,
+        ...navigatedRoutes(transitions.map((transition) => transition.effect)),
+    ];
     return {
         transitions,
-        warnings: [...extracted.warnings.map((warning) => warning.message), ...pluginWarnings.map((warning) => warning.message)].sort(),
+        warnings: [
+            ...extractedWarnings.map((warning) => warning.message),
+            ...genericExtraction.warnings.map((warning) => warning.message),
+            ...pluginWarnings.map((warning) => warning.message),
+        ].sort(),
         stateVars,
         templateFragments,
         routeVars: options.routerPlugin?.routeVars(routes, { route: options.route }) ?? [],
         writeChannels,
-        plugins
+        plugins,
     };
 }
 function provenanceForSource(plugin) {
@@ -63,7 +98,7 @@ function provenanceForSource(plugin) {
         id: plugin.id,
         version: plugin.version ?? "unknown",
         kind: "state-source",
-        packageNames: [...plugin.packageNames].sort()
+        packageNames: [...plugin.packageNames].sort(),
     };
 }
 function provenanceForRouter(plugin) {
@@ -71,7 +106,7 @@ function provenanceForRouter(plugin) {
         id: plugin.id,
         version: plugin.version ?? "unknown",
         kind: "router",
-        packageNames: [...plugin.packageNames].sort()
+        packageNames: [...plugin.packageNames].sort(),
     };
 }
 function comparePluginProvenance(left, right) {
@@ -88,7 +123,9 @@ function validateUniquePlugins(sourcePlugins) {
 function navigatedRoutes(effects) {
     const routes = new Set();
     const visit = (effect) => {
-        if (effect.kind === "navigate" && effect.to?.kind === "lit" && typeof effect.to.value === "string") {
+        if (effect.kind === "navigate" &&
+            effect.to?.kind === "lit" &&
+            typeof effect.to.value === "string") {
             routes.add(effect.to.value);
         }
         if (effect.kind === "seq")

package/dist/extract/engine/pipeline/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/engine/pipeline/index.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AA+ClF,MAAM,CAAC,MAAM,wBAAwB,GAA6B;IAChE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE;IAClC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,iBAAiB,EAAE;IACrC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,kBAAkB,EAAE;IACtC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,mBAAmB,EAAE;IACvC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,EAAE;IAC1C,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,iBAAiB,EAAE;IACrC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE;IACnC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;CACrC,CAAC;AAEF,MAAM,UAAU,oBAAoB,CAClC,gBAA8C,EAAE,EAChD,YAA2B;IAE3B,qBAAqB,CAAC,aAAa,CAAC,CAAC;IACrC,OAAO;QACL,OAAO,EAAE,aAAa;aACnB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;aAC5C,IAAI,CAAC,uBAAuB,CAAC;QAChC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,mBAAmB,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAkC;IAElC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,oBAAoB,CAAC,aAAa,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG;QAClB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;KACrB,CAAC;IACF,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM;QACN,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;KACpC,CAAC,CAAC,CAAC;IACJ,MAAM,SAAS,GAAG,WAAW;SAC1B,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;SACvC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;SACvB,MAAM,CAAC,CAAC,IAAI,EAAwB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACrD,MAAM,CAAC,aAAa,CAAC;QACnB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC,CACH,CAAC;IACF,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAC1C,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,cAAc,EAAE,CAAC;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC,IAAI,EAAE,CACX,CAAC;IACF,MAAM,iBAAiB,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAClE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACrB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACzE,CACF,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,SAAS,EAAE;YACT,GAAG,SAAS;YACZ,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;SAC1D;QACD,aAAa;QACb,aAAa;QACb,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC;IACF,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,OAAO,CAAC,UAAU,EAAE;QAC1E,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,SAAS,EAAE,aAAa,CAAC,SAAS;QAClC,aAAa;QACb,aAAa;QACb,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,aAAa,CAAC,GAAG,CACzC,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,OAAO,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CACvE,CAAC;IACF,MAAM,oBAAoB,GAAG,iBAAiB,CAAC,OAAO,CACpD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAC/B,CAAC;IACF,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,OAAO,CACjD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAClC,CAAC;IACF,MAAM,WAAW,GAAG;QAClB,GAAG,iBAAiB,CAAC,WAAW;QAChC,GAAG,oBAAoB;QACvB,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;KACjE,CAAC;IACF,MAAM,MAAM,GAAG;QACb,OAAO,CAAC,KAAK;QACb,GAAG,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;KACvE,CAAC;IACF,OAAO;QACL,WAAW;QACX,QAAQ,EAAE;YACR,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;YACtD,GAAG,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;YAC/D,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;SACpD,CAAC,IAAI,EAAE;QACR,SAAS;QACT,iBAAiB;QACjB,SAAS,EACP,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE;QACzE,aAAa;QACb,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,SAAS;QACpC,IAAI,EAAE,cAAc;QACpB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAoB;IAC/C,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,SAAS;QACpC,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAsB,EACtB,KAAuB;IAEvB,OAAO,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,qBAAqB,CAC5B,aAA2C;IAE3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,sCAAsC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAA4B;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,MAAgB,EAAQ,EAAE;QACvC,IACE,MAAM,CAAC,IAAI,KAAK,UAAU;YAC1B,MAAM,CAAC,EAAE,EAAE,IAAI,KAAK,KAAK;YACzB,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,KAAK,QAAQ,EACnC,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvB,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC"}

package/dist/{extraction → extract/engine}/spi/index.d.ts

@@ -1,4 +1,4 @@
-import type { AbstractDomain, EffectIR, ExprIR, Locator, ModelState, SourceAnchor, StateVarDecl, TemplateFragment, Value } from "modality-ts/kernel";
+import type { AbstractDomain, EffectIR, ExprIR, Locator, ModelState, SourceAnchor, StateVarDecl, TemplateFragment, Value } from "modality-ts/core";
 export interface SourceDecl {
     id: string;
     kind: string;
@@ -34,6 +34,21 @@ export interface ChannelCtx {
     sourceText: string;
     fileName: string;
 }
+export interface ExtractCtx {
+    sourceText: string;
+    fileName: string;
+    route: string;
+    routePatterns: readonly string[];
+    effectApis: readonly string[];
+    stateVars: readonly StateVarDecl[];
+    writeChannels: readonly WriteChannel[];
+    sourcePlugins: readonly StateSourcePlugin[];
+    routerPlugin?: RouterPlugin;
+}
+export interface SourceExtractionResult {
+    transitions: readonly import("modality-ts/core").Transition[];
+    warnings?: readonly ExtractionWarning[];
+}
 export interface M0Ctx {
     read(name: string, path?: readonly string[]): ExprIR;
     locator?: Locator;
@@ -69,6 +84,7 @@ export interface StateSourcePlugin {
     domainHints?(decl: SourceDecl, ctx: TypeCtx): AbstractDomain | undefined;
     writeChannels(ctx: ChannelCtx): readonly WriteChannel[];
     safetyWarnings?(ctx: ChannelCtx): readonly ExtractionWarning[];
+    extract?(ctx: ExtractCtx): SourceExtractionResult;
     summarizeWrite?(call: CallSite, ctx: M0Ctx): EffectIR | "unsupported";
     template?(decl: SourceDecl, options: ResolvedOptions): TemplateFragment;
     harness: {

package/dist/extract/engine/spi/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/spi/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,MAAM,EACN,OAAO,EACP,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,KAAK,EACN,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,YAAY,GAAG,QAAQ,GAAG,kBAAkB,CAAC;IACrD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,YAAY,CAAC;CACtB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAED,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IAC9B,MAAM,EAAE,YAAY,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,SAAS,YAAY,EAAE,CAAC;IACnC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAC;IACvC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB;IACrC,WAAW,EAAE,SAAS,OAAO,kBAAkB,EAAE,UAAU,EAAE,CAAC;IAC9D,QAAQ,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAAC;IACrD,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE;QACP,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,YAAY,CAAC,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,UAAU,EAAE,CAAC;IAClD,WAAW,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,GAAG,cAAc,GAAG,SAAS,CAAC;IACzE,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,SAAS,YAAY,EAAE,CAAC;IACxD,cAAc,CAAC,CAAC,GAAG,EAAE,UAAU,GAAG,SAAS,iBAAiB,EAAE,CAAC;IAC/D,OAAO,CAAC,CAAC,GAAG,EAAE,UAAU,GAAG,sBAAsB,CAAC;IAClD,cAAc,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,GAAG,QAAQ,GAAG,aAAa,CAAC;IACtE,QAAQ,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,GAAG,gBAAgB,CAAC;IACxE,OAAO,EAAE;QACP,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG,YAAY,CAAC;QACrC,OAAO,CACL,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,YAAY,GACpB,YAAY,GAAG,cAAc,CAAC;QACjC,OAAO,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;KAC7E,CAAC;IACF,WAAW,CAAC,EAAE;QACZ,cAAc,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;QACtC,cAAc,EAAE,MAAM,CAAC;KACxB,CAAC;CACH;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,SAAS,CACP,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,eAAe,GACvB,SAAS,YAAY,EAAE,CAAC;IAC3B,cAAc,CACZ,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS,OAAO,EAAE,GACvB;QAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,CAAC;IACtE,OAAO,EAAE;QACP,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG,YAAY,CAAC;QACrC,OAAO,CAAC,OAAO,EAAE,YAAY,GAAG,YAAY,GAAG,cAAc,CAAC;QAC9D,QAAQ,CACN,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,EACjC,EAAE,CAAC,EAAE,MAAM,GACV,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;KACzB,CAAC;CACH"}

package/dist/extract/engine/spi/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/engine/spi/index.ts"],"names":[],"mappings":""}

package/dist/extract/engine/ts/ast.d.ts

@@ -0,0 +1,23 @@
+import * as ts from "typescript";
+import type { Value } from "modality-ts/core";
+export type ExtractableHandler = ts.ArrowFunction | ts.FunctionExpression | (ts.FunctionDeclaration & {
+    body: ts.Block;
+});
+export declare function isUseStateCall(node: ts.Expression): node is ts.CallExpression;
+export declare function isUseReducerCall(node: ts.Expression): node is ts.CallExpression;
+export declare function isUseRefCall(node: ts.Expression): node is ts.CallExpression;
+export declare function isUseEffectCall(node: ts.CallExpression): boolean;
+export declare function isExtractableHandler(node: ts.Node): node is ExtractableHandler;
+export declare function extractableHandlerInitializer(node: ts.Expression): ExtractableHandler | undefined;
+export declare function componentNameFor(node: ts.Node): string | undefined;
+export declare function providerComponentNames(source: ts.SourceFile): Set<string>;
+export declare function startsUppercase(value: string): boolean;
+export declare function propertyName(name: ts.PropertyName): string | undefined;
+export declare function isPropertyAccessLike(expression: ts.Expression): expression is ts.PropertyAccessExpression;
+export declare function literalValue(expression: ts.Expression): Value | undefined;
+export declare function callName(expression: ts.Expression): string | undefined;
+export declare function lineAndColumn(source: ts.SourceFile, node: ts.Node): {
+    line: number;
+    column: number;
+};
+//# sourceMappingURL=ast.d.ts.map

package/dist/extract/engine/ts/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE9C,MAAM,MAAM,kBAAkB,GAC1B,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,GACrB,CAAC,EAAE,CAAC,mBAAmB,GAAG;IAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAA;CAAE,CAAC,CAAC;AAElD,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,cAAc,CAM7E;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,UAAU,GAClB,IAAI,IAAI,EAAE,CAAC,cAAc,CAM3B;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,cAAc,CAM3E;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAIhE;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ,IAAI,IAAI,kBAAkB,CAM5B;AAED,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,EAAE,CAAC,UAAU,GAClB,kBAAkB,GAAG,SAAS,CAWhC;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,SAAS,CAclE;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CASzE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,SAAS,CAQtE;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,UAAU,IAAI,EAAE,CAAC,wBAAwB,CAK3C;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,KAAK,GAAG,SAAS,CAWzE;AAED,wBAAgB,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,SAAS,CAKtE;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAGlC"}

package/dist/extract/engine/ts/ast.js

@@ -0,0 +1,97 @@
+import * as ts from "typescript";
+export function isUseStateCall(node) {
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useState");
+}
+export function isUseReducerCall(node) {
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useReducer");
+}
+export function isUseRefCall(node) {
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useRef");
+}
+export function isUseEffectCall(node) {
+    return (ts.isIdentifier(node.expression) && node.expression.text === "useEffect");
+}
+export function isExtractableHandler(node) {
+    return (ts.isArrowFunction(node) ||
+        ts.isFunctionExpression(node) ||
+        (ts.isFunctionDeclaration(node) && Boolean(node.body)));
+}
+export function extractableHandlerInitializer(node) {
+    if (isExtractableHandler(node))
+        return node;
+    if (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useCallback") {
+        const callback = node.arguments[0];
+        return callback && isExtractableHandler(callback) ? callback : undefined;
+    }
+    return undefined;
+}
+export function componentNameFor(node) {
+    if (ts.isFunctionDeclaration(node) &&
+        node.name &&
+        startsUppercase(node.name.text))
+        return node.name.text;
+    if (ts.isVariableDeclaration(node) &&
+        ts.isIdentifier(node.name) &&
+        startsUppercase(node.name.text))
+        return node.name.text;
+    return undefined;
+}
+export function providerComponentNames(source) {
+    const names = new Set();
+    const visit = (node) => {
+        const name = componentNameFor(node);
+        if (name && node.getText(source).includes(".Provider"))
+            names.add(name);
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return names;
+}
+export function startsUppercase(value) {
+    return /^[A-Z]/.test(value);
+}
+export function propertyName(name) {
+    if (ts.isIdentifier(name) ||
+        ts.isStringLiteral(name) ||
+        ts.isNumericLiteral(name))
+        return name.text;
+    return undefined;
+}
+export function isPropertyAccessLike(expression) {
+    return (ts.isPropertyAccessExpression(expression) ||
+        ts.isPropertyAccessChain(expression));
+}
+export function literalValue(expression) {
+    if (expression.kind === ts.SyntaxKind.TrueKeyword)
+        return true;
+    if (expression.kind === ts.SyntaxKind.FalseKeyword)
+        return false;
+    if (expression.kind === ts.SyntaxKind.NullKeyword)
+        return null;
+    if (ts.isStringLiteral(expression) ||
+        ts.isNoSubstitutionTemplateLiteral(expression))
+        return expression.text;
+    if (ts.isNumericLiteral(expression))
+        return Number(expression.text);
+    return undefined;
+}
+export function callName(expression) {
+    if (ts.isIdentifier(expression))
+        return expression.text;
+    if (isPropertyAccessLike(expression))
+        return `${callName(expression.expression) ?? expression.expression.getText()}.${expression.name.text}`;
+    return undefined;
+}
+export function lineAndColumn(source, node) {
+    const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
+    return { line: pos.line + 1, column: pos.character + 1 };
+}
+//# sourceMappingURL=ast.js.map

package/dist/extract/engine/ts/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,MAAM,UAAU,cAAc,CAAC,IAAmB;IAChD,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAmB;IAEnB,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,CACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAmB;IAC9C,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,CAClC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAuB;IACrD,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,CACzE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAa;IAEb,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,IAAmB;IAEnB,IAAI,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,EACtC,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,QAAQ,IAAI,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAa;IAC5C,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;QACT,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE/B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE/B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAqB;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAqB;IAChD,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAEzB,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAyB;IAEzB,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QACzC,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,UAAyB;IACpD,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IACjE,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC/D,IACE,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC;QAE9C,OAAO,UAAU,CAAC,IAAI,CAAC;IACzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACpE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,UAAyB;IAChD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IACxD,IAAI,oBAAoB,CAAC,UAAU,CAAC;QAClC,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACzG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,MAAqB,EACrB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC"}

package/dist/extract/engine/ts/components.d.ts

@@ -0,0 +1,21 @@
+import * as ts from "typescript";
+import type { AbstractDomain, StateVarDecl } from "modality-ts/core";
+import type { ComponentDecl, CustomHookDecl, ExtractableHandler, SetterBinding } from "./types.js";
+export declare function handlerExpression(expression: ts.Expression | undefined, handlers: Map<string, ExtractableHandler>): ExtractableHandler | undefined;
+export declare function componentDeclarations(source: ts.SourceFile): Map<string, ComponentDecl>;
+export declare function customHookDeclarations(source: ts.SourceFile): Map<string, CustomHookDecl>;
+export declare function isCustomHookDeclaration(node: ts.Node): boolean;
+export declare function inlineCustomHookState(source: ts.SourceFile, fileName: string, node: ts.VariableDeclaration, customHooks: Map<string, CustomHookDecl>, vars: StateVarDecl[], setters: Map<string, SetterBinding>, component: string, route: string): boolean;
+export declare function calledCustomHook(node: ts.Node, customHooks: Set<string>): string | undefined;
+export declare function detectStatefulListComponents(source: ts.SourceFile, components: Map<string, ComponentDecl>): Set<string>;
+export declare function listRenderedHandlerInfo(attribute: ts.JsxAttribute, vars: readonly StateVarDecl[], component: string): {
+    varId: string;
+    domain: AbstractDomain;
+    itemName: string;
+} | undefined;
+export declare function isForwardablePropName(name: string): boolean;
+export declare function isIntrinsicJsxAttribute(attribute: ts.JsxAttribute): boolean;
+export declare function jsxTagName(attribute: ts.JsxAttribute): string | undefined;
+export declare function componentName(component: ComponentDecl): string | undefined;
+export declare function customHookDeclarationName(node: ts.Node): string | undefined;
+//# sourceMappingURL=components.d.ts.map

package/dist/extract/engine/ts/components.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"components.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/components.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AASrE,OAAO,KAAK,EACV,aAAa,EACb,cAAc,EACd,kBAAkB,EAElB,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,EACrC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,GACxC,kBAAkB,GAAG,SAAS,CAKhC;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,EAAE,CAAC,UAAU,GACpB,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAuB5B;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,EAAE,CAAC,UAAU,GACpB,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAiB7B;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAE9D;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,mBAAmB,EAC5B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,EACxC,IAAI,EAAE,YAAY,EAAE,EACpB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,OAAO,CAqCT;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,GACvB,MAAM,GAAG,SAAS,CAMpB;AAED,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GACrC,GAAG,CAAC,MAAM,CAAC,CAkBb;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,IAAI,EAAE,SAAS,YAAY,EAAE,EAC7B,SAAS,EAAE,MAAM,GAChB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CA0BzE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE3D;AAED,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,OAAO,CAQ3E;AAED,wBAAgB,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,SAAS,CAOzE;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,aAAa,GAAG,MAAM,GAAG,SAAS,CAI1E;AAkED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,SAAS,CAiB3E"}