@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.
Files changed (124) hide show
  1. package/AGENTS.md +178 -0
  2. package/dist/adapter.d.ts +150 -18
  3. package/dist/adapter.d.ts.map +1 -1
  4. package/dist/adapter.js +2 -1
  5. package/dist/adapter.js.map +1 -1
  6. package/dist/bootstrap.d.ts +5 -1
  7. package/dist/bootstrap.d.ts.map +1 -1
  8. package/dist/bootstrap.js +13 -5
  9. package/dist/bootstrap.js.map +1 -1
  10. package/dist/change-set.d.ts +33 -0
  11. package/dist/change-set.d.ts.map +1 -0
  12. package/dist/change-set.js +89 -0
  13. package/dist/change-set.js.map +1 -0
  14. package/dist/change.d.ts +10 -0
  15. package/dist/change.d.ts.map +1 -1
  16. package/dist/change.js.map +1 -1
  17. package/dist/client.d.ts +72 -0
  18. package/dist/client.d.ts.map +1 -0
  19. package/dist/client.js +231 -0
  20. package/dist/client.js.map +1 -0
  21. package/dist/collection.d.ts +22 -12
  22. package/dist/collection.d.ts.map +1 -1
  23. package/dist/collection.js +88 -30
  24. package/dist/collection.js.map +1 -1
  25. package/dist/connection.d.ts +90 -20
  26. package/dist/connection.d.ts.map +1 -1
  27. package/dist/connection.js +1732 -194
  28. package/dist/connection.js.map +1 -1
  29. package/dist/conversation.d.ts +72 -0
  30. package/dist/conversation.d.ts.map +1 -0
  31. package/dist/conversation.js +529 -0
  32. package/dist/conversation.js.map +1 -0
  33. package/dist/durability.d.ts +9 -0
  34. package/dist/durability.d.ts.map +1 -0
  35. package/dist/durability.js +11 -0
  36. package/dist/durability.js.map +1 -0
  37. package/dist/file.d.ts +20 -0
  38. package/dist/file.d.ts.map +1 -0
  39. package/dist/file.js +149 -0
  40. package/dist/file.js.map +1 -0
  41. package/dist/host.d.ts +13 -0
  42. package/dist/host.d.ts.map +1 -0
  43. package/dist/host.js +205 -0
  44. package/dist/host.js.map +1 -0
  45. package/dist/identity.d.ts +3 -0
  46. package/dist/identity.d.ts.map +1 -0
  47. package/dist/identity.js +23 -0
  48. package/dist/identity.js.map +1 -0
  49. package/dist/index.d.ts +15 -6
  50. package/dist/index.d.ts.map +1 -1
  51. package/dist/index.js +1 -0
  52. package/dist/index.js.map +1 -1
  53. package/dist/log.d.ts +5 -0
  54. package/dist/log.d.ts.map +1 -0
  55. package/dist/log.js +15 -0
  56. package/dist/log.js.map +1 -0
  57. package/dist/memory.d.ts +17 -2
  58. package/dist/memory.d.ts.map +1 -1
  59. package/dist/memory.js +201 -15
  60. package/dist/memory.js.map +1 -1
  61. package/dist/model.d.ts +56 -0
  62. package/dist/model.d.ts.map +1 -0
  63. package/dist/model.js +37 -0
  64. package/dist/model.js.map +1 -0
  65. package/dist/observation.d.ts +25 -0
  66. package/dist/observation.d.ts.map +1 -0
  67. package/dist/observation.js +92 -0
  68. package/dist/observation.js.map +1 -0
  69. package/dist/outcome.d.ts +34 -0
  70. package/dist/outcome.d.ts.map +1 -0
  71. package/dist/outcome.js +3 -0
  72. package/dist/outcome.js.map +1 -0
  73. package/dist/overlay.d.ts +2 -0
  74. package/dist/overlay.d.ts.map +1 -1
  75. package/dist/overlay.js +107 -1
  76. package/dist/overlay.js.map +1 -1
  77. package/dist/paths.d.ts +0 -1
  78. package/dist/paths.d.ts.map +1 -1
  79. package/dist/paths.js +0 -4
  80. package/dist/paths.js.map +1 -1
  81. package/dist/query.d.ts +209 -0
  82. package/dist/query.d.ts.map +1 -0
  83. package/dist/query.js +467 -0
  84. package/dist/query.js.map +1 -0
  85. package/dist/read-side.d.ts +14 -0
  86. package/dist/read-side.d.ts.map +1 -0
  87. package/dist/read-side.js +451 -0
  88. package/dist/read-side.js.map +1 -0
  89. package/dist/refresh.d.ts.map +1 -1
  90. package/dist/refresh.js +5 -3
  91. package/dist/refresh.js.map +1 -1
  92. package/dist/replica.d.ts +17 -3
  93. package/dist/replica.d.ts.map +1 -1
  94. package/dist/replica.js +160 -8
  95. package/dist/replica.js.map +1 -1
  96. package/dist/room-draft.d.ts +124 -0
  97. package/dist/room-draft.d.ts.map +1 -0
  98. package/dist/room-draft.js +406 -0
  99. package/dist/room-draft.js.map +1 -0
  100. package/dist/rows.d.ts +39 -0
  101. package/dist/rows.d.ts.map +1 -0
  102. package/dist/rows.js +100 -0
  103. package/dist/rows.js.map +1 -0
  104. package/dist/save.d.ts +11 -2
  105. package/dist/save.d.ts.map +1 -1
  106. package/dist/save.js +104 -128
  107. package/dist/save.js.map +1 -1
  108. package/dist/search.d.ts +61 -0
  109. package/dist/search.d.ts.map +1 -0
  110. package/dist/search.js +155 -0
  111. package/dist/search.js.map +1 -0
  112. package/dist/status.d.ts +9 -1
  113. package/dist/status.d.ts.map +1 -1
  114. package/dist/status.js +7 -4
  115. package/dist/status.js.map +1 -1
  116. package/dist/store.d.ts +87 -15
  117. package/dist/store.d.ts.map +1 -1
  118. package/dist/store.js +436 -54
  119. package/dist/store.js.map +1 -1
  120. package/dist/wire.d.ts +64 -0
  121. package/dist/wire.d.ts.map +1 -0
  122. package/dist/wire.js +142 -0
  123. package/dist/wire.js.map +1 -0
  124. package/package.json +14 -4
