@primmel/primmel 1.21.10 → 1.21.12

package/dist/src/ser-des/config/provision.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"provision.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/provision.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAGzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAI5D,eAAO,MAAM,cAAc,EAAE,MAoC5B,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAUnE,CAAC;AAEJ,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,SAAS,CAkB3C,CAAC"}
+{"version":3,"file":"provision.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/provision.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAGzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAI5D,eAAO,MAAM,cAAc,EAAE,MAiF5B,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAUnE,CAAC;AAEJ,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,SAAS,CAsB3C,CAAC"}

package/dist/src/ser-des/config/provision.js

@@ -2,7 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.dumpProvision = exports.resolveProvision = exports.parseProvision = void 0;
 const tokenize_1 = require("../tokenize");
-const parse_block_1 = require("../parse-block");
+const tokenize_2 = require("../tokenize");
 const resolve_1 = require("../resolve");
 const parseProvision = function (id, data) {
     const result = {
@@ -15,24 +15,63 @@ const parseProvision = function (id, data) {
             ref: [],
         },
     };
-    (0, parse_block_1.forEachEntry)(data, (command, value) => {
-        if (command === 'modality') {
-            result.modality = value();
+    // The provision's own walk — NOT forEachEntry. The free-form
+    // key/value pairs are part of the spec, and a free-form value may be
+    // MULTI-TOKEN (`subject claims Sample#data`): the pairwise walk
+    // cannot express that (the stray tokens abort the parse and poison
+    // everything after). An unknown keyword opens a free-form entry whose
+    // value is every token up to the next known keyword, joined;
+    // single-token values parse byte-identically to the old form.
+    const KNOWN = new Set(['modality', 'condition', 'reference']);
+    /** Unwrap one string token: quoted → unescape; brace block → strip the
+     *  braces; bare → as-is. The string-form of parse-block's unwrapped(). */
+    const unwrapToken = (x) => {
+        if (x.length >= 2 && x.startsWith('"') && x.endsWith('"')) {
+            return (0, tokenize_2.unescapeString)(x.slice(1, -1));
         }
-        else if (command === 'condition') {
-            result.condition = (0, parse_block_1.unwrapped)(value);
+        if (x.length >= 2 && x.startsWith('{') && x.endsWith('}')) {
+            return (0, tokenize_2.unwrapBlock)(x);
         }
-        else if (command === 'reference') {
-            result._relations.ref = (0, tokenize_1.tokenizePackage)(value());
+        return x;
+    };
+    const t = (0, tokenize_1.tokenizePackage)(data);
+    let i = 0;
+    while (i < t.length) {
+        const keyword = t[i++];
+        if (keyword === 'modality') {
+            if (i >= t.length) {
+                throw new Error(`Parsing error: provision. ID ${id}: Expecting value for modality`);
+            }
+            result.modality = t[i++];
+            continue;
+        }
+        if (keyword === 'condition') {
+            if (i >= t.length) {
+                throw new Error(`Parsing error: provision. ID ${id}: Expecting value for condition`);
+            }
+            result.condition = unwrapToken(t[i++]);
+            continue;
+        }
+        if (keyword === 'reference') {
+            if (i >= t.length) {
+                throw new Error(`Parsing error: provision. ID ${id}: Expecting value for reference`);
+            }
+            result._relations.ref = (0, tokenize_1.tokenizePackage)(t[i++]);
+            continue;
         }
-        else {
-            // Unknown command becomes a subject key → its raw value.
-            // (Provisions are intentionally extensible: free-form key/value
-            // pairs are part of the spec.)
-            result.subject.set(command, value());
+        // The free-form subject entry.
+        const rest = [];
+        while (i < t.length && !KNOWN.has(t[i])) {
+            rest.push(t[i++]);
         }
-        return true;
-    }, { construct: 'provision', id });
+        if (rest.length === 0) {
+            // A trailing bare keyword: a free-form key with an empty value.
+            result.subject.set(keyword, '');
+            break;
+        }
+        const value = rest.map(unwrapToken).join(' ');
+        result.subject.set(keyword, value);
+    }
     return ctx => {
         ctx.provisions[id] = result;
         return ctx;
@@ -53,7 +92,11 @@ exports.resolveProvision = resolveProvision;
 const dumpProvision = function (pro) {
     let out = 'provision ' + pro.id + ' {\n';
     pro.subject.forEach((value, key) => {
-        out += '  ' + key + ' ' + value + '\n';
+        // A multi-word value dumps QUOTED — bare, it would reparse as
+        // several free-form entries. Single-token values stay bare
+        // (byte-identical to the corpus).
+        const v = value.includes(' ') ? `"${(0, tokenize_1.escapeString)(value)}"` : value;
+        out += '  ' + key + ' ' + v + '\n';
     });
     out += '  condition "' + (0, tokenize_1.escapeString)(pro.condition) + '"\n';
     if (pro.modality !== '') {

package/dist/src/ser-des/config/provision.js.map

@@ -1 +1 @@
-{"version":3,"file":"provision.js","sourceRoot":"","sources":["../../../../src/ser-des/config/provision.ts"],"names":[],"mappings":";;;AAEA,0CAA4D;AAC5D,gDAAyD;AAGzD,wCAAgD;AAEzC,MAAM,cAAc,GAAW,UAAU,EAAE,EAAE,IAAI;IACtD,MAAM,MAAM,GAAwB;QAClC,OAAO,EAAE,IAAI,GAAG,EAAkB;QAClC,EAAE,EAAE,EAAE;QACN,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,EAAE;QACb,GAAG,EAAE,EAAE;QACP,UAAU,EAAE;YACV,GAAG,EAAE,EAAE;SACR;KACF,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACjB,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,MAAM,CAAC,QAAQ,GAAG,KAAK,EAAE,CAAC;QAC5B,CAAC;aAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YACnC,MAAM,CAAC,SAAS,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YACnC,MAAM,CAAC,UAAU,CAAC,GAAG,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,CAAC,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,yDAAyD;YACzD,gEAAgE;YAChE,+BAA+B;YAC/B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,CAC/B,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QAC5B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AApCW,QAAA,cAAc,kBAoCzB;AAEK,MAAM,gBAAgB,GAC3B,UAAU,GAAG,EAAE,UAAU;IACvB,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAY,GAAG,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC;AAChC,CAAC,CAAC;AAVS,QAAA,gBAAgB,oBAUzB;AAEG,MAAM,aAAa,GAAsB,UAAU,GAAG;IAC3D,IAAI,GAAG,GAAW,YAAY,GAAG,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC;IACjD,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAa,EAAE,GAAW,EAAE,EAAE;QACjD,GAAG,IAAI,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,KAAK,GAAG,IAAI,CAAC;IACzC,CAAC,CAAC,CAAC;IACH,GAAG,IAAI,eAAe,GAAG,IAAA,uBAAY,EAAC,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;IAC7D,IAAI,GAAG,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;QACxB,GAAG,IAAI,aAAa,GAAG,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC7C,CAAC;IACD,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,GAAG,IAAI,iBAAiB,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YACxB,GAAG,IAAI,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC;QAC9B,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAlBW,QAAA,aAAa,iBAkBxB"}
+{"version":3,"file":"provision.js","sourceRoot":"","sources":["../../../../src/ser-des/config/provision.ts"],"names":[],"mappings":";;;AAEA,0CAA4D;AAC5D,0CAA0D;AAG1D,wCAAgD;AAEzC,MAAM,cAAc,GAAW,UAAU,EAAE,EAAE,IAAI;IACtD,MAAM,MAAM,GAAwB;QAClC,OAAO,EAAE,IAAI,GAAG,EAAkB;QAClC,EAAE,EAAE,EAAE;QACN,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,EAAE;QACb,GAAG,EAAE,EAAE;QACP,UAAU,EAAE;YACV,GAAG,EAAE,EAAE;SACR;KACF,CAAC;IAEF,6DAA6D;IAC7D,qEAAqE;IACrE,gEAAgE;IAChE,mEAAmE;IACnE,sEAAsE;IACtE,6DAA6D;IAC7D,8DAA8D;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAE9D;8EAC0E;IAC1E,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE;QACxC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,OAAO,IAAA,yBAAc,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,OAAO,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC;QACxB,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBAClB,MAAM,IAAI,KAAK,CACb,gCAAgC,EAAE,gCAAgC,CACnE,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBAClB,MAAM,IAAI,KAAK,CACb,gCAAgC,EAAE,iCAAiC,CACpE,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC;YACxC,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBAClB,MAAM,IAAI,KAAK,CACb,gCAAgC,EAAE,iCAAiC,CACpE,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,UAAU,CAAC,GAAG,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QACD,+BAA+B;QAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,gEAAgE;YAChE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAChC,MAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QAC5B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAjFW,QAAA,cAAc,kBAiFzB;AAEK,MAAM,gBAAgB,GAC3B,UAAU,GAAG,EAAE,UAAU;IACvB,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,4BAAkB,EAAY,GAAG,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC;AAChC,CAAC,CAAC;AAVS,QAAA,gBAAgB,oBAUzB;AAEG,MAAM,aAAa,GAAsB,UAAU,GAAG;IAC3D,IAAI,GAAG,GAAW,YAAY,GAAG,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC;IACjD,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAa,EAAE,GAAW,EAAE,EAAE;QACjD,8DAA8D;QAC9D,2DAA2D;QAC3D,kCAAkC;QAClC,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAA,uBAAY,EAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;QACnE,GAAG,IAAI,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,GAAG,IAAI,eAAe,GAAG,IAAA,uBAAY,EAAC,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;IAC7D,IAAI,GAAG,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;QACxB,GAAG,IAAI,aAAa,GAAG,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC7C,CAAC;IACD,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,GAAG,IAAI,iBAAiB,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YACxB,GAAG,IAAI,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC;QAC9B,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAtBW,QAAA,aAAa,iBAsBxB"}

package/dist/src/ser-des/index.d.ts

@@ -52,4 +52,5 @@ export { parseTargetRef, mappingsFromProfile, collectMappings, buildProcessTree,
 export { canonical, clauseTextKey, diffStandards, elementIndex, formatDiffReport, normalizeSourceRef, TIER_BY_FIELD, TIER_ORDER, type ChangeEntry, type ClauseDriftKind, type ClauseDriftRow, type ClauseTextIndex, type CoverageDeltaEntry, type DiffElement, type DiffEntry, type MappingDiff, type MappingPairChange, type ModelDiff, type ModelDiffOptions, type MoveEntry, type NormalizedSourceRef, type TierName, type TierTally, } from '../model-diff';
 export { PASSPORT_ACCESS_CLASSES, PASSPORT_CONTENT_CLASSES, PASSPORT_UPI_LEVELS, } from '../types/Passport';
 export { ENDPOINT_ACCESS_SCOPES, ENDPOINT_OPERATION_KINDS, } from '../types/Twin';
+export { executeRun, evaluateExpression, evaluateTableVariable, isTableVariable, lookupTable, type LookupTable, type Run, type RunInput, type RunProgramStep, type RunVerdict, type RunEvidenceRecord, } from '../runtime';
 //# sourceMappingURL=index.d.ts.map

package/dist/src/ser-des/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ser-des/index.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAK/D,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,EACd,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,WAAW,GAAG,YAAY,CAAC;AAEvC,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,QAAQ,CAAC;IACnB,0DAA0D;IAC1D,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B;;;OAGG;IACH,WAAW,CAAC,EAAE,OAAO,WAAW,EAAE,eAAe,CAAC;CACnD;AAED;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,QAAQ,CAG5E;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,WAAgB,GACxB,UAAU,CAIZ;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,WAAgB,GACxB,QAAQ,CAGV;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,WAAgB,GACxB,UAAU,CAGZ;AAED,wBAAgB,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAE/C;AAED,OAAO,EACL,WAAW,EACX,qBAAqB,EACrB,yBAAyB,EACzB,iBAAiB,EACjB,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,gBAAgB,GACtB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EACL,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,KAAK,OAAO,EACZ,KAAK,cAAc,EACnB,KAAK,WAAW,GACjB,MAAM,OAAO,CAAC;AAEf,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,eAAe,EAAE,CAE9D;AAED,YAAY,EAAE,YAAY,EAAE,CAAC;AAK7B,OAAO,EAAE,iBAAiB,EAAE,CAAC;AAC7B,YAAY,EAAE,iBAAiB,EAAE,CAAC;AAClC,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;AAC9D,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAM3E,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,mBAAmB,EACnB,KAAK,QAAQ,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,OAAO,EACP,SAAS,EACT,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,cAAc,GACpB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,SAAS,EACT,aAAa,EACb,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,EACb,UAAU,EACV,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,mBAAmB,EACxB,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,eAAe,CAAC;AAMvB,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ser-des/index.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAK/D,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,EACd,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,WAAW,GAAG,YAAY,CAAC;AAEvC,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,QAAQ,CAAC;IACnB,0DAA0D;IAC1D,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B;;;OAGG;IACH,WAAW,CAAC,EAAE,OAAO,WAAW,EAAE,eAAe,CAAC;CACnD;AAED;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,QAAQ,CAG5E;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,WAAgB,GACxB,UAAU,CAIZ;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,WAAgB,GACxB,QAAQ,CAGV;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,WAAgB,GACxB,UAAU,CAGZ;AAED,wBAAgB,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAE/C;AAED,OAAO,EACL,WAAW,EACX,qBAAqB,EACrB,yBAAyB,EACzB,iBAAiB,EACjB,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,gBAAgB,GACtB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EACL,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,KAAK,OAAO,EACZ,KAAK,cAAc,EACnB,KAAK,WAAW,GACjB,MAAM,OAAO,CAAC;AAEf,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,eAAe,EAAE,CAE9D;AAED,YAAY,EAAE,YAAY,EAAE,CAAC;AAK7B,OAAO,EAAE,iBAAiB,EAAE,CAAC;AAC7B,YAAY,EAAE,iBAAiB,EAAE,CAAC;AAClC,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;AAC9D,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAM3E,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,mBAAmB,EACnB,KAAK,QAAQ,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,OAAO,EACP,SAAS,EACT,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,cAAc,GACpB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,SAAS,EACT,aAAa,EACb,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,EACb,UAAU,EACV,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,mBAAmB,EACxB,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,eAAe,CAAC;AAMvB,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,eAAe,CAAC;AAKvB,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,KAAK,WAAW,EAChB,KAAK,GAAG,EACR,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,iBAAiB,GACvB,MAAM,YAAY,CAAC"}

package/dist/src/ser-des/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ENDPOINT_OPERATION_KINDS = exports.ENDPOINT_ACCESS_SCOPES = exports.PASSPORT_UPI_LEVELS = exports.PASSPORT_CONTENT_CLASSES = exports.PASSPORT_ACCESS_CLASSES = exports.TIER_ORDER = exports.TIER_BY_FIELD = exports.normalizeSourceRef = exports.formatDiffReport = exports.elementIndex = exports.diffStandards = exports.clauseTextKey = exports.canonical = exports.componentIds = exports.applyView = exports.repoMap = exports.discoverTransitive = exports.computeCoverage = exports.buildProcessTree = exports.collectMappings = exports.mappingsFromProfile = exports.parseTargetRef = exports.isWellFormedMapType = exports.parseTypeExpression = exports.PRIMITIVE_TYPES = exports.parseDeclarations = exports.mapProfilesToPrm = exports.prmToMapProfiles = exports.dumpPrm = exports.loadPrm = exports.dumpPackage = exports.CompositionError = exports.readPackageManifest = exports.effectiveUses = exports.packageFiles = exports.groupBySourceFile = exports.loadPackageWithProvenance = exports.loadPackageWithIssues = exports.loadPackage = void 0;
+exports.lookupTable = exports.isTableVariable = exports.evaluateTableVariable = exports.evaluateExpression = exports.executeRun = exports.ENDPOINT_OPERATION_KINDS = exports.ENDPOINT_ACCESS_SCOPES = exports.PASSPORT_UPI_LEVELS = exports.PASSPORT_CONTENT_CLASSES = exports.PASSPORT_ACCESS_CLASSES = exports.TIER_ORDER = exports.TIER_BY_FIELD = exports.normalizeSourceRef = exports.formatDiffReport = exports.elementIndex = exports.diffStandards = exports.clauseTextKey = exports.canonical = exports.componentIds = exports.applyView = exports.repoMap = exports.discoverTransitive = exports.computeCoverage = exports.buildProcessTree = exports.collectMappings = exports.mappingsFromProfile = exports.parseTargetRef = exports.isWellFormedMapType = exports.parseTypeExpression = exports.PRIMITIVE_TYPES = exports.parseDeclarations = exports.mapProfilesToPrm = exports.prmToMapProfiles = exports.dumpPrm = exports.loadPrm = exports.dumpPackage = exports.CompositionError = exports.readPackageManifest = exports.effectiveUses = exports.packageFiles = exports.groupBySourceFile = exports.loadPackageWithProvenance = exports.loadPackageWithIssues = exports.loadPackage = void 0;
 exports.load = load;
 exports.loadWithIssues = loadWithIssues;
 exports.loadFile = loadFile;
@@ -113,4 +113,14 @@ Object.defineProperty(exports, "PASSPORT_UPI_LEVELS", { enumerable: true, get: f
 var Twin_1 = require("../types/Twin");
 Object.defineProperty(exports, "ENDPOINT_ACCESS_SCOPES", { enumerable: true, get: function () { return Twin_1.ENDPOINT_ACCESS_SCOPES; } });
 Object.defineProperty(exports, "ENDPOINT_OPERATION_KINDS", { enumerable: true, get: function () { return Twin_1.ENDPOINT_OPERATION_KINDS; } });
+// The runtime (the execution plane) rides the browser bundle too — the
+// editor's simulator derives and the tick pipeline consume it in the
+// browser. Same rule as above: an export the root index carries but
+// this entry drops never reaches dist-browser.
+var runtime_1 = require("../runtime");
+Object.defineProperty(exports, "executeRun", { enumerable: true, get: function () { return runtime_1.executeRun; } });
+Object.defineProperty(exports, "evaluateExpression", { enumerable: true, get: function () { return runtime_1.evaluateExpression; } });
+Object.defineProperty(exports, "evaluateTableVariable", { enumerable: true, get: function () { return runtime_1.evaluateTableVariable; } });
+Object.defineProperty(exports, "isTableVariable", { enumerable: true, get: function () { return runtime_1.isTableVariable; } });
+Object.defineProperty(exports, "lookupTable", { enumerable: true, get: function () { return runtime_1.lookupTable; } });
 //# sourceMappingURL=index.js.map

package/dist/src/ser-des/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ser-des/index.ts"],"names":[],"mappings":";;;AAmCA,oBAGC;AAQD,wCAOC;AAMD,4BAMC;AAKD,gDAMC;AAED,oBAEC;AAiCD,4BAEC;AAlHD,mCAA4B;AAC5B,mCAA4C;AAwHnC,kGAxHA,yBAAiB,OAwHA;AAtH1B,uCAAgC;AAChC,iCAA2B;AAC3B,qCAAyE;AACzE,yCAAgD;AAChD,0CAKqB;AAerB;;;;;;GAMG;AACH,SAAgB,IAAI,CAAC,UAAkB,EAAE,UAAuB,EAAE;IAChE,MAAM,OAAO,GAAG,IAAA,eAAK,EAAC,UAAU,EAAE,sBAAa,EAAE,OAAO,CAAC,CAAC;IAC1D,OAAO,IAAA,iBAAO,EAAC,OAAO,EAAE,wBAAe,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,SAAgB,cAAc,CAC5B,UAAkB,EAClB,UAAuB,EAAE;IAEzB,MAAM,OAAO,GAAG,IAAA,eAAK,EAAC,UAAU,EAAE,sBAAa,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAA,iBAAO,EAAC,OAAO,EAAE,wBAAe,CAAC,CAAC;IACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,SAAgB,QAAQ,CACtB,QAAgB,EAChB,UAAuB,EAAE;IAEzB,MAAM,OAAO,GAAG,IAAA,6BAAkB,EAAC,QAAQ,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAChC,QAAgB,EAChB,UAAuB,EAAE;IAEzB,MAAM,OAAO,GAAG,IAAA,6BAAkB,EAAC,QAAQ,CAAC,CAAC;IAC7C,OAAO,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED,SAAgB,IAAI,CAAC,QAAkB;IACrC,OAAO,IAAA,cAAK,EAAC,QAAQ,EAAE,sBAAa,CAAC,CAAC;AACxC,CAAC;AAED,qCAmBmB;AAlBjB,sGAAA,WAAW,OAAA;AACX,gHAAA,qBAAqB,OAAA;AACrB,oHAAA,yBAAyB,OAAA;AACzB,4GAAA,iBAAiB,OAAA;AACjB,uGAAA,YAAY,OAAA;AACZ,wGAAA,aAAa,OAAA;AACb,8GAAA,mBAAmB,OAAA;AACnB,2GAAA,gBAAgB,OAAA;AAYlB,4DAAuD;AAA9C,8GAAA,WAAW,OAAA;AACpB,6BAQe;AAPb,8FAAA,OAAO,OAAA;AACP,8FAAA,OAAO,OAAA;AACP,uGAAA,gBAAgB,OAAA;AAChB,uGAAA,gBAAgB,OAAA;AAMlB,SAAgB,QAAQ,CAAC,QAAkB;IACzC,OAAO,IAAA,mBAAS,EAAC,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAYD,qEAAqE;AACrE,oEAAoE;AACpE,qEAAqE;AACrE,oDAAoD;AACpD,0CAKsB;AAJpB,4GAAA,eAAe,OAAA;AACf,gHAAA,mBAAmB,OAAA;AACnB,gHAAA,mBAAmB,OAAA;AAGrB,wDAqB6B;AApB3B,kHAAA,cAAc,OAAA;AACd,uHAAA,mBAAmB,OAAA;AACnB,mHAAA,eAAe,OAAA;AACf,oHAAA,gBAAgB,OAAA;AAChB,mHAAA,eAAe,OAAA;AACf,sHAAA,kBAAkB,OAAA;AAClB,2GAAA,OAAO,OAAA;AACP,6GAAA,SAAS,OAAA;AACT,gHAAA,YAAY,OAAA;AAad,4CAwBuB;AAvBrB,uGAAA,SAAS,OAAA;AACT,2GAAA,aAAa,OAAA;AACb,2GAAA,aAAa,OAAA;AACb,0GAAA,YAAY,OAAA;AACZ,8GAAA,gBAAgB,OAAA;AAChB,gHAAA,kBAAkB,OAAA;AAClB,2GAAA,aAAa,OAAA;AACb,wGAAA,UAAU,OAAA;AAiBZ,wEAAwE;AACxE,wEAAwE;AACxE,uEAAuE;AACvE,uEAAuE;AACvE,oCAAoC;AACpC,8CAI2B;AAHzB,mHAAA,uBAAuB,OAAA;AACvB,oHAAA,wBAAwB,OAAA;AACxB,+GAAA,mBAAmB,OAAA;AAErB,sCAGuB;AAFrB,8GAAA,sBAAsB,OAAA;AACtB,gHAAA,wBAAwB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ser-des/index.ts"],"names":[],"mappings":";;;AAmCA,oBAGC;AAQD,wCAOC;AAMD,4BAMC;AAKD,gDAMC;AAED,oBAEC;AAiCD,4BAEC;AAlHD,mCAA4B;AAC5B,mCAA4C;AAwHnC,kGAxHA,yBAAiB,OAwHA;AAtH1B,uCAAgC;AAChC,iCAA2B;AAC3B,qCAAyE;AACzE,yCAAgD;AAChD,0CAKqB;AAerB;;;;;;GAMG;AACH,SAAgB,IAAI,CAAC,UAAkB,EAAE,UAAuB,EAAE;IAChE,MAAM,OAAO,GAAG,IAAA,eAAK,EAAC,UAAU,EAAE,sBAAa,EAAE,OAAO,CAAC,CAAC;IAC1D,OAAO,IAAA,iBAAO,EAAC,OAAO,EAAE,wBAAe,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,SAAgB,cAAc,CAC5B,UAAkB,EAClB,UAAuB,EAAE;IAEzB,MAAM,OAAO,GAAG,IAAA,eAAK,EAAC,UAAU,EAAE,sBAAa,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAA,iBAAO,EAAC,OAAO,EAAE,wBAAe,CAAC,CAAC;IACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,SAAgB,QAAQ,CACtB,QAAgB,EAChB,UAAuB,EAAE;IAEzB,MAAM,OAAO,GAAG,IAAA,6BAAkB,EAAC,QAAQ,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAChC,QAAgB,EAChB,UAAuB,EAAE;IAEzB,MAAM,OAAO,GAAG,IAAA,6BAAkB,EAAC,QAAQ,CAAC,CAAC;IAC7C,OAAO,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED,SAAgB,IAAI,CAAC,QAAkB;IACrC,OAAO,IAAA,cAAK,EAAC,QAAQ,EAAE,sBAAa,CAAC,CAAC;AACxC,CAAC;AAED,qCAmBmB;AAlBjB,sGAAA,WAAW,OAAA;AACX,gHAAA,qBAAqB,OAAA;AACrB,oHAAA,yBAAyB,OAAA;AACzB,4GAAA,iBAAiB,OAAA;AACjB,uGAAA,YAAY,OAAA;AACZ,wGAAA,aAAa,OAAA;AACb,8GAAA,mBAAmB,OAAA;AACnB,2GAAA,gBAAgB,OAAA;AAYlB,4DAAuD;AAA9C,8GAAA,WAAW,OAAA;AACpB,6BAQe;AAPb,8FAAA,OAAO,OAAA;AACP,8FAAA,OAAO,OAAA;AACP,uGAAA,gBAAgB,OAAA;AAChB,uGAAA,gBAAgB,OAAA;AAMlB,SAAgB,QAAQ,CAAC,QAAkB;IACzC,OAAO,IAAA,mBAAS,EAAC,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAYD,qEAAqE;AACrE,oEAAoE;AACpE,qEAAqE;AACrE,oDAAoD;AACpD,0CAKsB;AAJpB,4GAAA,eAAe,OAAA;AACf,gHAAA,mBAAmB,OAAA;AACnB,gHAAA,mBAAmB,OAAA;AAGrB,wDAqB6B;AApB3B,kHAAA,cAAc,OAAA;AACd,uHAAA,mBAAmB,OAAA;AACnB,mHAAA,eAAe,OAAA;AACf,oHAAA,gBAAgB,OAAA;AAChB,mHAAA,eAAe,OAAA;AACf,sHAAA,kBAAkB,OAAA;AAClB,2GAAA,OAAO,OAAA;AACP,6GAAA,SAAS,OAAA;AACT,gHAAA,YAAY,OAAA;AAad,4CAwBuB;AAvBrB,uGAAA,SAAS,OAAA;AACT,2GAAA,aAAa,OAAA;AACb,2GAAA,aAAa,OAAA;AACb,0GAAA,YAAY,OAAA;AACZ,8GAAA,gBAAgB,OAAA;AAChB,gHAAA,kBAAkB,OAAA;AAClB,2GAAA,aAAa,OAAA;AACb,wGAAA,UAAU,OAAA;AAiBZ,wEAAwE;AACxE,wEAAwE;AACxE,uEAAuE;AACvE,uEAAuE;AACvE,oCAAoC;AACpC,8CAI2B;AAHzB,mHAAA,uBAAuB,OAAA;AACvB,oHAAA,wBAAwB,OAAA;AACxB,+GAAA,mBAAmB,OAAA;AAErB,sCAGuB;AAFrB,8GAAA,sBAAsB,OAAA;AACtB,gHAAA,wBAAwB,OAAA;AAE1B,uEAAuE;AACvE,qEAAqE;AACrE,oEAAoE;AACpE,+CAA+C;AAC/C,sCAYoB;AAXlB,qGAAA,UAAU,OAAA;AACV,6GAAA,kBAAkB,OAAA;AAClB,gHAAA,qBAAqB,OAAA;AACrB,0GAAA,eAAe,OAAA;AACf,sGAAA,WAAW,OAAA"}

package/dist-browser/index.mjs

@@ -2548,11 +2548,38 @@ var Qt = (e, t) => {
 		condition: "",
 		ref: [],
 		_relations: { ref: [] }
-	};
-	return y(t, (e, t) => (e === "modality" ? n.modality = t() : e === "condition" ? n.condition = x(t) : e === "reference" ? n._relations.ref = r(t()) : n.subject.set(e, t()), !0), {
-		construct: "provision",
-		id: e
-	}), (t) => (t.provisions[e] = n, t);
+	}, a = /* @__PURE__ */ new Set([
+		"modality",
+		"condition",
+		"reference"
+	]), s = (e) => e.length >= 2 && e.startsWith("\"") && e.endsWith("\"") ? o(e.slice(1, -1)) : e.length >= 2 && e.startsWith("{") && e.endsWith("}") ? i(e) : e, c = r(t), l = 0;
+	for (; l < c.length;) {
+		let t = c[l++];
+		if (t === "modality") {
+			if (l >= c.length) throw Error(`Parsing error: provision. ID ${e}: Expecting value for modality`);
+			n.modality = c[l++];
+			continue;
+		}
+		if (t === "condition") {
+			if (l >= c.length) throw Error(`Parsing error: provision. ID ${e}: Expecting value for condition`);
+			n.condition = s(c[l++]);
+			continue;
+		}
+		if (t === "reference") {
+			if (l >= c.length) throw Error(`Parsing error: provision. ID ${e}: Expecting value for reference`);
+			n._relations.ref = r(c[l++]);
+			continue;
+		}
+		let i = [];
+		for (; l < c.length && !a.has(c[l]);) i.push(c[l++]);
+		if (i.length === 0) {
+			n.subject.set(t, "");
+			break;
+		}
+		let o = i.map(s).join(" ");
+		n.subject.set(t, o);
+	}
+	return (t) => (t.provisions[e] = n, t);
 }, rn = function(e, t) {
 	let n = [];
 	for (let r of t._relations.ref) {
@@ -2566,7 +2593,8 @@ var Qt = (e, t) => {
 }, an = function(e) {
 	let t = "provision " + e.id + " {\n";
 	if (e.subject.forEach((e, n) => {
-		t += "  " + n + " " + e + "\n";
+		let r = e.includes(" ") ? `"${s(e)}"` : e;
+		t += "  " + n + " " + r + "\n";
 	}), t += "  condition \"" + s(e.condition) + "\"\n", e.modality !== "" && (t += "  modality " + e.modality + "\n"), e.ref.length > 0) {
 		t += "  reference {\n";
 		for (let n of e.ref) t += "    " + n.id + "\n";
@@ -11599,14 +11627,14 @@ function rd(e, t) {
 function id(e, t) {
 	return `${e}#${t}`;
 }
-function $(e) {
+function ad(e) {
 	return e?.version ?? "";
 }
-function ad(e) {
+function od(e) {
 	let t = [...new Set(e)].sort();
 	return t.filter((e) => !t.some((t) => t !== e && e.startsWith(t + ".")));
 }
-function od(e, t, n) {
+function sd(e, t, n) {
 	let r = n.mappingsA ?? Lu(e), i = n.mappingsB ?? Lu(t), a = (e) => `${e.sourceModel}#${e.source}⇒${e.target}`, o = new Map(r.map((e) => [a(e), e])), s = new Map(i.map((e) => [a(e), e])), c = [], l = [], u = [];
 	for (let [e, t] of s) o.has(e) || c.push(t);
 	for (let [e, t] of o) {
@@ -11665,12 +11693,12 @@ function od(e, t, n) {
 		namespacesSkipped: p
 	};
 }
-function sd(e, t) {
+function cd(e, t) {
 	let n = [];
 	for (let [t, r] of e) {
 		let e = /* @__PURE__ */ new Set([...t.provenance.map((e) => e.basis), ...r.provenance.map((e) => e.basis)]);
 		for (let i of [...e].sort()) {
-			let e = (e) => ad(e.provenance.filter((e) => e.basis === i).map((e) => e.clause)).filter((e) => e.length > 0), a = e(t), o = e(r), s = a.filter((e) => !o.includes(e)), c = o.filter((e) => !a.includes(e));
+			let e = (e) => od(e.provenance.filter((e) => e.basis === i).map((e) => e.clause)).filter((e) => e.length > 0), a = e(t), o = e(r), s = a.filter((e) => !o.includes(e)), c = o.filter((e) => !a.includes(e));
 			if (s.length === 0 && c.length === 0) continue;
 			let l = {
 				key: t.key,
@@ -11736,21 +11764,21 @@ function sd(e, t) {
 	}
 	return [...i.values()].sort((e, t) => `${e.doc} ${e.from} ${e.to}`.localeCompare(`${t.doc} ${t.from} ${t.to}`));
 }
-function cd(e, t, n) {
+function ld(e, t, n) {
 	return e.kind !== "texts" || !n.startsWith("spelling:") ? n : n in e.aspects ? n in t.aspects ? `${n} (changed)` : `${n} (removed)` : `${n} (added)`;
 }
-var ld = (e) => typeof e == "object" && !!e && !Array.isArray(e);
-function ud(e, t, n, r) {
-	if (ld(t) && ld(n)) {
+var ud = (e) => typeof e == "object" && !!e && !Array.isArray(e);
+function dd(e, t, n, r) {
+	if (ud(t) && ud(n)) {
 		let i = [.../* @__PURE__ */ new Set([...Object.keys(t), ...Object.keys(n)])].sort();
-		for (let a of i) ud(`${e}.${a}`, t[a], n[a], r);
+		for (let a of i) dd(`${e}.${a}`, t[a], n[a], r);
 		return;
 	}
 	Q(t) !== Q(n) && r.push(e);
 }
-function dd(e, t) {
+function fd(e, t) {
 	let n = [.../* @__PURE__ */ new Set([...Object.keys(e.fields), ...Object.keys(t.fields)])].sort(), r = [];
-	for (let i of n) ud(i, e.fields[i], t.fields[i], r);
+	for (let i of n) dd(i, e.fields[i], t.fields[i], r);
 	let i = [
 		"source",
 		"sourceRef",
@@ -11763,7 +11791,7 @@ function dd(e, t) {
 		return !a.has(r) && (a.add(r), !0);
 	});
 }
-function fd(e, t, n = {}) {
+function pd(e, t, n = {}) {
 	let r = [], i = [], a = rd(e, r), o = rd(t, i), s = [], c = [], l = [], u = [], d = [], f = 0, p = Object.fromEntries(Ku.map((e) => [e, {
 		added: 0,
 		removed: 0,
@@ -11802,17 +11830,17 @@ function fd(e, t, n = {}) {
 			id: t.id,
 			kind: t.kind,
 			tier: t.tier,
-			aspects: r.map((e) => cd(t, n, e)).sort(),
-			fields: dd(t, n)
+			aspects: r.map((e) => ld(t, n, e)).sort(),
+			fields: fd(t, n)
 		}), p[t.tier].changed++);
 	}
-	let m = od(e, t, n), h = sd(d, n), g = s.length === 0 && c.length === 0 && l.length === 0 && u.length === 0 && m.added.length === 0 && m.removed.length === 0 && m.changed.length === 0 && m.coverageDelta.length === 0 && h.length === 0, _ = e.packageManifest, v = t.packageManifest, y = n.aLabel ?? (_?.id ? `${_.id}@${$(_) || "?"}` : "a"), b = n.bLabel ?? (v?.id ? `${v.id}@${$(v) || "?"}` : "b"), ee = !!_?.id && _.id === v?.id && $(_) !== $(v), x = (e, t) => `${e}: duplicate element ${t} — the last declaration wins (a data error the duplicate-id linter owns); this side under-reports`, S = [...r.map((e) => x(y, e)), ...i.map((e) => x(b, e))];
+	let m = sd(e, t, n), h = cd(d, n), g = s.length === 0 && c.length === 0 && l.length === 0 && u.length === 0 && m.added.length === 0 && m.removed.length === 0 && m.changed.length === 0 && m.coverageDelta.length === 0 && h.length === 0, _ = e.packageManifest, v = t.packageManifest, y = n.aLabel ?? (_?.id ? `${_.id}@${ad(_) || "?"}` : "a"), b = n.bLabel ?? (v?.id ? `${v.id}@${ad(v) || "?"}` : "b"), ee = !!_?.id && _.id === v?.id && ad(_) !== ad(v), x = (e, t) => `${e}: duplicate element ${t} — the last declaration wins (a data error the duplicate-id linter owns); this side under-reports`, S = [...r.map((e) => x(y, e)), ...i.map((e) => x(b, e))];
 	return {
 		aLabel: y,
 		bLabel: b,
 		editionComparison: ee,
-		aVersion: $(_),
-		bVersion: $(v),
+		aVersion: ad(_),
+		bVersion: ad(v),
 		added: s.sort((e, t) => e.key.localeCompare(t.key)),
 		removed: c.sort((e, t) => e.key.localeCompare(t.key)),
 		changed: l.sort((e, t) => e.key.localeCompare(t.key)),
@@ -11825,17 +11853,17 @@ function fd(e, t, n = {}) {
 		empty: g
 	};
 }
-function pd(e) {
+function md(e) {
 	return `[${e.tier}/${e.kind}] ${e.id}`;
 }
-function md(e, t) {
+function hd(e, t) {
 	try {
 		let n = e ? JSON.parse(e) : {}, r = t ? JSON.parse(t) : {}, i = [.../* @__PURE__ */ new Set([...Object.keys(n), ...Object.keys(r)])].sort().filter((e) => Q(n[e]) !== Q(r[e])).map((e) => `${e}: ${Q(n[e])} → ${Q(r[e])}`);
 		if (i.length > 0) return i;
 	} catch {}
 	return [`from ${e}`, `to   ${t}`];
 }
-function hd(e) {
+function gd(e) {
 	let t = [], n = e.editionComparison ? `edition comparison — ${e.aLabel} → ${e.bLabel}` : `model diff — ${e.aLabel} → ${e.bLabel}`;
 	t.push(`primmel diff: ${n}`), t.push(""), t.push(`elements: +${e.added.length} -${e.removed.length} ~${e.changed.length} >${e.moved.length} (${e.unchanged} unchanged)`), t.push(""), t.push("by tier:    added  removed  changed  moved  unchanged");
 	for (let n of Ku) {
@@ -11844,21 +11872,21 @@ function hd(e) {
 	}
 	if (e.added.length > 0) {
 		t.push("", "added:");
-		for (let n of e.added) t.push(`  + ${pd(n)}`);
+		for (let n of e.added) t.push(`  + ${md(n)}`);
 	}
 	if (e.removed.length > 0) {
 		t.push("", "removed:");
-		for (let n of e.removed) t.push(`  - ${pd(n)}`);
+		for (let n of e.removed) t.push(`  - ${md(n)}`);
 	}
 	if (e.changed.length > 0) {
 		t.push("", "changed:");
-		for (let n of e.changed) t.push(`  ~ ${pd(n)} — ${n.aspects.join(", ")} (fields: ${n.fields.join(", ")})`);
+		for (let n of e.changed) t.push(`  ~ ${md(n)} — ${n.aspects.join(", ")} (fields: ${n.fields.join(", ")})`);
 	}
 	if (e.moved.length > 0) {
 		t.push("", "moved (re-anchored):");
 		for (let n of e.moved) {
-			t.push(`  > ${pd(n)}`);
-			for (let e of md(n.from, n.to)) t.push(`      ${e}`);
+			t.push(`  > ${md(n)}`);
+			for (let e of hd(n.from, n.to)) t.push(`      ${e}`);
 		}
 	}
 	if (e.warnings.length > 0) {
@@ -11882,28 +11910,495 @@ function hd(e) {
 	return t.join("\n");
 }
 //#endregion
+//#region src/operational-state.ts
+var _d = class extends Error {
+	constructor(e) {
+		super(e), this.name = "StateTrajectoryError";
+	}
+};
+function vd(e, t, n) {
+	let r = t.state ?? e.initialState, i = [{
+		state: r,
+		at: t.at,
+		firedBy: ""
+	}];
+	for (let t of n) {
+		if (!t.fires) continue;
+		let n = e.transitions.filter((e) => e.actionName === t.fires);
+		if (n.length === 0) throw new _d(`step "${t.id}" fires "${t.fires}", which state machine "${e.entityName}" does not declare as a transition action`);
+		let a = n.find((e) => e.from === r || e.from === "*");
+		if (!a) throw new _d(`step "${t.id}" fires "${t.fires}", but state machine "${e.entityName}" is in state "${r}" — no such transition is enabled (from: ${n.map((e) => e.from).join(", ")})`);
+		r = a.to, i.push({
+			state: r,
+			at: t.at,
+			firedBy: t.id
+		});
+	}
+	return i;
+}
+//#endregion
+//#region src/runtime.ts
+function yd(e) {
+	let t = [], n = 0, r = e;
+	for (; n < r.length;) {
+		let e = r[n];
+		if (/\s/.test(e)) {
+			n++;
+			continue;
+		}
+		if (/[0-9]/.test(e) || e === "." && /[0-9]/.test(r[n + 1] ?? "")) {
+			let e = n;
+			for (; e < r.length && /[0-9.]/.test(r[e]);) e++;
+			t.push({
+				t: "num",
+				v: Number(r.slice(n, e))
+			}), n = e;
+			continue;
+		}
+		if (/[A-Za-z_]/.test(e)) {
+			let e = n;
+			for (; e < r.length && /[A-Za-z0-9_]/.test(r[e]);) e++;
+			t.push({
+				t: "id",
+				v: r.slice(n, e)
+			}), n = e;
+			continue;
+		}
+		if (r.startsWith("<=", n) || r.startsWith(">=", n) || r.startsWith("!=", n)) {
+			t.push({
+				t: "op",
+				v: r.slice(n, n + 2)
+			}), n += 2;
+			continue;
+		}
+		if ("+-*/()<>=,.".includes(e)) {
+			t.push({
+				t: "op",
+				v: e
+			}), n++;
+			continue;
+		}
+		throw Error(`runtime: the derivation uses a character the evaluator does not know: "${e}"`);
+	}
+	return t;
+}
+var bd = class {
+	toks;
+	constructor(e) {
+		this.toks = e;
+	}
+	pos = 0;
+	peek() {
+		return this.toks[this.pos];
+	}
+	peekAt(e) {
+		return this.toks[this.pos + e];
+	}
+	next() {
+		let e = this.toks[this.pos];
+		if (!e) throw Error("runtime: the derivation ended unexpectedly");
+		return this.pos++, e;
+	}
+	expectOp(e) {
+		let t = this.next();
+		if (t.t !== "op" || t.v !== e) throw Error(`runtime: the derivation expected "${e}"`);
+	}
+};
+function xd(e, t) {
+	return Sd(e, t);
+}
+function Sd(e, t) {
+	let n = e.peek();
+	if (n && n.t === "id" && n.v === "if") {
+		e.next();
+		let n = Cd(e, t), r = e.next();
+		if (r.t !== "id" || r.v !== "then") throw Error("runtime: the derivation expected \"then\"");
+		let i = Sd(e, t), a = e.next();
+		if (a.t !== "id" || a.v !== "else") throw Error("runtime: the derivation expected \"else\"");
+		let o = Sd(e, t);
+		return n ? i : o;
+	}
+	return Cd(e, t);
+}
+function Cd(e, t) {
+	let n = wd(e, t), r = e.peek();
+	if (r && r.t === "op" && [
+		"<=",
+		">=",
+		"<",
+		">",
+		"=",
+		"!="
+	].includes(r.v)) {
+		e.next();
+		let i = wd(e, t);
+		switch (r.v) {
+			case "<=": return +(n <= i);
+			case ">=": return +(n >= i);
+			case "<": return +(n < i);
+			case ">": return +(n > i);
+			case "=": return +(n === i);
+			case "!=": return n === i ? 0 : 1;
+		}
+	}
+	return n;
+}
+function wd(e, t) {
+	let n = Td(e, t);
+	for (;;) {
+		let r = e.peek();
+		if (r && r.t === "op" && (r.v === "+" || r.v === "-")) {
+			e.next();
+			let i = Td(e, t);
+			n = r.v === "+" ? n + i : n - i;
+			continue;
+		}
+		return n;
+	}
+}
+function Td(e, t) {
+	let n = Ed(e, t);
+	for (;;) {
+		let r = e.peek();
+		if (r && r.t === "op" && (r.v === "*" || r.v === "/")) {
+			e.next();
+			let i = Ed(e, t);
+			n = r.v === "*" ? n * i : n / i;
+			continue;
+		}
+		return n;
+	}
+}
+function Ed(e, t) {
+	let n = e.peek();
+	if (n && n.t === "op" && (n.v === "-" || n.v === "+")) {
+		e.next();
+		let r = Ed(e, t);
+		return n.v === "-" ? -r : r;
+	}
+	return Dd(e, t);
+}
+function Dd(e, t) {
+	let n = kd(e, t);
+	for (;;) {
+		let t = e.peek();
+		if (t && t.t === "op" && t.v === ".") {
+			e.next();
+			let t = e.next();
+			if (t.t !== "id") throw Error("runtime: the derivation expected a field name");
+			if (typeof n != "object" || !n || Array.isArray(n)) throw Error(`runtime: the derivation reads "${t.v}" off a plain value`);
+			let r = n[t.v];
+			if (r === void 0) throw Error(`runtime: the derivation reads the undeclared field "${t.v}"`);
+			n = r;
+			continue;
+		}
+		return n;
+	}
+}
+function Od(e, t) {
+	let n = e.peek(), r = e.peekAt(1), i = e.peekAt(2);
+	return n?.t === "op" && n.v === "(" && r?.t === "id" && i?.t === "op" && i.v === ")" && Array.isArray(t[r.v]);
+}
+function kd(e, t) {
+	let n = e.next();
+	if (n.t === "num") return n.v;
+	if (n.t === "id") {
+		if (n.v === "sum" || n.v === "count" || n.v === "average" || (n.v === "min" || n.v === "max") && Od(e, t)) {
+			e.expectOp("(");
+			let r = e.next();
+			e.expectOp(")");
+			let i = t[r.v];
+			if (!Array.isArray(i)) throw Error(`runtime: ${n.v}(...) aggregates a list — "${r.v}" is ${Array.isArray(i) ? "a list" : typeof i}`);
+			let a = i.map(Number);
+			if (n.v === "count") return a.length;
+			if (a.length === 0) throw Error(`runtime: ${n.v}(...) over the empty list "${r.v}"`);
+			return n.v === "sum" ? a.reduce((e, t) => e + t, 0) : n.v === "average" ? a.reduce((e, t) => e + t, 0) / a.length : n.v === "min" ? Math.min(...a) : Math.max(...a);
+		}
+		if (n.v === "abs" || n.v === "min" || n.v === "max") {
+			e.expectOp("(");
+			let r = xd(e, t), i = null, a = e.peek();
+			if (a && a.t === "op" && a.v === "," && (e.next(), i = xd(e, t)), e.expectOp(")"), n.v === "abs") return Math.abs(r);
+			if (i === null) throw Error(`runtime: ${n.v} needs two arguments`);
+			return n.v === "min" ? Math.min(r, i) : Math.max(r, i);
+		}
+		if (n.v === "ocl") {
+			e.expectOp("(");
+			let n = xd(e, t);
+			return e.expectOp(")"), n;
+		}
+		if (n.v === "true") return 1;
+		if (n.v === "false") return 0;
+		if (!(n.v in t)) throw Error(`runtime: the derivation names "${n.v}", which the run scope does not bind`);
+		let r = t[n.v];
+		return typeof r == "object" ? r : typeof r == "string" ? Number(r) : r;
+	}
+	if (n.t === "op" && n.v === "(") {
+		let n = xd(e, t);
+		return e.expectOp(")"), n;
+	}
+	throw Error("runtime: the derivation has an unexpected token");
+}
+function Ad(e) {
+	return e.type === "TABLE_OPTIONS" || e.type === "TABLE_REFERENCE";
+}
+function jd(e, t, n) {
+	if (!Ad(e)) throw Error(`runtime: ${e.id} declares type ${e.type} — the table evaluation takes the TABLE variable family (TABLE_OPTIONS / TABLE_REFERENCE)`);
+	if (e.definition === "") throw Error(`runtime: the table variable ${e.id} carries no definition`);
+	return Md(t, e.definition, n);
+}
+function Md(e, t, n) {
+	let r = t.split(",");
+	if (r.length < 3) throw Error(`runtime: the table lookup definition needs tableId,targetCol,matchCol,var — got "${t}"`);
+	let i = e.find((e) => e.id === r[0].trim()), a = Number(r[1].trim());
+	if (!i || Number.isNaN(a)) throw Error(`runtime: the table lookup names "${r[0].trim()}", which no declared table carries`);
+	let o = i.data.slice(1);
+	for (let e = 2; e + 1 < r.length; e += 2) {
+		let t = Number(r[e].trim()), i = String(n[r[e + 1].trim()] ?? "");
+		o = o.filter((e) => String(e[t] ?? "") === i);
+	}
+	if (o.length === 0) throw Error(`runtime: the table lookup over "${r[0].trim()}" matches no row`);
+	let s = o[0][a] ?? "", c = Number(s);
+	return s !== "" && !Number.isNaN(c) ? c : s;
+}
+function $(e, t) {
+	let n = new bd(yd(e.replace(/^ocl\{/, "").replace(/\}$/, "").trim())), r = xd(n, t);
+	if (n.peek() !== void 0) throw Error("runtime: the derivation has trailing tokens");
+	return r;
+}
+function Nd(e, t) {
+	let n = e.has?.attributes?.[t];
+	return typeof n == "object" && n && "value" in n ? n : n === void 0 ? void 0 : { value: n };
+}
+function Pd(e, t) {
+	let n = e.instruments[0]?.dimensions.find((e) => e.id === "accuracy_class"), r = t, i = n?.values.find((e) => e.id === r), a = {}, o = i?.payload ?? {};
+	for (let [e, t] of Object.entries(o)) {
+		let n = Number(t);
+		a[e] = Number.isNaN(n) ? String(t) : n;
+	}
+	return a;
+}
+function Fd(e, t) {
+	let n = e.instances.find((e) => e.id === t.instance);
+	if (!n) throw Error(`runtime: no instance "${t.instance}" is declared`);
+	let r = n.has?.dimensions?.accuracy_class, i = Pd(e, r), a = {
+		...i,
+		accuracy_class: i
+	};
+	for (let [e] of Object.entries(n.has?.attributes ?? {})) {
+		let t = Nd(n, e);
+		if (t === void 0) continue;
+		let r = Number(typeof t.value == "object" ? t.value.value : t.value);
+		Number.isNaN(r) || (a[e] = r);
+	}
+	let o = [], s = t.test ? e.conformanceTests.find((e) => e.id === t.test) : void 0;
+	if (s) {
+		for (let e of s.preparation?.entries ?? []) {
+			let t = {};
+			for (let [n, r] of Object.entries(e.args ?? {})) try {
+				t[n] = $(String(r), a);
+			} catch {
+				t[n] = String(r);
+			}
+			o.push({
+				program: "preparation",
+				order: e.order ?? null,
+				drive: e.drive ?? "",
+				args: t,
+				hold: e.hold || void 0
+			});
+		}
+		for (let e of s.stimulus?.entries ?? []) {
+			let t = {};
+			for (let [n, r] of Object.entries(e.args ?? {})) try {
+				t[n] = $(String(r), a);
+			} catch {
+				t[n] = String(r);
+			}
+			o.push({
+				program: "stimulus",
+				order: e.order ?? null,
+				drive: e.drive ?? "",
+				args: t,
+				hold: e.hold || void 0,
+				acceptance: e.acceptance || void 0
+			});
+		}
+	}
+	let c = [], l = [...t.requirement ? [t.requirement] : [], ...s?.targets ?? []], u = e.requirements.filter((e) => l.includes(e.id)).flatMap((e) => e.limit ? [e] : []), d = e.verdicts;
+	for (let n of t.inputs) {
+		let r = {
+			...a,
+			load_v: n.load_v,
+			e_l: n.e_l,
+			indication: n.e_l,
+			reference: 0
+		};
+		for (let t of u) {
+			let i = t.limit, a = i.accepts ? [i.accepts] : [];
+			for (let t of a) {
+				let a = d.find((e) => e.id === t.verdict);
+				if (!a) continue;
+				let o;
+				try {
+					o = $(a.derive, r);
+				} catch {
+					o = NaN;
+				}
+				let s = null, l = (i.expression ?? "").trim();
+				if (l !== "") {
+					let t = e.calculations.find((e) => e.id === l);
+					if (t) try {
+						s = $(t.expression ?? "", r);
+					} catch {
+						s = null;
+					}
+					else try {
+						s = $(l, r);
+					} catch {
+						s = null;
+					}
+				}
+				let u = t.op ?? "lte", f = Number.isNaN(o) || s === null ? "indeterminate" : u === "lte" ? o <= s ? "pass" : "fail" : u === "lt" ? o < s ? "pass" : "fail" : u === "gte" ? o >= s ? "pass" : "fail" : u === "gt" ? o > s ? "pass" : "fail" : o === s ? "pass" : "fail";
+				c.push({
+					id: a.id,
+					derive: a.derive,
+					inputs: {
+						e_l: n.e_l,
+						load_v: n.load_v
+					},
+					value: o,
+					unit: a.unit || void 0,
+					limit: l ? {
+						expression: l,
+						op: u,
+						bound: s ?? NaN
+					} : void 0,
+					outcome: f
+				});
+			}
+			for (let t of i.uses ?? []) {
+				if (!t.startsWith("formula:")) continue;
+				let i = e.calculations.find((e) => e.id === t.slice(8));
+				if (!i?.expression) continue;
+				let a;
+				try {
+					a = $(i.expression, r);
+				} catch {
+					continue;
+				}
+				c.push({
+					id: i.id,
+					derive: i.expression,
+					inputs: {
+						e_l: n.e_l,
+						load_v: n.load_v
+					},
+					value: n.e_l,
+					limit: {
+						expression: i.id,
+						op: "lte",
+						bound: a
+					},
+					outcome: n.e_l <= a ? "pass" : "fail"
+				});
+			}
+		}
+		for (let i of t.verdicts ?? []) {
+			let t = e.verdicts.find((e) => e.id === i);
+			if (!t) continue;
+			let a = { ...r };
+			for (let t of e.calculations) if (!(!t.expression || t.id in a)) try {
+				a[t.id] = $(t.expression, r);
+			} catch {}
+			let o = "indeterminate";
+			try {
+				o = $(t.derive, a) ? "pass" : "fail";
+			} catch {
+				o = "indeterminate";
+			}
+			c.push({
+				id: t.id,
+				derive: t.derive,
+				inputs: {
+					e_l: n.e_l,
+					load_v: n.load_v
+				},
+				value: n.e_l,
+				unit: t.unit || void 0,
+				outcome: o
+			});
+		}
+	}
+	let f = [], p = e.subjects.find((e) => e.id === n.of || e.extends === n.of)?.has?.state ?? "", m = p ? e.stateMachines.find((e) => e.id === p || e.entityName === p) : void 0;
+	if (m) {
+		let e = [];
+		for (let t of o) {
+			let n = t.drive;
+			n && m.transitions.some((e) => e.actionName === n) && e.push({
+				id: `${t.program}:${t.order ?? ""}`,
+				fires: n,
+				at: String(e.length)
+			});
+		}
+		if (e.length > 0) try {
+			f = vd(m, {
+				state: m.initialState,
+				at: "0"
+			}, e);
+		} catch {
+			f = [];
+		}
+	}
+	let h = [];
+	if (t.evidenceRegistry) {
+		let e = {
+			registry: t.evidenceRegistry,
+			run: t.runId ?? (t.test ? `${t.instance}:${t.test}` : t.instance),
+			values: [...t.inputs.map((e, t) => ({
+				id: `load_v[${t}]`,
+				value: e.load_v,
+				provenance: void 0
+			})), ...c.map((e, t) => ({
+				id: `${e.id}[${t}]`,
+				value: e.value,
+				unit: e.unit,
+				provenance: void 0
+			}))]
+		};
+		h.push(e);
+	}
+	return {
+		instance: t.instance,
+		test: t.test,
+		programs: o,
+		verdicts: c,
+		trajectory: f,
+		evidence: h
+	};
+}
+//#endregion
 //#region src/ser-des/index.ts
-function gd(e, t = {}) {
+function Id(e, t = {}) {
 	return m(u(e, Ul, t), Wl);
 }
-function _d(e, t = {}) {
+function Ld(e, t = {}) {
 	let n = u(e, Ul, t);
 	return {
 		standard: m(n, Wl),
 		issues: n.issues
 	};
 }
-function vd(e, t = {}) {
-	return gd(Jl(e), t);
+function Rd(e, t = {}) {
+	return Id(Jl(e), t);
 }
-function yd(e, t = {}) {
-	return _d(Jl(e), t);
+function zd(e, t = {}) {
+	return Ld(Jl(e), t);
 }
-function bd(e) {
+function Bd(e) {
 	return Xe(e, Gl);
 }
-function xd(e) {
+function Vd(e) {
 	return Yl(e);
 }
 //#endregion
-export { X as CompositionError, Da as ENDPOINT_ACCESS_SCOPES, Ea as ENDPOINT_OPERATION_KINDS, ic as PASSPORT_ACCESS_CLASSES, rc as PASSPORT_CONTENT_CLASSES, ac as PASSPORT_UPI_LEVELS, Au as PRIMITIVE_TYPES, qu as TIER_BY_FIELD, Ku as TIER_ORDER, Wu as applyView, Ru as buildProcessTree, Q as canonical, id as clauseTextKey, Lu as collectMappings, Gu as componentIds, Bu as computeCoverage, fd as diffStandards, Vu as discoverTransitive, bd as dump, wa as dumpPackage, Du as dumpPrm, hu as effectiveUses, rd as elementIndex, hd as formatDiffReport, ou as groupBySourceFile, Pu as isWellFormedMapType, gd as load, vd as loadFile, yd as loadFileWithIssues, au as loadPackage, mu as loadPackageWithIssues, su as loadPackageWithProvenance, Eu as loadPrm, _d as loadWithIssues, ku as mapProfilesToPrm, Iu as mappingsFromProfile, Yu as normalizeSourceRef, iu as packageFiles, d as parseDeclarations, Fu as parseTargetRef, Nu as parseTypeExpression, Ou as prmToMapProfiles, fu as readPackageManifest, Hu as repoMap, xd as validate };
+export { X as CompositionError, Da as ENDPOINT_ACCESS_SCOPES, Ea as ENDPOINT_OPERATION_KINDS, ic as PASSPORT_ACCESS_CLASSES, rc as PASSPORT_CONTENT_CLASSES, ac as PASSPORT_UPI_LEVELS, Au as PRIMITIVE_TYPES, qu as TIER_BY_FIELD, Ku as TIER_ORDER, Wu as applyView, Ru as buildProcessTree, Q as canonical, id as clauseTextKey, Lu as collectMappings, Gu as componentIds, Bu as computeCoverage, pd as diffStandards, Vu as discoverTransitive, Bd as dump, wa as dumpPackage, Du as dumpPrm, hu as effectiveUses, rd as elementIndex, $ as evaluateExpression, jd as evaluateTableVariable, Fd as executeRun, gd as formatDiffReport, ou as groupBySourceFile, Ad as isTableVariable, Pu as isWellFormedMapType, Id as load, Rd as loadFile, zd as loadFileWithIssues, au as loadPackage, mu as loadPackageWithIssues, su as loadPackageWithProvenance, Eu as loadPrm, Ld as loadWithIssues, Md as lookupTable, ku as mapProfilesToPrm, Iu as mappingsFromProfile, Yu as normalizeSourceRef, iu as packageFiles, d as parseDeclarations, Fu as parseTargetRef, Nu as parseTypeExpression, Ou as prmToMapProfiles, fu as readPackageManifest, Hu as repoMap, Vd as validate };

package/dist-cli/primmel.mjs

@@ -4720,22 +4720,58 @@ var parseProvision = function(id, data) {
       ref: []
     }
   };
-  forEachEntry(
-    data,
-    (command, value) => {
-      if (command === "modality") {
-        result.modality = value();
-      } else if (command === "condition") {
-        result.condition = unwrapped(value);
-      } else if (command === "reference") {
-        result._relations.ref = tokenizePackage(value());
-      } else {
-        result.subject.set(command, value());
+  const KNOWN = /* @__PURE__ */ new Set(["modality", "condition", "reference"]);
+  const unwrapToken = (x) => {
+    if (x.length >= 2 && x.startsWith('"') && x.endsWith('"')) {
+      return unescapeString(x.slice(1, -1));
+    }
+    if (x.length >= 2 && x.startsWith("{") && x.endsWith("}")) {
+      return unwrapBlock(x);
+    }
+    return x;
+  };
+  const t = tokenizePackage(data);
+  let i = 0;
+  while (i < t.length) {
+    const keyword = t[i++];
+    if (keyword === "modality") {
+      if (i >= t.length) {
+        throw new Error(
+          `Parsing error: provision. ID ${id}: Expecting value for modality`
+        );
       }
-      return true;
-    },
-    { construct: "provision", id }
-  );
+      result.modality = t[i++];
+      continue;
+    }
+    if (keyword === "condition") {
+      if (i >= t.length) {
+        throw new Error(
+          `Parsing error: provision. ID ${id}: Expecting value for condition`
+        );
+      }
+      result.condition = unwrapToken(t[i++]);
+      continue;
+    }
+    if (keyword === "reference") {
+      if (i >= t.length) {
+        throw new Error(
+          `Parsing error: provision. ID ${id}: Expecting value for reference`
+        );
+      }
+      result._relations.ref = tokenizePackage(t[i++]);
+      continue;
+    }
+    const rest = [];
+    while (i < t.length && !KNOWN.has(t[i])) {
+      rest.push(t[i++]);
+    }
+    if (rest.length === 0) {
+      result.subject.set(keyword, "");
+      break;
+    }
+    const value = rest.map(unwrapToken).join(" ");
+    result.subject.set(keyword, value);
+  }
   return (ctx) => {
     ctx.provisions[id] = result;
     return ctx;
@@ -4754,7 +4790,8 @@ var resolveProvision = function(ctx, unresolved) {
 var dumpProvision = function(pro) {
   let out = "provision " + pro.id + " {\n";
   pro.subject.forEach((value, key) => {
-    out += "  " + key + " " + value + "\n";
+    const v = value.includes(" ") ? `"${escapeString(value)}"` : value;
+    out += "  " + key + " " + v + "\n";
   });
   out += '  condition "' + escapeString(pro.condition) + '"\n';
   if (pro.modality !== "") {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@primmel/primmel",
-  "version": "1.21.10",
+  "version": "1.21.12",
   "description": "Primmel — parser, types, and serializer for the Primmel modelling language (successor to MMEL)",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",