@primmel/primmel 1.21.12 → 1.21.14

package/dist/src/expressions/index.js

@@ -0,0 +1,382 @@
+"use strict";
+//! The Primmel expression language: the lexer, the precedence parser, and
+//! the AST. The machine-executable core — first-class syntax, never a
+//! quoted string. The identifiers resolve against the caller's scope (the
+//! argument bindings); the unbound names surface at parse time.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.lex = lex;
+exports.parseExpression = parseExpression;
+exports.canonicalizeExpression = canonicalizeExpression;
+exports.freeIdentifiers = freeIdentifiers;
+exports.renderExpression = renderExpression;
+const OPERATORS = [
+    '->',
+    '<=',
+    '>=',
+    '!=',
+    '≠',
+    '<',
+    '>',
+    '=',
+    '+',
+    '-',
+    '*',
+    '/',
+    '(',
+    ')',
+    ',',
+    '.',
+    '|',
+];
+const NAV_OPS = new Set(['forAll', 'exists', 'select', 'collect']);
+function lex(src) {
+    const tokens = [];
+    let i = 0;
+    while (i < src.length) {
+        const c = src[i];
+        if (/\s/.test(c)) {
+            i += 1;
+            continue;
+        }
+        if (c === "'") {
+            let j = i + 1;
+            while (j < src.length && src[j] !== "'") {
+                j += 1;
+            }
+            if (j >= src.length) {
+                throw new Error(`expression: unterminated string at offset ${i}`);
+            }
+            tokens.push({ kind: 'str', value: src.slice(i + 1, j) });
+            i = j + 1;
+            continue;
+        }
+        if (/[0-9]/.test(c)) {
+            let j = i;
+            while (j < src.length && /[0-9.]/.test(src[j])) {
+                j += 1;
+            }
+            tokens.push({ kind: 'num', value: Number(src.slice(i, j)) });
+            i = j;
+            continue;
+        }
+        if (/[A-Za-z_]/.test(c)) {
+            let j = i;
+            while (j < src.length && /[A-Za-z0-9_.]/.test(src[j])) {
+                j += 1;
+            }
+            tokens.push({ kind: 'name', value: src.slice(i, j) });
+            i = j;
+            continue;
+        }
+        const two = src.slice(i, i + 2);
+        if (OPERATORS.includes(two)) {
+            tokens.push({ kind: 'op', value: two });
+            i += 2;
+            continue;
+        }
+        if (OPERATORS.includes(c)) {
+            tokens.push({ kind: 'op', value: c });
+            i += 1;
+            continue;
+        }
+        throw new Error(`expression: unexpected character "${c}" at offset ${i}`);
+    }
+    return tokens;
+}
+// ── the precedence-climbing parser ─────────────────────────────────────
+const BINARY_LEVELS = [
+    ['implies'],
+    ['or'],
+    ['xor'],
+    ['and'],
+    ['<=', '>=', '<', '>', '=', '!=', '≠'],
+    ['+', '-'],
+    ['*', '/'],
+];
+/** The word-spelled binary operators — never call targets. */
+const WORD_BINOPS = new Set(['implies', 'or', 'xor', 'and']);
+class ExprParser {
+    tokens;
+    pos = 0;
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    peek() {
+        return this.tokens[this.pos];
+    }
+    take() {
+        const tok = this.tokens[this.pos];
+        if (tok === undefined) {
+            throw new Error('expression: unexpected end');
+        }
+        this.pos += 1;
+        return tok;
+    }
+    parse() {
+        const ast = this.parseLevel(0);
+        if (this.pos !== this.tokens.length) {
+            throw new Error(`expression: trailing tokens at position ${this.pos}`);
+        }
+        return ast;
+    }
+    parseLevel(level) {
+        if (level >= BINARY_LEVELS.length) {
+            return this.parseUnary();
+        }
+        let left = this.parseLevel(level + 1);
+        for (;;) {
+            const tok = this.peek();
+            const op = tok?.kind === 'op'
+                ? tok.value
+                : tok?.kind === 'name' && WORD_BINOPS.has(tok.value)
+                    ? tok.value
+                    : undefined;
+            if (op === undefined || !BINARY_LEVELS[level].includes(op)) {
+                return left;
+            }
+            this.take();
+            const right = this.parseLevel(level + 1);
+            left = { type: 'binop', op, left, right };
+        }
+    }
+    parseUnary() {
+        const tok = this.peek();
+        if (tok?.kind === 'name' && (tok.value === 'not' || tok.value === '-')) {
+            this.take();
+            return { type: 'unop', op: tok.value, operand: this.parseUnary() };
+        }
+        if (tok?.kind === 'op' && tok.value === '-') {
+            this.take();
+            return { type: 'unop', op: '-', operand: this.parseUnary() };
+        }
+        return this.parsePrimary();
+    }
+    parsePrimary() {
+        const tok = this.take();
+        if (tok.kind === 'num') {
+            return { type: 'num', value: tok.value };
+        }
+        if (tok.kind === 'str') {
+            return { type: 'str', value: tok.value };
+        }
+        if (tok.kind === 'op' && tok.value === '(') {
+            const inner = this.parseLevel(0);
+            const close = this.take();
+            if (close.kind !== 'op' || close.value !== ')') {
+                throw new Error('expression: expected closing parenthesis');
+            }
+            return inner;
+        }
+        if (tok.kind === 'name') {
+            // the boolean and conditional keywords — reserved literals and
+            // the OCL conditional form, never call targets
+            if (tok.value === 'true' || tok.value === 'false') {
+                return { type: 'bool', value: tok.value === 'true' };
+            }
+            if (tok.value === 'if') {
+                const cond = this.parseLevel(0);
+                const thenTok = this.take();
+                if (thenTok.kind !== 'name' || thenTok.value !== 'then') {
+                    throw new Error('expression: expected "then" in the conditional');
+                }
+                const whenTrue = this.parseLevel(0);
+                const elseTok = this.take();
+                if (elseTok.kind !== 'name' || elseTok.value !== 'else') {
+                    throw new Error('expression: expected "else" in the conditional');
+                }
+                const whenFalse = this.parseLevel(0);
+                const endTok = this.take();
+                if (endTok.kind !== 'name' || endTok.value !== 'endif') {
+                    throw new Error('expression: expected "endif" to close the conditional');
+                }
+                return { type: 'ifelse', cond, then: whenTrue, else: whenFalse };
+            }
+            // the dotted path first — its segments join; a following '(' makes
+            // it a call (the table-as-object idiom: table.permits(a, b))
+            const segs = [tok.value];
+            while (this.peek()?.kind === 'op' && this.peek().value === '.') {
+                this.take();
+                const seg = this.take();
+                if (seg.kind !== 'name') {
+                    throw new Error('expression: expected a path segment after "."');
+                }
+                segs.push(seg.value);
+            }
+            const next = this.peek();
+            if (next?.kind === 'op' &&
+                next.value === '(' &&
+                !WORD_BINOPS.has(segs[0])) {
+                this.take();
+                const args = [];
+                const closing = this.peek();
+                if (closing?.kind === 'op' && closing.value === ')') {
+                    this.take();
+                    return { type: 'call', callee: segs.join('.'), args };
+                }
+                for (;;) {
+                    args.push(this.parseLevel(0));
+                    const sep = this.peek();
+                    if (sep?.kind === 'op' && sep.value === ',') {
+                        this.take();
+                        continue;
+                    }
+                    break;
+                }
+                const close = this.take();
+                if (close.kind !== 'op' || close.value !== ')') {
+                    throw new Error('expression: expected closing parenthesis');
+                }
+                return { type: 'call', callee: segs.join('.'), args };
+            }
+            // the collection navigation (register 24):
+            // source -> forAll(v | body) / exists / select
+            const arrow = this.peek();
+            if (arrow?.kind === 'op' && arrow.value === '->') {
+                this.take();
+                const opTok = this.take();
+                if (opTok.kind !== 'name' || !NAV_OPS.has(opTok.value)) {
+                    throw new Error('expression: expected a collection iterator (forAll | exists | select | collect)');
+                }
+                if (this.peek()?.kind !== 'op' || this.peek().value !== '(') {
+                    throw new Error('expression: expected ( after the iterator');
+                }
+                this.take();
+                const varTok = this.take();
+                if (varTok.kind !== 'name') {
+                    throw new Error('expression: expected the lambda parameter');
+                }
+                if (this.peek()?.kind !== 'op' || this.peek().value !== '|') {
+                    throw new Error('expression: expected | after the parameter');
+                }
+                this.take();
+                const body = this.parseLevel(0);
+                const close = this.take();
+                if (close.kind !== 'op' || close.value !== ')') {
+                    throw new Error('expression: expected closing parenthesis');
+                }
+                return {
+                    type: 'nav',
+                    source: segs.join('.'),
+                    op: opTok.value,
+                    var: varTok.value,
+                    body,
+                };
+            }
+            return { type: 'name', path: segs };
+        }
+        throw new Error(`expression: unexpected token "${String(tok.value)}"`);
+    }
+}
+function parseExpression(src) {
+    return new ExprParser(lex(src)).parse();
+}
+/**
+ * The inline-block carrier's canonical form: the raw block text parsed
+ * and re-rendered — every carrier stores this, and the canonical source
+ * reparses to the same tree (the dump fixpoint).
+ */
+function canonicalizeExpression(raw) {
+    const body = raw.trim();
+    if (body.length === 0) {
+        throw new Error('expression: the block is empty');
+    }
+    return renderExpression(parseExpression(body));
+}
+/** The named leaves and the call targets of the AST. The lambda
+ *  parameters bind their bodies: a name rooted at a bound parameter is
+ *  the navigation's own, never free. */
+function freeIdentifiers(ast) {
+    const out = { names: [], calls: [] };
+    const walk = (node, bound) => {
+        switch (node.type) {
+            case 'num':
+                return;
+            case 'str':
+                return;
+            case 'bool':
+                return;
+            case 'ifelse':
+                walk(node.cond, bound);
+                walk(node.then, bound);
+                walk(node.else, bound);
+                return;
+            case 'name': {
+                // the lexer's name token carries its dots whole — the root is
+                // the token's first dot-segment, not the path array's
+                if (bound.has(node.path[0].split('.')[0])) {
+                    return;
+                }
+                out.names.push(node.path.join('.'));
+                return;
+            }
+            case 'call':
+                out.calls.push(node.callee);
+                for (const a of node.args) {
+                    walk(a, bound);
+                }
+                return;
+            case 'unop':
+                walk(node.operand, bound);
+                return;
+            case 'binop':
+                walk(node.left, bound);
+                walk(node.right, bound);
+                return;
+            case 'nav': {
+                const inner = new Set(bound);
+                inner.add(node['var']);
+                walk({ type: 'name', path: [node.source] }, bound);
+                walk(node.body, inner);
+                return;
+            }
+        }
+    };
+    walk(ast, new Set());
+    return out;
+}
+/** The canonical source form of the AST (the dumper's output). */
+function renderExpression(ast) {
+    switch (ast.type) {
+        case 'num':
+            return String(ast.value);
+        case 'str':
+            return "'" + ast.value + "'";
+        case 'bool':
+            return ast.value ? 'true' : 'false';
+        case 'ifelse':
+            return ('if ' +
+                renderExpression(ast.cond) +
+                ' then ' +
+                renderExpression(ast.then) +
+                ' else ' +
+                renderExpression(ast.else) +
+                ' endif');
+        case 'name':
+            return ast.path.join('.');
+        case 'call':
+            return ast.callee + '(' + ast.args.map(renderExpression).join(', ') + ')';
+        case 'unop': {
+            // a unary over a binary needs the parens back — the rendered
+            // source must reparse to the same tree
+            const inner = renderExpression(ast.operand);
+            return (ast.op +
+                (ast.operand.type === 'binop' ? ' (' + inner + ')' : ' ' + inner));
+        }
+        case 'nav':
+            return (ast.source +
+                ' -> ' +
+                ast.op +
+                '(' +
+                ast['var'] +
+                ' | ' +
+                renderExpression(ast.body) +
+                ')');
+        case 'binop':
+            return (renderExpression(ast.left) +
+                ' ' +
+                ast.op +
+                ' ' +
+                renderExpression(ast.right));
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/src/expressions/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/expressions/index.ts"],"names":[],"mappings":";AAAA,0EAA0E;AAC1E,sEAAsE;AACtE,0EAA0E;AAC1E,gEAAgE;;AAgChE,kBAqDC;AAyOD,0CAEC;AAOD,wDAMC;AAcD,0CAgDC;AAGD,4CAmDC;AAvbD,MAAM,SAAS,GAAG;IAChB,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;CACJ,CAAC;AAEF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAEnE,SAAgB,GAAG,CAAC,GAAW;IAC7B,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACxC,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBACpB,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACzD,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC,GAAG,CAAC,CAAC;YACN,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtD,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC,GAAG,CAAC,CAAC;YACN,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACxC,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AA+BD,0EAA0E;AAE1E,MAAM,aAAa,GAAe;IAChC,CAAC,SAAS,CAAC;IACX,CAAC,IAAI,CAAC;IACN,CAAC,KAAK,CAAC;IACP,CAAC,KAAK,CAAC;IACP,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC;IACtC,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,8DAA8D;AAC9D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE7D,MAAM,UAAU;IACN,MAAM,CAAc;IACpB,GAAG,GAAG,CAAC,CAAC;IAEhB,YAAY,MAAmB;QAC7B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAEO,IAAI;QACV,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAEO,IAAI;QACV,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACd,OAAO,GAAG,CAAC;IACb,CAAC;IAED,KAAK;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,UAAU,CAAC,KAAa;QAC9B,IAAI,KAAK,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3B,CAAC;QACD,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACtC,SAAS,CAAC;YACR,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACxB,MAAM,EAAE,GACN,GAAG,EAAE,IAAI,KAAK,IAAI;gBAChB,CAAC,CAAC,GAAG,CAAC,KAAK;gBACX,CAAC,CAAC,GAAG,EAAE,IAAI,KAAK,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC;oBAClD,CAAC,CAAC,GAAG,CAAC,KAAK;oBACX,CAAC,CAAC,SAAS,CAAC;YAClB,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IAEO,UAAU;QAChB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,EAAE,IAAI,KAAK,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,KAAK,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QACrE,CAAC;QACD,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QAC/D,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7B,CAAC;IAEO,YAAY;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,+DAA+D;YAC/D,+CAA+C;YAC/C,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;gBAClD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YACvD,CAAC;YACD,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;oBACxD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;gBACpE,CAAC;gBACD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;oBACxD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;gBACpE,CAAC;gBACD,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACrC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;oBACvD,MAAM,IAAI,KAAK,CACb,uDAAuD,CACxD,CAAC;gBACJ,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACnE,CAAC;YACD,mEAAmE;YACnE,6DAA6D;YAC7D,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACzB,OAAO,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,EAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAChE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACxB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;gBACnE,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IACE,IAAI,EAAE,IAAI,KAAK,IAAI;gBACnB,IAAI,CAAC,KAAK,KAAK,GAAG;gBAClB,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EACzB,CAAC;gBACD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAc,EAAE,CAAC;gBAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,IAAI,OAAO,EAAE,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;oBACpD,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC;gBACxD,CAAC;gBACD,SAAS,CAAC;oBACR,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBACxB,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;wBAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;wBACZ,SAAS;oBACX,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;oBAC/C,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;gBAC9D,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC;YACxD,CAAC;YACD,2CAA2C;YAC3C,+CAA+C;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,KAAK,EAAE,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBACjD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvD,MAAM,IAAI,KAAK,CACb,iFAAiF,CAClF,CAAC;gBACJ,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,EAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;oBAC7D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;gBAC/D,CAAC;gBACD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC3B,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;gBAC/D,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,EAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;oBAC7D,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;gBAChE,CAAC;gBACD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;oBAC/C,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;gBAC9D,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBACtB,EAAE,EAAE,KAAK,CAAC,KAAK;oBACf,GAAG,EAAE,MAAM,CAAC,KAAK;oBACjB,IAAI;iBACL,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACtC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,iCAAiC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzE,CAAC;CACF;AAED,SAAgB,eAAe,CAAC,GAAW;IACzC,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,SAAgB,sBAAsB,CAAC,GAAW;IAChD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACxB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,gBAAgB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;AACjD,CAAC;AAWD;;wCAEwC;AACxC,SAAgB,eAAe,CAAC,GAAY;IAC1C,MAAM,GAAG,GAAoB,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACtD,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,KAAkB,EAAQ,EAAE;QACvD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,KAAK;gBACR,OAAO;YACT,KAAK,KAAK;gBACR,OAAO;YACT,KAAK,MAAM;gBACT,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACvB,OAAO;YACT,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,8DAA8D;gBAC9D,sDAAsD;gBACtD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;oBAC5C,OAAO;gBACT,CAAC;gBACD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpC,OAAO;YACT,CAAC;YACD,KAAK,MAAM;gBACT,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC1B,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;gBACjB,CAAC;gBACD,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC1B,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACxB,OAAO;YACT,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACnD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACvB,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACrB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,kEAAkE;AAClE,SAAgB,gBAAgB,CAAC,GAAY;IAC3C,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3B,KAAK,KAAK;YACR,OAAO,GAAG,GAAG,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC;QAC/B,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QACtC,KAAK,QAAQ;YACX,OAAO,CACL,KAAK;gBACL,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC1B,QAAQ;gBACR,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC1B,QAAQ;gBACR,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC1B,QAAQ,CACT,CAAC;QACJ,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;QAC5E,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,6DAA6D;YAC7D,uCAAuC;YACvC,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,OAAO,CACL,GAAG,CAAC,EAAE;gBACN,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,CAClE,CAAC;QACJ,CAAC;QACD,KAAK,KAAK;YACR,OAAO,CACL,GAAG,CAAC,MAAM;gBACV,MAAM;gBACN,GAAG,CAAC,EAAE;gBACN,GAAG;gBACH,GAAG,CAAC,KAAK,CAAC;gBACV,KAAK;gBACL,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC1B,GAAG,CACJ,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,CACL,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC1B,GAAG;gBACH,GAAG,CAAC,EAAE;gBACN,GAAG;gBACH,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAC5B,CAAC;IACN,CAAC;AACH,CAAC"}

package/dist/src/fmt.d.ts

@@ -0,0 +1,11 @@
+export interface FmtFileResult {
+    file: string;
+    status: 'formatted' | 'unchanged' | 'unstable' | 'skipped-includes';
+}
+export interface FmtResult {
+    dir: string;
+    files: FmtFileResult[];
+    written: number;
+}
+export declare function fmtPackage(dir: string, check?: boolean): FmtResult;
+//# sourceMappingURL=fmt.d.ts.map

package/dist/src/fmt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fmt.d.ts","sourceRoot":"","sources":["../../src/fmt.ts"],"names":[],"mappings":"AAiBA,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,GAAG,WAAW,GAAG,UAAU,GAAG,kBAAkB,CAAC;CACrE;AAED,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;CACjB;AAgBD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,UAAQ,GAAG,SAAS,CAqChE"}

package/dist/src/fmt.js

@@ -0,0 +1,71 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────
+// fmt (register W8): the canonical serialization as a command. Each
+// .prl content file loads, dumps, and — when the bytes differ — is
+// written back in the canon. The fixpoint is the safety: the dumped
+// text re-loads to itself, verified before any write; a file that does
+// not round-trip byte-stably is reported, never rewritten. The author's
+// facet order yields to the canonical order — the canon is the
+// save-back contract (the kernel owns the serialized form; the editor's
+// save path rides the same dump). Files that `include "…"` are skipped
+// in place: the dump inlines the included text, and the include
+// structure is the author's.
+// ─────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fmtPackage = fmtPackage;
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+const index_1 = require("./ser-des/index");
+const ALLOWLIST = '.primmel-allowlist.prl';
+function walkPrl(dir, out = []) {
+    for (const e of (0, node_fs_1.readdirSync)(dir).sort()) {
+        const p = (0, node_path_1.join)(dir, e);
+        if ((0, node_fs_1.statSync)(p).isDirectory()) {
+            walkPrl(p, out);
+        }
+        else if (e.endsWith('.prl') && e !== ALLOWLIST) {
+            out.push(p);
+        }
+    }
+    return out;
+}
+function fmtPackage(dir, check = false) {
+    const result = { dir, files: [], written: 0 };
+    for (const file of walkPrl(dir)) {
+        const src = (0, node_fs_1.readFileSync)(file, 'utf8');
+        if (/^\s*include\s+"/m.test(src)) {
+            result.files.push({ file, status: 'skipped-includes' });
+            continue;
+        }
+        let canonical;
+        try {
+            const raw = (0, index_1.dump)((0, index_1.loadFile)(file));
+            // the fixpoint gate: the canonical text must re-load to itself
+            if ((0, index_1.dump)((0, index_1.load)(raw)) !== raw) {
+                result.files.push({ file, status: 'unstable' });
+                continue;
+            }
+            // a source without a metadata header gains an EMPTY one from the
+            // Standard-level dump — strip the empty form back off; a metadata
+            // block with content stays
+            canonical = /^\s*metadata\s*\{/.test(src)
+                ? raw
+                : raw.replace(/^metadata \{\n(?: {2}\w+ ""\n)*\}\n+/, '');
+        }
+        catch {
+            result.files.push({ file, status: 'unstable' });
+            continue;
+        }
+        if (canonical === src) {
+            result.files.push({ file, status: 'unchanged' });
+            continue;
+        }
+        if (!check) {
+            (0, node_fs_1.writeFileSync)(file, canonical);
+            result.written += 1;
+        }
+        result.files.push({ file, status: 'formatted' });
+    }
+    return result;
+}
+//# sourceMappingURL=fmt.js.map

package/dist/src/fmt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fmt.js","sourceRoot":"","sources":["../../src/fmt.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,oEAAoE;AACpE,mEAAmE;AACnE,oEAAoE;AACpE,uEAAuE;AACvE,wEAAwE;AACxE,+DAA+D;AAC/D,wEAAwE;AACxE,uEAAuE;AACvE,gEAAgE;AAChE,6BAA6B;AAC7B,wEAAwE;;AA+BxE,gCAqCC;AAlED,qCAA6E;AAC7E,yCAAiC;AACjC,2CAAuD;AAavD,MAAM,SAAS,GAAG,wBAAwB,CAAC;AAE3C,SAAS,OAAO,CAAC,GAAW,EAAE,MAAgB,EAAE;IAC9C,KAAK,MAAM,CAAC,IAAI,IAAA,qBAAW,EAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,gBAAI,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACvB,IAAI,IAAA,kBAAQ,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YAC9B,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClB,CAAC;aAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACjD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,UAAU,CAAC,GAAW,EAAE,KAAK,GAAG,KAAK;IACnD,MAAM,MAAM,GAAc,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACzD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,sBAAY,EAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;YACxD,SAAS;QACX,CAAC;QACD,IAAI,SAAiB,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAA,YAAI,EAAC,IAAA,gBAAQ,EAAC,IAAI,CAAC,CAAC,CAAC;YACjC,+DAA+D;YAC/D,IAAI,IAAA,YAAI,EAAC,IAAA,YAAI,EAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC5B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;gBAChD,SAAS;YACX,CAAC;YACD,iEAAiE;YACjE,kEAAkE;YAClE,2BAA2B;YAC3B,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC;gBACvC,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,sCAAsC,EAAE,EAAE,CAAC,CAAC;QAC9D,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAA,uBAAa,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAC/B,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"calculation.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/calculation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAWzD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,EAKV,qBAAqB,EACtB,MAAM,yBAAyB,CAAC;AAIjC,eAAO,MAAM,gBAAgB,EAAE,MAiI9B,CAAC;AAgWF,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAUzE,CAAC;AAEJ,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,WAAW,CA+H/C,CAAC"}
+{"version":3,"file":"calculation.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/calculation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAWzD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,EAKV,qBAAqB,EACtB,MAAM,yBAAyB,CAAC;AAIjC,eAAO,MAAM,gBAAgB,EAAE,MAoJ9B,CAAC;AAiXF,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAUzE,CAAC;AAEJ,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,WAAW,CAqI/C,CAAC"}

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

@@ -54,6 +54,27 @@ const parseCalculation = function (id, data) {
                 else if (command === 'expression') {
                     result.expression = (0, tokenize_1.unwrapBlock)(t[i++]);
                 }
+                else if (command === 'math') {
+                    // The declared math (TODO.lang-gaps 20): notation + formula —
+                    // math is NOT in OCL (spec clause 13, calculation-math).
+                    const inner = (0, tokenize_1.tokenizePackage)((0, tokenize_1.unwrapBlock)(t[i++]));
+                    let notation = '';
+                    let formula = '';
+                    let j = 0;
+                    while (j < inner.length) {
+                        const k = inner[j++];
+                        if (j >= inner.length) {
+                            break;
+                        }
+                        if (k === 'notation') {
+                            notation = (0, tokenize_1.stripWrapping)(inner[j++]);
+                        }
+                        else if (k === 'formula') {
+                            formula = (0, tokenize_1.stripWrapping)(inner[j++]);
+                        }
+                    }
+                    result.math = { notation, formula };
+                }
                 else if (command === 'reference') {
                     result._relations.ref = (0, tokenize_1.tokenizePackage)(t[i++]);
                 }
@@ -454,6 +475,25 @@ function parseVariant(vid, block, calcId) {
         else if (cmd === 'expression') {
             variant.expression = (0, tokenize_1.stripWrapping)(t[i++]);
         }
+        else if (cmd === 'math') {
+            const inner = (0, tokenize_1.tokenizePackage)((0, tokenize_1.unwrapBlock)(t[i++]));
+            let notation = '';
+            let formula = '';
+            let j = 0;
+            while (j < inner.length) {
+                const k = inner[j++];
+                if (j >= inner.length) {
+                    break;
+                }
+                if (k === 'notation') {
+                    notation = (0, tokenize_1.stripWrapping)(inner[j++]);
+                }
+                else if (k === 'formula') {
+                    formula = (0, tokenize_1.stripWrapping)(inner[j++]);
+                }
+            }
+            variant.math = { notation, formula };
+        }
         else if (cmd === 'lookup') {
             variant.lookup = parseLookup((0, tokenize_1.unwrapBlock)(t[i++]));
         }
@@ -606,6 +646,12 @@ const dumpCalculation = function (c) {
     if (c.expression) {
         out += '  expression "' + (0, tokenize_1.escapeString)(c.expression) + '"\n';
     }
+    if (c.math) {
+        out += '  math {\n';
+        out += '    notation ' + c.math.notation + '\n';
+        out += '    formula "' + (0, tokenize_1.escapeString)(c.math.formula) + '"\n';
+        out += '  }\n';
+    }
     if (c.params && c.params.length > 0) {
         out += '  params { ' + c.params.join(' ') + ' }\n';
     }