@primmel/primmel 1.12.0 → 1.14.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"storyline.js","sourceRoot":"","sources":["../../../../src/ser-des/config/storyline.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,wEAAwE;AACxE,oEAAoE;AACpE,iEAAiE;AACjE,6DAA6D;AAC7D,EAAE;AACF,uEAAuE;AACvE,uEAAuE;AACvE,sEAAsE;AACtE,sEAAsE;AACtE,EAAE;AACF,mEAAmE;AACnE,iCAAiC;AACjC,wEAAwE;;;AAGxE,0CAIqB;AACrB,gDAA8C;AAC9C,iDAA0D;AAC1D,yCAA+D;AAQ/D,wEAAwE;AAExE,oEAAoE;AACpE,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAA,kBAAQ,EAAC,IAAA,sBAAW,EAAC,KAAK,CAAC,CAAC;aAChC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;aACzB,GAAG,CAAC,2BAAgB,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,IAAA,2BAAgB,EAAC,KAAK,CAAC,CAAC;AACjC,CAAC;AAED;+CAC+C;AAC/C,SAAS,gBAAgB,CAAC,KAAa;IACrC,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,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,MAAM,CAAC,IAAA,yBAAU,EAAC,GAAG,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAmC,EACnC,MAAc;IAEd,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,GAAG;gBACD,MAAM,GAAG,GAAG,GAAG,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,0BAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QACzE,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,MAAM,GAAG,GAAG,GAAG,GAAG,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wEAAwE;AAExE,SAAS,iBAAiB,CAAC,KAAa;IACtC,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,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,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,MAAM;QACR,CAAC;QACD,MAAM,OAAO,GAAwB,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC9D,MAAM,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7C,MAAM;YACR,CAAC;YACD,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;gBACnB,EAAE,EAAE,GAAG;gBACP,MAAM,EAAE,gBAAgB,CAAC,IAAA,sBAAW,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aAC/C,CAAC,CAAC;QACL,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAEM,MAAM,cAAc,GAAW,CAAC,EAAU,EAAE,IAAY,EAAE,EAAE;IACjE,MAAM,KAAK,GAAc;QACvB,EAAE;QACF,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,EAAE;QACf,YAAY,EAAE,EAAE;KACjB,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACjB,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,KAAK,CAAC,QAAQ,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YACrC,KAAK,CAAC,WAAW,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;YACtC,KAAK,CAAC,YAAY,GAAG,iBAAiB,CAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;QAC3B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AA7BW,QAAA,cAAc,kBA6BzB;AAEK,MAAM,aAAa,GAAsB,UAAU,CAAC;IACzD,IAAI,GAAG,GAAW,aAAa,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC;IAChD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,GAAG,IAAI,aAAa,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC;IACzD,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAClB,GAAG,IAAI,iBAAiB,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC;IACjE,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,GAAG,IAAI,oBAAoB,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;YAC/B,GAAG,IAAI,MAAM,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,GAAG,IAAI,QAAQ,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;gBAC9C,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBAC9C,GAAG,IAAI,WAAW,CAAC;YACrB,CAAC;YACD,GAAG,IAAI,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAvBW,QAAA,aAAa,iBAuBxB;AAEF,wEAAwE;AAExE,SAAS,mBAAmB,CAAC,KAAa;IACxC,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,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,IAAI,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM;QACR,CAAC;QACD,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,KAAK,GAA0B,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,KAAK,CAAC,MAAM,GAAG,gBAAgB,CAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAEM,MAAM,cAAc,GAAW,CAAC,EAAU,EAAE,IAAY,EAAE,EAAE;IACjE,MAAM,SAAS,GAAc;QAC3B,EAAE;QACF,IAAI,EAAE,EAAE;QACR,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACxC,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,EAAE;KACV,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,SAAS,CAAC,IAAI,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YACnC,SAAS,CAAC,QAAQ,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1C,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,YAAY,EAAE,CAAC;oBAC3B,SAAS,CAAC,KAAK,CAAC,UAAU,GAAG,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACxD,CAAC;qBAAM,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,WAAW,EAAE,CAAC;oBACjC,SAAS,CAAC,KAAK,CAAC,SAAS,GAAG,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,SAAS,CAAC,OAAO,GAAG,mBAAmB,CAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,2DAA2D;YAC3D,8DAA8D;YAC9D,SAAS;YACT,MAAM,KAAK,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC;YACtB,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,KAAK,CACb,gCAAgC,EAAE,YAAY,KAAK,8BAA8B,CAClF,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;YACnC,MAAM,SAAS,GAAG,IAAI,EAAE,CAAC;YACzB,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,KAAK,CACb,gCAAgC,EAAE,YAAY,KAAK,IAAI,GAAG,uBAAuB,CAClF,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC;gBACrB,KAAK;gBACL,EAAE,EAAE,GAAG;gBACP,MAAM,EAAE,gBAAgB,CAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC;aAC/C,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YAC9B,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,CAC/B,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;QAC/B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAlEW,QAAA,cAAc,kBAkEzB;AAEK,MAAM,aAAa,GAAsB,UAAU,CAAC;IACzD,IAAI,GAAG,GAAW,YAAY,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC;IAC/C,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,GAAG,IAAI,UAAU,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACnD,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,GAAG,IAAI,cAAc,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC5C,GAAG,IAAI,WAAW,CAAC;QACnB,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YACvB,GAAG,IAAI,cAAc,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YACtB,GAAG,IAAI,aAAa,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACzD,CAAC;QACD,GAAG,IAAI,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,GAAG,IAAI,eAAe,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,GAAG,IAAI,MAAM,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;YACzE,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC5C,GAAG,IAAI,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QAC1B,GAAG;YACD,WAAW,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,IAAA,2BAAY,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QAC1E,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC1C,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,GAAG,IAAI,UAAU,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,GAAG,KAAK,CAAC;IAC9C,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAtCW,QAAA,aAAa,iBAsCxB"}

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

