fhirpath-ts 0.2.1 → 0.2.2

package/README.md

@@ -202,12 +202,12 @@ statusRows // [{ label: 'Active', tone: 'info' }, ..., { label: 'Unknown', tone:
 
 ### Join related resources
 
-Pass lookup data through `env`. Use `vars` to find the related item once per
-row. `%context` is the resource for the current row.
+Pass the related resources through `env` and declare their types with
+`envTypes`. Use `vars` to find the related item once per row. `%context` is the
+resource for the current row. With the types declared, `fhirpath-check`
+verifies every path, including the join itself.
 
 ```ts
-const reports = [...reportsByOrderId].map(([orderId, report]) => ({ orderId, report }))
-
 r4.project(
   orders,
   {
@@ -219,11 +219,18 @@ r4.project(
   },
   {
     env: { reports },
-    vars: { report: '%reports.where(orderId = %context.id).report' },
+    envTypes: { reports: { type: 'DiagnosticReport', collection: true } },
+    vars: { report: "%reports.where(basedOn.reference = 'ServiceRequest/' + %context.id).first()" },
+    varTypes: { report: { type: 'DiagnosticReport' } },
   },
 )
 ```
 
+When the join key is not on the resource, join in TypeScript instead and keep
+each expression rooted in its own typed resource. Untyped values in `env`
+cannot be verified: paths through them are reported as `unchecked-navigation`
+warnings. See [Static checking](docs/static-checking.md).
+
 ### Follow references in a Bundle
 
 `resolve()` follows contained references and references to another Bundle entry.

package/dist/analyzer/analyze-dto.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyze-dto.d.ts","sourceRoot":"","sources":["../../src/analyzer/analyze-dto.ts"],"names":[],"mappings":"AACA,OAAO,EAAmB,KAAK,QAAQ,EAAiB,MAAM,eAAe,CAAA;AAE7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAA;AAEjE,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EAEtB,MAAM,cAAc,CAAA;AAGrB,2FAA2F;AAC3F,MAAM,WAAW,aAAc,SAAQ,kBAAkB;IACvD,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAA;IACd,uFAAuF;IACvF,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,uFAAuF;AACvF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE;QACjB,KAAK,CAAC,EAAE,aAAa,CAAA;QACrB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;QAC5C,GAAG,CAAC,EAAE,MAAM,CAAA;QACZ,QAAQ,CAAC,EAAE,wBAAwB,CAAA;QACnC,IAAI,CAAC,EAAE,MAAM,CAAA;QACb,QAAQ,CAAC,EAAE,wBAAwB,CAAA;KACpC,CAAA;CACF;AAED,uFAAuF;AACvF,MAAM,WAAW,cAAe,SAAQ,eAAe;IACrD,QAAQ,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAA;CACnC;AAED,8FAA8F;AAC9F,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,kFAAkF;IAClF,MAAM,CAAC,EAAE,eAAe,CAAA;CACzB;AA4BD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,cAAc,EACtB,OAAO,CAAC,EAAE,cAAc,GACvB,CAAC,aAAa,GAAG;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,CAIrC;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,aAAa,EAAE,CA+CtF"}
+{"version":3,"file":"analyze-dto.d.ts","sourceRoot":"","sources":["../../src/analyzer/analyze-dto.ts"],"names":[],"mappings":"AACA,OAAO,EAAmB,KAAK,QAAQ,EAAiB,MAAM,eAAe,CAAA;AAE7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAA;AAEjE,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EAEtB,MAAM,cAAc,CAAA;AAGrB,2FAA2F;AAC3F,MAAM,WAAW,aAAc,SAAQ,kBAAkB;IACvD,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAA;IACd,uFAAuF;IACvF,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,uFAAuF;AACvF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE;QACjB,KAAK,CAAC,EAAE,aAAa,CAAA;QACrB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;QAC5C,GAAG,CAAC,EAAE,MAAM,CAAA;QACZ,QAAQ,CAAC,EAAE,wBAAwB,CAAA;QACnC,IAAI,CAAC,EAAE,MAAM,CAAA;QACb,QAAQ,CAAC,EAAE,wBAAwB,CAAA;KACpC,CAAA;CACF;AAED,uFAAuF;AACvF,MAAM,WAAW,cAAe,SAAQ,eAAe;IACrD,QAAQ,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAA;CACnC;AAED,8FAA8F;AAC9F,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,kFAAkF;IAClF,MAAM,CAAC,EAAE,eAAe,CAAA;CACzB;AA4BD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,cAAc,EACtB,OAAO,CAAC,EAAE,cAAc,GACvB,CAAC,aAAa,GAAG;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,CAIrC;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,aAAa,EAAE,CAyDtF"}

package/dist/analyzer/analyze-dto.js

@@ -3,7 +3,7 @@ import { dtoDefinition } from "../api/dto.js";
 import { bareEnvironmentName } from "../engine/context.js";
 import { valueKindOfTypeName } from "../values/type-compat.js";
 import { analyzeExpressionDetailed, } from "./analyze.js";
