@primmel/primmel 1.3.2 → 1.4.0

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

@@ -1,30 +1,191 @@
 "use strict";
+// ─────────────────────────────────────────────────────────────────────
+// `map_profile` construct — the in-model serialization of the mapping
+// primitive (TODO.roadmap/04; concept doc §5.5). The standalone `.prm`
+// JSON form lives in ser-des/prm.ts.
+//
+// v2 form (kept, byte-compatible):
+//
+//   map_profile StdS {
+//     description "Mappings into Standard S"
+//     mapping {
+//       OpA -> StdS#Process5
+//       OpB -> Process3
+//     }
+//   }
+//
+// Spaces around the arrow are optional: the v2 compact form
+// `OpA->StdS#Process5` parses identically (dumping always re-emits the
+// spaced form).
+//
+// v3 additions — an optional per-pair block with the fulfilment metadata
+// and an authored coverage assertion (checked against the calculus, C23):
+//
+//   mapping {
+//     OpA -> StdS#Process5 {
+//       description "Batch logging fulfils the record requirement."
+//       justification "The roaster writes the batch record on completion."
+//       coverage full
+//     }
+//   }
+//
+// and a profile-level `coverage` block asserting the computed coverage of
+// reference components (regression tripwires — also C23-checked):
+//
+//   coverage {
+//     StdS#Process1 partial
+//     Process2 minimal
+//   }
+//
+// The profile's namespace is the TARGET (reference) namespace; bare
+// target ids are scoped by it. Sources are always local component ids.
+// ─────────────────────────────────────────────────────────────────────
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.dumpMapProfile = exports.parseMapProfile = void 0;
 const parse_block_1 = require("../parse-block");
