@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.
- package/README.md +2 -7
- package/dist/cli/commands/sources.d.ts.map +1 -1
- package/dist/cli/commands/sources.js +13 -66
- package/dist/cli/commands/sources.js.map +1 -1
- package/dist/cli/commands/variables.d.ts.map +1 -1
- package/dist/cli/commands/variables.js +40 -4
- package/dist/cli/commands/variables.js.map +1 -1
- package/dist/cli/config.d.ts +0 -2
- package/dist/cli/config.d.ts.map +1 -1
- package/dist/cli/config.js +0 -6
- package/dist/cli/config.js.map +1 -1
- package/dist/cli/engine.d.ts.map +1 -1
- package/dist/cli/engine.js +8 -35
- package/dist/cli/engine.js.map +1 -1
- package/dist/cli/import.d.ts.map +1 -1
- package/dist/cli/import.js +7 -6
- package/dist/cli/import.js.map +1 -1
- package/dist/cli/schemata.d.ts +0 -8
- package/dist/cli/schemata.d.ts.map +1 -1
- package/dist/cli/schemata.js +0 -10
- package/dist/cli/schemata.js.map +1 -1
- package/dist/cli/storage/sources.d.ts +3 -10
- package/dist/cli/storage/sources.d.ts.map +1 -1
- package/dist/cli/storage/sources.js +11 -94
- package/dist/cli/storage/sources.js.map +1 -1
- package/dist/lib/consts.d.ts.map +1 -1
- package/dist/lib/consts.js +11 -19
- package/dist/lib/consts.js.map +1 -1
- package/dist/lib/core/argument-engine.d.ts +16 -28
- package/dist/lib/core/argument-engine.d.ts.map +1 -1
- package/dist/lib/core/argument-engine.js +241 -247
- package/dist/lib/core/argument-engine.js.map +1 -1
- package/dist/lib/core/change-collector.d.ts +0 -7
- package/dist/lib/core/change-collector.d.ts.map +1 -1
- package/dist/lib/core/change-collector.js +0 -18
- package/dist/lib/core/change-collector.js.map +1 -1
- package/dist/lib/core/claim-library.d.ts +27 -0
- package/dist/lib/core/claim-library.d.ts.map +1 -0
- package/dist/lib/core/{assertion-library.js → claim-library.js} +15 -15
- package/dist/lib/core/claim-library.js.map +1 -0
- package/dist/lib/core/claim-source-library.d.ts +27 -0
- package/dist/lib/core/claim-source-library.d.ts.map +1 -0
- package/dist/lib/core/claim-source-library.js +116 -0
- package/dist/lib/core/claim-source-library.js.map +1 -0
- package/dist/lib/core/diff.d.ts +3 -7
- package/dist/lib/core/diff.d.ts.map +1 -1
- package/dist/lib/core/diff.js +14 -79
- package/dist/lib/core/diff.js.map +1 -1
- package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +31 -10
- package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -1
- package/dist/lib/core/interfaces/index.d.ts +1 -2
- package/dist/lib/core/interfaces/index.d.ts.map +1 -1
- package/dist/lib/core/interfaces/library.interfaces.d.ts +25 -8
- package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -1
- package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +1 -29
- package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -1
- package/dist/lib/core/premise-engine.d.ts +7 -8
- package/dist/lib/core/premise-engine.d.ts.map +1 -1
- package/dist/lib/core/premise-engine.js +66 -82
- package/dist/lib/core/premise-engine.js.map +1 -1
- package/dist/lib/core/variable-manager.d.ts +3 -4
- package/dist/lib/core/variable-manager.d.ts.map +1 -1
- package/dist/lib/core/variable-manager.js +11 -1
- package/dist/lib/core/variable-manager.js.map +1 -1
- package/dist/lib/index.d.ts +3 -4
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +3 -3
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/schemata/claim.d.ts +9 -0
- package/dist/lib/schemata/claim.d.ts.map +1 -0
- package/dist/lib/schemata/{assertion.js → claim.js} +4 -4
- package/dist/lib/schemata/claim.js.map +1 -0
- package/dist/lib/schemata/index.d.ts +1 -1
- package/dist/lib/schemata/index.d.ts.map +1 -1
- package/dist/lib/schemata/index.js +1 -1
- package/dist/lib/schemata/index.js.map +1 -1
- package/dist/lib/schemata/propositional.d.ts +37 -3
- package/dist/lib/schemata/propositional.d.ts.map +1 -1
- package/dist/lib/schemata/propositional.js +32 -6
- package/dist/lib/schemata/propositional.js.map +1 -1
- package/dist/lib/schemata/source.d.ts +4 -16
- package/dist/lib/schemata/source.d.ts.map +1 -1
- package/dist/lib/schemata/source.js +7 -17
- package/dist/lib/schemata/source.js.map +1 -1
- package/dist/lib/types/checksum.d.ts +4 -6
- package/dist/lib/types/checksum.d.ts.map +1 -1
- package/dist/lib/types/diff.d.ts +1 -5
- package/dist/lib/types/diff.d.ts.map +1 -1
- package/dist/lib/types/evaluation.d.ts +1 -1
- package/dist/lib/types/evaluation.d.ts.map +1 -1
- package/dist/lib/types/mutation.d.ts +0 -3
- package/dist/lib/types/mutation.d.ts.map +1 -1
- package/dist/lib/types/reactive.d.ts +1 -3
- package/dist/lib/types/reactive.d.ts.map +1 -1
- package/package.json +1 -1
- package/dist/lib/core/assertion-library.d.ts +0 -27
- package/dist/lib/core/assertion-library.d.ts.map +0 -1
- package/dist/lib/core/assertion-library.js.map +0 -1
- package/dist/lib/core/interfaces/source-management.interfaces.d.ts +0 -63
- package/dist/lib/core/interfaces/source-management.interfaces.d.ts.map +0 -1
- package/dist/lib/core/interfaces/source-management.interfaces.js +0 -2
- package/dist/lib/core/interfaces/source-management.interfaces.js.map +0 -1
- package/dist/lib/core/source-manager.d.ts +0 -38
- package/dist/lib/core/source-manager.d.ts.map +0 -1
- package/dist/lib/core/source-manager.js +0 -266
- package/dist/lib/core/source-manager.js.map +0 -1
- package/dist/lib/schemata/assertion.d.ts +0 -9
- package/dist/lib/schemata/assertion.d.ts.map +0 -1
- 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"}
|