@proposit/shared 0.7.2 → 0.9.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/api-client/argument/batch.d.ts +46 -9
- package/dist/api-client/argument/batch.d.ts.map +1 -1
- package/dist/api-client/argument/claims.d.ts +192 -44
- package/dist/api-client/argument/claims.d.ts.map +1 -1
- package/dist/api-client/argument/index.d.ts +198 -50
- package/dist/api-client/argument/index.d.ts.map +1 -1
- package/dist/api-client/user/citations.d.ts +92 -18
- package/dist/api-client/user/citations.d.ts.map +1 -1
- package/dist/api-client/user/claims.d.ts +46 -9
- package/dist/api-client/user/claims.d.ts.map +1 -1
- package/dist/consts/axioms.d.ts +4 -0
- package/dist/consts/axioms.d.ts.map +1 -0
- package/dist/consts/axioms.js +17 -0
- package/dist/consts/axioms.js.map +1 -0
- package/dist/consts/index.d.ts +1 -0
- package/dist/consts/index.d.ts.map +1 -1
- package/dist/consts/index.js +1 -0
- package/dist/consts/index.js.map +1 -1
- package/dist/engine/derivation.d.ts +1 -2
- package/dist/engine/derivation.d.ts.map +1 -1
- package/dist/engine/derivation.js +35 -1
- package/dist/engine/derivation.js.map +1 -1
- package/dist/engine/engine.d.ts +24 -22
- package/dist/engine/engine.d.ts.map +1 -1
- package/dist/engine/engine.js +78 -86
- package/dist/engine/engine.js.map +1 -1
- package/dist/engine/library-adapters.d.ts +2 -2
- package/dist/engine/library-adapters.d.ts.map +1 -1
- package/dist/engine/library-adapters.js +2 -2
- package/dist/engine/library-adapters.js.map +1 -1
- package/dist/engine/mutations/expressions.d.ts.map +1 -1
- package/dist/engine/mutations/expressions.js +5 -3
- package/dist/engine/mutations/expressions.js.map +1 -1
- package/dist/engine/mutations/premises.d.ts +17 -2
- package/dist/engine/mutations/premises.d.ts.map +1 -1
- package/dist/engine/mutations/premises.js +86 -28
- package/dist/engine/mutations/premises.js.map +1 -1
- package/dist/engine/optimistic/verification.d.ts.map +1 -1
- package/dist/engine/optimistic/verification.js +9 -7
- package/dist/engine/optimistic/verification.js.map +1 -1
- package/dist/engine/review/review-engine.d.ts.map +1 -1
- package/dist/engine/review/review-engine.js +8 -1
- package/dist/engine/review/review-engine.js.map +1 -1
- package/dist/engine/text-tree.d.ts +2 -1
- package/dist/engine/text-tree.d.ts.map +1 -1
- package/dist/engine/text-tree.js +8 -3
- package/dist/engine/text-tree.js.map +1 -1
- package/dist/schemas/api/argument/batch/provision.d.ts +46 -9
- package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
- package/dist/schemas/api/argument/claims.d.ts +147 -35
- package/dist/schemas/api/argument/claims.d.ts.map +1 -1
- package/dist/schemas/api/argument/index.d.ts +51 -14
- package/dist/schemas/api/argument/index.d.ts.map +1 -1
- package/dist/schemas/api/argument/index.js +1 -1
- package/dist/schemas/api/argument/index.js.map +1 -1
- package/dist/schemas/api/citations.d.ts +230 -45
- package/dist/schemas/api/citations.d.ts.map +1 -1
- package/dist/schemas/api/claims.d.ts +92 -18
- package/dist/schemas/api/claims.d.ts.map +1 -1
- package/dist/schemas/api/grammar-violations.d.ts +17 -0
- package/dist/schemas/api/grammar-violations.d.ts.map +1 -0
- package/dist/schemas/api/grammar-violations.js +18 -0
- package/dist/schemas/api/grammar-violations.js.map +1 -0
- package/dist/schemas/grammar/index.d.ts +3 -0
- package/dist/schemas/grammar/index.d.ts.map +1 -0
- package/dist/schemas/grammar/index.js +23 -0
- package/dist/schemas/grammar/index.js.map +1 -0
- package/dist/schemas/model/arguments.d.ts +147 -36
- package/dist/schemas/model/arguments.d.ts.map +1 -1
- package/dist/schemas/model/arguments.js +1 -1
- package/dist/schemas/model/arguments.js.map +1 -1
- package/dist/schemas/model/citations.d.ts +4 -4
- package/dist/schemas/model/citations.js +2 -2
- package/dist/schemas/model/citations.js.map +1 -1
- package/dist/schemas/model/claims.d.ts +127 -22
- package/dist/schemas/model/claims.d.ts.map +1 -1
- package/dist/schemas/model/claims.js +97 -24
- package/dist/schemas/model/claims.js.map +1 -1
- package/dist/schemas/review.d.ts +13 -13
- package/dist/schemas/review.d.ts.map +1 -1
- package/dist/schemas/review.js +10 -2
- package/dist/schemas/review.js.map +1 -1
- package/package.json +13 -3
package/dist/engine/engine.js
CHANGED
|
@@ -1,22 +1,9 @@
|
|
|
1
1
|
import { ArgumentEngine, InvariantViolationError, } from "@proposit/proposit-core";
|
|
2
2
|
import { CHECKSUM_CONFIG } from "../checksum.js";
|
|
3
|
-
import { createClaimLookup
|
|
4
|
-
// Grammar configs used by fromServerData. Wave-2 derivation premises produced
|
|
5
|
-
// by populateDerivationFromCitations carry an `IMPLIES(OR(c1, c2), Q)` shape
|
|
6
|
-
// that violates the strict runtime rule banning a non-not operator as a direct
|
|
7
|
-
// child of another operator. Loading must therefore tolerate that shape, while
|
|
8
|
-
// runtime mutations after the load must still be disciplined.
|
|
9
|
-
const RUNTIME_GRAMMAR = {
|
|
10
|
-
autoNormalize: false,
|
|
11
|
-
enforceFormulaBetweenOperators: true,
|
|
12
|
-
};
|
|
13
|
-
const LOADING_GRAMMAR = {
|
|
14
|
-
...RUNTIME_GRAMMAR,
|
|
15
|
-
enforceFormulaBetweenOperators: false,
|
|
16
|
-
};
|
|
3
|
+
import { createClaimLookup } from "./library-adapters.js";
|
|
17
4
|
/**
|
|
18
5
|
* Project-specific extension of ArgumentEngine that manages domain data
|
|
19
|
-
* (claims and
|
|
6
|
+
* (claims and citation edges) alongside the core
|
|
20
7
|
* propositional logic state.
|
|
21
8
|
*
|
|
22
9
|
* Mutations to domain data trigger reactive notifications via the inherited
|
|
@@ -27,7 +14,7 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
27
14
|
// Internal storage — claimsMap also backs the base class's claimLibrary
|
|
28
15
|
// so that setClaim() makes new claims visible to addVariable() validation.
|
|
29
16
|
claimsMap;
|
|
30
|
-
|
|
17
|
+
citationsMap = new Map();
|
|
31
18
|
// Shared context object that is captured by the mutableLookup closure
|
|
32
19
|
// and also accessible after construction so the rollback() override can
|
|
33
20
|
// temporarily enable permissive claim stubs (see rollback() below).
|
|
@@ -35,7 +22,7 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
35
22
|
// The type annotation is a plain object to satisfy TS before this exists.
|
|
36
23
|
claimContext;
|
|
37
24
|
constructor(...args) {
|
|
38
|
-
const [argument, claimLookup,
|
|
25
|
+
const [argument, claimLookup, options] = args;
|
|
39
26
|
// Create the shared claims map before super() so we can build a
|
|
40
27
|
// live lookup that the base class stores as this.claimLibrary.
|
|
41
28
|
const claimsMap = new Map();
|
|
@@ -61,11 +48,12 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
61
48
|
if (orig)
|
|
62
49
|
return toCoreClaim(orig);
|
|
63
50
|
// During snapshot rollback (restoring from server data), return
|
|
64
|
-
// a stub so
|
|
65
|
-
// in the supplied claims array. This allows
|
|
66
|
-
// work when claims are omitted or incomplete.
|
|
67
|
-
// (addVariable) still check the lookup — but
|
|
68
|
-
// called during rollbackInternal, only
|
|
51
|
+
// a stub so validateInvariants() passes for claim references
|
|
52
|
+
// not present in the supplied claims array. This allows
|
|
53
|
+
// fromServerData to work when claims are omitted or incomplete.
|
|
54
|
+
// Normal mutations (addVariable) still check the lookup — but
|
|
55
|
+
// addVariable is not called during rollbackInternal, only
|
|
56
|
+
// validateInvariants() is.
|
|
69
57
|
if (claimContext.permissiveForRestore) {
|
|
70
58
|
return {
|
|
71
59
|
id,
|
|
@@ -87,24 +75,26 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
87
75
|
return undefined;
|
|
88
76
|
},
|
|
89
77
|
};
|
|
90
|
-
super(argument, mutableLookup,
|
|
78
|
+
super(argument, mutableLookup, options);
|
|
91
79
|
this.claimsMap = claimsMap;
|
|
92
80
|
this.claimContext = claimContext;
|
|
93
81
|
}
|
|
94
82
|
// ──── Rollback override for permissive claim stubs ────
|
|
95
83
|
/**
|
|
96
84
|
* Overrides base rollback() to temporarily enable permissive claim stubs
|
|
97
|
-
* during the
|
|
85
|
+
* during the validateInvariants() call that rollback() performs internally.
|
|
98
86
|
*
|
|
99
|
-
* In proposit-core 0.
|
|
100
|
-
* every claim-bound variable's (claimId, claimVersion) exists
|
|
101
|
-
* library. When the engine is loaded from a server snapshot
|
|
102
|
-
* does not supply the full claims array (common in tests),
|
|
87
|
+
* In proposit-core 1.0.0+, rollback() calls validateInvariants() which
|
|
88
|
+
* checks that every claim-bound variable's (claimId, claimVersion) exists
|
|
89
|
+
* in the claim library. When the engine is loaded from a server snapshot
|
|
90
|
+
* and the caller does not supply the full claims array (common in tests),
|
|
91
|
+
* this would fail.
|
|
103
92
|
*
|
|
104
|
-
* Permissive stubs are ONLY active during rollback's
|
|
93
|
+
* Permissive stubs are ONLY active during rollback's validateInvariants()
|
|
94
|
+
* pass:
|
|
105
95
|
* - addVariable() explicit check: claimContext.permissiveForRestore = false
|
|
106
96
|
* (addVariable is not called inside rollbackInternal)
|
|
107
|
-
* -
|
|
97
|
+
* - validateInvariants() inside rollback(): permissiveForRestore = true
|
|
108
98
|
*/
|
|
109
99
|
rollback(snapshot) {
|
|
110
100
|
this.claimContext.permissiveForRestore = true;
|
|
@@ -117,10 +107,10 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
117
107
|
}
|
|
118
108
|
// Dirty tracking for structural sharing
|
|
119
109
|
claimsDirty = true;
|
|
120
|
-
|
|
110
|
+
citationsDirty = true;
|
|
121
111
|
// Cached records for reactive snapshot
|
|
122
112
|
cachedClaims = {};
|
|
123
|
-
|
|
113
|
+
cachedCitations = {};
|
|
124
114
|
// Full combined snapshot cache (for useSyncExternalStore referential stability)
|
|
125
115
|
cachedProjectSnapshot;
|
|
126
116
|
lastBaseSnapshot;
|
|
@@ -132,19 +122,30 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
132
122
|
}
|
|
133
123
|
return this.cachedClaims;
|
|
134
124
|
}
|
|
135
|
-
|
|
136
|
-
if (this.
|
|
137
|
-
this.
|
|
138
|
-
this.
|
|
125
|
+
getCitationsRecord() {
|
|
126
|
+
if (this.citationsDirty) {
|
|
127
|
+
this.cachedCitations = Object.fromEntries(this.citationsMap);
|
|
128
|
+
this.citationsDirty = false;
|
|
139
129
|
}
|
|
140
|
-
return this.
|
|
130
|
+
return this.cachedCitations;
|
|
141
131
|
}
|
|
142
132
|
// ──── Typed snapshot accessor ────
|
|
143
133
|
getProjectSnapshot() {
|
|
144
134
|
return this.getSnapshot();
|
|
145
135
|
}
|
|
146
136
|
// ──── Claim accessors ────
|
|
147
|
-
getClaim
|
|
137
|
+
// NOTE: this is `getProjectClaim`, not `getClaim`, because core 1.0
|
|
138
|
+
// promoted `getClaim(claimId, claimVersion)` to the `ArgumentEngine` base
|
|
139
|
+
// surface (returns `TCoreClaim`, the minimal `{ id, version, type, frozen,
|
|
140
|
+
// checksum }` shape used by the engine's claim-bound-variable validation).
|
|
141
|
+
// Shared's domain method returns the richer `TClaim` (a discriminated
|
|
142
|
+
// union over normal / citation / axiomatic with `createdOn`, `creatorId`,
|
|
143
|
+
// `title`, etc.) drawn from the per-engine `claimsMap`, so it cannot be
|
|
144
|
+
// an override — the return types are incompatible. Both methods coexist
|
|
145
|
+
// on the engine: callers wanting the wire-format minimal shape use
|
|
146
|
+
// `getClaim(id, version)`; callers wanting the full project-claim record
|
|
147
|
+
// use `getProjectClaim(id)`.
|
|
148
|
+
getProjectClaim(id) {
|
|
148
149
|
return this.claimsMap.get(id);
|
|
149
150
|
}
|
|
150
151
|
getClaims() {
|
|
@@ -161,35 +162,35 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
161
162
|
this.notifySubscribers();
|
|
162
163
|
}
|
|
163
164
|
}
|
|
164
|
-
// ────
|
|
165
|
-
|
|
166
|
-
return this.
|
|
165
|
+
// ──── Citation accessors ────
|
|
166
|
+
getCitationsForClaim(claimId) {
|
|
167
|
+
return this.citationsMap.get(claimId) ?? [];
|
|
167
168
|
}
|
|
168
|
-
|
|
169
|
-
return { ...this.
|
|
169
|
+
getCitations() {
|
|
170
|
+
return { ...this.getCitationsRecord() };
|
|
170
171
|
}
|
|
171
|
-
|
|
172
|
-
const existing = this.
|
|
173
|
-
this.
|
|
174
|
-
this.
|
|
172
|
+
addCitation(cc) {
|
|
173
|
+
const existing = this.citationsMap.get(cc.claimId) ?? [];
|
|
174
|
+
this.citationsMap.set(cc.claimId, [...existing, cc]);
|
|
175
|
+
this.citationsDirty = true;
|
|
175
176
|
this.notifySubscribers();
|
|
176
177
|
}
|
|
177
|
-
|
|
178
|
+
removeCitation(edgeId) {
|
|
178
179
|
let removed = false;
|
|
179
|
-
for (const [
|
|
180
|
+
for (const [claimId, edges] of this.citationsMap.entries()) {
|
|
180
181
|
const filtered = edges.filter((e) => e.id !== edgeId);
|
|
181
182
|
if (filtered.length !== edges.length) {
|
|
182
183
|
if (filtered.length > 0) {
|
|
183
|
-
this.
|
|
184
|
+
this.citationsMap.set(claimId, filtered);
|
|
184
185
|
}
|
|
185
186
|
else {
|
|
186
|
-
this.
|
|
187
|
+
this.citationsMap.delete(claimId);
|
|
187
188
|
}
|
|
188
189
|
removed = true;
|
|
189
190
|
}
|
|
190
191
|
}
|
|
191
192
|
if (removed) {
|
|
192
|
-
this.
|
|
193
|
+
this.citationsDirty = true;
|
|
193
194
|
this.notifySubscribers();
|
|
194
195
|
}
|
|
195
196
|
}
|
|
@@ -206,12 +207,19 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
206
207
|
buildReactiveSnapshot() {
|
|
207
208
|
const base = super.buildReactiveSnapshot();
|
|
208
209
|
const claims = this.getClaimsRecord();
|
|
209
|
-
const
|
|
210
|
+
const citations = this.getCitationsRecord();
|
|
210
211
|
// Recompute validation when base engine snapshot changes
|
|
211
212
|
let validationIssues;
|
|
212
213
|
if (base !== this.lastBaseSnapshot) {
|
|
213
214
|
const evaluability = this.validateEvaluability().issues;
|
|
214
|
-
|
|
215
|
+
// Core 1.0 split the legacy `validate()` into two methods:
|
|
216
|
+
// `validateInvariants()` is the engine-invariant sweep returning
|
|
217
|
+
// `{ ok, violations }` with `TCoreValidationIssue`-shaped entries
|
|
218
|
+
// (legacy semantics — what this wrapper has always consumed);
|
|
219
|
+
// `validate(tier)` is the new four-tier grammar query returning a
|
|
220
|
+
// `readonly TViolation[]`. Reactive snapshot consumers expect the
|
|
221
|
+
// invariant view here.
|
|
222
|
+
const invariants = this.validateInvariants();
|
|
215
223
|
const mappedViolations = invariants.ok
|
|
216
224
|
? []
|
|
217
225
|
: invariants.violations.map((v) => ({
|
|
@@ -231,13 +239,13 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
231
239
|
if (this.cachedProjectSnapshot &&
|
|
232
240
|
base === this.lastBaseSnapshot &&
|
|
233
241
|
claims === this.cachedProjectSnapshot.claims &&
|
|
234
|
-
|
|
242
|
+
citations === this.cachedProjectSnapshot.citations) {
|
|
235
243
|
return this.cachedProjectSnapshot;
|
|
236
244
|
}
|
|
237
245
|
const snapshot = {
|
|
238
246
|
...base,
|
|
239
247
|
claims,
|
|
240
|
-
|
|
248
|
+
citations,
|
|
241
249
|
validationIssues,
|
|
242
250
|
};
|
|
243
251
|
this.cachedProjectSnapshot = snapshot;
|
|
@@ -247,17 +255,16 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
247
255
|
// ──── Static factory ────
|
|
248
256
|
/**
|
|
249
257
|
* Creates a PropositArgumentEngine from server-provided data: an engine
|
|
250
|
-
* snapshot (for logic state) plus arrays of claims and
|
|
258
|
+
* snapshot (for logic state) plus arrays of claims and citation
|
|
251
259
|
* edges.
|
|
252
260
|
*
|
|
253
261
|
* Does NOT trigger reactive notifications during initial data loading.
|
|
254
262
|
*/
|
|
255
|
-
static fromServerData(snapshot, claims,
|
|
263
|
+
static fromServerData(snapshot, claims, citations) {
|
|
256
264
|
const claimLookup = createClaimLookup(claims);
|
|
257
|
-
const engine = new PropositArgumentEngine(snapshot.argument, claimLookup,
|
|
265
|
+
const engine = new PropositArgumentEngine(snapshot.argument, claimLookup, {
|
|
258
266
|
checksumConfig: CHECKSUM_CONFIG,
|
|
259
267
|
positionConfig: snapshot.config?.positionConfig,
|
|
260
|
-
grammarConfig: RUNTIME_GRAMMAR,
|
|
261
268
|
generateId: () => crypto.randomUUID(),
|
|
262
269
|
});
|
|
263
270
|
// Restore engine state from the snapshot.
|
|
@@ -268,17 +275,17 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
268
275
|
// the server's CHECKSUM_CONFIG includes extra fields (createdOn, etc.).
|
|
269
276
|
//
|
|
270
277
|
// NOTE: rollback() is overridden in PropositArgumentEngine to set
|
|
271
|
-
// claimContext.permissiveForRestore = true during the
|
|
278
|
+
// claimContext.permissiveForRestore = true during the validateInvariants() call,
|
|
272
279
|
// so unknown claim references in the snapshot don't cause failures when
|
|
273
280
|
// the caller provides an incomplete claims array.
|
|
274
281
|
//
|
|
275
|
-
//
|
|
276
|
-
//
|
|
277
|
-
//
|
|
278
|
-
//
|
|
279
|
-
//
|
|
280
|
-
//
|
|
281
|
-
//
|
|
282
|
+
// Core 1.0 dropped the per-premise `grammarConfig` knob and the
|
|
283
|
+
// legacy `LOAD_GRAMMAR` / `STRICT_GRAMMAR` snapshot-loading split:
|
|
284
|
+
// snapshot loading now accepts any Structural-valid state, and the
|
|
285
|
+
// P-1 formula-buffer rule is queried via `validate('presentable')`
|
|
286
|
+
// rather than rejecting at load time. Wave-2 derivation premises
|
|
287
|
+
// with the `IMPLIES(OR(c1, c2), Q)` shape therefore load without
|
|
288
|
+
// any per-premise config rewrite or post-load re-tightening loop.
|
|
282
289
|
const snapshotWithVariableConfig = {
|
|
283
290
|
...snapshot,
|
|
284
291
|
variables: {
|
|
@@ -287,16 +294,6 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
287
294
|
checksumConfig: CHECKSUM_CONFIG,
|
|
288
295
|
},
|
|
289
296
|
},
|
|
290
|
-
premises: snapshot.premises.map((premiseSnap) => ({
|
|
291
|
-
...premiseSnap,
|
|
292
|
-
expressions: {
|
|
293
|
-
...premiseSnap.expressions,
|
|
294
|
-
config: {
|
|
295
|
-
...premiseSnap.expressions.config,
|
|
296
|
-
grammarConfig: LOADING_GRAMMAR,
|
|
297
|
-
},
|
|
298
|
-
},
|
|
299
|
-
})),
|
|
300
297
|
};
|
|
301
298
|
try {
|
|
302
299
|
engine.rollback(snapshotWithVariableConfig);
|
|
@@ -307,19 +304,14 @@ export class PropositArgumentEngine extends ArgumentEngine {
|
|
|
307
304
|
}
|
|
308
305
|
throw error;
|
|
309
306
|
}
|
|
310
|
-
// Re-tighten so subsequent mutations (addExpression, wrapExpression, …)
|
|
311
|
-
// respect the explicit-formula-between-operators discipline.
|
|
312
|
-
for (const pe of engine.listPremises()) {
|
|
313
|
-
pe.setGrammarConfig(RUNTIME_GRAMMAR);
|
|
314
|
-
}
|
|
315
307
|
// Load domain data into internal maps (no notifications)
|
|
316
308
|
for (const claim of claims) {
|
|
317
309
|
engine.claimsMap.set(claim.id, claim);
|
|
318
310
|
}
|
|
319
|
-
for (const cc of
|
|
320
|
-
const existing = engine.
|
|
311
|
+
for (const cc of citations) {
|
|
312
|
+
const existing = engine.citationsMap.get(cc.claimId) ?? [];
|
|
321
313
|
existing.push(cc);
|
|
322
|
-
engine.
|
|
314
|
+
engine.citationsMap.set(cc.claimId, existing);
|
|
323
315
|
}
|
|
324
316
|
return engine;
|
|
325
317
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,uBAAuB,
|
|
1
|
+
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,uBAAuB,GAM1B,MAAM,yBAAyB,CAAA;AAUhC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AAiCzD;;;;;;;;GAQG;AACH,MAAM,OAAO,sBAAuB,SAAQ,cAK3C;IACG,wEAAwE;IACxE,2EAA2E;IACnE,SAAS,CAAqB;IAC9B,YAAY,GAAG,IAAI,GAAG,EAA4B,CAAA;IAE1D,sEAAsE;IACtE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,0EAA0E;IAClE,YAAY,CAAoC;IAExD,YACI,GAAG,IAOF;QAED,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,IAAI,CAAA;QAC7C,gEAAgE;QAChE,+DAA+D;QAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC3C,MAAM,WAAW,GAAG,CAAC,CAIpB,EAAc,EAAE,CAAC,CAAC;YACf,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,QAAQ;YACxB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,EAAE;SACf,CAAC,CAAA;QACF,mEAAmE;QACnE,kEAAkE;QAClE,4DAA4D;QAC5D,MAAM,YAAY,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;QACpD,MAAM,aAAa,GAAiB;YAChC,GAAG,CAAC,EAAU,EAAE,OAAe;gBAC3B,8DAA8D;gBAC9D,qEAAqE;gBACrE,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBAC3B,IAAI,CAAC,EAAE,OAAO,KAAK,OAAO;oBAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;gBACjD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;gBACzC,IAAI,IAAI;oBAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;gBAClC,gEAAgE;gBAChE,6DAA6D;gBAC7D,wDAAwD;gBACxD,gEAAgE;gBAChE,8DAA8D;gBAC9D,0DAA0D;gBAC1D,2BAA2B;gBAC3B,IAAI,YAAY,CAAC,oBAAoB,EAAE,CAAC;oBACpC,OAAO;wBACH,EAAE;wBACF,OAAO;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE,EAAE;qBACf,CAAA;gBACL,CAAC;gBACD,OAAO,SAAS,CAAA;YACpB,CAAC;YACD,UAAU,CAAC,EAAU;gBACjB,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBAC3B,IAAI,CAAC;oBAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;gBAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBACvC,IAAI,IAAI;oBAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;gBAClC,OAAO,SAAS,CAAA;YACpB,CAAC;SACJ,CAAA;QACD,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;QACvC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;IACpC,CAAC;IAED,yDAAyD;IAEzD;;;;;;;;;;;;;;;OAeG;IACM,QAAQ,CACb,QASI;QAEJ,IAAI,CAAC,YAAY,CAAC,oBAAoB,GAAG,IAAI,CAAA;QAC7C,IAAI,CAAC;YACD,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QAC5B,CAAC;gBAAS,CAAC;YACP,IAAI,CAAC,YAAY,CAAC,oBAAoB,GAAG,KAAK,CAAA;QAClD,CAAC;IACL,CAAC;IAED,wCAAwC;IAChC,WAAW,GAAG,IAAI,CAAA;IAClB,cAAc,GAAG,IAAI,CAAA;IAE7B,uCAAuC;IAC/B,YAAY,GAA2B,EAAE,CAAA;IACzC,eAAe,GAAqC,EAAE,CAAA;IAE9D,gFAAgF;IACxE,qBAAqB,CAAsC;IAC3D,gBAAgB,CAOT;IAEf,kCAAkC;IAE1B,eAAe;QACnB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACtD,IAAI,CAAC,WAAW,GAAG,KAAK,CAAA;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAA;IAC5B,CAAC;IAEO,kBAAkB;QACtB,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,CAAC,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5D,IAAI,CAAC,cAAc,GAAG,KAAK,CAAA;QAC/B,CAAC;QACD,OAAO,IAAI,CAAC,eAAe,CAAA;IAC/B,CAAC;IAED,oCAAoC;IAEpC,kBAAkB;QACd,OAAO,IAAI,CAAC,WAAW,EAA8B,CAAA;IACzD,CAAC;IAED,4BAA4B;IAE5B,oEAAoE;IACpE,0EAA0E;IAC1E,2EAA2E;IAC3E,2EAA2E;IAC3E,sEAAsE;IACtE,0EAA0E;IAC1E,wEAAwE;IACxE,wEAAwE;IACxE,mEAAmE;IACnE,yEAAyE;IACzE,6BAA6B;IAC7B,eAAe,CAAC,EAAU;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACjC,CAAC;IAED,SAAS;QACL,OAAO,IAAI,CAAC,eAAe,EAAE,CAAA;IACjC,CAAC;IAED,QAAQ,CAAC,KAAa;QAClB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QACvB,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,WAAW,CAAC,EAAU;QAClB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;YACvB,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,+BAA+B;IAE/B,oBAAoB,CAAC,OAAe;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;IAC/C,CAAC;IAED,YAAY;QACR,OAAO,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAA;IAC3C,CAAC;IAED,WAAW,CAAC,EAAkB;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QACxD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAA;QACpD,IAAI,CAAC,cAAc,GAAG,IAAI,CAAA;QAC1B,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,cAAc,CAAC,MAAc;QACzB,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAA;YACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBACnC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;gBAC5C,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;gBACrC,CAAC;gBACD,OAAO,GAAG,IAAI,CAAA;YAClB,CAAC;QACL,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACV,IAAI,CAAC,cAAc,GAAG,IAAI,CAAA;YAC1B,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,6BAA6B;IAE7B;;;OAGG;IACa,OAAO;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAC9B,OAAO,GAAG,EAAE,SAAS,KAAK,IAAI,CAAA;IAClC,CAAC;IAED,uCAAuC;IAEpB,qBAAqB;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,qBAAqB,EAAE,CAAA;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAA;QAE3C,yDAAyD;QACzD,IAAI,gBAAwC,CAAA;QAC5C,IAAI,IAAI,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAA;YACvD,2DAA2D;YAC3D,iEAAiE;YACjE,kEAAkE;YAClE,8DAA8D;YAC9D,kEAAkE;YAClE,kEAAkE;YAClE,uBAAuB;YACvB,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAA;YAC5C,MAAM,gBAAgB,GAA2B,UAAU,CAAC,EAAE;gBAC1D,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CACrB,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC;oBAC1B,IAAI,EAAE,CAAC,CAAC,IAAoC;oBAC5C,QAAQ,EAAE,OAAgB;oBAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;iBACzB,CAAC,CACL,CAAA;YACP,gBAAgB,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,gBAAgB,CAAC,CAAA;QAC7D,CAAC;aAAM,CAAC;YACJ,gBAAgB;gBACZ,IAAI,CAAC,qBAAqB,EAAE,gBAAgB,IAAI,EAAE,CAAA;QAC1D,CAAC;QAED,qEAAqE;QACrE,6DAA6D;QAC7D,IACI,IAAI,CAAC,qBAAqB;YAC1B,IAAI,KAAK,IAAI,CAAC,gBAAgB;YAC9B,MAAM,KAAK,IAAI,CAAC,qBAAqB,CAAC,MAAM;YAC5C,SAAS,KAAK,IAAI,CAAC,qBAAqB,CAAC,SAAS,EACpD,CAAC;YACC,OAAO,IAAI,CAAC,qBAAqB,CAAA;QACrC,CAAC;QAED,MAAM,QAAQ,GAA6B;YACvC,GAAG,IAAI;YACP,MAAM;YACN,SAAS;YACT,gBAAgB;SACnB,CAAA;QACD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAA;QACrC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;QAC5B,OAAO,QAAQ,CAAA;IACnB,CAAC;IAED,2BAA2B;IAE3B;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAA0B,EAC1B,MAAgB,EAChB,SAA2B;QAE3B,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,IAAI,sBAAsB,CACrC,QAAQ,CAAC,QAAQ,EACjB,WAAW,EACX;YACI,cAAc,EAAE,eAAe;YAC/B,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc;YAC/C,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE;SACxC,CACJ,CAAA;QAED,0CAA0C;QAC1C,+DAA+D;QAC/D,iEAAiE;QACjE,oEAAoE;QACpE,oEAAoE;QACpE,wEAAwE;QACxE,EAAE;QACF,kEAAkE;QAClE,iFAAiF;QACjF,wEAAwE;QACxE,kDAAkD;QAClD,EAAE;QACF,gEAAgE;QAChE,mEAAmE;QACnE,mEAAmE;QACnE,mEAAmE;QACnE,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,MAAM,0BAA0B,GAAqB;YACjD,GAAG,QAAQ;YACX,SAAS,EAAE;gBACP,GAAG,QAAQ,CAAC,SAAS;gBACrB,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,IAAI;oBACjC,cAAc,EAAE,eAAe;iBAClC;aACJ;SACJ,CAAA;QACD,IAAI,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAA;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;gBAC3C,MAAM,IAAI,KAAK,CACX,2BAA2B,QAAQ,CAAC,QAAQ,EAAE,EAAE,0CAA0C,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC7I,EAAE,KAAK,EAAE,KAAK,EAAE,CACnB,CAAA;YACL,CAAC;YACD,MAAM,KAAK,CAAA;QACf,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACzC,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;YAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACjB,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACjD,CAAC;QAED,OAAO,MAAM,CAAA;IACjB,CAAC;CACJ"}
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
import type { TClaimLookup } from "@proposit/proposit-core";
|
|
2
|
-
import { EMPTY_CLAIM_LOOKUP
|
|
2
|
+
import { EMPTY_CLAIM_LOOKUP } from "@proposit/proposit-core";
|
|
3
3
|
export declare function createClaimLookup(claims: {
|
|
4
4
|
id: string;
|
|
5
5
|
version: number;
|
|
6
6
|
}[]): TClaimLookup;
|
|
7
|
-
export { EMPTY_CLAIM_LOOKUP
|
|
7
|
+
export { EMPTY_CLAIM_LOOKUP };
|
|
8
8
|
//# sourceMappingURL=library-adapters.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"library-adapters.d.ts","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,
|
|
1
|
+
{"version":3,"file":"library-adapters.d.ts","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAgB,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAE1E,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE,GAC1C,YAAY,CAed;AAED,OAAO,EAAE,kBAAkB,EAAE,CAAA"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { createLookup, EMPTY_CLAIM_LOOKUP
|
|
1
|
+
import { createLookup, EMPTY_CLAIM_LOOKUP } from "@proposit/proposit-core";
|
|
2
2
|
export function createClaimLookup(claims) {
|
|
3
3
|
const inner = createLookup(claims, (c) => `${c.id}:${c.version}`);
|
|
4
4
|
const latestById = new Map();
|
|
@@ -15,5 +15,5 @@ export function createClaimLookup(claims) {
|
|
|
15
15
|
getCurrent: (id) => latestById.get(id),
|
|
16
16
|
};
|
|
17
17
|
}
|
|
18
|
-
export { EMPTY_CLAIM_LOOKUP
|
|
18
|
+
export { EMPTY_CLAIM_LOOKUP };
|
|
19
19
|
//# sourceMappingURL=library-adapters.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"library-adapters.js","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AACA,OAAO,
|
|
1
|
+
{"version":3,"file":"library-adapters.js","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAE1E,MAAM,UAAU,iBAAiB,CAC7B,MAAyC;IAEzC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2C,CAAA;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACrC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC5C,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QAC3B,CAAC;IACL,CAAC;IACD,OAAO;QACH,mGAAmG;QACnG,GAAG,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAQ;QACnD,mGAAmG;QACnG,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAQ;KAChD,CAAA;AACL,CAAC;AAED,OAAO,EAAE,kBAAkB,EAAE,CAAA"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACR,gCAAgC,EAChC,6BAA6B,EAC7B,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAQjE,MAAM,MAAM,yBAAyB,GAAG;IACpC,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,MAAM,CAAA;IACjB,WAAW,EAAE,6BAA6B,CAAA;IAC1C,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,SAAS,EAAE,MAAM,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;IACtC,UAAU,CAAC,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;KAAE,CAAA;IACpE,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,GACF;IACC,OAAO,EAAE,gCAAgC,CAAA;IACzC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAyEA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE;IACL,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;CACzC,GACF;IACC,UAAU,EAAE,gCAAgC,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA8BA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,GACrB;IACC,OAAO,EAAE,gCAAgC,GAAG,SAAS,CAAA;IACrD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAgBA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GACpD;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAY/B;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,YAAY,EAAE,MAAM,CAAA;IACpB,WAAW,EAAE,oBAAoB,CAAA;IACjC,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,WAAW,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,IAAI,CAAA;KAAE,CAAA;CACvD,GACF;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAyB/B;AAED,MAAM,MAAM,iCAAiC,GAAG;IAC5C,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,yBAAyB,GAChC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA2CA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,mBAAmB,GAC1B;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,
|
|
1
|
+
{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACR,gCAAgC,EAChC,6BAA6B,EAC7B,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAQjE,MAAM,MAAM,yBAAyB,GAAG;IACpC,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,MAAM,CAAA;IACjB,WAAW,EAAE,6BAA6B,CAAA;IAC1C,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,SAAS,EAAE,MAAM,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;IACtC,UAAU,CAAC,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;KAAE,CAAA;IACpE,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,GACF;IACC,OAAO,EAAE,gCAAgC,CAAA;IACzC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAyEA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE;IACL,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;CACzC,GACF;IACC,UAAU,EAAE,gCAAgC,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA8BA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,GACrB;IACC,OAAO,EAAE,gCAAgC,GAAG,SAAS,CAAA;IACrD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAgBA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GACpD;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAY/B;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,YAAY,EAAE,MAAM,CAAA;IACpB,WAAW,EAAE,oBAAoB,CAAA;IACjC,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,WAAW,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,IAAI,CAAA;KAAE,CAAA;CACvD,GACF;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAyB/B;AAED,MAAM,MAAM,iCAAiC,GAAG;IAC5C,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,yBAAyB,GAChC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA2CA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,mBAAmB,GAC1B;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAgFA;AAED,wBAAgB,kCAAkC,CAC9C,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,iCAAiC,GACxC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAsDA"}
|
|
@@ -199,9 +199,11 @@ export function mutateWrapExpression(engine, data) {
|
|
|
199
199
|
operator: null,
|
|
200
200
|
};
|
|
201
201
|
const wrapResult = pm.wrapExpression(operatorInput, siblingInput, data.direction === "after" ? data.targetExpressionId : undefined, data.direction === "before" ? data.targetExpressionId : undefined);
|
|
202
|
-
// Auto-generated expressions (formula buffers
|
|
203
|
-
//
|
|
204
|
-
//
|
|
202
|
+
// Auto-generated expressions (formula buffers inserted by the engine's
|
|
203
|
+
// post-mutation AN pass when running in assistive behavior; see cross-repo
|
|
204
|
+
// spec 2026-05-13-grammar-tiers-design §5) only have core fields. Patch
|
|
205
|
+
// both the engine's internal state AND the changeset copies with the
|
|
206
|
+
// missing application-level fields.
|
|
205
207
|
// pm.getExpression() returns the actual Map-stored object, so
|
|
206
208
|
// Object.assign mutates the engine's internal expression in-place.
|
|
207
209
|
const appFields = {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AA+CA,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,IAaC;IAMD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,YAAY;QACrB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,4DAA4D;IAC5D,wDAAwD;IACxD,4DAA4D;IAC5D,IAAI,aAAwB,CAAA;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC,EAAE,8CAA8C;SAC9D,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAS;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;SAAM,CAAC;QACJ,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;IAED,IAAI,MAA2C,CAAA;IAE/C,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,UAAU,CAAA;QAC9D,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,qBAAqB,CAC7B,SAAS,EACT,SAAS,EACT,UAA4B,CAC/B,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrC,aAAa,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QACtC,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,aAAsB,CAAC,CAAA;IACrD,CAAC;SAAM,CAAC;QACJ,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,gBAAgB,CACxB,IAAI,CAAC,QAAQ,EACb,UAA4B,CAC/B,CAAA;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAA;IAC7B,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAC/D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,YAAY,CACpC,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB,EACpB,OAIC;IAKD,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,aAAa,GAA0B,EAAE,CAAA;QAC/C,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QAC7C,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,aAAa,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,SAAS,CAAA;QAC9D,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAA;QAC1D,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC3C,YAAY,EACZ,aAAa,CAChB,CAAA;QACD,OAAO;YACH,UAAU,EAAE,MAAM;YAClB,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB;IAKpB,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;QACnE,OAAO;YACH,OAAO,EAAE,MAAM;YACf,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,YAAoB,EACpB,WAAmD;IAEnD,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAA;IACzD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;IAC1E,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE;QAChD,GAAG,WAAW;QACd,UAAU,EAAE,IAAI;KAC0B,CAAC,CAAA;IAE/C,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAMC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC9D,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CACX,cAAc,IAAI,CAAC,YAAY,2BAA2B,CAC7D,CAAA;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,WAAW;QACxC,CAAC,CAAE;YACG,GAAG,IAAI,CAAC,WAAW;YACnB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SAC6B;QACjD,CAAC,CAAC,SAAS,CAAA;IAEf,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CACjC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,aAAa,EAClB,mBAAmB,CACtB,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAiBD,MAAM,UAAU,0BAA0B,CACtC,MAAqB,EACrB,IAA+B;IAM/B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,SAAS;QAClB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,IAAI,KAAK,UAAU;QACpB,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,MAAM,GAAG,EAAE,CAAC,qBAAqB,CACnC,IAAI,CAAC,kBAAkB,EACvB,IAAI,CAAC,SAAS,EACd,YAAY,CACf,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IACvD,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAAyB;IAMzB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,aAAa,GAAmB;QAClC,EAAE,EAAE,IAAI,CAAC,UAAU;QACnB,GAAG,MAAM;QACT,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAI,CAAC,YAAY;QAC3B,UAAU,EAAE,IAAI;KACnB,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,WAAW,KAAK,UAAU;QAC3B,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAChC,aAAa,EACb,YAAY,EACZ,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAChE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CACpE,CAAA;IAED,
|
|
1
|
+
{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AA+CA,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,IAaC;IAMD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,YAAY;QACrB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,4DAA4D;IAC5D,wDAAwD;IACxD,4DAA4D;IAC5D,IAAI,aAAwB,CAAA;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC,EAAE,8CAA8C;SAC9D,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAS;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;SAAM,CAAC;QACJ,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;IAED,IAAI,MAA2C,CAAA;IAE/C,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,UAAU,CAAA;QAC9D,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,qBAAqB,CAC7B,SAAS,EACT,SAAS,EACT,UAA4B,CAC/B,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrC,aAAa,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QACtC,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,aAAsB,CAAC,CAAA;IACrD,CAAC;SAAM,CAAC;QACJ,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,gBAAgB,CACxB,IAAI,CAAC,QAAQ,EACb,UAA4B,CAC/B,CAAA;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAA;IAC7B,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAC/D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,YAAY,CACpC,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB,EACpB,OAIC;IAKD,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,aAAa,GAA0B,EAAE,CAAA;QAC/C,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QAC7C,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,aAAa,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,SAAS,CAAA;QAC9D,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAA;QAC1D,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC3C,YAAY,EACZ,aAAa,CAChB,CAAA;QACD,OAAO;YACH,UAAU,EAAE,MAAM;YAClB,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB;IAKpB,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;QACnE,OAAO;YACH,OAAO,EAAE,MAAM;YACf,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,YAAoB,EACpB,WAAmD;IAEnD,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAA;IACzD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;IAC1E,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE;QAChD,GAAG,WAAW;QACd,UAAU,EAAE,IAAI;KAC0B,CAAC,CAAA;IAE/C,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAMC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC9D,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CACX,cAAc,IAAI,CAAC,YAAY,2BAA2B,CAC7D,CAAA;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,WAAW;QACxC,CAAC,CAAE;YACG,GAAG,IAAI,CAAC,WAAW;YACnB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SAC6B;QACjD,CAAC,CAAC,SAAS,CAAA;IAEf,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CACjC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,aAAa,EAClB,mBAAmB,CACtB,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAiBD,MAAM,UAAU,0BAA0B,CACtC,MAAqB,EACrB,IAA+B;IAM/B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,SAAS;QAClB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,IAAI,KAAK,UAAU;QACpB,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,MAAM,GAAG,EAAE,CAAC,qBAAqB,CACnC,IAAI,CAAC,kBAAkB,EACvB,IAAI,CAAC,SAAS,EACd,YAAY,CACf,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IACvD,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAAyB;IAMzB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,aAAa,GAAmB;QAClC,EAAE,EAAE,IAAI,CAAC,UAAU;QACnB,GAAG,MAAM;QACT,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAI,CAAC,YAAY;QAC3B,UAAU,EAAE,IAAI;KACnB,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,WAAW,KAAK,UAAU;QAC3B,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAChC,aAAa,EACb,YAAY,EACZ,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAChE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CACpE,CAAA;IAED,uEAAuE;IACvE,2EAA2E;IAC3E,wEAAwE;IACxE,qEAAqE;IACrE,oCAAoC;IACpC,8DAA8D;IAC9D,mEAAmE;IACnE,MAAM,SAAS,GAAG;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,IAAI;KACjB,CAAA;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACtD,IAAI,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;gBACnD,wCAAwC;gBACxC,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAC1C,IAAI,QAAQ,EAAE,CAAC;oBACX,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;gBACtC,CAAC;gBACD,mCAAmC;gBACnC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;YAClC,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IAC3D,MAAM,QAAQ,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CACpE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAA;AAC7D,CAAC;AAED,MAAM,UAAU,kCAAkC,CAC9C,MAAqB,EACrB,IAAuC;IAMvC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,yEAAyE,CAC5E,CAAA;IACL,CAAC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,kBAAkB,YAAY,CAAC,CAAA;IACtE,CAAC;IAED,qDAAqD;IACrD,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ;QAClC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC;QACvC,CAAC,CAAC,IAAI,CAAA;IACV,MAAM,kBAAkB,GACpB,UAAU,EAAE,IAAI,KAAK,UAAU;QAC/B,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAA;IAEnE,IAAI,kBAAkB,EAAE,CAAC;QACrB,OAAO,0BAA0B,CAAC,MAAM,EAAE;YACtC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SAC5B,CAAC,CAAA;IACN,CAAC;IAED,OAAO,oBAAoB,CAAC,MAAM,EAAE;QAChC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,WAAW,EAAE,IAAI,CAAC,IAAI;QACtB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAC,CAAA;AACN,CAAC"}
|
|
@@ -84,7 +84,7 @@ export declare function clearDerivationAntecedent(engine: ProjectEngine, premise
|
|
|
84
84
|
* naked derivation premise. For `n=1`, produces `IMPLIES(citation_var_1, Q)`.
|
|
85
85
|
* For `n=0`, returns an empty changeset.
|
|
86
86
|
*
|
|
87
|
-
* Caller-supplied `
|
|
87
|
+
* Caller-supplied `supportingClaimIds` ordering determines the OR's child positions
|
|
88
88
|
* (or the single-source antecedent for n=1).
|
|
89
89
|
*
|
|
90
90
|
* @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when `premiseId`
|
|
@@ -92,8 +92,23 @@ export declare function clearDerivationAntecedent(engine: ProjectEngine, premise
|
|
|
92
92
|
* @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
|
|
93
93
|
* premise's root expression is already an IMPLIES (caller forgot to
|
|
94
94
|
* call `clearDerivationAntecedent` first).
|
|
95
|
+
*
|
|
96
|
+
* @deprecated since `@proposit/shared@0.9.0`. Core 1.0 ships
|
|
97
|
+
* `engine.populateFromCitations(claimId, lookup)` and
|
|
98
|
+
* `engine.populateFromAxioms(claimId, lookup)` on `ArgumentEngine` —
|
|
99
|
+
* first-class antecedent-population factories that integrate with the
|
|
100
|
+
* four-tier grammar model, return a structured `{ kind, state }`
|
|
101
|
+
* result instead of throwing on already-populated premises, and
|
|
102
|
+
* enforce the D-3 no-mixing rule via the grammar tier rather than
|
|
103
|
+
* ad-hoc invariant throws. Migrate to the engine methods at your next
|
|
104
|
+
* convenient checkpoint. This helper continues to function correctly
|
|
105
|
+
* against `@proposit/proposit-core@^1.0.0` (its IMPLIES/OR tree
|
|
106
|
+
* construction uses the unchanged `wrapExpression`/`appendExpression`
|
|
107
|
+
* mutation surface), but the parallel implementation no longer earns
|
|
108
|
+
* its keep — scheduled for removal in shared `^1.0.0`. See cross-repo
|
|
109
|
+
* spec 2026-05-13-grammar-tiers-design §10.1, §12.
|
|
95
110
|
*/
|
|
96
|
-
export declare function populateDerivationFromCitations(engine: ProjectEngine, premiseId: string,
|
|
111
|
+
export declare function populateDerivationFromCitations(engine: ProjectEngine, premiseId: string, supportingClaimIds: string[]): {
|
|
97
112
|
changes: ProjectChangeset;
|
|
98
113
|
};
|
|
99
114
|
//# sourceMappingURL=premises.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EACnC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;
|
|
1
|
+
{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EACnC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAajE,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;CACzB,GACF;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA+B/D;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,GAC1B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAa/B;AAED,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAO/D;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAGjD;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,4BAA4B,CAAC,EAAE,MAAM,CAAA;IACrC,sBAAsB,EAAE,MAAM,CAAA;CACjC,GACF;IACC,OAAO,EAAE,qBAAqB,CAAA;IAC9B,kBAAkB,EAAE,sBAAsB,CAAA;IAC1C,oBAAoB,EAAE,gCAAgC,CAAA;IACtD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA4KA;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA+H/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAAE,GAC7B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA6L/B"}
|