fhirpath-ts 0.2.1 → 0.2.2

package/dist/eslint/index.js

@@ -1,14 +1,17 @@
 import { readFileSync } from 'node:fs';
 import { analyzeSite } from "../analyzer/analyze.js";
-import { CALL_SITES, columnFunctionDeclaration, constructsEngine, declaredColumnOverloads, DTO_BASE_NAME, dtoRootsOf, expressionEntries, isCheckedCall, isCheckedTag, isForeignModule, rootOf, siteContext, TAG_NAME, } from "../analyzer/expression-policy.js";
+import { CALL_SITES, callExpressionCandidates, columnFunctionDeclaration, constructsEngine, declaredColumnOverloads, DTO_BASE_NAME, dtoRootsOf, isCheckedCall, isCheckedTag, isForeignModule, rootOf, TAG_NAME, } from "../analyzer/expression-policy.js";
 import { r4Model } from "../r4/index.js";
 function isStringLiteral(node) {
     return node.type === 'Literal' && typeof node.value === 'string';
 }
-/** Statically-known property key (`path` in `{ path: ... }` or `{ 'path': ... }`), undefined when computed. */
+/**
+ * Statically-known property key: `path` in `{ path: ... }`, `{ 'path': ... }`,
+ * or `{ ['path']: ... }`; undefined for other computed keys.
+ */
 function propertyKeyName(property) {
     if (property.computed) {
-        return undefined;
+        return isStringLiteral(property.key) ? property.key.value : undefined;
     }
     if (property.key.type === 'Identifier') {
         return property.key.name;
@@ -20,7 +23,9 @@ const estreeAst = {
     string: node => (isStringLiteral(node) ? { node, expression: node.value } : undefined),
     boolean: node => (node.type === 'Literal' && typeof node.value === 'boolean' ? node.value : undefined),
     properties: node => node.type === 'ObjectExpression'
-        ? node.properties.flatMap(property => property.type === 'Property' ? [{ name: propertyKeyName(property), value: property.value }] : [])
+        ? node.properties.map(property => property.type === 'Property'
+            ? { name: propertyKeyName(property), value: property.value }
+            : { name: undefined, value: property.argument, spread: true })
         : undefined,
     elements: node => (node.type === 'ArrayExpression' ? node.elements.filter(element => element !== null) : undefined),
 };
@@ -264,7 +269,6 @@ const noInvalidExpressions = {
                     policy,
                     name,
                     receiverRoot: receiverRoot(callee),
-                    argument,
                     node,
                     enclosing: policy.rootFromClass === true ? enclosingClass(ancestors) : undefined,
                 });
@@ -296,9 +300,10 @@ const noInvalidExpressions = {
                     if (!isCheckedCall(call.policy, call.name, call.receiverRoot, bindings)) {
                         continue;
                     }
-                    const site = siteContext(call.policy, index => call.node.arguments[index], rootOf(call.enclosing, dtoRoots), estreeAst);
-                    for (const entry of expressionEntries(call.argument, call.policy.shape, estreeAst)) {
-                        checkAt(entry.node, entry.expression, site);
+                    for (const candidate of callExpressionCandidates(call.policy, index => call.node.arguments[index], rootOf(call.enclosing, dtoRoots), estreeAst)) {
+                        if (candidate.expression !== undefined) {
+                            checkAt(candidate.node, candidate.expression, candidate.context);
+                        }
                     }
                 }
             },

package/dist/eslint/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eslint/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAKtC,OAAO,EAAE,WAAW,EAAgD,MAAM,wBAAwB,CAAA;AAClG,OAAO,EACL,UAAU,EAGV,yBAAyB,EACzB,gBAAgB,EAChB,uBAAuB,EACvB,aAAa,EACb,UAAU,EAEV,iBAAiB,EAEjB,aAAa,EACb,YAAY,EACZ,eAAe,EAEf,MAAM,EAEN,WAAW,EAEX,QAAQ,GACT,MAAM,kCAAkC,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAExC,SAAS,eAAe,CAAC,IAAiB;IACxC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAA;AAClE,CAAC;AAED,+GAA+G;AAC/G,SAAS,eAAe,CAAC,QAAyB;IAChD,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAA;IAC1B,CAAC;IACD,OAAO,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AACvE,CAAC;AAED,yDAAyD;AACzD,MAAM,SAAS,GAA+B;IAC5C,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACtG,UAAU,EAAE,IAAI,CAAC,EAAE,CACjB,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAC9B,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CACjC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CACjG;QACH,CAAC,CAAC,SAAS;IACf,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;CACpH,CAAA;AAED,gGAAgG;AAChG,SAAS,eAAe,CAAC,OAAuB,EAAE,IAAiB;IACjE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,YAAY;YACf,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YACtB,OAAM;QACR,KAAK,eAAe;YAClB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC1C,eAAe,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YAC7F,CAAC;YACD,OAAM;QACR,KAAK,cAAc;YACjB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACvC,IAAI,OAAO,EAAE,CAAC;oBACZ,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;gBAChC,CAAC;YACH,CAAC;YACD,OAAM;QACR,KAAK,mBAAmB;YACtB,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACnC,OAAM;QACR,KAAK,aAAa;YAChB,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;YACvC,OAAM;QACR;YACE,yDAAyD;YACzD,OAAM;IACV,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CAAC,MAAwC;IAC5D,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACvC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,OAAO,GAAqC,MAAM,CAAC,MAAM,CAAA;IAC7D,OAAO,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC3C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AACjE,CAAC;AAED,uFAAuF;AACvF,SAAS,MAAM,CAAC,IAAiB;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,IAAI,CAAA;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9F,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;QACpB,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,8FAA8F;AAC9F,SAAS,kBAAkB,CAAC,SAAiC;IAC3D,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAsD,CAAA;IACpF,IAAI,MAAM,EAAE,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAA;IACtB,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,GAAG,CAAC,IAAI,CAAA;IACjB,CAAC;IACD,OAAO,GAAG,KAAK,SAAS,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1E,CAAC;AAED,2GAA2G;AAC3G,SAAS,UAAU,CAAC,IAAsD;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAA;IAC5B,MAAM,YAAY,GAChB,IAAI,EAAE,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1G,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI;QACnB,OAAO,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,UAAU;QAC5F,QAAQ,EAAE,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KAC9D,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,SAAiC;IACvD,KAAK,IAAI,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC1E,OAAO,UAAU,CAAC,IAAI,CAAC,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,oBAAoB,GAAoB;IAC5C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EAAE,6DAA6D;SAC3E;QACD,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oBACtD,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;oBACjC,qEAAqE;oBACrE,2EAA2E;oBAC3E,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC7B,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC9B;gBACD,oBAAoB,EAAE,KAAK;aAC5B;SACF;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAGxC,CAAA;QACD,oEAAoE;QACpE,2DAA2D;QAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,YAAY,GAA+C,EAAE,CAAA;QACnE,MAAM,eAAe,GAAG,CAAC,IAA6E,EAAQ,EAAE;YAC9G,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;gBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YAC3B,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;YACjC,CAAC;QACH,CAAC,CAAA;QACD,MAAM,IAAI,GAAgG,EAAE,CAAA;QAC5G,MAAM,KAAK,GASL,EAAE,CAAA;QACR,mFAAmF;QACnF,MAAM,OAAO,GAAoB,EAAE,CAAA;QACnC;;;;;;;WAOG;QACH,MAAM,kBAAkB,GAKlB,EAAE,CAAA;QACR,MAAM,eAAe,GAAuC,EAAE,CAAA;QAC9D,MAAM,OAAO,GAAG,CAAC,IAAiB,EAAE,UAAkB,EAAE,OAAoB,EAAE,EAAQ,EAAE;YACtF,0EAA0E;YAC1E,yEAAyE;YACzE,wDAAwD;YACxD,MAAM,WAAW,GAAG,WAAW,CAC7B;gBACE,UAAU;gBACV,GAAG,IAAI;gBACP,kEAAkE;gBAClE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;aAC/E,EACD;gBACE,KAAK,EAAE,OAAO;gBACd,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;gBACxE,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;aACzE,CACF,CAAA;YACD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACrC,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;oBACpC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;gBACjF,CAAC;YACH,CAAC;QACH,CAAC,CAAA;QACD,OAAO;YACL,iBAAiB,CAAC,IAAI;gBACpB,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC1C,OAAM;gBACR,CAAC;gBACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAA;gBAC7E,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBACjC,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,IAAI;gBACrB,IACE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;oBAC7B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,eAAe;oBACnC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EACtC,CAAC;oBACD,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;gBAClF,CAAC;qBAAM,CAAC;oBACN,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;gBACnC,CAAC;YACH,CAAC;YACD,mBAAmB,EAAE,eAAe;YACpC,kBAAkB,EAAE,eAAe;YACnC,uBAAuB,EAAE,eAAe;YACxC,gBAAgB,CAAC,IAAI;gBACnB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC9B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;gBAC3B,CAAC;YACH,CAAC;YACD,eAAe,CAAC,IAAI;gBAClB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC9B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;gBAC3B,CAAC;YACH,CAAC;YACD,WAAW,CAAC,IAAI;gBACd,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;gBACtC,CAAC;YACH,CAAC;YACD,wBAAwB,CAAC,IAAI;gBAC3B,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjG,iFAAiF;oBACjF,IAAI,CAAC,IAAI,CAAC;wBACR,OAAO,EAAE,IAAI,CAAC,KAAK;wBACnB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE;wBACnD,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;qBACrC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,cAAc,CAAC,IAAI;gBACjB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;gBAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;gBAC3B,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBACpE,MAAM,QAAQ,GAAG,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACzE,OAAM;gBACR,CAAC;gBACD,0EAA0E;gBAC1E,uBAAuB;gBACvB,MAAM,SAAS,GACb,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;oBACjE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC;oBACvC,CAAC,CAAC,EAAE,CAAA;gBACR,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAA;gBACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,KAAK,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAA;oBAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACxB,kBAAkB,CAAC,IAAI,CAAC;4BACtB,IAAI,EAAE,QAAQ;4BACd,KAAK;4BACL,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;4BAC1B,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC;yBACrC,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM;oBACN,IAAI;oBACJ,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC;oBAClC,QAAQ;oBACR,IAAI;oBACJ,SAAS,EAAE,MAAM,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;iBACjF,CAAC,CAAA;YACJ,CAAC;YACD,cAAc;gBACZ,MAAM,QAAQ,GAAmB,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAA;gBAC9D,yEAAyE;gBACzE,qEAAqE;gBACrE,KAAK,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,YAAY,EAAE,CAAC;oBACpD,IAAI,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC1C,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBACxB,CAAC;yBAAM,CAAC;wBACN,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBACxB,CAAC;gBACH,CAAC;gBACD,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;gBACpC,wEAAwE;gBACxE,4CAA4C;gBAC5C,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,kBAAkB,EAAE,CAAC;oBACpF,eAAe,CAAC,KAAK,CAAC,GAAG,uBAAuB,CAC9C,eAAe,CAAC,KAAK,CAAC,EACtB,yBAAyB,CAAc,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CACpG,CAAA;gBACH,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC7C,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAA;oBACtC,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;wBACxE,SAAQ;oBACV,CAAC;oBACD,MAAM,IAAI,GAAG,WAAW,CACtB,IAAI,CAAC,MAAM,EACX,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EACnC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAChC,SAAS,CACV,CAAA;oBACD,KAAK,MAAM,KAAK,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;wBACnF,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;oBAC7C,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAA;IACH,CAAC;CACF,CAAA;AAED,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,GAAsC,IAAI,CAAC,KAAK,CAClG,YAAY,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CACrE,CAAA;AAED,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE;IACpD,KAAK,EAAE;QACL,wBAAwB,EAAE,oBAAoB;KAC/C;CACF,CAAA;AAED,eAAe,MAAM,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eslint/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAKtC,OAAO,EAAE,WAAW,EAAgD,MAAM,wBAAwB,CAAA;AAClG,OAAO,EACL,UAAU,EACV,wBAAwB,EAGxB,yBAAyB,EACzB,gBAAgB,EAChB,uBAAuB,EACvB,aAAa,EACb,UAAU,EAGV,aAAa,EACb,YAAY,EACZ,eAAe,EAEf,MAAM,EAGN,QAAQ,GACT,MAAM,kCAAkC,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAExC,SAAS,eAAe,CAAC,IAAiB;IACxC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAA;AAClE,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,QAAyB;IAChD,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,OAAO,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACvE,CAAC;IACD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAA;IAC1B,CAAC;IACD,OAAO,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AACvE,CAAC;AAED,yDAAyD;AACzD,MAAM,SAAS,GAA+B;IAC5C,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACtG,UAAU,EAAE,IAAI,CAAC,EAAE,CACjB,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAC9B,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAC7B,QAAQ,CAAC,IAAI,KAAK,UAAU;YAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE;YAC5D,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAa,EAAE,CACzE;QACH,CAAC,CAAC,SAAS;IACf,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;CACpH,CAAA;AAED,gGAAgG;AAChG,SAAS,eAAe,CAAC,OAAuB,EAAE,IAAiB;IACjE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,YAAY;YACf,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YACtB,OAAM;QACR,KAAK,eAAe;YAClB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC1C,eAAe,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YAC7F,CAAC;YACD,OAAM;QACR,KAAK,cAAc;YACjB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACvC,IAAI,OAAO,EAAE,CAAC;oBACZ,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;gBAChC,CAAC;YACH,CAAC;YACD,OAAM;QACR,KAAK,mBAAmB;YACtB,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACnC,OAAM;QACR,KAAK,aAAa;YAChB,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;YACvC,OAAM;QACR;YACE,yDAAyD;YACzD,OAAM;IACV,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CAAC,MAAwC;IAC5D,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACvC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,OAAO,GAAqC,MAAM,CAAC,MAAM,CAAA;IAC7D,OAAO,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC3C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AACjE,CAAC;AAED,uFAAuF;AACvF,SAAS,MAAM,CAAC,IAAiB;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,IAAI,CAAA;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9F,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;QACpB,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,8FAA8F;AAC9F,SAAS,kBAAkB,CAAC,SAAiC;IAC3D,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAsD,CAAA;IACpF,IAAI,MAAM,EAAE,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAA;IACtB,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,GAAG,CAAC,IAAI,CAAA;IACjB,CAAC;IACD,OAAO,GAAG,KAAK,SAAS,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1E,CAAC;AAED,2GAA2G;AAC3G,SAAS,UAAU,CAAC,IAAsD;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAA;IAC5B,MAAM,YAAY,GAChB,IAAI,EAAE,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1G,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI;QACnB,OAAO,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,UAAU;QAC5F,QAAQ,EAAE,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KAC9D,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,SAAiC;IACvD,KAAK,IAAI,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC1E,OAAO,UAAU,CAAC,IAAI,CAAC,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,oBAAoB,GAAoB;IAC5C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EAAE,6DAA6D;SAC3E;QACD,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oBACtD,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;oBACjC,qEAAqE;oBACrE,2EAA2E;oBAC3E,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC7B,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC9B;gBACD,oBAAoB,EAAE,KAAK;aAC5B;SACF;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAGxC,CAAA;QACD,oEAAoE;QACpE,2DAA2D;QAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,YAAY,GAA+C,EAAE,CAAA;QACnE,MAAM,eAAe,GAAG,CAAC,IAA6E,EAAQ,EAAE;YAC9G,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;gBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YAC3B,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;YACjC,CAAC;QACH,CAAC,CAAA;QACD,MAAM,IAAI,GAAgG,EAAE,CAAA;QAC5G,MAAM,KAAK,GAQL,EAAE,CAAA;QACR,mFAAmF;QACnF,MAAM,OAAO,GAAoB,EAAE,CAAA;QACnC;;;;;;;WAOG;QACH,MAAM,kBAAkB,GAKlB,EAAE,CAAA;QACR,MAAM,eAAe,GAAuC,EAAE,CAAA;QAC9D,MAAM,OAAO,GAAG,CAAC,IAAiB,EAAE,UAAkB,EAAE,OAAoB,EAAE,EAAQ,EAAE;YACtF,0EAA0E;YAC1E,yEAAyE;YACzE,wDAAwD;YACxD,MAAM,WAAW,GAAG,WAAW,CAC7B;gBACE,UAAU;gBACV,GAAG,IAAI;gBACP,kEAAkE;gBAClE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;aAC/E,EACD;gBACE,KAAK,EAAE,OAAO;gBACd,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;gBACxE,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;aACzE,CACF,CAAA;YACD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACrC,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;oBACpC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;gBACjF,CAAC;YACH,CAAC;QACH,CAAC,CAAA;QACD,OAAO;YACL,iBAAiB,CAAC,IAAI;gBACpB,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC1C,OAAM;gBACR,CAAC;gBACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAA;gBAC7E,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBACjC,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,IAAI;gBACrB,IACE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;oBAC7B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,eAAe;oBACnC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EACtC,CAAC;oBACD,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;gBAClF,CAAC;qBAAM,CAAC;oBACN,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;gBACnC,CAAC;YACH,CAAC;YACD,mBAAmB,EAAE,eAAe;YACpC,kBAAkB,EAAE,eAAe;YACnC,uBAAuB,EAAE,eAAe;YACxC,gBAAgB,CAAC,IAAI;gBACnB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC9B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;gBAC3B,CAAC;YACH,CAAC;YACD,eAAe,CAAC,IAAI;gBAClB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC9B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;gBAC3B,CAAC;YACH,CAAC;YACD,WAAW,CAAC,IAAI;gBACd,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;gBACtC,CAAC;YACH,CAAC;YACD,wBAAwB,CAAC,IAAI;gBAC3B,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjG,iFAAiF;oBACjF,IAAI,CAAC,IAAI,CAAC;wBACR,OAAO,EAAE,IAAI,CAAC,KAAK;wBACnB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE;wBACnD,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;qBACrC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,cAAc,CAAC,IAAI;gBACjB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;gBAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;gBAC3B,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBACpE,MAAM,QAAQ,GAAG,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACzE,OAAM;gBACR,CAAC;gBACD,0EAA0E;gBAC1E,uBAAuB;gBACvB,MAAM,SAAS,GACb,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;oBACjE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC;oBACvC,CAAC,CAAC,EAAE,CAAA;gBACR,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAA;gBACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,KAAK,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAA;oBAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACxB,kBAAkB,CAAC,IAAI,CAAC;4BACtB,IAAI,EAAE,QAAQ;4BACd,KAAK;4BACL,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;4BAC1B,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC;yBACrC,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM;oBACN,IAAI;oBACJ,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC;oBAClC,IAAI;oBACJ,SAAS,EAAE,MAAM,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;iBACjF,CAAC,CAAA;YACJ,CAAC;YACD,cAAc;gBACZ,MAAM,QAAQ,GAAmB,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAA;gBAC9D,yEAAyE;gBACzE,qEAAqE;gBACrE,KAAK,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,YAAY,EAAE,CAAC;oBACpD,IAAI,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC1C,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBACxB,CAAC;yBAAM,CAAC;wBACN,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBACxB,CAAC;gBACH,CAAC;gBACD,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;gBACpC,wEAAwE;gBACxE,4CAA4C;gBAC5C,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,kBAAkB,EAAE,CAAC;oBACpF,eAAe,CAAC,KAAK,CAAC,GAAG,uBAAuB,CAC9C,eAAe,CAAC,KAAK,CAAC,EACtB,yBAAyB,CAAc,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CACpG,CAAA;gBACH,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC7C,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAA;oBACtC,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;wBACxE,SAAQ;oBACV,CAAC;oBACD,KAAK,MAAM,SAAS,IAAI,wBAAwB,CAC9C,IAAI,CAAC,MAAM,EACX,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EACnC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAChC,SAAS,CACV,EAAE,CAAC;wBACF,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;4BACvC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,OAAO,CAAC,CAAA;wBAClE,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAA;IACH,CAAC;CACF,CAAA;AAED,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,GAAsC,IAAI,CAAC,KAAK,CAClG,YAAY,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CACrE,CAAA;AAED,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE;IACpD,KAAK,EAAE;QACL,wBAAwB,EAAE,oBAAoB;KAC/C;CACF,CAAA;AAED,eAAe,MAAM,CAAA"}

package/dist/sites/index.d.ts

@@ -4,7 +4,7 @@
  * a separate ESTree walker that uses the same expression policy.
  */
 import type TS from 'typescript';
-import { type FileColumnFunction, type LocalModuleOptions } from '../analyzer/expression-policy.ts';
+import { type FileColumnFunction, type LocalModuleOptions, type SiteContext } from '../analyzer/expression-policy.ts';
 /** The TypeScript namespace accepted by `createSiteFinder`. */
 export type TypeScriptApi = typeof TS;
 export interface ExpressionSite {
@@ -17,15 +17,44 @@ export interface ExpressionSite {
     inputType?: string;
     /** A DTO member site, which `analyzeSite` checks with source-only limits. */
     dto?: true;
+    /** Inline per-call environment and row-variable declarations visible to this expression. */
+    variables?: NonNullable<SiteContext['variables']>;
+    /** Ordered per-call vars, interpreted together with loaded engine defaults by analyzeSite. */
+    variablePlan?: NonNullable<SiteContext['variablePlan']>;
+    /** The call binds variables the source cannot name (a computed key or spread) — see `SiteContext`. */
+    openVariables?: true;
     /** Callable DTO columns declared in the same file. */
     functions?: Readonly<Record<string, FileColumnFunction>>;
 }
+export interface SkippedExpressionSite {
+    /** Stable reason suitable for CLI/editor policy. */
+    reason: 'dynamic-expression' | 'unrecognized-receiver';
+    message: string;
+    line: number;
+    column: number;
+}
+export interface DtoSourceDeclaration {
+    name: string;
+    line: number;
+    column: number;
+    /** True when importing the module can enumerate this class, directly or through an exported subclass. */
+    loadable: boolean;
+}
+export interface SiteScanResult {
+    sites: ExpressionSite[];
+    skipped: SkippedExpressionSite[];
+    dtoDeclarations: DtoSourceDeclaration[];
+}
 /** Finds every static FHIRPath expression in one source file. */
 export type SiteFinder = (sourceText: string, fileName: string, options?: LocalModuleOptions) => ExpressionSite[];
+/** Scans expressions plus coverage gaps that a caller may choose to report. */
+export type SiteScanner = (sourceText: string, fileName: string, options?: LocalModuleOptions) => SiteScanResult;
 /**
  * Creates a finder for the calls and tags in `CALL_SITES`. DTO fields include a
  * root type when the class declares one, and each column is exposed as a local
  * function declaration. Dynamic expressions are skipped.
  */
-export declare function createSiteFinder(ts: TypeScriptApi): SiteFinder;
+export declare function createSiteScanner(ts: TypeScriptApi, program?: TS.Program): SiteScanner;
+/** Creates the compatibility finder that returns only expressions successfully extracted. */
+export declare function createSiteFinder(ts: TypeScriptApi, program?: TS.Program): SiteFinder;
 //# sourceMappingURL=index.d.ts.map

package/dist/sites/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sites/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAA;AAEhC,OAAO,EAUL,KAAK,kBAAkB,EAIvB,KAAK,kBAAkB,EAMxB,MAAM,kCAAkC,CAAA;AAEzC,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GAAG,OAAO,EAAE,CAAA;AAErC,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,oFAAoF;IACpF,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,6EAA6E;IAC7E,GAAG,CAAC,EAAE,IAAI,CAAA;IACV,sDAAsD;IACtD,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAA;CACzD;AAED,iEAAiE;AACjE,MAAM,MAAM,UAAU,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,kBAAkB,KAAK,cAAc,EAAE,CAAA;AAEjH;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,aAAa,GAAG,UAAU,CAiO9D"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sites/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAA;AAEhC,OAAO,EAYL,KAAK,kBAAkB,EAIvB,KAAK,kBAAkB,EAEvB,KAAK,WAAW,EAGjB,MAAM,kCAAkC,CAAA;AAEzC,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GAAG,OAAO,EAAE,CAAA;AAErC,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,oFAAoF;IACpF,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,6EAA6E;IAC7E,GAAG,CAAC,EAAE,IAAI,CAAA;IACV,4FAA4F;IAC5F,SAAS,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAA;IACjD,8FAA8F;IAC9F,YAAY,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAA;IACvD,sGAAsG;IACtG,aAAa,CAAC,EAAE,IAAI,CAAA;IACpB,sDAAsD;IACtD,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAA;CACzD;AAED,MAAM,WAAW,qBAAqB;IACpC,oDAAoD;IACpD,MAAM,EAAE,oBAAoB,GAAG,uBAAuB,CAAA;IACtD,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,yGAAyG;IACzG,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,cAAc,EAAE,CAAA;IACvB,OAAO,EAAE,qBAAqB,EAAE,CAAA;IAChC,eAAe,EAAE,oBAAoB,EAAE,CAAA;CACxC;AAED,iEAAiE;AACjE,MAAM,MAAM,UAAU,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,kBAAkB,KAAK,cAAc,EAAE,CAAA;AAEjH,+EAA+E;AAC/E,MAAM,MAAM,WAAW,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,kBAAkB,KAAK,cAAc,CAAA;AAEhH;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,GAAG,WAAW,CA+jBtF;AAED,6FAA6F;AAC7F,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,GAAG,UAAU,CAGpF"}

package/dist/sites/index.js

@@ -1,23 +1,43 @@
-import { CALL_SITES, columnFunctionDeclaration, constructsEngine, declaredColumnOverloads, DTO_BASE_NAME, dtoRootsOf, expressionEntries, isCheckedCall, isCheckedTag, isForeignModule, rootOf, siteContext, TAG_NAME, } from "../analyzer/expression-policy.js";
+import { CALL_SITES, callExpressionCandidates, columnFunctionDeclaration, constructsEngine, declaredColumnOverloads, DTO_BASE_NAME, dtoRootsOf, ENGINE_CLASS_NAME, isCheckedCall, isCheckedTag, isForeignModule, rootOf, TAG_NAME, } from "../analyzer/expression-policy.js";
 /**
  * Creates a finder for the calls and tags in `CALL_SITES`. DTO fields include a
  * root type when the class declares one, and each column is exposed as a local
  * function declaration. Dynamic expressions are skipped.
  */
-export function createSiteFinder(ts) {
+export function createSiteScanner(ts, program) {
+    const checker = program?.getTypeChecker();
+    const engineSymbolsByOptions = new Map();
     /** How the shared shape extractor reads TypeScript AST nodes. */
     const tsAst = {
         string: node => (ts.isStringLiteralLike(node) ? { node, expression: node.text } : undefined),
         boolean: node => node.kind === ts.SyntaxKind.TrueKeyword ? true : node.kind === ts.SyntaxKind.FalseKeyword ? false : undefined,
         properties: node => ts.isObjectLiteralExpression(node)
-            ? node.properties
-                .filter(ts.isPropertyAssignment)
-                .map(property => ({ name: propertyKeyName(property.name), value: property.initializer }))
+            ? node.properties.flatMap(property => {
+                if (ts.isPropertyAssignment(property)) {
+                    return [{ name: propertyKeyName(property.name), value: property.initializer }];
+                }
+                if (ts.isShorthandPropertyAssignment(property)) {
+                    return [{ name: property.name.text, value: property.name }];
+                }
+                if (ts.isSpreadAssignment(property)) {
+                    return [{ name: undefined, value: property.expression, spread: true }];
+                }
+                // Methods and accessors create enumerable own properties too. Their
+                // values are dynamic to source analysis, but their names still make
+                // env/vars scopes complete when every key is known.
+                return 'name' in property ? [{ name: propertyKeyName(property.name), value: property }] : [];
+            })
             : undefined,
         elements: node => (ts.isArrayLiteralExpression(node) ? [...node.elements] : undefined),
     };
-    /** Statically-known property key (`path` in `{ path: ... }` or `{ 'path': ... }`), undefined when computed. */
+    /**
+     * Statically-known property key: `path` in `{ path: ... }`, `{ 'path': ... }`,
+     * or `{ ['path']: ... }`; undefined for other computed keys.
+     */
     function propertyKeyName(name) {
+        if (ts.isComputedPropertyName(name)) {
+            return ts.isStringLiteral(name.expression) ? name.expression.text : undefined;
+        }
         return ts.isIdentifier(name) || ts.isStringLiteral(name) ? name.text : undefined;
     }
     /** The name of the field a `@column(...)` decorator belongs to. */
@@ -56,7 +76,7 @@ export function createSiteFinder(ts) {
         return heritage;
     }
     /** Collects imports, engine locals, rebound names, and DTO class roots before extracting sites. */
-    function collectFile(source, options) {
+    function collectFile(source, options, engineSymbols) {
         const foreign = new Set();
         const trusted = new Set();
         const rebound = new Set();
@@ -97,13 +117,23 @@ export function createSiteFinder(ts) {
                     const set = constructsEngine(node.initializer.expression.text, bindings) ? trusted : rebound;
                     set.add(node.name.text);
                 }
+                else if (ts.isIdentifier(node.name) && isEngineExpression(node.name, engineSymbols)) {
+                    trusted.add(node.name.text);
+                    foreign.delete(node.name.text);
+                }
                 else {
                     // Catch clauses reach here too: `catch (r4)` is a VariableDeclaration.
                     addBindingNames(node.name, rebound);
                 }
             }
             else if (ts.isParameter(node)) {
-                addBindingNames(node.name, rebound);
+                if (ts.isIdentifier(node.name) && isEngineExpression(node.name, engineSymbols)) {
+                    trusted.add(node.name.text);
+                    foreign.delete(node.name.text);
+                }
+                else {
+                    addBindingNames(node.name, rebound);
+                }
             }
             else if ((ts.isFunctionDeclaration(node) ||
                 ts.isFunctionExpression(node) ||
@@ -117,6 +147,108 @@ export function createSiteFinder(ts) {
         collectLocals(source);
         return { bindings, dtoRoots: dtoRootsOf([...heritage.values()]), heritage };
     }
+    /** Package engine declarations reached through a real `fhirpath-ts` import. */
+    function collectTrustedEngineSymbols(options) {
+        const symbols = new Set();
+        if (checker === undefined || program === undefined) {
+            return symbols;
+        }
+        const resolvedSymbol = (initial) => {
+            let symbol = initial;
+            const seen = new Set();
+            while (symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0 && !seen.has(symbol)) {
+                seen.add(symbol);
+                symbol = checker.getAliasedSymbol(symbol);
+            }
+            return symbol;
+        };
+        const resolved = (node) => resolvedSymbol(checker.getSymbolAtLocation(node));
+        for (const source of program.getSourceFiles()) {
+            for (const statement of source.statements) {
+                if (!ts.isImportDeclaration(statement) ||
+                    !ts.isStringLiteral(statement.moduleSpecifier) ||
+                    isForeignModule(statement.moduleSpecifier.text, options)) {
+                    continue;
+                }
+                const bindings = statement.importClause?.namedBindings;
+                if (bindings === undefined) {
+                    continue;
+                }
+                if (ts.isNamedImports(bindings)) {
+                    for (const element of bindings.elements) {
+                        if ((element.propertyName ?? element.name).text === ENGINE_CLASS_NAME) {
+                            const symbol = resolved(element.name);
+                            if (symbol !== undefined) {
+                                symbols.add(symbol);
+                            }
+                        }
+                    }
+                    continue;
+                }
+                const module = resolved(bindings.name);
+                const symbol = module === undefined
+                    ? undefined
+                    : checker.getExportsOfModule(module).find(entry => entry.name === ENGINE_CLASS_NAME);
+                if (symbol !== undefined) {
+                    symbols.add(resolvedSymbol(symbol) ?? symbol);
+                }
+            }
+        }
+        return symbols;
+    }
+    function engineSymbolsFor(options) {
+        const key = JSON.stringify({ packages: options.packages, localImports: options.localImports === true });
+        const cached = engineSymbolsByOptions.get(key);
+        if (cached !== undefined) {
+            return cached;
+        }
+        const symbols = collectTrustedEngineSymbols(options);
+        engineSymbolsByOptions.set(key, symbols);
+        return symbols;
+    }
+    /** Whether TypeScript resolved an expression to this package's engine class. */
+    function isEngineExpression(node, engineSymbols) {
+        if (checker === undefined || engineSymbols.size === 0 || node.getSourceFile().isDeclarationFile) {
+            return false;
+        }
+        const hasEngineSymbol = (type, seen) => {
+            if (seen.has(type)) {
+                return false;
+            }
+            seen.add(type);
+            if (type.isUnion()) {
+                return type.types.length > 0 && type.types.every(member => hasEngineSymbol(member, new Set(seen)));
+            }
+            if (type.isIntersection()) {
+                return type.types.some(member => hasEngineSymbol(member, new Set(seen)));
+            }
+            const symbol = type.aliasSymbol ?? type.getSymbol();
+            if (symbol !== undefined && engineSymbols.has(symbol)) {
+                return true;
+            }
+            const constraint = checker.getBaseConstraintOfType(type);
+            if (constraint !== undefined && constraint !== type && hasEngineSymbol(constraint, seen)) {
+                return true;
+            }
+            if ((type.flags & ts.TypeFlags.Object) === 0) {
+                return false;
+            }
+            const object = type;
+            if ((object.objectFlags & (ts.ObjectFlags.Class | ts.ObjectFlags.Interface | ts.ObjectFlags.Reference)) === 0) {
+                return false;
+            }
+            return checker.getBaseTypes(type).some(base => hasEngineSymbol(base, seen));
+        };
+        return hasEngineSymbol(checker.getTypeAtLocation(node), new Set());
+    }
+    /** An unresolved receiver may still be an engine; a resolved non-engine is not our call site. */
+    function shouldReportUnrecognized(node) {
+        if (checker === undefined || node.getSourceFile().isDeclarationFile) {
+            return true;
+        }
+        const flags = checker.getTypeAtLocation(node).flags;
+        return (flags & (ts.TypeFlags.Any | ts.TypeFlags.Unknown)) !== 0;
+    }
     /** Add every identifier a binding name declares (`x`, `{ r4 }`, `[a, ...rest]`). */
     function addBindingNames(name, into) {
         if (ts.isIdentifier(name)) {
@@ -149,10 +281,116 @@ export function createSiteFinder(ts) {
         }
         return ts.isIdentifier(current) ? current.text : undefined;
     }
-    return function findExpressionSites(sourceText, fileName, options = {}) {
-        const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true);
-        const { bindings, dtoRoots, heritage } = collectFile(source, options);
+    /** Strips source wrappers that keep an expression's runtime identity. */
+    function unwrapped(node) {
+        let current = node;
+        while (current !== undefined &&
+            (ts.isParenthesizedExpression(current) ||
+                ts.isAsExpression(current) ||
+                ts.isSatisfiesExpression(current) ||
+                ts.isTypeAssertionExpression(current) ||
+                ts.isNonNullExpression(current))) {
+            current = current.expression;
+        }
+        return current;
+    }
+    /** Class bindings made reachable by one immutable initializer or default export. */
+    function bindingTargets(node) {
+        const target = unwrapped(node);
+        if (target === undefined) {
+            return [];
+        }
+        if (ts.isIdentifier(target)) {
+            return [target.text];
+        }
+        if (!ts.isClassExpression(target)) {
+            return [];
+        }
+        // A class expression's own name is scoped to its body, not a reference to a
+        // same-named top-level class. Only its base can expose another declaration.
+        const { baseName } = heritageOf(target);
+        return baseName === undefined ? [] : [baseName];
+    }
+    /**
+     * The module's exported names, plus what each top-level `const` binding stands
+     * for: `export const Row = ProblemRow` makes the loader enumerate `Row`, so
+     * `ProblemRow` is reachable through it — directly, through an alias chain, or
+     * as the base of an exported anonymous class expression.
+     */
+    function moduleBindings(source) {
+        const exported = new Set();
+        const aliases = new Map();
+        const addAlias = (from, to) => {
+            const edges = aliases.get(from);
+            if (edges === undefined) {
+                aliases.set(from, [to]);
+            }
+            else {
+                edges.push(to);
+            }
+        };
+        const isExported = (statement) => (ts.canHaveModifiers(statement) ? (ts.getModifiers(statement) ?? []) : []).some(modifier => modifier.kind === ts.SyntaxKind.ExportKeyword);
+        for (const statement of source.statements) {
+            if (ts.isClassDeclaration(statement) && isExported(statement)) {
+                if (statement.name !== undefined) {
+                    exported.add(statement.name.text);
+                }
+                else {
+                    // `export default class extends Base {}`: the loader gets the class,
+                    // so its base is reachable even though neither has a bound name here.
+                    const base = heritageOf(statement).baseName;
+                    if (base !== undefined) {
+                        exported.add(base);
+                    }
+                }
+            }
+            else if (ts.isVariableStatement(statement)) {
+                const immutable = (statement.declarationList.flags & ts.NodeFlags.Const) !== 0;
+                for (const declaration of statement.declarationList.declarations) {
+                    if (!ts.isIdentifier(declaration.name)) {
+                        continue;
+                    }
+                    const name = declaration.name.text;
+                    if (isExported(statement)) {
+                        exported.add(name);
+                    }
+                    if (immutable) {
+                        for (const target of bindingTargets(declaration.initializer)) {
+                            addAlias(name, target);
+                        }
+                    }
+                }
+            }
+            else if (ts.isExportDeclaration(statement) &&
+                statement.moduleSpecifier === undefined &&
+                statement.isTypeOnly === false &&
+                statement.exportClause !== undefined) {
+                if (ts.isNamedExports(statement.exportClause)) {
+                    for (const element of statement.exportClause.elements) {
+                        if (!element.isTypeOnly) {
+                            exported.add((element.propertyName ?? element.name).text);
+                        }
+                    }
+                }
+            }
+            else if (ts.isExportAssignment(statement)) {
+                for (const target of bindingTargets(statement.expression)) {
+                    exported.add(target);
+                }
+            }
+        }
+        return { exported, aliases };
+    }
+    return function scanExpressionSites(sourceText, fileName, options = {}) {
+        const programSource = program?.getSourceFile(fileName);
+        const source = programSource !== undefined && programSource.text === sourceText
+            ? programSource
+            : ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true);
+        const engineSymbols = engineSymbolsFor(options);
+        const { bindings, dtoRoots, heritage } = collectFile(source, options, engineSymbols);
         const sites = [];
+        const skipped = [];
+        const decoratedClasses = new Set();
         const functions = {};
         // A site points at the first character inside the quote/backtick (node start
         // + 1), so fhirpath-check can add a diagnostic's span offsets directly. The
@@ -168,38 +406,121 @@ export function createSiteFinder(ts) {
                 ...context,
             });
         };
-        const visit = (node, classRoot) => {
-            if (ts.isTaggedTemplateExpression(node) &&
-                nameOf(node.tag) === TAG_NAME &&
-                isCheckedTag(receiverRoot(node.tag), bindings)) {
-                if (ts.isNoSubstitutionTemplateLiteral(node.template)) {
+        const skip = (node, reason, message) => {
+            const { line, character } = source.getLineAndCharacterOfPosition(node.getStart(source));
+            skipped.push({ reason, message, line: line + 1, column: character + 1 });
+        };
+        const visit = (node, classRoot, enclosingClass) => {
+            if (ts.isTaggedTemplateExpression(node) && nameOf(node.tag) === TAG_NAME) {
+                if (!isCheckedTag(receiverRoot(node.tag), bindings)) {
+                    if (shouldReportUnrecognized(node.tag)) {
+                        skip(node.tag, 'unrecognized-receiver', 'FHIRPath tag not analyzed: its binding is not from fhirpath-ts');
+                    }
+                }
+                else if (ts.isNoSubstitutionTemplateLiteral(node.template)) {
                     record(node.template.text, node.template);
                 }
+                else {
+                    skip(node.template, 'dynamic-expression', 'FHIRPath template not analyzed: substitutions make it dynamic');
+                }
             }
             else if (ts.isCallExpression(node)) {
                 const callee = nameOf(node.expression);
                 const policy = callee === undefined ? undefined : CALL_SITES.get(callee);
                 const argument = policy && node.arguments[policy.argIndex];
-                if (callee !== undefined &&
-                    policy !== undefined &&
-                    argument !== undefined &&
-                    isCheckedCall(policy, callee, receiverRoot(node.expression), bindings)) {
-                    const declares = policy.declaresField;
-                    const field = declares === undefined ? undefined : decoratedFieldName(node);
-                    if (declares !== undefined && field !== undefined) {
-                        functions[field] = declaredColumnOverloads(functions[field], columnFunctionDeclaration(declares, node.arguments[1], tsAst, classRoot));
+                if (callee !== undefined && policy !== undefined && argument !== undefined) {
+                    const typedEngineReceiver = ts.isPropertyAccessExpression(node.expression) &&
+                        isEngineExpression(node.expression.expression, engineSymbols);
+                    const checked = isCheckedCall(policy, callee, receiverRoot(node.expression), bindings, {
+                        ...(typedEngineReceiver && { engine: true }),
+                    });
+                    if (!checked) {
+                        const receiver = receiverRoot(node.expression);
+                        const receiverExpression = ts.isPropertyAccessExpression(node.expression)
+                            ? node.expression.expression
+                            : node.expression;
+                        if (shouldReportUnrecognized(receiverExpression)) {
+                            skip(node.expression, 'unrecognized-receiver', `${callee}(...) expression not analyzed: ${receiver === undefined
+                                ? `binding '${callee}' is not recognized as fhirpath-ts`
+                                : `receiver '${receiver}' is not recognized as a FhirPathEngine`}`);
+                        }
                     }
-                    const context = siteContext(policy, index => node.arguments[index], classRoot, tsAst);
-                    for (const entry of expressionEntries(argument, policy.shape, tsAst)) {
-                        record(entry.expression, entry.node, context);
+                    else {
+                        const declares = policy.declaresField;
+                        const field = declares === undefined ? undefined : decoratedFieldName(node);
+                        if (declares !== undefined && field !== undefined) {
+                            if (enclosingClass !== undefined) {
+                                decoratedClasses.add(enclosingClass);
+                            }
+                            functions[field] = declaredColumnOverloads(functions[field], columnFunctionDeclaration(declares, node.arguments[1], tsAst, classRoot));
+                        }
+                        for (const candidate of callExpressionCandidates(policy, index => node.arguments[index], classRoot, tsAst)) {
+                            if (candidate.uncheckable === 'dynamic-vars') {
+                                skip(candidate.node, 'dynamic-expression', `${callee}(...) var expressions not analyzed: their final names, values, or order are dynamic`);
+                            }
+                            else if (candidate.expression === undefined) {
+                                skip(candidate.node, 'dynamic-expression', candidate.source === 'option-var'
+                                    ? `${callee}(...) var expression not analyzed: it is not a string literal`
+                                    : `${callee}(...) expression not analyzed: it is not a string literal`);
+                            }
+                            else {
+                                record(candidate.expression, candidate.node, candidate.context);
+                            }
+                        }
                     }
                 }
             }
             const nested = ts.isClassLike(node) ? rootOf(heritage.get(node), dtoRoots) : classRoot;
-            ts.forEachChild(node, child => visit(child, nested));
+            const nestedClass = ts.isClassLike(node) ? node : enclosingClass;
+            ts.forEachChild(node, child => visit(child, nested, nestedClass));
+        };
+        visit(source, undefined, undefined);
+        const { exported, aliases } = moduleBindings(source);
+        const classByName = new Map([...heritage.entries()].flatMap(([node, value]) => ts.isClassLike(node) && value.name !== undefined ? [[value.name, value]] : []));
+        // From every exported binding, follow alias and extends edges: what the
+        // loader enumerates under any name makes every class behind it analyzable.
+        const reachesExport = (name) => {
+            const seen = new Set();
+            const frontier = [...exported];
+            while (frontier.length > 0) {
+                const current = frontier.pop();
+                if (current === name) {
+                    return true;
+                }
+                if (seen.has(current)) {
+                    continue;
+                }
+                seen.add(current);
+                const base = classByName.get(current)?.baseName;
+                if (base !== undefined) {
+                    frontier.push(base);
+                }
+                frontier.push(...(aliases.get(current) ?? []));
+            }
+            return false;
+        };
+        const dtoDeclarations = [...decoratedClasses].flatMap(node => {
+            const nameNode = node.name;
+            // Runtime module discovery can only miss top-level module-local classes.
+            // A class inside a factory is reached through whatever class the factory
+            // returns, rather than as a module export with its source name.
+            if (nameNode === undefined || node.parent !== source) {
+                return [];
+            }
+            const name = nameNode.text;
+            const { line, character } = source.getLineAndCharacterOfPosition(nameNode.getStart(source));
+            return [{ name, line: line + 1, column: character + 1, loadable: reachesExport(name) }];
+        });
+        return {
+            sites: Object.keys(functions).length === 0 ? sites : sites.map(site => ({ ...site, functions })),
+            skipped,
+            dtoDeclarations,
         };
-        visit(source, undefined);
-        return Object.keys(functions).length === 0 ? sites : sites.map(site => ({ ...site, functions }));
     };
 }
+/** Creates the compatibility finder that returns only expressions successfully extracted. */
+export function createSiteFinder(ts, program) {
+    const scan = createSiteScanner(ts, program);
+    return (sourceText, fileName, options) => scan(sourceText, fileName, options).sites;
+}
 //# sourceMappingURL=index.js.map