@primmel/primmel 1.3.2 → 1.4.0

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

@@ -0,0 +1,191 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────
+// `passport` construct (Primmel v3, TODO.roadmap/35 — doctrine ch. 14
+// §14.6, ch. 15 §15.6, grammar sketch §15.8): the model-native Digital
+// Product Passport — a named, access-classed projection of the product
+// model + live instance state, declared on a product reference package:
+//
+//   passport lc500_passport {
+//     upi { pattern upi:acme:lc500 level model }
+//     carrier { kind qr payload "https://passport.acme.example/passport/upi:acme:lc500.json" }
+//     public { identity composition promises_as_verified }
+//     restricted { composition.internal_materials }
+//     authority { live_compliance_status artifacts.type_evaluation_dossier }
+//   }
+//
+// Surface-syntax notes (deviations from the §15.8 sketch — the chapter
+// is the spec for SEMANTICS, not for delimiters; the convention the twin
+// constructs established, ser-des/config/twin.ts + monitor.ts headers):
+//   - the sketch's `identifier upi:acme:lc500` head facet parses as the
+//     UPI pattern with no level — the canonical form is the
+//     `upi { pattern … level … }` block (ESPR demands the level:
+//     model | batch | item; the linter's C88 flags the sketch spelling);
+//   - the sketch's comma-separated entry lists
+//     (`public { identity, composition, … }`) parse identically to the
+//     canonical whitespace form — `,` and `;` are optional noise;
+//   - a content entry is `<class>` (the whole class) or
+//     `<class>.<ref>` (one aspect/promise/artifact — the ref may itself
+//     contain dots, e.g. an attribute path; the split is on the FIRST
+//     dot);
+//   - the access vocabulary is FAIL-CLOSED (task-35 review): an unknown
+//     block-valued keyword (`restriced { … }`) is a parse-time error —
+//     a misspelled access class must never parse into entries no class
+//     serves. Unknown non-block keywords stay ignored (forward
+//     compatibility for scalar facets).
+//
+// Round-trip: the dump emits the canonical form — entries grouped by
+// access class (public, restricted, authority, then unknown classes in
+// first-seen order), each class one line; the sketch spellings re-parse
+// to the same model — the fixpoint is proven in test/passport.test.ts.
+// ─────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.passportConstruct = void 0;
+const tokenize_1 = require("../tokenize");
+const parse_block_1 = require("../parse-block");
+const field_parser_1 = require("./field-parser");
+const Passport_1 = require("../../types/Passport");
+/**
+ * Parse one access-class value (the `{ … }` block token, or a single bare
+ * entry) into content entries. The split is on the FIRST dot: `<class>`
+ * or `<class>.<ref>` — the ref may itself contain dots (an attribute
+ * path such as `composition.sample.test_context.indication`).
+ */
+function parseEntries(access, value) {
+    return (0, field_parser_1.readEntryTokens)(value).map(token => {
+        const dot = token.indexOf('.');
+        return dot === -1
+            ? { access, contentClass: token, ref: '' }
+            : {
+                access,
+                contentClass: token.slice(0, dot),
+                ref: token.slice(dot + 1),
+            };
+    });
+}
+const parsePassport = function (id, data) {
+    const passport = {
+        id,
+        upi: { pattern: '', level: '' },
+        carriers: [],
+        entries: [],
+        referenceIds: [],
+    };
+    (0, parse_block_1.forEachEntry)(data, (command, value) => {
+        if (command === 'upi') {
+            // upi { pattern <token> level <model|batch|item> }
+            (0, parse_block_1.forEachEntry)((0, tokenize_1.unwrapBlock)(value()), (facet, facetValue) => {
+                if (facet === 'pattern') {
+                    passport.upi.pattern = (0, tokenize_1.stripWrapping)(facetValue());
+                }
+                else if (facet === 'level') {
+                    passport.upi.level = (0, tokenize_1.stripWrapping)(facetValue());
+                }
+                else {
+                    return false;
+                }
+                return true;
+            }, { construct: 'passport.upi', id });
+        }
+        else if (command === 'identifier') {
+            // The §15.8 sketch spelling: `identifier upi:acme:lc500` — the
+            // bare UPI pattern with no level (C88 flags the missing level).
+            passport.upi.pattern = (0, tokenize_1.stripWrapping)(value());
+        }
+        else if (command === 'carrier') {
+            // carrier { kind <token> payload <endpoint-url> }
+            const carrier = { kind: '', payload: '' };
+            (0, parse_block_1.forEachEntry)((0, tokenize_1.unwrapBlock)(value()), (facet, facetValue) => {
+                if (facet === 'kind') {
+                    carrier.kind = (0, tokenize_1.stripWrapping)(facetValue());
+                }
+                else if (facet === 'payload') {
+                    carrier.payload = (0, tokenize_1.stripWrapping)(facetValue());
+                }
+                else {
+                    return false;
+                }
+                return true;
+            }, { construct: 'passport.carrier', id });
+            passport.carriers.push(carrier);
+        }
+        else if (command === 'reference') {
+            passport.referenceIds = (0, field_parser_1.readEntryTokens)(value());
+        }
+        else {
+            // The value thunk consumes a token per call — read it ONCE. An
+            // access-class block or bare entry must name one of the three
+            // DECLARED access classes: an unknown block-valued keyword is a
+            // parse-time error — FAIL-CLOSED (task-35 review, Minor 4): a
+            // misspelled access class (`restriced { … }`) must never parse
+            // into entries no class serves (a leak could hide behind the
+            // typo). Unknown NON-block keywords stay ignored (forward
+            // compatibility for scalar facets; a typo'd `identifier`/`upi`
+            // is still caught — C88 fires on the missing pattern).
+            const v = value();
+            if (Passport_1.PASSPORT_ACCESS_CLASSES.includes(command)) {
+                passport.entries.push(...parseEntries(command, v));
+            }
+            else if (v.startsWith('{')) {
+                throw new Error(`Parsing error: passport. ID ${id}: unknown access class "${command}" — access classes are ${Passport_1.PASSPORT_ACCESS_CLASSES.join(' | ')} (fail-closed: an unknown access class is never served)`);
+            }
+        }
+        return true;
+    }, { construct: 'passport', id });
+    return ctx => {
+        ctx.passports[id] = passport;
+        return ctx;
+    };
+};
+// ── dump (canonical form) ────────────────────────────────────────────
+function dumpEntry(entry) {
+    return (0, field_parser_1.dumpBareSafe)(entry.ref === ''
+        ? entry.contentClass
+        : entry.contentClass + '.' + entry.ref);
+}
+const dumpPassport = function (p) {
+    let out = 'passport ' + p.id + ' {\n';
+    if (p.upi.pattern !== '' || p.upi.level !== '') {
+        out += '  upi {';
+        if (p.upi.pattern !== '') {
+            out += ' pattern ' + (0, field_parser_1.dumpBareSafe)(p.upi.pattern);
+        }
+        if (p.upi.level !== '') {
+            out += ' level ' + (0, field_parser_1.dumpBareSafe)(p.upi.level);
+        }
+        out += ' }\n';
+    }
+    for (const c of p.carriers) {
+        out +=
+            '  carrier { kind ' +
+                (0, field_parser_1.dumpBareSafe)(c.kind) +
+                ' payload ' +
+                (0, field_parser_1.dumpBareSafe)(c.payload) +
+                ' }\n';
+    }
+    // Entries grouped by access class: the three declared classes in
+    // canonical order, then any unknown access tokens in first-seen order.
+    const accessOrder = [
+        ...Passport_1.PASSPORT_ACCESS_CLASSES,
+        ...[...new Set(p.entries.map(e => e.access))].filter(a => !Passport_1.PASSPORT_ACCESS_CLASSES.includes(a)),
+    ];
+    for (const access of accessOrder) {
+        const entries = p.entries.filter(e => e.access === access);
+        if (entries.length > 0) {
+            out += '  ' + access + ' { ' + entries.map(dumpEntry).join(' ') + ' }\n';
+        }
+    }
+    if (p.referenceIds.length > 0) {
+        out +=
+            '  reference { ' + p.referenceIds.map(field_parser_1.dumpBareSafe).join(' ') + ' }\n';
+    }
+    out += '}\n';
+    return out;
+};
+exports.passportConstruct = {
+    keyword: 'passport',
+    field: 'passports',
+    takesID: true,
+    parse: parsePassport,
+    dump: dumpPassport,
+};
+//# sourceMappingURL=passport.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"passport.js","sourceRoot":"","sources":["../../../../src/ser-des/config/passport.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,sEAAsE;AACtE,uEAAuE;AACvE,uEAAuE;AACvE,wEAAwE;AACxE,EAAE;AACF,8BAA8B;AAC9B,iDAAiD;AACjD,+FAA+F;AAC/F,2DAA2D;AAC3D,oDAAoD;AACpD,6EAA6E;AAC7E,MAAM;AACN,EAAE;AACF,uEAAuE;AACvE,yEAAyE;AACzE,wEAAwE;AACxE,wEAAwE;AACxE,4DAA4D;AAC5D,iEAAiE;AACjE,yEAAyE;AACzE,+CAA+C;AAC/C,uEAAuE;AACvE,kEAAkE;AAClE,wDAAwD;AACxD,wEAAwE;AACxE,sEAAsE;AACtE,YAAY;AACZ,wEAAwE;AACxE,uEAAuE;AACvE,uEAAuE;AACvE,+DAA+D;AAC/D,wCAAwC;AACxC,EAAE;AACF,qEAAqE;AACrE,uEAAuE;AACvE,wEAAwE;AACxE,uEAAuE;AACvE,wEAAwE;;;AAExE,0CAAyD;AACzD,gDAA8C;AAC9C,iDAA+D;AAE/D,mDAK8B;AAE9B;;;;;GAKG;AACH,SAAS,YAAY,CAAC,MAAc,EAAE,KAAa;IACjD,OAAO,IAAA,8BAAe,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,GAAG,KAAK,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE;YAC1C,CAAC,CAAC;gBACE,MAAM;gBACN,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBACjC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;aAC1B,CAAC;IACR,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,aAAa,GAAiC,UAAU,EAAE,EAAE,IAAI;IACpE,MAAM,QAAQ,GAAa;QACzB,EAAE;QACF,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;QAC/B,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,EAAE;QACX,YAAY,EAAE,EAAE;KACjB,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACjB,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YACtB,mDAAmD;YACnD,IAAA,0BAAY,EACV,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,EACpB,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;gBACpB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,QAAQ,CAAC,GAAG,CAAC,OAAO,GAAG,IAAA,wBAAa,EAAC,UAAU,EAAE,CAAC,CAAC;gBACrD,CAAC;qBAAM,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;oBAC7B,QAAQ,CAAC,GAAG,CAAC,KAAK,GAAG,IAAA,wBAAa,EAAC,UAAU,EAAE,CAAC,CAAC;gBACnD,CAAC;qBAAM,CAAC;oBACN,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,EACD,EAAE,SAAS,EAAE,cAAc,EAAE,EAAE,EAAE,CAClC,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACpC,+DAA+D;YAC/D,gEAAgE;YAChE,QAAQ,CAAC,GAAG,CAAC,OAAO,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAChD,CAAC;aAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,kDAAkD;YAClD,MAAM,OAAO,GAAoB,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YAC3D,IAAA,0BAAY,EACV,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,EACpB,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;gBACpB,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;oBACrB,OAAO,CAAC,IAAI,GAAG,IAAA,wBAAa,EAAC,UAAU,EAAE,CAAC,CAAC;gBAC7C,CAAC;qBAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC/B,OAAO,CAAC,OAAO,GAAG,IAAA,wBAAa,EAAC,UAAU,EAAE,CAAC,CAAC;gBAChD,CAAC;qBAAM,CAAC;oBACN,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,EACD,EAAE,SAAS,EAAE,kBAAkB,EAAE,EAAE,EAAE,CACtC,CAAC;YACF,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YACnC,QAAQ,CAAC,YAAY,GAAG,IAAA,8BAAe,EAAC,KAAK,EAAE,CAAC,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,8DAA8D;YAC9D,gEAAgE;YAChE,8DAA8D;YAC9D,+DAA+D;YAC/D,6DAA6D;YAC7D,0DAA0D;YAC1D,+DAA+D;YAC/D,uDAAuD;YACvD,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC;YAClB,IAAK,kCAA6C,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACrE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,MAAM,IAAI,KAAK,CACb,+BAA+B,EAAE,2BAA2B,OAAO,0BAA0B,kCAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,yDAAyD,CAC1L,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE,CAC9B,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC;QAC7B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,wEAAwE;AAExE,SAAS,SAAS,CAAC,KAA2B;IAC5C,OAAO,IAAA,2BAAY,EACjB,KAAK,CAAC,GAAG,KAAK,EAAE;QACd,CAAC,CAAC,KAAK,CAAC,YAAY;QACpB,CAAC,CAAC,KAAK,CAAC,YAAY,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,CACzC,CAAC;AACJ,CAAC;AAED,MAAM,YAAY,GAAG,UAAU,CAAW;IACxC,IAAI,GAAG,GAAG,WAAW,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC;IACtC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;QAC/C,GAAG,IAAI,SAAS,CAAC;QACjB,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;YACzB,GAAG,IAAI,WAAW,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;YACvB,GAAG,IAAI,SAAS,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;QACD,GAAG,IAAI,MAAM,CAAC;IAChB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,GAAG;YACD,mBAAmB;gBACnB,IAAA,2BAAY,EAAC,CAAC,CAAC,IAAI,CAAC;gBACpB,WAAW;gBACX,IAAA,2BAAY,EAAC,CAAC,CAAC,OAAO,CAAC;gBACvB,MAAM,CAAC;IACX,CAAC;IACD,iEAAiE;IACjE,uEAAuE;IACvE,MAAM,WAAW,GAAG;QAClB,GAAG,kCAAuB;QAC1B,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,CAAC,CAAE,kCAA6C,CAAC,QAAQ,CAAC,CAAC,CAAC,CACjE;KACF,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,GAAG,IAAI,IAAI,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,GAAG;YACD,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,2BAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;IAC3E,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/process.d.ts

