@proposit/proposit-core 2.4.3 → 3.0.0
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/dist/extensions/pipelines/ingestion/canonical-stages.d.ts +12 -0
- package/dist/extensions/pipelines/ingestion/canonical-stages.d.ts.map +1 -0
- package/dist/extensions/pipelines/ingestion/canonical-stages.js +50 -0
- package/dist/extensions/pipelines/ingestion/canonical-stages.js.map +1 -0
- package/dist/extensions/pipelines/ingestion/index.d.ts +1 -0
- package/dist/extensions/pipelines/ingestion/index.d.ts.map +1 -1
- package/dist/extensions/pipelines/ingestion/index.js +1 -0
- package/dist/extensions/pipelines/ingestion/index.js.map +1 -1
- package/dist/lib/core/diff.d.ts +15 -0
- package/dist/lib/core/diff.d.ts.map +1 -1
- package/dist/lib/core/diff.js +98 -4
- package/dist/lib/core/diff.js.map +1 -1
- package/dist/lib/core/proposit-core.d.ts +4 -0
- package/dist/lib/core/proposit-core.d.ts.map +1 -1
- package/dist/lib/core/proposit-core.js +4 -0
- package/dist/lib/core/proposit-core.js.map +1 -1
- package/dist/lib/index.d.ts +0 -5
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +9 -18
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/pipelines/scheduling.d.ts +42 -0
- package/dist/lib/pipelines/scheduling.d.ts.map +1 -0
- package/dist/lib/pipelines/scheduling.js +79 -0
- package/dist/lib/pipelines/scheduling.js.map +1 -0
- package/dist/lib/types/diff.d.ts +15 -0
- package/dist/lib/types/diff.d.ts.map +1 -1
- package/package.json +6 -1
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
/** Ordered stage ids of the scholar ingestion pipeline. */
|
|
2
|
+
export declare const INGESTION_SCHOLAR_STAGE_IDS: readonly string[];
|
|
3
|
+
/** Ordered stage ids of the scribe ingestion pipeline. */
|
|
4
|
+
export declare const INGESTION_SCRIBE_STAGE_IDS: readonly string[];
|
|
5
|
+
/**
|
|
6
|
+
* The ordered canonical stage ids for a pipeline id, or an empty list for an
|
|
7
|
+
* unknown / absent id (so a consumer degrades gracefully to whatever stages it
|
|
8
|
+
* actually observes). The ids are the stable pipeline identifiers set by the
|
|
9
|
+
* scholar / scribe factories.
|
|
10
|
+
*/
|
|
11
|
+
export declare function getCanonicalStageIds(pipelineId: string | undefined): readonly string[];
|
|
12
|
+
//# sourceMappingURL=canonical-stages.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"canonical-stages.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/canonical-stages.ts"],"names":[],"mappings":"AASA,2DAA2D;AAC3D,eAAO,MAAM,2BAA2B,EAAE,SAAS,MAAM,EAaxD,CAAA;AAED,0DAA0D;AAC1D,eAAO,MAAM,0BAA0B,EAAE,SAAS,MAAM,EAWvD,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,MAAM,GAAG,SAAS,GAC/B,SAAS,MAAM,EAAE,CAMnB"}
|
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
// Canonical stage-id ordering for the ingestion pipeline family.
|
|
2
|
+
//
|
|
3
|
+
// Each list is the ordered stage-id sequence the corresponding factory
|
|
4
|
+
// (`createScholarPipeline` / `createScribePipeline`) produces — the single
|
|
5
|
+
// source of truth a consumer can import to render or drive the pipeline's
|
|
6
|
+
// stages without hardcoding its own copy. The lists are maintained by hand and
|
|
7
|
+
// guarded against drift by a test that asserts each equals
|
|
8
|
+
// `pipeline.stages.map((s) => s.id)`.
|
|
9
|
+
/** Ordered stage ids of the scholar ingestion pipeline. */
|
|
10
|
+
export const INGESTION_SCHOLAR_STAGE_IDS = [
|
|
11
|
+
"segmentation",
|
|
12
|
+
"claim-mention-extraction",
|
|
13
|
+
"citation-source-detection",
|
|
14
|
+
"axiom-indicator-detection",
|
|
15
|
+
"claim-canonicalization",
|
|
16
|
+
"claim-type-classification",
|
|
17
|
+
"claim-reference-validation",
|
|
18
|
+
"variable-assignment",
|
|
19
|
+
"relation-extraction",
|
|
20
|
+
"conclusion-selection",
|
|
21
|
+
"formula-compilation",
|
|
22
|
+
"formula-validation",
|
|
23
|
+
];
|
|
24
|
+
/** Ordered stage ids of the scribe ingestion pipeline. */
|
|
25
|
+
export const INGESTION_SCRIBE_STAGE_IDS = [
|
|
26
|
+
"extract",
|
|
27
|
+
"claim-canonicalization",
|
|
28
|
+
"claim-type-classification",
|
|
29
|
+
"claim-reference-validation",
|
|
30
|
+
"variable-assignment",
|
|
31
|
+
"scribe-structure",
|
|
32
|
+
"relation-extraction",
|
|
33
|
+
"conclusion-selection",
|
|
34
|
+
"formula-compilation",
|
|
35
|
+
"formula-validation",
|
|
36
|
+
];
|
|
37
|
+
/**
|
|
38
|
+
* The ordered canonical stage ids for a pipeline id, or an empty list for an
|
|
39
|
+
* unknown / absent id (so a consumer degrades gracefully to whatever stages it
|
|
40
|
+
* actually observes). The ids are the stable pipeline identifiers set by the
|
|
41
|
+
* scholar / scribe factories.
|
|
42
|
+
*/
|
|
43
|
+
export function getCanonicalStageIds(pipelineId) {
|
|
44
|
+
if (pipelineId === "argument-ingestion-scholar")
|
|
45
|
+
return INGESTION_SCHOLAR_STAGE_IDS;
|
|
46
|
+
if (pipelineId === "argument-ingestion-scribe")
|
|
47
|
+
return INGESTION_SCRIBE_STAGE_IDS;
|
|
48
|
+
return [];
|
|
49
|
+
}
|
|
50
|
+
//# sourceMappingURL=canonical-stages.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"canonical-stages.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/canonical-stages.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,EAAE;AACF,uEAAuE;AACvE,2EAA2E;AAC3E,0EAA0E;AAC1E,+EAA+E;AAC/E,2DAA2D;AAC3D,sCAAsC;AAEtC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,2BAA2B,GAAsB;IAC1D,cAAc;IACd,0BAA0B;IAC1B,2BAA2B;IAC3B,2BAA2B;IAC3B,wBAAwB;IACxB,2BAA2B;IAC3B,4BAA4B;IAC5B,qBAAqB;IACrB,qBAAqB;IACrB,sBAAsB;IACtB,qBAAqB;IACrB,oBAAoB;CACvB,CAAA;AAED,0DAA0D;AAC1D,MAAM,CAAC,MAAM,0BAA0B,GAAsB;IACzD,SAAS;IACT,wBAAwB;IACxB,2BAA2B;IAC3B,4BAA4B;IAC5B,qBAAqB;IACrB,kBAAkB;IAClB,qBAAqB;IACrB,sBAAsB;IACtB,qBAAqB;IACrB,oBAAoB;CACvB,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA8B;IAE9B,IAAI,UAAU,KAAK,4BAA4B;QAC3C,OAAO,2BAA2B,CAAA;IACtC,IAAI,UAAU,KAAK,2BAA2B;QAC1C,OAAO,0BAA0B,CAAA;IACrC,OAAO,EAAE,CAAA;AACb,CAAC"}
|
|
@@ -2,4 +2,5 @@ export { createScholarPipeline } from "./scholar/index.js";
|
|
|
2
2
|
export type { TCreateScholarPipelineOptions } from "./scholar/index.js";
|
|
3
3
|
export { createScribePipeline } from "./scribe/index.js";
|
|
4
4
|
export type { TCreateScribePipelineOptions } from "./scribe/index.js";
|
|
5
|
+
export { INGESTION_SCHOLAR_STAGE_IDS, INGESTION_SCRIBE_STAGE_IDS, getCanonicalStageIds, } from "./canonical-stages.js";
|
|
5
6
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,YAAY,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAA;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AACxD,YAAY,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,YAAY,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAA;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AACxD,YAAY,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACrE,OAAO,EACH,2BAA2B,EAC3B,0BAA0B,EAC1B,oBAAoB,GACvB,MAAM,uBAAuB,CAAA"}
|
|
@@ -2,4 +2,5 @@
|
|
|
2
2
|
// Subpath: @proposit/proposit-core/pipelines/ingestion
|
|
3
3
|
export { createScholarPipeline } from "./scholar/index.js";
|
|
4
4
|
export { createScribePipeline } from "./scribe/index.js";
|
|
5
|
+
export { INGESTION_SCHOLAR_STAGE_IDS, INGESTION_SCRIBE_STAGE_IDS, getCanonicalStageIds, } from "./canonical-stages.js";
|
|
5
6
|
//# sourceMappingURL=index.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAE1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAE1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AAExD,OAAO,EACH,2BAA2B,EAC3B,0BAA0B,EAC1B,oBAAoB,GACvB,MAAM,uBAAuB,CAAA"}
|
package/dist/lib/core/diff.d.ts
CHANGED
|
@@ -15,6 +15,21 @@ export declare function defaultCompareExpression(before: TCorePropositionalExpre
|
|
|
15
15
|
* Compares argument metadata, variables, premises (with nested expression
|
|
16
16
|
* diffs), and role assignments. Uses pluggable comparators that default to
|
|
17
17
|
* the `defaultCompare*` functions.
|
|
18
|
+
*
|
|
19
|
+
* **Four-state enrichment:** Each modified entity carries a `state` field
|
|
20
|
+
* discriminating `modified-own` (the entity itself changed) from
|
|
21
|
+
* `modified-within` (only contained children or references changed). The
|
|
22
|
+
* `modified-within` state also marks premises whose claim-bound variables
|
|
23
|
+
* changed outside the premise — reference-edge propagation that surfaces
|
|
24
|
+
* downstream impacts of a claim edit.
|
|
25
|
+
*
|
|
26
|
+
* **Id-stability contract:** The id-stability contract matters because the
|
|
27
|
+
* `modified-own`/`modified-within` states are only expressible when an
|
|
28
|
+
* entity's id survives a content edit; if ids churn, the diff can only
|
|
29
|
+
* report add+remove. Every version-producing path must preserve the id of
|
|
30
|
+
* any entity that logically persists across a version bump; mint a new id
|
|
31
|
+
* only for something genuinely new; drop an id only for something genuinely
|
|
32
|
+
* gone.
|
|
18
33
|
*/
|
|
19
34
|
export declare function diffArguments<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable>(engineA: ArgumentEngine<TArg, TPremise, TExpr, TVar>, engineB: ArgumentEngine<TArg, TPremise, TExpr, TVar>, options?: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>): TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>;
|
|
20
35
|
//# sourceMappingURL=diff.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,iBAAiB,EACjB,gBAAgB,EAGhB,gBAAgB,EAKnB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAE1D,kHAAkH;AAClH,wBAAgB,sBAAsB,CAClC,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,aAAa,GACtB,gBAAgB,EAAE,CAEpB;AAED,uGAAuG;AACvG,wBAAgB,sBAAsB,CAClC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACtE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,gBAAgB,EAAE,CA4B/C;AAED,kHAAkH;AAClH,wBAAgB,qBAAqB,CACjC,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,GACrB,gBAAgB,EAAE,CAEpB;AAED,iJAAiJ;AACjJ,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,4BAA4B,EACpC,KAAK,EAAE,4BAA4B,GACpC,gBAAgB,EAAE,CA0CpB;
|
|
1
|
+
{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,iBAAiB,EACjB,gBAAgB,EAGhB,gBAAgB,EAKnB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAE1D,kHAAkH;AAClH,wBAAgB,sBAAsB,CAClC,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,aAAa,GACtB,gBAAgB,EAAE,CAEpB;AAED,uGAAuG;AACvG,wBAAgB,sBAAsB,CAClC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACtE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,gBAAgB,EAAE,CA4B/C;AAED,kHAAkH;AAClH,wBAAgB,qBAAqB,CACjC,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,GACrB,gBAAgB,EAAE,CAEpB;AAED,iJAAiJ;AACjJ,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,4BAA4B,EACpC,KAAK,EAAE,4BAA4B,GACpC,gBAAgB,EAAE,CA0CpB;AAoOD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,aAAa,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACpD,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACpD,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAqFhD"}
|
package/dist/lib/core/diff.js
CHANGED
|
@@ -94,7 +94,12 @@ function diffEntitySet(beforeItems, afterItems, compare, matcher) {
|
|
|
94
94
|
}
|
|
95
95
|
const changes = compare(beforeItem, afterItem);
|
|
96
96
|
if (changes.length > 0) {
|
|
97
|
-
modified.push({
|
|
97
|
+
modified.push({
|
|
98
|
+
before: beforeItem,
|
|
99
|
+
after: afterItem,
|
|
100
|
+
changes,
|
|
101
|
+
state: "modified-own",
|
|
102
|
+
});
|
|
98
103
|
}
|
|
99
104
|
}
|
|
100
105
|
for (const [id, afterItem] of afterById) {
|
|
@@ -119,7 +124,12 @@ function diffEntitySet(beforeItems, afterItems, compare, matcher) {
|
|
|
119
124
|
const afterItem = afterItems[afterIndex];
|
|
120
125
|
const changes = compare(beforeItem, afterItem);
|
|
121
126
|
if (changes.length > 0) {
|
|
122
|
-
modified.push({
|
|
127
|
+
modified.push({
|
|
128
|
+
before: beforeItem,
|
|
129
|
+
after: afterItem,
|
|
130
|
+
changes,
|
|
131
|
+
state: changes.length > 0 ? "modified-own" : "modified-within",
|
|
132
|
+
});
|
|
123
133
|
}
|
|
124
134
|
}
|
|
125
135
|
for (let i = 0; i < afterItems.length; i++) {
|
|
@@ -153,6 +163,9 @@ function diffPremiseSet(beforePremises, afterPremises, beforeExpressions, afterE
|
|
|
153
163
|
after: afterPremise,
|
|
154
164
|
changes: premiseChanges,
|
|
155
165
|
expressions: expressionsDiff,
|
|
166
|
+
state: premiseChanges.length > 0
|
|
167
|
+
? "modified-own"
|
|
168
|
+
: "modified-within",
|
|
156
169
|
});
|
|
157
170
|
}
|
|
158
171
|
}
|
|
@@ -188,6 +201,9 @@ function diffPremiseSet(beforePremises, afterPremises, beforeExpressions, afterE
|
|
|
188
201
|
after: afterPremise,
|
|
189
202
|
changes: premiseChanges,
|
|
190
203
|
expressions: expressionsDiff,
|
|
204
|
+
state: premiseChanges.length > 0
|
|
205
|
+
? "modified-own"
|
|
206
|
+
: "modified-within",
|
|
191
207
|
});
|
|
192
208
|
}
|
|
193
209
|
}
|
|
@@ -225,6 +241,21 @@ function collectVariables(engine) {
|
|
|
225
241
|
* Compares argument metadata, variables, premises (with nested expression
|
|
226
242
|
* diffs), and role assignments. Uses pluggable comparators that default to
|
|
227
243
|
* the `defaultCompare*` functions.
|
|
244
|
+
*
|
|
245
|
+
* **Four-state enrichment:** Each modified entity carries a `state` field
|
|
246
|
+
* discriminating `modified-own` (the entity itself changed) from
|
|
247
|
+
* `modified-within` (only contained children or references changed). The
|
|
248
|
+
* `modified-within` state also marks premises whose claim-bound variables
|
|
249
|
+
* changed outside the premise — reference-edge propagation that surfaces
|
|
250
|
+
* downstream impacts of a claim edit.
|
|
251
|
+
*
|
|
252
|
+
* **Id-stability contract:** The id-stability contract matters because the
|
|
253
|
+
* `modified-own`/`modified-within` states are only expressible when an
|
|
254
|
+
* entity's id survives a content edit; if ids churn, the diff can only
|
|
255
|
+
* report add+remove. Every version-producing path must preserve the id of
|
|
256
|
+
* any entity that logically persists across a version bump; mint a new id
|
|
257
|
+
* only for something genuinely new; drop an id only for something genuinely
|
|
258
|
+
* gone.
|
|
228
259
|
*/
|
|
229
260
|
export function diffArguments(engineA, engineB, options) {
|
|
230
261
|
const argA = engineA.getArgument();
|
|
@@ -246,15 +277,78 @@ export function diffArguments(engineA, engineB, options) {
|
|
|
246
277
|
const compareExpr = options?.compareExpression ??
|
|
247
278
|
defaultCompareExpression;
|
|
248
279
|
const argumentChanges = compareArg(argA, argB);
|
|
280
|
+
// Reassigning the conclusion premise is argument own-content: the
|
|
281
|
+
// conclusion role is a property of the (argument, premise) pairing, not of
|
|
282
|
+
// the premise. So a conclusion change makes the argument `modified-own`
|
|
283
|
+
// even though `defaultCompareArgument` reports no intrinsic field changes.
|
|
284
|
+
const conclusionChanged = rolesA.conclusionPremiseId !== rolesB.conclusionPremiseId;
|
|
285
|
+
const variables = diffEntitySet(collectVariables(engineA), collectVariables(engineB), compareVar, options?.variableMatcher);
|
|
286
|
+
const premises = diffPremiseSet(premisesA, premisesB, expressionsA, expressionsB, comparePrem, compareExpr, options?.premiseMatcher, options?.expressionMatcher);
|
|
287
|
+
propagateReferenceWithin(variables, premises, premisesA, premisesB, expressionsB, options?.premiseMatcher);
|
|
249
288
|
return {
|
|
250
289
|
argument: {
|
|
251
290
|
before: argA,
|
|
252
291
|
after: argB,
|
|
253
292
|
changes: argumentChanges,
|
|
293
|
+
// The argument node is always present, so `modified-within` is its
|
|
294
|
+
// structural default when only children (or nothing) changed.
|
|
295
|
+
// Emptiness is decided by the `isDiffEmpty` predicate, not by this
|
|
296
|
+
// field.
|
|
297
|
+
state: argumentChanges.length > 0 || conclusionChanged
|
|
298
|
+
? "modified-own"
|
|
299
|
+
: "modified-within",
|
|
254
300
|
},
|
|
255
|
-
variables
|
|
256
|
-
premises
|
|
301
|
+
variables,
|
|
302
|
+
premises,
|
|
257
303
|
roles: diffRoles(rolesA.conclusionPremiseId, rolesB.conclusionPremiseId),
|
|
258
304
|
};
|
|
259
305
|
}
|
|
306
|
+
/**
|
|
307
|
+
* Marks premises that reference a `modified-own` variable as
|
|
308
|
+
* `modified-within`, following the reference edge
|
|
309
|
+
* (variable → variable-expression → premise). A claim edit surfaces as its
|
|
310
|
+
* claim-bound variable's own change; every premise whose expression tree
|
|
311
|
+
* points at that variable is then a container the change reaches.
|
|
312
|
+
*
|
|
313
|
+
* Premises already in `premises.modified` (for their own or containment
|
|
314
|
+
* reasons) are left untouched — own/containment state wins over
|
|
315
|
+
* reference-within. Only matched premises get a reference-within entry; a
|
|
316
|
+
* newly-added premise stays in `premises.added`.
|
|
317
|
+
*/
|
|
318
|
+
function propagateReferenceWithin(variables, premises, premisesA, premisesB, expressionsB, premiseMatcher) {
|
|
319
|
+
const modifiedOwnVarIds = new Set(variables.modified
|
|
320
|
+
.filter((m) => m.state === "modified-own")
|
|
321
|
+
.map((m) => m.after.id));
|
|
322
|
+
if (modifiedOwnVarIds.size === 0) {
|
|
323
|
+
return;
|
|
324
|
+
}
|
|
325
|
+
const beforeById = new Map(premisesA.map((p) => [p.id, p]));
|
|
326
|
+
for (const afterPremise of premisesB) {
|
|
327
|
+
const alreadyPresent = premises.modified.some((m) => m.after.id === afterPremise.id);
|
|
328
|
+
if (alreadyPresent) {
|
|
329
|
+
continue;
|
|
330
|
+
}
|
|
331
|
+
const referencesChangedVar = (expressionsB.get(afterPremise.id) ?? []).some((expr) => expr.type === "variable" &&
|
|
332
|
+
modifiedOwnVarIds.has(expr.variableId));
|
|
333
|
+
if (!referencesChangedVar) {
|
|
334
|
+
continue;
|
|
335
|
+
}
|
|
336
|
+
// A reference-within premise is structurally unchanged, but its diff
|
|
337
|
+
// object must still carry the genuine before entity for downstream
|
|
338
|
+
// rendering — pair it with the matched before-side premise.
|
|
339
|
+
const beforePremise = premiseMatcher
|
|
340
|
+
? premisesA.find((a) => premiseMatcher(a, afterPremise))
|
|
341
|
+
: beforeById.get(afterPremise.id);
|
|
342
|
+
if (!beforePremise) {
|
|
343
|
+
continue;
|
|
344
|
+
}
|
|
345
|
+
premises.modified.push({
|
|
346
|
+
before: beforePremise,
|
|
347
|
+
after: afterPremise,
|
|
348
|
+
changes: [],
|
|
349
|
+
expressions: { added: [], removed: [], modified: [] },
|
|
350
|
+
state: "modified-within",
|
|
351
|
+
});
|
|
352
|
+
}
|
|
353
|
+
}
|
|
260
354
|
//# sourceMappingURL=diff.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAmBA,kHAAkH;AAClH,MAAM,UAAU,sBAAsB,CAClC,OAAsB,EACtB,MAAqB;IAErB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,sBAAsB,CAEpC,MAAY,EAAE,KAAW;IACvB,MAAM,OAAO,GAAuB,EAAE,CAAA;IAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,KAAK,CAAC,MAAM;SACtB,CAAC,CAAA;IACN,CAAC;IAED,MAAM,aAAa,GAAG;QAClB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KAChB,CAAA;IAEV,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,IAAI,GAAI,MAAkC,CAAC,KAAK,CAAC,CAAA;QACvD,MAAM,IAAI,GAAI,KAAiC,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACtD,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,qBAAqB,CACjC,OAAqB,EACrB,MAAoB;IAEpB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,iJAAiJ;AACjJ,MAAM,UAAU,wBAAwB,CACpC,MAAoC,EACpC,KAAmC;IAEnC,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,MAAM;YACb,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,KAAK,EAAE,KAAK,CAAC,IAAI;SACpB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,MAAM,CAAC,UAAU;gBACzB,KAAK,EAAE,KAAK,CAAC,UAAU;aAC1B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;aACxB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAS,aAAa,CAClB,WAAgB,EAChB,UAAe,EACf,OAAgC,EAChC,OAAiC;IAEjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QAEpE,MAAM,KAAK,GAAQ,EAAE,CAAA;QACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;QACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;QAE9C,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,UAAU,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACnC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBACxB,SAAQ;YACZ,CAAC;YACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;YAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;YACpE,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACzB,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,+BAA+B;IAC/B,MAAM,KAAK,GAAQ,EAAE,CAAA;IACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;IACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;IAC9C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,CACnC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CACpE,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACxB,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;QAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7B,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,cAAc,CAInB,cAA0B,EAC1B,aAAyB,EACzB,iBAAuC,EACvC,gBAAsC,EACtC,cAA8C,EAC9C,iBAA8C,EAC9C,cAAsD,EACtD,iBAAmD;IAEnD,IAAI,CAAC,cAAc,EAAE,CAAC;QAClB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAChE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAE9D,MAAM,KAAK,GAAe,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;QAExD,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC3B,SAAQ;YACZ,CAAC;YACD,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;YAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC/B,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC9B,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;YACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;YACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACV,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,YAAY;oBACnB,OAAO,EAAE,cAAc;oBACvB,WAAW,EAAE,eAAe;iBAC/B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,4CAA4C;IAC5C,MAAM,KAAK,GAAe,EAAE,CAAA;IAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;IAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;IACxD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CACtC,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,CAChB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAClD,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC3B,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;QAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAC7C,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,EAC3C,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;QACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,aAAa;gBACrB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,cAAc;gBACvB,WAAW,EAAE,eAAe;aAC/B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,SAAS,CACd,gBAAoC,EACpC,eAAmC;IAEnC,OAAO;QACH,UAAU,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE;KACnE,CAAA;AACL,CAAC;AAED,SAAS,gBAAgB,CAKvB,MAAmD;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAW,EAAE,CAAA;IACvB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBACd,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAMzB,OAAoD,EACpD,OAAoD,EACpD,OAAuD;IAEvD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAErC,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,WAAW,GACb,OAAO,EAAE,cAAc;QACtB,qBAAwD,CAAA;IAC7D,MAAM,WAAW,GACb,OAAO,EAAE,iBAAiB;QACzB,wBAAwD,CAAA;IAE7D,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAE9C,OAAO;QACH,QAAQ,EAAE;YACN,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,eAAe;SAC3B;QACD,SAAS,EAAE,aAAa,CACpB,gBAAgB,CAAC,OAAO,CAAC,EACzB,gBAAgB,CAAC,OAAO,CAAC,EACzB,UAAU,EACV,OAAO,EAAE,eAAe,CAC3B;QACD,QAAQ,EAAE,cAAc,CACpB,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EACX,OAAO,EAAE,cAAc,EACvB,OAAO,EAAE,iBAAiB,CAC7B;QACD,KAAK,EAAE,SAAS,CACZ,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,CAC7B;KACJ,CAAA;AACL,CAAC"}
|
|
1
|
+
{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAmBA,kHAAkH;AAClH,MAAM,UAAU,sBAAsB,CAClC,OAAsB,EACtB,MAAqB;IAErB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,sBAAsB,CAEpC,MAAY,EAAE,KAAW;IACvB,MAAM,OAAO,GAAuB,EAAE,CAAA;IAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,KAAK,CAAC,MAAM;SACtB,CAAC,CAAA;IACN,CAAC;IAED,MAAM,aAAa,GAAG;QAClB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KAChB,CAAA;IAEV,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,IAAI,GAAI,MAAkC,CAAC,KAAK,CAAC,CAAA;QACvD,MAAM,IAAI,GAAI,KAAiC,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACtD,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,qBAAqB,CACjC,OAAqB,EACrB,MAAoB;IAEpB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,iJAAiJ;AACjJ,MAAM,UAAU,wBAAwB,CACpC,MAAoC,EACpC,KAAmC;IAEnC,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,MAAM;YACb,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,KAAK,EAAE,KAAK,CAAC,IAAI;SACpB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,MAAM,CAAC,UAAU;gBACzB,KAAK,EAAE,KAAK,CAAC,UAAU;aAC1B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;aACxB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAS,aAAa,CAClB,WAAgB,EAChB,UAAe,EACf,OAAgC,EAChC,OAAiC;IAEjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QAEpE,MAAM,KAAK,GAAQ,EAAE,CAAA;QACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;QACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;QAE9C,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,UAAU,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACnC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBACxB,SAAQ;YACZ,CAAC;YACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;YAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC;oBACV,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,SAAS;oBAChB,OAAO;oBACP,KAAK,EAAE,cAAc;iBACxB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACzB,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,+BAA+B;IAC/B,MAAM,KAAK,GAAQ,EAAE,CAAA;IACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;IACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;IAC9C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,CACnC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CACpE,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACxB,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;QAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,UAAU;gBAClB,KAAK,EAAE,SAAS;gBAChB,OAAO;gBACP,KAAK,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,iBAAiB;aACjE,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7B,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,cAAc,CAInB,cAA0B,EAC1B,aAAyB,EACzB,iBAAuC,EACvC,gBAAsC,EACtC,cAA8C,EAC9C,iBAA8C,EAC9C,cAAsD,EACtD,iBAAmD;IAEnD,IAAI,CAAC,cAAc,EAAE,CAAC;QAClB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAChE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAE9D,MAAM,KAAK,GAAe,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;QAExD,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC3B,SAAQ;YACZ,CAAC;YACD,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;YAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC/B,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC9B,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;YACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;YACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACV,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,YAAY;oBACnB,OAAO,EAAE,cAAc;oBACvB,WAAW,EAAE,eAAe;oBAC5B,KAAK,EACD,cAAc,CAAC,MAAM,GAAG,CAAC;wBACrB,CAAC,CAAC,cAAc;wBAChB,CAAC,CAAC,iBAAiB;iBAC9B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,4CAA4C;IAC5C,MAAM,KAAK,GAAe,EAAE,CAAA;IAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;IAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;IACxD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CACtC,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,CAChB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAClD,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC3B,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;QAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAC7C,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,EAC3C,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;QACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,aAAa;gBACrB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,cAAc;gBACvB,WAAW,EAAE,eAAe;gBAC5B,KAAK,EACD,cAAc,CAAC,MAAM,GAAG,CAAC;oBACrB,CAAC,CAAC,cAAc;oBAChB,CAAC,CAAC,iBAAiB;aAC9B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,SAAS,CACd,gBAAoC,EACpC,eAAmC;IAEnC,OAAO;QACH,UAAU,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE;KACnE,CAAA;AACL,CAAC;AAED,SAAS,gBAAgB,CAKvB,MAAmD;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAW,EAAE,CAAA;IACvB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBACd,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,aAAa,CAMzB,OAAoD,EACpD,OAAoD,EACpD,OAAuD;IAEvD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAErC,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,WAAW,GACb,OAAO,EAAE,cAAc;QACtB,qBAAwD,CAAA;IAC7D,MAAM,WAAW,GACb,OAAO,EAAE,iBAAiB;QACzB,wBAAwD,CAAA;IAE7D,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAE9C,kEAAkE;IAClE,2EAA2E;IAC3E,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,iBAAiB,GACnB,MAAM,CAAC,mBAAmB,KAAK,MAAM,CAAC,mBAAmB,CAAA;IAE7D,MAAM,SAAS,GAAG,aAAa,CAC3B,gBAAgB,CAAC,OAAO,CAAC,EACzB,gBAAgB,CAAC,OAAO,CAAC,EACzB,UAAU,EACV,OAAO,EAAE,eAAe,CAC3B,CAAA;IACD,MAAM,QAAQ,GAAG,cAAc,CAC3B,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EACX,OAAO,EAAE,cAAc,EACvB,OAAO,EAAE,iBAAiB,CAC7B,CAAA;IAED,wBAAwB,CACpB,SAAS,EACT,QAAQ,EACR,SAAS,EACT,SAAS,EACT,YAAY,EACZ,OAAO,EAAE,cAAc,CAC1B,CAAA;IAED,OAAO;QACH,QAAQ,EAAE;YACN,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,eAAe;YACxB,mEAAmE;YACnE,8DAA8D;YAC9D,mEAAmE;YACnE,SAAS;YACT,KAAK,EACD,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB;gBAC3C,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAC,iBAAiB;SAC9B;QACD,SAAS;QACT,QAAQ;QACR,KAAK,EAAE,SAAS,CACZ,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,CAC7B;KACJ,CAAA;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,wBAAwB,CAK7B,SAAmC,EACnC,QAA8C,EAC9C,SAAqB,EACrB,SAAqB,EACrB,YAAkC,EAClC,cAAsD;IAEtD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC7B,SAAS,CAAC,QAAQ;SACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,cAAc,CAAC;SACzC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAC9B,CAAA;IACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAM;IACV,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAE3D,KAAK,MAAM,YAAY,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,YAAY,CAAC,EAAE,CACxC,CAAA;QACD,IAAI,cAAc,EAAE,CAAC;YACjB,SAAQ;QACZ,CAAC;QAED,MAAM,oBAAoB,GAAG,CACzB,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,CAC1C,CAAC,IAAI,CACF,CAAC,IAAI,EAAE,EAAE,CACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAC7C,CAAA;QACD,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACxB,SAAQ;QACZ,CAAC;QAED,qEAAqE;QACrE,mEAAmE;QACnE,4DAA4D;QAC5D,MAAM,aAAa,GAAG,cAAc;YAChC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;YACxD,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAA;QACrC,IAAI,CAAC,aAAa,EAAE,CAAC;YACjB,SAAQ;QACZ,CAAC;QAED,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;YACnB,MAAM,EAAE,aAAa;YACrB,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;YACrD,KAAK,EAAE,iBAAiB;SAC3B,CAAC,CAAA;IACN,CAAC;AACL,CAAC"}
|
|
@@ -104,6 +104,10 @@ export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TP
|
|
|
104
104
|
* Caller-provided matchers in `options` take precedence over the
|
|
105
105
|
* fork-aware defaults.
|
|
106
106
|
*
|
|
107
|
+
* Modified entities carry a `state` field: `modified-own` (own change) or
|
|
108
|
+
* `modified-within` (contained/referenced change only). See `diffArguments`
|
|
109
|
+
* for the id-stability contract governing state expressibility.
|
|
110
|
+
*
|
|
107
111
|
* @param argumentIdA - The ID of the "before" argument.
|
|
108
112
|
* @param argumentIdB - The ID of the "after" argument.
|
|
109
113
|
* @param options - Optional diff configuration and comparator overrides.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EAEZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAK/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAK/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACtD,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC7C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CACzE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAC1D,SAAgB,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACjD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IA6CL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAUD;;;;;;;;OAQG;WACW,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,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAE9D,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAkGD;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC3D,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,YAAY,EAAE,QAAQ,CAAA;KACzB;IAmRD
|
|
1
|
+
{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EAEZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAK/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAK/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACtD,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC7C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CACzE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAC1D,SAAgB,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACjD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IA6CL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAUD;;;;;;;;OAQG;WACW,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,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAE9D,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAkGD;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC3D,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,YAAY,EAAE,QAAQ,CAAA;KACzB;IAmRD;;;;;;;;;;;;;;;OAeG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}
|
|
@@ -385,6 +385,10 @@ export class PropositCore {
|
|
|
385
385
|
* Caller-provided matchers in `options` take precedence over the
|
|
386
386
|
* fork-aware defaults.
|
|
387
387
|
*
|
|
388
|
+
* Modified entities carry a `state` field: `modified-own` (own change) or
|
|
389
|
+
* `modified-within` (contained/referenced change only). See `diffArguments`
|
|
390
|
+
* for the id-stability contract governing state expressibility.
|
|
391
|
+
*
|
|
388
392
|
* @param argumentIdA - The ID of the "before" argument.
|
|
389
393
|
* @param argumentIdB - The ID of the "after" argument.
|
|
390
394
|
* @param options - Optional diff configuration and comparator overrides.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAwBA,OAAO,EACH,2BAA2B,EAC3B,yBAAyB,GAC5B,MAAM,wBAAwB,CAAA;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAwCxE;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,YAAY;IAcL,MAAM,CAAsB;IAC5B,SAAS,CAAiC;IAC1C,MAAM,CAA2B;IACjC,KAAK,CAMpB;IACe,SAAS,CAMxB;IACS,UAAU,CAAc;IAElC,YACI,OAaC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,oBAAoB;gBAC7B,IAAI,oBAAoB,CAAY,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAElE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,iBAAiB;gBAC1B,IAAI,iBAAiB,CAAS,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAE5D,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAMZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CACf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;iBAC5B,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,QAAQ,EAAE,OAAO,EAAE,QAAQ;oBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAcX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAetB,QAaC,EACD,MAA4B;QAe5B,0EAA0E;QAC1E,wEAAwE;QACxE,yEAAyE;QACzE,kBAAkB;QAClB,MAAM,GAAG,GAAG,QAA8C,CAAA;QAC1D,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;YAC1B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,4FAA4F;oBACnI,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG,yBAAyB,8FAA8F;oBACnI,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,YAAY,CAC/C,QAAQ,CAAC,SAAS,EAClB,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,CACzC,QAAQ,CAAC,MAAM,EACf,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAMpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CAOlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;SACvB,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,QAAQ,EAAE,MAAM,EAAE,QAAQ;YAC1B,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAa3B;YACE,YAAY,EAAE,MAAM;YACpB,oBAAoB,EAAE,SAAS;YAC/B,iBAAiB,EAAE,MAAM;YACzB,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;YACvC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAiBC;QAOD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,gEAAgE;QAChE,mEAAmE;QACnE,iEAAiE;QACjE,mEAAmE;QACnE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,oEAAoE;QACpE,sEAAsE;QACtE,aAAa;QACb,MAAM,gBAAgB,GAAgB,EAAE,CAAA;QACxC,MAAM,aAAa,GAAa,EAAE,CAAA;QAClC,oFAAoF;QACpF,8EAA8E;QAC9E,MAAM,kBAAkB,GAAa,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;QAC/D,OAAO,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,EAAG,CAAA;YAE3C,MAAM,iBAAiB,GACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpD,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;gBACvC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAClD,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;oBAC9C,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;gBACvD,CAAC;YACL,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpE,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACzB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC/C,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;oBAC3C,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QAED,2CAA2C;QAC3C,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACxD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CACvC,QAAQ,CAAC,iBAAiB,CAC7B,CAAA;YACD,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;gBACf,GAAG,QAAQ;gBACX,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACG,CAAC,CAAA;QACrC,CAAC;QAED,uDAAuD;QACvD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACrD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;YACpE,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBACZ,GAAG,KAAK;gBACR,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACA,CAAC,CAAA;QAClC,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAO3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;SAC5B,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,kEAAkE;QAClE,sEAAsE;QACtE,mEAAmE;QACnE,iEAAiE;QACjE,+DAA+D;QAC/D,mBAAmB;QACnB,IAAI,CAAC,MAAM,GAAG;YACV,GAAG,IAAI,CAAC,MAAM;YACd,QAAQ,EAAE,YAAY,CAAC,QAAQ;SAClC,CAAA;QACD,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,8CAA8C;QAC9C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAuB,CAAA;YAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChC,MAAM,sBAAsB,GACxB,OACH,CAAC,cAAc,CAAA;gBAChB,MAAM,sBAAsB,GAAG,UAAU,CAAC,GAAG,CACzC,sBAAsB,CACzB,CAAA;gBACD,IAAI,sBAAsB,EAAE,CAAC;oBACzB,EAAE,CAAC,OAAO,GAAG;wBACT,GAAG,EAAE,CAAC,OAAO;wBACb,cAAc,EAAE,sBAAsB;qBACpB,CAAA;gBAC1B,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAM7C,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;QAE/C,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}
|
|
1
|
+
{"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAwBA,OAAO,EACH,2BAA2B,EAC3B,yBAAyB,GAC5B,MAAM,wBAAwB,CAAA;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAwCxE;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,YAAY;IAcL,MAAM,CAAsB;IAC5B,SAAS,CAAiC;IAC1C,MAAM,CAA2B;IACjC,KAAK,CAMpB;IACe,SAAS,CAMxB;IACS,UAAU,CAAc;IAElC,YACI,OAaC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,oBAAoB;gBAC7B,IAAI,oBAAoB,CAAY,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAElE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,iBAAiB;gBAC1B,IAAI,iBAAiB,CAAS,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAE5D,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAMZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CACf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;iBAC5B,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,QAAQ,EAAE,OAAO,EAAE,QAAQ;oBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAcX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAetB,QAaC,EACD,MAA4B;QAe5B,0EAA0E;QAC1E,wEAAwE;QACxE,yEAAyE;QACzE,kBAAkB;QAClB,MAAM,GAAG,GAAG,QAA8C,CAAA;QAC1D,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;YAC1B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,4FAA4F;oBACnI,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG,yBAAyB,8FAA8F;oBACnI,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,YAAY,CAC/C,QAAQ,CAAC,SAAS,EAClB,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,CACzC,QAAQ,CAAC,MAAM,EACf,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAMpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CAOlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;SACvB,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,QAAQ,EAAE,MAAM,EAAE,QAAQ;YAC1B,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAa3B;YACE,YAAY,EAAE,MAAM;YACpB,oBAAoB,EAAE,SAAS;YAC/B,iBAAiB,EAAE,MAAM;YACzB,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;YACvC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAiBC;QAOD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,gEAAgE;QAChE,mEAAmE;QACnE,iEAAiE;QACjE,mEAAmE;QACnE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,oEAAoE;QACpE,sEAAsE;QACtE,aAAa;QACb,MAAM,gBAAgB,GAAgB,EAAE,CAAA;QACxC,MAAM,aAAa,GAAa,EAAE,CAAA;QAClC,oFAAoF;QACpF,8EAA8E;QAC9E,MAAM,kBAAkB,GAAa,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;QAC/D,OAAO,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,EAAG,CAAA;YAE3C,MAAM,iBAAiB,GACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpD,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;gBACvC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAClD,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;oBAC9C,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;gBACvD,CAAC;YACL,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpE,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACzB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC/C,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;oBAC3C,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QAED,2CAA2C;QAC3C,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACxD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CACvC,QAAQ,CAAC,iBAAiB,CAC7B,CAAA;YACD,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;gBACf,GAAG,QAAQ;gBACX,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACG,CAAC,CAAA;QACrC,CAAC;QAED,uDAAuD;QACvD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACrD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;YACpE,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBACZ,GAAG,KAAK;gBACR,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACA,CAAC,CAAA;QAClC,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAO3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;SAC5B,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,kEAAkE;QAClE,sEAAsE;QACtE,mEAAmE;QACnE,iEAAiE;QACjE,+DAA+D;QAC/D,mBAAmB;QACnB,IAAI,CAAC,MAAM,GAAG;YACV,GAAG,IAAI,CAAC,MAAM;YACd,QAAQ,EAAE,YAAY,CAAC,QAAQ;SAClC,CAAA;QACD,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,8CAA8C;QAC9C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAuB,CAAA;YAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChC,MAAM,sBAAsB,GACxB,OACH,CAAC,cAAc,CAAA;gBAChB,MAAM,sBAAsB,GAAG,UAAU,CAAC,GAAG,CACzC,sBAAsB,CACzB,CAAA;gBACD,IAAI,sBAAsB,EAAE,CAAC;oBACzB,EAAE,CAAC,OAAO,GAAG;wBACT,GAAG,EAAE,CAAC,OAAO;wBACb,cAAc,EAAE,sBAAsB;qBACpB,CAAA;gBAC1B,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAM7C,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;QAE/C,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}
|
package/dist/lib/index.d.ts
CHANGED
|
@@ -63,9 +63,6 @@ export { executePipeline, executeStage, executeFinalize, launchStage, completeSt
|
|
|
63
63
|
export type { TStage, TStageContext, TStageStatus, TPipeline, TPipelineFinalize, TProcessingFailure, TPipelineResult, TPipelineEvent, TDepSpec, TOptionalDep, TRetryPolicy, TRetryReason, TExecutePipelineDeps, TStageOutcomeRecord, TExecuteStageDeps, TExecuteStageResult, TExecuteFinalizeResult, TLaunchStageResult, } from "./pipelines/index.js";
|
|
64
64
|
export { LlmTokenUsageSchema } from "./llm/index.js";
|
|
65
65
|
export type { TLlmProvider, TLlmRequest, TLlmResponse, TLlmTokenUsage, TLlmModel, TReasoningEffort, TToolSpec, TResponseStatus, TRetrievedResponse, } from "./llm/index.js";
|
|
66
|
-
export { createOpenAiResponsesProvider } from "../extensions/openai/index.js";
|
|
67
|
-
export type { TCreateOpenAiResponsesProviderOptions, TOpenAiFetch, } from "../extensions/openai/index.js";
|
|
68
|
-
export { NonRetryableLlmError, QuotaExhaustedLlmError, RateLimitLlmError, SchemaValidationLlmError, ToolLoopExhaustedError, TransientLlmError, } from "../extensions/openai/index.js";
|
|
69
66
|
export { InvalidArgumentStructureError, UnknownExpressionError, NotOperatorNotDecidableError, } from "./core/review-errors.js";
|
|
70
67
|
export type { TNotOperatorNotDecidableReason } from "./core/review-errors.js";
|
|
71
68
|
export { collectArgumentReferencedClaims } from "./core/review-helpers.js";
|
|
@@ -74,6 +71,4 @@ export { canonicalizeOperatorAssignments } from "./core/review-helpers.js";
|
|
|
74
71
|
export type { TCanonicalizeOperatorAssignmentsInput } from "./core/review-helpers.js";
|
|
75
72
|
export { executeTurn, createConversation, ConversationClosedError, } from "./conversation/index.js";
|
|
76
73
|
export type { TTurnInput, TTurnResult, TExecuteTurnDeps, TConversation, TMultiTurnInput, TMultiTurnOutput, TResponseId, } from "./conversation/index.js";
|
|
77
|
-
export { createReviewTurn, createSimulateTurn, createDistillTurn, } from "../extensions/builder/index.js";
|
|
78
|
-
export type { TDistillTurnOptions, TDistillOutput, } from "../extensions/builder/index.js";
|
|
79
74
|
//# sourceMappingURL=index.d.ts.map
|
package/dist/lib/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAC9E,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,YAAY,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACnE,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACR,oBAAoB,EACpB,sBAAsB,GACzB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AACjD,YAAY,EACR,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,0CAA0C,CAAA;AACjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAO3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACR,YAAY,EACZ,gBAAgB,EAChB,UAAU,GACb,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,QAAQ,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAC9E,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACxE,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AACjE,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AACtC,YAAY,EACR,0BAA0B,EAC1B,mBAAmB,GACtB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,eAAe,EACf,YAAY,EACZ,eAAe,EACf,WAAW,EACX,aAAa,EACb,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAC7B,YAAY,EACR,MAAM,EACN,aAAa,EACb,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,GACrB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,YAAY,EACR,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,SAAS,EACT,eAAe,EACf,kBAAkB,GACrB,MAAM,gBAAgB,CAAA;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAC9E,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,YAAY,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACnE,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACR,oBAAoB,EACpB,sBAAsB,GACzB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AACjD,YAAY,EACR,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,0CAA0C,CAAA;AACjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAO3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACR,YAAY,EACZ,gBAAgB,EAChB,UAAU,GACb,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,QAAQ,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAC9E,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACxE,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AACjE,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AACtC,YAAY,EACR,0BAA0B,EAC1B,mBAAmB,GACtB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,eAAe,EACf,YAAY,EACZ,eAAe,EACf,WAAW,EACX,aAAa,EACb,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAC7B,YAAY,EACR,MAAM,EACN,aAAa,EACb,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,GACrB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,YAAY,EACR,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,SAAS,EACT,eAAe,EACf,kBAAkB,GACrB,MAAM,gBAAgB,CAAA;AAUvB,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAA;AAC7E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAA;AACtF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,qCAAqC,EAAE,MAAM,0BAA0B,CAAA;AAGrF,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,uBAAuB,GAC1B,MAAM,yBAAyB,CAAA;AAChC,YAAY,EACR,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,WAAW,GACd,MAAM,yBAAyB,CAAA"}
|
package/dist/lib/index.js
CHANGED
|
@@ -42,28 +42,19 @@ export { validateArgument, validateArgumentAfterPremiseMutation, validateArgumen
|
|
|
42
42
|
export { InvariantViolationError } from "./core/invariant-violation-error.js";
|
|
43
43
|
export { executePipeline, executeStage, executeFinalize, launchStage, completeStage, optional, deterministicStage, llmStage, subPipelineStage, isLlmStage, DEFAULT_RETRY_POLICY, PipelineConfigurationError, LlmStageRetryExhaustedError, StageAbortedError, SubPipelineFailedError, LLM_QUOTA_EXHAUSTED, LLM_RATE_LIMITED, LLM_TRANSIENT_ERROR, LLM_NON_RETRYABLE_ERROR, LLM_UNKNOWN_ERROR, OUTPUT_SCHEMA_INVALID, ProcessingFailureSchema, } from "./pipelines/index.js";
|
|
44
44
|
export { LlmTokenUsageSchema } from "./llm/index.js";
|
|
45
|
-
//
|
|
46
|
-
//
|
|
47
|
-
//
|
|
48
|
-
//
|
|
49
|
-
//
|
|
50
|
-
//
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
//
|
|
54
|
-
// from this root barrel. They ship as their own subpaths —
|
|
55
|
-
// `@proposit/proposit-core/pipelines/base` (the shared contract +
|
|
56
|
-
// helpers) and `@proposit/proposit-core/pipelines/ingestion` (the
|
|
57
|
-
// `createScholarPipeline` / `createScribePipeline` factories). The root
|
|
58
|
-
// barrel carries only the engine, the pipeline framework, and the
|
|
59
|
-
// provider extensions.
|
|
45
|
+
// Opinionated extensions are NOT re-exported from this root barrel; each
|
|
46
|
+
// ships as its own subpath so the root stays the pure engine + pipeline
|
|
47
|
+
// framework. The concrete OpenAI Responses-API provider (and its error
|
|
48
|
+
// classes) lives at `@proposit/proposit-core/extensions/openai`; the
|
|
49
|
+
// ingestion pipelines + their task contract at
|
|
50
|
+
// `@proposit/proposit-core/pipelines/base` (shared contract + helpers) and
|
|
51
|
+
// `@proposit/proposit-core/pipelines/ingestion` (the `createScholarPipeline`
|
|
52
|
+
// / `createScribePipeline` factories); the Argument Builder turn factories at
|
|
53
|
+
// `@proposit/proposit-core/builder`.
|
|
60
54
|
export { InvalidArgumentStructureError, UnknownExpressionError, NotOperatorNotDecidableError, } from "./core/review-errors.js";
|
|
61
55
|
export { collectArgumentReferencedClaims } from "./core/review-helpers.js";
|
|
62
56
|
export { canonicalizeOperatorAssignments } from "./core/review-helpers.js";
|
|
63
57
|
// Conversation primitive — multi-turn LLM exchange support.
|
|
64
58
|
// Subpath: @proposit/proposit-core/conversation
|
|
65
59
|
export { executeTurn, createConversation, ConversationClosedError, } from "./conversation/index.js";
|
|
66
|
-
// Builder extension — Argument Builder turn factories.
|
|
67
|
-
// Subpath: @proposit/proposit-core/builder
|
|
68
|
-
export { createReviewTurn, createSimulateTurn, createDistillTurn, } from "../extensions/builder/index.js";
|
|
69
60
|
//# sourceMappingURL=index.js.map
|
package/dist/lib/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAK7E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAG9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAK9D,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AAKjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAavD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,oBAAoB,CAAA;AAM3B,OAAO,EAAE,QAAQ,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAG9E,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AAKtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,eAAe,EACf,YAAY,EACZ,eAAe,EACf,WAAW,EACX,aAAa,EACb,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAqB7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAYpD,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAK7E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAG9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAK9D,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AAKjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAavD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,oBAAoB,CAAA;AAM3B,OAAO,EAAE,QAAQ,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAG9E,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AAKtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,eAAe,EACf,YAAY,EACZ,eAAe,EACf,WAAW,EACX,aAAa,EACb,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAqB7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAYpD,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,qEAAqE;AACrE,+CAA+C;AAC/C,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,qCAAqC;AACrC,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAE1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAE1E,4DAA4D;AAC5D,gDAAgD;AAChD,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,uBAAuB,GAC1B,MAAM,yBAAyB,CAAA"}
|
|
@@ -0,0 +1,42 @@
|
|
|
1
|
+
import type { TDepSpec } from "./types.js";
|
|
2
|
+
import type { TStageOutcomeRecord } from "./single-stage.js";
|
|
3
|
+
export { optional, depId, isOptionalDep } from "./types.js";
|
|
4
|
+
export type { TDepSpec, TOptionalDep } from "./types.js";
|
|
5
|
+
/** A serializable stage descriptor — all an eligibility check needs. */
|
|
6
|
+
export type TStageDescriptor = {
|
|
7
|
+
id: string;
|
|
8
|
+
dependsOn: readonly TDepSpec[];
|
|
9
|
+
};
|
|
10
|
+
type TRecordMap = Readonly<Record<string, TStageOutcomeRecord>>;
|
|
11
|
+
/**
|
|
12
|
+
* A stage is eligible to run once every required dep is `completed` and every
|
|
13
|
+
* optional dep has reached some terminal outcome.
|
|
14
|
+
*/
|
|
15
|
+
export declare function isStageEligible(stage: TStageDescriptor, records: TRecordMap): boolean;
|
|
16
|
+
/**
|
|
17
|
+
* A stage is skip-eligible when a REQUIRED dep reached a non-`completed`
|
|
18
|
+
* terminal outcome (skipped / failed) — the dependent then skips rather than
|
|
19
|
+
* failing.
|
|
20
|
+
*/
|
|
21
|
+
export declare function hasRequiredFailureUpstream(stage: TStageDescriptor, records: TRecordMap): boolean;
|
|
22
|
+
/** A scheduling step: stages to launch now + stages to mark skipped now. */
|
|
23
|
+
export type TDagProgress<TStage extends TStageDescriptor> = {
|
|
24
|
+
/** Stages eligible to run now (deps satisfied, not yet terminal). */
|
|
25
|
+
runnable: TStage[];
|
|
26
|
+
/**
|
|
27
|
+
* Stages whose required dep failed (skip-eligible, not yet terminal).
|
|
28
|
+
* Marking each `skipped` lets its optional-dependent downstream stages
|
|
29
|
+
* then reach eligibility (eager skip propagation).
|
|
30
|
+
*/
|
|
31
|
+
skippable: TStage[];
|
|
32
|
+
};
|
|
33
|
+
/**
|
|
34
|
+
* From the full descriptor list + the committed terminal-outcome map, partition
|
|
35
|
+
* the not-yet-terminal stages into the ones to launch now (`runnable`) and the
|
|
36
|
+
* ones to mark skipped now (`skippable`). An already-terminal stage appears in
|
|
37
|
+
* neither. Skip-eligibility takes precedence over runnability (the two sets are
|
|
38
|
+
* disjoint). Generic over the descriptor subtype so a caller carrying extra
|
|
39
|
+
* serializable fields gets them back on the partitioned stages.
|
|
40
|
+
*/
|
|
41
|
+
export declare function computeDagProgress<TStage extends TStageDescriptor>(stages: readonly TStage[], records: TRecordMap): TDagProgress<TStage>;
|
|
42
|
+
//# sourceMappingURL=scheduling.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"scheduling.d.ts","sourceRoot":"","sources":["../../../src/lib/pipelines/scheduling.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAE5D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAC3D,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAExD,wEAAwE;AACxE,MAAM,MAAM,gBAAgB,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAA;CACjC,CAAA;AAED,KAAK,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAA;AAE/D;;;GAGG;AACH,wBAAgB,eAAe,CAC3B,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,UAAU,GACpB,OAAO,CAaT;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACtC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,UAAU,GACpB,OAAO,CAOT;AAED,4EAA4E;AAC5E,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,gBAAgB,IAAI;IACxD,qEAAqE;IACrE,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB;;;;OAIG;IACH,SAAS,EAAE,MAAM,EAAE,CAAA;CACtB,CAAA;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,SAAS,gBAAgB,EAC9D,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,UAAU,GACpB,YAAY,CAAC,MAAM,CAAC,CAYtB"}
|
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
// Descriptor-based DAG scheduling helpers.
|
|
2
|
+
//
|
|
3
|
+
// These compute stage eligibility from a serializable stage descriptor
|
|
4
|
+
// (`{ id, dependsOn }`) plus a plain record map of terminal outcomes — no
|
|
5
|
+
// `TStage` with its `run`/`outputSchema`, no live `Map`, no I/O. They exist so
|
|
6
|
+
// a consumer that drives the pipeline DAG out of process (e.g. persisting each
|
|
7
|
+
// stage outcome and advancing across separate invocations) can decide what to
|
|
8
|
+
// launch and what to skip without re-implementing the scheduler-loop
|
|
9
|
+
// eligibility rules. They mirror the in-process scheduler's semantics exactly:
|
|
10
|
+
//
|
|
11
|
+
// - a REQUIRED dep is satisfied only when its outcome is `completed`;
|
|
12
|
+
// - an OPTIONAL dep is satisfied once it reaches ANY terminal outcome
|
|
13
|
+
// (`completed` / `skipped` / `failed`);
|
|
14
|
+
// - a stage with a REQUIRED dep that reached a non-`completed` terminal
|
|
15
|
+
// outcome is skip-eligible — the dependent skips rather than failing, and
|
|
16
|
+
// marking it `skipped` lets its OPTIONAL-dependent downstream stages then
|
|
17
|
+
// reach eligibility (eager skip propagation).
|
|
18
|
+
import { depId, isOptionalDep } from "./types.js";
|
|
19
|
+
export { optional, depId, isOptionalDep } from "./types.js";
|
|
20
|
+
/**
|
|
21
|
+
* A stage is eligible to run once every required dep is `completed` and every
|
|
22
|
+
* optional dep has reached some terminal outcome.
|
|
23
|
+
*/
|
|
24
|
+
export function isStageEligible(stage, records) {
|
|
25
|
+
for (const dep of stage.dependsOn) {
|
|
26
|
+
const id = depId(dep);
|
|
27
|
+
const record = records[id];
|
|
28
|
+
if (isOptionalDep(dep)) {
|
|
29
|
+
// Optional: eligible once the upstream has ANY final outcome.
|
|
30
|
+
if (!record)
|
|
31
|
+
return false;
|
|
32
|
+
continue;
|
|
33
|
+
}
|
|
34
|
+
if (!record)
|
|
35
|
+
return false;
|
|
36
|
+
if (record.outcome !== "completed")
|
|
37
|
+
return false;
|
|
38
|
+
}
|
|
39
|
+
return true;
|
|
40
|
+
}
|
|
41
|
+
/**
|
|
42
|
+
* A stage is skip-eligible when a REQUIRED dep reached a non-`completed`
|
|
43
|
+
* terminal outcome (skipped / failed) — the dependent then skips rather than
|
|
44
|
+
* failing.
|
|
45
|
+
*/
|
|
46
|
+
export function hasRequiredFailureUpstream(stage, records) {
|
|
47
|
+
for (const dep of stage.dependsOn) {
|
|
48
|
+
if (isOptionalDep(dep))
|
|
49
|
+
continue;
|
|
50
|
+
const record = records[depId(dep)];
|
|
51
|
+
if (record && record.outcome !== "completed")
|
|
52
|
+
return true;
|
|
53
|
+
}
|
|
54
|
+
return false;
|
|
55
|
+
}
|
|
56
|
+
/**
|
|
57
|
+
* From the full descriptor list + the committed terminal-outcome map, partition
|
|
58
|
+
* the not-yet-terminal stages into the ones to launch now (`runnable`) and the
|
|
59
|
+
* ones to mark skipped now (`skippable`). An already-terminal stage appears in
|
|
60
|
+
* neither. Skip-eligibility takes precedence over runnability (the two sets are
|
|
61
|
+
* disjoint). Generic over the descriptor subtype so a caller carrying extra
|
|
62
|
+
* serializable fields gets them back on the partitioned stages.
|
|
63
|
+
*/
|
|
64
|
+
export function computeDagProgress(stages, records) {
|
|
65
|
+
const runnable = [];
|
|
66
|
+
const skippable = [];
|
|
67
|
+
for (const stage of stages) {
|
|
68
|
+
if (records[stage.id])
|
|
69
|
+
continue; // already terminal — never revisit
|
|
70
|
+
if (hasRequiredFailureUpstream(stage, records)) {
|
|
71
|
+
skippable.push(stage);
|
|
72
|
+
}
|
|
73
|
+
else if (isStageEligible(stage, records)) {
|
|
74
|
+
runnable.push(stage);
|
|
75
|
+
}
|
|
76
|
+
}
|
|
77
|
+
return { runnable, skippable };
|
|
78
|
+
}
|
|
79
|
+
//# sourceMappingURL=scheduling.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"scheduling.js","sourceRoot":"","sources":["../../../src/lib/pipelines/scheduling.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,EAAE;AACF,uEAAuE;AACvE,0EAA0E;AAC1E,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,qEAAqE;AACrE,+EAA+E;AAC/E,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,4CAA4C;AAC5C,0EAA0E;AAC1E,8EAA8E;AAC9E,8EAA8E;AAC9E,kDAAkD;AAElD,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAIjD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAW3D;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC3B,KAAuB,EACvB,OAAmB;IAEnB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;QACrB,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAA;QAC1B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,8DAA8D;YAC9D,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAA;YACzB,SAAQ;QACZ,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAA;QACzB,IAAI,MAAM,CAAC,OAAO,KAAK,WAAW;YAAE,OAAO,KAAK,CAAA;IACpD,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACtC,KAAuB,EACvB,OAAmB;IAEnB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,aAAa,CAAC,GAAG,CAAC;YAAE,SAAQ;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;QAClC,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,WAAW;YAAE,OAAO,IAAI,CAAA;IAC7D,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAcD;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAC9B,MAAyB,EACzB,OAAmB;IAEnB,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAQ,CAAC,mCAAmC;QACnE,IAAI,0BAA0B,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACzB,CAAC;aAAM,IAAI,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACxB,CAAC;IACL,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAA;AAClC,CAAC"}
|
package/dist/lib/types/diff.d.ts
CHANGED
|
@@ -5,11 +5,26 @@ export interface TCoreFieldChange {
|
|
|
5
5
|
before: unknown;
|
|
6
6
|
after: unknown;
|
|
7
7
|
}
|
|
8
|
+
/**
|
|
9
|
+
* The four states a matched-or-membership entity can occupy in a diff.
|
|
10
|
+
*
|
|
11
|
+
* `added` / `removed` are expressed purely by array membership
|
|
12
|
+
* (`TCoreEntitySetDiff.added` / `.removed`); they are never stored on a record.
|
|
13
|
+
* The `state` field on a matched record carries only the `modified-*` pair:
|
|
14
|
+
*
|
|
15
|
+
* - `modified-own` — the entity's own comparator reported field changes (its
|
|
16
|
+
* own `checksum` differs).
|
|
17
|
+
* - `modified-within` — own fields unchanged, but a containment child changed
|
|
18
|
+
* or a referenced entity is `modified-own` (a claim/variable edit reaching it
|
|
19
|
+
* through the reference edge).
|
|
20
|
+
*/
|
|
21
|
+
export type TCoreDiffState = "added" | "removed" | "modified-own" | "modified-within";
|
|
8
22
|
/** Field-level diff for a single matched entity. */
|
|
9
23
|
export interface TCoreEntityFieldDiff<T> {
|
|
10
24
|
before: T;
|
|
11
25
|
after: T;
|
|
12
26
|
changes: TCoreFieldChange[];
|
|
27
|
+
state: "modified-own" | "modified-within";
|
|
13
28
|
}
|
|
14
29
|
/** Set-level diff for a collection of ID-keyed entities. */
|
|
15
30
|
export interface TCoreEntitySetDiff<T extends {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/types/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAE7B,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,OAAO,CAAA;IACf,KAAK,EAAE,OAAO,CAAA;CACjB;AAED,oDAAoD;AACpD,MAAM,WAAW,oBAAoB,CAAC,CAAC;IACnC,MAAM,EAAE,CAAC,CAAA;IACT,KAAK,EAAE,CAAC,CAAA;IACR,OAAO,EAAE,gBAAgB,EAAE,CAAA;
|
|
1
|
+
{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/types/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAE7B,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,OAAO,CAAA;IACf,KAAK,EAAE,OAAO,CAAA;CACjB;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,GACpB,OAAO,GACP,SAAS,GACT,cAAc,GACd,iBAAiB,CAAA;AAEvB,oDAAoD;AACpD,MAAM,WAAW,oBAAoB,CAAC,CAAC;IACnC,MAAM,EAAE,CAAC,CAAA;IACT,KAAK,EAAE,CAAC,CAAA;IACR,OAAO,EAAE,gBAAgB,EAAE,CAAA;IAC3B,KAAK,EAAE,cAAc,GAAG,iBAAiB,CAAA;CAC5C;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE;IACxD,KAAK,EAAE,CAAC,EAAE,CAAA;IACV,OAAO,EAAE,CAAC,EAAE,CAAA;IACZ,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAA;CACtC;AAED,qDAAqD;AACrD,MAAM,WAAW,gBAAgB,CAC7B,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,CAC3E,SAAQ,oBAAoB,CAAC,QAAQ,CAAC;IACpC,WAAW,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAA;CACzC;AAED,MAAM,WAAW,mBAAmB,CAChC,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,KAAK,EAAE,QAAQ,EAAE,CAAA;IACjB,OAAO,EAAE,QAAQ,EAAE,CAAA;IACnB,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;CAChD;AAED,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC1B,UAAU,EAAE;QAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAA;CACxE;AAED,kDAAkD;AAClD,MAAM,WAAW,iBAAiB,CAC9B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,QAAQ,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IACpC,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,aAAa,CAAA;CACvB;AAED,iFAAiF;AACjF,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,CAClC,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,CAAC,KACP,gBAAgB,EAAE,CAAA;AAEvB,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,eAAe,CAAC,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IAC5C,eAAe,CAAC,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IAC5C,cAAc,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IAC/C,iBAAiB,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAA;IAC/C,wEAAwE;IACxE,cAAc,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,KAAK,OAAO,CAAA;IACtD,yEAAyE;IACzE,eAAe,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,KAAK,OAAO,CAAA;IAC/C,2EAA2E;IAC3E,iBAAiB,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,KAAK,OAAO,CAAA;CACtD"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@proposit/proposit-core",
|
|
3
|
-
"version": "
|
|
3
|
+
"version": "3.0.0",
|
|
4
4
|
"description": "Core engine for building and manipulating propositional logic arguments.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"keywords": [
|
|
@@ -58,6 +58,11 @@
|
|
|
58
58
|
"import": "./dist/extensions/pipelines/ingestion/index.js",
|
|
59
59
|
"default": "./dist/extensions/pipelines/ingestion/index.js"
|
|
60
60
|
},
|
|
61
|
+
"./pipelines/scheduling": {
|
|
62
|
+
"types": "./dist/lib/pipelines/scheduling.d.ts",
|
|
63
|
+
"import": "./dist/lib/pipelines/scheduling.js",
|
|
64
|
+
"default": "./dist/lib/pipelines/scheduling.js"
|
|
65
|
+
},
|
|
61
66
|
"./conversation": {
|
|
62
67
|
"types": "./dist/lib/conversation/index.d.ts",
|
|
63
68
|
"import": "./dist/lib/conversation/index.js",
|