-import { analyzerEnvironmentVariables, analyzerVariables } from "./declarations.js";
+import { analyzerEnvironmentVariables, analyzerVariables, PROJECT_ROW_VARIABLES } from "./declarations.js";
 /**
  * The analyzer context for a DTO: what its engine supplies, with the caller's
  * own options layered on top *per name* — one function or variable a host
@@ -49,13 +49,11 @@ export function analyzeDto(dto, options) {
     const definition = dtoDefinition(dto);
     const context = contextOf(options);
     const inputType = context.inputType ?? definition.fhirType;
-    const declared = {
-        rowIndex: { types: ['System.Integer'], single: true },
-        rowTotal: { types: ['System.Integer'], single: true },
-    };
-    for (const name of [...Object.keys(definition.env ?? {}), ...(definition.callerEnv ?? [])]) {
+    const declared = { ...PROJECT_ROW_VARIABLES };
+    for (const name of [...Object.keys(definition.env ?? {}), ...definition.callerEnvNames]) {
         declared[bareEnvironmentName(name)] = {};
     }
+    Object.assign(declared, analyzerVariables(undefined, definition.callerEnvTypes));
     const diagnostics = [];
     const analyze = (member, expression, column) => {
         const perExpression = {
@@ -79,12 +77,20 @@ export function analyzeDto(dto, options) {
                 span: { start: 0, end: expression.length, line: 1, column: 1 },
             });
         }
+        return result;
     };
     for (const [name, value] of Object.entries(definition.vars ?? {})) {
         const source = typeof value === 'string' ? value : sourceOf(value);
         if (source !== undefined) {
-            // A var declares no type, so there is nothing to cross-check against.
-            analyze(`vars.${bareEnvironmentName(name)}`, source);
+            // A var has no declared result to cross-check, but its inferred result is
+            // the input state for later vars and columns.
+            const result = analyze(`vars.${bareEnvironmentName(name)}`, source);
+            declared[bareEnvironmentName(name)] = {
+                ...(result.types !== undefined && { types: result.types }),
+                ...(result.single !== undefined && { single: result.single }),
+                ...(result.ordered !== undefined && { ordered: result.ordered }),
+            };
+            continue;
         }
         declared[bareEnvironmentName(name)] = {};
     }

package/dist/analyzer/analyze-dto.js.map

@@ -1 +1 @@
-{"version":3,"file":"analyze-dto.js","sourceRoot":"","sources":["../../src/analyzer/analyze-dto.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EAAkC,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EACL,yBAAyB,GAK1B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAiCnF;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,OAAsC;IACvD,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,IAAI,EAAE,CAAA;IAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAA;IACf,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3E,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,IAAI,KAAK,CAAA;IACzC,OAAO;QACL,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,MAAM;QACT,SAAS,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE;QAChD,SAAS,EAAE;YACT,GAAG,4BAA4B,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,CAAC;YAC3D,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC;YACpC,GAAG,MAAM,CAAC,SAAS;SACpB;KACF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAsB,EACtB,OAAwB;IAExB,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAC/B,UAAU,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CACxF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAa,EAAE,OAA2B;IACnE,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;IACrC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;IAClC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,UAAU,CAAC,QAAQ,CAAA;IAC1D,MAAM,QAAQ,GAAqC;QACjD,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;QACrD,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;KACtD,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3F,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;IAC1C,CAAC;IACD,MAAM,WAAW,GAAoB,EAAE,CAAA;IACvC,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,UAAkB,EAAE,MAAmB,EAAQ,EAAE;QAChF,MAAM,aAAa,GAAmB;YACpC,GAAG,OAAO;YACV,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,CAAC;YAC7C,SAAS,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE;SACjD,CAAA;QACD,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,yBAAyB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAA;QAC3F,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAA;QACzD,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QACvG,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,6FAA6F;YAC7F,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM;gBACN,UAAU;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,QAAQ;gBACjB,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aAC/D,CAAC,CAAA;QACJ,CAAC;IACH,CAAC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QAClE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,sEAAsE;YACtE,OAAO,CAAC,QAAQ,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACtD,CAAC;QACD,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;IAC1C,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,MAAkB;IACtC,OAAO,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAA;AACrD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,WAAW,CAAC,MAAkB;IACrC,OAAO,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;AAChE,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAC3B,MAAkB,EAClB,OAA6B,EAC7B,OAAmC;IAEnC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAA;IACnC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3E,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,OAAO,CAAA;IACjE,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAA;IAClD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC/B,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC;YAC9C,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAA;QACb,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,CAAA;QAC5B,kIAAkI;QAClI,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IACxG,CAAC,CAAC,CAAA;IACF,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,yBAAyB,OAAO,gCAAgC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAA;AACjH,CAAC;AAED,yFAAyF;AACzF,SAAS,QAAQ,CAAC,KAAa;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,MAAM,GAAI,KAA8B,CAAC,MAAM,CAAA;IACrD,OAAO,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;AACxD,CAAC"}
+{"version":3,"file":"analyze-dto.js","sourceRoot":"","sources":["../../src/analyzer/analyze-dto.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EAAkC,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EACL,yBAAyB,GAK1B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AAiC1G;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,OAAsC;IACvD,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,IAAI,EAAE,CAAA;IAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAA;IACf,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3E,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,IAAI,KAAK,CAAA;IACzC,OAAO;QACL,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,MAAM;QACT,SAAS,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE;QAChD,SAAS,EAAE;YACT,GAAG,4BAA4B,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,CAAC;YAC3D,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC;YACpC,GAAG,MAAM,CAAC,SAAS;SACpB;KACF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAsB,EACtB,OAAwB;IAExB,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAC/B,UAAU,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CACxF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAa,EAAE,OAA2B;IACnE,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;IACrC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;IAClC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,UAAU,CAAC,QAAQ,CAAA;IAC1D,MAAM,QAAQ,GAAqC,EAAE,GAAG,qBAAqB,EAAE,CAAA;IAC/E,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACxF,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;IAC1C,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,SAAS,EAAE,UAAU,CAAC,cAAc,CAAC,CAAC,CAAA;IAChF,MAAM,WAAW,GAAoB,EAAE,CAAA;IACvC,MAAM,OAAO,GAAG,CACd,MAAc,EACd,UAAkB,EAClB,MAAmB,EACyE,EAAE;QAC9F,MAAM,aAAa,GAAmB;YACpC,GAAG,OAAO;YACV,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,CAAC;YAC7C,SAAS,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE;SACjD,CAAA;QACD,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,yBAAyB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAA;QAC3F,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAA;QACzD,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QACvG,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,6FAA6F;YAC7F,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM;gBACN,UAAU;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,QAAQ;gBACjB,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aAC/D,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QAClE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,0EAA0E;YAC1E,8CAA8C;YAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;YACnE,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG;gBACpC,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;gBAC1D,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC7D,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;aACjE,CAAA;YACD,SAAQ;QACV,CAAC;QACD,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;IAC1C,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,MAAkB;IACtC,OAAO,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAA;AACrD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,WAAW,CAAC,MAAkB;IACrC,OAAO,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;AAChE,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAC3B,MAAkB,EAClB,OAA6B,EAC7B,OAAmC;IAEnC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAA;IACnC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3E,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,OAAO,CAAA;IACjE,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAA;IAClD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC/B,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC;YAC9C,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAA;QACb,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,CAAA;QAC5B,kIAAkI;QAClI,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IACxG,CAAC,CAAC,CAAA;IACF,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,yBAAyB,OAAO,gCAAgC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAA;AACjH,CAAC;AAED,yFAAyF;AACzF,SAAS,QAAQ,CAAC,KAAa;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,MAAM,GAAI,KAA8B,CAAC,MAAM,CAAA;IACrD,OAAO,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;AACxD,CAAC"}

package/dist/analyzer/analyze.d.ts

@@ -51,6 +51,8 @@ export interface AnalyzeOptions {
     functions?: Record<string, DeclaredFunction>;
     /** Host-supplied environment variables by name (with or without the leading `%`). */
     variables?: Record<string, DeclaredVariable>;