@@ -1 +1 @@
1
- {"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAa,KAAK,MAAM,EAAE,KAAK,WAAW,EAAqB,MAAM,aAAa,CAAC;AAI1F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,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;CAC/B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,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;CAC5B,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;AA0X9C,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CA2CxD"}
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 { apply, links, serialize, validate } from '@agentshouse/mdmodel';
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 { beneath, covered, normalize, relative, resolve } from './paths.js';
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
- if (typeof spec !== 'object' || spec === null) return false;
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 definitionOf(types, type) {
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)=>retarget(item, from, to, moves) ?? 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 target = resolve(from, value);
100
- if (target === null) return undefined;
101
- const next = relative(to, moves.get(target) ?? target);
102
- return next === value ? undefined : next;
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.types, document.type);
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 = retarget(document.fields[name], path, moved, moves);
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 target = resolve(from, item);
259
- if (target !== null) resolved.push(target);
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.types, document.type);
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 target of targets(document.fields[name], path))note(target, path);
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
- if (!covered(input.writeGrants, normalized)) return refuse('write-grant', normalized);
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
- const document = input.visible.collection.documents[change.path];
342
- if (document === undefined) return refuse('path-absent', change.path);
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 preconditionsOf(changes, visible) {
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 document = visible.collection.documents[change.path];
373
- add({
374
- kind: 'field',
375
- path: change.path,
376
- name: change.name,
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
- add({
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 expanded = expand(input.changes, input.visible);
444
- if (expanded.kind === 'refused') return expanded;
445
- const rewritten = rewrites(expanded.changes, input.visible);
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
- changes,
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 verdict = validate(resulting.documents, {
466
- binaryTargets: resulting.binaryTargets
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: crypto.randomUUID(),
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"}
@@ -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"}