@polintpro/proposit-core 0.5.1 → 0.5.3

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 (109) hide show
  1. package/README.md +2 -7
  2. package/dist/cli/commands/sources.d.ts.map +1 -1
  3. package/dist/cli/commands/sources.js +13 -66
  4. package/dist/cli/commands/sources.js.map +1 -1
  5. package/dist/cli/commands/variables.d.ts.map +1 -1
  6. package/dist/cli/commands/variables.js +40 -4
  7. package/dist/cli/commands/variables.js.map +1 -1
  8. package/dist/cli/config.d.ts +0 -2
  9. package/dist/cli/config.d.ts.map +1 -1
  10. package/dist/cli/config.js +0 -6
  11. package/dist/cli/config.js.map +1 -1
  12. package/dist/cli/engine.d.ts.map +1 -1
  13. package/dist/cli/engine.js +8 -35
  14. package/dist/cli/engine.js.map +1 -1
  15. package/dist/cli/import.d.ts.map +1 -1
  16. package/dist/cli/import.js +7 -6
  17. package/dist/cli/import.js.map +1 -1
  18. package/dist/cli/schemata.d.ts +0 -8
  19. package/dist/cli/schemata.d.ts.map +1 -1
  20. package/dist/cli/schemata.js +0 -10
  21. package/dist/cli/schemata.js.map +1 -1
  22. package/dist/cli/storage/sources.d.ts +3 -10
  23. package/dist/cli/storage/sources.d.ts.map +1 -1
  24. package/dist/cli/storage/sources.js +11 -94
  25. package/dist/cli/storage/sources.js.map +1 -1
  26. package/dist/lib/consts.d.ts.map +1 -1
  27. package/dist/lib/consts.js +11 -19
  28. package/dist/lib/consts.js.map +1 -1
  29. package/dist/lib/core/argument-engine.d.ts +16 -28
  30. package/dist/lib/core/argument-engine.d.ts.map +1 -1
  31. package/dist/lib/core/argument-engine.js +241 -247
  32. package/dist/lib/core/argument-engine.js.map +1 -1
  33. package/dist/lib/core/change-collector.d.ts +0 -7
  34. package/dist/lib/core/change-collector.d.ts.map +1 -1
  35. package/dist/lib/core/change-collector.js +0 -18
  36. package/dist/lib/core/change-collector.js.map +1 -1
  37. package/dist/lib/core/claim-library.d.ts +27 -0
  38. package/dist/lib/core/claim-library.d.ts.map +1 -0
  39. package/dist/lib/core/{assertion-library.js → claim-library.js} +15 -15
  40. package/dist/lib/core/claim-library.js.map +1 -0
  41. package/dist/lib/core/claim-source-library.d.ts +27 -0
  42. package/dist/lib/core/claim-source-library.d.ts.map +1 -0
  43. package/dist/lib/core/claim-source-library.js +116 -0
  44. package/dist/lib/core/claim-source-library.js.map +1 -0
  45. package/dist/lib/core/diff.d.ts +3 -7
  46. package/dist/lib/core/diff.d.ts.map +1 -1
  47. package/dist/lib/core/diff.js +14 -79
  48. package/dist/lib/core/diff.js.map +1 -1
  49. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +31 -10
  50. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -1
  51. package/dist/lib/core/interfaces/index.d.ts +1 -2
  52. package/dist/lib/core/interfaces/index.d.ts.map +1 -1
  53. package/dist/lib/core/interfaces/library.interfaces.d.ts +25 -8
  54. package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -1
  55. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +1 -29
  56. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -1
  57. package/dist/lib/core/premise-engine.d.ts +7 -8
  58. package/dist/lib/core/premise-engine.d.ts.map +1 -1
  59. package/dist/lib/core/premise-engine.js +66 -82
  60. package/dist/lib/core/premise-engine.js.map +1 -1
  61. package/dist/lib/core/variable-manager.d.ts +3 -4
  62. package/dist/lib/core/variable-manager.d.ts.map +1 -1
  63. package/dist/lib/core/variable-manager.js +11 -1
  64. package/dist/lib/core/variable-manager.js.map +1 -1
  65. package/dist/lib/index.d.ts +3 -4
  66. package/dist/lib/index.d.ts.map +1 -1
  67. package/dist/lib/index.js +3 -3
  68. package/dist/lib/index.js.map +1 -1
  69. package/dist/lib/schemata/claim.d.ts +9 -0
  70. package/dist/lib/schemata/claim.d.ts.map +1 -0
  71. package/dist/lib/schemata/{assertion.js → claim.js} +4 -4
  72. package/dist/lib/schemata/claim.js.map +1 -0
  73. package/dist/lib/schemata/index.d.ts +1 -1
  74. package/dist/lib/schemata/index.d.ts.map +1 -1
  75. package/dist/lib/schemata/index.js +1 -1
  76. package/dist/lib/schemata/index.js.map +1 -1
  77. package/dist/lib/schemata/propositional.d.ts +37 -3
  78. package/dist/lib/schemata/propositional.d.ts.map +1 -1
  79. package/dist/lib/schemata/propositional.js +32 -6
  80. package/dist/lib/schemata/propositional.js.map +1 -1
  81. package/dist/lib/schemata/source.d.ts +4 -16
  82. package/dist/lib/schemata/source.d.ts.map +1 -1
  83. package/dist/lib/schemata/source.js +7 -17
  84. package/dist/lib/schemata/source.js.map +1 -1
  85. package/dist/lib/types/checksum.d.ts +4 -6
  86. package/dist/lib/types/checksum.d.ts.map +1 -1
  87. package/dist/lib/types/diff.d.ts +1 -5
  88. package/dist/lib/types/diff.d.ts.map +1 -1
  89. package/dist/lib/types/evaluation.d.ts +1 -1
  90. package/dist/lib/types/evaluation.d.ts.map +1 -1
  91. package/dist/lib/types/mutation.d.ts +0 -3
  92. package/dist/lib/types/mutation.d.ts.map +1 -1
  93. package/dist/lib/types/reactive.d.ts +1 -3
  94. package/dist/lib/types/reactive.d.ts.map +1 -1
  95. package/package.json +1 -1
  96. package/dist/lib/core/assertion-library.d.ts +0 -27
  97. package/dist/lib/core/assertion-library.d.ts.map +0 -1
  98. package/dist/lib/core/assertion-library.js.map +0 -1
  99. package/dist/lib/core/interfaces/source-management.interfaces.d.ts +0 -63
  100. package/dist/lib/core/interfaces/source-management.interfaces.d.ts.map +0 -1
  101. package/dist/lib/core/interfaces/source-management.interfaces.js +0 -2
  102. package/dist/lib/core/interfaces/source-management.interfaces.js.map +0 -1
  103. package/dist/lib/core/source-manager.d.ts +0 -38
  104. package/dist/lib/core/source-manager.d.ts.map +0 -1
  105. package/dist/lib/core/source-manager.js +0 -266
  106. package/dist/lib/core/source-manager.js.map +0 -1
  107. package/dist/lib/schemata/assertion.d.ts +0 -9
  108. package/dist/lib/schemata/assertion.d.ts.map +0 -1
  109. package/dist/lib/schemata/assertion.js.map +0 -1