@@ -1,5 +1,5 @@
 import type { ParseContext } from '../types';
-import type { AttributeDefinition, Behavior, Capability, ClassificationDimension, ConditionSet, Instrument, Subject } from '../../types/Subject';
+import type { AttributeDefinition, Behavior, Capability, ClassificationDimension, ConditionSet, Instrument, Subject, SubjectPromise } from '../../types/Subject';
 export declare function parseDimension(id: string, block: string): ClassificationDimension;
 /**
  * Serialize one classification dimension at the given indent — the one
@@ -9,6 +9,14 @@ export declare function parseDimension(id: string, block: string): Classificatio
  * present; the unified typed refs (non-provenance) follow the values.
  */
 export declare function dumpDimension(d: ClassificationDimension, indent: string): string;
+/**
+ * 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.
+ */
+export declare function readPromiseEntry(id: string, block: string): SubjectPromise;
 /**
  * Resolve a subject's `extends` chain: merge each subject with its
  * parent from ctx.subjects, recursively when the parent itself extends.
@@ -21,6 +29,15 @@ export declare function dumpDimension(d: ClassificationDimension, indent: string
  *     always terminates.
  */
 export declare function resolveSubject(ctx: ParseContext, item: Subject): Subject;
+/**
+ * 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.
+ */
+export declare function dumpPromiseEntry(p: SubjectPromise, indent: string, keyword?: string): string;
 export declare const instrumentConstruct: {
     readonly keyword: "instrument";
     readonly field: "instruments";

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

@@ -1 +1 @@
-{"version":3,"file":"subject.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/subject.ts"],"names":[],"mappings":"AA0IA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,uBAAuB,EAEvB,YAAY,EAEZ,UAAU,EAOV,OAAO,EAIR,MAAM,qBAAqB,CAAC;AAsU7B,wBAAgB,cAAc,CAC5B,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,GACZ,uBAAuB,CAuDzB;AA+ED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,uBAAuB,EAC1B,MAAM,EAAE,MAAM,GACb,MAAM,CAuER;AAg1CD;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAcxE;AAqPD,eAAO,MAAM,mBAAmB;;;;;0BA7iDO,UAAU,KAAG,MAAM;CAmjDhD,CAAC;AAEX,eAAO,MAAM,4BAA4B;;;;;uBAzwCI,mBAAmB,KAAG,MAAM;CA+wC/D,CAAC;AAEX,eAAO,MAAM,mBAAmB;;;;;uBAloCI,UAAU,KAAG,MAAM;CAwoC7C,CAAC;AAEX,eAAO,MAAM,iBAAiB;;;;;uBApjCI,QAAQ,KAAG,MAAM;CA0jCzC,CAAC;AAEX,eAAO,MAAM,qBAAqB;;;;;wBAx6BK,YAAY,KAAG,MAAM;CA86BlD,CAAC;AAEX,eAAO,MAAM,gBAAgB;;;;;sBAKA,KAAK;uBAxFD,OAAO,KAAG,MAAM;CA0FvC,CAAC"}
+{"version":3,"file":"subject.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/subject.ts"],"names":[],"mappings":"AA0IA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,uBAAuB,EAEvB,YAAY,EAEZ,UAAU,EASV,OAAO,EAEP,cAAc,EAEf,MAAM,qBAAqB,CAAC;AAsU7B,wBAAgB,cAAc,CAC5B,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,GACZ,uBAAuB,CAuDzB;AA+ED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,uBAAuB,EAC1B,MAAM,EAAE,MAAM,GACb,MAAM,CAuER;AA4tCD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,CA0C1E;AA+ND;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAcxE;AA6HD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,CAAC,EAAE,cAAc,EACjB,MAAM,EAAE,MAAM,EACd,OAAO,SAAK,GACX,MAAM,CAsBR;AA8ID,eAAO,MAAM,mBAAmB;;;;;0BAjwDO,UAAU,KAAG,MAAM;CAuwDhD,CAAC;AAEX,eAAO,MAAM,4BAA4B;;;;;uBAx4CI,mBAAmB,KAAG,MAAM;CA84C/D,CAAC;AAEX,eAAO,MAAM,mBAAmB;;;;;uBA9vCI,UAAU,KAAG,MAAM;CAowC7C,CAAC;AAEX,eAAO,MAAM,iBAAiB;;;;;uBAhrCI,QAAQ,KAAG,MAAM;CAsrCzC,CAAC;AAEX,eAAO,MAAM,qBAAqB;;;;;wBApiCK,YAAY,KAAG,MAAM;CA0iClD,CAAC;AAEX,eAAO,MAAM,gBAAgB;;;;;sBAKA,KAAK;uBAxFD,OAAO,KAAG,MAAM;CA0FvC,CAAC"}

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");
@@ -925,6 +927,92 @@ const dumpInstrument = function (inst) {
     return out;
 };
 // ── attribute_definition ─────────────────────────────────────────────