+    /** Report navigation that remains unchecked because a declared host variable has no type. */
+    reportUnchecked?: boolean;
 }
 /** Internal strict-analysis options whose variables may retain exact runtime focus types. */
 export interface RuntimeAnalyzeOptions extends Omit<AnalyzeOptions, 'variables'> {
@@ -59,16 +61,17 @@ export interface RuntimeAnalyzeOptions extends Omit<AnalyzeOptions, 'variables'>
 export interface AnalysisDetails {
     diagnostics: AnalyzerDiagnostic[];
     /**
-     * The expression's inferred result: canonical type names and cardinality, the
-     * same StaticState the checks run on. `types: undefined` means the analyzer
-     * cannot see through the expression (an unknown region), and `single`
-     * undefined means the cardinality is unknown — neither is an error. Lets a
-     * caller cross-check a declared type against what the expression really
-     * yields (see `analyzeDto`).
+     * The expression's inferred result: canonical type names, cardinality, and
+     * ordering, the same StaticState the checks run on. `types: undefined` means
+     * the analyzer cannot see through the expression (an unknown region), and an
+     * undefined `single` or `ordered` means that fact is unknown — none of these
+     * is an error. Lets a caller cross-check a declared type against what the
+     * expression really yields (see `analyzeDto`).
      */
     result: {
         types: string[] | undefined;
         single: boolean | undefined;
+        ordered: boolean | undefined;
     };
     /**
      * `Type.element` paths the expression reads (local type names), deduped in
@@ -81,6 +84,7 @@ export interface AnalysisDetails {
 export interface AnalyzerRoot {
     types: string[] | undefined;
     single: boolean | undefined;
+    ordered: boolean | undefined;
     /** Canonical runtime types in focus order; an empty array means an exactly empty focus. */
     exactTypes?: string[];
 }
@@ -93,17 +97,24 @@ export interface AnalyzerRoot {
 export declare function analyzeExpression(expression: string, options?: AnalyzeOptions): AnalyzerDiagnostic[];
 /**
  * Analyzes one source site with only facts visible in that file. A declared root
- * does not prove which variables the later call provides. DTO sites may also
- * receive variables and functions from base classes, other modules, or
- * `project()`. Such sites omit unknown-variable diagnostics and report an
- * unknown function only when it resembles a local column. A DTO without a known
- * root receives syntax checks only. Use `analyzeDto` when the class and engine
- * are loaded.
+ * does not prove which variables the later call provides. A site whose call
+ * binds variables the source cannot name (`openVariables`) may resolve any
+ * `%variable` at runtime, so an unresolved one is reported as an
+ * `unchecked-variable` warning under `reportUnchecked` instead of an error.
+ * DTO sites may also receive variables and functions from base classes, other
+ * modules, or `project()`. Such sites omit unknown-variable diagnostics and
+ * report an unknown function only when it resembles a local column. A DTO
+ * without a known root receives syntax checks only. Use `analyzeDto` when the
+ * class and engine are loaded.
  */
 export declare function analyzeSite(site: {
     expression: string;
     inputType?: string;
     dto?: true;
+    /** Variables declared by the expression's call site, such as inline env/vars options. */
+    variables?: Readonly<Record<string, DeclaredVariable>>;
+    /** The call also binds variables the source cannot name — a computed key or spread in env/vars. */
+    openVariables?: true;
     /** Functions the site's file declares — a DTO's `@column` fields (see `columnFunctionDeclaration`). */
     functions?: Readonly<Record<string, DeclaredFunction>>;
 }, options?: AnalyzeOptions): AnalyzerDiagnostic[];

package/dist/analyzer/analyze.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyze.d.ts","sourceRoot":"","sources":["../../src/analyzer/analyze.ts"],"names":[],"mappings":"AAAA,OAAO,yBAAyB,CAAA;AAGhC,OAAO,EAAuB,KAAK,UAAU,EAAE,MAAM,cAAc,CAAA;AAEnE,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACtE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAE/C,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAA;AAYjE,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,qBAAqB,EAG3B,MAAM,mBAAmB,CAAA;AAG1B,OAAO,EAEL,KAAK,uBAAuB,EAO7B,MAAM,iBAAiB,CAAA;AAExB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAA;IAC7B,mFAAmF;IACnF,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,8EAA8E;IAC9E,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,UAAU,CAAA;CACjB;AAED,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,GAAG,gBAAgB,CAAA;AAE/C,6FAA6F;AAC7F,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,KAAK,CAAA;IAClB,SAAS,CAAC,EAAE,uBAAuB,CAAA;IACnC,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,QAAQ,CAAC,EAAE,KAAK,CAAA;CACjB,GACD;IACE,0FAA0F;IAC1F,UAAU,EAAE,OAAO,CAAA;IACnB,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,SAAS,CAAC,EAAE,uBAAuB,CAAA;IACnC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC7B,QAAQ,CAAC,EAAE,wBAAwB,CAAA;CACpC,CAAA;AAEL,oGAAoG;AACpG,MAAM,WAAW,0BAA0B;IACzC,SAAS,EAAE,SAAS,sBAAsB,EAAE,CAAA;IAC5C,UAAU,CAAC,EAAE,KAAK,CAAA;IAClB,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,SAAS,CAAC,EAAE,KAAK,CAAA;CAClB;AAED,MAAM,MAAM,gBAAgB,GAAG,sBAAsB,GAAG,0BAA0B,CAAA;AAElF,MAAM,WAAW,cAAc;IAC7B,KAAK,CAAC,EAAE,aAAa,CAAA;IACrB,qGAAqG;IACrG,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IAC5C,qFAAqF;IACrF,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;CAC7C;AAED,6FAA6F;AAC7F,MAAM,WAAW,qBAAsB,SAAQ,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC;IAC9E,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;CAClD;AAqDD,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,kBAAkB,EAAE,CAAA;IACjC;;;;;;;OAOG;IACH,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;QAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAA;KAAE,CAAA;IACpE;;;;OAIG;IACH,mBAAmB,EAAE,MAAM,EAAE,CAAA;CAC9B;AAED,gGAAgG;AAChG,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAA;IAC3B,MAAM,EAAE,OAAO,GAAG,SAAS,CAAA;IAC3B,2FAA2F;IAC3F,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CACtB;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,kBAAkB,EAAE,CAEpG;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE;IACJ,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,GAAG,CAAC,EAAE,IAAI,CAAA;IACV,uGAAuG;IACvG,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;CACvD,EACD,OAAO,CAAC,EAAE,cAAc,GACvB,kBAAkB,EAAE,CA0BtB;AAED,sGAAsG;AACtG,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,eAAe,CAiBvG;AAiBD,gFAAgF;AAChF,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,OAAO,EACZ,OAAO,EAAE,qBAAqB,EAC9B,IAAI,EAAE,YAAY,GACjB,eAAe,CAEjB"}
+{"version":3,"file":"analyze.d.ts","sourceRoot":"","sources":["../../src/analyzer/analyze.ts"],"names":[],"mappings":"AAAA,OAAO,yBAAyB,CAAA;AAGhC,OAAO,EAAuB,KAAK,UAAU,EAAE,MAAM,cAAc,CAAA;AAEnE,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACtE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAE/C,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAA;AAYjE,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,qBAAqB,EAG3B,MAAM,mBAAmB,CAAA;AAG1B,OAAO,EAEL,KAAK,uBAAuB,EAS7B,MAAM,iBAAiB,CAAA;AAGxB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAA;IAC7B,mFAAmF;IACnF,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,8EAA8E;IAC9E,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,UAAU,CAAA;CACjB;AAED,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,GAAG,gBAAgB,CAAA;AAE/C,6FAA6F;AAC7F,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,KAAK,CAAA;IAClB,SAAS,CAAC,EAAE,uBAAuB,CAAA;IACnC,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,QAAQ,CAAC,EAAE,KAAK,CAAA;CACjB,GACD;IACE,0FAA0F;IAC1F,UAAU,EAAE,OAAO,CAAA;IACnB,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,SAAS,CAAC,EAAE,uBAAuB,CAAA;IACnC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC7B,QAAQ,CAAC,EAAE,wBAAwB,CAAA;CACpC,CAAA;AAEL,oGAAoG;AACpG,MAAM,WAAW,0BAA0B;IACzC,SAAS,EAAE,SAAS,sBAAsB,EAAE,CAAA;IAC5C,UAAU,CAAC,EAAE,KAAK,CAAA;IAClB,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,SAAS,CAAC,EAAE,KAAK,CAAA;CAClB;AAED,MAAM,MAAM,gBAAgB,GAAG,sBAAsB,GAAG,0BAA0B,CAAA;AAElF,MAAM,WAAW,cAAc;IAC7B,KAAK,CAAC,EAAE,aAAa,CAAA;IACrB,qGAAqG;IACrG,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IAC5C,qFAAqF;IACrF,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IAC5C,6FAA6F;IAC7F,eAAe,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,6FAA6F;AAC7F,MAAM,WAAW,qBAAsB,SAAQ,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC;IAC9E,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;CAClD;AA6DD,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,kBAAkB,EAAE,CAAA;IACjC;;;;;;;OAOG;IACH,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;QAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;QAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAA;KAAE,CAAA;IAClG;;;;OAIG;IACH,mBAAmB,EAAE,MAAM,EAAE,CAAA;CAC9B;AAED,gGAAgG;AAChG,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAA;IAC3B,MAAM,EAAE,OAAO,GAAG,SAAS,CAAA;IAC3B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAA;IAC5B,2FAA2F;IAC3F,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CACtB;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,kBAAkB,EAAE,CAEpG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE;IACJ,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,GAAG,CAAC,EAAE,IAAI,CAAA;IACV,yFAAyF;IACzF,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACtD,mGAAmG;IACnG,aAAa,CAAC,EAAE,IAAI,CAAA;IACpB,uGAAuG;IACvG,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;CACvD,EACD,OAAO,CAAC,EAAE,cAAc,GACvB,kBAAkB,EAAE,CAkDtB;AAsCD,sGAAsG;AACtG,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,eAAe,CAiBvG;AAiBD,gFAAgF;AAChF,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,OAAO,EACZ,OAAO,EAAE,qBAAqB,EAC9B,IAAI,EAAE,YAAY,GACjB,eAAe,CAEjB"}

package/dist/analyzer/analyze.js

@@ -8,14 +8,16 @@ import { FHIR_PRIMITIVE_TO_SYSTEM, typeLocalName } from "../values/typed-value.j
 import { analyzerEnvironmentVariables, isRuntimeAnalyzerVariable, runtimeAnalyzerEnvironmentVariables, } from "./declarations.js";
 import { applyOperatorResultRule, applyTypeOperatorResultRule } from "./operator-rules.js";
 import { hasNestedUnboundedQuantifier } from "./regex-safety.js";
-import { applyResultRule, FUNCTION_SIGNATURES, singleAnd, unionStates, withSingle, } from "./signatures.js";
-const UNKNOWN = { types: undefined, single: undefined };
+import { applyResultRule, FUNCTION_SIGNATURES, singleAnd, singleState, singletonOrder, unionStates, withSingle, } from "./signatures.js";
+import { SOURCE_VARIABLE_DEFAULTS } from "./source-options.js";
+const UNKNOWN = { types: undefined, single: undefined, ordered: undefined };
 /** A runtime-analyzed function result no longer has exact facts about its input focus. */
 function callResult(state, runtime) {
     return runtime
         ? {
             types: state.types,
             single: state.single,
+            ordered: state.ordered,
             ...(state.targets !== undefined && { targets: state.targets }),
         }
         : state;
@@ -37,23 +39,48 @@ export function analyzeExpression(expression, options) {
 }
 /**
  * Analyzes one source site with only facts visible in that file. A declared root
- * does not prove which variables the later call provides. DTO sites may also
- * receive variables and functions from base classes, other modules, or
- * `project()`. Such sites omit unknown-variable diagnostics and report an
- * unknown function only when it resembles a local column. A DTO without a known
- * root receives syntax checks only. Use `analyzeDto` when the class and engine
- * are loaded.
+ * does not prove which variables the later call provides. A site whose call
+ * binds variables the source cannot name (`openVariables`) may resolve any
+ * `%variable` at runtime, so an unresolved one is reported as an
+ * `unchecked-variable` warning under `reportUnchecked` instead of an error.
+ * DTO sites may also receive variables and functions from base classes, other
+ * modules, or `project()`. Such sites omit unknown-variable diagnostics and
+ * report an unknown function only when it resembles a local column. A DTO
+ * without a known root receives syntax checks only. Use `analyzeDto` when the
+ * class and engine are loaded.
  */
 export function analyzeSite(site, options) {
+    const sourceVariables = options?.[SOURCE_VARIABLE_DEFAULTS];
+    const variablePlan = site.variablePlan;
     const declared = { ...site.functions, ...options?.functions };
+    const variables = sourceSiteVariables(site.variables, variablePlan, options?.variables, sourceVariables);
     const merged = {
         ...options,
         ...(site.inputType !== undefined && { inputType: site.inputType }),
         ...(Object.keys(declared).length > 0 && { functions: declared }),
+        ...(variables !== undefined && { variables }),
     };
     const diagnostics = analyzeExpression(site.expression, merged);
     if (site.dto !== true) {
-        return site.inputType === undefined
+        if (site.openVariables === true) {
+            return diagnostics.flatMap(diagnostic => {
+                if (diagnostic.code !== 'unknown-variable') {
+                    return [diagnostic];
+                }
+                if (options?.reportUnchecked !== true) {
+                    return [];
+                }
+                return [
+                    {
+                        ...diagnostic,
+                        severity: 'warning',
+                        code: 'unchecked-variable',
+                        message: `Environment variable %${diagnostic.name} was not checked: the call's env/vars names are not fully visible in source`,
+                    },
+                ];
+            });
+        }
+        return site.inputType === undefined || options?.variables !== undefined
             ? diagnostics
             : diagnostics.filter(diagnostic => diagnostic.code !== 'unknown-variable');
     }
@@ -71,6 +98,33 @@ export function analyzeSite(site, options) {
         return diagnostic.name !== undefined && nearestName(diagnostic.name, columns) !== undefined;
     });
 }
+/** Recreate strict evaluation's vars prefix without flattening away engine/default insertion order. */
+function sourceSiteVariables(siteEnvironment, plan, engineEnvironment, defaults) {
+    if (siteEnvironment === undefined &&
+        engineEnvironment === undefined &&
+        defaults === undefined &&
+        plan === undefined) {
+        return undefined;
+    }
+    const variables = { ...engineEnvironment, ...siteEnvironment };
+    const declarations = plan?.inheritsDeclarations === false ? plan.declarations : { ...defaults?.declarations, ...plan?.declarations };
+    const valueNames = [...(defaults?.values ?? [])];
+    for (const name of plan?.values ?? []) {
+        if (!valueNames.includes(name)) {
+            valueNames.push(name);
+        }
+    }
+    const end = plan?.before === undefined ? valueNames.length : valueNames.indexOf(plan.before);
+    for (const name of valueNames.slice(0, end < 0 ? valueNames.length : end)) {
+        variables[name] = declarations[name] ?? {};
+    }
+    if (plan?.before === undefined) {
+        for (const [name, declaration] of Object.entries(declarations)) {
+            variables[name] ??= declaration;
+        }
+    }
+    return variables;
+}
 /** `analyzeExpression` plus the element paths the expression touches and its inferred result type. */
 export function analyzeExpressionDetailed(expression, options) {
     let ast;
@@ -86,7 +140,7 @@ export function analyzeExpressionDetailed(expression, options) {
         return {
             diagnostics: [{ severity: 'error', code: 'syntax', message: error.message, span: error.span }],
             elementDependencies: [],
-            result: { types: undefined, single: undefined },
+            result: { types: undefined, single: undefined, ordered: undefined },
         };
     }
     return analyzeAstDetailed(ast, options);
@@ -98,7 +152,7 @@ function analyzeAstDetailed(ast, options, root) {
     return {
         diagnostics: analyzer.diagnostics,
         elementDependencies: [...analyzer.dependencies],
-        result: { types: state.types, single: state.single },
+        result: { types: state.types, single: state.single, ordered: state.ordered },
     };
 }
 /** Analyze a parsed expression using facts from the actual evaluation focus. */
@@ -116,15 +170,19 @@ class Analyzer {
     customFunctions;
     declaredVariables;
     activeExpressionFunctions = new Set();
+    reportUnchecked;
     constructor(options, root) {
         this.model = options?.model;
         this.runtime = root !== undefined;
+        this.reportUnchecked = options?.reportUnchecked === true;
         const inputType = options?.inputType;
+        // The root focus is a real collection, so its order is defined even when
+        // its types and cardinality are not.
         this.root =
             root ??
                 (inputType === undefined
-                    ? { types: undefined, single: undefined }
-                    : { types: [this.model?.resolveType(inputType) ?? inputType], single: true });
+                    ? { types: undefined, single: undefined, ordered: true }
+                    : singleState([this.model?.resolveType(inputType) ?? inputType]));
         this.customFunctions = new Map(Object.entries(options?.functions ?? {}).map(([name, declared]) => [
             name,
             ('overloads' in declared ? declared.overloads : [declared]).map(declaration => resolvedDeclaration(declaration, this.model, this.runtime)),
@@ -135,6 +193,7 @@ class Analyzer {
         return {
             types: this.root.types,
             single: this.root.single,
+            ordered: this.root.ordered,
             rawInput: true,
             ...(this.root.exactTypes !== undefined && { exactTypes: this.root.exactTypes }),
         };
@@ -144,24 +203,21 @@ class Analyzer {
             case 'null':
                 // The empty literal `{}` is statically at most one item, so it satisfies
                 // singleton operands (`{} + 1`, `{} and true` are spec-legal).
-                return { types: [], single: true };
+                return singleState([]);
             case 'boolean':
-                return { types: ['System.Boolean'], single: true };
+                return singleState(['System.Boolean']);
             case 'string':
-                return { types: ['System.String'], single: true };
+                return singleState(['System.String']);
             case 'number':
-                return {
-                    types: [node.isLong ? 'System.Long' : node.isDecimal ? 'System.Decimal' : 'System.Integer'],
-                    single: true,
-                };
+                return singleState([node.isLong ? 'System.Long' : node.isDecimal ? 'System.Decimal' : 'System.Integer']);
             case 'date':
-                return { types: ['System.Date'], single: true };
+                return singleState(['System.Date']);
             case 'dateTime':
-                return { types: ['System.DateTime'], single: true };
+                return singleState(['System.DateTime']);
             case 'time':
-                return { types: ['System.Time'], single: true };
+                return singleState(['System.Time']);
             case 'quantity':
-                return { types: ['System.Quantity'], single: true };
+                return singleState(['System.Quantity']);
             case 'external':
                 return this.walkExternal(node, scope);
             case 'special':
@@ -175,6 +231,7 @@ class Analyzer {
             case 'indexer': {
                 const target = this.walk(node.target, input, scope);
                 const index = this.walk(node.index, input, scope);
+                this.requireOrdered(target, node.target.span, 'The indexer');
                 this.requireKind(index, 'Numeric', node.index.span, 'the indexer expects a single Integer');
                 return withSingle(target, true);
             }
@@ -210,7 +267,7 @@ class Analyzer {
         }
         const declared = this.declaredVariables.get(node.name);
         if (declared !== undefined) {
-            return this.declaredVariableState(declared);
+            return this.declaredVariableState(declared, node.name);
         }
         switch (node.name) {
             case 'context':
@@ -221,13 +278,13 @@ class Analyzer {
             case 'ucum':
             case 'sct':
             case 'loinc':
-                return { types: ['System.String'], single: true };
+                return singleState(['System.String']);
             default:
                 break;
         }
         // FHIR-defined families expand to HL7 urls: %`vs-[name]`, %`ext-[name]`.
         if (node.name.startsWith('vs-') || node.name.startsWith('ext-')) {
-            return { types: ['System.String'], single: true };
+            return singleState(['System.String']);
         }
         // A dynamically-named defineVariable() earlier in the chain may have bound
         // this name, so reporting it as undefined could be wrong — stay quiet.
@@ -240,7 +297,7 @@ class Analyzer {
         if (name === 'this') {
             return this.frames.at(-1) ?? this.rootState();
         }
-        return name === 'index' ? { types: ['System.Integer'], single: true } : UNKNOWN;
+        return name === 'index' ? singleState(['System.Integer']) : UNKNOWN;
     }
     /**
      * A quantity's components (spec §4: `value` and `unit`), the one System type
@@ -255,7 +312,7 @@ class Analyzer {
     walkIdentifier(node, input) {
         // Navigating from a statically empty input yields empty — nothing to check.
         if (input.types !== undefined && input.types.length === 0) {
-            return { types: [], single: true };
+            return singleState([]);
         }
         const exactTypes = input.exactTypes?.filter(type => rootTypeMatches(this.model, type, node.name));
         if (exactTypes !== undefined && exactTypes.length > 0) {
@@ -263,6 +320,7 @@ class Analyzer {
             return {
                 types: types === undefined ? undefined : [...new Set(types)],
                 single: input.single,
+                ordered: singletonOrder(input.single, input.ordered),
                 exactTypes,
                 ...(input.rawInput === true && { rawInput: true }),
             };
@@ -273,14 +331,16 @@ class Analyzer {
             const asType = this.model?.resolveType(node.name) ?? resolveSystemTypeName(node.name);
             if (asType !== undefined) {
                 return {
-                    types: [asType],
-                    single: true,
+                    ...singleState([asType]),
                     ...(input.exactTypes !== undefined && {
                         exactTypes: input.exactTypes.filter(type => this.model?.isSubtypeOf(type, asType) === true),
                     }),
                 };
             }
-            return UNKNOWN;
+            if (input.opaqueVariable !== undefined && this.reportUnchecked) {
+                this.report('unchecked-navigation', `Element '${node.name}' after untyped environment variable %${input.opaqueVariable} was not checked; declare the variable's type`, node.span, 'warning', node.name);
+            }
+            return { ...UNKNOWN, ordered: input.ordered };
         }
         // Root rule: an identifier naming the (super)type of the context is the context.
         {
@@ -335,9 +395,14 @@ class Analyzer {
                     : didYouMean(node.name, this.elementNames(input.types));
                 this.report('unknown-element', `Element '${node.name}' is not defined on ${input.types.join(' | ')}${hint}`, node.span, 'error', node.name);
             }
-            return UNKNOWN;
+            return { ...UNKNOWN, ordered: input.ordered };
         }
-        const state = { types: [...new Set(found)], single: singleAnd(input.single, !isCollection) };
+        const single = singleAnd(input.single, !isCollection);
+        const state = {
+            types: [...new Set(found)],
+            single,
+            ordered: singletonOrder(single, input.ordered),
+        };
         if (targets !== undefined && targets.length > 0) {
             state.targets = [...new Set(targets)];
         }
@@ -436,7 +501,11 @@ class Analyzer {
         // ofType(X) filters and as(X) casts: both narrow to the named type,
         // intersected with the known candidates.
         if ((node.name === 'ofType' || node.name === 'as') && typeTarget !== undefined) {
-            return { types: this.narrowTypes(input, typeTarget, node.span), single: input.single };
+            return {
+                types: this.narrowTypes(input, typeTarget, node.span),
+                single: input.single,
+                ordered: singletonOrder(input.single, input.ordered),
+            };
         }
         const expressionResult = this.expressionFunctionResult(node.name, custom, input, scope);
         if (expressionResult !== undefined) {
@@ -458,7 +527,7 @@ class Analyzer {
         const bodyInput = this.expressionBodyInput(declaration, input);
         if (declaration.criteria === true) {
             this.walkExpressionFunction(name, expression, declaration.variables, bodyInput, scope);
-            return { types: ['System.Boolean'], single: true };
+            return singleState(['System.Boolean']);
         }
         if (declaration.signature?.result === undefined) {
             return this.walkExpressionFunction(name, expression, declaration.variables, bodyInput, scope);
@@ -483,6 +552,7 @@ class Analyzer {
         return {
             types: [...new Set(types)],
             single: callInput.single,
+            ordered: callInput.ordered,
             ...(callInput.targets !== undefined && { targets: callInput.targets }),
         };
     }
@@ -505,7 +575,7 @@ class Analyzer {
             const bare = bareEnvironmentName(declaredName);
             // defineVariable() values have priority over environment overlays at runtime.
             if (!functionScope.vars.has(bare)) {
-                functionScope.vars.set(bare, this.declaredVariableState(variable));
+                functionScope.vars.set(bare, this.declaredVariableState(variable, bare));
             }
         }
         const diagnosticCount = this.diagnostics.length;
@@ -529,13 +599,15 @@ class Analyzer {
         }
     }
     /** Convert one declared environment value into the same state used for scoped variables. */
-    declaredVariableState(declared) {
+    declaredVariableState(declared, name) {
         const exactTypes = this.runtime && isRuntimeAnalyzerVariable(declared) ? declared.exactTypes : undefined;
         return {
             types: declared.types?.map(type => this.canonicalize(type)),
             single: declared.single,
+            ordered: singletonOrder(declared.single, declared.ordered),
             ...(declared.targets !== undefined && { targets: declared.targets.map(type => this.canonicalize(type)) }),
             ...(exactTypes !== undefined && { exactTypes }),
+            ...(declared.types === undefined && name !== undefined && { opaqueVariable: name }),
         };
     }
     /**
@@ -574,11 +646,14 @@ class Analyzer {
             this.report('wrong-arity', `Function '${node.name}' expects ${describeArity(minArity, maxArity)}, got ${node.args.length}`, node.span);
         }
     }
-    /** The signature's input constraints: cardinality, value kind, and declared types. */
+    /** The signature's input constraints: cardinality, ordering, value kind, and declared types. */
     checkCallInput(node, signature, input) {
         if (!signature.input) {
             return;
         }
+        if (signature.input.ordered === true) {
+            this.requireOrdered(input, node.span, `${node.name}()`);
+        }
         // A function written for one type (a DTO's `@column`), called on a focus
         // that can never be that type. `unsatisfiedInput` holds the same rule the
         // engine applies, so the two halves agree on what counts as a mistake.
@@ -590,7 +665,7 @@ class Analyzer {
             this.report('singleton-required', `${node.name}() expects a single item as input, but this is a collection (spec §11)${NARROW_HINT}`, node.span);
         }
         if (signature.input.kind) {
-            this.requireKind({ types: input.types, single: true }, signature.input.kind, node.span, `${node.name}() expects a ${signature.input.kind} input`);
+            this.requireKind(singleState(input.types), signature.input.kind, node.span, `${node.name}() expects a ${signature.input.kind} input`);
         }
     }
     /**
@@ -692,14 +767,14 @@ class Analyzer {
             return undefined;
         }
         const types = declared.result?.types?.map(type => this.canonicalize(type));
-        const single = declared.result?.single;
         return {
             ...(declared.input !== undefined && { input: declared.input }),
             ...(declared.args !== undefined && { args: declared.args }),
             result: {
                 kind: 'fixed',
                 ...(types !== undefined && { types }),
-                ...(single !== undefined && { single }),
+                ...(declared.result?.single !== undefined && { single: declared.result.single }),
+                ...(declared.result?.ordered !== undefined && { ordered: declared.result.ordered }),
             },
         };
     }
@@ -831,6 +906,12 @@ class Analyzer {
             this.report('singleton-required', `${message}${NARROW_HINT}`, span);
         }
     }
+    /** Report an order-dependent operation only when the input is provably unordered. */
+    requireOrdered(state, span, subject) {
+        if (state.ordered === false && state.single !== true) {
+            this.report('order-dependent', `${subject} depends on collection order, but the input collection has no defined order`, span);
+        }
+    }
     walkTypeOp(node, input, scope) {
         const operand = this.walk(node.operand, input, scope);
         this.requireSingle(operand, node.operand.span, `'${node.operator}' expects a single item operand`);
@@ -959,26 +1040,37 @@ function mergedDeclaration(candidates) {
         }),
     };
 }
-/** Every type any declaration accepts, or undefined when one of them accepts anything. */
+/**
+ * Every type any declaration accepts, or no type constraint when one of them
+ * accepts anything. An ordered input stays required when every candidate
+ * requires it — whichever declaration the call resolves to would reject an
+ * unordered focus, so keeping the requirement cannot flag valid code.
+ */
 function mergedInput(candidates) {
+    const ordered = candidates.every(candidate => candidate.signature?.input?.ordered === true);
     const declared = candidates.map(candidate => candidate.signature?.input?.types);
-    if (declared.some(types => types === undefined)) {
+    const types = declared.some(types => types === undefined)
+        ? undefined
+        : [...new Set(declared.flatMap(types => types ?? []))];
+    if (types === undefined && !ordered) {
         return undefined;
     }
-    return { types: [...new Set(declared.flatMap(types => types ?? []))] };
+    return { ...(types !== undefined && { types }), ...(ordered && { ordered: true }) };
 }
 /** The union of the declarations' results, unknown as soon as one of them is. */
 function mergedResult(candidates) {
     const union = unionStates(candidates.map(candidate => ({
         types: candidate.signature?.result?.types === undefined ? undefined : [...candidate.signature.result.types],
         single: candidate.signature?.result?.single,
+        ordered: singletonOrder(candidate.signature?.result?.single, candidate.signature?.result?.ordered),
     })));
-    if (union.types === undefined && union.single === undefined) {
+    if (union.types === undefined && union.single === undefined && union.ordered === undefined) {
         return undefined;
     }
     return {
         ...(union.types !== undefined && { types: union.types }),
         ...(union.single !== undefined && { single: union.single }),
+        ...(union.ordered !== undefined && { ordered: union.ordered }),
     };
 }
 function typeSpecifierParts(node) {