@primmel/primmel 1.3.2 → 1.4.0

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

@@ -0,0 +1,266 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────
+// Instantiation (Primmel v3, TODO.roadmap/03): the `instance` construct.
+//
+//   instance smp-hbk-hlci-001 {
+//     of LoadCellSample
+//     level sample
+//     model mod-hbk-hlci-2-2t-c3          // upward chain link(s)
+//     definition_versions { LoadCellSample : "2021" attributes : "1.0.0" }
+//     has {
+//       attributes { e_max : 2.2 t }      // own exhibited values (parameters)
+//       dimensions { accuracy_class : C } // classification (not on samples)
+//       test_context { d_min : 0 kg }     // sample-scope values, never inherited
+//     }
+//   }
+//
+// The `of <SubjectRef>` head of the doctrine's grammar sketch
+// (`instance X of Y { … }`) lives INSIDE the block: the parser's takesID
+// contract consumes exactly (id, block-payload), so a three-token head is
+// not expressible — `of` is a body keyword here, with the same meaning.
+//
+// Value entries are `key : value [unit]` pairs; the value token may be a
+// quoted string (kept a string even when numeric — "2.1" ≠ 2.1), an
+// unquoted numeric literal (parsed to a number), or any other bare token.
+// A value may also take the QuantityValue BLOCK form (TODO.roadmap/06):
+//   key : { value 2.2 unit t kind mass uncertainty 0.001 tolerance 0.5 }
+// carrying the full INV-1 contract (unit, kind, uncertainty, tolerance).
+// Sample-scope (test-dependent) values live in has.testContext only; the
+// scope discipline of every entry is a LINTER concern (C17), the parse
+// stays lenient. Delegation resolution of these values is NOT here — see
+// src/instance-resolution.ts (INV-10).
+// ─────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.instanceConstruct = void 0;
+exports.readValueMap = readValueMap;
+const tokenize_1 = require("../tokenize");
+const tokenize_2 = require("../tokenize");
+const field_parser_1 = require("./field-parser");
+const quantity_1 = require("./quantity");
+/** A token that heads a `key : value` entry: unquoted, trailing colon. */
+function isKeyHead(tok) {
+    return !tok.startsWith('"') && tok.endsWith(':') && tok.length > 1;
+}
+/**
+ * Read `<key> : <value> [unit]` entries. Entry boundaries: the next key is
+ * either a bare `key` token followed by a `:` token, or an attached-colon
+ * `key:` token. The value is one token (quoted strings stay one token), the
+ * optional unit a second; anything more is a parse error — multi-word
+ * values must be quoted so the unit position stays unambiguous. A single
+ * brace-block token is the QuantityValue block form (value/unit/kind/
+ * uncertainty/tolerance).
+ *
+ * Exported for the artifact_instance content map (task 09) — the same
+ * `key : value [unit]` entry shape.
+ */
+function readValueMap(block) {
+    const out = {};
+    const t = (0, tokenize_1.default)(block);
+    let i = 0;
+    while (i < t.length) {
+        const key = (0, field_parser_1.stripColon)(t[i++]);
+        if (!key) {
+            break;
+        }
+        if (t[i] === ':') {
+            i++;
+        }
+        const parts = [];
+        while (i < t.length && t[i + 1] !== ':' && !isKeyHead(t[i])) {
+            parts.push(t[i++]);
+        }
+        if (parts.length === 0) {
+            out[key] = { value: '' };
+            continue;
+        }
+        if (parts.length > 2) {
+            throw new Error(`Parsing error: instance value entry "${key}" has ${parts.length} tokens ` +
+                `(shape: key : value [unit]) — quote multi-word values`);
+        }
+        // QuantityValue block form: `key : { value … unit … kind … }`.
+        if (parts.length === 1 && parts[0].startsWith('{')) {
+            out[key] = (0, quantity_1.readQuantityBlock)((0, tokenize_2.unwrapBlock)(parts[0]));
+            continue;
+        }
+        const [rawValue, rawUnit] = parts;
+        const value = (0, quantity_1.coerceValueToken)(rawValue);
+        out[key] =
+            rawUnit === undefined
+                ? { value }
+                : { value, unit: (0, tokenize_2.stripWrapping)(rawUnit) };
+    }
+    return out;
+}
+/** Read `<key> : <value>` single-token string entries (dimensions, versions). */
+function readStringMap(block) {
+    const out = {};
+    const t = (0, tokenize_1.default)(block);
+    let i = 0;
+    while (i < t.length) {
+        const key = (0, field_parser_1.stripColon)(t[i++]);
+        if (!key) {
+            break;
+        }
+        if (t[i] === ':') {
+            i++;
+        }
+        if (i < t.length) {
+            out[key] = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+    }
+    return out;
+}
+function readReference(block) {
+    return (0, tokenize_1.default)((0, tokenize_2.stripWrapping)(block))
+        .map(tokenize_2.stripWrapping)
+        .filter(s => s.length > 0);
+}
+function parseInstanceHas(block, result) {
+    const t = (0, tokenize_1.default)(block);
+    let i = 0;
+    while (i < t.length) {
+        const cmd = t[i++];
+        if (i >= t.length) {
+            break;
+        }
+        if (cmd === 'attributes') {
+            result.has.attributes = readValueMap((0, tokenize_2.unwrapBlock)(t[i++]));
+        }
+        else if (cmd === 'dimensions') {
+            result.has.dimensions = readStringMap((0, tokenize_2.unwrapBlock)(t[i++]));
+        }
+        else if (cmd === 'test_context') {
+            result.has.testContext = readValueMap((0, tokenize_2.unwrapBlock)(t[i++]));
+        }
+        else {
+            (0, tokenize_2.unwrapBlock)(t[i++]);
+        }
+    }
+}
+const parseInstance = function (id, data) {
+    const result = {
+        id,
+        of: '',
+        level: '',
+        model: '',
+        group: '',
+        family: '',
+        definitionVersions: {},
+        has: { attributes: {}, dimensions: {}, testContext: {} },
+        referenceIds: [],
+    };
+    const t = (0, tokenize_2.tokenizePackage)(data);
+    let i = 0;
+    while (i < t.length) {
+        const cmd = t[i++];
+        if (i >= t.length) {
+            break;
+        }
+        if (cmd === 'of') {
+            result.of = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'level') {
+            result.level = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'model') {
+            result.model = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'group') {
+            result.group = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'family') {
+            result.family = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'definition_versions') {
+            result.definitionVersions = readStringMap((0, tokenize_2.unwrapBlock)(t[i++]));
+        }
+        else if (cmd === 'has') {
+            parseInstanceHas((0, tokenize_2.unwrapBlock)(t[i++]), result);
+        }
+        else if (cmd === 'reference') {
+            result.referenceIds = readReference(t[i++]);
+        }
+        else {
+            (0, tokenize_2.unwrapBlock)(t[i++]);
+        }
+    }
+    return ctx => {
+        ctx.instances[id] = result;
+        return ctx;
+    };
+};
+// ── dump ─────────────────────────────────────────────────────────────
+// Value emission is shared with the dual construct (ser-des/config/
+// quantity.ts): numbers bare; strings quoted when unsafe, when they would
+// re-parse as a number (quoted-numeric round-trip), or when they end in a
+// colon — a bare trailing-colon token re-parses as a KEY head (isKeyHead),
+// splitting the entry in two. Values carrying kind/uncertainty/tolerance
+// emit the QuantityValue block form.
+function dumpInstanceValueMap(keyword, map) {
+    const keys = Object.keys(map);
+    if (keys.length === 0) {
+        return '';
+    }
+    return ('    ' +
+        keyword +
+        ' { ' +
+        keys.map(k => k + ' : ' + (0, quantity_1.dumpQuantityValue)(map[k])).join(' ') +
+        ' }\n');
+}
+function dumpInstanceStringMap(keyword, map) {
+    const keys = Object.keys(map);
+    if (keys.length === 0) {
+        return '';
+    }
+    return ('    ' +
+        keyword +
+        ' { ' +
+        keys.map(k => k + ' : ' + (0, field_parser_1.dumpBareSafe)(map[k])).join(' ') +
+        ' }\n');
+}
+const dumpInstance = function (inst) {
+    let out = 'instance ' + inst.id + ' {\n';
+    if (inst.of) {
+        out += '  of ' + inst.of + '\n';
+    }
+    if (inst.level) {
+        out += '  level ' + inst.level + '\n';
+    }
+    if (inst.model) {
+        out += '  model ' + inst.model + '\n';
+    }
+    if (inst.group) {
+        out += '  group ' + inst.group + '\n';
+    }
+    if (inst.family) {
+        out += '  family ' + inst.family + '\n';
+    }
+    const versions = Object.keys(inst.definitionVersions);
+    if (versions.length > 0) {
+        out +=
+            '  definition_versions { ' +
+                versions
+                    .map(k => k + ' : ' + (0, field_parser_1.dumpBareSafe)(inst.definitionVersions[k]))
+                    .join(' ') +
+                ' }\n';
+    }
+    const hasBody = dumpInstanceValueMap('attributes', inst.has.attributes) +
+        dumpInstanceStringMap('dimensions', inst.has.dimensions) +
+        dumpInstanceValueMap('test_context', inst.has.testContext);
+    if (hasBody) {
+        out += '  has {\n' + hasBody + '  }\n';
+    }
+    if (inst.referenceIds.length > 0) {
+        out += '  reference { ' + inst.referenceIds.join(' ') + ' }\n';
+    }
+    out += '}\n';
+    return out;
+};
+exports.instanceConstruct = {
+    keyword: 'instance',
+    field: 'instances',
+    takesID: true,
+    parse: parseInstance,
+    dump: dumpInstance,
+};
+//# sourceMappingURL=instance.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"instance.js","sourceRoot":"","sources":["../../../../src/ser-des/config/instance.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,yEAAyE;AACzE,EAAE;AACF,gCAAgC;AAChC,wBAAwB;AACxB,mBAAmB;AACnB,kEAAkE;AAClE,2EAA2E;AAC3E,YAAY;AACZ,+EAA+E;AAC/E,6EAA6E;AAC7E,kFAAkF;AAClF,QAAQ;AACR,MAAM;AACN,EAAE;AACF,8DAA8D;AAC9D,yEAAyE;AACzE,0EAA0E;AAC1E,wEAAwE;AACxE,EAAE;AACF,yEAAyE;AACzE,oEAAoE;AACpE,0EAA0E;AAC1E,wEAAwE;AACxE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,uEAAuE;AACvE,yEAAyE;AACzE,uCAAuC;AACvC,wEAAwE;;;AA8BxE,oCAuCC;AAnED,0CAAmC;AACnC,0CAA0E;AAC1E,iDAA0D;AAC1D,yCAIoB;AAIpB,0EAA0E;AAC1E,SAAS,SAAS,CAAC,GAAW;IAC5B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,YAAY,CAAC,KAAa;IACxC,MAAM,GAAG,GAAkC,EAAE,CAAC;IAC9C,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM;QACR,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACjB,CAAC,EAAE,CAAC;QACN,CAAC;QACD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,wCAAwC,GAAG,SAAS,KAAK,CAAC,MAAM,UAAU;gBACxE,uDAAuD,CAC1D,CAAC;QACJ,CAAC;QACD,+DAA+D;QAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,GAAG,CAAC,GAAG,CAAC,GAAG,IAAA,4BAAiB,EAAC,IAAA,sBAAW,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC;QAClC,MAAM,KAAK,GAAG,IAAA,2BAAgB,EAAC,QAAQ,CAAC,CAAC;QACzC,GAAG,CAAC,GAAG,CAAC;YACN,OAAO,KAAK,SAAS;gBACnB,CAAC,CAAC,EAAE,KAAK,EAAE;gBACX,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAA,wBAAa,EAAC,OAAO,CAAC,EAAE,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iFAAiF;AACjF,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM;QACR,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACjB,CAAC,EAAE,CAAC;QACN,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACjB,GAAG,CAAC,GAAG,CAAC,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,IAAA,kBAAQ,EAAC,IAAA,wBAAa,EAAC,KAAK,CAAC,CAAC;SAClC,GAAG,CAAC,wBAAa,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa,EAAE,MAAgB;IACvD,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM;QACR,CAAC;QACD,IAAI,GAAG,KAAK,YAAY,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,UAAU,GAAG,YAAY,CAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,GAAG,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,CAAC,UAAU,GAAG,aAAa,CAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;aAAM,IAAI,GAAG,KAAK,cAAc,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,WAAW,GAAG,YAAY,CAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACN,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,aAAa,GAAiC,UAAU,EAAE,EAAE,IAAI;IACpE,MAAM,MAAM,GAAa;QACvB,EAAE;QACF,EAAE,EAAE,EAAE;QACN,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,kBAAkB,EAAE,EAAE;QACtB,GAAG,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;QACxD,YAAY,EAAE,EAAE;KACjB,CAAC;IAEF,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,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM;QACR,CAAC;QACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,MAAM,CAAC,EAAE,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,CAAC;aAAM,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YAC3B,MAAM,CAAC,KAAK,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YAC3B,MAAM,CAAC,KAAK,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YAC3B,MAAM,CAAC,KAAK,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,GAAG,KAAK,qBAAqB,EAAE,CAAC;YACzC,MAAM,CAAC,kBAAkB,GAAG,aAAa,CAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACzB,gBAAgB,CAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;aAAM,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YAC/B,MAAM,CAAC,YAAY,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QAC3B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,wEAAwE;AAExE,oEAAoE;AACpE,0EAA0E;AAC1E,0EAA0E;AAC1E,2EAA2E;AAC3E,yEAAyE;AACzE,qCAAqC;AAErC,SAAS,oBAAoB,CAC3B,OAAe,EACf,GAAkC;IAElC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CACL,MAAM;QACN,OAAO;QACP,KAAK;QACL,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,IAAA,4BAAiB,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9D,MAAM,CACP,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAe,EACf,GAA2B;IAE3B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CACL,MAAM;QACN,OAAO;QACP,KAAK;QACL,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,IAAA,2BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACzD,MAAM,CACP,CAAC;AACJ,CAAC;AAED,MAAM,YAAY,GAAG,UAAU,IAAc;IAC3C,IAAI,GAAG,GAAG,WAAW,GAAG,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC;IACzC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QACZ,GAAG,IAAI,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;IAClC,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,GAAG,IAAI,UAAU,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,GAAG,IAAI,UAAU,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,GAAG,IAAI,UAAU,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,GAAG,IAAI,WAAW,GAAG,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IAC1C,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,GAAG;YACD,0BAA0B;gBAC1B,QAAQ;qBACL,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,IAAA,2BAAY,EAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;qBAC9D,IAAI,CAAC,GAAG,CAAC;gBACZ,MAAM,CAAC;IACX,CAAC;IACD,MAAM,OAAO,GACX,oBAAoB,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACvD,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACxD,oBAAoB,CAAC,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC7D,IAAI,OAAO,EAAE,CAAC;QACZ,GAAG,IAAI,WAAW,GAAG,OAAO,GAAG,OAAO,CAAC;IACzC,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,GAAG,IAAI,gBAAgB,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;IACjE,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEW,QAAA,iBAAiB,GAAG;IAC/B,OAAO,EAAE,UAAU;IACnB,KAAK,EAAE,WAAW;IAClB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,aAAa;IACpB,IAAI,EAAE,YAAY;CACV,CAAC"}

package/dist/src/ser-des/config/invariant.d.ts

@@ -0,0 +1,9 @@
+import type { Invariant } from '../../types/Invariant';
+export declare const invariantConstruct: {
+    readonly keyword: "invariant";
+    readonly field: "invariants";
+    readonly takesID: true;
+    readonly parse: import("../types").Parser;
+    readonly dump: (inv: Invariant) => string;
+};
+//# sourceMappingURL=invariant.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"invariant.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/invariant.ts"],"names":[],"mappings":"AAiDA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAyFvD,eAAO,MAAM,kBAAkB;;;;;yBAjCM,SAAS,KAAG,MAAM;CAuC7C,CAAC"}

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

@@ -0,0 +1,143 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────
+// `invariant` construct (smart gap-close E9,
+// analysis/architecture-gaps-2026-07.md; the smart doctrine
+// docs/oiml-core/09-invariants.md): a named architecture invariant of
+// the platform — the first-class replacement for the note-family
+// encoding (pipe-delimited structure inside a note's message string):
+//
+//   invariant INV-1 {
+//     name "No bare numbers"
+//     statement "every physical quantity is a QuantityValue (value + unit [+ uncertainty])."
+//     severity error
+//     applies_to { QuantityValue }
+//     source "docs/oiml-core/09-invariants.md#9.2"
+//     enforcement { kernel:C32 kernel:C33 linker:quantity-coherence gate:schema-quantity-value }
+//   }
+//
+//   invariant INV-99 {
+//     name "…"
+//     statement "…"
+//     severity notice
+//     enforcement aspirational
+//   }
+//
+// Surface-syntax notes (the passport construct's conventions,
+// ser-des/config/passport.ts):
+//   - list facets are `{ … }` blocks; `,` and `;` are optional noise;
+//   - `enforcement aspirational` (the bare token) is the marker; any
+//     braced value is a claims list — `{ aspirational }` is a claims
+//     list containing the marker token, which the linter's C91 flags
+//     (never mixed);
+//   - the parser stays TOTAL: missing facets land as ''/[] and the
+//     linter (C90/C91) judges the shape — unknown keywords stay ignored
+//     (forward compatibility for newer facets);
+//   - name/statement/severity are scalar facets; statement is the
+//     package-default spelling's value inline, alternates ride the ISO
+//     24229 `text <id>.statement` blocks (TODO.roadmap/25).
+//
+// Round-trip: the dump emits the canonical form — scalars first
+// (name, statement, severity), then applies_to, source, and the
+// enforcement (marker line, or one claims block; a malformed both-set
+// model dumps the marker line AND the claims block so the re-parse
+// reproduces it exactly) — the fixpoint is proven in
+// test/invariant.test.ts.
+// ─────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.invariantConstruct = void 0;
+const tokenize_1 = require("../tokenize");
+const parse_block_1 = require("../parse-block");
+const field_parser_1 = require("./field-parser");
+const parseInvariant = function (id, data) {
+    const invariant = {
+        id,
+        name: '',
+        statement: '',
+        severity: '',
+        appliesTo: [],
+        source: '',
+        enforcement: { aspirational: false, claims: [] },
+    };
+    (0, parse_block_1.forEachEntry)(data, (command, value) => {
+        if (command === 'name') {
+            invariant.name = (0, tokenize_1.stripWrapping)(value());
+        }
+        else if (command === 'statement') {
+            invariant.statement = (0, tokenize_1.stripWrapping)(value());
+        }
+        else if (command === 'severity') {
+            invariant.severity = (0, tokenize_1.stripWrapping)(value());
+        }
+        else if (command === 'applies_to') {
+            invariant.appliesTo.push(...(0, field_parser_1.readEntryTokens)(value()));
+        }
+        else if (command === 'source') {
+            // Always quoted on dump (a doc path carries `#` — the comment
+            // character); stripWrapping consumes either spelling.
+            invariant.source = (0, tokenize_1.stripWrapping)(value());
+        }
+        else if (command === 'enforcement') {
+            // The value thunk consumes a token per call — read it ONCE. The
+            // bare token `aspirational` is the marker; anything else (one
+            // bare claim, or a `{ … }` block) is a claims list. Repeated
+            // facets accumulate so the linter sees a both-set declaration
+            // (C90) instead of the parser silently picking one.
+            const v = value();
+            if (!v.startsWith('{') && (0, tokenize_1.stripWrapping)(v) === 'aspirational') {
+                invariant.enforcement.aspirational = true;
+            }
+            else {
+                invariant.enforcement.claims.push(...(0, field_parser_1.readEntryTokens)(v));
+            }
+        }
+        else {
+            return false;
+        }
+        return true;
+    }, { construct: 'invariant', id });
+    return ctx => {
+        ctx.invariants[id] = invariant;
+        return ctx;
+    };
+};
+// ── dump (canonical form) ────────────────────────────────────────────
+const dumpInvariant = function (inv) {
+    let out = 'invariant ' + inv.id + ' {\n';
+    if (inv.name !== '') {
+        out += '  name "' + (0, tokenize_1.escapeString)(inv.name) + '"\n';
+    }
+    if (inv.statement !== '') {
+        out += '  statement "' + (0, tokenize_1.escapeString)(inv.statement) + '"\n';
+    }
+    if (inv.severity !== '') {
+        out += '  severity ' + (0, field_parser_1.dumpBareSafe)(inv.severity) + '\n';
+    }
+    if (inv.appliesTo.length > 0) {
+        out +=
+            '  applies_to { ' + inv.appliesTo.map(field_parser_1.dumpBareSafe).join(' ') + ' }\n';
+    }
+    if (inv.source !== '') {
+        // Quoted ALWAYS: the doc path + anchor carries `#` — the tokenizer's
+        // comment character — so a bare emission would not re-parse.
+        out += '  source "' + (0, tokenize_1.escapeString)(inv.source) + '"\n';
+    }
+    if (inv.enforcement.aspirational) {
+        out += '  enforcement aspirational\n';
+    }
+    if (inv.enforcement.claims.length > 0) {
+        out +=
+            '  enforcement { ' +
+                inv.enforcement.claims.map(field_parser_1.dumpBareSafe).join(' ') +
+                ' }\n';
+    }
+    out += '}\n';
+    return out;
+};
+exports.invariantConstruct = {
+    keyword: 'invariant',
+    field: 'invariants',
+    takesID: true,
+    parse: parseInvariant,
+    dump: dumpInvariant,
+};
+//# sourceMappingURL=invariant.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"invariant.js","sourceRoot":"","sources":["../../../../src/ser-des/config/invariant.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,6CAA6C;AAC7C,4DAA4D;AAC5D,sEAAsE;AACtE,iEAAiE;AACjE,sEAAsE;AACtE,EAAE;AACF,sBAAsB;AACtB,6BAA6B;AAC7B,6FAA6F;AAC7F,qBAAqB;AACrB,mCAAmC;AACnC,mDAAmD;AACnD,iGAAiG;AACjG,MAAM;AACN,EAAE;AACF,uBAAuB;AACvB,eAAe;AACf,oBAAoB;AACpB,sBAAsB;AACtB,+BAA+B;AAC/B,MAAM;AACN,EAAE;AACF,8DAA8D;AAC9D,+BAA+B;AAC/B,sEAAsE;AACtE,qEAAqE;AACrE,qEAAqE;AACrE,qEAAqE;AACrE,qBAAqB;AACrB,mEAAmE;AACnE,wEAAwE;AACxE,gDAAgD;AAChD,kEAAkE;AAClE,uEAAuE;AACvE,4DAA4D;AAC5D,EAAE;AACF,gEAAgE;AAChE,gEAAgE;AAChE,sEAAsE;AACtE,mEAAmE;AACnE,qDAAqD;AACrD,0BAA0B;AAC1B,wEAAwE;;;AAExE,0CAA0D;AAC1D,gDAA8C;AAC9C,iDAA+D;AAI/D,MAAM,cAAc,GAAiC,UAAU,EAAE,EAAE,IAAI;IACrE,MAAM,SAAS,GAAc;QAC3B,EAAE;QACF,IAAI,EAAE,EAAE;QACR,SAAS,EAAE,EAAE;QACb,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,EAAE;QACV,WAAW,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE;KACjD,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACjB,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,SAAS,CAAC,IAAI,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YACnC,SAAS,CAAC,SAAS,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC/C,CAAC;aAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,SAAS,CAAC,QAAQ,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACpC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAA,8BAAe,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACxD,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,8DAA8D;YAC9D,sDAAsD;YACtD,SAAS,CAAC,MAAM,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YACrC,gEAAgE;YAChE,8DAA8D;YAC9D,6DAA6D;YAC7D,8DAA8D;YAC9D,oDAAoD;YACpD,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC;YAClB,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAA,wBAAa,EAAC,CAAC,CAAC,KAAK,cAAc,EAAE,CAAC;gBAC9D,SAAS,CAAC,WAAW,CAAC,YAAY,GAAG,IAAI,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,8BAAe,EAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,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,SAAS,CAAC;QAC/B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,wEAAwE;AAExE,MAAM,aAAa,GAAG,UAAU,GAAc;IAC5C,IAAI,GAAG,GAAG,YAAY,GAAG,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC;IACzC,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;QACpB,GAAG,IAAI,UAAU,GAAG,IAAA,uBAAY,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACrD,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,KAAK,EAAE,EAAE,CAAC;QACzB,GAAG,IAAI,eAAe,GAAG,IAAA,uBAAY,EAAC,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;IAC/D,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;QACxB,GAAG,IAAI,aAAa,GAAG,IAAA,2BAAY,EAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC;IAC3D,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,GAAG;YACD,iBAAiB,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,2BAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;IAC3E,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACtB,qEAAqE;QACrE,6DAA6D;QAC7D,GAAG,IAAI,YAAY,GAAG,IAAA,uBAAY,EAAC,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACzD,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC;QACjC,GAAG,IAAI,8BAA8B,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,GAAG;YACD,kBAAkB;gBAClB,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,2BAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBAClD,MAAM,CAAC;IACX,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEW,QAAA,kBAAkB,GAAG;IAChC,OAAO,EAAE,WAAW;IACpB,KAAK,EAAE,YAAY;IACnB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,cAAc;IACrB,IAAI,EAAE,aAAa;CACX,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"mapProfile.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/mapProfile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAE/C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,eAAO,MAAM,eAAe,EAAE,MAoC7B,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,UAAU,CAe7C,CAAC"}
+{"version":3,"file":"mapProfile.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/mapProfile.ts"],"names":[],"mappings":"AA0CA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAQ/C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAsIrD,eAAO,MAAM,eAAe,EAAE,MAwC7B,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,UAAU,CAwC7C,CAAC"}