@actuarial-ts/core 0.5.0 → 0.6.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 (120) hide show
  1. package/README.md +65 -226
  2. package/dist/capping.d.ts.map +1 -1
  3. package/dist/capping.js +39 -6
  4. package/dist/capping.js.map +1 -1
  5. package/dist/casualtyDiagnostics.d.ts +19 -49
  6. package/dist/casualtyDiagnostics.d.ts.map +1 -1
  7. package/dist/casualtyDiagnostics.js +84 -116
  8. package/dist/casualtyDiagnostics.js.map +1 -1
  9. package/dist/diagnosticAggregation.d.ts +32 -0
  10. package/dist/diagnosticAggregation.d.ts.map +1 -0
  11. package/dist/diagnosticAggregation.js +73 -0
  12. package/dist/diagnosticAggregation.js.map +1 -0
  13. package/dist/diagnosticDefinitions.d.ts +289 -0
  14. package/dist/diagnosticDefinitions.d.ts.map +1 -0
  15. package/dist/diagnosticDefinitions.js +1688 -0
  16. package/dist/diagnosticDefinitions.js.map +1 -0
  17. package/dist/diagnosticDerivations.d.ts +35 -0
  18. package/dist/diagnosticDerivations.d.ts.map +1 -0
  19. package/dist/diagnosticDerivations.js +224 -0
  20. package/dist/diagnosticDerivations.js.map +1 -0
  21. package/dist/diagnosticExposure.d.ts +51 -0
  22. package/dist/diagnosticExposure.d.ts.map +1 -0
  23. package/dist/diagnosticExposure.js +273 -0
  24. package/dist/diagnosticExposure.js.map +1 -0
  25. package/dist/diagnosticExpressions.d.ts +56 -0
  26. package/dist/diagnosticExpressions.d.ts.map +1 -0
  27. package/dist/diagnosticExpressions.js +124 -0
  28. package/dist/diagnosticExpressions.js.map +1 -0
  29. package/dist/diagnosticFormulas.d.ts +198 -0
  30. package/dist/diagnosticFormulas.d.ts.map +1 -0
  31. package/dist/diagnosticFormulas.js +219 -0
  32. package/dist/diagnosticFormulas.js.map +1 -0
  33. package/dist/diagnosticIdentity.d.ts +251 -0
  34. package/dist/diagnosticIdentity.d.ts.map +1 -0
  35. package/dist/diagnosticIdentity.js +721 -0
  36. package/dist/diagnosticIdentity.js.map +1 -0
  37. package/dist/diagnosticOrdering.d.ts +8 -0
  38. package/dist/diagnosticOrdering.d.ts.map +1 -0
  39. package/dist/diagnosticOrdering.js +73 -0
  40. package/dist/diagnosticOrdering.js.map +1 -0
  41. package/dist/diagnosticPeriodAxis.d.ts +9 -0
  42. package/dist/diagnosticPeriodAxis.d.ts.map +1 -0
  43. package/dist/diagnosticPeriodAxis.js +69 -0
  44. package/dist/diagnosticPeriodAxis.js.map +1 -0
  45. package/dist/diagnosticPeriods.d.ts +15 -0
  46. package/dist/diagnosticPeriods.d.ts.map +1 -0
  47. package/dist/diagnosticPeriods.js +50 -0
  48. package/dist/diagnosticPeriods.js.map +1 -0
  49. package/dist/diagnosticPreparation.d.ts +131 -0
  50. package/dist/diagnosticPreparation.d.ts.map +1 -0
  51. package/dist/diagnosticPreparation.js +1539 -0
  52. package/dist/diagnosticPreparation.js.map +1 -0
  53. package/dist/diagnosticReview.d.ts +66 -0
  54. package/dist/diagnosticReview.d.ts.map +1 -0
  55. package/dist/diagnosticReview.js +490 -0
  56. package/dist/diagnosticReview.js.map +1 -0
  57. package/dist/diagnosticRules.d.ts +32 -0
  58. package/dist/diagnosticRules.d.ts.map +1 -0
  59. package/dist/diagnosticRules.js +32 -0
  60. package/dist/diagnosticRules.js.map +1 -0
  61. package/dist/diagnosticRunner.d.ts +86 -0
  62. package/dist/diagnosticRunner.d.ts.map +1 -0
  63. package/dist/diagnosticRunner.js +703 -0
  64. package/dist/diagnosticRunner.js.map +1 -0
  65. package/dist/diagnosticRuntime.d.ts +26 -0
  66. package/dist/diagnosticRuntime.d.ts.map +1 -0
  67. package/dist/diagnosticRuntime.js +243 -0
  68. package/dist/diagnosticRuntime.js.map +1 -0
  69. package/dist/diagnosticSourceOrdering.d.ts +6 -0
  70. package/dist/diagnosticSourceOrdering.d.ts.map +1 -0
  71. package/dist/diagnosticSourceOrdering.js +38 -0
  72. package/dist/diagnosticSourceOrdering.js.map +1 -0
  73. package/dist/index.d.ts +28 -1
  74. package/dist/index.d.ts.map +1 -1
  75. package/dist/index.js +16 -1
  76. package/dist/index.js.map +1 -1
  77. package/dist/mack.d.ts +4 -0
  78. package/dist/mack.d.ts.map +1 -1
  79. package/dist/mack.js +32 -4
  80. package/dist/mack.js.map +1 -1
  81. package/dist/triangle.d.ts.map +1 -1
  82. package/dist/triangle.js +59 -9
  83. package/dist/triangle.js.map +1 -1
  84. package/dist/types.d.ts +21 -0
  85. package/dist/types.d.ts.map +1 -1
  86. package/dist/types.js +128 -0
  87. package/dist/types.js.map +1 -1
  88. package/dist/version.d.ts +3 -0
  89. package/dist/version.d.ts.map +1 -0
  90. package/dist/version.js +3 -0
  91. package/dist/version.js.map +1 -0
  92. package/package.json +4 -3
  93. package/src/capping.ts +109 -18
  94. package/src/casualtyDiagnostics.ts +79 -189
  95. package/src/diagnosticAggregation.ts +128 -0
  96. package/src/diagnosticDefinitions.ts +3624 -0
  97. package/src/diagnosticDerivations.ts +321 -0
  98. package/src/diagnosticExposure.ts +482 -0
  99. package/src/diagnosticExpressions.ts +255 -0
  100. package/src/diagnosticFormulas.ts +350 -0
  101. package/src/diagnosticIdentity.ts +1267 -0
  102. package/src/diagnosticOrdering.ts +106 -0
  103. package/src/diagnosticPeriodAxis.ts +92 -0
  104. package/src/diagnosticPeriods.ts +102 -0
  105. package/src/diagnosticPreparation.ts +2475 -0
  106. package/src/diagnosticReview.ts +897 -0
  107. package/src/diagnosticRules.ts +69 -0
  108. package/src/diagnosticRunner.ts +1114 -0
  109. package/src/diagnosticRuntime.ts +264 -0
  110. package/src/diagnosticSourceOrdering.ts +50 -0
  111. package/src/index.ts +184 -1
  112. package/src/mack.ts +72 -9
  113. package/src/triangle.ts +103 -13
  114. package/src/types.ts +196 -0
  115. package/src/version.ts +2 -0
  116. package/dist/metricDiagnostics.d.ts +0 -212
  117. package/dist/metricDiagnostics.d.ts.map +0 -1
  118. package/dist/metricDiagnostics.js +0 -627
  119. package/dist/metricDiagnostics.js.map +0 -1
  120. package/src/metricDiagnostics.ts +0 -876
