@primmel/primmel 1.13.0 → 1.15.0

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

@@ -103,7 +103,9 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.subjectConstruct = exports.conditionSetConstruct = exports.behaviorConstruct = exports.capabilityConstruct = exports.attributeDefinitionConstruct = exports.instrumentConstruct = void 0;
 exports.parseDimension = parseDimension;
 exports.dumpDimension = dumpDimension;
+exports.readPromiseEntry = readPromiseEntry;
 exports.resolveSubject = resolveSubject;
+exports.dumpPromiseEntry = dumpPromiseEntry;
 const tokenize_1 = require("../tokenize");
 const tokenize_2 = require("../tokenize");
 const parse_block_1 = require("../parse-block");
@@ -1826,7 +1828,7 @@ function readPromiseLevel(t, i) {
 /**
  * Read is.promises entries (TODO.roadmap/08). Two entry forms:
  *   - rich:  `<id> { target … level … conditions … statement …
- *              verified_by { … } source { … } }`
+ *              verified_by { … } source { … } certificate { … } }`
  *   - shorthand: a quoted phrase or a bare token NOT followed by a block —
  *     the legacy string-list form, parsed as a statement-only promise
  *     (empty id/target/conditions; the linter's C43 flags it as
@@ -1850,55 +1852,121 @@ function readPromises(block) {
                 statement: (0, tokenize_2.stripWrapping)(tok),
                 verifiedBy: [],
                 source: null,
+                certificate: null,
             });
             continue;
         }
-        const p = {
-            id: (0, field_parser_1.stripColon)(tok),
-            target: '',
-            level: null,
-            conditions: '',
-            statement: '',
-            verifiedBy: [],
-            source: null,
-        };
-        const inner = (0, tokenize_1.default)((0, tokenize_2.unwrapBlock)(t[i++]));
-        let j = 0;
-        while (j < inner.length) {
-            const cmd = inner[j++];
-            if (j >= inner.length) {
-                break;
-            }
-            if (cmd === 'target') {
-                p.target = (0, tokenize_2.stripWrapping)(inner[j++]);
-            }
-            else if (cmd === 'level') {
-                const read = readPromiseLevel(inner, j);
-                p.level = read.level;
-                j = read.next;
-            }
-            else if (cmd === 'conditions') {
-                // ocl{…} expressions reassemble across whitespace (readValueToken).
-                const read = (0, field_parser_1.readValueToken)(inner, j);
-                p.conditions = (0, tokenize_2.stripWrapping)(read.text);
-                j = read.next;
-            }
-            else if (cmd === 'statement') {
-                p.statement = (0, tokenize_2.stripWrapping)(inner[j++]);
-            }
-            else if (cmd === 'verified_by') {
-                p.verifiedBy = readIdList(inner[j++]);
-            }
-            else if (cmd === 'source') {
-                p.source = (0, field_parser_1.readSource)((0, tokenize_2.unwrapBlock)(inner[j++]));
-            }
-            else {
-                (0, tokenize_2.unwrapBlock)(inner[j++]);
+        out.push(readPromiseEntry((0, field_parser_1.stripColon)(tok), (0, tokenize_2.unwrapBlock)(t[i++])));
+    }
+    return out;
+}
+/** The certificate print-projection obligation vocabulary (mandatory |
+ *  optional) — parse-enforced, the fail-closed precedent. */
+const PROMISE_CERTIFICATE_OBLIGATIONS = ['mandatory', 'optional'];
+/** Read a promise's `certificate { … }` block (smart TODO.roadmap/40
+ *  batch 3): the content-binding XOR (attribute | attributes | dimension
+ *  | none — the statement row) is check-enforced (C131); the obligation
+ *  vocabulary is parse-enforced. */
+function readPromiseCertificate(promiseId, block) {
+    const cert = {
+        attribute: '',
+        attributes: [],
+        dimension: '',
+        type: '',
+        label: '',
+        obligation: '',
+    };
+    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 === 'attribute') {
+            cert.attribute = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'attributes') {
+            cert.attributes = readIdList(t[i++]);
+        }
+        else if (cmd === 'dimension') {
+            cert.dimension = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'type') {
+            cert.type = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'label') {
+            cert.label = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'obligation') {
+            const o = (0, tokenize_2.stripWrapping)(t[i++]);
+            if (!PROMISE_CERTIFICATE_OBLIGATIONS.includes(o)) {
+                throw new Error(`Parsing error: promise. ID ${promiseId}: Unknown certificate obligation "${o}" (valid: ${PROMISE_CERTIFICATE_OBLIGATIONS.join(', ')})`);
             }
+            cert.obligation = o;
+        }
+        else {
+            (0, tokenize_2.unwrapBlock)(t[i++]);
         }
-        out.push(p);
     }
