@primmel/primmel 1.7.0 → 1.8.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (152) hide show
  1. package/dist/src/check-rules.d.ts +1 -1
  2. package/dist/src/check-rules.d.ts.map +1 -1
  3. package/dist/src/check-rules.js +34 -2
  4. package/dist/src/check-rules.js.map +1 -1
  5. package/dist/src/check.d.ts.map +1 -1
  6. package/dist/src/check.js +220 -0
  7. package/dist/src/check.js.map +1 -1
  8. package/dist/src/ser-des/config/artifact.d.ts.map +1 -1
  9. package/dist/src/ser-des/config/artifact.js +8 -0
  10. package/dist/src/ser-des/config/artifact.js.map +1 -1
  11. package/dist/src/ser-des/config/calculation.d.ts.map +1 -1
  12. package/dist/src/ser-des/config/calculation.js +18 -2
  13. package/dist/src/ser-des/config/calculation.js.map +1 -1
  14. package/dist/src/ser-des/config/competenceKind.d.ts.map +1 -1
  15. package/dist/src/ser-des/config/competenceKind.js +10 -1
  16. package/dist/src/ser-des/config/competenceKind.js.map +1 -1
  17. package/dist/src/ser-des/config/conformanceTest.d.ts.map +1 -1
  18. package/dist/src/ser-des/config/conformanceTest.js +6 -0
  19. package/dist/src/ser-des/config/conformanceTest.js.map +1 -1
  20. package/dist/src/ser-des/config/constraint.d.ts.map +1 -1
  21. package/dist/src/ser-des/config/constraint.js +10 -1
  22. package/dist/src/ser-des/config/constraint.js.map +1 -1
  23. package/dist/src/ser-des/config/correspondence.d.ts +19 -0
  24. package/dist/src/ser-des/config/correspondence.d.ts.map +1 -0
  25. package/dist/src/ser-des/config/correspondence.js +107 -0
  26. package/dist/src/ser-des/config/correspondence.js.map +1 -0
  27. package/dist/src/ser-des/config/dataspace.d.ts +9 -0
  28. package/dist/src/ser-des/config/dataspace.d.ts.map +1 -0
  29. package/dist/src/ser-des/config/dataspace.js +269 -0
  30. package/dist/src/ser-des/config/dataspace.js.map +1 -0
  31. package/dist/src/ser-des/config/field-parser.d.ts.map +1 -1
  32. package/dist/src/ser-des/config/field-parser.js +11 -0
  33. package/dist/src/ser-des/config/field-parser.js.map +1 -1
  34. package/dist/src/ser-des/config/form.d.ts.map +1 -1
  35. package/dist/src/ser-des/config/form.js +8 -0
  36. package/dist/src/ser-des/config/form.js.map +1 -1
  37. package/dist/src/ser-des/config/formulasUsed.d.ts.map +1 -1
  38. package/dist/src/ser-des/config/formulasUsed.js +6 -0
  39. package/dist/src/ser-des/config/formulasUsed.js.map +1 -1
  40. package/dist/src/ser-des/config/index.d.ts.map +1 -1
  41. package/dist/src/ser-des/config/index.js +10 -0
  42. package/dist/src/ser-des/config/index.js.map +1 -1
  43. package/dist/src/ser-des/config/packageManifest.d.ts.map +1 -1
  44. package/dist/src/ser-des/config/packageManifest.js +10 -0
  45. package/dist/src/ser-des/config/packageManifest.js.map +1 -1
  46. package/dist/src/ser-des/config/policy.d.ts +9 -0
  47. package/dist/src/ser-des/config/policy.d.ts.map +1 -0
  48. package/dist/src/ser-des/config/policy.js +192 -0
  49. package/dist/src/ser-des/config/policy.js.map +1 -0
  50. package/dist/src/ser-des/config/process.d.ts.map +1 -1
  51. package/dist/src/ser-des/config/process.js +6 -0
  52. package/dist/src/ser-des/config/process.js.map +1 -1
  53. package/dist/src/ser-des/config/referenceMaterial.d.ts.map +1 -1
  54. package/dist/src/ser-des/config/referenceMaterial.js +6 -0
  55. package/dist/src/ser-des/config/referenceMaterial.js.map +1 -1
  56. package/dist/src/ser-des/config/requirement.d.ts.map +1 -1
  57. package/dist/src/ser-des/config/requirement.js +8 -0
  58. package/dist/src/ser-des/config/requirement.js.map +1 -1
  59. package/dist/src/ser-des/config/stateMachine.d.ts.map +1 -1
  60. package/dist/src/ser-des/config/stateMachine.js +9 -1
  61. package/dist/src/ser-des/config/stateMachine.js.map +1 -1
  62. package/dist/src/ser-des/config/subject.d.ts.map +1 -1
  63. package/dist/src/ser-des/config/subject.js +37 -0
  64. package/dist/src/ser-des/config/subject.js.map +1 -1
  65. package/dist/src/ser-des/config/symbol.d.ts.map +1 -1
  66. package/dist/src/ser-des/config/symbol.js +10 -2
  67. package/dist/src/ser-des/config/symbol.js.map +1 -1
  68. package/dist/src/ser-des/config/table.d.ts.map +1 -1
  69. package/dist/src/ser-des/config/table.js +10 -1
  70. package/dist/src/ser-des/config/table.js.map +1 -1
  71. package/dist/src/ser-des/config/term.d.ts.map +1 -1
  72. package/dist/src/ser-des/config/term.js +15 -0
  73. package/dist/src/ser-des/config/term.js.map +1 -1
  74. package/dist/src/ser-des/config/testPointSet.d.ts.map +1 -1
  75. package/dist/src/ser-des/config/testPointSet.js +6 -0
  76. package/dist/src/ser-des/config/testPointSet.js.map +1 -1
  77. package/dist/src/ser-des/config/testSequence.d.ts.map +1 -1
  78. package/dist/src/ser-des/config/testSequence.js +8 -0
  79. package/dist/src/ser-des/config/testSequence.js.map +1 -1
  80. package/dist/src/ser-des/config/trustRef.d.ts +13 -0
  81. package/dist/src/ser-des/config/trustRef.d.ts.map +1 -0
  82. package/dist/src/ser-des/config/trustRef.js +51 -0
  83. package/dist/src/ser-des/config/trustRef.js.map +1 -0
  84. package/dist/src/ser-des/config/verdict.d.ts.map +1 -1
  85. package/dist/src/ser-des/config/verdict.js +7 -0
  86. package/dist/src/ser-des/config/verdict.js.map +1 -1
  87. package/dist/src/ser-des/parse-block.d.ts +9 -6
  88. package/dist/src/ser-des/parse-block.d.ts.map +1 -1
  89. package/dist/src/ser-des/parse-block.js +44 -17
  90. package/dist/src/ser-des/parse-block.js.map +1 -1
  91. package/dist/src/ser-des/parse.d.ts.map +1 -1
  92. package/dist/src/ser-des/parse.js +3 -0
  93. package/dist/src/ser-des/parse.js.map +1 -1
  94. package/dist/src/ser-des/types.d.ts +4 -0
  95. package/dist/src/ser-des/types.d.ts.map +1 -1
  96. package/dist/src/types/Artifact.d.ts +2 -0
  97. package/dist/src/types/Artifact.d.ts.map +1 -1
  98. package/dist/src/types/Calculation.d.ts +2 -0
  99. package/dist/src/types/Calculation.d.ts.map +1 -1
  100. package/dist/src/types/CompetenceKind.d.ts +2 -0
  101. package/dist/src/types/CompetenceKind.d.ts.map +1 -1
  102. package/dist/src/types/ConformanceTest.d.ts +2 -0
  103. package/dist/src/types/ConformanceTest.d.ts.map +1 -1
  104. package/dist/src/types/Constraint.d.ts +2 -0
  105. package/dist/src/types/Constraint.d.ts.map +1 -1
  106. package/dist/src/types/Correspondence.d.ts +27 -0
  107. package/dist/src/types/Correspondence.d.ts.map +1 -0
  108. package/dist/src/types/Correspondence.js +23 -0
  109. package/dist/src/types/Correspondence.js.map +1 -0
  110. package/dist/src/types/Dataspace.d.ts +60 -0
  111. package/dist/src/types/Dataspace.d.ts.map +1 -0
  112. package/dist/src/types/Dataspace.js +36 -0
  113. package/dist/src/types/Dataspace.js.map +1 -0
  114. package/dist/src/types/Form.d.ts +5 -0
  115. package/dist/src/types/Form.d.ts.map +1 -1
  116. package/dist/src/types/FormulasUsed.d.ts +2 -0
  117. package/dist/src/types/FormulasUsed.d.ts.map +1 -1
  118. package/dist/src/types/Package.d.ts +4 -0
  119. package/dist/src/types/Package.d.ts.map +1 -1
  120. package/dist/src/types/Policy.d.ts +40 -0
  121. package/dist/src/types/Policy.d.ts.map +1 -0
  122. package/dist/src/types/Policy.js +48 -0
  123. package/dist/src/types/Policy.js.map +1 -0
  124. package/dist/src/types/ReferenceMaterial.d.ts +2 -0
  125. package/dist/src/types/ReferenceMaterial.d.ts.map +1 -1
  126. package/dist/src/types/Requirement.d.ts +2 -0
  127. package/dist/src/types/Requirement.d.ts.map +1 -1
  128. package/dist/src/types/Standard.d.ts +4 -0
  129. package/dist/src/types/Standard.d.ts.map +1 -1
  130. package/dist/src/types/Subject.d.ts +11 -0
  131. package/dist/src/types/Subject.d.ts.map +1 -1
  132. package/dist/src/types/Symbol.d.ts +2 -0
  133. package/dist/src/types/Symbol.d.ts.map +1 -1
  134. package/dist/src/types/Table.d.ts +4 -0
  135. package/dist/src/types/Table.d.ts.map +1 -1
  136. package/dist/src/types/Term.d.ts +2 -0
  137. package/dist/src/types/Term.d.ts.map +1 -1
  138. package/dist/src/types/TestPointSet.d.ts +2 -0
  139. package/dist/src/types/TestPointSet.d.ts.map +1 -1
  140. package/dist/src/types/TestSequence.d.ts +2 -0
  141. package/dist/src/types/TestSequence.d.ts.map +1 -1
  142. package/dist/src/types/TrustRef.d.ts +10 -0
  143. package/dist/src/types/TrustRef.d.ts.map +1 -0
  144. package/dist/src/types/TrustRef.js +28 -0
  145. package/dist/src/types/TrustRef.js.map +1 -0
  146. package/dist/src/types/Verdict.d.ts +2 -0
  147. package/dist/src/types/Verdict.d.ts.map +1 -1
  148. package/dist/src/types/process.d.ts +2 -0
  149. package/dist/src/types/process.d.ts.map +1 -1
  150. package/dist-browser/index.mjs +1556 -1253
  151. package/dist-cli/primmel.mjs +1047 -9
  152. package/package.json +1 -1