+const tokenize_1 = require("../tokenize");
+const field_parser_1 = require("./field-parser");
+const COVERAGE_LEVELS = new Set([
+    'full',
+    'minimal',
+    'partial',
+    'none',
+]);
+/** Read one pair's metadata block: description / justification / coverage. */
+function parsePairBlock(id, block) {
+    const pair = {
+        target: '',
+        description: '',
+        justification: '',
+        coverage: '',
+    };
+    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 === 'description') {
+            pair.description = (0, tokenize_1.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'justification') {
+            pair.justification = (0, tokenize_1.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'coverage') {
+            const level = (0, tokenize_1.stripWrapping)(t[i++]);
+            if (!COVERAGE_LEVELS.has(level)) {
+                throw new Error(`Parsing error: map_profile. ID ${id}: Unknown coverage level "${level}" (valid: full, minimal, partial, none)`);
+            }
+            pair.coverage = level;
+        }
+        else {
+            // forward-compat: skip `kw value`, `kw { block }`, `kw value { block }`
+            if (t[i].startsWith('{')) {
+                i++;
+            }
+            else {
+                i++;
+                if (i < t.length && t[i].startsWith('{')) {
+                    i++;
+                }
+            }
+        }
+    }
+    return pair;
+}
+/**
+ * Split compact `A->B` tokens into `A`, `->`, `B`. v2 tolerated the
+ * arrow with spaces optional (`OpA->StdS#Process5`); the tokenizer keeps
+ * whitespace-free text as one token, so the stream is expanded before
+ * parsing. Quoted strings and brace blocks are never split. Genuinely
+ * malformed lines (missing arrow, double arrow) still fail the strict
+ * `Expecting "->"` check below.
+ */
+function expandCompactArrows(tokens) {
+    const out = [];
+    for (const t of tokens) {
+        if (t.startsWith('"') ||
+            t.startsWith('{') ||
+            (!t.includes('->') && !t.includes('→'))) {
+            out.push(t);
+            continue;
+        }
+        out.push(...t.split(/(->|→)/).filter(p => p !== ''));
+    }
+    return out;
+}
+/** Read a `mapping { … }` block: `A -> B` lines with optional pair blocks. */
+function parseMappingBlock(id, block) {
+    const mappings = {};
+    const t = expandCompactArrows((0, tokenize_1.default)(block));
+    let i = 0;
+    while (i < t.length) {
+        const source = (0, tokenize_1.stripWrapping)(t[i++]);
+        if (!source) {
+            break;
+        }
+        const arrow = t[i++];
+        if (arrow !== '->' && arrow !== '→') {
+            throw new Error(`Parsing error: map_profile. ID ${id}: Expecting "->" after mapping source "${source}" (got "${arrow ?? ''}")`);
+        }
+        const target = (0, tokenize_1.stripWrapping)(t[i++]);
+        let pair = {
+            target,
+            description: '',
+            justification: '',
+            coverage: '',
+        };
+        if (i < t.length && t[i].startsWith('{')) {
+            pair = { ...parsePairBlock(id, (0, tokenize_1.unwrapBlock)(t[i++])), target };
+        }
+        (mappings[source] ??= []).push(pair);
+    }
+    return mappings;
+}
+/** Read a profile-level `coverage { … }` block: `<refId> <level>` pairs. */
+function parseCoverageBlock(id, block) {
+    const coverage = {};
+    const t = (0, tokenize_1.default)(block);
+    let i = 0;
+    while (i < t.length) {
+        const ref = (0, tokenize_1.stripWrapping)(t[i++]);
+        if (!ref) {
+            break;
+        }
+        const level = (0, tokenize_1.stripWrapping)(t[i++]);
+        if (!COVERAGE_LEVELS.has(level)) {
+            throw new Error(`Parsing error: map_profile. ID ${id}: Unknown coverage level "${level}" for "${ref}" (valid: full, minimal, partial, none)`);
+        }
+        coverage[ref] = level;
+    }
+    return coverage;
+}
 const parseMapProfile = function (namespace, data) {
     const result = {
-        namespace,
+        // The namespace is a free-form string (a URN is typical) — accept
+        // both the bare and the quoted form (the dump emits bare-safe).
+        namespace: (0, tokenize_1.stripWrapping)(namespace),
         description: '',
         mappings: {},
+        coverage: {},
     };
     (0, parse_block_1.forEachEntry)(data, (command, value) => {
         if (command === 'description') {
             result.description = (0, parse_block_1.unwrapped)(value);
         }
         else if (command === 'mapping') {
-            // mapping block: source → target pairs
-            const block = (0, parse_block_1.unwrapped)(value);
-            for (const line of block
-                .split(/\n+/)
-                .map(s => s.trim())
-                .filter(s => s)) {
-                const m = line.match(/^(\S+)\s*->\s*(\S+)$/);
-                if (m) {
-                    result.mappings[m[1]] = m[2];
-                }
+            // mapping block: source → target pairs (v3: optional metadata block)
+            const parsed = parseMappingBlock(namespace, (0, tokenize_1.unwrapBlock)(value()));
+            for (const [source, pairs] of Object.entries(parsed)) {
+                (result.mappings[source] ??= []).push(...pairs);
             }
         }
+        else if (command === 'coverage') {
+            // profile-level coverage assertions (C23 checks them against the
+            // computed calculus)
+            Object.assign(result.coverage, parseCoverageBlock(namespace, (0, tokenize_1.unwrapBlock)(value())));
+        }
         else {
             return false;
         }
@@ -37,15 +198,39 @@ const parseMapProfile = function (namespace, data) {
 };
 exports.parseMapProfile = parseMapProfile;
 const dumpMapProfile = function (mp) {
-    let out = 'map_profile ' + mp.namespace + ' {\n';
+    let out = 'map_profile ' + (0, field_parser_1.dumpBareSafe)(mp.namespace) + ' {\n';
     if (mp.description) {
-        out += '  description "' + mp.description + '"\n';
+        out += '  description "' + (0, tokenize_1.escapeString)(mp.description) + '"\n';
     }
     const keys = Object.keys(mp.mappings);
     if (keys.length > 0) {
         out += '  mapping {\n';
         for (const k of keys) {
-            out += '    ' + k + ' -> ' + mp.mappings[k] + '\n';
+            for (const pair of mp.mappings[k]) {
+                const head = '    ' + (0, field_parser_1.dumpBareSafe)(k) + ' -> ' + (0, field_parser_1.dumpBareSafe)(pair.target);
+                const meta = [];
+                if (pair.description) {
+                    meta.push('description "' + (0, tokenize_1.escapeString)(pair.description) + '"');
+                }
+                if (pair.justification) {
+                    meta.push('justification "' + (0, tokenize_1.escapeString)(pair.justification) + '"');
+                }
+                if (pair.coverage) {
+                    meta.push('coverage ' + pair.coverage);
+                }
+                out +=
+                    meta.length > 0
+                        ? head + ' { ' + meta.join(' ') + ' }\n'
+                        : head + '\n';
+            }
+        }
+        out += '  }\n';
+    }
+    const coverageKeys = Object.keys(mp.coverage ?? {});
+    if (coverageKeys.length > 0) {
+        out += '  coverage {\n';
+        for (const ref of coverageKeys) {
+            out += '    ' + (0, field_parser_1.dumpBareSafe)(ref) + ' ' + mp.coverage[ref] + '\n';
         }
         out += '  }\n';
     }

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

@@ -1 +1 @@
-{"version":3,"file":"mapProfile.js","sourceRoot":"","sources":["../../../../src/ser-des/config/mapProfile.ts"],"names":[],"mappings":";;;AACA,gDAAyD;AAGlD,MAAM,eAAe,GAAW,UAAU,SAAS,EAAE,IAAI;IAC9D,MAAM,MAAM,GAAe;QACzB,SAAS;QACT,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,EAAE;KACb,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACjB,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YAC9B,MAAM,CAAC,WAAW,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,uCAAuC;YACvC,MAAM,KAAK,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,KAAK;iBACrB,KAAK,CAAC,KAAK,CAAC;iBACZ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;gBAC7C,IAAI,CAAC,EAAE,CAAC;oBACN,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE,CAC5C,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC;QACpC,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AApCW,QAAA,eAAe,mBAoC1B;AAEK,MAAM,cAAc,GAAuB,UAAU,EAAE;IAC5D,IAAI,GAAG,GAAG,cAAc,GAAG,EAAE,CAAC,SAAS,GAAG,MAAM,CAAC;IACjD,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACnB,GAAG,IAAI,iBAAiB,GAAG,EAAE,CAAC,WAAW,GAAG,KAAK,CAAC;IACpD,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,GAAG,IAAI,eAAe,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,GAAG,IAAI,MAAM,GAAG,CAAC,GAAG,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;QACrD,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAfW,QAAA,cAAc,kBAezB"}
+{"version":3,"file":"mapProfile.js","sourceRoot":"","sources":["../../../../src/ser-des/config/mapProfile.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,sEAAsE;AACtE,uEAAuE;AACvE,qCAAqC;AACrC,EAAE;AACF,mCAAmC;AACnC,EAAE;AACF,uBAAuB;AACvB,6CAA6C;AAC7C,gBAAgB;AAChB,6BAA6B;AAC7B,wBAAwB;AACxB,QAAQ;AACR,MAAM;AACN,EAAE;AACF,4DAA4D;AAC5D,uEAAuE;AACvE,gBAAgB;AAChB,EAAE;AACF,yEAAyE;AACzE,0EAA0E;AAC1E,EAAE;AACF,cAAc;AACd,6BAA6B;AAC7B,oEAAoE;AACpE,2EAA2E;AAC3E,sBAAsB;AACtB,QAAQ;AACR,MAAM;AACN,EAAE;AACF,0EAA0E;AAC1E,kEAAkE;AAClE,EAAE;AACF,eAAe;AACf,4BAA4B;AAC5B,uBAAuB;AACvB,MAAM;AACN,EAAE;AACF,oEAAoE;AACpE,uEAAuE;AACvE,wEAAwE;;;AAGxE,gDAAyD;AACzD,0CAIqB;AACrB,iDAA8C;AAI9C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAgB;IAC7C,MAAM;IACN,SAAS;IACT,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AAEH,8EAA8E;AAC9E,SAAS,cAAc,CAAC,EAAU,EAAE,KAAa;IAC/C,MAAM,IAAI,GAAgB;QACxB,MAAM,EAAE,EAAE;QACV,WAAW,EAAE,EAAE;QACf,aAAa,EAAE,EAAE;QACjB,QAAQ,EAAE,EAAE;KACb,CAAC;IACF,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,aAAa,EAAE,CAAC;YAC1B,IAAI,CAAC,WAAW,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,IAAI,GAAG,KAAK,eAAe,EAAE,CAAC;YACnC,IAAI,CAAC,aAAa,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAkB,CAAC;YACrD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACb,kCAAkC,EAAE,6BAA6B,KAAK,yCAAyC,CAChH,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,wEAAwE;YACxE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,CAAC,EAAE,CAAC;YACN,CAAC;iBAAM,CAAC;gBACN,CAAC,EAAE,CAAC;gBACJ,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzC,CAAC,EAAE,CAAC;gBACN,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAAC,MAAgB;IAC3C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IACE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;YACjB,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;YACjB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EACvC,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACZ,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,SAAS,iBAAiB,CACxB,EAAU,EACV,KAAa;IAEb,MAAM,QAAQ,GAAkC,EAAE,CAAC;IACnD,MAAM,CAAC,GAAG,mBAAmB,CAAC,IAAA,kBAAQ,EAAC,KAAK,CAAC,CAAC,CAAC;IAC/C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,kCAAkC,EAAE,0CAA0C,MAAM,WAAW,KAAK,IAAI,EAAE,IAAI,CAC/G,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,IAAI,GAAgB;YACtB,MAAM;YACN,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,GAAG,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;QAChE,CAAC;QACD,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,SAAS,kBAAkB,CACzB,EAAU,EACV,KAAa;IAEb,MAAM,QAAQ,GAAkC,EAAE,CAAC;IACnD,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,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAkB,CAAC;QACrD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,kCAAkC,EAAE,6BAA6B,KAAK,UAAU,GAAG,yCAAyC,CAC7H,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACxB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAEM,MAAM,eAAe,GAAW,UAAU,SAAS,EAAE,IAAI;IAC9D,MAAM,MAAM,GAAe;QACzB,kEAAkE;QAClE,gEAAgE;QAChE,SAAS,EAAE,IAAA,wBAAa,EAAC,SAAS,CAAC;QACnC,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,EAAE;KACb,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACjB,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YAC9B,MAAM,CAAC,WAAW,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,qEAAqE;YACrE,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,EAAE,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAClE,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrD,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,iEAAiE;YACjE,qBAAqB;YACrB,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,QAAQ,EACf,kBAAkB,CAAC,SAAS,EAAE,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CACpD,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE,CAC5C,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC;QACpC,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAxCW,QAAA,eAAe,mBAwC1B;AAEK,MAAM,cAAc,GAAuB,UAAU,EAAE;IAC5D,IAAI,GAAG,GAAG,cAAc,GAAG,IAAA,2BAAY,EAAC,EAAE,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC;IAC/D,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACnB,GAAG,IAAI,iBAAiB,GAAG,IAAA,uBAAY,EAAC,EAAE,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC;IAClE,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,GAAG,IAAI,eAAe,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,GACR,MAAM,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,GAAG,MAAM,GAAG,IAAA,2BAAY,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAChE,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC;gBACpE,CAAC;gBACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;oBACvB,IAAI,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;gBACxE,CAAC;gBACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClB,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzC,CAAC;gBACD,GAAG;oBACD,IAAI,CAAC,MAAM,GAAG,CAAC;wBACb,CAAC,CAAC,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM;wBACxC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC;YACpB,CAAC;QACH,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IACpD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,GAAG,IAAI,gBAAgB,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,GAAG,IAAI,MAAM,GAAG,IAAA,2BAAY,EAAC,GAAG,CAAC,GAAG,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;QACpE,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAxCW,QAAA,cAAc,kBAwCzB"}

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

@@ -18,22 +18,22 @@ const parseMetadata = function (token) {
             const keyword = t[i++];
             if (i < t.length) {
                 if (keyword === 'title') {
-                    metadata.title = (0, tokenize_1.unwrapBlock)(t[i++]);
+                    metadata.title = (0, tokenize_1.stripWrapping)(t[i++]);
                 }
                 else if (keyword === 'schema') {
-                    metadata.schema = (0, tokenize_1.unwrapBlock)(t[i++]);
+                    metadata.schema = (0, tokenize_1.stripWrapping)(t[i++]);
                 }
                 else if (keyword === 'edition') {
-                    metadata.edition = (0, tokenize_1.unwrapBlock)(t[i++]);
+                    metadata.edition = (0, tokenize_1.stripWrapping)(t[i++]);
                 }
                 else if (keyword === 'author') {
-                    metadata.author = (0, tokenize_1.unwrapBlock)(t[i++]);
+                    metadata.author = (0, tokenize_1.stripWrapping)(t[i++]);
                 }
                 else if (keyword === 'namespace') {
-                    metadata.namespace = (0, tokenize_1.unwrapBlock)(t[i++]);
+                    metadata.namespace = (0, tokenize_1.stripWrapping)(t[i++]);
                 }
                 else if (keyword === 'shortname') {
-                    metadata.shortname = (0, tokenize_1.unwrapBlock)(t[i++]);
+                    metadata.shortname = (0, tokenize_1.stripWrapping)(t[i++]);
                 }
                 else {
                     throw new Error('Parsing error: metadata. Unknown keyword ' + keyword);

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

@@ -1 +1 @@
-{"version":3,"file":"metadata.js","sourceRoot":"","sources":["../../../../src/ser-des/config/metadata.ts"],"names":[],"mappings":";;;AAEA,0CAAyE;AAElE,MAAM,aAAa,GAAW,UAAU,KAAK;IAClD,MAAM,QAAQ,GAAa;QACzB,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,EAAE;QACb,SAAS,EAAE,EAAE;KACd,CAAC;IAEF,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACjB,MAAM,CAAC,GAAa,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG,CAAC,CAAC;QAEV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACpB,MAAM,OAAO,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;gBACjB,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;oBACxB,QAAQ,CAAC,KAAK,GAAG,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvC,CAAC;qBAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAChC,QAAQ,CAAC,MAAM,GAAG,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxC,CAAC;qBAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBACjC,QAAQ,CAAC,OAAO,GAAG,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACzC,CAAC;qBAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAChC,QAAQ,CAAC,MAAM,GAAG,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxC,CAAC;qBAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;oBACnC,QAAQ,CAAC,SAAS,GAAG,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC3C,CAAC;qBAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;oBACnC,QAAQ,CAAC,SAAS,GAAG,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC3C,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,KAAK,CACb,2CAA2C,GAAG,OAAO,CACtD,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CACb,+CAA+C,GAAG,OAAO,CAC1D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACxB,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AA9CW,QAAA,aAAa,iBA8CxB;AAEK,MAAM,YAAY,GAAqB,UAAU,IAAI;IAC1D,IAAI,GAAG,GAAG,cAAc,CAAC;IACzB,GAAG,IAAI,WAAW,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACtD,GAAG,IAAI,YAAY,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACxD,GAAG,IAAI,aAAa,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IAC1D,GAAG,IAAI,YAAY,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACxD,GAAG,IAAI,eAAe,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;IAC9D,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AATW,QAAA,YAAY,gBASvB"}
+{"version":3,"file":"metadata.js","sourceRoot":"","sources":["../../../../src/ser-des/config/metadata.ts"],"names":[],"mappings":";;;AAEA,0CAA2E;AAEpE,MAAM,aAAa,GAAW,UAAU,KAAK;IAClD,MAAM,QAAQ,GAAa;QACzB,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,EAAE;QACb,SAAS,EAAE,EAAE;KACd,CAAC;IAEF,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACjB,MAAM,CAAC,GAAa,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG,CAAC,CAAC;QAEV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACpB,MAAM,OAAO,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;gBACjB,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;oBACxB,QAAQ,CAAC,KAAK,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACzC,CAAC;qBAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAChC,QAAQ,CAAC,MAAM,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1C,CAAC;qBAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBACjC,QAAQ,CAAC,OAAO,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC3C,CAAC;qBAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAChC,QAAQ,CAAC,MAAM,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1C,CAAC;qBAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;oBACnC,QAAQ,CAAC,SAAS,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC7C,CAAC;qBAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;oBACnC,QAAQ,CAAC,SAAS,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC7C,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,KAAK,CACb,2CAA2C,GAAG,OAAO,CACtD,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CACb,+CAA+C,GAAG,OAAO,CAC1D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACxB,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AA9CW,QAAA,aAAa,iBA8CxB;AAEK,MAAM,YAAY,GAAqB,UAAU,IAAI;IAC1D,IAAI,GAAG,GAAG,cAAc,CAAC;IACzB,GAAG,IAAI,WAAW,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACtD,GAAG,IAAI,YAAY,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACxD,GAAG,IAAI,aAAa,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IAC1D,GAAG,IAAI,YAAY,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACxD,GAAG,IAAI,eAAe,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;IAC9D,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AATW,QAAA,YAAY,gBASvB"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"monitor.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/monitor.ts"],"names":[],"mappings":"AAyCA,OAAO,KAAK,EACV,OAAO,EAOR,MAAM,qBAAqB,CAAC;AAuS7B,eAAO,MAAM,gBAAgB;;;;;uBAtCI,OAAO,KAAG,MAAM;CA4CvC,CAAC"}

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

@@ -0,0 +1,322 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────
+// `monitor` construct (Primmel v3, TODO.roadmap/34 — doctrine ch. 14
+// §14.5, grammar sketch §14.11): continuous compliance — triggers,
+// evaluation, verdict streams, escalation, as a top-level construct:
+//
+//   monitor fleet_watch {
+//     over { LoadCellModel }
+//     triggers { every 1h on signal artifact_arrived on change state }
+//     evaluate { requirements applicable_to(this.classification) promises all }
+//     emit { evidence -> workspace verdicts -> verdict_log }
+//     escalate { on fail { flag_certificate open_service_case } on invalid { open_service_case } }
+//   }
+//
+// Surface-syntax notes (deviations from the §14.11 sketch — the chapter
+// is the spec for SEMANTICS, not for delimiters; the convention the twin
+// constructs established, ser-des/config/twin.ts header):
+//   - the sketch's `monitor <id> over <subject>` head moves `over`
+//     INSIDE the block — the kernel's construct shape is
+//     `keyword id { … }` (one payload block per construct);
+//   - the escalate action lists are `{ … }` blocks and the `;` entry
+//     separators of the sketch are optional noise; the sketch's colon
+//     form (`on fail: flag_certificate`) parses identically — PRL id
+//     lists are brace-delimited everywhere;
+//   - an evaluate selector is `all`, `applicable_to(<expr>)` (the expr
+//     token may span whitespace — parens are balanced on read), or a
+//     `{ … }` block of explicit ids.
+//
+// Round-trip: the dump emits the canonical single-line sub-block form;
+// both the sketch spelling and the canonical form re-parse to the same
+// model — the fixpoint is proven in test/monitor.test.ts.
+// ─────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.monitorConstruct = void 0;
+const tokenize_1 = require("../tokenize");
+const parse_block_1 = require("../parse-block");
+const field_parser_1 = require("./field-parser");
+/** Read an id stream: `{ a b }` block form, or a single bare id. Aliased
+ *  to the shared content-entry reader (field-parser.ts) — the post-c6f0a7a
+ *  dedup left this differently-named fourth copy behind (TODO.v2/13
+ *  item 2). */
+const readIdStream = field_parser_1.readEntryTokens;
+/**
+ * Read an evaluate selector token, accumulating an `applicable_to(…)`
+ * expression the whitespace tokenizer splits (parens are balanced on
+ * read — the same trick readValueToken uses for ocl{…}).
+ */
+function readSelector(t, i) {
+    const first = t[i] ?? '';
+    if (first.startsWith('{')) {
+        return {
+            selector: { kind: 'refs', expression: '', refs: readIdStream(first) },
+            next: i + 1,
+        };
+    }
+    if (first.startsWith('applicable_to(')) {
+        const delta = (s) => (s.match(/\(/g) || []).length - (s.match(/\)/g) || []).length;
+        let text = first;
+        let depth = delta(first);
+        let j = i + 1;
+        while (depth > 0 && j < t.length) {
+            text += ' ' + t[j];
+            depth += delta(t[j]);
+            j++;
+        }
+        const inner = text.slice('applicable_to('.length, text.endsWith(')') ? -1 : undefined);
+        return {
+            selector: { kind: 'applicable_to', expression: inner.trim(), refs: [] },
+            next: j,
+        };
+    }
+    // Bare selector keyword (`all`, or anything else — the linter's C67
+    // judges unknown kinds; the parser stays total).
+    return {
+        selector: { kind: (0, tokenize_1.stripWrapping)(first), expression: '', refs: [] },
+        next: i + 1,
+    };
+}
+/** Parse the `triggers { … }` block (already unwrapped). */
+function parseTriggers(block) {
+    const triggers = [];
+    const t = (0, field_parser_1.subBlockTokens)(block);
+    let i = 0;
+    while (i < t.length) {
+        const cmd = t[i++];
+        if (cmd === 'every') {
+            triggers.push({
+                kind: 'timer',
+                every: (0, tokenize_1.stripWrapping)(t[i++] ?? ''),
+                signal: '',
+                aspect: '',
+            });
+        }
+        else if (cmd === 'on') {
+            const mode = t[i++] ?? '';
+            const name = (0, tokenize_1.stripWrapping)(t[i++] ?? '');
+            if (mode === 'signal') {
+                triggers.push({ kind: 'signal', every: '', signal: name, aspect: '' });
+            }
+            else if (mode === 'change') {
+                triggers.push({ kind: 'change', every: '', signal: '', aspect: name });
+            }
+            else {
+                // `on <something-else>` — record as an unknown trigger shape; the
+                // linter (C66) judges. The token after `on` was consumed as the
+                // mode; nothing further to skip (a block form would arrive as one
+                // token and land in `mode` uninterpreted).
+                triggers.push({ kind: mode, every: '', signal: '', aspect: name });
+            }
+        }
+        // Unknown tokens are skipped (forward compatibility).
+    }
+    return triggers;
+}
+/** Parse the `evaluate { … }` block (already unwrapped). */
+function parseEvaluate(block) {
+    const evaluate = {
+        requirements: { kind: '', expression: '', refs: [] },
+        promises: { kind: '', expression: '', refs: [] },
+    };
+    const t = (0, field_parser_1.subBlockTokens)(block);
+    let i = 0;
+    while (i < t.length) {
+        const cmd = t[i++];
+        if (cmd === 'requirements' || cmd === 'promises') {
+            const read = readSelector(t, i);
+            evaluate[cmd] = read.selector;
+            i = read.next;
+        }
+    }
+    return evaluate;
+}
+/** Parse the `emit { … }` block (already unwrapped): `<stream> -> <sink>` pairs. */
+function parseEmit(block) {
+    const sinks = [];
+    const t = (0, field_parser_1.subBlockTokens)(block);
+    let i = 0;
+    while (i < t.length) {
+        const stream = t[i++];
+        if (t[i] === '->') {
+            i++;
+            sinks.push({ stream, target: (0, tokenize_1.stripWrapping)(t[i++] ?? '') });
+        }
+        else {
+            // A stream without its arrow/sink — record with an empty target;
+            // the linter (C70) judges.
+            sinks.push({ stream, target: '' });
+        }
+    }
+    return sinks;
+}
+/** Parse one `on <outcome> { actions… }` action block (already unwrapped). */
+function parseEscalationActions(block) {
+    const actions = [];
+    const t = (0, field_parser_1.subBlockTokens)(block);
+    let i = 0;
+    while (i < t.length) {
+        const cmd = t[i++];
+        if (cmd === 'notify') {
+            actions.push({ action: 'notify', role: (0, tokenize_1.stripWrapping)(t[i++] ?? '') });
+        }
+        else {
+            actions.push({ action: cmd, role: '' });
+        }
+    }
+    return actions;
+}
+/** Parse the `escalate { … }` block (already unwrapped). Tolerates both
+ *  the canonical `on <outcome> { actions… }` and the sketch's colon form
+ *  `on <outcome>: <action>…` (bare actions read up to the next `on`). */
+function parseEscalate(block) {
+    const rules = [];
+    const t = (0, tokenize_1.tokenizePackage)(block);
+    let i = 0;
+    while (i < t.length) {
+        const cmd = t[i++];
+        if (cmd !== 'on') {
+            continue; // forward compatibility: skip unknown tokens
+        }
+        const outcome = (0, field_parser_1.stripColon)((0, tokenize_1.stripWrapping)(t[i++] ?? ''));
+        if (i < t.length && t[i].startsWith('{')) {
+            rules.push({
+                outcome,
+                actions: parseEscalationActions((0, tokenize_1.unwrapBlock)(t[i++])),
+            });
+            continue;
+        }
+        // Colon form: bare action tokens up to the next `on` (notify takes a role).
+        const actions = [];
+        while (i < t.length && t[i] !== 'on') {
+            const action = (0, field_parser_1.stripColon)(t[i++].replace(/^;+|;+$/g, ''));
+            if (action === '') {
+                continue;
+            }
+            if (action === 'notify') {
+                actions.push({ action: 'notify', role: (0, tokenize_1.stripWrapping)(t[i++] ?? '') });
+            }
+            else {
+                actions.push({ action, role: '' });
+            }
+        }
+        rules.push({ outcome, actions });
+    }
+    return rules;
+}
+const parseMonitor = function (id, data) {
+    const monitor = {
+        id,
+        over: [],
+        triggers: [],
+        evaluate: {
+            requirements: { kind: '', expression: '', refs: [] },
+            promises: { kind: '', expression: '', refs: [] },
+        },
+        emit: [],
+        escalate: [],
+        referenceIds: [],
+    };
+    (0, parse_block_1.forEachEntry)(data, (command, value) => {
+        if (command === 'over') {
+            monitor.over = readIdStream(value());
+        }
+        else if (command === 'triggers') {
+            monitor.triggers = parseTriggers((0, tokenize_1.unwrapBlock)(value()));
+        }
+        else if (command === 'evaluate') {
+            monitor.evaluate = parseEvaluate((0, tokenize_1.unwrapBlock)(value()));
+        }
+        else if (command === 'emit') {
+            monitor.emit = parseEmit((0, tokenize_1.unwrapBlock)(value()));
+        }
+        else if (command === 'escalate') {
+            monitor.escalate = parseEscalate((0, tokenize_1.unwrapBlock)(value()));
+        }
+        else if (command === 'reference') {
+            monitor.referenceIds = readIdStream(value());
+        }
+        else {
+            return false;
+        }
+        return true;
+    }, { construct: 'monitor', id });
+    return ctx => {
+        ctx.monitors[id] = monitor;
+        return ctx;
+    };
+};
+// ── dump (canonical form) ────────────────────────────────────────────
+function dumpTrigger(trigger) {
+    if (trigger.kind === 'timer') {
+        return 'every ' + (0, field_parser_1.dumpBareSafe)(trigger.every);
+    }
+    if (trigger.kind === 'signal') {
+        return 'on signal ' + (0, field_parser_1.dumpBareSafe)(trigger.signal);
+    }
+    if (trigger.kind === 'change') {
+        return 'on change ' + (0, field_parser_1.dumpBareSafe)(trigger.aspect);
+    }
+    return 'on ' + (0, field_parser_1.dumpBareSafe)(trigger.kind);
+}
+function dumpSelector(selector) {
+    if (selector.kind === 'applicable_to') {
+        return 'applicable_to(' + selector.expression + ')';
+    }
+    if (selector.kind === 'refs') {
+        return '{ ' + selector.refs.map(field_parser_1.dumpBareSafe).join(' ') + ' }';
+    }
+    return (0, field_parser_1.dumpBareSafe)(selector.kind);
+}
+function dumpEscalationRule(rule) {
+    const actions = rule.actions
+        .map(a => a.action === 'notify'
+        ? 'notify ' + (0, field_parser_1.dumpBareSafe)(a.role)
+        : (0, field_parser_1.dumpBareSafe)(a.action))
+        .join(' ');
+    return 'on ' + (0, field_parser_1.dumpBareSafe)(rule.outcome) + ' { ' + actions + ' }';
+}
+const dumpMonitor = function (m) {
+    let out = 'monitor ' + m.id + ' {\n';
+    if (m.over.length > 0) {
+        out += '  over { ' + m.over.map(field_parser_1.dumpBareSafe).join(' ') + ' }\n';
+    }
+    if (m.triggers.length > 0) {
+        out += '  triggers { ' + m.triggers.map(dumpTrigger).join(' ') + ' }\n';
+    }
+    const reqs = m.evaluate.requirements;
+    const promises = m.evaluate.promises;
+    if (reqs.kind || promises.kind) {
+        out += '  evaluate {';
+        if (reqs.kind) {
+            out += ' requirements ' + dumpSelector(reqs);
+        }
+        if (promises.kind) {
+            out += ' promises ' + dumpSelector(promises);
+        }
+        out += ' }\n';
+    }
+    if (m.emit.length > 0) {
+        out +=
+            '  emit { ' +
+                m.emit.map(s => s.stream + ' -> ' + (0, field_parser_1.dumpBareSafe)(s.target)).join(' ') +
+                ' }\n';
+    }
+    if (m.escalate.length > 0) {
+        out +=
+            '  escalate { ' + m.escalate.map(dumpEscalationRule).join(' ') + ' }\n';
+    }
+    if (m.referenceIds.length > 0) {
+        out +=
+            '  reference { ' + m.referenceIds.map(field_parser_1.dumpBareSafe).join(' ') + ' }\n';
+    }
+    out += '}\n';
+    return out;
+};
+exports.monitorConstruct = {
+    keyword: 'monitor',
+    field: 'monitors',
+    takesID: true,
+    parse: parseMonitor,
+    dump: dumpMonitor,
+};
+//# sourceMappingURL=monitor.js.map