@@ -1,7 +1,9 @@
 import Process, { ResolvableProcess } from '../../types/process';
-import { Dumper, Parser, Resolver } from '../types';
+import { Parser, Resolver } from '../types';
 export declare const parseProcess: Parser;
 export declare const resolveProcess: Resolver<Process, ResolvableProcess>;
-export declare function dumpProcessTree(process: Process, lookup: Map<string, Process>): string;
-export declare const dumpProcess: Dumper<Process>;
+export declare function dumpProcessTree(process: Process, lookup: Map<string, Process>, nested?: boolean): string;
+export declare const dumpProcess: (process: Process, ctx?: {
+    nested?: boolean;
+}) => string;
 //# sourceMappingURL=process.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"process.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/process.ts"],"names":[],"mappings":"AAAA,OAAO,OAAO,EAAE,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAIjE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAOpD,eAAO,MAAM,YAAY,EAAE,MA2F1B,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAuC/D,CAAC;AASF,wBAAgB,eAAe,CAC7B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,MAAM,CAeR;AAED,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,OAAO,CA6CvC,CAAC"}
+{"version":3,"file":"process.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/process.ts"],"names":[],"mappings":"AA8GA,OAAO,OAAO,EAAE,EAQd,iBAAiB,EAElB,MAAM,qBAAqB,CAAC;AAwB7B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AA4gB5C,eAAO,MAAM,YAAY,EAAE,MA2K1B,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CA2C/D,CAAC;AASF,wBAAgB,eAAe,CAC7B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,MAAM,UAAQ,GACb,MAAM,CAeR;AA0GD,eAAO,MAAM,WAAW,EAAE,CACxB,OAAO,EAAE,OAAO,EAChB,GAAG,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,KACvB,MAwJJ,CAAC"}