@@ -70,6 +70,8 @@ interface Calculation {
70
70
  }[];
71
71
  /** The unified typed references (docs/primmel/18). */
72
72
  refs?: import('./Ref').Ref[];
73
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
74
+ correspondences?: import('./Correspondence').Correspondence[];
73
75
  ref: Reference[];
74
76
  }
75
77
  export default Calculation;
@@ -1 +1 @@
1
- {"version":3,"file":"Calculation.d.ts","sourceRoot":"","sources":["../../../src/types/Calculation.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AACtC,OAAO,SAAS,MAAM,aAAa,CAAC;AAEpC,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,gDAAgD;IAChD,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;KAAE,GAAG,IAAI,CAAC;CACzE;AAED,UAAU,WAAW;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oFAAoF;IACpF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0BAA0B;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,gCAAgC;IAChC,MAAM,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAClC,gFAAgF;IAChF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sEAAsE;IACtE,SAAS,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACtE;;wDAEoD;IACpD,UAAU,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClE,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,GAAG,EAAE,SAAS,EAAE,CAAC;CAClB;AAED,eAAe,WAAW,CAAC;AAE3B,MAAM,MAAM,qBAAqB,GAAG,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC"}
1
+ {"version":3,"file":"Calculation.d.ts","sourceRoot":"","sources":["../../../src/types/Calculation.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AACtC,OAAO,SAAS,MAAM,aAAa,CAAC;AAEpC,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,gDAAgD;IAChD,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;KAAE,GAAG,IAAI,CAAC;CACzE;AAED,UAAU,WAAW;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oFAAoF;IACpF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0BAA0B;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,gCAAgC;IAChC,MAAM,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAClC,gFAAgF;IAChF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sEAAsE;IACtE,SAAS,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACtE;;wDAEoD;IACpD,UAAU,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClE,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D,GAAG,EAAE,SAAS,EAAE,CAAC;CAClB;AAED,eAAe,WAAW,CAAC;AAE3B,MAAM,MAAM,qBAAqB,GAAG,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC"}
@@ -22,6 +22,8 @@ export default interface CompetenceKind {
22
22
  sourceRefs?: SourceRef[];
23
23
  /** The unified typed references (docs/primmel/18). */
24
24
  refs?: import('./Ref').Ref[];
25
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
26
+ correspondences?: import('./Correspondence').Correspondence[];
25
27
  /** Method-standard ids recognized for this kind (the resolution registry
26
28
  * for `method_standard` references on required_competence /
27
29
  * accreditation_scope entries — e.g. iec-61000-4-4). */
@@ -1 +1 @@
1
- {"version":3,"file":"CompetenceKind.d.ts","sourceRoot":"","sources":["../../../src/types/CompetenceKind.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,OAAO,WAAW,cAAc;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,sEAAsE;IACtE,UAAU,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B;;6DAEyD;IACzD,eAAe,EAAE,cAAc,EAAE,CAAC;CACnC;AAED,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb;;4EAEwE;IACxE,KAAK,EAAE,eAAe,GAAG,IAAI,CAAC;IAC9B;2EACuE;IACvE,cAAc,EAAE,MAAM,CAAC;IACvB;oDACgD;IAChD,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACtC;oDACgD;IAChD,SAAS,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACrC,8DAA8D;IAC9D,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,0EAA0E;AAC1E,MAAM,WAAW,eAAe;IAC9B,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAC5B,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd"}
1
+ {"version":3,"file":"CompetenceKind.d.ts","sourceRoot":"","sources":["../../../src/types/CompetenceKind.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,OAAO,WAAW,cAAc;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,sEAAsE;IACtE,UAAU,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D;;6DAEyD;IACzD,eAAe,EAAE,cAAc,EAAE,CAAC;CACnC;AAED,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb;;4EAEwE;IACxE,KAAK,EAAE,eAAe,GAAG,IAAI,CAAC;IAC9B;2EACuE;IACvE,cAAc,EAAE,MAAM,CAAC;IACvB;oDACgD;IAChD,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACtC;oDACgD;IAChD,SAAS,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACrC,8DAA8D;IAC9D,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,0EAA0E;AAC1E,MAAM,WAAW,eAAe;IAC9B,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAC5B,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd"}
@@ -141,6 +141,8 @@ export default interface ConformanceTest {
141
141
  /** The unified typed references/relations (spec: docs/primmel/18) —
142
142
  * `ref <predicate> "<target>"` lines on the test. */
143
143
  refs?: import('./Ref').Ref[];
144
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
145
+ correspondences?: import('./Correspondence').Correspondence[];
144
146
  targets: string[];
145
147
  /** Inspection/verification targets in the subject's HAS inventory
146
148
  * (TODO.roadmap/47) — the same canonical path vocabulary as
@@ -1 +1 @@
1
- {"version":3,"file":"ConformanceTest.d.ts","sourceRoot":"","sources":["../../../src/types/ConformanceTest.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,UAAU,MAAM,UAAU,CAAC;AACvC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AAEzD,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,oCAAoC;IACpC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,kBAAkB;IACjC,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,GAAG,EAAE,MAAM,CAAC;IACZ,+EAA+E;IAC/E,UAAU,EAAE,MAAM,CAAC;IACnB,iGAAiG;IACjG,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,+EAA+E;IAC/E,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,2FAA2F;IAC3F,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;CACvC;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,4CAA4C;AAC5C,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,4BAA4B;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,mFAAmF;IACnF,iBAAiB,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC9C;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,yEAAyE;IACzE,WAAW,EAAE,MAAM,CAAC;IACpB;;;qEAGiE;IACjE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,qEAAqE;IACrE,EAAE,EAAE,MAAM,CAAC;IACX,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;CACzD;AAED,MAAM,CAAC,OAAO,WAAW,eAAe;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oDAAoD;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,SAAS,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACtE;;wDAEoD;IACpD,UAAU,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClE;0DACsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;2EAGuE;IACvE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wEAAwE;IACxE,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACjC,iEAAiE;IACjE,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;IAEvB,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,+DAA+D;IAC/D,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,oFAAoF;IACpF,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,kDAAkD;IAClD,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B;;;sEAGkE;IAClE,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;IAC5C,kBAAkB,EAAE,mBAAmB,EAAE,CAAC;IAC1C,6DAA6D;IAC7D,sBAAsB,EAAE,MAAM,CAAC;IAC/B,6BAA6B,EAAE,MAAM,CAAC;IACtC,kDAAkD;IAClD,gBAAgB,EAAE,MAAM,CAAC;IACzB,+EAA+E;IAC/E,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,kEAAkE;IAClE,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACtC,sDAAsD;IACtD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,qDAAqD;IACrD,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,yEAAyE;IACzE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC7C;AAED,YAAY,EAAE,SAAS,EAAE,CAAC"}
1
+ {"version":3,"file":"ConformanceTest.d.ts","sourceRoot":"","sources":["../../../src/types/ConformanceTest.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,UAAU,MAAM,UAAU,CAAC;AACvC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AAEzD,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,oCAAoC;IACpC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,kBAAkB;IACjC,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,GAAG,EAAE,MAAM,CAAC;IACZ,+EAA+E;IAC/E,UAAU,EAAE,MAAM,CAAC;IACnB,iGAAiG;IACjG,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,+EAA+E;IAC/E,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,2FAA2F;IAC3F,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;CACvC;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,4CAA4C;AAC5C,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,4BAA4B;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,mFAAmF;IACnF,iBAAiB,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC9C;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,yEAAyE;IACzE,WAAW,EAAE,MAAM,CAAC;IACpB;;;qEAGiE;IACjE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,qEAAqE;IACrE,EAAE,EAAE,MAAM,CAAC;IACX,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;CACzD;AAED,MAAM,CAAC,OAAO,WAAW,eAAe;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oDAAoD;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,SAAS,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACtE;;wDAEoD;IACpD,UAAU,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClE;0DACsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;2EAGuE;IACvE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wEAAwE;IACxE,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACjC,iEAAiE;IACjE,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;IAEvB,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,+DAA+D;IAC/D,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,oFAAoF;IACpF,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,kDAAkD;IAClD,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B;;;sEAGkE;IAClE,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;IAC5C,kBAAkB,EAAE,mBAAmB,EAAE,CAAC;IAC1C,6DAA6D;IAC7D,sBAAsB,EAAE,MAAM,CAAC;IAC/B,6BAA6B,EAAE,MAAM,CAAC;IACtC,kDAAkD;IAClD,gBAAgB,EAAE,MAAM,CAAC;IACzB,+EAA+E;IAC/E,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,kEAAkE;IAClE,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACtC,sDAAsD;IACtD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,qDAAqD;IACrD,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,yEAAyE;IACzE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC7C;AAED,YAAY,EAAE,SAAS,EAAE,CAAC"}
@@ -33,5 +33,7 @@ export default interface Constraint {
33
33
  sourceRefs?: SourceRef[];
34
34
  /** The unified typed references (docs/primmel/18). */
35
35
  refs?: import('./Ref').Ref[];
36
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
37
+ correspondences?: import('./Correspondence').Correspondence[];
36
38
  }
37
39
  //# sourceMappingURL=Constraint.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"Constraint.d.ts","sourceRoot":"","sources":["../../../src/types/Constraint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,OAAO,WAAW,UAAU;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,mEAAmE;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb;kEAC8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd;;wCAEoC;IACpC,gBAAgB,EAAE,MAAM,CAAC;IACzB;;uBAEmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,gDAAgD;IAChD,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;CAC9B"}
1
+ {"version":3,"file":"Constraint.d.ts","sourceRoot":"","sources":["../../../src/types/Constraint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,OAAO,WAAW,UAAU;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,mEAAmE;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb;kEAC8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd;;wCAEoC;IACpC,gBAAgB,EAAE,MAAM,CAAC;IACzB;;uBAEmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,gDAAgD;IAChD,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D"}
@@ -0,0 +1,27 @@
1
+ /** One projection-steering declaration: the named expression codec's
2
+ * input, authored once in the model. */
3
+ export interface CorrespondenceProjection {
4
+ /** The expression codec the payload addresses — the program's register
5
+ * (`odrl`, `aas-submodel`, `dpp-attribute`, `vc-claim`, ...). The
6
+ * language carries the token untyped. */
7
+ codec: string;
8
+ /** The codec's steering input: an open key-value payload, stored
9
+ * untyped and validated by the codec at export time, never by the
10
+ * language. */
11
+ entries: Array<{
12
+ key: string;
13
+ value: string;
14
+ }>;
15
+ }
16
+ /** One correspondence of the enclosing element to an external concept. */
17
+ export interface Correspondence {
18
+ /** The external scheme register the concept identifier belongs to
19
+ * (`iec-cdd`, `dpp`, `vc-claims`, ...) — data, not a keyword. */
20
+ scheme: string;
21
+ /** The concept identifier in the scheme's own addressing — opaque to
22
+ * the model. */
23
+ concept: string;
24
+ /** The projection-steering declarations, one per codec. */
25
+ projections: CorrespondenceProjection[];
26
+ }
27
+ //# sourceMappingURL=Correspondence.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Correspondence.d.ts","sourceRoot":"","sources":["../../../src/types/Correspondence.ts"],"names":[],"mappings":"AAqBA;yCACyC;AACzC,MAAM,WAAW,wBAAwB;IACvC;;8CAE0C;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd;;oBAEgB;IAChB,OAAO,EAAE,KAAK,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAChD;AAED,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B;sEACkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf;qBACiB;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,WAAW,EAAE,wBAAwB,EAAE,CAAC;CACzC"}
@@ -0,0 +1,23 @@
1
+ "use strict";
2
+ // ─────────────────────────────────────────────────────────────────────
3
+ // The correspondence annotation (MN 114 v3.1, clause 19.4;
4
+ // TODO.primmel/10): the generalized per-node maps-to declaration —
5
+ //
6
+ // corresponds iec-cdd "0112/2///61987#ABA001"
7
+ // corresponds dpp "attr:moistureLimit" {
8
+ // projection dpp-attribute { path "identity.moistureLimit" }
9
+ // }
10
+ //
11
+ // Correspondence (maps-to) is not import (is-defined-by): the entry names
12
+ // the external concept in the scheme's own addressing (an IRDI, a URI, a
13
+ // claim name) and steers the expression codecs; the concept's semantics
14
+ // never enter the model. A program declares its correspondences ONCE, in
15
+ // the model, and every bridge consumes them instead of its own hand
16
+ // mapping.
17
+ //
18
+ // The CDD IRDI facet of an attribute definition (`irdi`) remains as the
19
+ // legacy single-scheme spelling of `corresponds iec-cdd`; when both are
20
+ // present they must name the same concept (C108).
21
+ // ─────────────────────────────────────────────────────────────────────
22
+ Object.defineProperty(exports, "__esModule", { value: true });
23
+ //# sourceMappingURL=Correspondence.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Correspondence.js","sourceRoot":"","sources":["../../../src/types/Correspondence.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,2DAA2D;AAC3D,mEAAmE;AACnE,EAAE;AACF,gDAAgD;AAChD,2CAA2C;AAC3C,iEAAiE;AACjE,MAAM;AACN,EAAE;AACF,0EAA0E;AAC1E,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,oEAAoE;AACpE,WAAW;AACX,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,kDAAkD;AAClD,wEAAwE"}
@@ -0,0 +1,60 @@
1
+ import type { SourceRef } from './Subject';
2
+ import type { TrustRef } from './TrustRef';
3
+ /** One participant class: a kind of organization the dataspace admits,
4
+ * declared here in the dataspace, not referenced. */
5
+ export interface DataspaceParticipantClass {
6
+ id: string;
7
+ label: string;
8
+ description: string;
9
+ }
10
+ /** One artifact class: a kind of model-defined content the dataspace
11
+ * exchanges. */
12
+ export interface DataspaceArtifactClass {
13
+ id: string;
14
+ label: string;
15
+ description: string;
16
+ /** The model element defining the class's content: an artifact
17
+ * definition, a form, or a data class id ('' when undeclared; C104
18
+ * resolves it when present). */
19
+ element: string;
20
+ /** The per-class policy override ('' when the class inherits the
21
+ * dataspace's default_policy; C104 resolves it when present). */
22
+ policy: string;
23
+ }
24
+ /** One trust anchor: the trust-plane identity the dataspace's exchanges
25
+ * root in (the trust_ref resolution contract: types/TrustRef.ts). */
26
+ export interface DataspaceTrustAnchor {
27
+ id: string;
28
+ /** The anchor's trust reference; null when undeclared (C105 flags it —
29
+ * an anchor without its reference anchors nothing). */
30
+ trustRef: TrustRef | null;
31
+ /** The anchor's function (the program's register: registry, issuer,
32
+ * notary, ...), '' when undeclared. */
33
+ role: string;
34
+ description: string;
35
+ }
36
+ export default interface Dataspace {
37
+ id: string;
38
+ name: string;
39
+ description: string;
40
+ participantClasses: DataspaceParticipantClass[];
41
+ artifactClasses: DataspaceArtifactClass[];
42
+ /** The dataspace's policy register: the policy sets it carries, by
43
+ * identifier (C104 resolves each). */
44
+ policies: string[];
45
+ /** The standing policy every artifact class inherits (a class's own
46
+ * `policy` facet overrides it); '' when undeclared. */
47
+ defaultPolicy: string;
48
+ trustAnchors: DataspaceTrustAnchor[];
49
+ /** The declared compatibility register: identifiers of other
50
+ * dataspaces. Compatibility is always explicit, never inferred. */
51
+ compatibleWith: string[];
52
+ /** The governance citations (the scheme documents' clauses); the
53
+ * canonical `ref derives-from` form folds here. C106 warns when a
54
+ * dataspace carries none. */
55
+ source: SourceRef | null;
56
+ sourceRefs: SourceRef[];
57
+ refs?: import('./Ref').Ref[];
58
+ correspondences?: import('./Correspondence').Correspondence[];
59
+ }
60
+ //# sourceMappingURL=Dataspace.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Dataspace.d.ts","sourceRoot":"","sources":["../../../src/types/Dataspace.ts"],"names":[],"mappings":"AAkCA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C;sDACsD;AACtD,MAAM,WAAW,yBAAyB;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;iBACiB;AACjB,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB;;qCAEiC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB;sEACkE;IAClE,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;sEACsE;AACtE,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX;4DACwD;IACxD,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC1B;4CACwC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,CAAC,OAAO,WAAW,SAAS;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,EAAE,yBAAyB,EAAE,CAAC;IAChD,eAAe,EAAE,sBAAsB,EAAE,CAAC;IAC1C;2CACuC;IACvC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;4DACwD;IACxD,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;wEACoE;IACpE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB;;kCAE8B;IAC9B,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D"}
@@ -0,0 +1,36 @@
1
+ "use strict";
2
+ // ─────────────────────────────────────────────────────────────────────
3
+ // The dataspace construct (MN 114 v3.1, clause 19.1; TODO.primmel/10):
4
+ // the dataspace DEFINITION as a model object —
5
+ //
6
+ // dataspace bfs-exchange {
7
+ // name "Bean freshness exchange"
8
+ // participant_class certification-body { label "..." description "..." }
9
+ // artifact_class evaluation-report {
10
+ // label "Evaluation report"
11
+ // element /art/evaluation-report // the content's model definition
12
+ // policy restricted-exchange // the per-class policy override
13
+ // }
14
+ // policies { public-access restricted-exchange }
15
+ // default_policy restricted-exchange
16
+ // trust_anchor scheme-registry {
17
+ // trust_ref bfs-scheme-op key bfs-2026-root
18
+ // role registry
19
+ // }
20
+ // compatible_with { allied-scheme-exchange }
21
+ // ref derives-from "urn:example:bfs:2026#clause-5.1"
22
+ // }
23
+ //
24
+ // The semantics are Primmel's own, self-contained: the participant
25
+ // classes, the artifact classes, the policy sets by reference, the trust
26
+ // anchors, and the clause-cited governance. The dataspace-protocol /
27
+ // IDS alignment is the consumer's EXPRESSION layer (a projection codec),
28
+ // never an input dependency (clause 19.5). The construct is a
29
+ // declaration: the exchange and enforcement machinery belongs to the
30
+ // runtime platform, never to the language.
31
+ //
32
+ // Checker: C104 (references resolve), C105 (trust-anchor shape), C106
33
+ // (governance provenance).
34
+ // ─────────────────────────────────────────────────────────────────────
35
+ Object.defineProperty(exports, "__esModule", { value: true });
36
+ //# sourceMappingURL=Dataspace.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Dataspace.js","sourceRoot":"","sources":["../../../src/types/Dataspace.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,uEAAuE;AACvE,+CAA+C;AAC/C,EAAE;AACF,6BAA6B;AAC7B,qCAAqC;AACrC,6EAA6E;AAC7E,yCAAyC;AACzC,kCAAkC;AAClC,8EAA8E;AAC9E,6EAA6E;AAC7E,QAAQ;AACR,qDAAqD;AACrD,yCAAyC;AACzC,qCAAqC;AACrC,kDAAkD;AAClD,sBAAsB;AACtB,QAAQ;AACR,iDAAiD;AACjD,yDAAyD;AACzD,MAAM;AACN,EAAE;AACF,mEAAmE;AACnE,yEAAyE;AACzE,qEAAqE;AACrE,yEAAyE;AACzE,8DAA8D;AAC9D,qEAAqE;AACrE,2CAA2C;AAC3C,EAAE;AACF,sEAAsE;AACtE,2BAA2B;AAC3B,wEAAwE"}
@@ -98,6 +98,9 @@ export interface FormField {
98
98
  /** The unified typed references/relations (spec: docs/primmel/18) —
99
99
  * `ref <predicate> "<target>"` lines on the field. */
100
100
  refs: import('./Ref').Ref[];
101
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4) — the
102
+ * field-level mappings the DPP-attribute / VC-claim codecs consume. */
103
+ correspondences?: import('./Correspondence').Correspondence[];
101
104
  /** Structured provenance (the derives-from fold target, spec
102
105
  * docs/primmel/18 §18.4) — a field may cite several clauses. */
103
106
  sourceRefs?: SourceRef[];
@@ -190,6 +193,8 @@ interface Form {
190
193
  /** The unified typed references/relations (spec: docs/primmel/18) —
191
194
  * `ref <predicate> "<target>"` lines on the form. */
192
195
  refs?: import('./Ref').Ref[];
196
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
197
+ correspondences?: import('./Correspondence').Correspondence[];
193
198
  /** Calculation context for evaluated fields. */
194
199
  calculationContext: FormCalculationContext | null;
195
200
  /** Named form instances. */
@@ -1 +1 @@
1
- {"version":3,"file":"Form.d.ts","sourceRoot":"","sources":["../../../src/types/Form.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AACtC,OAAO,SAAS,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,EAAE,CAAC;IAEjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,KAAK,EAAE,KAAK,GAAG,KAAK,GAAG,OAAO,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,kEAAkE;IAClE,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,iCAAiC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,iBAAiB,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC9C;AAED,2EAA2E;AAC3E,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,mFAAmF;IACnF,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,mEAAmE;IACnE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,+EAA+E;IAC/E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,wDAAwD;IACxD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,+DAA+D;IAC/D,SAAS,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,gCAAgC;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB;;;8EAG0E;IAC1E,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC;IAClC,4EAA4E;IAC5E,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,iCAAiC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB;gEAC4D;IAC5D,UAAU,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7D,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;2DACuD;IACvD,IAAI,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC5B;qEACiE;IACjE,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,0CAA0C;IAC1C,eAAe,EAAE,aAAa,EAAE,CAAC;IACjC,gEAAgE;IAChE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,wEAAwE;IACxE,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAE5C,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0EAA0E;IAC1E,MAAM,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC3B;oFACgF;IAChF,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAElC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;CAC/B;AAED,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,aAAa,EAAE,kBAAkB,EAAE,CAAC;CACrC;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,0DAA0D;IAC1D,WAAW,EAAE,kBAAkB,EAAE,CAAC;CACnC;AAED,sEAAsE;AACtE,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,uDAAuD;AACvD,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;CACd;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED;;;;;GAKG;AACH,UAAU,IAAI;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qEAAqE;IACrE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,8CAA8C;IAC9C,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,UAAU,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD,0CAA0C;IAC1C,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC;0DACsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,gDAAgD;IAChD,kBAAkB,EAAE,sBAAsB,GAAG,IAAI,CAAC;IAClD,4BAA4B;IAC5B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,8CAA8C;IAC9C,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,GAAG,EAAE,SAAS,EAAE,CAAC;CAClB;AAED,eAAe,IAAI,CAAC;AAEpB,MAAM,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC"}
1
+ {"version":3,"file":"Form.d.ts","sourceRoot":"","sources":["../../../src/types/Form.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AACtC,OAAO,SAAS,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,EAAE,CAAC;IAEjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,KAAK,EAAE,KAAK,GAAG,KAAK,GAAG,OAAO,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,kEAAkE;IAClE,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,iCAAiC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,iBAAiB,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC9C;AAED,2EAA2E;AAC3E,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,mFAAmF;IACnF,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,mEAAmE;IACnE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,+EAA+E;IAC/E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,wDAAwD;IACxD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,+DAA+D;IAC/D,SAAS,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,gCAAgC;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB;;;8EAG0E;IAC1E,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC;IAClC,4EAA4E;IAC5E,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,iCAAiC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB;gEAC4D;IAC5D,UAAU,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7D,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;2DACuD;IACvD,IAAI,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC5B;4EACwE;IACxE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D;qEACiE;IACjE,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,0CAA0C;IAC1C,eAAe,EAAE,aAAa,EAAE,CAAC;IACjC,gEAAgE;IAChE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,wEAAwE;IACxE,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAE5C,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0EAA0E;IAC1E,MAAM,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC3B;oFACgF;IAChF,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAElC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;CAC/B;AAED,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,aAAa,EAAE,kBAAkB,EAAE,CAAC;CACrC;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,0DAA0D;IAC1D,WAAW,EAAE,kBAAkB,EAAE,CAAC;CACnC;AAED,sEAAsE;AACtE,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,uDAAuD;AACvD,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;CACd;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED;;;;;GAKG;AACH,UAAU,IAAI;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qEAAqE;IACrE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,8CAA8C;IAC9C,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,UAAU,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD,0CAA0C;IAC1C,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC;0DACsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D,gDAAgD;IAChD,kBAAkB,EAAE,sBAAsB,GAAG,IAAI,CAAC;IAClD,4BAA4B;IAC5B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,8CAA8C;IAC9C,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,GAAG,EAAE,SAAS,EAAE,CAAC;CAClB;AAED,eAAe,IAAI,CAAC;AAEpB,MAAM,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC"}
@@ -93,5 +93,7 @@ export interface FormulasUsed {
93
93
  sourceRefs: SourceRef[];
94
94
  /** The unified typed references (docs/primmel/18). */
95
95
  refs?: import('./Ref').Ref[];
96
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
97
+ correspondences?: import('./Correspondence').Correspondence[];
96
98
  }
97
99
  //# sourceMappingURL=FormulasUsed.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"FormulasUsed.d.ts","sourceRoot":"","sources":["../../../src/types/FormulasUsed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,QAAsB,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;;;OAOG;IACH,EAAE,EAAE,MAAM,CAAC;IACX,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,+EAA+E;IAC/E,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;CAC9B"}
1
+ {"version":3,"file":"FormulasUsed.d.ts","sourceRoot":"","sources":["../../../src/types/FormulasUsed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,QAAsB,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;;;OAOG;IACH,EAAE,EAAE,MAAM,CAAC;IACX,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,+EAA+E;IAC/E,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D"}
@@ -101,6 +101,10 @@ export interface PackageManifest {
101
101
  * docs/primmel/18) — `ref <predicate> "<target>"` lines at package
102
102
  * level (edition lineage, cross-model implements/equivalent). */
103
103
  refs?: import('./Ref').Ref[];
104
+ /** The package-level correspondence annotations (MN 114 v3.1, clause
105
+ * 19.4): the model-to-external-register alignments every bridge
106
+ * consumes. */
107
+ correspondences?: import('./Correspondence').Correspondence[];
104
108
  /**
105
109
  * Certification program packages only (TODO.v2/01,
106
110
  * twin-certification-design Q4): the program's self-classification
@@ -1 +1 @@
1
- {"version":3,"file":"Package.d.ts","sourceRoot":"","sources":["../../../src/types/Package.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,CAAC;AAE/E;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,GACrB,MAAM,GAAG,QAAQ,GAAG,KAAK,GAAG,mBAAmB,GAAG,uBAAuB,CAAC;AAE5E,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;;;;;;;;;;;OAgBG;IACH,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,4DAA4D;IAC5D,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB;;sEAEkE;IAClE,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,4EAA4E;IAC5E,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,8DAA8D;IAC9D,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC;CAC9B"}
1
+ {"version":3,"file":"Package.d.ts","sourceRoot":"","sources":["../../../src/types/Package.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,CAAC;AAE/E;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,GACrB,MAAM,GAAG,QAAQ,GAAG,KAAK,GAAG,mBAAmB,GAAG,uBAAuB,CAAC;AAE5E,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;;;;;;;;;;;OAgBG;IACH,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,4DAA4D;IAC5D,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB;;sEAEkE;IAClE,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B;;oBAEgB;IAChB,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,4EAA4E;IAC5E,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,8DAA8D;IAC9D,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC;CAC9B"}
@@ -0,0 +1,40 @@
1
+ import type { SourceRef } from './Subject';
2
+ /** The closed rule-kind vocabulary (parse-enforced). */
3
+ export declare const POLICY_RULE_KINDS: readonly ["permission", "obligation", "prohibition"];
4
+ /** One rule of the set. */
5
+ export interface PolicyRule {
6
+ id: string;
7
+ /** permission | obligation | prohibition (parse-enforced). */
8
+ kind: string;
9
+ /** The governed action (the program's action register; '' is a C107
10
+ * finding — a rule without its action says nothing). */
11
+ action: string;
12
+ /** The artifact class the rule constrains ('' = every governed class;
13
+ * when present it names one class of the policy's governs register,
14
+ * C107). */
15
+ artifact: string;
16
+ /** The constraints on the rule's applicability, embedded expressions;
17
+ * the language stores them, the platform evaluates them. */
18
+ constraints: string[];
19
+ }
20
+ export default interface Policy {
21
+ id: string;
22
+ name: string;
23
+ description: string;
24
+ /** The artifact classes the policy governs: identifiers of artifact
25
+ * classes declared by the dataspaces of the merged model (C107
26
+ * resolves each). */
27
+ governs: string[];
28
+ /** true/false when declared, null when absent. A default-posture
29
+ * policy applies to every artifact class it governs unless the class
30
+ * overrides it; a non-default policy attaches only by explicit
31
+ * reference. Two default-posture policies never govern the same
32
+ * class (C107). */
33
+ defaultPosture: boolean | null;
34
+ rules: PolicyRule[];
35
+ source: SourceRef | null;
36
+ sourceRefs: SourceRef[];
37
+ refs?: import('./Ref').Ref[];
38
+ correspondences?: import('./Correspondence').Correspondence[];
39
+ }
40
+ //# sourceMappingURL=Policy.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Policy.d.ts","sourceRoot":"","sources":["../../../src/types/Policy.ts"],"names":[],"mappings":"AAuCA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,wDAAwD;AACxD,eAAO,MAAM,iBAAiB,sDAIpB,CAAC;AAEX,2BAA2B;AAC3B,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAC;IACb;6DACyD;IACzD,MAAM,EAAE,MAAM,CAAC;IACf;;iBAEa;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB;iEAC6D;IAC7D,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,CAAC,OAAO,WAAW,MAAM;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB;;0BAEsB;IACtB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;wBAIoB;IACpB,cAAc,EAAE,OAAO,GAAG,IAAI,CAAC;IAC/B,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D"}
@@ -0,0 +1,48 @@
1
+ "use strict";
2
+ // ─────────────────────────────────────────────────────────────────────
3
+ // The policy construct (MN 114 v3.1, clause 19.2; TODO.primmel/10):
4
+ // a usage-policy SET as first-class model content, in Primmel's OWN
5
+ // policy grammar —
6
+ //
7
+ // policy restricted-exchange {
8
+ // name "Restricted exchange"
9
+ // description "Restricted artifact classes exchange under an active agreement only."
10
+ // default_posture true
11
+ // governs { evaluation-report }
12
+ //
13
+ // rule read-under-agreement {
14
+ // kind permission
15
+ // action read
16
+ // artifact evaluation-report
17
+ // constraint "ocl{agreement.state = #active}"
18
+ // }
19
+ // rule retain-nothing { kind prohibition action retain }
20
+ // rule log-every-access { kind obligation action log }
21
+ //
22
+ // ref derives-from "urn:example:bfs:2026#clause-6.2"
23
+ // }
24
+ //
25
+ // A policy is fully meaningful with zero external references. ODRL 2.2
26
+ // is a CODEC OUTPUT (clause 19.5): the Primmel policy exports to an ODRL
27
+ // document for the dataspace wire; the semantics are this construct's,
28
+ // never the codec's. The rule kind vocabulary is closed and
29
+ // parse-enforced (permission | obligation | prohibition): a misspelt
30
+ // kind never parses into a rule that says nothing. The action vocabulary
31
+ // is the program's register — the language carries it untyped and the
32
+ // codecs map it.
33
+ //
34
+ // A policy is a DECLARATION (the concern boundary): it states the rules
35
+ // as scheme content; the enforcement machinery belongs to the runtime
36
+ // platform.
37
+ //
38
+ // Checker: C107 (policy-shape).
39
+ // ─────────────────────────────────────────────────────────────────────
40
+ Object.defineProperty(exports, "__esModule", { value: true });
41
+ exports.POLICY_RULE_KINDS = void 0;
42
+ /** The closed rule-kind vocabulary (parse-enforced). */
43
+ exports.POLICY_RULE_KINDS = [
44
+ 'permission',
45
+ 'obligation',
46
+ 'prohibition',
47
+ ];
48
+ //# sourceMappingURL=Policy.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Policy.js","sourceRoot":"","sources":["../../../src/types/Policy.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,oEAAoE;AACpE,oEAAoE;AACpE,mBAAmB;AACnB,EAAE;AACF,iCAAiC;AACjC,iCAAiC;AACjC,yFAAyF;AACzF,2BAA2B;AAC3B,oCAAoC;AACpC,EAAE;AACF,kCAAkC;AAClC,wBAAwB;AACxB,oBAAoB;AACpB,mCAAmC;AACnC,oDAAoD;AACpD,QAAQ;AACR,6DAA6D;AAC7D,2DAA2D;AAC3D,EAAE;AACF,yDAAyD;AACzD,MAAM;AACN,EAAE;AACF,uEAAuE;AACvE,yEAAyE;AACzE,uEAAuE;AACvE,4DAA4D;AAC5D,qEAAqE;AACrE,yEAAyE;AACzE,sEAAsE;AACtE,iBAAiB;AACjB,EAAE;AACF,wEAAwE;AACxE,sEAAsE;AACtE,YAAY;AACZ,EAAE;AACF,gCAAgC;AAChC,wEAAwE;;;AAIxE,wDAAwD;AAC3C,QAAA,iBAAiB,GAAG;IAC/B,YAAY;IACZ,YAAY;IACZ,aAAa;CACL,CAAC"}
@@ -54,6 +54,8 @@ export default interface ReferenceMaterial {
54
54
  /** The unified typed references (docs/primmel/18) — semantic
55
55
  * predicates stay here; citation kinds fold onto source/sourceRefs. */
56
56
  refs?: import('./Ref').Ref[];
57
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
58
+ correspondences?: import('./Correspondence').Correspondence[];
57
59
  identityFields: MaterialIdentityField[];
58
60
  constraints: MaterialConstraint[];
59
61
  }
@@ -1 +1 @@
1
- {"version":3,"file":"ReferenceMaterial.d.ts","sourceRoot":"","sources":["../../../src/types/ReferenceMaterial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,wEAAwE;AACxE,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,6EAA6E;AAC7E,MAAM,WAAW,0BAA0B;IACzC,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,EAAE,EAAE,MAAM,CAAC;IACX,yEAAyE;IACzE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,6DAA6D;AAC7D,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,QAAQ,EAAE,0BAA0B,GAAG,IAAI,CAAC;IAC5C,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,OAAO,WAAW,EAAE,SAAS,EAAE,CAAC;CAC9C;AAED,MAAM,CAAC,OAAO,WAAW,iBAAiB;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,yEAAyE;IACzE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB;wDACoD;IACpD,UAAU,CAAC,EAAE,OAAO,WAAW,EAAE,SAAS,EAAE,CAAC;IAC7C;4EACwE;IACxE,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,cAAc,EAAE,qBAAqB,EAAE,CAAC;IACxC,WAAW,EAAE,kBAAkB,EAAE,CAAC;CACnC"}
1
+ {"version":3,"file":"ReferenceMaterial.d.ts","sourceRoot":"","sources":["../../../src/types/ReferenceMaterial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,wEAAwE;AACxE,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,6EAA6E;AAC7E,MAAM,WAAW,0BAA0B;IACzC,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,EAAE,EAAE,MAAM,CAAC;IACX,yEAAyE;IACzE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,6DAA6D;AAC7D,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,QAAQ,EAAE,0BAA0B,GAAG,IAAI,CAAC;IAC5C,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,OAAO,WAAW,EAAE,SAAS,EAAE,CAAC;CAC9C;AAED,MAAM,CAAC,OAAO,WAAW,iBAAiB;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,yEAAyE;IACzE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB;wDACoD;IACpD,UAAU,CAAC,EAAE,OAAO,WAAW,EAAE,SAAS,EAAE,CAAC;IAC7C;4EACwE;IACxE,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D,cAAc,EAAE,qBAAqB,EAAE,CAAC;IACxC,WAAW,EAAE,kBAAkB,EAAE,CAAC;CACnC"}
@@ -96,6 +96,8 @@ export interface Requirement {
96
96
  /** The unified typed references/relations (spec: docs/primmel/18) —
97
97
  * `ref <predicate> "<target>"` lines on the requirement. */
98
98
  refs?: import('./Ref').Ref[];
99
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
100
+ correspondences?: import('./Correspondence').Correspondence[];
99
101
  referenceIds: string[];
100
102
  }
101
103
  export interface RequirementClass {
@@ -1 +1 @@
1
- {"version":3,"file":"Requirement.d.ts","sourceRoot":"","sources":["../../../src/types/Requirement.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,wEAAwE;AACxE,MAAM,WAAW,uBAAuB;IACtC,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,EAAE,EAAE,MAAM,CAAC;IACX,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC7C;AAED,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,OAAO,EAAE,uBAAuB,GAAG,IAAI,CAAC;IACxC,kEAAkE;IAClE,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACtC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC7C;AAED,0EAA0E;AAC1E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,sEAAsE;AACtE,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,kEAAkE;IAClE,KAAK,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC/B,wEAAwE;IACxE,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC;;;;;OAKG;IACH,OAAO,EAAE,MAAM,CAAC;IAChB,8CAA8C;IAC9C,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAC/B,2DAA2D;IAC3D,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,iDAAiD;IACjD,UAAU,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oFAAoF;IACpF,kBAAkB,EAAE,MAAM,CAAC;IAC3B,2DAA2D;IAC3D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,0DAA0D;IAC1D,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,iDAAiD;IACjD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC5C,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB;;wDAEoD;IACpD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB;iEAC6D;IAC7D,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,oDAAoD;IACpD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,uFAAuF;IACvF,aAAa,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACrC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB"}
1
+ {"version":3,"file":"Requirement.d.ts","sourceRoot":"","sources":["../../../src/types/Requirement.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,wEAAwE;AACxE,MAAM,WAAW,uBAAuB;IACtC,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,EAAE,EAAE,MAAM,CAAC;IACX,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC7C;AAED,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,OAAO,EAAE,uBAAuB,GAAG,IAAI,CAAC;IACxC,kEAAkE;IAClE,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACtC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC7C;AAED,0EAA0E;AAC1E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,sEAAsE;AACtE,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,kEAAkE;IAClE,KAAK,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC/B,wEAAwE;IACxE,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC;;;;;OAKG;IACH,OAAO,EAAE,MAAM,CAAC;IAChB,8CAA8C;IAC9C,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAC/B,2DAA2D;IAC3D,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,iDAAiD;IACjD,UAAU,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oFAAoF;IACpF,kBAAkB,EAAE,MAAM,CAAC;IAC3B,2DAA2D;IAC3D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,0DAA0D;IAC1D,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,iDAAiD;IACjD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC5C,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB;;wDAEoD;IACpD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB;iEAC6D;IAC7D,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,oDAAoD;IACpD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,uFAAuF;IACvF,aAAa,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACrC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB"}
@@ -31,6 +31,8 @@ import type { FormulasUsed } from './FormulasUsed';
31
31
  import type ActivityArchetype from './ActivityArchetype';
32
32
  import type { Instance } from './Instance';
33
33
  import type { Dual, QuantityRegister } from './Quantity';
34
+ import type Dataspace from './Dataspace';
35
+ import type Policy from './Policy';
34
36
  import type ReferenceMaterial from './ReferenceMaterial';
35
37
  import type { Requirement, RequirementClass } from './Requirement';
36
38
  import type { ConformanceClass } from './ConformanceClass';
@@ -117,6 +119,8 @@ export default interface Standard {
117
119
  testSequences: TestSequence[];
118
120
  formulasUsed: FormulasUsed[];
119
121
  texts: TextContent[];
122
+ dataspaces: Dataspace[];
123
+ policies: Policy[];
120
124
  root: Subprocess | null;
121
125
  }
122
126
  //# sourceMappingURL=Standard.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"Standard.d.ts","sourceRoot":"","sources":["../../../src/types/Standard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAClE,OAAO,SAAS,MAAM,UAAU,CAAC;AACjC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,UAAU,EACV,OAAO,EACR,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,WAAW,MAAM,QAAQ,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAE7C,MAAM,CAAC,OAAO,WAAW,QAAQ;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,8EAA8E;IAC9E,eAAe,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IAEzC,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,SAAS,EAAE,OAAO,EAAE,CAAC;IACrB,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,SAAS,EAAE,QAAQ,EAAE,CAAC;IAGtB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,WAAW,EAAE,CAAC;IAI5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IAGpB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,sEAAsE;IACtE,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,oEAAoE;IACpE,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;;uCAEmC;IACnC,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC;6DACyD;IACzD,UAAU,EAAE,OAAO,gBAAgB,EAAE,YAAY,EAAE,CAAC;IACpD;;wEAEoE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;;;kDAG8C;IAC9C,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IAGvC,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IAGvC,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,aAAa,EAAE,YAAY,EAAE,CAAC;IAG9B,QAAQ,EAAE,OAAO,EAAE,CAAC;IAKpB,SAAS,EAAE,QAAQ,EAAE,CAAC;IAKtB,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAItC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,EAAE,CAAC;IAKd,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IAMxC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAKtC,QAAQ,EAAE,OAAO,EAAE,CAAC;IAMpB,SAAS,EAAE,QAAQ,EAAE,CAAC;IAMtB,UAAU,EAAE,SAAS,EAAE,CAAC;IAQxB,aAAa,EAAE,YAAY,EAAE,CAAC;IAQ9B,YAAY,EAAE,YAAY,EAAE,CAAC;IAM7B,KAAK,EAAE,WAAW,EAAE,CAAC;IAErB,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;CACzB"}
1
+ {"version":3,"file":"Standard.d.ts","sourceRoot":"","sources":["../../../src/types/Standard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAClE,OAAO,SAAS,MAAM,UAAU,CAAC;AACjC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,UAAU,EACV,OAAO,EACR,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,WAAW,MAAM,QAAQ,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAE7C,MAAM,CAAC,OAAO,WAAW,QAAQ;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,8EAA8E;IAC9E,eAAe,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IAEzC,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,SAAS,EAAE,OAAO,EAAE,CAAC;IACrB,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,SAAS,EAAE,QAAQ,EAAE,CAAC;IAGtB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,WAAW,EAAE,CAAC;IAI5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IAGpB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,sEAAsE;IACtE,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,oEAAoE;IACpE,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;;uCAEmC;IACnC,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC;6DACyD;IACzD,UAAU,EAAE,OAAO,gBAAgB,EAAE,YAAY,EAAE,CAAC;IACpD;;wEAEoE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;;;kDAG8C;IAC9C,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IAGvC,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IAGvC,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,aAAa,EAAE,YAAY,EAAE,CAAC;IAG9B,QAAQ,EAAE,OAAO,EAAE,CAAC;IAKpB,SAAS,EAAE,QAAQ,EAAE,CAAC;IAKtB,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAItC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,EAAE,CAAC;IAKd,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IAMxC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAKtC,QAAQ,EAAE,OAAO,EAAE,CAAC;IAMpB,SAAS,EAAE,QAAQ,EAAE,CAAC;IAMtB,UAAU,EAAE,SAAS,EAAE,CAAC;IAQxB,aAAa,EAAE,YAAY,EAAE,CAAC;IAQ9B,YAAY,EAAE,YAAY,EAAE,CAAC;IAM7B,KAAK,EAAE,WAAW,EAAE,CAAC;IAMrB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IAEnB,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;CACzB"}
@@ -138,6 +138,8 @@ export interface Instrument {
138
138
  extends: string;
139
139
  /** The unified typed references (docs/primmel/18). */
140
140
  refs?: import('./Ref').Ref[];
141
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
142
+ correspondences?: import('./Correspondence').Correspondence[];
141
143
  sourceRefs?: import('./Subject').SourceRef[];
142
144
  /** Measurand kind the instrument measures (e.g. force). */
143
145
  measurandKind?: string;
@@ -210,6 +212,9 @@ export interface AttributeDefinition {
210
212
  /** The unified typed references (docs/primmel/18) — semantic
211
213
  * predicates stay here; citation kinds fold onto source/referenceIds. */
212
214
  refs?: import('./Ref').Ref[];
215
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4) — the
216
+ * generalization of this element's `irdi` facet to every scheme. */
217
+ correspondences?: import('./Correspondence').Correspondence[];
213
218
  }
214
219
  /** capability <id> — mixin: what the instrument CAN do (OCP mechanism). */
215
220
  export interface Capability {
@@ -226,6 +231,8 @@ export interface Capability {
226
231
  /** The unified typed references (docs/primmel/18) — citation kinds
227
232
  * fold onto referenceIds; the rest stay here. */
228
233
  refs?: import('./Ref').Ref[];
234
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
235
+ correspondences?: import('./Correspondence').Correspondence[];
229
236
  }
230
237
  /** behavior <id> — a response characteristic requirements bind to. */
231
238
  export interface Behavior {
@@ -242,6 +249,8 @@ export interface Behavior {
242
249
  /** The unified typed references (docs/primmel/18) — semantic
243
250
  * predicates stay here; citation kinds fold onto source/referenceIds. */
244
251
  refs?: import('./Ref').Ref[];
252
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
253
+ correspondences?: import('./Correspondence').Correspondence[];
245
254
  }
246
255
  /** condition_set <id> — one operating-condition tier (reference/rated/limiting). */
247
256
  export interface ConditionEntry {
@@ -269,6 +278,8 @@ export interface ConditionSet {
269
278
  * semantic predicates stay here; citation kinds fold onto
270
279
  * sources/referenceIds. */
271
280
  refs?: import('./Ref').Ref[];
281
+ /** The correspondence annotations (MN 114 v3.1, clause 19.4). */
282
+ correspondences?: import('./Correspondence').Correspondence[];
272
283
  }
273
284
  /**
274
285
  * has.characteristics entry: a symbol'd quantity derived from behavior I/O