+/**
+ * The `pair_list { … }` block (smart TODO.roadmap/40 batch 4): key /
+ * value / key_dimension scalar facets plus the repeatable two-token
+ * `component <id> { … }` entries (the segregation-block idiom — the
+ * block claims its sub-tokens manually).
+ */
+function parsePairList(block) {
+    const decl = {
+        key: '',
+        value: '',
+        keyDimension: '',
+        components: [],
+    };
+    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 === 'key') {
+            decl.key = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'value') {
+            decl.value = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'key_dimension') {
+            decl.keyDimension = (0, tokenize_2.stripWrapping)(t[i++]);
+        }
+        else if (cmd === 'component') {
+            const cid = (0, tokenize_2.stripWrapping)(t[i++]);
+            const component = { id: cid, name: '', source: null };
+            if (i < t.length && t[i].startsWith('{')) {
+                const et = (0, tokenize_1.default)((0, tokenize_2.unwrapBlock)(t[i++]));
+                let j = 0;
+                while (j < et.length) {
+                    const ec = et[j++];
+                    if (j >= et.length) {
+                        break;
+                    }
+                    if (ec === 'name') {
+                        component.name = (0, tokenize_2.stripWrapping)(et[j++]);
+                    }
+                    else if (ec === 'source') {
+                        component.source = (0, field_parser_1.readSource)((0, tokenize_2.unwrapBlock)(et[j++]));
+                    }
+                    else {
+                        (0, tokenize_2.unwrapBlock)(et[j++]);
+                    }
+                }
+            }
+            decl.components.push(component);
+        }
+        else {
+            i = (0, parse_block_1.skipUnknownValue)(t, i, cmd);
+        }
+    }
+    return decl;
+}
+function dumpPairList(decl) {
+    let out = '  pair_list {\n';
+    out += '    key ' + (0, field_parser_1.dumpBareSafe)(decl.key) + '\n';
+    out += '    value ' + (0, field_parser_1.dumpBareSafe)(decl.value) + '\n';
+    if (decl.keyDimension) {
+        out += '    key_dimension ' + (0, field_parser_1.dumpBareSafe)(decl.keyDimension) + '\n';
+    }
+    for (const c of decl.components) {
+        out += '    component ' + (0, field_parser_1.dumpBareSafe)(c.id) + ' {\n';
+        if (c.name) {
+            out += '      name "' + (0, tokenize_2.escapeString)(c.name) + '"\n';
+        }
+        if (c.source && (c.source.doc || c.source.clause)) {
+            out += '      source {\n';
+            if (c.source.doc) {
+                out += '        doc "' + (0, tokenize_2.escapeString)(c.source.doc) + '"\n';
+            }
+            if (c.source.clause) {
+                out += '        clause "' + (0, tokenize_2.escapeString)(c.source.clause) + '"\n';
+            }
+            out += '      }\n';
+        }
+        out += '    }\n';
+    }
+    out += '  }\n';
+    return out;
+}
 const parseAttributeDefinition = function (id, data) {
     const result = {
         id,
@@ -978,6 +1066,10 @@ const parseAttributeDefinition = function (id, data) {
         else if (cmd === 'value_type') {
             result.valueType = (0, tokenize_2.stripWrapping)(t[i++]);
         }
+        else if (cmd === 'pair_list') {
+            // The pair-list block (smart TODO.roadmap/40 batch 4).
+            result.pairList = parsePairList((0, tokenize_2.unwrapBlock)(t[i++]));
+        }
         else if (cmd === 'origin') {
             result.origin = (0, tokenize_2.stripWrapping)(t[i++]);
         }
@@ -1066,6 +1158,9 @@ const dumpAttributeDefinition = function (a) {
     if (a.valueType) {
         out += '  value_type ' + a.valueType + '\n';
     }
+    if (a.pairList) {
+        out += dumpPairList(a.pairList);
+    }
     if (a.origin) {
         out += '  origin ' + a.origin + '\n';
     }
@@ -1733,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
@@ -1757,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) {
@@ -1814,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);
@@ -2131,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
@@ -2153,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;