-    return out;
+    return cert;
+}
+/**
+ * Read ONE rich promise entry body (`target … level … conditions …
+ * statement … verified_by { … } source { … } certificate { … }`).
+ * Exported for the promise_set register (config/promiseSet.ts, smart
+ * TODO.roadmap/40 batch 3), which reuses the promise sub-grammar
+ * verbatim.
+ */
+function readPromiseEntry(id, block) {
+    const p = {
+        id,
+        target: '',
+        level: null,
+        conditions: '',
+        statement: '',
+        verifiedBy: [],
+        source: null,
+        certificate: null,
+    };
+    const inner = (0, tokenize_1.default)(block);
+    let j = 0;
+    while (j < inner.length) {
+        const cmd = inner[j++];
+        if (j >= inner.length) {
+            break;
+        }
+        if (cmd === 'target') {
+            p.target = (0, tokenize_2.stripWrapping)(inner[j++]);
+        }
+        else if (cmd === 'level') {
+            const read = readPromiseLevel(inner, j);
+            p.level = read.level;
+            j = read.next;
+        }
+        else if (cmd === 'conditions') {
+            // ocl{…} expressions reassemble across whitespace (readValueToken).
+            const read = (0, field_parser_1.readValueToken)(inner, j);
+            p.conditions = (0, tokenize_2.stripWrapping)(read.text);
+            j = read.next;
+        }
+        else if (cmd === 'statement') {
+            p.statement = (0, tokenize_2.stripWrapping)(inner[j++]);
+        }
+        else if (cmd === 'verified_by') {
+            p.verifiedBy = readIdList(inner[j++]);
+        }
+        else if (cmd === 'source') {
+            p.source = (0, field_parser_1.readSource)((0, tokenize_2.unwrapBlock)(inner[j++]));
+        }
+        else if (cmd === 'certificate') {
+            p.certificate = readPromiseCertificate(p.id, (0, tokenize_2.unwrapBlock)(inner[j++]));
+        }
+        else {
+            (0, tokenize_2.unwrapBlock)(inner[j++]);
+        }
+    }
+    return p;
 }
 /** A promise carrying nothing but its prose statement (the shorthand form). */
 function isStatementOnlyPromise(p) {
@@ -1907,7 +1975,8 @@ function isStatementOnlyPromise(p) {
         !p.level &&
         !p.conditions &&
         p.verifiedBy.length === 0 &&
-        !p.source);
+        !p.source &&
+        !p.certificate);
 }
 function parseSubjectIs(block, result) {
     const t = (0, tokenize_1.default)(block);
@@ -2224,6 +2293,68 @@ function dumpPromiseLevel(level) {
     }
     return (0, quantity_1.dumpQuantityBlock)(level.quantity ?? { value: '' });
 }
+/** Dump a promise's certificate print projection (smart TODO.roadmap/40
+ *  batch 3) — facet order is the byte contract: attribute | attributes |
+ *  dimension, then type, label, obligation. */
+function dumpPromiseCertificate(cert, indent) {
+    const facet = indent + '  ';
+    let out = indent + 'certificate {\n';
+    if (cert.attribute) {
+        out += facet + 'attribute ' + (0, field_parser_1.dumpBareSafe)(cert.attribute) + '\n';
+    }
+    if (cert.attributes.length > 0) {
+        out +=
+            facet +
+                'attributes { ' +
+                cert.attributes.map(field_parser_1.dumpBareSafe).join(' ') +
+                ' }\n';
+    }
+    if (cert.dimension) {
+        out += facet + 'dimension ' + (0, field_parser_1.dumpBareSafe)(cert.dimension) + '\n';
+    }
+    if (cert.type) {
+        out += facet + 'type ' + (0, field_parser_1.dumpBareSafe)(cert.type) + '\n';
+    }
+    if (cert.label) {
+        out += facet + 'label "' + (0, tokenize_2.escapeString)(cert.label) + '"\n';
+    }
+    if (cert.obligation) {
+        out += facet + 'obligation ' + (0, field_parser_1.dumpBareSafe)(cert.obligation) + '\n';
+    }
+    out += indent + '}\n';
+    return out;
+}
+/**
+ * Dump ONE rich promise entry at the given indent — shared by
+ * dumpSubjectPromises (is.promises) and the promise_set register
+ * (config/promiseSet.ts, smart TODO.roadmap/40 batch 3), which prefixes
+ * its entries with the `promise` keyword. Facet order is the byte
+ * contract: target, level, conditions, statement, verified_by, source,
+ * certificate.
+ */
+function dumpPromiseEntry(p, indent, keyword = '') {
+    const facet = indent + '  ';
+    let out = indent + keyword + (0, field_parser_1.dumpBareSafe)(p.id) + ' {\n';
+    if (p.target) {
+        out += facet + 'target ' + (0, field_parser_1.dumpBareSafe)(p.target) + '\n';
+    }
+    if (p.level) {
+        out += facet + 'level ' + dumpPromiseLevel(p.level) + '\n';
+    }
+    if (p.conditions) {
+        out += facet + 'conditions ' + dumpSubjectDerivation(p.conditions) + '\n';
+    }
+    if (p.statement) {
+        out += facet + 'statement "' + (0, tokenize_2.escapeString)(p.statement) + '"\n';
+    }
+    out += dumpIdList('verified_by', p.verifiedBy, facet);
+    out += dumpSource('source', p.source ?? null, facet);
+    if (p.certificate) {
+        out += dumpPromiseCertificate(p.certificate, facet);
+    }
+    out += indent + '}\n';
+    return out;
+}
 /**
  * Dump is.promises (TODO.roadmap/08). Byte-compat with the legacy string
  * list: a block of statement-only entries keeps the single-line form
@@ -2246,22 +2377,7 @@ function dumpSubjectPromises(promises) {
             out += '      ' + (0, field_parser_1.dumpBareSafe)(p.statement) + '\n';
             continue;
         }
-        out += '      ' + (0, field_parser_1.dumpBareSafe)(p.id) + ' {\n';
-        if (p.target) {
-            out += '        target ' + (0, field_parser_1.dumpBareSafe)(p.target) + '\n';
-        }
-        if (p.level) {
-            out += '        level ' + dumpPromiseLevel(p.level) + '\n';
-        }
-        if (p.conditions) {
-            out += '        conditions ' + dumpSubjectDerivation(p.conditions) + '\n';
-        }
-        if (p.statement) {
-            out += '        statement "' + (0, tokenize_2.escapeString)(p.statement) + '"\n';
-        }
-        out += dumpIdList('verified_by', p.verifiedBy, '        ');
-        out += dumpSource('source', p.source ?? null, '        ');
-        out += '      }\n';
+        out += dumpPromiseEntry(p, '      ');
     }
     out += '    }\n';
     return out;