@@ -1,266 +0,0 @@
1
- /**
2
- * Registry for source associations to variables and expressions within an
3
- * argument. Source entities themselves live in SourceLibrary.
4
- */
5
- export class SourceManager {
6
- variableAssociations;
7
- expressionAssociations;
8
- sourceToAssociations;
9
- variableToAssociations;
10
- expressionToAssociations;
11
- constructor() {
12
- this.variableAssociations = new Map();
13
- this.expressionAssociations = new Map();
14
- this.sourceToAssociations = new Map();
15
- this.variableToAssociations = new Map();
16
- this.expressionToAssociations = new Map();
17
- }
18
- // -----------------------------------------------------------------------
19
- // Variable association mutations
20
- // -----------------------------------------------------------------------
21
- addVariableSourceAssociation(assoc) {
22
- if (this.variableAssociations.has(assoc.id)) {
23
- throw new Error(`Variable-source association with ID "${assoc.id}" already exists.`);
24
- }
25
- this.variableAssociations.set(assoc.id, assoc);
26
- let sourceSet = this.sourceToAssociations.get(assoc.sourceId);
27
- if (!sourceSet) {
28
- sourceSet = new Set();
29
- this.sourceToAssociations.set(assoc.sourceId, sourceSet);
30
- }
31
- sourceSet.add(assoc.id);
32
- let varSet = this.variableToAssociations.get(assoc.variableId);
33
- if (!varSet) {
34
- varSet = new Set();
35
- this.variableToAssociations.set(assoc.variableId, varSet);
36
- }
37
- varSet.add(assoc.id);
38
- }
39
- removeVariableSourceAssociation(id) {
40
- const assoc = this.variableAssociations.get(id);
41
- if (!assoc) {
42
- throw new Error(`Variable-source association "${id}" does not exist.`);
43
- }
44
- this.variableAssociations.delete(id);
45
- const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
46
- if (sourceSet) {
47
- sourceSet.delete(id);
48
- if (sourceSet.size === 0) {
49
- this.sourceToAssociations.delete(assoc.sourceId);
50
- }
51
- }
52
- const varSet = this.variableToAssociations.get(assoc.variableId);
53
- if (varSet) {
54
- varSet.delete(id);
55
- if (varSet.size === 0) {
56
- this.variableToAssociations.delete(assoc.variableId);
57
- }
58
- }
59
- return {
60
- removedVariableAssociations: [assoc],
61
- removedExpressionAssociations: [],
62
- };
63
- }
64
- // -----------------------------------------------------------------------
65
- // Expression association mutations
66
- // -----------------------------------------------------------------------
67
- addExpressionSourceAssociation(assoc) {
68
- if (this.expressionAssociations.has(assoc.id)) {
69
- throw new Error(`Expression-source association with ID "${assoc.id}" already exists.`);
70
- }
71
- this.expressionAssociations.set(assoc.id, assoc);
72
- let sourceSet = this.sourceToAssociations.get(assoc.sourceId);
73
- if (!sourceSet) {
74
- sourceSet = new Set();
75
- this.sourceToAssociations.set(assoc.sourceId, sourceSet);
76
- }
77
- sourceSet.add(assoc.id);
78
- let exprSet = this.expressionToAssociations.get(assoc.expressionId);
79
- if (!exprSet) {
80
- exprSet = new Set();
81
- this.expressionToAssociations.set(assoc.expressionId, exprSet);
82
- }
83
- exprSet.add(assoc.id);
84
- }
85
- removeExpressionSourceAssociation(id) {
86
- const assoc = this.expressionAssociations.get(id);
87
- if (!assoc) {
88
- throw new Error(`Expression-source association "${id}" does not exist.`);
89
- }
90
- this.expressionAssociations.delete(id);
91
- const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
92
- if (sourceSet) {
93
- sourceSet.delete(id);
94
- if (sourceSet.size === 0) {
95
- this.sourceToAssociations.delete(assoc.sourceId);
96
- }
97
- }
98
- const exprSet = this.expressionToAssociations.get(assoc.expressionId);
99
- if (exprSet) {
100
- exprSet.delete(id);
101
- if (exprSet.size === 0) {
102
- this.expressionToAssociations.delete(assoc.expressionId);
103
- }
104
- }
105
- return {
106
- removedVariableAssociations: [],
107
- removedExpressionAssociations: [assoc],
108
- };
109
- }
110
- // -----------------------------------------------------------------------
111
- // Bulk association removal
112
- // -----------------------------------------------------------------------
113
- removeAssociationsForVariable(variableId) {
114
- const assocIds = this.variableToAssociations.get(variableId);
115
- if (!assocIds || assocIds.size === 0) {
116
- return {
117
- removedVariableAssociations: [],
118
- removedExpressionAssociations: [],
119
- };
120
- }
121
- const removedVariableAssociations = [];
122
- for (const assocId of assocIds) {
123
- const assoc = this.variableAssociations.get(assocId);
124
- if (!assoc)
125
- continue;
126
- this.variableAssociations.delete(assocId);
127
- const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
128
- if (sourceSet) {
129
- sourceSet.delete(assocId);
130
- if (sourceSet.size === 0) {
131
- this.sourceToAssociations.delete(assoc.sourceId);
132
- }
133
- }
134
- removedVariableAssociations.push(assoc);
135
- }
136
- this.variableToAssociations.delete(variableId);
137
- return {
138
- removedVariableAssociations,
139
- removedExpressionAssociations: [],
140
- };
141
- }
142
- removeAssociationsForExpression(expressionId) {
143
- const assocIds = this.expressionToAssociations.get(expressionId);
144
- if (!assocIds || assocIds.size === 0) {
145
- return {
146
- removedVariableAssociations: [],
147
- removedExpressionAssociations: [],
148
- };
149
- }
150
- const removedExpressionAssociations = [];
151
- for (const assocId of assocIds) {
152
- const assoc = this.expressionAssociations.get(assocId);
153
- if (!assoc)
154
- continue;
155
- this.expressionAssociations.delete(assocId);
156
- const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
157
- if (sourceSet) {
158
- sourceSet.delete(assocId);
159
- if (sourceSet.size === 0) {
160
- this.sourceToAssociations.delete(assoc.sourceId);
161
- }
162
- }
163
- removedExpressionAssociations.push(assoc);
164
- }
165
- this.expressionToAssociations.delete(expressionId);
166
- return {
167
- removedVariableAssociations: [],
168
- removedExpressionAssociations,
169
- };
170
- }
171
- // -----------------------------------------------------------------------
172
- // Queries
173
- // -----------------------------------------------------------------------
174
- getAssociationsForSource(sourceId) {
175
- const assocIds = this.sourceToAssociations.get(sourceId);
176
- if (!assocIds)
177
- return { variable: [], expression: [] };
178
- const variable = [];
179
- const expression = [];
180
- for (const assocId of assocIds) {
181
- const varAssoc = this.variableAssociations.get(assocId);
182
- if (varAssoc) {
183
- variable.push(varAssoc);
184
- continue;
185
- }
186
- const exprAssoc = this.expressionAssociations.get(assocId);
187
- if (exprAssoc)
188
- expression.push(exprAssoc);
189
- }
190
- return { variable, expression };
191
- }
192
- getAssociationsForVariable(variableId) {
193
- const assocIds = this.variableToAssociations.get(variableId);
194
- if (!assocIds)
195
- return [];
196
- const result = [];
197
- for (const assocId of assocIds) {
198
- const assoc = this.variableAssociations.get(assocId);
199
- if (assoc)
200
- result.push(assoc);
201
- }
202
- return result;
203
- }
204
- getAssociationsForExpression(expressionId) {
205
- const assocIds = this.expressionToAssociations.get(expressionId);
206
- if (!assocIds)
207
- return [];
208
- const result = [];
209
- for (const assocId of assocIds) {
210
- const assoc = this.expressionAssociations.get(assocId);
211
- if (assoc)
212
- result.push(assoc);
213
- }
214
- return result;
215
- }
216
- getAllVariableSourceAssociations() {
217
- return Array.from(this.variableAssociations.values());
218
- }
219
- getAllExpressionSourceAssociations() {
220
- return Array.from(this.expressionAssociations.values());
221
- }
222
- // -----------------------------------------------------------------------
223
- // Snapshot & restoration
224
- // -----------------------------------------------------------------------
225
- snapshot() {
226
- return {
227
- variableSourceAssociations: Array.from(this.variableAssociations.values()).sort((a, b) => a.id.localeCompare(b.id)),
228
- expressionSourceAssociations: Array.from(this.expressionAssociations.values()).sort((a, b) => a.id.localeCompare(b.id)),
229
- };
230
- }
231
- static fromSnapshot(data) {
232
- const sm = new SourceManager();
233
- for (const assoc of data.variableSourceAssociations) {
234
- sm.variableAssociations.set(assoc.id, assoc);
235
- let sourceSet = sm.sourceToAssociations.get(assoc.sourceId);
236
- if (!sourceSet) {
237
- sourceSet = new Set();
238
- sm.sourceToAssociations.set(assoc.sourceId, sourceSet);
239
- }
240
- sourceSet.add(assoc.id);
241
- let varSet = sm.variableToAssociations.get(assoc.variableId);
242
- if (!varSet) {
243
- varSet = new Set();
244
- sm.variableToAssociations.set(assoc.variableId, varSet);
245
- }
246
- varSet.add(assoc.id);
247
- }
248
- for (const assoc of data.expressionSourceAssociations) {
249
- sm.expressionAssociations.set(assoc.id, assoc);
250
- let sourceSet = sm.sourceToAssociations.get(assoc.sourceId);
251
- if (!sourceSet) {
252
- sourceSet = new Set();
253
- sm.sourceToAssociations.set(assoc.sourceId, sourceSet);
254
- }
255
- sourceSet.add(assoc.id);
256
- let exprSet = sm.expressionToAssociations.get(assoc.expressionId);
257
- if (!exprSet) {
258
- exprSet = new Set();
259
- sm.expressionToAssociations.set(assoc.expressionId, exprSet);
260
- }
261
- exprSet.add(assoc.id);
262
- }
263
- return sm;
264
- }
265
- }
266
- //# sourceMappingURL=source-manager.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"source-manager.js","sourceRoot":"","sources":["../../../src/lib/core/source-manager.ts"],"names":[],"mappings":"AAeA;;;GAGG;AACH,MAAM,OAAO,aAAa;IACd,oBAAoB,CAA6C;IACjE,sBAAsB,CAG7B;IACO,oBAAoB,CAA0B;IAC9C,sBAAsB,CAA0B;IAChD,wBAAwB,CAA0B;IAE1D;QACI,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,IAAI,CAAC,sBAAsB,GAAG,IAAI,GAAG,EAAE,CAAA;QACvC,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,IAAI,CAAC,sBAAsB,GAAG,IAAI,GAAG,EAAE,CAAA;QACvC,IAAI,CAAC,wBAAwB,GAAG,IAAI,GAAG,EAAE,CAAA;IAC7C,CAAC;IAED,0EAA0E;IAC1E,iCAAiC;IACjC,0EAA0E;IAEnE,4BAA4B,CAC/B,KAAqC;QAErC,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CACX,wCAAwC,KAAK,CAAC,EAAE,mBAAmB,CACtE,CAAA;QACL,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAE9C,IAAI,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC7D,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;YACrB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;QAC5D,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAEvB,IAAI,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;QAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;YAClB,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;QAC7D,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACxB,CAAC;IAEM,+BAA+B,CAClC,EAAU;QAEV,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACX,gCAAgC,EAAE,mBAAmB,CACxD,CAAA;QACL,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAEpC,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC/D,IAAI,SAAS,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACpB,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YACpD,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;QAChE,IAAI,MAAM,EAAE,CAAC;YACT,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACjB,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACpB,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YACxD,CAAC;QACL,CAAC;QAED,OAAO;YACH,2BAA2B,EAAE,CAAC,KAAK,CAAC;YACpC,6BAA6B,EAAE,EAAE;SACpC,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,mCAAmC;IACnC,0EAA0E;IAEnE,8BAA8B,CACjC,KAAuC;QAEvC,IAAI,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACX,0CAA0C,KAAK,CAAC,EAAE,mBAAmB,CACxE,CAAA;QACL,CAAC;QACD,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAEhD,IAAI,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC7D,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;YACrB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;QAC5D,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAEvB,IAAI,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;QACnE,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,GAAG,IAAI,GAAG,EAAE,CAAA;YACnB,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QAClE,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACzB,CAAC;IAEM,iCAAiC,CACpC,EAAU;QAEV,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACjD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACX,kCAAkC,EAAE,mBAAmB,CAC1D,CAAA;QACL,CAAC;QACD,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAEtC,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC/D,IAAI,SAAS,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACpB,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YACpD,CAAC;QACL,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;QACrE,IAAI,OAAO,EAAE,CAAC;YACV,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAClB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;YAC5D,CAAC;QACL,CAAC;QAED,OAAO;YACH,2BAA2B,EAAE,EAAE;YAC/B,6BAA6B,EAAE,CAAC,KAAK,CAAC;SACzC,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,2BAA2B;IAC3B,0EAA0E;IAEnE,6BAA6B,CAChC,UAAkB;QAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC5D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO;gBACH,2BAA2B,EAAE,EAAE;gBAC/B,6BAA6B,EAAE,EAAE;aACpC,CAAA;QACL,CAAC;QAED,MAAM,2BAA2B,GAAqC,EAAE,CAAA;QACxE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACpD,IAAI,CAAC,KAAK;gBAAE,SAAQ;YACpB,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YAEzC,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC/D,IAAI,SAAS,EAAE,CAAC;gBACZ,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;gBACzB,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBACvB,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;YACD,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC3C,CAAC;QAED,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAE9C,OAAO;YACH,2BAA2B;YAC3B,6BAA6B,EAAE,EAAE;SACpC,CAAA;IACL,CAAC;IAEM,+BAA+B,CAClC,YAAoB;QAEpB,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO;gBACH,2BAA2B,EAAE,EAAE;gBAC/B,6BAA6B,EAAE,EAAE;aACpC,CAAA;QACL,CAAC;QAED,MAAM,6BAA6B,GAC/B,EAAE,CAAA;QACN,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACtD,IAAI,CAAC,KAAK;gBAAE,SAAQ;YACpB,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YAE3C,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC/D,IAAI,SAAS,EAAE,CAAC;gBACZ,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;gBACzB,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBACvB,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;YACD,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC7C,CAAC;QAED,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;QAElD,OAAO;YACH,2BAA2B,EAAE,EAAE;YAC/B,6BAA6B;SAChC,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,UAAU;IACV,0EAA0E;IAEnE,wBAAwB,CAAC,QAAgB;QAI5C,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACxD,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAA;QAEtD,MAAM,QAAQ,GAAqC,EAAE,CAAA;QACrD,MAAM,UAAU,GAAuC,EAAE,CAAA;QACzD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACvD,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBACvB,SAAQ;YACZ,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YAC1D,IAAI,SAAS;gBAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QAC7C,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAA;IACnC,CAAC;IAEM,0BAA0B,CAC7B,UAAkB;QAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC5D,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAA;QACxB,MAAM,MAAM,GAAqC,EAAE,CAAA;QACnD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACpD,IAAI,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAEM,4BAA4B,CAC/B,YAAoB;QAEpB,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAA;QACxB,MAAM,MAAM,GAAuC,EAAE,CAAA;QACrD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACtD,IAAI,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAEM,gCAAgC;QACnC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAA;IACzD,CAAC;IAEM,kCAAkC;QACrC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,CAAC,CAAA;IAC3D,CAAC;IAED,0EAA0E;IAC1E,yBAAyB;IACzB,0EAA0E;IAEnE,QAAQ;QACX,OAAO;YACH,0BAA0B,EAAE,KAAK,CAAC,IAAI,CAClC,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,CACrC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1C,4BAA4B,EAAE,KAAK,CAAC,IAAI,CACpC,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,CACvC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7C,CAAA;IACL,CAAC;IAEM,MAAM,CAAC,YAAY,CAAC,IAA4B;QACnD,MAAM,EAAE,GAAG,IAAI,aAAa,EAAE,CAAA;QAE9B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,0BAA0B,EAAE,CAAC;YAClD,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAE5C,IAAI,SAAS,GAAG,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC3D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;gBACrB,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YAC1D,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAEvB,IAAI,MAAM,GAAG,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;gBAClB,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YAC3D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACxB,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,4BAA4B,EAAE,CAAC;YACpD,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAE9C,IAAI,SAAS,GAAG,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC3D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;gBACrB,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YAC1D,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAEvB,IAAI,OAAO,GAAG,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;YACjE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACX,OAAO,GAAG,IAAI,GAAG,EAAE,CAAA;gBACnB,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;YAChE,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACzB,CAAC;QAED,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}
@@ -1,9 +0,0 @@
1
- import Type, { type Static } from "typebox";
2
- export declare const CoreAssertionSchema: Type.TObject<{
3
- id: Type.TString;
4
- version: Type.TNumber;
5
- frozen: Type.TBoolean;
6
- checksum: Type.TString;
7
- }>;
8
- export type TCoreAssertion = Static<typeof CoreAssertionSchema>;
9
- //# sourceMappingURL=assertion.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"assertion.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/assertion.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,mBAAmB;;;;;EAmB/B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"assertion.js","sourceRoot":"","sources":["../../../src/lib/schemata/assertion.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAC1C;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,wCAAwC;KACxD,CAAC;IACF,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QACjB,WAAW,EACP,gFAAgF;KACvF,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,0GAA0G;CACjH,CACJ,CAAA"}