@@ -0,0 +1,490 @@
1
+ import { getCompiledDiagnosticDefinitionInternals, } from "./diagnosticDefinitions.js";
2
+ import { canonicalJson } from "./canonical.js";
3
+ import { normalizeDiagnosticPeriod } from "./diagnosticPeriods.js";
4
+ import { evaluateDiagnosticMeasureExpression, } from "./diagnosticFormulas.js";
5
+ import { assertPreparedDiagnosticData, } from "./diagnosticPreparation.js";
6
+ import { classifyDiagnosticComparison, diagnosticPredicateMatches, } from "./diagnosticRules.js";
7
+ import { finalizeDiagnosticContributions } from "./diagnosticAggregation.js";
8
+ import { compareDiagnosticSourceLocations, normalizeDiagnosticSourceLocations, } from "./diagnosticSourceOrdering.js";
9
+ const REASON_ORDER = [
10
+ "missing",
11
+ "imputed",
12
+ "non-finite",
13
+ "structural-ambiguity",
14
+ "aggregation-overflow",
15
+ "expression-overflow",
16
+ "tolerance-overflow",
17
+ ];
18
+ function codeUnit(left, right) {
19
+ return left < right ? -1 : left > right ? 1 : 0;
20
+ }
21
+ function uniqueReasons(values) {
22
+ return REASON_ORDER.filter((reason) => values.includes(reason));
23
+ }
24
+ function uniqueSources(values) {
25
+ return normalizeDiagnosticSourceLocations(values);
26
+ }
27
+ function expressionMeasureIds(expression) {
28
+ if (expression.op === "measure")
29
+ return [expression.measureId];
30
+ return [
31
+ ...new Set((expression.op === "add"
32
+ ? expression.terms
33
+ : [expression.left, expression.right]).flatMap(expressionMeasureIds)),
34
+ ].sort(codeUnit);
35
+ }
36
+ function expressionLeafPaths(expression, path) {
37
+ if (expression.op === "measure")
38
+ return [{ measureId: expression.measureId, expressionPath: path }];
39
+ if (expression.op === "add")
40
+ return expression.terms.flatMap((term, index) => expressionLeafPaths(term, `${path}/terms/${index}`));
41
+ return [
42
+ ...expressionLeafPaths(expression.left, `${path}/left`),
43
+ ...expressionLeafPaths(expression.right, `${path}/right`),
44
+ ];
45
+ }
46
+ function states(prepared, cell) {
47
+ const internals = getCompiledDiagnosticDefinitionInternals(prepared.definition);
48
+ return Object.fromEntries(Object.entries(cell.components).map(([id, stats]) => {
49
+ const measure = internals.measuresById.get(id);
50
+ const readiness = [];
51
+ if (stats.missing)
52
+ readiness.push(stats.imputedZero ? "imputed" : "missing");
53
+ if (stats.nonFinite)
54
+ readiness.push("non-finite");
55
+ if (stats.structural)
56
+ readiness.push("structural-ambiguity");
57
+ if (stats.sum === null && !stats.nonFinite && !stats.structural)
58
+ readiness.push("aggregation-overflow");
59
+ return [
60
+ id,
61
+ {
62
+ quantity: {
63
+ kind: measure.kind,
64
+ unit: measure.unit,
65
+ ...(measure.basisId ? { basisId: measure.basisId } : {}),
66
+ ...(measure.countPopulationId
67
+ ? { countPopulationId: measure.countPopulationId }
68
+ : {}),
69
+ ...(measure.exposureBasisId
70
+ ? { exposureBasisId: measure.exposureBasisId }
71
+ : {}),
72
+ value: stats.value,
73
+ },
74
+ stats,
75
+ readiness,
76
+ sources: cellSources(cell, [id]),
77
+ },
78
+ ];
79
+ }));
80
+ }
81
+ function coordinate(cell) {
82
+ return {
83
+ sourceGroup: cell.sourceGroup,
84
+ origin: cell.origin,
85
+ valuation: cell.valuation,
86
+ developmentAge: cell.developmentAge,
87
+ ageUnit: cell.ageUnit,
88
+ };
89
+ }
90
+ function coordinateFromLabels(prepared, sourceGroup, originLabel, valuationLabel) {
91
+ const origin = normalizeDiagnosticPeriod(prepared.definition, "origin", originLabel);
92
+ const valuation = normalizeDiagnosticPeriod(prepared.definition, "valuation", valuationLabel);
93
+ return {
94
+ sourceGroup,
95
+ origin: origin.label,
96
+ valuation: valuation.label,
97
+ developmentAge: valuation.coordinate -
98
+ origin.coordinate +
99
+ prepared.definition.definition.periodAxis.ageOffset,
100
+ ageUnit: prepared.definition.definition.periodAxis.ageUnit,
101
+ };
102
+ }
103
+ function cellSources(cell, measureIds) {
104
+ const ids = measureIds ?? Object.keys(cell.contributions);
105
+ return uniqueSources(ids.flatMap((measureId) => [
106
+ ...(cell.contributions[measureId] ?? []).flatMap((contribution) => contribution.sources),
107
+ ...(cell.structuralBlockers[measureId] ?? []).flatMap((blocker) => blocker.sources),
108
+ ]));
109
+ }
110
+ function cellSourcesForSelection(cells, measureId) {
111
+ return uniqueSources(cells.flatMap((cell) => [
112
+ ...(cell.contributions[measureId] ?? []).flatMap((contribution) => contribution.sources),
113
+ ...(cell.structuralBlockers[measureId] ?? []).flatMap((blocker) => blocker.sources),
114
+ ]));
115
+ }
116
+ function evaluateExpression(prepared, cell, expression, path) {
117
+ const result = evaluateDiagnosticMeasureExpression(expression, states(prepared, cell), path);
118
+ const sources = cellSources(cell, expressionMeasureIds(expression));
119
+ return {
120
+ value: result.value,
121
+ reasons: result.reasons,
122
+ overflows: result.overflows.map((overflow) => ({
123
+ ...overflow,
124
+ coordinate: coordinate(cell),
125
+ sources,
126
+ })),
127
+ sources,
128
+ };
129
+ }
130
+ function constant(value) {
131
+ return { value, reasons: [], overflows: [], sources: [] };
132
+ }
133
+ function evaluation(prepared, rule, scope, left, right, passes, extraReasons = []) {
134
+ const expressionOverflows = [
135
+ ...new Map([...left.overflows, ...right.overflows].map((item) => [
136
+ canonicalJson(item),
137
+ item,
138
+ ])).values(),
139
+ ].sort((a, b) => {
140
+ const path = codeUnit(a.expressionPath, b.expressionPath);
141
+ if (path !== 0)
142
+ return path;
143
+ if (a.coordinate === null)
144
+ return b.coordinate === null ? 0 : 1;
145
+ if (b.coordinate === null)
146
+ return -1;
147
+ const coordinate = codeUnit(a.coordinate.sourceGroup, b.coordinate.sourceGroup) ||
148
+ normalizeDiagnosticPeriod(prepared.definition, "origin", a.coordinate.origin).coordinate -
149
+ normalizeDiagnosticPeriod(prepared.definition, "origin", b.coordinate.origin).coordinate ||
150
+ normalizeDiagnosticPeriod(prepared.definition, "valuation", a.coordinate.valuation).coordinate -
151
+ normalizeDiagnosticPeriod(prepared.definition, "valuation", b.coordinate.valuation).coordinate ||
152
+ codeUnit(a.coordinate.origin, b.coordinate.origin) ||
153
+ codeUnit(a.coordinate.valuation, b.coordinate.valuation);
154
+ if (coordinate !== 0)
155
+ return coordinate;
156
+ for (let index = 0; index < Math.min(a.sources.length, b.sources.length); index++) {
157
+ const source = compareDiagnosticSourceLocations(a.sources[index], b.sources[index]);
158
+ if (source !== 0)
159
+ return source;
160
+ }
161
+ return a.sources.length - b.sources.length;
162
+ });
163
+ const reasons = uniqueReasons([
164
+ ...left.reasons,
165
+ ...right.reasons,
166
+ ...extraReasons,
167
+ ...(expressionOverflows.length > 0 ? ["expression-overflow"] : []),
168
+ ...((left.value === null || right.value === null) &&
169
+ left.reasons.length === 0 &&
170
+ right.reasons.length === 0 &&
171
+ expressionOverflows.length === 0
172
+ ? ["missing"]
173
+ : []),
174
+ ]);
175
+ const missingReason = () => {
176
+ if (reasons.some((reason) => ["missing", "imputed", "non-finite", "structural-ambiguity"].includes(reason)))
177
+ return "missing-input";
178
+ if (reasons.includes("aggregation-overflow"))
179
+ return "aggregation-overflow";
180
+ if (reasons.includes("expression-overflow"))
181
+ return "expression-overflow";
182
+ if (reasons.includes("tolerance-overflow"))
183
+ return "tolerance-overflow";
184
+ return "missing-input";
185
+ };
186
+ const result = (value) => ({
187
+ ruleId: rule.id,
188
+ ruleKind: rule.kind,
189
+ severity: rule.severity,
190
+ scope,
191
+ ...value,
192
+ ...(rule.kind === "layer-order"
193
+ ? { comparability: rule.comparability }
194
+ : {}),
195
+ });
196
+ if (reasons.length > 0)
197
+ return result({
198
+ status: rule.missingInput === "finding" ? "triggered" : "not-evaluated",
199
+ triggerReason: rule.missingInput === "finding" ? missingReason() : null,
200
+ left: left.value,
201
+ right: right.value,
202
+ relation: null,
203
+ notEvaluatedReasons: reasons,
204
+ expressionOverflows,
205
+ });
206
+ const compared = classifyDiagnosticComparison(left.value, right.value, rule.tolerance);
207
+ if (compared.status === "not-evaluated")
208
+ return result({
209
+ status: rule.missingInput === "finding" ? "triggered" : "not-evaluated",
210
+ triggerReason: rule.missingInput === "finding"
211
+ ? compared.reason === "tolerance-overflow"
212
+ ? "tolerance-overflow"
213
+ : "missing-input"
214
+ : null,
215
+ left: left.value,
216
+ right: right.value,
217
+ relation: null,
218
+ notEvaluatedReasons: [compared.reason],
219
+ expressionOverflows: [],
220
+ });
221
+ const pass = passes(compared.relation);
222
+ return result({
223
+ status: pass ? "pass" : "triggered",
224
+ triggerReason: pass ? null : "predicate",
225
+ left: left.value,
226
+ right: right.value,
227
+ relation: compared.relation,
228
+ notEvaluatedReasons: [],
229
+ expressionOverflows: [],
230
+ });
231
+ }
232
+ function filterCells(prepared, filter) {
233
+ if (!filter)
234
+ return prepared.cells;
235
+ const originFrom = filter.originFrom == null
236
+ ? null
237
+ : normalizeDiagnosticPeriod(prepared.definition, "origin", filter.originFrom).coordinate;
238
+ const originThrough = filter.originThrough == null
239
+ ? null
240
+ : normalizeDiagnosticPeriod(prepared.definition, "origin", filter.originThrough).coordinate;
241
+ const valuationFrom = filter.valuationFrom == null
242
+ ? null
243
+ : normalizeDiagnosticPeriod(prepared.definition, "valuation", filter.valuationFrom).coordinate;
244
+ const valuationThrough = filter.valuationThrough == null
245
+ ? null
246
+ : normalizeDiagnosticPeriod(prepared.definition, "valuation", filter.valuationThrough).coordinate;
247
+ return prepared.cells.filter((cell) => {
248
+ const origin = normalizeDiagnosticPeriod(prepared.definition, "origin", cell.origin).coordinate;
249
+ const valuation = normalizeDiagnosticPeriod(prepared.definition, "valuation", cell.valuation).coordinate;
250
+ return ((filter.sourceGroups == null ||
251
+ filter.sourceGroups.includes(cell.sourceGroup)) &&
252
+ (filter.origins == null || filter.origins.includes(cell.origin)) &&
253
+ (originFrom === null || origin >= originFrom) &&
254
+ (originThrough === null || origin <= originThrough) &&
255
+ (filter.valuations == null ||
256
+ filter.valuations.includes(cell.valuation)) &&
257
+ (valuationFrom === null || valuation >= valuationFrom) &&
258
+ (valuationThrough === null || valuation <= valuationThrough) &&
259
+ (filter.minDevelopmentAge == null ||
260
+ cell.developmentAge >= filter.minDevelopmentAge) &&
261
+ (filter.maxDevelopmentAge == null ||
262
+ cell.developmentAge <= filter.maxDevelopmentAge));
263
+ });
264
+ }
265
+ function projectedCells(prepared, rule) {
266
+ const selected = filterCells(prepared, rule.filter);
267
+ if (rule.projection.kind === "all-cells")
268
+ return selected;
269
+ if (rule.projection.kind === "valuation") {
270
+ const valuation = normalizeDiagnosticPeriod(prepared.definition, "valuation", rule.projection.valuation).label;
271
+ return selected.filter((cell) => cell.valuation === valuation);
272
+ }
273
+ const latest = new Map();
274
+ for (const cell of selected) {
275
+ const key = canonicalJson([cell.sourceGroup, cell.origin]);
276
+ const previous = latest.get(key);
277
+ if (!previous || cell.developmentAge > previous.developmentAge)
278
+ latest.set(key, cell);
279
+ }
280
+ return [...latest.values()].sort((left, right) => codeUnit(left.sourceGroup, right.sourceGroup) ||
281
+ codeUnit(left.origin, right.origin));
282
+ }
283
+ /** Evaluates definition-owned semantic review rules over authenticated prepared cells. */
284
+ export function evaluateDiagnosticReviewRules(prepared) {
285
+ assertPreparedDiagnosticData(prepared);
286
+ const results = [];
287
+ for (const [ruleIndex, rule] of prepared.definition.definition
288
+ .reviewRules.entries()) {
289
+ const basePath = `/reviewRules/${ruleIndex}`;
290
+ if (rule.kind === "control-total") {
291
+ const cells = projectedCells(prepared, rule);
292
+ const internals = getCompiledDiagnosticDefinitionInternals(prepared.definition);
293
+ const measureIds = expressionMeasureIds(rule.expression);
294
+ const sourceByMeasure = Object.fromEntries(measureIds.map((measureId) => [
295
+ measureId,
296
+ cellSourcesForSelection(cells, measureId),
297
+ ]));
298
+ const globalStates = Object.create(null);
299
+ const leaves = expressionLeafPaths(rule.expression, `/reviewRules/${ruleIndex}/expression`);
300
+ for (const measureId of measureIds) {
301
+ const measure = internals.measuresById.get(measureId);
302
+ const contributions = cells.flatMap((cell) => cell.contributions[measureId] ?? []);
303
+ const blockers = [
304
+ ...new Map(cells
305
+ .flatMap((cell) => cell.structuralBlockers[measureId] ?? [])
306
+ .map((blocker) => [canonicalJson(blocker), blocker])).entries(),
307
+ ]
308
+ .sort(([left], [right]) => codeUnit(left, right))
309
+ .map(([, blocker]) => blocker);
310
+ const stats = finalizeDiagnosticContributions(contributions, measure.missing, blockers);
311
+ const sourceCellOverflow = cells.some((cell) => {
312
+ const component = cell.components[measureId];
313
+ return (component !== undefined &&
314
+ component.sum === null &&
315
+ component.nonFinite === 0 &&
316
+ component.structural === 0);
317
+ });
318
+ const selectionOverflow = stats.sum === null && stats.nonFinite === 0 && stats.structural === 0;
319
+ const emptySelection = cells.length === 0;
320
+ const expressionOverflows = selectionOverflow && !sourceCellOverflow
321
+ ? leaves
322
+ .filter((leaf) => leaf.measureId === measureId)
323
+ .map((leaf) => ({
324
+ expressionPath: leaf.expressionPath,
325
+ sources: sourceByMeasure[measureId],
326
+ }))
327
+ : [];
328
+ const reasons = [];
329
+ if (emptySelection || stats.missing)
330
+ reasons.push(stats.imputedZero ? "imputed" : "missing");
331
+ if (stats.nonFinite)
332
+ reasons.push("non-finite");
333
+ if (stats.structural)
334
+ reasons.push("structural-ambiguity");
335
+ if (sourceCellOverflow)
336
+ reasons.push("aggregation-overflow");
337
+ else if (selectionOverflow)
338
+ reasons.push("expression-overflow");
339
+ globalStates[measureId] = {
340
+ quantity: {
341
+ kind: measure.kind,
342
+ unit: measure.unit,
343
+ ...(measure.basisId ? { basisId: measure.basisId } : {}),
344
+ ...(measure.countPopulationId
345
+ ? { countPopulationId: measure.countPopulationId }
346
+ : {}),
347
+ ...(measure.exposureBasisId
348
+ ? { exposureBasisId: measure.exposureBasisId }
349
+ : {}),
350
+ value: emptySelection || sourceCellOverflow || selectionOverflow
351
+ ? null
352
+ : stats.value,
353
+ },
354
+ stats,
355
+ readiness: reasons,
356
+ expressionOverflows,
357
+ sources: sourceByMeasure[measureId],
358
+ };
359
+ }
360
+ const evaluated = evaluateDiagnosticMeasureExpression(rule.expression, globalStates, `/reviewRules/${ruleIndex}/expression`);
361
+ const sources = uniqueSources(measureIds.flatMap((measureId) => sourceByMeasure[measureId] ?? []));
362
+ const left = {
363
+ value: evaluated.value,
364
+ reasons: evaluated.reasons,
365
+ overflows: evaluated.overflows.map((overflow) => ({
366
+ ...overflow,
367
+ coordinate: null,
368
+ sources: overflow.sources.length > 0 ? overflow.sources : sources,
369
+ })),
370
+ sources,
371
+ };
372
+ const scope = {
373
+ kind: "control-total",
374
+ projection: rule.projection,
375
+ filter: (rule.filter ??
376
+ null),
377
+ selectedCellCount: cells.length,
378
+ selectedContributionCount: cells.reduce((sum, cell) => sum +
379
+ measureIds.reduce((count, measureId) => count + (cell.contributions[measureId]?.length ?? 0), 0), 0),
380
+ sources,
381
+ };
382
+ results.push(evaluation(prepared, rule, scope, left, constant(rule.expected), (relation) => relation === "equal"));
383
+ continue;
384
+ }
385
+ if (rule.kind === "monotonic") {
386
+ const groups = new Map();
387
+ for (const cell of prepared.cells) {
388
+ const key = canonicalJson([cell.sourceGroup, cell.origin]);
389
+ const values = groups.get(key) ?? new Set();
390
+ values.add(cell.valuation);
391
+ groups.set(key, values);
392
+ }
393
+ for (const expected of prepared.expectedCells) {
394
+ const key = canonicalJson([expected.sourceGroup, expected.origin]);
395
+ const values = groups.get(key) ?? new Set();
396
+ values.add(expected.valuation);
397
+ groups.set(key, values);
398
+ }
399
+ for (const [key, valuations] of [...groups.entries()].sort(([left], [right]) => codeUnit(left, right))) {
400
+ const [sourceGroup, origin] = JSON.parse(key);
401
+ const sorted = [...valuations].sort((left, right) => normalizeDiagnosticPeriod(prepared.definition, "valuation", left)
402
+ .coordinate -
403
+ normalizeDiagnosticPeriod(prepared.definition, "valuation", right)
404
+ .coordinate || codeUnit(left, right));
405
+ for (let index = 1; index < sorted.length; index++) {
406
+ const previousValuation = sorted[index - 1];
407
+ const currentValuation = sorted[index];
408
+ const previous = prepared.cells.find((cell) => cell.sourceGroup === sourceGroup &&
409
+ cell.origin === origin &&
410
+ cell.valuation === previousValuation);
411
+ const current = prepared.cells.find((cell) => cell.sourceGroup === sourceGroup &&
412
+ cell.origin === origin &&
413
+ cell.valuation === currentValuation);
414
+ const expectedSources = (valuation) => prepared.expectedCells
415
+ .filter((cell) => cell.sourceGroup === sourceGroup &&
416
+ cell.origin === origin &&
417
+ cell.valuation === valuation)
418
+ .flatMap((cell) => (cell.source ? [cell.source] : []));
419
+ const left = previous
420
+ ? evaluateExpression(prepared, previous, rule.expression, `${basePath}/expression`)
421
+ : {
422
+ value: null,
423
+ reasons: ["missing"],
424
+ overflows: [],
425
+ sources: uniqueSources(expectedSources(previousValuation)),
426
+ };
427
+ const right = current
428
+ ? evaluateExpression(prepared, current, rule.expression, `${basePath}/expression`)
429
+ : {
430
+ value: null,
431
+ reasons: ["missing"],
432
+ overflows: [],
433
+ sources: uniqueSources(expectedSources(currentValuation)),
434
+ };
435
+ const scope = {
436
+ kind: "valuation-pair",
437
+ previous: previous
438
+ ? coordinate(previous)
439
+ : coordinateFromLabels(prepared, sourceGroup, origin, previousValuation),
440
+ current: current
441
+ ? coordinate(current)
442
+ : coordinateFromLabels(prepared, sourceGroup, origin, currentValuation),
443
+ sources: uniqueSources([...left.sources, ...right.sources]),
444
+ };
445
+ results.push(evaluation(prepared, rule, scope, left, right, (relation) => rule.direction === "nondecreasing"
446
+ ? relation !== "greater"
447
+ : relation !== "less"));
448
+ }
449
+ }
450
+ continue;
451
+ }
452
+ for (const cell of prepared.cells) {
453
+ const scopeFor = (sources) => ({
454
+ kind: "cell",
455
+ cell: coordinate(cell),
456
+ sources: uniqueSources(sources),
457
+ });
458
+ if (rule.kind === "compare") {
459
+ const operand = (item, path) => item.op === "constant"
460
+ ? constant(item.value)
461
+ : evaluateExpression(prepared, cell, item, path);
462
+ const left = operand(rule.when.left, `${basePath}/when/left`);
463
+ const right = operand(rule.when.right, `${basePath}/when/right`);
464
+ results.push(evaluation(prepared, rule, scopeFor([...left.sources, ...right.sources]), left, right, (relation) => !diagnosticPredicateMatches(rule.when.operator, relation)));
465
+ }
466
+ else if (rule.kind === "reconcile") {
467
+ const left = evaluateExpression(prepared, cell, rule.actual, `${basePath}/actual`);
468
+ const right = rule.expected.op === "constant"
469
+ ? constant(rule.expected.value)
470
+ : evaluateExpression(prepared, cell, rule.expected, `${basePath}/expected`);
471
+ results.push(evaluation(prepared, rule, scopeFor([...left.sources, ...right.sources]), left, right, (relation) => relation === "equal"));
472
+ }
473
+ else {
474
+ const left = evaluateExpression(prepared, cell, rule.narrower, `${basePath}/narrower`);
475
+ const right = evaluateExpression(prepared, cell, rule.broader, `${basePath}/broader`);
476
+ results.push(evaluation(prepared, rule, scopeFor([...left.sources, ...right.sources]), left, right, (relation) => relation !== "greater"));
477
+ }
478
+ }
479
+ }
480
+ return deepFreeze(results);
481
+ }
482
+ function deepFreeze(value, seen = new WeakSet()) {
483
+ if (value === null || typeof value !== "object" || seen.has(value))
484
+ return value;
485
+ seen.add(value);
486
+ for (const child of Object.values(value))
487
+ deepFreeze(child, seen);
488
+ return Object.freeze(value);
489
+ }
490
+ //# sourceMappingURL=diagnosticReview.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diagnosticReview.js","sourceRoot":"","sources":["../src/diagnosticReview.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wCAAwC,GAMzC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EACL,mCAAmC,GAEpC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,4BAA4B,GAE7B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAG3B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,+BAA+B,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EACL,gCAAgC,EAChC,kCAAkC,GACnC,MAAM,+BAA+B,CAAC;AAyFvC,MAAM,YAAY,GAAgD;IAChE,SAAS;IACT,SAAS;IACT,YAAY;IACZ,sBAAsB;IACtB,sBAAsB;IACtB,qBAAqB;IACrB,oBAAoB;CACrB,CAAC;AAEF,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAa;IAC3C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,aAAa,CACpB,MAAmD;IAEnD,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,aAAa,CACpB,MAA2C;IAE3C,OAAO,kCAAkC,CAAC,MAAM,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAA4E;IAE5E,IAAI,UAAU,CAAC,EAAE,KAAK,SAAS;QAAE,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC/D,OAAO;QACL,GAAG,IAAI,GAAG,CACR,CAAC,UAAU,CAAC,EAAE,KAAK,KAAK;YACtB,CAAC,CAAC,UAAU,CAAC,KAAK;YAClB,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CACtC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAChC;KACF,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAA4E,EAC5E,IAAY;IAEZ,IAAI,UAAU,CAAC,EAAE,KAAK,SAAS;QAC7B,OAAO,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;IACrE,IAAI,UAAU,CAAC,EAAE,KAAK,KAAK;QACzB,OAAO,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC9C,mBAAmB,CAAC,IAAI,EAAE,GAAG,IAAI,UAAU,KAAK,EAAE,CAAC,CACpD,CAAC;IACJ,OAAO;QACL,GAAG,mBAAmB,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC;QACvD,GAAG,mBAAmB,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,QAAgC,EAChC,IAA6C;IAE7C,MAAM,SAAS,GAAG,wCAAwC,CACxD,QAAQ,CAAC,UAAU,CACpB,CAAC;IACF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE;QAClD,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAChD,MAAM,SAAS,GAAuC,EAAE,CAAC;QACzD,IAAI,KAAK,CAAC,OAAO;YACf,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,SAAS;YAAE,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAClD,IAAI,KAAK,CAAC,UAAU;YAAE,SAAS,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAC7D,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU;YAC7D,SAAS,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACzC,OAAO;YACL,EAAE;YACF;gBACE,QAAQ,EAAE;oBACR,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxD,GAAG,CAAC,OAAO,CAAC,iBAAiB;wBAC3B,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE;wBAClD,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,OAAO,CAAC,eAAe;wBACzB,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE;wBAC9C,CAAC,CAAC,EAAE,CAAC;oBACP,KAAK,EAAE,KAAK,CAAC,KAAK;iBACnB;gBACD,KAAK;gBACL,SAAS;gBACT,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;aACjC;SACF,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,IAA6C;IAE7C,OAAO;QACL,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,OAAO,EAAE,IAAI,CAAC,OAAO;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAgC,EAChC,WAAmB,EACnB,WAAmB,EACnB,cAAsB;IAEtB,MAAM,MAAM,GAAG,yBAAyB,CACtC,QAAQ,CAAC,UAAU,EACnB,QAAQ,EACR,WAAW,CACZ,CAAC;IACF,MAAM,SAAS,GAAG,yBAAyB,CACzC,QAAQ,CAAC,UAAU,EACnB,WAAW,EACX,cAAc,CACf,CAAC;IACF,OAAO;QACL,WAAW;QACX,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,SAAS,EAAE,SAAS,CAAC,KAAK;QAC1B,cAAc,EACZ,SAAS,CAAC,UAAU;YACpB,MAAM,CAAC,UAAU;YACjB,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,SAAS;QACrD,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,IAA6C,EAC7C,UAA8B;IAE9B,MAAM,GAAG,GAAG,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1D,OAAO,aAAa,CAClB,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAC9C,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CACvC;QACD,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CACnD,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAC7B;KACF,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAyD,EACzD,SAAiB;IAEjB,OAAO,aAAa,CAClB,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtB,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAC9C,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CACvC;QACD,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CACnD,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAC7B;KACF,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAgC,EAChC,IAA6C,EAC7C,UAA4E,EAC5E,IAAY;IAEZ,MAAM,MAAM,GAAG,mCAAmC,CAChD,UAAU,EACV,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,EACtB,IAAI,CACL,CAAC;IACF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC7C,GAAG,QAAQ;YACX,UAAU,EAAE,UAAU,CAAC,IAAI,CAAC;YAC5B,OAAO;SACR,CAAC,CAAC;QACH,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CACjB,QAAgC,EAChC,IAA0B,EAC1B,KAAsC,EACtC,IAAsB,EACtB,KAAuB,EACvB,MAA2D,EAC3D,eAA4D,EAAE;IAE9D,MAAM,mBAAmB,GAAG;QAC1B,GAAG,IAAI,GAAG,CACR,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,aAAa,CAAC,IAAI,CAAC;YACnB,IAAI;SACL,CAAC,CACH,CAAC,MAAM,EAAE;KACX,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACd,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,CAAC;QACrC,MAAM,UAAU,GACd,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC;YAC5D,yBAAyB,CACvB,QAAQ,CAAC,UAAU,EACnB,QAAQ,EACR,CAAC,CAAC,UAAU,CAAC,MAAM,CACpB,CAAC,UAAU;gBACV,yBAAyB,CACvB,QAAQ,CAAC,UAAU,EACnB,QAAQ,EACR,CAAC,CAAC,UAAU,CAAC,MAAM,CACpB,CAAC,UAAU;YACd,yBAAyB,CACvB,QAAQ,CAAC,UAAU,EACnB,WAAW,EACX,CAAC,CAAC,UAAU,CAAC,SAAS,CACvB,CAAC,UAAU;gBACV,yBAAyB,CACvB,QAAQ,CAAC,UAAU,EACnB,WAAW,EACX,CAAC,CAAC,UAAU,CAAC,SAAS,CACvB,CAAC,UAAU;YACd,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;YAClD,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,UAAU,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QACxC,KACE,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EACpD,KAAK,EAAE,EACP,CAAC;YACD,MAAM,MAAM,GAAG,gCAAgC,CAC7C,CAAC,CAAC,OAAO,CAAC,KAAK,CAAE,EACjB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAE,CAClB,CAAC;YACF,IAAI,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;QAClC,CAAC;QACD,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,aAAa,CAAC;QAC5B,GAAG,IAAI,CAAC,OAAO;QACf,GAAG,KAAK,CAAC,OAAO;QAChB,GAAG,YAAY;QACf,GAAG,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,qBAA8B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;YACjD,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YACzB,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAC1B,mBAAmB,CAAC,MAAM,KAAK,CAAC;YAC9B,CAAC,CAAC,CAAC,SAAkB,CAAC;YACtB,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,GAAoD,EAAE;QAC1E,IACE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACtB,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,sBAAsB,CAAC,CAAC,QAAQ,CACnE,MAAM,CACP,CACF;YAED,OAAO,eAAe,CAAC;QACzB,IAAI,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC;YAAE,OAAO,sBAAsB,CAAC;QAC5E,IAAI,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC;YAAE,OAAO,qBAAqB,CAAC;QAC1E,IAAI,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC;YAAE,OAAO,oBAAoB,CAAC;QACxE,OAAO,eAAe,CAAC;IACzB,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CACb,KAGC,EAC+B,EAAE,CAClC,CAAC;QACC,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,QAAQ,EAAE,IAAI,CAAC,IAAI;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,KAAK;QACL,GAAG,KAAK;QACR,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;YAC7B,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE;YACvC,CAAC,CAAC,EAAE,CAAC;KACR,CAAmC,CAAC;IACvC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QACpB,OAAO,MAAM,CAAC;YACZ,MAAM,EAAE,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe;YACvE,aAAa,EAAE,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI;YACvE,IAAI,EAAE,IAAI,CAAC,KAAK;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,IAAI;YACd,mBAAmB,EAAE,OAAO;YAC5B,mBAAmB;SACpB,CAAC,CAAC;IACL,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,IAAI,CAAC,KAAK,EACV,KAAK,CAAC,KAAK,EACX,IAAI,CAAC,SAAS,CACf,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe;QACrC,OAAO,MAAM,CAAC;YACZ,MAAM,EAAE,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe;YACvE,aAAa,EACX,IAAI,CAAC,YAAY,KAAK,SAAS;gBAC7B,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,oBAAoB;oBACxC,CAAC,CAAC,oBAAoB;oBACtB,CAAC,CAAC,eAAe;gBACnB,CAAC,CAAC,IAAI;YACV,IAAI,EAAE,IAAI,CAAC,KAAK;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,IAAI;YACd,mBAAmB,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC;YACtC,mBAAmB,EAAE,EAAE;SACxB,CAAC,CAAC;IACL,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC;QACZ,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW;QACnC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW;QACxC,IAAI,EAAE,IAAI,CAAC,KAAK;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,mBAAmB,EAAE,EAAE;QACvB,mBAAmB,EAAE,EAAE;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAClB,QAAgC,EAChC,MAAiD;IAEjD,IAAI,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;IACnC,MAAM,UAAU,GACd,MAAM,CAAC,UAAU,IAAI,IAAI;QACvB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,yBAAyB,CACvB,QAAQ,CAAC,UAAU,EACnB,QAAQ,EACR,MAAM,CAAC,UAAU,CAClB,CAAC,UAAU,CAAC;IACnB,MAAM,aAAa,GACjB,MAAM,CAAC,aAAa,IAAI,IAAI;QAC1B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,yBAAyB,CACvB,QAAQ,CAAC,UAAU,EACnB,QAAQ,EACR,MAAM,CAAC,aAAa,CACrB,CAAC,UAAU,CAAC;IACnB,MAAM,aAAa,GACjB,MAAM,CAAC,aAAa,IAAI,IAAI;QAC1B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,yBAAyB,CACvB,QAAQ,CAAC,UAAU,EACnB,WAAW,EACX,MAAM,CAAC,aAAa,CACrB,CAAC,UAAU,CAAC;IACnB,MAAM,gBAAgB,GACpB,MAAM,CAAC,gBAAgB,IAAI,IAAI;QAC7B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,yBAAyB,CACvB,QAAQ,CAAC,UAAU,EACnB,WAAW,EACX,MAAM,CAAC,gBAAgB,CACxB,CAAC,UAAU,CAAC;IACnB,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACpC,MAAM,MAAM,GAAG,yBAAyB,CACtC,QAAQ,CAAC,UAAU,EACnB,QAAQ,EACR,IAAI,CAAC,MAAM,CACZ,CAAC,UAAU,CAAC;QACb,MAAM,SAAS,GAAG,yBAAyB,CACzC,QAAQ,CAAC,UAAU,EACnB,WAAW,EACX,IAAI,CAAC,SAAS,CACf,CAAC,UAAU,CAAC;QACb,OAAO,CACL,CAAC,MAAM,CAAC,YAAY,IAAI,IAAI;YAC1B,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACjD,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAChE,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,IAAI,UAAU,CAAC;YAC7C,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,IAAI,aAAa,CAAC;YACnD,CAAC,MAAM,CAAC,UAAU,IAAI,IAAI;gBACxB,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7C,CAAC,aAAa,KAAK,IAAI,IAAI,SAAS,IAAI,aAAa,CAAC;YACtD,CAAC,gBAAgB,KAAK,IAAI,IAAI,SAAS,IAAI,gBAAgB,CAAC;YAC5D,CAAC,MAAM,CAAC,iBAAiB,IAAI,IAAI;gBAC/B,IAAI,CAAC,cAAc,IAAI,MAAM,CAAC,iBAAiB,CAAC;YAClD,CAAC,MAAM,CAAC,iBAAiB,IAAI,IAAI;gBAC/B,IAAI,CAAC,cAAc,IAAI,MAAM,CAAC,iBAAiB,CAAC,CACnD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,QAAgC,EAChC,IAA8D;IAE9D,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,QAAQ,CAAC;IAC1D,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,yBAAyB,CACzC,QAAQ,CAAC,UAAU,EACnB,WAAW,EACX,IAAI,CAAC,UAAU,CAAC,SAAS,CAC1B,CAAC,KAAK,CAAC;QACR,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmD,CAAC;IAC1E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC,cAAc;YAC5D,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC9B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC;QAC7C,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,6BAA6B,CAC3C,QAAgC;IAEhC,4BAA4B,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,OAAO,GAAqC,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAC1B,QAAQ,CAAC,UAAU,CAAC,UAAU;SAC3B,WACJ,CAAC,OAAO,EAAE,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,gBAAgB,SAAS,EAAE,CAAC;QAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,wCAAwC,CACxD,QAAQ,CAAC,UAAU,CACpB,CAAC;YACF,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzD,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW,CACxC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;gBAC5B,SAAS;gBACT,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC;aAC1C,CAAC,CACH,CAAC;YACF,MAAM,YAAY,GAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,mBAAmB,CAChC,IAAI,CAAC,UAAU,EACf,gBAAgB,SAAS,aAAa,CACvC,CAAC;YACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC;gBACvD,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CACjC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,CAC9C,CAAC;gBACF,MAAM,QAAQ,GAAG;oBACf,GAAG,IAAI,GAAG,CACR,KAAK;yBACF,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;yBAC3D,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CACvD,CAAC,OAAO,EAAE;iBACZ;qBACE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;qBAChD,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,+BAA+B,CAC3C,aAAa,EACb,OAAO,CAAC,OAAO,EACf,QAAQ,CACT,CAAC;gBACF,MAAM,kBAAkB,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;oBAC7C,OAAO,CACL,SAAS,KAAK,SAAS;wBACvB,SAAS,CAAC,GAAG,KAAK,IAAI;wBACtB,SAAS,CAAC,SAAS,KAAK,CAAC;wBACzB,SAAS,CAAC,UAAU,KAAK,CAAC,CAC3B,CAAC;gBACJ,CAAC,CAAC,CAAC;gBACH,MAAM,iBAAiB,GACrB,KAAK,CAAC,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC,CAAC;gBACxE,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;gBAC1C,MAAM,mBAAmB,GACvB,iBAAiB,IAAI,CAAC,kBAAkB;oBACtC,CAAC,CAAC,MAAM;yBACH,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC;yBAC9C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBACd,cAAc,EAAE,IAAI,CAAC,cAAc;wBACnC,OAAO,EAAE,eAAe,CAAC,SAAS,CAAE;qBACrC,CAAC,CAAC;oBACP,CAAC,CAAC,EAAE,CAAC;gBACT,MAAM,OAAO,GAAuC,EAAE,CAAC;gBACvD,IAAI,cAAc,IAAI,KAAK,CAAC,OAAO;oBACjC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAC1D,IAAI,KAAK,CAAC,SAAS;oBAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAChD,IAAI,KAAK,CAAC,UAAU;oBAAE,OAAO,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;gBAC3D,IAAI,kBAAkB;oBAAE,OAAO,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;qBACxD,IAAI,iBAAiB;oBAAE,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;gBAChE,YAAY,CAAC,SAAS,CAAC,GAAG;oBACxB,QAAQ,EAAE;wBACR,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACxD,GAAG,CAAC,OAAO,CAAC,iBAAiB;4BAC3B,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE;4BAClD,CAAC,CAAC,EAAE,CAAC;wBACP,GAAG,CAAC,OAAO,CAAC,eAAe;4BACzB,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE;4BAC9C,CAAC,CAAC,EAAE,CAAC;wBACP,KAAK,EACH,cAAc,IAAI,kBAAkB,IAAI,iBAAiB;4BACvD,CAAC,CAAC,IAAI;4BACN,CAAC,CAAC,KAAK,CAAC,KAAK;qBAClB;oBACD,KAAK;oBACL,SAAS,EAAE,OAAO;oBAClB,mBAAmB;oBACnB,OAAO,EAAE,eAAe,CAAC,SAAS,CAAC;iBACpC,CAAC;YACJ,CAAC;YACD,MAAM,SAAS,GAAG,mCAAmC,CACnD,IAAI,CAAC,UAAU,EACf,YAAY,EACZ,gBAAgB,SAAS,aAAa,CACvC,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAC3B,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CACpE,CAAC;YACF,MAAM,IAAI,GAAqB;gBAC7B,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,OAAO,EAAE,SAAS,CAAC,OAAO;gBAC1B,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;oBAChD,GAAG,QAAQ;oBACX,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;iBAClE,CAAC,CAAC;gBACH,OAAO;aACR,CAAC;YACF,MAAM,KAAK,GAAoC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM;oBAClB,IAAI,CAAoD;gBAC1D,iBAAiB,EAAE,KAAK,CAAC,MAAM;gBAC/B,yBAAyB,EAAE,KAAK,CAAC,MAAM,CACrC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CACZ,GAAG;oBACH,UAAU,CAAC,MAAM,CACf,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CACnB,KAAK,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EACtD,CAAC,CACF,EACH,CAAC,CACF;gBACD,OAAO;aACR,CAAC;YACF,OAAO,CAAC,IAAI,CACV,UAAU,CACR,QAAQ,EACR,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EACvB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CACnC,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;YAC9C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBAClC,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;gBACpD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC1B,CAAC;YACD,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;gBAC9C,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;gBACnE,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;gBACpD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC1B,CAAC;YACD,KAAK,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CACxD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAC3C,EAAE,CAAC;gBACF,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAC;gBAClE,MAAM,MAAM,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CACjC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,yBAAyB,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC;qBAC9D,UAAU;oBACX,yBAAyB,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,CAAC;yBAC/D,UAAU,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAC3C,CAAC;gBACF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;oBACnD,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;oBAC7C,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAE,CAAC;oBACxC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,WAAW,KAAK,WAAW;wBAChC,IAAI,CAAC,MAAM,KAAK,MAAM;wBACtB,IAAI,CAAC,SAAS,KAAK,iBAAiB,CACvC,CAAC;oBACF,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CACjC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,WAAW,KAAK,WAAW;wBAChC,IAAI,CAAC,MAAM,KAAK,MAAM;wBACtB,IAAI,CAAC,SAAS,KAAK,gBAAgB,CACtC,CAAC;oBACF,MAAM,eAAe,GAAG,CAAC,SAAiB,EAAE,EAAE,CAC5C,QAAQ,CAAC,aAAa;yBACnB,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,WAAW,KAAK,WAAW;wBAChC,IAAI,CAAC,MAAM,KAAK,MAAM;wBACtB,IAAI,CAAC,SAAS,KAAK,SAAS,CAC/B;yBACA,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBAC3D,MAAM,IAAI,GAAG,QAAQ;wBACnB,CAAC,CAAC,kBAAkB,CAChB,QAAQ,EACR,QAAQ,EACR,IAAI,CAAC,UAAU,EACf,GAAG,QAAQ,aAAa,CACzB;wBACH,CAAC,CAAC;4BACE,KAAK,EAAE,IAAI;4BACX,OAAO,EAAE,CAAC,SAAkB,CAAC;4BAC7B,SAAS,EAAE,EAAE;4BACb,OAAO,EAAE,aAAa,CAAC,eAAe,CAAC,iBAAiB,CAAC,CAAC;yBAC3D,CAAC;oBACN,MAAM,KAAK,GAAG,OAAO;wBACnB,CAAC,CAAC,kBAAkB,CAChB,QAAQ,EACR,OAAO,EACP,IAAI,CAAC,UAAU,EACf,GAAG,QAAQ,aAAa,CACzB;wBACH,CAAC,CAAC;4BACE,KAAK,EAAE,IAAI;4BACX,OAAO,EAAE,CAAC,SAAkB,CAAC;4BAC7B,SAAS,EAAE,EAAE;4BACb,OAAO,EAAE,aAAa,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAC;yBAC1D,CAAC;oBACN,MAAM,KAAK,GAAoC;wBAC7C,IAAI,EAAE,gBAAgB;wBACtB,QAAQ,EAAE,QAAQ;4BAChB,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;4BACtB,CAAC,CAAC,oBAAoB,CAClB,QAAQ,EACR,WAAW,EACX,MAAM,EACN,iBAAiB,CAClB;wBACL,OAAO,EAAE,OAAO;4BACd,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC;4BACrB,CAAC,CAAC,oBAAoB,CAClB,QAAQ,EACR,WAAW,EACX,MAAM,EACN,gBAAgB,CACjB;wBACL,OAAO,EAAE,aAAa,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;qBAC5D,CAAC;oBACF,OAAO,CAAC,IAAI,CACV,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC1D,IAAI,CAAC,SAAS,KAAK,eAAe;wBAChC,CAAC,CAAC,QAAQ,KAAK,SAAS;wBACxB,CAAC,CAAC,QAAQ,KAAK,MAAM,CACxB,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,CACf,OAA4C,EACjB,EAAE,CAAC,CAAC;gBAC/B,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;gBACtB,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;aAChC,CAAC,CAAC;YACH,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,CAAC,IAA2B,EAAE,IAAY,EAAE,EAAE,CAC5D,IAAI,CAAC,EAAE,KAAK,UAAU;oBACpB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;oBACtB,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;gBACrD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,QAAQ,YAAY,CAAC,CAAC;gBAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,QAAQ,aAAa,CAAC,CAAC;gBACjE,OAAO,CAAC,IAAI,CACV,UAAU,CACR,QAAQ,EACR,IAAI,EACJ,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,EAC7C,IAAI,EACJ,KAAK,EACL,CAAC,QAAQ,EAAE,EAAE,CACX,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAC5D,CACF,CAAC;YACJ,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACrC,MAAM,IAAI,GAAG,kBAAkB,CAC7B,QAAQ,EACR,IAAI,EACJ,IAAI,CAAC,MAAM,EACX,GAAG,QAAQ,SAAS,CACrB,CAAC;gBACF,MAAM,KAAK,GACT,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,UAAU;oBAC7B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAC/B,CAAC,CAAC,kBAAkB,CAChB,QAAQ,EACR,IAAI,EACJ,IAAI,CAAC,QAAQ,EACb,GAAG,QAAQ,WAAW,CACvB,CAAC;gBACR,OAAO,CAAC,IAAI,CACV,UAAU,CACR,QAAQ,EACR,IAAI,EACJ,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,EAC7C,IAAI,EACJ,KAAK,EACL,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CACnC,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,kBAAkB,CAC7B,QAAQ,EACR,IAAI,EACJ,IAAI,CAAC,QAAQ,EACb,GAAG,QAAQ,WAAW,CACvB,CAAC;gBACF,MAAM,KAAK,GAAG,kBAAkB,CAC9B,QAAQ,EACR,IAAI,EACJ,IAAI,CAAC,OAAO,EACZ,GAAG,QAAQ,UAAU,CACtB,CAAC;gBACF,OAAO,CAAC,IAAI,CACV,UAAU,CACR,QAAQ,EACR,IAAI,EACJ,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,EAC7C,IAAI,EACJ,KAAK,EACL,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,CACrC,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,UAAU,CACjB,KAAQ,EACR,OAAO,IAAI,OAAO,EAAU;IAE5B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAChE,OAAO,KAAkC,CAAC;IAC5C,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;QACjE,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1B,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAA8B,CAAC;AAC3D,CAAC"}
@@ -0,0 +1,32 @@
1
+ import type { DiagnosticComparisonPredicate, DiagnosticSourceLocation } from "./diagnosticDefinitions.js";
2
+ export type DiagnosticComparisonClassification = {
3
+ readonly status: "evaluated";
4
+ readonly relation: "less" | "equal" | "greater";
5
+ } | {
6
+ readonly status: "not-evaluated";
7
+ readonly reason: "missing" | "non-finite" | "tolerance-overflow";
8
+ };
9
+ export type DiagnosticRuleNotEvaluatedReason = "missing" | "imputed" | "non-finite" | "structural-ambiguity" | "aggregation-overflow" | "expression-overflow" | "tolerance-overflow";
10
+ export interface DiagnosticExpressionOverflow {
11
+ readonly expressionPath: string;
12
+ readonly sources: readonly DiagnosticSourceLocation[];
13
+ }
14
+ export interface DiagnosticRuleEvaluation {
15
+ readonly ruleId: string;
16
+ readonly status: "pass" | "triggered" | "not-evaluated";
17
+ readonly severity: "warning" | "fail";
18
+ readonly left: number | null;
19
+ readonly right: number | null;
20
+ readonly relation: "less" | "equal" | "greater" | null;
21
+ readonly notEvaluatedReasons: readonly DiagnosticRuleNotEvaluatedReason[];
22
+ readonly expressionOverflows: readonly DiagnosticExpressionOverflow[];
23
+ readonly code: string | null;
24
+ readonly message: string | null;
25
+ }
26
+ /** Pure, overflow-safe three-way comparison shared by metric and review rules. */
27
+ export declare function classifyDiagnosticComparison(left: number | null, right: number | null, tolerance?: {
28
+ readonly absolute?: number;
29
+ readonly relative?: number;
30
+ }): DiagnosticComparisonClassification;
31
+ export declare function diagnosticPredicateMatches(predicate: DiagnosticComparisonPredicate["operator"], relation: "less" | "equal" | "greater"): boolean;
32
+ //# sourceMappingURL=diagnosticRules.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diagnosticRules.d.ts","sourceRoot":"","sources":["../src/diagnosticRules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAE1G,MAAM,MAAM,kCAAkC,GAC1C;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;CAAE,GACjF;IAAE,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,YAAY,GAAG,oBAAoB,CAAA;CAAE,CAAC;AAE3G,MAAM,MAAM,gCAAgC,GACxC,SAAS,GACT,SAAS,GACT,YAAY,GACZ,sBAAsB,GACtB,sBAAsB,GACtB,qBAAqB,GACrB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,wBAAwB,EAAE,CAAC;CACvD;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,GAAG,eAAe,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,MAAM,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,mBAAmB,EAAE,SAAS,gCAAgC,EAAE,CAAC;IAC1E,QAAQ,CAAC,mBAAmB,EAAE,SAAS,4BAA4B,EAAE,CAAC;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED,kFAAkF;AAClF,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,GAAG,IAAI,EACnB,KAAK,EAAE,MAAM,GAAG,IAAI,EACpB,SAAS,GAAE;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GACzE,kCAAkC,CAkBpC;AAED,wBAAgB,0BAA0B,CACxC,SAAS,EAAE,6BAA6B,CAAC,UAAU,CAAC,EACpD,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,GACrC,OAAO,CAOT"}
@@ -0,0 +1,32 @@
1
+ /** Pure, overflow-safe three-way comparison shared by metric and review rules. */
2
+ export function classifyDiagnosticComparison(left, right, tolerance = {}) {
3
+ if (left === null || right === null)
4
+ return { status: "not-evaluated", reason: "missing" };
5
+ if (!Number.isFinite(left) || !Number.isFinite(right))
6
+ return { status: "not-evaluated", reason: "non-finite" };
7
+ const absolute = tolerance.absolute ?? 0;
8
+ const relative = tolerance.relative ?? 0;
9
+ const scale = Math.max(1, Math.abs(left), Math.abs(right));
10
+ const relativeTolerance = relative * scale;
11
+ const totalTolerance = absolute + relativeTolerance;
12
+ if (!Number.isFinite(absolute) || absolute < 0 || !Number.isFinite(relative) || relative < 0 ||
13
+ !Number.isFinite(relativeTolerance) || !Number.isFinite(totalTolerance)) {
14
+ return { status: "not-evaluated", reason: "tolerance-overflow" };
15
+ }
16
+ if (left === right)
17
+ return { status: "evaluated", relation: "equal" };
18
+ const distance = left > right ? left - right : right - left;
19
+ if (Number.isFinite(distance) && distance <= totalTolerance) {
20
+ return { status: "evaluated", relation: "equal" };
21
+ }
22
+ return { status: "evaluated", relation: left < right ? "less" : "greater" };
23
+ }
24
+ export function diagnosticPredicateMatches(predicate, relation) {
25
+ return predicate === "lt" ? relation === "less"
26
+ : predicate === "lte" ? relation !== "greater"
27
+ : predicate === "eq" ? relation === "equal"
28
+ : predicate === "neq" ? relation !== "equal"
29
+ : predicate === "gte" ? relation !== "less"
30
+ : relation === "greater";
31
+ }
32
+ //# sourceMappingURL=diagnosticRules.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diagnosticRules.js","sourceRoot":"","sources":["../src/diagnosticRules.ts"],"names":[],"mappings":"AAiCA,kFAAkF;AAClF,MAAM,UAAU,4BAA4B,CAC1C,IAAmB,EACnB,KAAoB,EACpB,YAAwE,EAAE;IAE1E,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAChH,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,IAAI,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,MAAM,iBAAiB,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC3C,MAAM,cAAc,GAAG,QAAQ,GAAG,iBAAiB,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC;QACxF,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC;IAC5D,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,cAAc,EAAE,CAAC;QAC5D,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,SAAoD,EACpD,QAAsC;IAEtC,OAAO,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM;QAC7C,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS;YAC5C,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;gBACzC,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;oBAC1C,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM;wBACzC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC;AACrC,CAAC"}