@agentshouse/mdruntime 0.1.0-alpha.3 → 0.1.0-alpha.30
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/AGENTS.md +178 -0
- package/dist/adapter.d.ts +150 -18
- package/dist/adapter.d.ts.map +1 -1
- package/dist/adapter.js +2 -1
- package/dist/adapter.js.map +1 -1
- package/dist/bootstrap.d.ts +5 -1
- package/dist/bootstrap.d.ts.map +1 -1
- package/dist/bootstrap.js +13 -5
- package/dist/bootstrap.js.map +1 -1
- package/dist/change-set.d.ts +33 -0
- package/dist/change-set.d.ts.map +1 -0
- package/dist/change-set.js +89 -0
- package/dist/change-set.js.map +1 -0
- package/dist/change.d.ts +10 -0
- package/dist/change.d.ts.map +1 -1
- package/dist/change.js.map +1 -1
- package/dist/client.d.ts +72 -0
- package/dist/client.d.ts.map +1 -0
- package/dist/client.js +231 -0
- package/dist/client.js.map +1 -0
- package/dist/collection.d.ts +22 -12
- package/dist/collection.d.ts.map +1 -1
- package/dist/collection.js +88 -30
- package/dist/collection.js.map +1 -1
- package/dist/connection.d.ts +90 -20
- package/dist/connection.d.ts.map +1 -1
- package/dist/connection.js +1732 -194
- package/dist/connection.js.map +1 -1
- package/dist/conversation.d.ts +72 -0
- package/dist/conversation.d.ts.map +1 -0
- package/dist/conversation.js +529 -0
- package/dist/conversation.js.map +1 -0
- package/dist/durability.d.ts +9 -0
- package/dist/durability.d.ts.map +1 -0
- package/dist/durability.js +11 -0
- package/dist/durability.js.map +1 -0
- package/dist/file.d.ts +20 -0
- package/dist/file.d.ts.map +1 -0
- package/dist/file.js +149 -0
- package/dist/file.js.map +1 -0
- package/dist/host.d.ts +13 -0
- package/dist/host.d.ts.map +1 -0
- package/dist/host.js +205 -0
- package/dist/host.js.map +1 -0
- package/dist/identity.d.ts +3 -0
- package/dist/identity.d.ts.map +1 -0
- package/dist/identity.js +23 -0
- package/dist/identity.js.map +1 -0
- package/dist/index.d.ts +15 -6
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/dist/log.d.ts +5 -0
- package/dist/log.d.ts.map +1 -0
- package/dist/log.js +15 -0
- package/dist/log.js.map +1 -0
- package/dist/memory.d.ts +17 -2
- package/dist/memory.d.ts.map +1 -1
- package/dist/memory.js +201 -15
- package/dist/memory.js.map +1 -1
- package/dist/model.d.ts +56 -0
- package/dist/model.d.ts.map +1 -0
- package/dist/model.js +37 -0
- package/dist/model.js.map +1 -0
- package/dist/observation.d.ts +25 -0
- package/dist/observation.d.ts.map +1 -0
- package/dist/observation.js +92 -0
- package/dist/observation.js.map +1 -0
- package/dist/outcome.d.ts +34 -0
- package/dist/outcome.d.ts.map +1 -0
- package/dist/outcome.js +3 -0
- package/dist/outcome.js.map +1 -0
- package/dist/overlay.d.ts +2 -0
- package/dist/overlay.d.ts.map +1 -1
- package/dist/overlay.js +107 -1
- package/dist/overlay.js.map +1 -1
- package/dist/paths.d.ts +0 -1
- package/dist/paths.d.ts.map +1 -1
- package/dist/paths.js +0 -4
- package/dist/paths.js.map +1 -1
- package/dist/query.d.ts +209 -0
- package/dist/query.d.ts.map +1 -0
- package/dist/query.js +467 -0
- package/dist/query.js.map +1 -0
- package/dist/read-side.d.ts +14 -0
- package/dist/read-side.d.ts.map +1 -0
- package/dist/read-side.js +451 -0
- package/dist/read-side.js.map +1 -0
- package/dist/refresh.d.ts.map +1 -1
- package/dist/refresh.js +5 -3
- package/dist/refresh.js.map +1 -1
- package/dist/replica.d.ts +17 -3
- package/dist/replica.d.ts.map +1 -1
- package/dist/replica.js +160 -8
- package/dist/replica.js.map +1 -1
- package/dist/room-draft.d.ts +124 -0
- package/dist/room-draft.d.ts.map +1 -0
- package/dist/room-draft.js +406 -0
- package/dist/room-draft.js.map +1 -0
- package/dist/rows.d.ts +39 -0
- package/dist/rows.d.ts.map +1 -0
- package/dist/rows.js +100 -0
- package/dist/rows.js.map +1 -0
- package/dist/save.d.ts +11 -2
- package/dist/save.d.ts.map +1 -1
- package/dist/save.js +104 -128
- package/dist/save.js.map +1 -1
- package/dist/search.d.ts +61 -0
- package/dist/search.d.ts.map +1 -0
- package/dist/search.js +155 -0
- package/dist/search.js.map +1 -0
- package/dist/status.d.ts +9 -1
- package/dist/status.d.ts.map +1 -1
- package/dist/status.js +7 -4
- package/dist/status.js.map +1 -1
- package/dist/store.d.ts +87 -15
- package/dist/store.d.ts.map +1 -1
- package/dist/store.js +436 -54
- package/dist/store.js.map +1 -1
- package/dist/wire.d.ts +64 -0
- package/dist/wire.d.ts.map +1 -0
- package/dist/wire.js +142 -0
- package/dist/wire.js.map +1 -0
- package/package.json +14 -4
package/dist/save.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAEL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAKL,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AAIzB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,UAAU,CAAC;AAE/C,MAAM,MAAM,SAAS,GAAG;IACtB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,OAAO,cAAc,EAAE,eAAe,CAAC;IACnD,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAwK9C,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,GAAG,WAAW,CAOxF;AA2LD,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CA8FxD"}
|
package/dist/save.js
CHANGED
|
@@ -1,8 +1,10 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { definitionOf } from './model.js';
|
|
2
|
+
import { apply, links, parse, retarget, serialize, target } from '@agentshouse/mdmodel';
|
|
2
3
|
import { immutable } from './change.js';
|
|
3
|
-
import { parseCollection } from './collection.js';
|
|
4
|
+
import { governing, parseCollection, validateCollection } from './collection.js';
|
|
5
|
+
import { changeBatchIdentity } from './identity.js';
|
|
4
6
|
import { overlay } from './overlay.js';
|
|
5
|
-
import {
|
|
7
|
+
import { covered, normalize, relative } from './paths.js';
|
|
6
8
|
function refuse(rule, file, location) {
|
|
7
9
|
return {
|
|
8
10
|
kind: 'refused',
|
|
@@ -17,89 +19,19 @@ function refuse(rule, file, location) {
|
|
|
17
19
|
}
|
|
18
20
|
};
|
|
19
21
|
}
|
|
20
|
-
function members(visible, prefix) {
|
|
21
|
-
return [
|
|
22
|
-
...Object.keys(visible.documents),
|
|
23
|
-
...visible.binaryTargets
|
|
24
|
-
].filter((path)=>beneath(prefix, path)).sort();
|
|
25
|
-
}
|
|
26
|
-
function spread(change, path, member) {
|
|
27
|
-
if (change.kind === 'remove') return {
|
|
28
|
-
kind: 'remove',
|
|
29
|
-
path: member
|
|
30
|
-
};
|
|
31
|
-
return {
|
|
32
|
-
kind: 'move',
|
|
33
|
-
path: member,
|
|
34
|
-
to: `${change.to}${member.slice(path.length)}`
|
|
35
|
-
};
|
|
36
|
-
}
|
|
37
|
-
function expand(changes, visible) {
|
|
38
|
-
const expanded = [];
|
|
39
|
-
for (const change of changes){
|
|
40
|
-
if (change.kind !== 'move' && change.kind !== 'remove') {
|
|
41
|
-
expanded.push(change);
|
|
42
|
-
continue;
|
|
43
|
-
}
|
|
44
|
-
const path = normalize(change.path);
|
|
45
|
-
const to = change.kind === 'move' ? normalize(change.to) : '';
|
|
46
|
-
if (path === null || path === '' || to === null || change.kind === 'move' && to === '') {
|
|
47
|
-
return {
|
|
48
|
-
kind: 'refused',
|
|
49
|
-
refusal: {
|
|
50
|
-
rule: 'room-root',
|
|
51
|
-
file: change.path
|
|
52
|
-
}
|
|
53
|
-
};
|
|
54
|
-
}
|
|
55
|
-
const structural = change.kind === 'move' ? {
|
|
56
|
-
...change,
|
|
57
|
-
path,
|
|
58
|
-
to
|
|
59
|
-
} : {
|
|
60
|
-
...change,
|
|
61
|
-
path
|
|
62
|
-
};
|
|
63
|
-
const present = visible.documents[path] !== undefined || visible.binaryTargets.includes(path);
|
|
64
|
-
if (present) {
|
|
65
|
-
expanded.push(structural);
|
|
66
|
-
continue;
|
|
67
|
-
}
|
|
68
|
-
const beneathIt = members(visible, path);
|
|
69
|
-
if (beneathIt.length === 0) {
|
|
70
|
-
return {
|
|
71
|
-
kind: 'refused',
|
|
72
|
-
refusal: {
|
|
73
|
-
rule: 'path-absent',
|
|
74
|
-
file: change.path
|
|
75
|
-
}
|
|
76
|
-
};
|
|
77
|
-
}
|
|
78
|
-
for (const member of beneathIt)expanded.push(spread(structural, path, member));
|
|
79
|
-
}
|
|
80
|
-
return {
|
|
81
|
-
kind: 'changes',
|
|
82
|
-
changes: expanded
|
|
83
|
-
};
|
|
84
|
-
}
|
|
85
22
|
function referenceField(spec) {
|
|
86
|
-
|
|
87
|
-
const declared = spec;
|
|
88
|
-
return declared.kind === 'reference' || declared.kind === 'list' && declared.of === 'reference';
|
|
23
|
+
return spec.kind === 'reference' || spec.kind === 'list' && spec.of.kind === 'reference';
|
|
89
24
|
}
|
|
90
|
-
function
|
|
91
|
-
return types.find((declared)=>declared.name === type);
|
|
92
|
-
}
|
|
93
|
-
function retarget(value, from, to, moves) {
|
|
25
|
+
function repointed(value, from, to, moves) {
|
|
94
26
|
if (Array.isArray(value)) {
|
|
95
|
-
const next = value.map((item)=>
|
|
27
|
+
const next = value.map((item)=>repointed(item, from, to, moves) ?? item);
|
|
96
28
|
return next.some((item, index)=>item !== value[index]) ? next : undefined;
|
|
97
29
|
}
|
|
98
30
|
if (typeof value !== 'string') return undefined;
|
|
99
|
-
const
|
|
100
|
-
if (
|
|
101
|
-
const
|
|
102
|
-
return
|
|
31
|
+
const named = target(from, value);
|
|
32
|
+
if (named === null) return undefined;
|
|
33
|
+
const destination = moves.get(named) ?? named;
|
|
34
|
+
return target(to, value) === destination ? undefined : retarget(value, relative(to, destination));
|
|
103
35
|
}
|
|
104
36
|
function edited(document, path, changes) {
|
|
105
37
|
let next = document;
|
|
@@ -215,10 +147,10 @@ function rewrites(changes, visible) {
|
|
|
215
147
|
for (const [path, document] of Object.entries(visible.collection.documents)){
|
|
216
148
|
if (settled.has(path)) continue;
|
|
217
149
|
const moved = moves.get(path) ?? path;
|
|
218
|
-
const definition = definitionOf(visible.collection.
|
|
150
|
+
const definition = definitionOf(governing(visible.collection.composition, path), document.type);
|
|
219
151
|
for (const [name, spec] of Object.entries(definition?.fields ?? {})){
|
|
220
152
|
if (!referenceField(spec) || settled.has(`${path} ${name}`)) continue;
|
|
221
|
-
const value =
|
|
153
|
+
const value = repointed(document.fields[name], path, moved, moves);
|
|
222
154
|
if (value === undefined) continue;
|
|
223
155
|
added.push({
|
|
224
156
|
kind: 'field',
|
|
@@ -248,6 +180,24 @@ function rewrites(changes, visible) {
|
|
|
248
180
|
]
|
|
249
181
|
};
|
|
250
182
|
}
|
|
183
|
+
function anticipated(changes, preconditions, rewritten, visible) {
|
|
184
|
+
const derived = rewritten.filter((change)=>!changes.includes(change));
|
|
185
|
+
return {
|
|
186
|
+
changes: rewritten,
|
|
187
|
+
preconditions: [
|
|
188
|
+
...preconditionsOf(derived, visible, []),
|
|
189
|
+
...preconditions
|
|
190
|
+
]
|
|
191
|
+
};
|
|
192
|
+
}
|
|
193
|
+
export function providerRewritten(batch, visible) {
|
|
194
|
+
const rewritten = rewrites(batch.changes, visible);
|
|
195
|
+
if (rewritten.kind === 'refused') return batch;
|
|
196
|
+
return {
|
|
197
|
+
...batch,
|
|
198
|
+
...anticipated(batch.changes, batch.preconditions, rewritten.changes, visible)
|
|
199
|
+
};
|
|
200
|
+
}
|
|
251
201
|
function targets(value, from) {
|
|
252
202
|
const values = Array.isArray(value) ? value : [
|
|
253
203
|
value
|
|
@@ -255,8 +205,8 @@ function targets(value, from) {
|
|
|
255
205
|
const resolved = [];
|
|
256
206
|
for (const item of values){
|
|
257
207
|
if (typeof item !== 'string') continue;
|
|
258
|
-
const
|
|
259
|
-
if (
|
|
208
|
+
const named = target(from, item);
|
|
209
|
+
if (named !== null) resolved.push(named);
|
|
260
210
|
}
|
|
261
211
|
return resolved;
|
|
262
212
|
}
|
|
@@ -269,10 +219,10 @@ function incoming(collection, removed) {
|
|
|
269
219
|
found.set(target, referrers);
|
|
270
220
|
};
|
|
271
221
|
for (const [path, document] of Object.entries(collection.documents)){
|
|
272
|
-
const definition = definitionOf(collection.
|
|
222
|
+
const definition = definitionOf(governing(collection.composition, path), document.type);
|
|
273
223
|
for (const [name, spec] of Object.entries(definition?.fields ?? {})){
|
|
274
224
|
if (!referenceField(spec)) continue;
|
|
275
|
-
for (const
|
|
225
|
+
for (const named of targets(document.fields[name], path))note(named, path);
|
|
276
226
|
}
|
|
277
227
|
for (const link of links(document, path))note(link.target, path);
|
|
278
228
|
}
|
|
@@ -313,7 +263,8 @@ function guard(changes, input) {
|
|
|
313
263
|
if (covered(input.providerOwnedPaths, normalized)) {
|
|
314
264
|
return refuse('provider-owned-path', normalized);
|
|
315
265
|
}
|
|
316
|
-
|
|
266
|
+
const operation = change.kind === 'remove' ? 'delete' : 'write';
|
|
267
|
+
if (!covered(input.operations[operation], normalized)) return refuse(`${operation}-grant`, normalized);
|
|
317
268
|
}
|
|
318
269
|
if (change.kind === 'create') {
|
|
319
270
|
if (existing.has(change.path)) return refuse('path-collision', change.path);
|
|
@@ -338,10 +289,8 @@ function guard(changes, input) {
|
|
|
338
289
|
}
|
|
339
290
|
continue;
|
|
340
291
|
}
|
|
341
|
-
|
|
342
|
-
|
|
343
|
-
if (change.kind === 'section' && document.sections[change.name] === undefined) {
|
|
344
|
-
return refuse('required-section', change.path, change.name);
|
|
292
|
+
if (input.visible.collection.documents[change.path] === undefined) {
|
|
293
|
+
return refuse('path-absent', change.path);
|
|
345
294
|
}
|
|
346
295
|
}
|
|
347
296
|
return null;
|
|
@@ -357,7 +306,11 @@ function existence(visible, path) {
|
|
|
357
306
|
revision
|
|
358
307
|
};
|
|
359
308
|
}
|
|
360
|
-
function
|
|
309
|
+
function sameTarget(precondition, change) {
|
|
310
|
+
if (precondition.kind !== change.kind || precondition.path !== change.path) return false;
|
|
311
|
+
return precondition.kind !== 'field' && precondition.kind !== 'section' || (change.kind === 'field' || change.kind === 'section') && precondition.name === change.name;
|
|
312
|
+
}
|
|
313
|
+
function preconditionsOf(changes, visible, bases) {
|
|
361
314
|
const preconditions = [];
|
|
362
315
|
const seen = new Set();
|
|
363
316
|
const add = (precondition)=>{
|
|
@@ -368,29 +321,28 @@ function preconditionsOf(changes, visible) {
|
|
|
368
321
|
preconditions.push(precondition);
|
|
369
322
|
};
|
|
370
323
|
for (const change of changes){
|
|
371
|
-
if (change.kind === 'field') {
|
|
372
|
-
const
|
|
373
|
-
|
|
374
|
-
|
|
375
|
-
|
|
376
|
-
|
|
377
|
-
value: document.fields[change.name]
|
|
378
|
-
});
|
|
379
|
-
continue;
|
|
380
|
-
}
|
|
381
|
-
if (change.kind === 'section') {
|
|
382
|
-
const document = visible.collection.documents[change.path];
|
|
383
|
-
add({
|
|
384
|
-
kind: 'section',
|
|
385
|
-
path: change.path,
|
|
386
|
-
name: change.name,
|
|
387
|
-
value: document.sections[change.name]
|
|
388
|
-
});
|
|
389
|
-
continue;
|
|
390
|
-
}
|
|
391
|
-
if (change.kind === 'preamble') {
|
|
324
|
+
if (change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble') {
|
|
325
|
+
const based = bases.find((base)=>sameTarget(base, change));
|
|
326
|
+
if (based !== undefined) {
|
|
327
|
+
add(based);
|
|
328
|
+
continue;
|
|
329
|
+
}
|
|
392
330
|
const document = visible.collection.documents[change.path];
|
|
393
|
-
|
|
331
|
+
if (change.kind === 'field') {
|
|
332
|
+
add({
|
|
333
|
+
kind: 'field',
|
|
334
|
+
path: change.path,
|
|
335
|
+
name: change.name,
|
|
336
|
+
value: document.fields[change.name]
|
|
337
|
+
});
|
|
338
|
+
} else if (change.kind === 'section') {
|
|
339
|
+
add({
|
|
340
|
+
kind: 'section',
|
|
341
|
+
path: change.path,
|
|
342
|
+
name: change.name,
|
|
343
|
+
value: document.sections[change.name]
|
|
344
|
+
});
|
|
345
|
+
} else add({
|
|
394
346
|
kind: 'preamble',
|
|
395
347
|
path: change.path,
|
|
396
348
|
value: document.preamble
|
|
@@ -440,31 +392,44 @@ function exceeded(limits, changes, resulting) {
|
|
|
440
392
|
return null;
|
|
441
393
|
}
|
|
442
394
|
export function buildBatch(input) {
|
|
443
|
-
const
|
|
444
|
-
if (
|
|
445
|
-
|
|
395
|
+
const structural = input.changes.find((change)=>change.kind === 'move' || change.kind === 'remove');
|
|
396
|
+
if (structural !== undefined && Object.entries(input.visible.collection.documents).some(([path, document])=>document.type !== undefined && document.type !== 'any' && governing(input.composition, path).status === 'unavailable')) return refuse('model-unavailable', structural.path);
|
|
397
|
+
if (input.changes.length === 0) return refuse('no-change');
|
|
398
|
+
const rewritten = rewrites(input.changes, input.visible);
|
|
446
399
|
if (rewritten.kind === 'refused') return rewritten;
|
|
447
|
-
const changes = rewritten.changes;
|
|
448
|
-
if (changes.length === 0) return refuse('no-change');
|
|
400
|
+
const changes = input.rewriting === 'provider' ? input.changes : rewritten.changes;
|
|
449
401
|
const refusal = guard(changes, input);
|
|
450
402
|
if (refusal !== null) return refusal;
|
|
451
|
-
const preconditions = preconditionsOf(changes, input.visible);
|
|
403
|
+
const preconditions = preconditionsOf(changes, input.visible, input.bases);
|
|
404
|
+
const predicted = input.rewriting === 'provider' ? anticipated(changes, preconditions, rewritten.changes, input.visible) : {
|
|
405
|
+
changes,
|
|
406
|
+
preconditions
|
|
407
|
+
};
|
|
452
408
|
const resulting = overlay(input.visible, [
|
|
453
409
|
{
|
|
454
410
|
id: '',
|
|
455
411
|
baseRoomVersion: input.baseRoomVersion,
|
|
456
|
-
|
|
457
|
-
preconditions
|
|
412
|
+
...predicted
|
|
458
413
|
}
|
|
459
414
|
]);
|
|
460
415
|
const removed = new Set(changes.filter((change)=>change.kind === 'remove').map((change)=>change.path));
|
|
461
416
|
if (removed.size > 0) {
|
|
462
|
-
const referenced = incoming(parseCollection(resulting.documents), removed);
|
|
417
|
+
const referenced = incoming(parseCollection(resulting.documents, input.composition), removed);
|
|
463
418
|
if (referenced !== null) return referenced;
|
|
464
419
|
}
|
|
465
|
-
const
|
|
466
|
-
|
|
467
|
-
|
|
420
|
+
const typed = (content)=>{
|
|
421
|
+
if (content === undefined) return false;
|
|
422
|
+
const parsed = parse(content);
|
|
423
|
+
return parsed.ok && parsed.document.type !== undefined && parsed.document.type !== 'any';
|
|
424
|
+
};
|
|
425
|
+
const typedPaths = [
|
|
426
|
+
...new Set(predicted.changes.flatMap(affected))
|
|
427
|
+
].filter((path)=>typed(input.visible.documents[path]) || typed(resulting.documents[path]));
|
|
428
|
+
const needsModel = typedPaths.length > 0;
|
|
429
|
+
const withoutModel = typedPaths.find((path)=>governing(input.composition, path).status === 'unavailable');
|
|
430
|
+
if (withoutModel !== undefined) return refuse('model-unavailable', withoutModel);
|
|
431
|
+
const validationText = needsModel ? resulting.documents : Object.fromEntries(Object.entries(resulting.documents).filter(([path])=>predicted.changes.some((change)=>affected(change).includes(path))));
|
|
432
|
+
const verdict = validateCollection(validationText, resulting.binaryTargets, input.composition);
|
|
468
433
|
if (verdict.verdict === 'refuse') {
|
|
469
434
|
return {
|
|
470
435
|
kind: 'refused',
|
|
@@ -482,13 +447,24 @@ export function buildBatch(input) {
|
|
|
482
447
|
}
|
|
483
448
|
const limited = exceeded(input.providerLimits, changes, resulting);
|
|
484
449
|
if (limited !== null) return limited;
|
|
450
|
+
const validated = typedPaths.map((path)=>governing(input.composition, path)).find((model)=>model.status !== 'unavailable');
|
|
485
451
|
return {
|
|
486
452
|
kind: 'batch',
|
|
487
453
|
batch: immutable({
|
|
488
|
-
id:
|
|
454
|
+
id: changeBatchIdentity(),
|
|
489
455
|
baseRoomVersion: input.baseRoomVersion,
|
|
490
456
|
changes,
|
|
491
|
-
preconditions
|
|
457
|
+
preconditions,
|
|
458
|
+
...input.writtenBy === undefined ? {} : {
|
|
459
|
+
writtenBy: input.writtenBy
|
|
460
|
+
},
|
|
461
|
+
...validated === undefined ? {} : {
|
|
462
|
+
validation: {
|
|
463
|
+
identity: validated.snapshot.identity,
|
|
464
|
+
version: validated.snapshot.version,
|
|
465
|
+
source: validated.status
|
|
466
|
+
}
|
|
467
|
+
}
|
|
492
468
|
})
|
|
493
469
|
};
|
|
494
470
|
}
|
package/dist/save.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["/workspace/packages/mdruntime/src/save.ts"],"sourcesContent":["import { apply, links, serialize, validate, type Document } from '@agentshouse/mdmodel';\nimport type { ProviderLimit } from './adapter.js';\nimport { immutable, type Change, type ChangeBatch, type Precondition } from './change.js';\nimport { parseCollection, type Collection, type MdType } from './collection.js';\nimport { overlay, type Layer } from './overlay.js';\nimport { beneath, covered, normalize, relative, resolve } from './paths.js';\nimport type { VisibleLayer } from './replica.js';\n\nexport type SaveRefusal = {\n rule: string;\n file?: string;\n location?: string;\n referrers?: readonly string[];\n};\n\nexport type SaveInput = {\n baseRoomVersion: string;\n writeGrants: readonly string[];\n providerOwnedPaths: readonly string[];\n providerLimits: readonly ProviderLimit[];\n visible: VisibleLayer;\n changes: readonly Change[];\n};\n\nexport type BatchResult =\n | { kind: 'batch'; batch: ChangeBatch }\n | { kind: 'refused'; refusal: SaveRefusal };\n\ntype Structural = { kind: 'move'; path: string; to: string } | { kind: 'remove'; path: string };\n\ntype Expansion =\n | { kind: 'changes'; changes: readonly Change[] }\n | { kind: 'refused'; refusal: SaveRefusal };\n\nfunction refuse(rule: string, file?: string, location?: string): BatchResult {\n return {\n kind: 'refused',\n refusal: {\n rule,\n ...(file === undefined ? {} : { file }),\n ...(location === undefined ? {} : { location }),\n },\n };\n}\n\nfunction members(visible: Layer, prefix: string): readonly string[] {\n return [...Object.keys(visible.documents), ...visible.binaryTargets]\n .filter((path) => beneath(prefix, path))\n .sort();\n}\n\nfunction spread(change: Structural, path: string, member: string): Change {\n if (change.kind === 'remove') return { kind: 'remove', path: member };\n return { kind: 'move', path: member, to: `${change.to}${member.slice(path.length)}` };\n}\n\nfunction expand(changes: readonly Change[], visible: VisibleLayer): Expansion {\n const expanded: Change[] = [];\n for (const change of changes) {\n if (change.kind !== 'move' && change.kind !== 'remove') {\n expanded.push(change);\n continue;\n }\n const path = normalize(change.path);\n const to = change.kind === 'move' ? normalize(change.to) : '';\n if (path === null || path === '' || to === null || (change.kind === 'move' && to === '')) {\n return { kind: 'refused', refusal: { rule: 'room-root', file: change.path } };\n }\n const structural = change.kind === 'move' ? { ...change, path, to } : { ...change, path };\n const present = visible.documents[path] !== undefined || visible.binaryTargets.includes(path);\n if (present) {\n expanded.push(structural);\n continue;\n }\n const beneathIt = members(visible, path);\n if (beneathIt.length === 0) {\n return { kind: 'refused', refusal: { rule: 'path-absent', file: change.path } };\n }\n for (const member of beneathIt) expanded.push(spread(structural, path, member));\n }\n return { kind: 'changes', changes: expanded };\n}\n\nfunction referenceField(spec: unknown): boolean {\n if (typeof spec !== 'object' || spec === null) return false;\n const declared = spec as { kind?: unknown; of?: unknown };\n return declared.kind === 'reference' || (declared.kind === 'list' && declared.of === 'reference');\n}\n\nfunction definitionOf(types: readonly MdType[], type: string | undefined) {\n return types.find((declared) => declared.name === type);\n}\n\nfunction retarget(\n value: unknown,\n from: string,\n to: string,\n moves: ReadonlyMap<string, string>,\n): unknown {\n if (Array.isArray(value)) {\n const next = value.map((item) => retarget(item, from, to, moves) ?? item);\n return next.some((item, index) => item !== value[index]) ? next : undefined;\n }\n if (typeof value !== 'string') return undefined;\n const target = resolve(from, value);\n if (target === null) return undefined;\n const next = relative(to, moves.get(target) ?? target);\n return next === value ? undefined : next;\n}\n\nfunction edited(document: Document, path: string, changes: readonly Change[]): Document {\n let next = document;\n for (const change of changes) {\n if (change.path !== path) continue;\n if (change.kind !== 'section' && change.kind !== 'preamble') continue;\n const applied = apply(\n next,\n change.kind === 'preamble'\n ? { kind: 'preamble', value: change.value, prior: next.preamble }\n : {\n kind: 'section',\n name: change.name,\n value: change.value,\n prior: next.sections[change.name],\n },\n );\n if (applied.outcome === 'applied') next = applied.document;\n }\n return next;\n}\n\nfunction bodies(path: string, before: Document, after: Document): readonly Change[] {\n const changes: Change[] = [];\n if (after.preamble !== before.preamble) {\n changes.push({ kind: 'preamble', path, value: after.preamble });\n }\n for (const [name, value] of Object.entries(after.sections)) {\n if (before.sections[name] === value) continue;\n changes.push({ kind: 'section', path, name, value });\n }\n return changes;\n}\n\nfunction relinks(\n path: string,\n moved: string,\n before: Document,\n moves: ReadonlyMap<string, string>,\n): Expansion {\n let after = before;\n for (const link of links(before, path)) {\n const destination = moves.get(link.target) ?? link.target;\n if (destination === link.target && moved === path) continue;\n const to = relative(moved, destination);\n if (to === relative(path, link.target)) continue;\n const applied = apply(after, { kind: 'link', href: link.href, to });\n if (applied.outcome === 'refuse') {\n return {\n kind: 'refused',\n refusal: {\n rule: applied.refusal.rule,\n file: path,\n ...(applied.refusal.location === undefined ? {} : { location: applied.refusal.location }),\n },\n };\n }\n after = applied.document;\n }\n if (after === before) return { kind: 'changes', changes: [] };\n if (before.type === undefined) {\n return { kind: 'changes', changes: [{ kind: 'replace', path, content: serialize(after) }] };\n }\n return { kind: 'changes', changes: bodies(path, before, after) };\n}\n\nfunction subsumed(merged: Change[], path: string) {\n for (let index = merged.length - 1; index >= 0; index -= 1) {\n const item = merged[index];\n if (item.path !== path) continue;\n if (item.kind === 'section' || item.kind === 'preamble') merged.splice(index, 1);\n }\n}\n\nfunction rewrites(changes: readonly Change[], visible: VisibleLayer): Expansion {\n const moves = new Map<string, string>();\n const settled = new Set<string>();\n for (const change of changes) {\n if (change.kind === 'move') moves.set(change.path, change.to);\n if (change.kind === 'remove' || change.kind === 'replace' || change.kind === 'create') {\n settled.add(change.path);\n }\n if (change.kind === 'field') settled.add(`${change.path} ${change.name}`);\n }\n if (moves.size === 0) return { kind: 'changes', changes };\n const merged = [...changes];\n const added: Change[] = [];\n for (const [path, document] of Object.entries(visible.collection.documents)) {\n if (settled.has(path)) continue;\n const moved = moves.get(path) ?? path;\n const definition = definitionOf(visible.collection.types, document.type);\n for (const [name, spec] of Object.entries(definition?.fields ?? {})) {\n if (!referenceField(spec) || settled.has(`${path} ${name}`)) continue;\n const value = retarget(document.fields[name], path, moved, moves);\n if (value === undefined) continue;\n added.push({ kind: 'field', path, name, value });\n }\n const relinked = relinks(path, moved, edited(document, path, merged), moves);\n if (relinked.kind === 'refused') return relinked;\n for (const change of relinked.changes) {\n if (change.kind === 'replace') {\n subsumed(merged, path);\n added.push(change);\n continue;\n }\n const index = merged.findIndex(\n (item) =>\n item.kind === change.kind &&\n item.path === path &&\n (change.kind !== 'section' || (item.kind === 'section' && item.name === change.name)),\n );\n if (index === -1) added.push(change);\n else merged[index] = change;\n }\n }\n return { kind: 'changes', changes: [...added, ...merged] };\n}\n\nfunction targets(value: unknown, from: string): readonly string[] {\n const values = Array.isArray(value) ? value : [value];\n const resolved: string[] = [];\n for (const item of values) {\n if (typeof item !== 'string') continue;\n const target = resolve(from, item);\n if (target !== null) resolved.push(target);\n }\n return resolved;\n}\n\nfunction incoming(collection: Collection, removed: ReadonlySet<string>): BatchResult | null {\n const found = new Map<string, Set<string>>();\n const note = (target: string, file: string) => {\n if (!removed.has(target)) return;\n const referrers = found.get(target) ?? new Set<string>();\n referrers.add(file);\n found.set(target, referrers);\n };\n for (const [path, document] of Object.entries(collection.documents)) {\n const definition = definitionOf(collection.types, document.type);\n for (const [name, spec] of Object.entries(definition?.fields ?? {})) {\n if (!referenceField(spec)) continue;\n for (const target of targets(document.fields[name], path)) note(target, path);\n }\n for (const link of links(document, path)) note(link.target, path);\n }\n const [first] = [...found.keys()].sort();\n if (first === undefined) return null;\n const every = new Set<string>();\n for (const referrers of found.values()) for (const file of referrers) every.add(file);\n return {\n kind: 'refused',\n refusal: { rule: 'referenced-missing-file', file: first, referrers: [...every].sort() },\n };\n}\n\nfunction affected(change: Change): readonly string[] {\n return change.kind === 'move' ? [change.path, change.to] : [change.path];\n}\n\nfunction guard(changes: readonly Change[], input: SaveInput): BatchResult | null {\n const existing = new Set([\n ...Object.keys(input.visible.documents),\n ...input.visible.binaryTargets,\n ]);\n for (const change of changes) {\n for (const path of affected(change)) {\n const normalized = normalize(path);\n if (normalized === null || normalized === '') return refuse('room-root', path);\n if (covered(input.providerOwnedPaths, normalized)) {\n return refuse('provider-owned-path', normalized);\n }\n if (!covered(input.writeGrants, normalized)) return refuse('write-grant', normalized);\n }\n if (change.kind === 'create') {\n if (existing.has(change.path)) return refuse('path-collision', change.path);\n existing.add(change.path);\n continue;\n }\n if (change.kind === 'move') {\n if (!existing.has(change.path)) return refuse('path-absent', change.path);\n if (existing.has(change.to)) return refuse('path-collision', change.to);\n existing.delete(change.path);\n existing.add(change.to);\n continue;\n }\n if (!existing.has(change.path)) return refuse('path-absent', change.path);\n if (change.kind === 'remove') {\n existing.delete(change.path);\n continue;\n }\n if (change.kind === 'replace') {\n if (input.visible.revisions[change.path] === undefined) {\n return refuse('unknown-revision', change.path);\n }\n continue;\n }\n const document = input.visible.collection.documents[change.path];\n if (document === undefined) return refuse('path-absent', change.path);\n if (change.kind === 'section' && document.sections[change.name] === undefined) {\n return refuse('required-section', change.path, change.name);\n }\n }\n return null;\n}\n\nfunction existence(visible: VisibleLayer, path: string): Precondition {\n const revision = visible.revisions[path];\n return revision === undefined ? { kind: 'present', path } : { kind: 'revision', path, revision };\n}\n\nfunction preconditionsOf(\n changes: readonly Change[],\n visible: VisibleLayer,\n): readonly Precondition[] {\n const preconditions: Precondition[] = [];\n const seen = new Set<string>();\n const add = (precondition: Precondition) => {\n const part =\n precondition.kind === 'field' || precondition.kind === 'section' ? precondition.name : '';\n const identity = `${precondition.kind} ${precondition.path} ${part}`;\n if (seen.has(identity)) return;\n seen.add(identity);\n preconditions.push(precondition);\n };\n for (const change of changes) {\n if (change.kind === 'field') {\n const document = visible.collection.documents[change.path];\n add({\n kind: 'field',\n path: change.path,\n name: change.name,\n value: document.fields[change.name],\n });\n continue;\n }\n if (change.kind === 'section') {\n const document = visible.collection.documents[change.path];\n add({\n kind: 'section',\n path: change.path,\n name: change.name,\n value: document.sections[change.name],\n });\n continue;\n }\n if (change.kind === 'preamble') {\n const document = visible.collection.documents[change.path];\n add({ kind: 'preamble', path: change.path, value: document.preamble });\n continue;\n }\n if (change.kind === 'create') {\n add({ kind: 'absent', path: change.path });\n continue;\n }\n add(existence(visible, change.path));\n if (change.kind === 'move') add({ kind: 'absent', path: change.to });\n }\n return preconditions;\n}\n\nfunction depth(path: string) {\n return path.split('/').length;\n}\n\nfunction exceeded(\n limits: readonly ProviderLimit[],\n changes: readonly Change[],\n resulting: Layer,\n): BatchResult | null {\n const written = changes.map((change) => (change.kind === 'move' ? change.to : change.path));\n const created = changes\n .filter((change) => change.kind === 'create' || change.kind === 'move')\n .map((change) => (change.kind === 'move' ? change.to : change.path));\n for (const limit of limits) {\n const value = limit.value;\n if (typeof value !== 'number') continue;\n if (limit.name === 'change-batch-operations' && changes.length > value) {\n return refuse('provider-limit', undefined, limit.name);\n }\n if (limit.name === 'document-size') {\n const large = written.find((path) => (resulting.documents[path] ?? '').length > value);\n if (large !== undefined) return refuse('provider-limit', large, limit.name);\n }\n if (limit.name === 'path-length') {\n const long = created.find((path) => path.length > value);\n if (long !== undefined) return refuse('provider-limit', long, limit.name);\n }\n if (limit.name === 'path-depth') {\n const deep = created.find((path) => depth(path) > value);\n if (deep !== undefined) return refuse('provider-limit', deep, limit.name);\n }\n }\n return null;\n}\n\nexport function buildBatch(input: SaveInput): BatchResult {\n const expanded = expand(input.changes, input.visible);\n if (expanded.kind === 'refused') return expanded;\n const rewritten = rewrites(expanded.changes, input.visible);\n if (rewritten.kind === 'refused') return rewritten;\n const changes = rewritten.changes;\n if (changes.length === 0) return refuse('no-change');\n const refusal = guard(changes, input);\n if (refusal !== null) return refusal;\n const preconditions = preconditionsOf(changes, input.visible);\n const resulting = overlay(input.visible, [\n { id: '', baseRoomVersion: input.baseRoomVersion, changes, preconditions },\n ]);\n const removed = new Set(\n changes.filter((change) => change.kind === 'remove').map((change) => change.path),\n );\n if (removed.size > 0) {\n const referenced = incoming(parseCollection(resulting.documents), removed);\n if (referenced !== null) return referenced;\n }\n const verdict = validate(resulting.documents, { binaryTargets: resulting.binaryTargets });\n if (verdict.verdict === 'refuse') {\n return {\n kind: 'refused',\n refusal: {\n rule: verdict.rule,\n file: verdict.file,\n ...(verdict.location === undefined ? {} : { location: verdict.location }),\n ...(verdict.referrers === undefined ? {} : { referrers: verdict.referrers }),\n },\n };\n }\n const limited = exceeded(input.providerLimits, changes, resulting);\n if (limited !== null) return limited;\n return {\n kind: 'batch',\n batch: immutable({\n id: crypto.randomUUID(),\n baseRoomVersion: input.baseRoomVersion,\n changes,\n preconditions,\n }),\n };\n}\n"],"names":["apply","links","serialize","validate","immutable","parseCollection","overlay","beneath","covered","normalize","relative","resolve","refuse","rule","file","location","kind","refusal","undefined","members","visible","prefix","Object","keys","documents","binaryTargets","filter","path","sort","spread","change","member","to","slice","length","expand","changes","expanded","push","structural","present","includes","beneathIt","referenceField","spec","declared","of","definitionOf","types","type","find","name","retarget","value","from","moves","Array","isArray","next","map","item","some","index","target","get","edited","document","applied","prior","preamble","sections","outcome","bodies","before","after","entries","relinks","moved","link","destination","href","content","subsumed","merged","splice","rewrites","Map","settled","Set","set","add","size","added","collection","has","definition","fields","relinked","findIndex","targets","values","resolved","incoming","removed","found","note","referrers","first","every","affected","guard","input","existing","normalized","providerOwnedPaths","writeGrants","delete","revisions","existence","revision","preconditionsOf","preconditions","seen","precondition","part","identity","depth","split","exceeded","limits","resulting","written","created","limit","large","long","deep","buildBatch","rewritten","id","baseRoomVersion","referenced","verdict","limited","providerLimits","batch","crypto","randomUUID"],"mappings":"AAAA,SAASA,KAAK,EAAEC,KAAK,EAAEC,SAAS,EAAEC,QAAQ,QAAuB,uBAAuB;AAExF,SAASC,SAAS,QAA0D,cAAc;AAC1F,SAASC,eAAe,QAAsC,kBAAkB;AAChF,SAASC,OAAO,QAAoB,eAAe;AACnD,SAASC,OAAO,EAAEC,OAAO,EAAEC,SAAS,EAAEC,QAAQ,EAAEC,OAAO,QAAQ,aAAa;AA6B5E,SAASC,OAAOC,IAAY,EAAEC,IAAa,EAAEC,QAAiB;IAC5D,OAAO;QACLC,MAAM;QACNC,SAAS;YACPJ;YACA,GAAIC,SAASI,YAAY,CAAC,IAAI;gBAAEJ;YAAK,CAAC;YACtC,GAAIC,aAAaG,YAAY,CAAC,IAAI;gBAAEH;YAAS,CAAC;QAChD;IACF;AACF;AAEA,SAASI,QAAQC,OAAc,EAAEC,MAAc;IAC7C,OAAO;WAAIC,OAAOC,IAAI,CAACH,QAAQI,SAAS;WAAMJ,QAAQK,aAAa;KAAC,CACjEC,MAAM,CAAC,CAACC,OAASpB,QAAQc,QAAQM,OACjCC,IAAI;AACT;AAEA,SAASC,OAAOC,MAAkB,EAAEH,IAAY,EAAEI,MAAc;IAC9D,IAAID,OAAOd,IAAI,KAAK,UAAU,OAAO;QAAEA,MAAM;QAAUW,MAAMI;IAAO;IACpE,OAAO;QAAEf,MAAM;QAAQW,MAAMI;QAAQC,IAAI,GAAGF,OAAOE,EAAE,GAAGD,OAAOE,KAAK,CAACN,KAAKO,MAAM,GAAG;IAAC;AACtF;AAEA,SAASC,OAAOC,OAA0B,EAAEhB,OAAqB;IAC/D,MAAMiB,WAAqB,EAAE;IAC7B,KAAK,MAAMP,UAAUM,QAAS;QAC5B,IAAIN,OAAOd,IAAI,KAAK,UAAUc,OAAOd,IAAI,KAAK,UAAU;YACtDqB,SAASC,IAAI,CAACR;YACd;QACF;QACA,MAAMH,OAAOlB,UAAUqB,OAAOH,IAAI;QAClC,MAAMK,KAAKF,OAAOd,IAAI,KAAK,SAASP,UAAUqB,OAAOE,EAAE,IAAI;QAC3D,IAAIL,SAAS,QAAQA,SAAS,MAAMK,OAAO,QAASF,OAAOd,IAAI,KAAK,UAAUgB,OAAO,IAAK;YACxF,OAAO;gBAAEhB,MAAM;gBAAWC,SAAS;oBAAEJ,MAAM;oBAAaC,MAAMgB,OAAOH,IAAI;gBAAC;YAAE;QAC9E;QACA,MAAMY,aAAaT,OAAOd,IAAI,KAAK,SAAS;YAAE,GAAGc,MAAM;YAAEH;YAAMK;QAAG,IAAI;YAAE,GAAGF,MAAM;YAAEH;QAAK;QACxF,MAAMa,UAAUpB,QAAQI,SAAS,CAACG,KAAK,KAAKT,aAAaE,QAAQK,aAAa,CAACgB,QAAQ,CAACd;QACxF,IAAIa,SAAS;YACXH,SAASC,IAAI,CAACC;YACd;QACF;QACA,MAAMG,YAAYvB,QAAQC,SAASO;QACnC,IAAIe,UAAUR,MAAM,KAAK,GAAG;YAC1B,OAAO;gBAAElB,MAAM;gBAAWC,SAAS;oBAAEJ,MAAM;oBAAeC,MAAMgB,OAAOH,IAAI;gBAAC;YAAE;QAChF;QACA,KAAK,MAAMI,UAAUW,UAAWL,SAASC,IAAI,CAACT,OAAOU,YAAYZ,MAAMI;IACzE;IACA,OAAO;QAAEf,MAAM;QAAWoB,SAASC;IAAS;AAC9C;AAEA,SAASM,eAAeC,IAAa;IACnC,IAAI,OAAOA,SAAS,YAAYA,SAAS,MAAM,OAAO;IACtD,MAAMC,WAAWD;IACjB,OAAOC,SAAS7B,IAAI,KAAK,eAAgB6B,SAAS7B,IAAI,KAAK,UAAU6B,SAASC,EAAE,KAAK;AACvF;AAEA,SAASC,aAAaC,KAAwB,EAAEC,IAAwB;IACtE,OAAOD,MAAME,IAAI,CAAC,CAACL,WAAaA,SAASM,IAAI,KAAKF;AACpD;AAEA,SAASG,SACPC,KAAc,EACdC,IAAY,EACZtB,EAAU,EACVuB,KAAkC;IAElC,IAAIC,MAAMC,OAAO,CAACJ,QAAQ;QACxB,MAAMK,OAAOL,MAAMM,GAAG,CAAC,CAACC,OAASR,SAASQ,MAAMN,MAAMtB,IAAIuB,UAAUK;QACpE,OAAOF,KAAKG,IAAI,CAAC,CAACD,MAAME,QAAUF,SAASP,KAAK,CAACS,MAAM,IAAIJ,OAAOxC;IACpE;IACA,IAAI,OAAOmC,UAAU,UAAU,OAAOnC;IACtC,MAAM6C,SAASpD,QAAQ2C,MAAMD;IAC7B,IAAIU,WAAW,MAAM,OAAO7C;IAC5B,MAAMwC,OAAOhD,SAASsB,IAAIuB,MAAMS,GAAG,CAACD,WAAWA;IAC/C,OAAOL,SAASL,QAAQnC,YAAYwC;AACtC;AAEA,SAASO,OAAOC,QAAkB,EAAEvC,IAAY,EAAES,OAA0B;IAC1E,IAAIsB,OAAOQ;IACX,KAAK,MAAMpC,UAAUM,QAAS;QAC5B,IAAIN,OAAOH,IAAI,KAAKA,MAAM;QAC1B,IAAIG,OAAOd,IAAI,KAAK,aAAac,OAAOd,IAAI,KAAK,YAAY;QAC7D,MAAMmD,UAAUnE,MACd0D,MACA5B,OAAOd,IAAI,KAAK,aACZ;YAAEA,MAAM;YAAYqC,OAAOvB,OAAOuB,KAAK;YAAEe,OAAOV,KAAKW,QAAQ;QAAC,IAC9D;YACErD,MAAM;YACNmC,MAAMrB,OAAOqB,IAAI;YACjBE,OAAOvB,OAAOuB,KAAK;YACnBe,OAAOV,KAAKY,QAAQ,CAACxC,OAAOqB,IAAI,CAAC;QACnC;QAEN,IAAIgB,QAAQI,OAAO,KAAK,WAAWb,OAAOS,QAAQD,QAAQ;IAC5D;IACA,OAAOR;AACT;AAEA,SAASc,OAAO7C,IAAY,EAAE8C,MAAgB,EAAEC,KAAe;IAC7D,MAAMtC,UAAoB,EAAE;IAC5B,IAAIsC,MAAML,QAAQ,KAAKI,OAAOJ,QAAQ,EAAE;QACtCjC,QAAQE,IAAI,CAAC;YAAEtB,MAAM;YAAYW;YAAM0B,OAAOqB,MAAML,QAAQ;QAAC;IAC/D;IACA,KAAK,MAAM,CAAClB,MAAME,MAAM,IAAI/B,OAAOqD,OAAO,CAACD,MAAMJ,QAAQ,EAAG;QAC1D,IAAIG,OAAOH,QAAQ,CAACnB,KAAK,KAAKE,OAAO;QACrCjB,QAAQE,IAAI,CAAC;YAAEtB,MAAM;YAAWW;YAAMwB;YAAME;QAAM;IACpD;IACA,OAAOjB;AACT;AAEA,SAASwC,QACPjD,IAAY,EACZkD,KAAa,EACbJ,MAAgB,EAChBlB,KAAkC;IAElC,IAAImB,QAAQD;IACZ,KAAK,MAAMK,QAAQ7E,MAAMwE,QAAQ9C,MAAO;QACtC,MAAMoD,cAAcxB,MAAMS,GAAG,CAACc,KAAKf,MAAM,KAAKe,KAAKf,MAAM;QACzD,IAAIgB,gBAAgBD,KAAKf,MAAM,IAAIc,UAAUlD,MAAM;QACnD,MAAMK,KAAKtB,SAASmE,OAAOE;QAC3B,IAAI/C,OAAOtB,SAASiB,MAAMmD,KAAKf,MAAM,GAAG;QACxC,MAAMI,UAAUnE,MAAM0E,OAAO;YAAE1D,MAAM;YAAQgE,MAAMF,KAAKE,IAAI;YAAEhD;QAAG;QACjE,IAAImC,QAAQI,OAAO,KAAK,UAAU;YAChC,OAAO;gBACLvD,MAAM;gBACNC,SAAS;oBACPJ,MAAMsD,QAAQlD,OAAO,CAACJ,IAAI;oBAC1BC,MAAMa;oBACN,GAAIwC,QAAQlD,OAAO,CAACF,QAAQ,KAAKG,YAAY,CAAC,IAAI;wBAAEH,UAAUoD,QAAQlD,OAAO,CAACF,QAAQ;oBAAC,CAAC;gBAC1F;YACF;QACF;QACA2D,QAAQP,QAAQD,QAAQ;IAC1B;IACA,IAAIQ,UAAUD,QAAQ,OAAO;QAAEzD,MAAM;QAAWoB,SAAS,EAAE;IAAC;IAC5D,IAAIqC,OAAOxB,IAAI,KAAK/B,WAAW;QAC7B,OAAO;YAAEF,MAAM;YAAWoB,SAAS;gBAAC;oBAAEpB,MAAM;oBAAWW;oBAAMsD,SAAS/E,UAAUwE;gBAAO;aAAE;QAAC;IAC5F;IACA,OAAO;QAAE1D,MAAM;QAAWoB,SAASoC,OAAO7C,MAAM8C,QAAQC;IAAO;AACjE;AAEA,SAASQ,SAASC,MAAgB,EAAExD,IAAY;IAC9C,IAAK,IAAImC,QAAQqB,OAAOjD,MAAM,GAAG,GAAG4B,SAAS,GAAGA,SAAS,EAAG;QAC1D,MAAMF,OAAOuB,MAAM,CAACrB,MAAM;QAC1B,IAAIF,KAAKjC,IAAI,KAAKA,MAAM;QACxB,IAAIiC,KAAK5C,IAAI,KAAK,aAAa4C,KAAK5C,IAAI,KAAK,YAAYmE,OAAOC,MAAM,CAACtB,OAAO;IAChF;AACF;AAEA,SAASuB,SAASjD,OAA0B,EAAEhB,OAAqB;IACjE,MAAMmC,QAAQ,IAAI+B;IAClB,MAAMC,UAAU,IAAIC;IACpB,KAAK,MAAM1D,UAAUM,QAAS;QAC5B,IAAIN,OAAOd,IAAI,KAAK,QAAQuC,MAAMkC,GAAG,CAAC3D,OAAOH,IAAI,EAAEG,OAAOE,EAAE;QAC5D,IAAIF,OAAOd,IAAI,KAAK,YAAYc,OAAOd,IAAI,KAAK,aAAac,OAAOd,IAAI,KAAK,UAAU;YACrFuE,QAAQG,GAAG,CAAC5D,OAAOH,IAAI;QACzB;QACA,IAAIG,OAAOd,IAAI,KAAK,SAASuE,QAAQG,GAAG,CAAC,GAAG5D,OAAOH,IAAI,CAAC,CAAC,EAAEG,OAAOqB,IAAI,EAAE;IAC1E;IACA,IAAII,MAAMoC,IAAI,KAAK,GAAG,OAAO;QAAE3E,MAAM;QAAWoB;IAAQ;IACxD,MAAM+C,SAAS;WAAI/C;KAAQ;IAC3B,MAAMwD,QAAkB,EAAE;IAC1B,KAAK,MAAM,CAACjE,MAAMuC,SAAS,IAAI5C,OAAOqD,OAAO,CAACvD,QAAQyE,UAAU,CAACrE,SAAS,EAAG;QAC3E,IAAI+D,QAAQO,GAAG,CAACnE,OAAO;QACvB,MAAMkD,QAAQtB,MAAMS,GAAG,CAACrC,SAASA;QACjC,MAAMoE,aAAahD,aAAa3B,QAAQyE,UAAU,CAAC7C,KAAK,EAAEkB,SAASjB,IAAI;QACvE,KAAK,MAAM,CAACE,MAAMP,KAAK,IAAItB,OAAOqD,OAAO,CAACoB,YAAYC,UAAU,CAAC,GAAI;YACnE,IAAI,CAACrD,eAAeC,SAAS2C,QAAQO,GAAG,CAAC,GAAGnE,KAAK,CAAC,EAAEwB,MAAM,GAAG;YAC7D,MAAME,QAAQD,SAASc,SAAS8B,MAAM,CAAC7C,KAAK,EAAExB,MAAMkD,OAAOtB;YAC3D,IAAIF,UAAUnC,WAAW;YACzB0E,MAAMtD,IAAI,CAAC;gBAAEtB,MAAM;gBAASW;gBAAMwB;gBAAME;YAAM;QAChD;QACA,MAAM4C,WAAWrB,QAAQjD,MAAMkD,OAAOZ,OAAOC,UAAUvC,MAAMwD,SAAS5B;QACtE,IAAI0C,SAASjF,IAAI,KAAK,WAAW,OAAOiF;QACxC,KAAK,MAAMnE,UAAUmE,SAAS7D,OAAO,CAAE;YACrC,IAAIN,OAAOd,IAAI,KAAK,WAAW;gBAC7BkE,SAASC,QAAQxD;gBACjBiE,MAAMtD,IAAI,CAACR;gBACX;YACF;YACA,MAAMgC,QAAQqB,OAAOe,SAAS,CAC5B,CAACtC,OACCA,KAAK5C,IAAI,KAAKc,OAAOd,IAAI,IACzB4C,KAAKjC,IAAI,KAAKA,QACbG,CAAAA,OAAOd,IAAI,KAAK,aAAc4C,KAAK5C,IAAI,KAAK,aAAa4C,KAAKT,IAAI,KAAKrB,OAAOqB,IAAI;YAEvF,IAAIW,UAAU,CAAC,GAAG8B,MAAMtD,IAAI,CAACR;iBACxBqD,MAAM,CAACrB,MAAM,GAAGhC;QACvB;IACF;IACA,OAAO;QAAEd,MAAM;QAAWoB,SAAS;eAAIwD;eAAUT;SAAO;IAAC;AAC3D;AAEA,SAASgB,QAAQ9C,KAAc,EAAEC,IAAY;IAC3C,MAAM8C,SAAS5C,MAAMC,OAAO,CAACJ,SAASA,QAAQ;QAACA;KAAM;IACrD,MAAMgD,WAAqB,EAAE;IAC7B,KAAK,MAAMzC,QAAQwC,OAAQ;QACzB,IAAI,OAAOxC,SAAS,UAAU;QAC9B,MAAMG,SAASpD,QAAQ2C,MAAMM;QAC7B,IAAIG,WAAW,MAAMsC,SAAS/D,IAAI,CAACyB;IACrC;IACA,OAAOsC;AACT;AAEA,SAASC,SAAST,UAAsB,EAAEU,OAA4B;IACpE,MAAMC,QAAQ,IAAIlB;IAClB,MAAMmB,OAAO,CAAC1C,QAAgBjD;QAC5B,IAAI,CAACyF,QAAQT,GAAG,CAAC/B,SAAS;QAC1B,MAAM2C,YAAYF,MAAMxC,GAAG,CAACD,WAAW,IAAIyB;QAC3CkB,UAAUhB,GAAG,CAAC5E;QACd0F,MAAMf,GAAG,CAAC1B,QAAQ2C;IACpB;IACA,KAAK,MAAM,CAAC/E,MAAMuC,SAAS,IAAI5C,OAAOqD,OAAO,CAACkB,WAAWrE,SAAS,EAAG;QACnE,MAAMuE,aAAahD,aAAa8C,WAAW7C,KAAK,EAAEkB,SAASjB,IAAI;QAC/D,KAAK,MAAM,CAACE,MAAMP,KAAK,IAAItB,OAAOqD,OAAO,CAACoB,YAAYC,UAAU,CAAC,GAAI;YACnE,IAAI,CAACrD,eAAeC,OAAO;YAC3B,KAAK,MAAMmB,UAAUoC,QAAQjC,SAAS8B,MAAM,CAAC7C,KAAK,EAAExB,MAAO8E,KAAK1C,QAAQpC;QAC1E;QACA,KAAK,MAAMmD,QAAQ7E,MAAMiE,UAAUvC,MAAO8E,KAAK3B,KAAKf,MAAM,EAAEpC;IAC9D;IACA,MAAM,CAACgF,MAAM,GAAG;WAAIH,MAAMjF,IAAI;KAAG,CAACK,IAAI;IACtC,IAAI+E,UAAUzF,WAAW,OAAO;IAChC,MAAM0F,QAAQ,IAAIpB;IAClB,KAAK,MAAMkB,aAAaF,MAAMJ,MAAM,GAAI,KAAK,MAAMtF,QAAQ4F,UAAWE,MAAMlB,GAAG,CAAC5E;IAChF,OAAO;QACLE,MAAM;QACNC,SAAS;YAAEJ,MAAM;YAA2BC,MAAM6F;YAAOD,WAAW;mBAAIE;aAAM,CAAChF,IAAI;QAAG;IACxF;AACF;AAEA,SAASiF,SAAS/E,MAAc;IAC9B,OAAOA,OAAOd,IAAI,KAAK,SAAS;QAACc,OAAOH,IAAI;QAAEG,OAAOE,EAAE;KAAC,GAAG;QAACF,OAAOH,IAAI;KAAC;AAC1E;AAEA,SAASmF,MAAM1E,OAA0B,EAAE2E,KAAgB;IACzD,MAAMC,WAAW,IAAIxB,IAAI;WACpBlE,OAAOC,IAAI,CAACwF,MAAM3F,OAAO,CAACI,SAAS;WACnCuF,MAAM3F,OAAO,CAACK,aAAa;KAC/B;IACD,KAAK,MAAMK,UAAUM,QAAS;QAC5B,KAAK,MAAMT,QAAQkF,SAAS/E,QAAS;YACnC,MAAMmF,aAAaxG,UAAUkB;YAC7B,IAAIsF,eAAe,QAAQA,eAAe,IAAI,OAAOrG,OAAO,aAAae;YACzE,IAAInB,QAAQuG,MAAMG,kBAAkB,EAAED,aAAa;gBACjD,OAAOrG,OAAO,uBAAuBqG;YACvC;YACA,IAAI,CAACzG,QAAQuG,MAAMI,WAAW,EAAEF,aAAa,OAAOrG,OAAO,eAAeqG;QAC5E;QACA,IAAInF,OAAOd,IAAI,KAAK,UAAU;YAC5B,IAAIgG,SAASlB,GAAG,CAAChE,OAAOH,IAAI,GAAG,OAAOf,OAAO,kBAAkBkB,OAAOH,IAAI;YAC1EqF,SAAStB,GAAG,CAAC5D,OAAOH,IAAI;YACxB;QACF;QACA,IAAIG,OAAOd,IAAI,KAAK,QAAQ;YAC1B,IAAI,CAACgG,SAASlB,GAAG,CAAChE,OAAOH,IAAI,GAAG,OAAOf,OAAO,eAAekB,OAAOH,IAAI;YACxE,IAAIqF,SAASlB,GAAG,CAAChE,OAAOE,EAAE,GAAG,OAAOpB,OAAO,kBAAkBkB,OAAOE,EAAE;YACtEgF,SAASI,MAAM,CAACtF,OAAOH,IAAI;YAC3BqF,SAAStB,GAAG,CAAC5D,OAAOE,EAAE;YACtB;QACF;QACA,IAAI,CAACgF,SAASlB,GAAG,CAAChE,OAAOH,IAAI,GAAG,OAAOf,OAAO,eAAekB,OAAOH,IAAI;QACxE,IAAIG,OAAOd,IAAI,KAAK,UAAU;YAC5BgG,SAASI,MAAM,CAACtF,OAAOH,IAAI;YAC3B;QACF;QACA,IAAIG,OAAOd,IAAI,KAAK,WAAW;YAC7B,IAAI+F,MAAM3F,OAAO,CAACiG,SAAS,CAACvF,OAAOH,IAAI,CAAC,KAAKT,WAAW;gBACtD,OAAON,OAAO,oBAAoBkB,OAAOH,IAAI;YAC/C;YACA;QACF;QACA,MAAMuC,WAAW6C,MAAM3F,OAAO,CAACyE,UAAU,CAACrE,SAAS,CAACM,OAAOH,IAAI,CAAC;QAChE,IAAIuC,aAAahD,WAAW,OAAON,OAAO,eAAekB,OAAOH,IAAI;QACpE,IAAIG,OAAOd,IAAI,KAAK,aAAakD,SAASI,QAAQ,CAACxC,OAAOqB,IAAI,CAAC,KAAKjC,WAAW;YAC7E,OAAON,OAAO,oBAAoBkB,OAAOH,IAAI,EAAEG,OAAOqB,IAAI;QAC5D;IACF;IACA,OAAO;AACT;AAEA,SAASmE,UAAUlG,OAAqB,EAAEO,IAAY;IACpD,MAAM4F,WAAWnG,QAAQiG,SAAS,CAAC1F,KAAK;IACxC,OAAO4F,aAAarG,YAAY;QAAEF,MAAM;QAAWW;IAAK,IAAI;QAAEX,MAAM;QAAYW;QAAM4F;IAAS;AACjG;AAEA,SAASC,gBACPpF,OAA0B,EAC1BhB,OAAqB;IAErB,MAAMqG,gBAAgC,EAAE;IACxC,MAAMC,OAAO,IAAIlC;IACjB,MAAME,MAAM,CAACiC;QACX,MAAMC,OACJD,aAAa3G,IAAI,KAAK,WAAW2G,aAAa3G,IAAI,KAAK,YAAY2G,aAAaxE,IAAI,GAAG;QACzF,MAAM0E,WAAW,GAAGF,aAAa3G,IAAI,CAAC,CAAC,EAAE2G,aAAahG,IAAI,CAAC,CAAC,EAAEiG,MAAM;QACpE,IAAIF,KAAK5B,GAAG,CAAC+B,WAAW;QACxBH,KAAKhC,GAAG,CAACmC;QACTJ,cAAcnF,IAAI,CAACqF;IACrB;IACA,KAAK,MAAM7F,UAAUM,QAAS;QAC5B,IAAIN,OAAOd,IAAI,KAAK,SAAS;YAC3B,MAAMkD,WAAW9C,QAAQyE,UAAU,CAACrE,SAAS,CAACM,OAAOH,IAAI,CAAC;YAC1D+D,IAAI;gBACF1E,MAAM;gBACNW,MAAMG,OAAOH,IAAI;gBACjBwB,MAAMrB,OAAOqB,IAAI;gBACjBE,OAAOa,SAAS8B,MAAM,CAAClE,OAAOqB,IAAI,CAAC;YACrC;YACA;QACF;QACA,IAAIrB,OAAOd,IAAI,KAAK,WAAW;YAC7B,MAAMkD,WAAW9C,QAAQyE,UAAU,CAACrE,SAAS,CAACM,OAAOH,IAAI,CAAC;YAC1D+D,IAAI;gBACF1E,MAAM;gBACNW,MAAMG,OAAOH,IAAI;gBACjBwB,MAAMrB,OAAOqB,IAAI;gBACjBE,OAAOa,SAASI,QAAQ,CAACxC,OAAOqB,IAAI,CAAC;YACvC;YACA;QACF;QACA,IAAIrB,OAAOd,IAAI,KAAK,YAAY;YAC9B,MAAMkD,WAAW9C,QAAQyE,UAAU,CAACrE,SAAS,CAACM,OAAOH,IAAI,CAAC;YAC1D+D,IAAI;gBAAE1E,MAAM;gBAAYW,MAAMG,OAAOH,IAAI;gBAAE0B,OAAOa,SAASG,QAAQ;YAAC;YACpE;QACF;QACA,IAAIvC,OAAOd,IAAI,KAAK,UAAU;YAC5B0E,IAAI;gBAAE1E,MAAM;gBAAUW,MAAMG,OAAOH,IAAI;YAAC;YACxC;QACF;QACA+D,IAAI4B,UAAUlG,SAASU,OAAOH,IAAI;QAClC,IAAIG,OAAOd,IAAI,KAAK,QAAQ0E,IAAI;YAAE1E,MAAM;YAAUW,MAAMG,OAAOE,EAAE;QAAC;IACpE;IACA,OAAOyF;AACT;AAEA,SAASK,MAAMnG,IAAY;IACzB,OAAOA,KAAKoG,KAAK,CAAC,KAAK7F,MAAM;AAC/B;AAEA,SAAS8F,SACPC,MAAgC,EAChC7F,OAA0B,EAC1B8F,SAAgB;IAEhB,MAAMC,UAAU/F,QAAQuB,GAAG,CAAC,CAAC7B,SAAYA,OAAOd,IAAI,KAAK,SAASc,OAAOE,EAAE,GAAGF,OAAOH,IAAI;IACzF,MAAMyG,UAAUhG,QACbV,MAAM,CAAC,CAACI,SAAWA,OAAOd,IAAI,KAAK,YAAYc,OAAOd,IAAI,KAAK,QAC/D2C,GAAG,CAAC,CAAC7B,SAAYA,OAAOd,IAAI,KAAK,SAASc,OAAOE,EAAE,GAAGF,OAAOH,IAAI;IACpE,KAAK,MAAM0G,SAASJ,OAAQ;QAC1B,MAAM5E,QAAQgF,MAAMhF,KAAK;QACzB,IAAI,OAAOA,UAAU,UAAU;QAC/B,IAAIgF,MAAMlF,IAAI,KAAK,6BAA6Bf,QAAQF,MAAM,GAAGmB,OAAO;YACtE,OAAOzC,OAAO,kBAAkBM,WAAWmH,MAAMlF,IAAI;QACvD;QACA,IAAIkF,MAAMlF,IAAI,KAAK,iBAAiB;YAClC,MAAMmF,QAAQH,QAAQjF,IAAI,CAAC,CAACvB,OAAS,AAACuG,CAAAA,UAAU1G,SAAS,CAACG,KAAK,IAAI,EAAC,EAAGO,MAAM,GAAGmB;YAChF,IAAIiF,UAAUpH,WAAW,OAAON,OAAO,kBAAkB0H,OAAOD,MAAMlF,IAAI;QAC5E;QACA,IAAIkF,MAAMlF,IAAI,KAAK,eAAe;YAChC,MAAMoF,OAAOH,QAAQlF,IAAI,CAAC,CAACvB,OAASA,KAAKO,MAAM,GAAGmB;YAClD,IAAIkF,SAASrH,WAAW,OAAON,OAAO,kBAAkB2H,MAAMF,MAAMlF,IAAI;QAC1E;QACA,IAAIkF,MAAMlF,IAAI,KAAK,cAAc;YAC/B,MAAMqF,OAAOJ,QAAQlF,IAAI,CAAC,CAACvB,OAASmG,MAAMnG,QAAQ0B;YAClD,IAAImF,SAAStH,WAAW,OAAON,OAAO,kBAAkB4H,MAAMH,MAAMlF,IAAI;QAC1E;IACF;IACA,OAAO;AACT;AAEA,OAAO,SAASsF,WAAW1B,KAAgB;IACzC,MAAM1E,WAAWF,OAAO4E,MAAM3E,OAAO,EAAE2E,MAAM3F,OAAO;IACpD,IAAIiB,SAASrB,IAAI,KAAK,WAAW,OAAOqB;IACxC,MAAMqG,YAAYrD,SAAShD,SAASD,OAAO,EAAE2E,MAAM3F,OAAO;IAC1D,IAAIsH,UAAU1H,IAAI,KAAK,WAAW,OAAO0H;IACzC,MAAMtG,UAAUsG,UAAUtG,OAAO;IACjC,IAAIA,QAAQF,MAAM,KAAK,GAAG,OAAOtB,OAAO;IACxC,MAAMK,UAAU6F,MAAM1E,SAAS2E;IAC/B,IAAI9F,YAAY,MAAM,OAAOA;IAC7B,MAAMwG,gBAAgBD,gBAAgBpF,SAAS2E,MAAM3F,OAAO;IAC5D,MAAM8G,YAAY5H,QAAQyG,MAAM3F,OAAO,EAAE;QACvC;YAAEuH,IAAI;YAAIC,iBAAiB7B,MAAM6B,eAAe;YAAExG;YAASqF;QAAc;KAC1E;IACD,MAAMlB,UAAU,IAAIf,IAClBpD,QAAQV,MAAM,CAAC,CAACI,SAAWA,OAAOd,IAAI,KAAK,UAAU2C,GAAG,CAAC,CAAC7B,SAAWA,OAAOH,IAAI;IAElF,IAAI4E,QAAQZ,IAAI,GAAG,GAAG;QACpB,MAAMkD,aAAavC,SAASjG,gBAAgB6H,UAAU1G,SAAS,GAAG+E;QAClE,IAAIsC,eAAe,MAAM,OAAOA;IAClC;IACA,MAAMC,UAAU3I,SAAS+H,UAAU1G,SAAS,EAAE;QAAEC,eAAeyG,UAAUzG,aAAa;IAAC;IACvF,IAAIqH,QAAQA,OAAO,KAAK,UAAU;QAChC,OAAO;YACL9H,MAAM;YACNC,SAAS;gBACPJ,MAAMiI,QAAQjI,IAAI;gBAClBC,MAAMgI,QAAQhI,IAAI;gBAClB,GAAIgI,QAAQ/H,QAAQ,KAAKG,YAAY,CAAC,IAAI;oBAAEH,UAAU+H,QAAQ/H,QAAQ;gBAAC,CAAC;gBACxE,GAAI+H,QAAQpC,SAAS,KAAKxF,YAAY,CAAC,IAAI;oBAAEwF,WAAWoC,QAAQpC,SAAS;gBAAC,CAAC;YAC7E;QACF;IACF;IACA,MAAMqC,UAAUf,SAASjB,MAAMiC,cAAc,EAAE5G,SAAS8F;IACxD,IAAIa,YAAY,MAAM,OAAOA;IAC7B,OAAO;QACL/H,MAAM;QACNiI,OAAO7I,UAAU;YACfuI,IAAIO,OAAOC,UAAU;YACrBP,iBAAiB7B,MAAM6B,eAAe;YACtCxG;YACAqF;QACF;IACF;AACF"}
|
|
1
|
+
{"version":3,"sources":["/workspace/packages/mdruntime/src/save.ts"],"sourcesContent":["import { definitionOf, type ModelState } from './model.js';\nimport {\n apply,\n links,\n parse,\n retarget,\n serialize,\n target,\n type Document,\n type FieldSpec,\n} from '@agentshouse/mdmodel';\nimport type { ProviderLimit } from './adapter.js';\nimport {\n immutable,\n type Change,\n type ChangeBatch,\n type Precondition,\n type WrittenBy,\n} from './change.js';\nimport {\n governing,\n parseCollection,\n validateCollection,\n type Collection,\n type Composition,\n} from './collection.js';\nimport { changeBatchIdentity } from './identity.js';\nimport { overlay, type Layer } from './overlay.js';\nimport { covered, normalize, relative } from './paths.js';\nimport type { VisibleLayer } from './replica.js';\nimport type { ChangedPart } from './room-draft.js';\n\nexport type SaveRefusal = {\n rule: string;\n file?: string;\n location?: string;\n referrers?: readonly string[];\n parts?: readonly ChangedPart[];\n};\n\nexport type Rewriting = 'runtime' | 'provider';\n\nexport type SaveInput = {\n composition: Composition;\n rewriting: Rewriting;\n baseRoomVersion: string;\n operations: import('./adapter.js').OperationScopes;\n providerOwnedPaths: readonly string[];\n providerLimits: readonly ProviderLimit[];\n visible: VisibleLayer;\n changes: readonly Change[];\n bases: readonly Precondition[];\n writtenBy?: WrittenBy;\n};\n\nexport type BatchResult =\n | { kind: 'batch'; batch: ChangeBatch }\n | { kind: 'refused'; refusal: SaveRefusal };\n\ntype Expansion =\n | { kind: 'changes'; changes: readonly Change[] }\n | { kind: 'refused'; refusal: SaveRefusal };\n\nfunction refuse(rule: string, file?: string, location?: string): BatchResult {\n return {\n kind: 'refused',\n refusal: {\n rule,\n ...(file === undefined ? {} : { file }),\n ...(location === undefined ? {} : { location }),\n },\n };\n}\n\nfunction referenceField(spec: FieldSpec): boolean {\n return spec.kind === 'reference' || (spec.kind === 'list' && spec.of.kind === 'reference');\n}\n\nfunction repointed(\n value: unknown,\n from: string,\n to: string,\n moves: ReadonlyMap<string, string>,\n): unknown {\n if (Array.isArray(value)) {\n const next = value.map((item) => repointed(item, from, to, moves) ?? item);\n return next.some((item, index) => item !== value[index]) ? next : undefined;\n }\n if (typeof value !== 'string') return undefined;\n const named = target(from, value);\n if (named === null) return undefined;\n const destination = moves.get(named) ?? named;\n return target(to, value) === destination ? undefined : retarget(value, relative(to, destination));\n}\n\nfunction edited(document: Document, path: string, changes: readonly Change[]): Document {\n let next = document;\n for (const change of changes) {\n if (change.path !== path) continue;\n if (change.kind !== 'section' && change.kind !== 'preamble') continue;\n const applied = apply(\n next,\n change.kind === 'preamble'\n ? { kind: 'preamble', value: change.value, prior: next.preamble }\n : {\n kind: 'section',\n name: change.name,\n value: change.value,\n prior: next.sections[change.name],\n },\n );\n if (applied.outcome === 'applied') next = applied.document;\n }\n return next;\n}\n\nfunction bodies(path: string, before: Document, after: Document): readonly Change[] {\n const changes: Change[] = [];\n if (after.preamble !== before.preamble) {\n changes.push({ kind: 'preamble', path, value: after.preamble });\n }\n for (const [name, value] of Object.entries(after.sections)) {\n if (before.sections[name] === value) continue;\n changes.push({ kind: 'section', path, name, value });\n }\n return changes;\n}\n\nfunction relinks(\n path: string,\n moved: string,\n before: Document,\n moves: ReadonlyMap<string, string>,\n): Expansion {\n let after = before;\n for (const link of links(before, path)) {\n const destination = moves.get(link.target) ?? link.target;\n if (destination === link.target && moved === path) continue;\n const to = relative(moved, destination);\n if (to === relative(path, link.target)) continue;\n const applied = apply(after, { kind: 'link', href: link.href, to });\n if (applied.outcome === 'refuse') {\n return {\n kind: 'refused',\n refusal: {\n rule: applied.refusal.rule,\n file: path,\n ...(applied.refusal.location === undefined ? {} : { location: applied.refusal.location }),\n },\n };\n }\n after = applied.document;\n }\n if (after === before) return { kind: 'changes', changes: [] };\n if (before.type === undefined) {\n return { kind: 'changes', changes: [{ kind: 'replace', path, content: serialize(after) }] };\n }\n return { kind: 'changes', changes: bodies(path, before, after) };\n}\n\nfunction subsumed(merged: Change[], path: string) {\n for (let index = merged.length - 1; index >= 0; index -= 1) {\n const item = merged[index];\n if (item.path !== path) continue;\n if (item.kind === 'section' || item.kind === 'preamble') merged.splice(index, 1);\n }\n}\n\nfunction rewrites(changes: readonly Change[], visible: VisibleLayer): Expansion {\n const moves = new Map<string, string>();\n const settled = new Set<string>();\n for (const change of changes) {\n if (change.kind === 'move') moves.set(change.path, change.to);\n if (change.kind === 'remove' || change.kind === 'replace' || change.kind === 'create') {\n settled.add(change.path);\n }\n if (change.kind === 'field') settled.add(`${change.path} ${change.name}`);\n }\n if (moves.size === 0) return { kind: 'changes', changes };\n const merged = [...changes];\n const added: Change[] = [];\n for (const [path, document] of Object.entries(visible.collection.documents)) {\n if (settled.has(path)) continue;\n const moved = moves.get(path) ?? path;\n const definition = definitionOf(governing(visible.collection.composition, path), document.type);\n for (const [name, spec] of Object.entries(definition?.fields ?? {})) {\n if (!referenceField(spec) || settled.has(`${path} ${name}`)) continue;\n const value = repointed(document.fields[name], path, moved, moves);\n if (value === undefined) continue;\n added.push({ kind: 'field', path, name, value });\n }\n const relinked = relinks(path, moved, edited(document, path, merged), moves);\n if (relinked.kind === 'refused') return relinked;\n for (const change of relinked.changes) {\n if (change.kind === 'replace') {\n subsumed(merged, path);\n added.push(change);\n continue;\n }\n const index = merged.findIndex(\n (item) =>\n item.kind === change.kind &&\n item.path === path &&\n (change.kind !== 'section' || (item.kind === 'section' && item.name === change.name)),\n );\n if (index === -1) added.push(change);\n else merged[index] = change;\n }\n }\n return { kind: 'changes', changes: [...added, ...merged] };\n}\n\nfunction anticipated(\n changes: readonly Change[],\n preconditions: readonly Precondition[],\n rewritten: readonly Change[],\n visible: VisibleLayer,\n) {\n const derived = rewritten.filter((change) => !changes.includes(change));\n return {\n changes: rewritten,\n preconditions: [...preconditionsOf(derived, visible, []), ...preconditions],\n };\n}\n\nexport function providerRewritten(batch: ChangeBatch, visible: VisibleLayer): ChangeBatch {\n const rewritten = rewrites(batch.changes, visible);\n if (rewritten.kind === 'refused') return batch;\n return {\n ...batch,\n ...anticipated(batch.changes, batch.preconditions, rewritten.changes, visible),\n };\n}\n\nfunction targets(value: unknown, from: string): readonly string[] {\n const values = Array.isArray(value) ? value : [value];\n const resolved: string[] = [];\n for (const item of values) {\n if (typeof item !== 'string') continue;\n const named = target(from, item);\n if (named !== null) resolved.push(named);\n }\n return resolved;\n}\n\nfunction incoming(collection: Collection, removed: ReadonlySet<string>): BatchResult | null {\n const found = new Map<string, Set<string>>();\n const note = (target: string, file: string) => {\n if (!removed.has(target)) return;\n const referrers = found.get(target) ?? new Set<string>();\n referrers.add(file);\n found.set(target, referrers);\n };\n for (const [path, document] of Object.entries(collection.documents)) {\n const definition = definitionOf(governing(collection.composition, path), document.type);\n for (const [name, spec] of Object.entries(definition?.fields ?? {})) {\n if (!referenceField(spec)) continue;\n for (const named of targets(document.fields[name], path)) note(named, path);\n }\n for (const link of links(document, path)) note(link.target, path);\n }\n const [first] = [...found.keys()].sort();\n if (first === undefined) return null;\n const every = new Set<string>();\n for (const referrers of found.values()) for (const file of referrers) every.add(file);\n return {\n kind: 'refused',\n refusal: { rule: 'referenced-missing-file', file: first, referrers: [...every].sort() },\n };\n}\n\nfunction affected(change: Change): readonly string[] {\n return change.kind === 'move' ? [change.path, change.to] : [change.path];\n}\n\nfunction guard(changes: readonly Change[], input: SaveInput): BatchResult | null {\n const existing = new Set([\n ...Object.keys(input.visible.documents),\n ...input.visible.binaryTargets,\n ]);\n for (const change of changes) {\n for (const path of affected(change)) {\n const normalized = normalize(path);\n if (normalized === null || normalized === '') return refuse('room-root', path);\n if (covered(input.providerOwnedPaths, normalized)) {\n return refuse('provider-owned-path', normalized);\n }\n const operation = change.kind === 'remove' ? 'delete' : 'write';\n if (!covered(input.operations[operation], normalized))\n return refuse(`${operation}-grant`, normalized);\n }\n if (change.kind === 'create') {\n if (existing.has(change.path)) return refuse('path-collision', change.path);\n existing.add(change.path);\n continue;\n }\n if (change.kind === 'move') {\n if (!existing.has(change.path)) return refuse('path-absent', change.path);\n if (existing.has(change.to)) return refuse('path-collision', change.to);\n existing.delete(change.path);\n existing.add(change.to);\n continue;\n }\n if (!existing.has(change.path)) return refuse('path-absent', change.path);\n if (change.kind === 'remove') {\n existing.delete(change.path);\n continue;\n }\n if (change.kind === 'replace') {\n if (input.visible.revisions[change.path] === undefined) {\n return refuse('unknown-revision', change.path);\n }\n continue;\n }\n if (input.visible.collection.documents[change.path] === undefined) {\n return refuse('path-absent', change.path);\n }\n }\n return null;\n}\n\nfunction existence(visible: VisibleLayer, path: string): Precondition {\n const revision = visible.revisions[path];\n return revision === undefined ? { kind: 'present', path } : { kind: 'revision', path, revision };\n}\n\nfunction sameTarget(precondition: Precondition, change: Change): boolean {\n if (precondition.kind !== change.kind || precondition.path !== change.path) return false;\n return (\n (precondition.kind !== 'field' && precondition.kind !== 'section') ||\n ((change.kind === 'field' || change.kind === 'section') && precondition.name === change.name)\n );\n}\n\nfunction preconditionsOf(\n changes: readonly Change[],\n visible: VisibleLayer,\n bases: readonly Precondition[],\n): readonly Precondition[] {\n const preconditions: Precondition[] = [];\n const seen = new Set<string>();\n const add = (precondition: Precondition) => {\n const part =\n precondition.kind === 'field' || precondition.kind === 'section' ? precondition.name : '';\n const identity = `${precondition.kind} ${precondition.path} ${part}`;\n if (seen.has(identity)) return;\n seen.add(identity);\n preconditions.push(precondition);\n };\n for (const change of changes) {\n if (change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble') {\n const based = bases.find((base) => sameTarget(base, change));\n if (based !== undefined) {\n add(based);\n continue;\n }\n const document = visible.collection.documents[change.path];\n if (change.kind === 'field') {\n add({\n kind: 'field',\n path: change.path,\n name: change.name,\n value: document.fields[change.name],\n });\n } else if (change.kind === 'section') {\n add({\n kind: 'section',\n path: change.path,\n name: change.name,\n value: document.sections[change.name],\n });\n } else add({ kind: 'preamble', path: change.path, value: document.preamble });\n continue;\n }\n if (change.kind === 'create') {\n add({ kind: 'absent', path: change.path });\n continue;\n }\n add(existence(visible, change.path));\n if (change.kind === 'move') add({ kind: 'absent', path: change.to });\n }\n return preconditions;\n}\n\nfunction depth(path: string) {\n return path.split('/').length;\n}\n\nfunction exceeded(\n limits: readonly ProviderLimit[],\n changes: readonly Change[],\n resulting: Layer,\n): BatchResult | null {\n const written = changes.map((change) => (change.kind === 'move' ? change.to : change.path));\n const created = changes\n .filter((change) => change.kind === 'create' || change.kind === 'move')\n .map((change) => (change.kind === 'move' ? change.to : change.path));\n for (const limit of limits) {\n const value = limit.value;\n if (typeof value !== 'number') continue;\n if (limit.name === 'change-batch-operations' && changes.length > value) {\n return refuse('provider-limit', undefined, limit.name);\n }\n if (limit.name === 'document-size') {\n const large = written.find((path) => (resulting.documents[path] ?? '').length > value);\n if (large !== undefined) return refuse('provider-limit', large, limit.name);\n }\n if (limit.name === 'path-length') {\n const long = created.find((path) => path.length > value);\n if (long !== undefined) return refuse('provider-limit', long, limit.name);\n }\n if (limit.name === 'path-depth') {\n const deep = created.find((path) => depth(path) > value);\n if (deep !== undefined) return refuse('provider-limit', deep, limit.name);\n }\n }\n return null;\n}\n\nexport function buildBatch(input: SaveInput): BatchResult {\n const structural = input.changes.find(\n (change) => change.kind === 'move' || change.kind === 'remove',\n );\n if (\n structural !== undefined &&\n Object.entries(input.visible.collection.documents).some(\n ([path, document]) =>\n document.type !== undefined &&\n document.type !== 'any' &&\n governing(input.composition, path).status === 'unavailable',\n )\n )\n return refuse('model-unavailable', structural.path);\n if (input.changes.length === 0) return refuse('no-change');\n const rewritten = rewrites(input.changes, input.visible);\n if (rewritten.kind === 'refused') return rewritten;\n const changes = input.rewriting === 'provider' ? input.changes : rewritten.changes;\n const refusal = guard(changes, input);\n if (refusal !== null) return refusal;\n const preconditions = preconditionsOf(changes, input.visible, input.bases);\n const predicted =\n input.rewriting === 'provider'\n ? anticipated(changes, preconditions, rewritten.changes, input.visible)\n : { changes, preconditions };\n const resulting = overlay(input.visible, [\n { id: '', baseRoomVersion: input.baseRoomVersion, ...predicted },\n ]);\n const removed = new Set(\n changes.filter((change) => change.kind === 'remove').map((change) => change.path),\n );\n if (removed.size > 0) {\n const referenced = incoming(parseCollection(resulting.documents, input.composition), removed);\n if (referenced !== null) return referenced;\n }\n const typed = (content: string | undefined) => {\n if (content === undefined) return false;\n const parsed = parse(content);\n return parsed.ok && parsed.document.type !== undefined && parsed.document.type !== 'any';\n };\n const typedPaths = [...new Set(predicted.changes.flatMap(affected))].filter(\n (path) => typed(input.visible.documents[path]) || typed(resulting.documents[path]),\n );\n const needsModel = typedPaths.length > 0;\n const withoutModel = typedPaths.find(\n (path) => governing(input.composition, path).status === 'unavailable',\n );\n if (withoutModel !== undefined) return refuse('model-unavailable', withoutModel);\n const validationText = needsModel\n ? resulting.documents\n : Object.fromEntries(\n Object.entries(resulting.documents).filter(([path]) =>\n predicted.changes.some((change) => affected(change).includes(path)),\n ),\n );\n const verdict = validateCollection(validationText, resulting.binaryTargets, input.composition);\n if (verdict.verdict === 'refuse') {\n return {\n kind: 'refused',\n refusal: {\n rule: verdict.rule,\n file: verdict.file,\n ...(verdict.location === undefined ? {} : { location: verdict.location }),\n ...(verdict.referrers === undefined ? {} : { referrers: verdict.referrers }),\n },\n };\n }\n const limited = exceeded(input.providerLimits, changes, resulting);\n if (limited !== null) return limited;\n const validated = typedPaths\n .map((path) => governing(input.composition, path))\n .find(\n (model): model is Extract<ModelState, { status: 'current' | 'cached' }> =>\n model.status !== 'unavailable',\n );\n return {\n kind: 'batch',\n batch: immutable({\n id: changeBatchIdentity(),\n baseRoomVersion: input.baseRoomVersion,\n changes,\n preconditions,\n ...(input.writtenBy === undefined ? {} : { writtenBy: input.writtenBy }),\n ...(validated === undefined\n ? {}\n : {\n validation: {\n identity: validated.snapshot.identity,\n version: validated.snapshot.version,\n source: validated.status,\n },\n }),\n }),\n };\n}\n"],"names":["definitionOf","apply","links","parse","retarget","serialize","target","immutable","governing","parseCollection","validateCollection","changeBatchIdentity","overlay","covered","normalize","relative","refuse","rule","file","location","kind","refusal","undefined","referenceField","spec","of","repointed","value","from","to","moves","Array","isArray","next","map","item","some","index","named","destination","get","edited","document","path","changes","change","applied","prior","preamble","name","sections","outcome","bodies","before","after","push","Object","entries","relinks","moved","link","href","type","content","subsumed","merged","length","splice","rewrites","visible","Map","settled","Set","set","add","size","added","collection","documents","has","definition","composition","fields","relinked","findIndex","anticipated","preconditions","rewritten","derived","filter","includes","preconditionsOf","providerRewritten","batch","targets","values","resolved","incoming","removed","found","note","referrers","first","keys","sort","every","affected","guard","input","existing","binaryTargets","normalized","providerOwnedPaths","operation","operations","delete","revisions","existence","revision","sameTarget","precondition","bases","seen","part","identity","based","find","base","depth","split","exceeded","limits","resulting","written","created","limit","large","long","deep","buildBatch","structural","status","rewriting","predicted","id","baseRoomVersion","referenced","typed","parsed","ok","typedPaths","flatMap","needsModel","withoutModel","validationText","fromEntries","verdict","limited","providerLimits","validated","model","writtenBy","validation","snapshot","version","source"],"mappings":"AAAA,SAASA,YAAY,QAAyB,aAAa;AAC3D,SACEC,KAAK,EACLC,KAAK,EACLC,KAAK,EACLC,QAAQ,EACRC,SAAS,EACTC,MAAM,QAGD,uBAAuB;AAE9B,SACEC,SAAS,QAKJ,cAAc;AACrB,SACEC,SAAS,EACTC,eAAe,EACfC,kBAAkB,QAGb,kBAAkB;AACzB,SAASC,mBAAmB,QAAQ,gBAAgB;AACpD,SAASC,OAAO,QAAoB,eAAe;AACnD,SAASC,OAAO,EAAEC,SAAS,EAAEC,QAAQ,QAAQ,aAAa;AAmC1D,SAASC,OAAOC,IAAY,EAAEC,IAAa,EAAEC,QAAiB;IAC5D,OAAO;QACLC,MAAM;QACNC,SAAS;YACPJ;YACA,GAAIC,SAASI,YAAY,CAAC,IAAI;gBAAEJ;YAAK,CAAC;YACtC,GAAIC,aAAaG,YAAY,CAAC,IAAI;gBAAEH;YAAS,CAAC;QAChD;IACF;AACF;AAEA,SAASI,eAAeC,IAAe;IACrC,OAAOA,KAAKJ,IAAI,KAAK,eAAgBI,KAAKJ,IAAI,KAAK,UAAUI,KAAKC,EAAE,CAACL,IAAI,KAAK;AAChF;AAEA,SAASM,UACPC,KAAc,EACdC,IAAY,EACZC,EAAU,EACVC,KAAkC;IAElC,IAAIC,MAAMC,OAAO,CAACL,QAAQ;QACxB,MAAMM,OAAON,MAAMO,GAAG,CAAC,CAACC,OAAST,UAAUS,MAAMP,MAAMC,IAAIC,UAAUK;QACrE,OAAOF,KAAKG,IAAI,CAAC,CAACD,MAAME,QAAUF,SAASR,KAAK,CAACU,MAAM,IAAIJ,OAAOX;IACpE;IACA,IAAI,OAAOK,UAAU,UAAU,OAAOL;IACtC,MAAMgB,QAAQhC,OAAOsB,MAAMD;IAC3B,IAAIW,UAAU,MAAM,OAAOhB;IAC3B,MAAMiB,cAAcT,MAAMU,GAAG,CAACF,UAAUA;IACxC,OAAOhC,OAAOuB,IAAIF,WAAWY,cAAcjB,YAAYlB,SAASuB,OAAOZ,SAASc,IAAIU;AACtF;AAEA,SAASE,OAAOC,QAAkB,EAAEC,IAAY,EAAEC,OAA0B;IAC1E,IAAIX,OAAOS;IACX,KAAK,MAAMG,UAAUD,QAAS;QAC5B,IAAIC,OAAOF,IAAI,KAAKA,MAAM;QAC1B,IAAIE,OAAOzB,IAAI,KAAK,aAAayB,OAAOzB,IAAI,KAAK,YAAY;QAC7D,MAAM0B,UAAU7C,MACdgC,MACAY,OAAOzB,IAAI,KAAK,aACZ;YAAEA,MAAM;YAAYO,OAAOkB,OAAOlB,KAAK;YAAEoB,OAAOd,KAAKe,QAAQ;QAAC,IAC9D;YACE5B,MAAM;YACN6B,MAAMJ,OAAOI,IAAI;YACjBtB,OAAOkB,OAAOlB,KAAK;YACnBoB,OAAOd,KAAKiB,QAAQ,CAACL,OAAOI,IAAI,CAAC;QACnC;QAEN,IAAIH,QAAQK,OAAO,KAAK,WAAWlB,OAAOa,QAAQJ,QAAQ;IAC5D;IACA,OAAOT;AACT;AAEA,SAASmB,OAAOT,IAAY,EAAEU,MAAgB,EAAEC,KAAe;IAC7D,MAAMV,UAAoB,EAAE;IAC5B,IAAIU,MAAMN,QAAQ,KAAKK,OAAOL,QAAQ,EAAE;QACtCJ,QAAQW,IAAI,CAAC;YAAEnC,MAAM;YAAYuB;YAAMhB,OAAO2B,MAAMN,QAAQ;QAAC;IAC/D;IACA,KAAK,MAAM,CAACC,MAAMtB,MAAM,IAAI6B,OAAOC,OAAO,CAACH,MAAMJ,QAAQ,EAAG;QAC1D,IAAIG,OAAOH,QAAQ,CAACD,KAAK,KAAKtB,OAAO;QACrCiB,QAAQW,IAAI,CAAC;YAAEnC,MAAM;YAAWuB;YAAMM;YAAMtB;QAAM;IACpD;IACA,OAAOiB;AACT;AAEA,SAASc,QACPf,IAAY,EACZgB,KAAa,EACbN,MAAgB,EAChBvB,KAAkC;IAElC,IAAIwB,QAAQD;IACZ,KAAK,MAAMO,QAAQ1D,MAAMmD,QAAQV,MAAO;QACtC,MAAMJ,cAAcT,MAAMU,GAAG,CAACoB,KAAKtD,MAAM,KAAKsD,KAAKtD,MAAM;QACzD,IAAIiC,gBAAgBqB,KAAKtD,MAAM,IAAIqD,UAAUhB,MAAM;QACnD,MAAMd,KAAKd,SAAS4C,OAAOpB;QAC3B,IAAIV,OAAOd,SAAS4B,MAAMiB,KAAKtD,MAAM,GAAG;QACxC,MAAMwC,UAAU7C,MAAMqD,OAAO;YAAElC,MAAM;YAAQyC,MAAMD,KAAKC,IAAI;YAAEhC;QAAG;QACjE,IAAIiB,QAAQK,OAAO,KAAK,UAAU;YAChC,OAAO;gBACL/B,MAAM;gBACNC,SAAS;oBACPJ,MAAM6B,QAAQzB,OAAO,CAACJ,IAAI;oBAC1BC,MAAMyB;oBACN,GAAIG,QAAQzB,OAAO,CAACF,QAAQ,KAAKG,YAAY,CAAC,IAAI;wBAAEH,UAAU2B,QAAQzB,OAAO,CAACF,QAAQ;oBAAC,CAAC;gBAC1F;YACF;QACF;QACAmC,QAAQR,QAAQJ,QAAQ;IAC1B;IACA,IAAIY,UAAUD,QAAQ,OAAO;QAAEjC,MAAM;QAAWwB,SAAS,EAAE;IAAC;IAC5D,IAAIS,OAAOS,IAAI,KAAKxC,WAAW;QAC7B,OAAO;YAAEF,MAAM;YAAWwB,SAAS;gBAAC;oBAAExB,MAAM;oBAAWuB;oBAAMoB,SAAS1D,UAAUiD;gBAAO;aAAE;QAAC;IAC5F;IACA,OAAO;QAAElC,MAAM;QAAWwB,SAASQ,OAAOT,MAAMU,QAAQC;IAAO;AACjE;AAEA,SAASU,SAASC,MAAgB,EAAEtB,IAAY;IAC9C,IAAK,IAAIN,QAAQ4B,OAAOC,MAAM,GAAG,GAAG7B,SAAS,GAAGA,SAAS,EAAG;QAC1D,MAAMF,OAAO8B,MAAM,CAAC5B,MAAM;QAC1B,IAAIF,KAAKQ,IAAI,KAAKA,MAAM;QACxB,IAAIR,KAAKf,IAAI,KAAK,aAAae,KAAKf,IAAI,KAAK,YAAY6C,OAAOE,MAAM,CAAC9B,OAAO;IAChF;AACF;AAEA,SAAS+B,SAASxB,OAA0B,EAAEyB,OAAqB;IACjE,MAAMvC,QAAQ,IAAIwC;IAClB,MAAMC,UAAU,IAAIC;IACpB,KAAK,MAAM3B,UAAUD,QAAS;QAC5B,IAAIC,OAAOzB,IAAI,KAAK,QAAQU,MAAM2C,GAAG,CAAC5B,OAAOF,IAAI,EAAEE,OAAOhB,EAAE;QAC5D,IAAIgB,OAAOzB,IAAI,KAAK,YAAYyB,OAAOzB,IAAI,KAAK,aAAayB,OAAOzB,IAAI,KAAK,UAAU;YACrFmD,QAAQG,GAAG,CAAC7B,OAAOF,IAAI;QACzB;QACA,IAAIE,OAAOzB,IAAI,KAAK,SAASmD,QAAQG,GAAG,CAAC,GAAG7B,OAAOF,IAAI,CAAC,CAAC,EAAEE,OAAOI,IAAI,EAAE;IAC1E;IACA,IAAInB,MAAM6C,IAAI,KAAK,GAAG,OAAO;QAAEvD,MAAM;QAAWwB;IAAQ;IACxD,MAAMqB,SAAS;WAAIrB;KAAQ;IAC3B,MAAMgC,QAAkB,EAAE;IAC1B,KAAK,MAAM,CAACjC,MAAMD,SAAS,IAAIc,OAAOC,OAAO,CAACY,QAAQQ,UAAU,CAACC,SAAS,EAAG;QAC3E,IAAIP,QAAQQ,GAAG,CAACpC,OAAO;QACvB,MAAMgB,QAAQ7B,MAAMU,GAAG,CAACG,SAASA;QACjC,MAAMqC,aAAahF,aAAaQ,UAAU6D,QAAQQ,UAAU,CAACI,WAAW,EAAEtC,OAAOD,SAASoB,IAAI;QAC9F,KAAK,MAAM,CAACb,MAAMzB,KAAK,IAAIgC,OAAOC,OAAO,CAACuB,YAAYE,UAAU,CAAC,GAAI;YACnE,IAAI,CAAC3D,eAAeC,SAAS+C,QAAQQ,GAAG,CAAC,GAAGpC,KAAK,CAAC,EAAEM,MAAM,GAAG;YAC7D,MAAMtB,QAAQD,UAAUgB,SAASwC,MAAM,CAACjC,KAAK,EAAEN,MAAMgB,OAAO7B;YAC5D,IAAIH,UAAUL,WAAW;YACzBsD,MAAMrB,IAAI,CAAC;gBAAEnC,MAAM;gBAASuB;gBAAMM;gBAAMtB;YAAM;QAChD;QACA,MAAMwD,WAAWzB,QAAQf,MAAMgB,OAAOlB,OAAOC,UAAUC,MAAMsB,SAASnC;QACtE,IAAIqD,SAAS/D,IAAI,KAAK,WAAW,OAAO+D;QACxC,KAAK,MAAMtC,UAAUsC,SAASvC,OAAO,CAAE;YACrC,IAAIC,OAAOzB,IAAI,KAAK,WAAW;gBAC7B4C,SAASC,QAAQtB;gBACjBiC,MAAMrB,IAAI,CAACV;gBACX;YACF;YACA,MAAMR,QAAQ4B,OAAOmB,SAAS,CAC5B,CAACjD,OACCA,KAAKf,IAAI,KAAKyB,OAAOzB,IAAI,IACzBe,KAAKQ,IAAI,KAAKA,QACbE,CAAAA,OAAOzB,IAAI,KAAK,aAAce,KAAKf,IAAI,KAAK,aAAae,KAAKc,IAAI,KAAKJ,OAAOI,IAAI;YAEvF,IAAIZ,UAAU,CAAC,GAAGuC,MAAMrB,IAAI,CAACV;iBACxBoB,MAAM,CAAC5B,MAAM,GAAGQ;QACvB;IACF;IACA,OAAO;QAAEzB,MAAM;QAAWwB,SAAS;eAAIgC;eAAUX;SAAO;IAAC;AAC3D;AAEA,SAASoB,YACPzC,OAA0B,EAC1B0C,aAAsC,EACtCC,SAA4B,EAC5BlB,OAAqB;IAErB,MAAMmB,UAAUD,UAAUE,MAAM,CAAC,CAAC5C,SAAW,CAACD,QAAQ8C,QAAQ,CAAC7C;IAC/D,OAAO;QACLD,SAAS2C;QACTD,eAAe;eAAIK,gBAAgBH,SAASnB,SAAS,EAAE;eAAMiB;SAAc;IAC7E;AACF;AAEA,OAAO,SAASM,kBAAkBC,KAAkB,EAAExB,OAAqB;IACzE,MAAMkB,YAAYnB,SAASyB,MAAMjD,OAAO,EAAEyB;IAC1C,IAAIkB,UAAUnE,IAAI,KAAK,WAAW,OAAOyE;IACzC,OAAO;QACL,GAAGA,KAAK;QACR,GAAGR,YAAYQ,MAAMjD,OAAO,EAAEiD,MAAMP,aAAa,EAAEC,UAAU3C,OAAO,EAAEyB,QAAQ;IAChF;AACF;AAEA,SAASyB,QAAQnE,KAAc,EAAEC,IAAY;IAC3C,MAAMmE,SAAShE,MAAMC,OAAO,CAACL,SAASA,QAAQ;QAACA;KAAM;IACrD,MAAMqE,WAAqB,EAAE;IAC7B,KAAK,MAAM7D,QAAQ4D,OAAQ;QACzB,IAAI,OAAO5D,SAAS,UAAU;QAC9B,MAAMG,QAAQhC,OAAOsB,MAAMO;QAC3B,IAAIG,UAAU,MAAM0D,SAASzC,IAAI,CAACjB;IACpC;IACA,OAAO0D;AACT;AAEA,SAASC,SAASpB,UAAsB,EAAEqB,OAA4B;IACpE,MAAMC,QAAQ,IAAI7B;IAClB,MAAM8B,OAAO,CAAC9F,QAAgBY;QAC5B,IAAI,CAACgF,QAAQnB,GAAG,CAACzE,SAAS;QAC1B,MAAM+F,YAAYF,MAAM3D,GAAG,CAAClC,WAAW,IAAIkE;QAC3C6B,UAAU3B,GAAG,CAACxD;QACdiF,MAAM1B,GAAG,CAACnE,QAAQ+F;IACpB;IACA,KAAK,MAAM,CAAC1D,MAAMD,SAAS,IAAIc,OAAOC,OAAO,CAACoB,WAAWC,SAAS,EAAG;QACnE,MAAME,aAAahF,aAAaQ,UAAUqE,WAAWI,WAAW,EAAEtC,OAAOD,SAASoB,IAAI;QACtF,KAAK,MAAM,CAACb,MAAMzB,KAAK,IAAIgC,OAAOC,OAAO,CAACuB,YAAYE,UAAU,CAAC,GAAI;YACnE,IAAI,CAAC3D,eAAeC,OAAO;YAC3B,KAAK,MAAMc,SAASwD,QAAQpD,SAASwC,MAAM,CAACjC,KAAK,EAAEN,MAAOyD,KAAK9D,OAAOK;QACxE;QACA,KAAK,MAAMiB,QAAQ1D,MAAMwC,UAAUC,MAAOyD,KAAKxC,KAAKtD,MAAM,EAAEqC;IAC9D;IACA,MAAM,CAAC2D,MAAM,GAAG;WAAIH,MAAMI,IAAI;KAAG,CAACC,IAAI;IACtC,IAAIF,UAAUhF,WAAW,OAAO;IAChC,MAAMmF,QAAQ,IAAIjC;IAClB,KAAK,MAAM6B,aAAaF,MAAMJ,MAAM,GAAI,KAAK,MAAM7E,QAAQmF,UAAWI,MAAM/B,GAAG,CAACxD;IAChF,OAAO;QACLE,MAAM;QACNC,SAAS;YAAEJ,MAAM;YAA2BC,MAAMoF;YAAOD,WAAW;mBAAII;aAAM,CAACD,IAAI;QAAG;IACxF;AACF;AAEA,SAASE,SAAS7D,MAAc;IAC9B,OAAOA,OAAOzB,IAAI,KAAK,SAAS;QAACyB,OAAOF,IAAI;QAAEE,OAAOhB,EAAE;KAAC,GAAG;QAACgB,OAAOF,IAAI;KAAC;AAC1E;AAEA,SAASgE,MAAM/D,OAA0B,EAAEgE,KAAgB;IACzD,MAAMC,WAAW,IAAIrC,IAAI;WACpBhB,OAAO+C,IAAI,CAACK,MAAMvC,OAAO,CAACS,SAAS;WACnC8B,MAAMvC,OAAO,CAACyC,aAAa;KAC/B;IACD,KAAK,MAAMjE,UAAUD,QAAS;QAC5B,KAAK,MAAMD,QAAQ+D,SAAS7D,QAAS;YACnC,MAAMkE,aAAajG,UAAU6B;YAC7B,IAAIoE,eAAe,QAAQA,eAAe,IAAI,OAAO/F,OAAO,aAAa2B;YACzE,IAAI9B,QAAQ+F,MAAMI,kBAAkB,EAAED,aAAa;gBACjD,OAAO/F,OAAO,uBAAuB+F;YACvC;YACA,MAAME,YAAYpE,OAAOzB,IAAI,KAAK,WAAW,WAAW;YACxD,IAAI,CAACP,QAAQ+F,MAAMM,UAAU,CAACD,UAAU,EAAEF,aACxC,OAAO/F,OAAO,GAAGiG,UAAU,MAAM,CAAC,EAAEF;QACxC;QACA,IAAIlE,OAAOzB,IAAI,KAAK,UAAU;YAC5B,IAAIyF,SAAS9B,GAAG,CAAClC,OAAOF,IAAI,GAAG,OAAO3B,OAAO,kBAAkB6B,OAAOF,IAAI;YAC1EkE,SAASnC,GAAG,CAAC7B,OAAOF,IAAI;YACxB;QACF;QACA,IAAIE,OAAOzB,IAAI,KAAK,QAAQ;YAC1B,IAAI,CAACyF,SAAS9B,GAAG,CAAClC,OAAOF,IAAI,GAAG,OAAO3B,OAAO,eAAe6B,OAAOF,IAAI;YACxE,IAAIkE,SAAS9B,GAAG,CAAClC,OAAOhB,EAAE,GAAG,OAAOb,OAAO,kBAAkB6B,OAAOhB,EAAE;YACtEgF,SAASM,MAAM,CAACtE,OAAOF,IAAI;YAC3BkE,SAASnC,GAAG,CAAC7B,OAAOhB,EAAE;YACtB;QACF;QACA,IAAI,CAACgF,SAAS9B,GAAG,CAAClC,OAAOF,IAAI,GAAG,OAAO3B,OAAO,eAAe6B,OAAOF,IAAI;QACxE,IAAIE,OAAOzB,IAAI,KAAK,UAAU;YAC5ByF,SAASM,MAAM,CAACtE,OAAOF,IAAI;YAC3B;QACF;QACA,IAAIE,OAAOzB,IAAI,KAAK,WAAW;YAC7B,IAAIwF,MAAMvC,OAAO,CAAC+C,SAAS,CAACvE,OAAOF,IAAI,CAAC,KAAKrB,WAAW;gBACtD,OAAON,OAAO,oBAAoB6B,OAAOF,IAAI;YAC/C;YACA;QACF;QACA,IAAIiE,MAAMvC,OAAO,CAACQ,UAAU,CAACC,SAAS,CAACjC,OAAOF,IAAI,CAAC,KAAKrB,WAAW;YACjE,OAAON,OAAO,eAAe6B,OAAOF,IAAI;QAC1C;IACF;IACA,OAAO;AACT;AAEA,SAAS0E,UAAUhD,OAAqB,EAAE1B,IAAY;IACpD,MAAM2E,WAAWjD,QAAQ+C,SAAS,CAACzE,KAAK;IACxC,OAAO2E,aAAahG,YAAY;QAAEF,MAAM;QAAWuB;IAAK,IAAI;QAAEvB,MAAM;QAAYuB;QAAM2E;IAAS;AACjG;AAEA,SAASC,WAAWC,YAA0B,EAAE3E,MAAc;IAC5D,IAAI2E,aAAapG,IAAI,KAAKyB,OAAOzB,IAAI,IAAIoG,aAAa7E,IAAI,KAAKE,OAAOF,IAAI,EAAE,OAAO;IACnF,OACE,AAAC6E,aAAapG,IAAI,KAAK,WAAWoG,aAAapG,IAAI,KAAK,aACvD,AAACyB,CAAAA,OAAOzB,IAAI,KAAK,WAAWyB,OAAOzB,IAAI,KAAK,SAAQ,KAAMoG,aAAavE,IAAI,KAAKJ,OAAOI,IAAI;AAEhG;AAEA,SAAS0C,gBACP/C,OAA0B,EAC1ByB,OAAqB,EACrBoD,KAA8B;IAE9B,MAAMnC,gBAAgC,EAAE;IACxC,MAAMoC,OAAO,IAAIlD;IACjB,MAAME,MAAM,CAAC8C;QACX,MAAMG,OACJH,aAAapG,IAAI,KAAK,WAAWoG,aAAapG,IAAI,KAAK,YAAYoG,aAAavE,IAAI,GAAG;QACzF,MAAM2E,WAAW,GAAGJ,aAAapG,IAAI,CAAC,CAAC,EAAEoG,aAAa7E,IAAI,CAAC,CAAC,EAAEgF,MAAM;QACpE,IAAID,KAAK3C,GAAG,CAAC6C,WAAW;QACxBF,KAAKhD,GAAG,CAACkD;QACTtC,cAAc/B,IAAI,CAACiE;IACrB;IACA,KAAK,MAAM3E,UAAUD,QAAS;QAC5B,IAAIC,OAAOzB,IAAI,KAAK,WAAWyB,OAAOzB,IAAI,KAAK,aAAayB,OAAOzB,IAAI,KAAK,YAAY;YACtF,MAAMyG,QAAQJ,MAAMK,IAAI,CAAC,CAACC,OAASR,WAAWQ,MAAMlF;YACpD,IAAIgF,UAAUvG,WAAW;gBACvBoD,IAAImD;gBACJ;YACF;YACA,MAAMnF,WAAW2B,QAAQQ,UAAU,CAACC,SAAS,CAACjC,OAAOF,IAAI,CAAC;YAC1D,IAAIE,OAAOzB,IAAI,KAAK,SAAS;gBAC3BsD,IAAI;oBACFtD,MAAM;oBACNuB,MAAME,OAAOF,IAAI;oBACjBM,MAAMJ,OAAOI,IAAI;oBACjBtB,OAAOe,SAASwC,MAAM,CAACrC,OAAOI,IAAI,CAAC;gBACrC;YACF,OAAO,IAAIJ,OAAOzB,IAAI,KAAK,WAAW;gBACpCsD,IAAI;oBACFtD,MAAM;oBACNuB,MAAME,OAAOF,IAAI;oBACjBM,MAAMJ,OAAOI,IAAI;oBACjBtB,OAAOe,SAASQ,QAAQ,CAACL,OAAOI,IAAI,CAAC;gBACvC;YACF,OAAOyB,IAAI;gBAAEtD,MAAM;gBAAYuB,MAAME,OAAOF,IAAI;gBAAEhB,OAAOe,SAASM,QAAQ;YAAC;YAC3E;QACF;QACA,IAAIH,OAAOzB,IAAI,KAAK,UAAU;YAC5BsD,IAAI;gBAAEtD,MAAM;gBAAUuB,MAAME,OAAOF,IAAI;YAAC;YACxC;QACF;QACA+B,IAAI2C,UAAUhD,SAASxB,OAAOF,IAAI;QAClC,IAAIE,OAAOzB,IAAI,KAAK,QAAQsD,IAAI;YAAEtD,MAAM;YAAUuB,MAAME,OAAOhB,EAAE;QAAC;IACpE;IACA,OAAOyD;AACT;AAEA,SAAS0C,MAAMrF,IAAY;IACzB,OAAOA,KAAKsF,KAAK,CAAC,KAAK/D,MAAM;AAC/B;AAEA,SAASgE,SACPC,MAAgC,EAChCvF,OAA0B,EAC1BwF,SAAgB;IAEhB,MAAMC,UAAUzF,QAAQV,GAAG,CAAC,CAACW,SAAYA,OAAOzB,IAAI,KAAK,SAASyB,OAAOhB,EAAE,GAAGgB,OAAOF,IAAI;IACzF,MAAM2F,UAAU1F,QACb6C,MAAM,CAAC,CAAC5C,SAAWA,OAAOzB,IAAI,KAAK,YAAYyB,OAAOzB,IAAI,KAAK,QAC/Dc,GAAG,CAAC,CAACW,SAAYA,OAAOzB,IAAI,KAAK,SAASyB,OAAOhB,EAAE,GAAGgB,OAAOF,IAAI;IACpE,KAAK,MAAM4F,SAASJ,OAAQ;QAC1B,MAAMxG,QAAQ4G,MAAM5G,KAAK;QACzB,IAAI,OAAOA,UAAU,UAAU;QAC/B,IAAI4G,MAAMtF,IAAI,KAAK,6BAA6BL,QAAQsB,MAAM,GAAGvC,OAAO;YACtE,OAAOX,OAAO,kBAAkBM,WAAWiH,MAAMtF,IAAI;QACvD;QACA,IAAIsF,MAAMtF,IAAI,KAAK,iBAAiB;YAClC,MAAMuF,QAAQH,QAAQP,IAAI,CAAC,CAACnF,OAAS,AAACyF,CAAAA,UAAUtD,SAAS,CAACnC,KAAK,IAAI,EAAC,EAAGuB,MAAM,GAAGvC;YAChF,IAAI6G,UAAUlH,WAAW,OAAON,OAAO,kBAAkBwH,OAAOD,MAAMtF,IAAI;QAC5E;QACA,IAAIsF,MAAMtF,IAAI,KAAK,eAAe;YAChC,MAAMwF,OAAOH,QAAQR,IAAI,CAAC,CAACnF,OAASA,KAAKuB,MAAM,GAAGvC;YAClD,IAAI8G,SAASnH,WAAW,OAAON,OAAO,kBAAkByH,MAAMF,MAAMtF,IAAI;QAC1E;QACA,IAAIsF,MAAMtF,IAAI,KAAK,cAAc;YAC/B,MAAMyF,OAAOJ,QAAQR,IAAI,CAAC,CAACnF,OAASqF,MAAMrF,QAAQhB;YAClD,IAAI+G,SAASpH,WAAW,OAAON,OAAO,kBAAkB0H,MAAMH,MAAMtF,IAAI;QAC1E;IACF;IACA,OAAO;AACT;AAEA,OAAO,SAAS0F,WAAW/B,KAAgB;IACzC,MAAMgC,aAAahC,MAAMhE,OAAO,CAACkF,IAAI,CACnC,CAACjF,SAAWA,OAAOzB,IAAI,KAAK,UAAUyB,OAAOzB,IAAI,KAAK;IAExD,IACEwH,eAAetH,aACfkC,OAAOC,OAAO,CAACmD,MAAMvC,OAAO,CAACQ,UAAU,CAACC,SAAS,EAAE1C,IAAI,CACrD,CAAC,CAACO,MAAMD,SAAS,GACfA,SAASoB,IAAI,KAAKxC,aAClBoB,SAASoB,IAAI,KAAK,SAClBtD,UAAUoG,MAAM3B,WAAW,EAAEtC,MAAMkG,MAAM,KAAK,gBAGlD,OAAO7H,OAAO,qBAAqB4H,WAAWjG,IAAI;IACpD,IAAIiE,MAAMhE,OAAO,CAACsB,MAAM,KAAK,GAAG,OAAOlD,OAAO;IAC9C,MAAMuE,YAAYnB,SAASwC,MAAMhE,OAAO,EAAEgE,MAAMvC,OAAO;IACvD,IAAIkB,UAAUnE,IAAI,KAAK,WAAW,OAAOmE;IACzC,MAAM3C,UAAUgE,MAAMkC,SAAS,KAAK,aAAalC,MAAMhE,OAAO,GAAG2C,UAAU3C,OAAO;IAClF,MAAMvB,UAAUsF,MAAM/D,SAASgE;IAC/B,IAAIvF,YAAY,MAAM,OAAOA;IAC7B,MAAMiE,gBAAgBK,gBAAgB/C,SAASgE,MAAMvC,OAAO,EAAEuC,MAAMa,KAAK;IACzE,MAAMsB,YACJnC,MAAMkC,SAAS,KAAK,aAChBzD,YAAYzC,SAAS0C,eAAeC,UAAU3C,OAAO,EAAEgE,MAAMvC,OAAO,IACpE;QAAEzB;QAAS0C;IAAc;IAC/B,MAAM8C,YAAYxH,QAAQgG,MAAMvC,OAAO,EAAE;QACvC;YAAE2E,IAAI;YAAIC,iBAAiBrC,MAAMqC,eAAe;YAAE,GAAGF,SAAS;QAAC;KAChE;IACD,MAAM7C,UAAU,IAAI1B,IAClB5B,QAAQ6C,MAAM,CAAC,CAAC5C,SAAWA,OAAOzB,IAAI,KAAK,UAAUc,GAAG,CAAC,CAACW,SAAWA,OAAOF,IAAI;IAElF,IAAIuD,QAAQvB,IAAI,GAAG,GAAG;QACpB,MAAMuE,aAAajD,SAASxF,gBAAgB2H,UAAUtD,SAAS,EAAE8B,MAAM3B,WAAW,GAAGiB;QACrF,IAAIgD,eAAe,MAAM,OAAOA;IAClC;IACA,MAAMC,QAAQ,CAACpF;QACb,IAAIA,YAAYzC,WAAW,OAAO;QAClC,MAAM8H,SAASjJ,MAAM4D;QACrB,OAAOqF,OAAOC,EAAE,IAAID,OAAO1G,QAAQ,CAACoB,IAAI,KAAKxC,aAAa8H,OAAO1G,QAAQ,CAACoB,IAAI,KAAK;IACrF;IACA,MAAMwF,aAAa;WAAI,IAAI9E,IAAIuE,UAAUnG,OAAO,CAAC2G,OAAO,CAAC7C;KAAW,CAACjB,MAAM,CACzE,CAAC9C,OAASwG,MAAMvC,MAAMvC,OAAO,CAACS,SAAS,CAACnC,KAAK,KAAKwG,MAAMf,UAAUtD,SAAS,CAACnC,KAAK;IAEnF,MAAM6G,aAAaF,WAAWpF,MAAM,GAAG;IACvC,MAAMuF,eAAeH,WAAWxB,IAAI,CAClC,CAACnF,OAASnC,UAAUoG,MAAM3B,WAAW,EAAEtC,MAAMkG,MAAM,KAAK;IAE1D,IAAIY,iBAAiBnI,WAAW,OAAON,OAAO,qBAAqByI;IACnE,MAAMC,iBAAiBF,aACnBpB,UAAUtD,SAAS,GACnBtB,OAAOmG,WAAW,CAChBnG,OAAOC,OAAO,CAAC2E,UAAUtD,SAAS,EAAEW,MAAM,CAAC,CAAC,CAAC9C,KAAK,GAChDoG,UAAUnG,OAAO,CAACR,IAAI,CAAC,CAACS,SAAW6D,SAAS7D,QAAQ6C,QAAQ,CAAC/C;IAGrE,MAAMiH,UAAUlJ,mBAAmBgJ,gBAAgBtB,UAAUtB,aAAa,EAAEF,MAAM3B,WAAW;IAC7F,IAAI2E,QAAQA,OAAO,KAAK,UAAU;QAChC,OAAO;YACLxI,MAAM;YACNC,SAAS;gBACPJ,MAAM2I,QAAQ3I,IAAI;gBAClBC,MAAM0I,QAAQ1I,IAAI;gBAClB,GAAI0I,QAAQzI,QAAQ,KAAKG,YAAY,CAAC,IAAI;oBAAEH,UAAUyI,QAAQzI,QAAQ;gBAAC,CAAC;gBACxE,GAAIyI,QAAQvD,SAAS,KAAK/E,YAAY,CAAC,IAAI;oBAAE+E,WAAWuD,QAAQvD,SAAS;gBAAC,CAAC;YAC7E;QACF;IACF;IACA,MAAMwD,UAAU3B,SAAStB,MAAMkD,cAAc,EAAElH,SAASwF;IACxD,IAAIyB,YAAY,MAAM,OAAOA;IAC7B,MAAME,YAAYT,WACfpH,GAAG,CAAC,CAACS,OAASnC,UAAUoG,MAAM3B,WAAW,EAAEtC,OAC3CmF,IAAI,CACH,CAACkC,QACCA,MAAMnB,MAAM,KAAK;IAEvB,OAAO;QACLzH,MAAM;QACNyE,OAAOtF,UAAU;YACfyI,IAAIrI;YACJsI,iBAAiBrC,MAAMqC,eAAe;YACtCrG;YACA0C;YACA,GAAIsB,MAAMqD,SAAS,KAAK3I,YAAY,CAAC,IAAI;gBAAE2I,WAAWrD,MAAMqD,SAAS;YAAC,CAAC;YACvE,GAAIF,cAAczI,YACd,CAAC,IACD;gBACE4I,YAAY;oBACVtC,UAAUmC,UAAUI,QAAQ,CAACvC,QAAQ;oBACrCwC,SAASL,UAAUI,QAAQ,CAACC,OAAO;oBACnCC,QAAQN,UAAUlB,MAAM;gBAC1B;YACF,CAAC;QACP;IACF;AACF"}
|
package/dist/search.d.ts
ADDED
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
import type { ChangeSet } from './change-set.js';
|
|
2
|
+
import { type Filter } from './query.js';
|
|
3
|
+
export type DocumentPart = 'fields' | 'sections' | 'preamble' | 'path';
|
|
4
|
+
export type SearchRequest = {
|
|
5
|
+
text: string;
|
|
6
|
+
documents?: Filter;
|
|
7
|
+
conversations?: readonly string[];
|
|
8
|
+
limit?: number;
|
|
9
|
+
};
|
|
10
|
+
export type DocumentHit = {
|
|
11
|
+
room: string;
|
|
12
|
+
path: string;
|
|
13
|
+
type: string;
|
|
14
|
+
score: number;
|
|
15
|
+
matches: Readonly<Record<string, readonly DocumentPart[]>>;
|
|
16
|
+
};
|
|
17
|
+
export type MessageHit = {
|
|
18
|
+
conversation: string;
|
|
19
|
+
identity: string;
|
|
20
|
+
score: number;
|
|
21
|
+
matches: Readonly<Record<string, readonly 'text'[]>>;
|
|
22
|
+
};
|
|
23
|
+
export type SearchResult = {
|
|
24
|
+
documents: readonly DocumentHit[];
|
|
25
|
+
messages: readonly MessageHit[];
|
|
26
|
+
};
|
|
27
|
+
export type SearchedDocument = {
|
|
28
|
+
room: string;
|
|
29
|
+
path: string;
|
|
30
|
+
type: string;
|
|
31
|
+
fields: Readonly<Record<string, unknown>>;
|
|
32
|
+
preamble: string;
|
|
33
|
+
sections: Readonly<Record<string, string>>;
|
|
34
|
+
};
|
|
35
|
+
export type SearchedMessage = {
|
|
36
|
+
conversation: string;
|
|
37
|
+
identity: string;
|
|
38
|
+
text: string;
|
|
39
|
+
};
|
|
40
|
+
export type SearchSource = {
|
|
41
|
+
documents(): readonly SearchedDocument[];
|
|
42
|
+
document(room: string, path: string): SearchedDocument | null;
|
|
43
|
+
messages(): readonly SearchedMessage[];
|
|
44
|
+
message(conversation: string, identity: string): SearchedMessage | null;
|
|
45
|
+
};
|
|
46
|
+
export type SearchPlan = {
|
|
47
|
+
text: string;
|
|
48
|
+
documents: unknown;
|
|
49
|
+
conversations: readonly string[] | null;
|
|
50
|
+
limit: number | null;
|
|
51
|
+
};
|
|
52
|
+
export type SearchIndex = {
|
|
53
|
+
changed(set: ChangeSet): void;
|
|
54
|
+
search(plan: SearchPlan, documents: readonly {
|
|
55
|
+
room: string;
|
|
56
|
+
path: string;
|
|
57
|
+
}[] | null): SearchResult;
|
|
58
|
+
};
|
|
59
|
+
export declare function searchPlanOf(input: unknown): SearchPlan;
|
|
60
|
+
export declare function createSearchIndex(source: SearchSource): SearchIndex;
|
|
61
|
+
//# sourceMappingURL=search.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../src/search.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAkC,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzE,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,CAAC;AAEvE,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,CAAC,CAAC;CAC5D,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACtD,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAClC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5C,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvF,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,IAAI,SAAS,gBAAgB,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CAAC;IAC9D,QAAQ,IAAI,SAAS,eAAe,EAAE,CAAC;IACvC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAAC;CACzE,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IACxC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,OAAO,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,CAAC;IAC9B,MAAM,CACJ,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,GAAG,IAAI,GAC1D,YAAY,CAAC;CACjB,CAAC;AA4BF,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAiBvD;AAMD,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,YAAY,GAAG,WAAW,CAyGnE"}
|