@polintpro/proposit-core 0.5.2 → 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 +37 -1
- 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 +7 -34
- package/dist/cli/engine.js.map +1 -1
- package/dist/cli/import.d.ts.map +1 -1
- package/dist/cli/import.js +2 -1
- 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 +7 -15
- package/dist/lib/consts.js.map +1 -1
- package/dist/lib/core/argument-engine.d.ts +15 -27
- package/dist/lib/core/argument-engine.d.ts.map +1 -1
- package/dist/lib/core/argument-engine.js +236 -242
- 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-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 +30 -9
- 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 +18 -1
- 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 +2 -3
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +2 -2
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/schemata/propositional.d.ts +36 -2
- package/dist/lib/schemata/propositional.d.ts.map +1 -1
- package/dist/lib/schemata/propositional.js +30 -4
- 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 +2 -4
- 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/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
|
@@ -1,105 +1,22 @@
|
|
|
1
1
|
import fs from "node:fs/promises";
|
|
2
2
|
import path from "node:path";
|
|
3
|
-
import
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
import { getSourceDir, getSourcesDir } from "../config.js";
|
|
7
|
-
import { errorExit } from "../output.js";
|
|
8
|
-
import { CliSourceMetaSchema } from "../schemata.js";
|
|
9
|
-
// ── Source meta I/O ─────────────────────────────────────────────────────────
|
|
10
|
-
export async function readSourceMeta(argumentId, version, sourceId) {
|
|
11
|
-
const filePath = path.join(getSourceDir(argumentId, version, sourceId), "meta.json");
|
|
12
|
-
const content = await fs.readFile(filePath, "utf-8").catch(() => {
|
|
13
|
-
errorExit(`Source "${sourceId}" not found.`);
|
|
14
|
-
});
|
|
15
|
-
const raw = JSON.parse(content);
|
|
16
|
-
try {
|
|
17
|
-
return Value.Parse(CliSourceMetaSchema, raw);
|
|
18
|
-
}
|
|
19
|
-
catch {
|
|
20
|
-
errorExit(`Invalid or corrupt file: ${filePath}`);
|
|
21
|
-
}
|
|
22
|
-
}
|
|
23
|
-
export async function writeSourceMeta(argumentId, version, sourceId, data) {
|
|
24
|
-
const dir = getSourceDir(argumentId, version, sourceId);
|
|
25
|
-
await fs.mkdir(dir, { recursive: true });
|
|
26
|
-
await fs.writeFile(path.join(dir, "meta.json"), JSON.stringify(data, null, 2));
|
|
27
|
-
}
|
|
28
|
-
export async function listSourceIds(argumentId, version) {
|
|
29
|
-
const dir = getSourcesDir(argumentId, version);
|
|
30
|
-
await fs.mkdir(dir, { recursive: true });
|
|
31
|
-
const entries = await fs
|
|
32
|
-
.readdir(dir, { withFileTypes: true })
|
|
33
|
-
.catch(() => []);
|
|
34
|
-
return entries
|
|
35
|
-
.filter((e) => e.isDirectory())
|
|
36
|
-
.map((e) => e.name)
|
|
37
|
-
.sort();
|
|
38
|
-
}
|
|
39
|
-
export async function deleteSourceDir(argumentId, version, sourceId) {
|
|
40
|
-
await fs.rm(getSourceDir(argumentId, version, sourceId), {
|
|
41
|
-
recursive: true,
|
|
42
|
-
force: true,
|
|
43
|
-
});
|
|
44
|
-
}
|
|
45
|
-
// ── Association I/O ─────────────────────────────────────────────────────────
|
|
46
|
-
const VariableAssociationSchema = Type.Array(Type.Object({
|
|
47
|
-
id: UUID,
|
|
48
|
-
sourceId: UUID,
|
|
49
|
-
variableId: UUID,
|
|
50
|
-
argumentId: UUID,
|
|
51
|
-
argumentVersion: Type.Number(),
|
|
52
|
-
checksum: Type.Optional(Type.String()),
|
|
53
|
-
}));
|
|
54
|
-
const ExpressionAssociationSchema = Type.Array(Type.Object({
|
|
55
|
-
id: UUID,
|
|
56
|
-
sourceId: UUID,
|
|
57
|
-
expressionId: UUID,
|
|
58
|
-
premiseId: UUID,
|
|
59
|
-
argumentId: UUID,
|
|
60
|
-
argumentVersion: Type.Number(),
|
|
61
|
-
checksum: Type.Optional(Type.String()),
|
|
62
|
-
}));
|
|
63
|
-
function variableAssociationsPath(argumentId, version) {
|
|
64
|
-
return path.join(getSourcesDir(argumentId, version), "variable-associations.json");
|
|
3
|
+
import { getStateDir } from "../config.js";
|
|
4
|
+
export function claimSourceAssociationsPath() {
|
|
5
|
+
return path.join(getStateDir(), "claim-source-associations.json");
|
|
65
6
|
}
|
|
66
|
-
function
|
|
67
|
-
|
|
68
|
-
}
|
|
69
|
-
export async function readVariableAssociations(argumentId, version) {
|
|
70
|
-
const filePath = variableAssociationsPath(argumentId, version);
|
|
71
|
-
const content = await fs.readFile(filePath, "utf-8").catch(() => null);
|
|
72
|
-
if (content === null)
|
|
73
|
-
return [];
|
|
74
|
-
const raw = JSON.parse(content);
|
|
7
|
+
export async function readClaimSourceAssociations() {
|
|
8
|
+
const filePath = claimSourceAssociationsPath();
|
|
75
9
|
try {
|
|
76
|
-
|
|
10
|
+
const content = await fs.readFile(filePath, "utf-8");
|
|
11
|
+
return JSON.parse(content);
|
|
77
12
|
}
|
|
78
13
|
catch {
|
|
79
|
-
errorExit(`Invalid or corrupt file: ${filePath}`);
|
|
80
|
-
}
|
|
81
|
-
}
|
|
82
|
-
export async function writeVariableAssociations(argumentId, version, data) {
|
|
83
|
-
const dir = getSourcesDir(argumentId, version);
|
|
84
|
-
await fs.mkdir(dir, { recursive: true });
|
|
85
|
-
await fs.writeFile(variableAssociationsPath(argumentId, version), JSON.stringify(data, null, 2));
|
|
86
|
-
}
|
|
87
|
-
export async function readExpressionAssociations(argumentId, version) {
|
|
88
|
-
const filePath = expressionAssociationsPath(argumentId, version);
|
|
89
|
-
const content = await fs.readFile(filePath, "utf-8").catch(() => null);
|
|
90
|
-
if (content === null)
|
|
91
14
|
return [];
|
|
92
|
-
const raw = JSON.parse(content);
|
|
93
|
-
try {
|
|
94
|
-
return Value.Parse(ExpressionAssociationSchema, raw);
|
|
95
|
-
}
|
|
96
|
-
catch {
|
|
97
|
-
errorExit(`Invalid or corrupt file: ${filePath}`);
|
|
98
15
|
}
|
|
99
16
|
}
|
|
100
|
-
export async function
|
|
101
|
-
const
|
|
102
|
-
await fs.mkdir(
|
|
103
|
-
await fs.writeFile(
|
|
17
|
+
export async function writeClaimSourceAssociations(associations) {
|
|
18
|
+
const filePath = claimSourceAssociationsPath();
|
|
19
|
+
await fs.mkdir(path.dirname(filePath), { recursive: true });
|
|
20
|
+
await fs.writeFile(filePath, JSON.stringify(associations, null, 2));
|
|
104
21
|
}
|
|
105
22
|
//# sourceMappingURL=sources.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/cli/storage/sources.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,
|
|
1
|
+
{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/cli/storage/sources.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE1C,MAAM,UAAU,2BAA2B;IACvC,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,gCAAgC,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B;IAC7C,MAAM,QAAQ,GAAG,2BAA2B,EAAE,CAAA;IAC9C,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QACpD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAA;IAC3C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,EAAE,CAAA;IACb,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAC9C,YAAuB;IAEvB,MAAM,QAAQ,GAAG,2BAA2B,EAAE,CAAA;IAC9C,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AACvE,CAAC"}
|
package/dist/lib/consts.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,
|
|
1
|
+
{"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,CAmCjE,CAAA;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAkBrB"}
|
package/dist/lib/consts.js
CHANGED
|
@@ -17,28 +17,21 @@ export const DEFAULT_CHECKSUM_CONFIG = {
|
|
|
17
17
|
"argumentVersion",
|
|
18
18
|
"claimId",
|
|
19
19
|
"claimVersion",
|
|
20
|
+
"boundPremiseId",
|
|
21
|
+
"boundArgumentId",
|
|
22
|
+
"boundArgumentVersion",
|
|
20
23
|
]),
|
|
21
24
|
premiseFields: new Set(["id", "argumentId", "argumentVersion"]),
|
|
22
25
|
argumentFields: new Set(["id", "version"]),
|
|
23
26
|
roleFields: new Set(["conclusionPremiseId"]),
|
|
24
27
|
claimFields: new Set(["id", "version"]),
|
|
25
28
|
sourceFields: new Set(["id", "version"]),
|
|
26
|
-
|
|
27
|
-
"id",
|
|
28
|
-
"sourceId",
|
|
29
|
-
"sourceVersion",
|
|
30
|
-
"variableId",
|
|
31
|
-
"argumentId",
|
|
32
|
-
"argumentVersion",
|
|
33
|
-
]),
|
|
34
|
-
expressionSourceAssociationFields: new Set([
|
|
29
|
+
claimSourceAssociationFields: new Set([
|
|
35
30
|
"id",
|
|
31
|
+
"claimId",
|
|
32
|
+
"claimVersion",
|
|
36
33
|
"sourceId",
|
|
37
34
|
"sourceVersion",
|
|
38
|
-
"expressionId",
|
|
39
|
-
"premiseId",
|
|
40
|
-
"argumentId",
|
|
41
|
-
"argumentVersion",
|
|
42
35
|
]),
|
|
43
36
|
};
|
|
44
37
|
/**
|
|
@@ -54,8 +47,7 @@ export function createChecksumConfig(additional) {
|
|
|
54
47
|
"roleFields",
|
|
55
48
|
"claimFields",
|
|
56
49
|
"sourceFields",
|
|
57
|
-
"
|
|
58
|
-
"expressionSourceAssociationFields",
|
|
50
|
+
"claimSourceAssociationFields",
|
|
59
51
|
];
|
|
60
52
|
const result = {};
|
|
61
53
|
for (const key of keys) {
|
package/dist/lib/consts.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,IAAI;QACJ,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,IAAI;QACJ,QAAQ;QACR,YAAY;QACZ,iBAAiB;QACjB,SAAS;QACT,cAAc;
|
|
1
|
+
{"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,IAAI;QACJ,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,IAAI;QACJ,QAAQ;QACR,YAAY;QACZ,iBAAiB;QACjB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KACzB,CAAC;IACF,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC/D,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC5C,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvC,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACxC,4BAA4B,EAAE,IAAI,GAAG,CAAC;QAClC,IAAI;QACJ,SAAS;QACT,cAAc;QACd,UAAU;QACV,eAAe;KAClB,CAAC;CACL,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA+B;IAE/B,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,8BAA8B;KACxB,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,CAAA;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type
|
|
1
|
+
import { type TClaimBoundVariable, type TPremiseBoundVariable, type TCoreArgument, type TCoreClaim, type TCoreClaimSourceAssociation, type TCorePremise, type TCorePropositionalExpression, type TCorePropositionalVariable, type TOptionalChecksum, type TCoreSource } from "../schemata/index.js";
|
|
2
2
|
import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreArgumentRoleState, TCoreExpressionAssignment, TCoreValidationResult, TCoreValidityCheckOptions, TCoreValidityCheckResult } from "../types/evaluation.js";
|
|
3
3
|
import type { TCoreChecksumConfig } from "../types/checksum.js";
|
|
4
4
|
import type { TCorePositionConfig } from "../utils/position.js";
|
|
@@ -8,8 +8,7 @@ import type { TExpressionInput } from "./expression-manager.js";
|
|
|
8
8
|
import { PremiseEngine } from "./premise-engine.js";
|
|
9
9
|
import type { TPremiseEngineSnapshot } from "./premise-engine.js";
|
|
10
10
|
import type { TVariableManagerSnapshot } from "./variable-manager.js";
|
|
11
|
-
import type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity,
|
|
12
|
-
import type { TSourceManagerSnapshot } from "./source-manager.js";
|
|
11
|
+
import type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity, TDisplayable, TChecksummable, TClaimLookup, TSourceLookup, TClaimSourceLookup } from "./interfaces/index.js";
|
|
13
12
|
export type TLogicEngineOptions = {
|
|
14
13
|
checksumConfig?: TCoreChecksumConfig;
|
|
15
14
|
positionConfig?: TCorePositionConfig;
|
|
@@ -20,7 +19,6 @@ export type TArgumentEngineSnapshot<TArg extends TCoreArgument = TCoreArgument,
|
|
|
20
19
|
premises: TPremiseEngineSnapshot<TPremise, TExpr>[];
|
|
21
20
|
conclusionPremiseId?: string;
|
|
22
21
|
config?: TLogicEngineOptions;
|
|
23
|
-
sources?: TSourceManagerSnapshot;
|
|
24
22
|
};
|
|
25
23
|
/**
|
|
26
24
|
* Manages a propositional logic argument composed of premises, variable
|
|
@@ -29,13 +27,13 @@ export type TArgumentEngineSnapshot<TArg extends TCoreArgument = TCoreArgument,
|
|
|
29
27
|
* Provides premise CRUD, role management, evaluation of individual
|
|
30
28
|
* assignments, and exhaustive validity checking via truth-table enumeration.
|
|
31
29
|
*/
|
|
32
|
-
export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim> implements TPremiseCrud<TArg, TPremise, TExpr, TVar>, TVariableManagement<TArg, TPremise, TExpr, TVar>, TArgumentExpressionQueries<TExpr>, TArgumentRoleState<TArg, TPremise, TExpr, TVar>, TArgumentEvaluation, TArgumentLifecycle<TArg, TPremise, TExpr, TVar>, TArgumentIdentity<TArg>,
|
|
30
|
+
export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> implements TPremiseCrud<TArg, TPremise, TExpr, TVar>, TVariableManagement<TArg, TPremise, TExpr, TVar>, TArgumentExpressionQueries<TExpr>, TArgumentRoleState<TArg, TPremise, TExpr, TVar>, TArgumentEvaluation, TArgumentLifecycle<TArg, TPremise, TExpr, TVar>, TArgumentIdentity<TArg>, TDisplayable, TChecksummable {
|
|
33
31
|
private argument;
|
|
34
32
|
private premises;
|
|
35
33
|
private variables;
|
|
36
|
-
private sourceManager;
|
|
37
34
|
private claimLibrary;
|
|
38
35
|
private sourceLibrary;
|
|
36
|
+
private claimSourceLibrary;
|
|
39
37
|
private conclusionPremiseId;
|
|
40
38
|
private checksumConfig?;
|
|
41
39
|
private positionConfig?;
|
|
@@ -45,7 +43,11 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
|
|
|
45
43
|
private listeners;
|
|
46
44
|
private reactiveDirty;
|
|
47
45
|
private cachedReactiveSnapshot;
|
|
48
|
-
constructor(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>, sourceLibrary: TSourceLookup<TSource>, options?: TLogicEngineOptions);
|
|
46
|
+
constructor(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>, sourceLibrary: TSourceLookup<TSource>, claimSourceLibrary: TClaimSourceLookup<TAssoc>, options?: TLogicEngineOptions);
|
|
47
|
+
private createCircularityCheck;
|
|
48
|
+
private wouldCreateCycle;
|
|
49
|
+
private wireCircularityCheck;
|
|
50
|
+
private wireEmptyBoundPremiseCheck;
|
|
49
51
|
subscribe: (listener: () => void) => (() => void);
|
|
50
52
|
protected notifySubscribers(): void;
|
|
51
53
|
getSnapshot: () => TReactiveSnapshot<TArg, TPremise, TExpr, TVar>;
|
|
@@ -63,18 +65,16 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
|
|
|
63
65
|
hasPremise(premiseId: string): boolean;
|
|
64
66
|
listPremiseIds(): string[];
|
|
65
67
|
listPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar>[];
|
|
66
|
-
addVariable(variable: TOptionalChecksum<
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
claimId?: string;
|
|
70
|
-
claimVersion?: number;
|
|
71
|
-
}): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg>;
|
|
68
|
+
addVariable(variable: TOptionalChecksum<TClaimBoundVariable> & Record<string, unknown>): TCoreMutationResult<TVar, TExpr, TVar, TPremise, TArg>;
|
|
69
|
+
bindVariableToPremise(variable: TOptionalChecksum<TPremiseBoundVariable> & Record<string, unknown>): TCoreMutationResult<TVar, TExpr, TVar, TPremise, TArg>;
|
|
70
|
+
updateVariable(variableId: string, updates: Record<string, unknown>): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg>;
|
|
72
71
|
removeVariable(variableId: string): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg>;
|
|
73
72
|
getVariables(): TVar[];
|
|
74
73
|
getVariable(variableId: string): TVar | undefined;
|
|
75
74
|
hasVariable(variableId: string): boolean;
|
|
76
75
|
getVariableBySymbol(symbol: string): TVar | undefined;
|
|
77
76
|
buildVariableIndex<K>(keyFn: (v: TVar) => K): Map<K, TVar>;
|
|
77
|
+
getVariablesBoundToPremise(premiseId: string): TVar[];
|
|
78
78
|
getExpression(expressionId: string): TExpr | undefined;
|
|
79
79
|
hasExpression(expressionId: string): boolean;
|
|
80
80
|
getExpressionPremiseId(expressionId: string): string | undefined;
|
|
@@ -87,28 +87,16 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
|
|
|
87
87
|
clearConclusionPremise(): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg>;
|
|
88
88
|
getConclusionPremise(): PremiseEngine<TArg, TPremise, TExpr, TVar> | undefined;
|
|
89
89
|
listSupportingPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar>[];
|
|
90
|
-
addVariableSourceAssociation(sourceId: string, sourceVersion: number, variableId: string): TCoreMutationResult<TCoreVariableSourceAssociation, TExpr, TVar, TPremise, TArg>;
|
|
91
|
-
removeVariableSourceAssociation(associationId: string): TCoreMutationResult<TCoreVariableSourceAssociation | undefined, TExpr, TVar, TPremise, TArg>;
|
|
92
|
-
addExpressionSourceAssociation(sourceId: string, sourceVersion: number, expressionId: string, premiseId: string): TCoreMutationResult<TCoreExpressionSourceAssociation, TExpr, TVar, TPremise, TArg>;
|
|
93
|
-
removeExpressionSourceAssociation(associationId: string): TCoreMutationResult<TCoreExpressionSourceAssociation | undefined, TExpr, TVar, TPremise, TArg>;
|
|
94
|
-
getAssociationsForSource(sourceId: string): {
|
|
95
|
-
variable: TCoreVariableSourceAssociation[];
|
|
96
|
-
expression: TCoreExpressionSourceAssociation[];
|
|
97
|
-
};
|
|
98
|
-
getAssociationsForVariable(variableId: string): TCoreVariableSourceAssociation[];
|
|
99
|
-
getAssociationsForExpression(expressionId: string): TCoreExpressionSourceAssociation[];
|
|
100
|
-
getAllVariableSourceAssociations(): TCoreVariableSourceAssociation[];
|
|
101
|
-
getAllExpressionSourceAssociations(): TCoreExpressionSourceAssociation[];
|
|
102
90
|
snapshot(): TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>;
|
|
103
91
|
/** Creates a new ArgumentEngine from a previously captured snapshot. */
|
|
104
|
-
static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim>(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>, claimLibrary: TClaimLookup<TClaim>, sourceLibrary: TSourceLookup<TSource>): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim>;
|
|
92
|
+
static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation>(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>, claimLibrary: TClaimLookup<TClaim>, sourceLibrary: TSourceLookup<TSource>, claimSourceLibrary: TClaimSourceLookup<TAssoc>): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
|
|
105
93
|
/**
|
|
106
94
|
* Creates a new ArgumentEngine from flat arrays of entities, as typically
|
|
107
95
|
* stored in a relational database. Expressions are grouped by their
|
|
108
96
|
* `premiseId` field and loaded in BFS order (roots first, then children
|
|
109
97
|
* of already-added nodes) to satisfy parent-existence requirements.
|
|
110
98
|
*/
|
|
111
|
-
static fromData<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim>(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>, sourceLibrary: TSourceLookup<TSource>, variables: TOptionalChecksum<TVar>[], premises: TOptionalChecksum<TPremise>[], expressions: TExpressionInput<TExpr>[], roles: TCoreArgumentRoleState, config?: TLogicEngineOptions): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim>;
|
|
99
|
+
static fromData<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation>(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>, sourceLibrary: TSourceLookup<TSource>, claimSourceLibrary: TClaimSourceLookup<TAssoc>, variables: TOptionalChecksum<TVar>[], premises: TOptionalChecksum<TPremise>[], expressions: TExpressionInput<TExpr>[], roles: TCoreArgumentRoleState, config?: TLogicEngineOptions): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
|
|
112
100
|
rollback(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>): void;
|
|
113
101
|
checksum(): string;
|
|
114
102
|
private computeChecksum;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AACA,OAAO,EAGH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,2BAA2B,EAChC,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,WAAW,EACnB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EAEtB,yBAAyB,EAIzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAC3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAE/D,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAS7B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,aAAa,EACb,kBAAkB,EACrB,MAAM,uBAAuB,CAAA;AAE9B,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAExE,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACzC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,iBAAiB,CAAC,IAAI,CAAC,EACvB,YAAY,EACZ,cAAc;IAElB,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,aAAa,CAAwB;IAC7C,OAAO,CAAC,kBAAkB,CAA4B;IACtD,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,cAAc,CAAoB;IAC1C,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAMpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,EACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAC9C,OAAO,CAAC,EAAE,mBAAmB;IAiBjC,OAAO,CAAC,sBAAsB;IAS9B,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,0BAA0B;IAiB3B,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAM5B,WAAW,QAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAEtE;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP;IAyED,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IAmClB,WAAW,IAAI,IAAI;IAInB,eAAe,IAAI,MAAM;IA0BzB,aAAa,CAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IA+CM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAwClE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIlD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IAS5D,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAyClD,qBAAqB,CACxB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAsClD,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4F9D,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA+B9D,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIjD,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE;IAOrD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMlD,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IAS9B,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAmBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAeM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMI,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAevE,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAE/B,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC9D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,EACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,GAC/C,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;IAqDvE;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAE/B,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,EACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAC9C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,GAC7B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;IAqGhE,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAqCA,QAAQ,IAAI,MAAM;IAQzB,OAAO,CAAC,eAAe;IA6BvB,OAAO,CAAC,SAAS;IAIjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAuEM,oBAAoB,IAAI,qBAAqB;IAsE7C,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IA6KzB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;CA6J9B"}
|