@agentshouse/mdruntime 0.1.0-cbb8d8acc9d19 → 0.1.0-cc56db96f86ae

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 (223) hide show
  1. package/AGENTS.md +285 -225
  2. package/README.md +21 -10
  3. package/dist/adapter.d.ts +114 -26
  4. package/dist/adapter.d.ts.map +1 -1
  5. package/dist/attempt.d.ts +16 -0
  6. package/dist/attempt.d.ts.map +1 -0
  7. package/dist/attempt.js +70 -0
  8. package/dist/binary.d.ts +23 -0
  9. package/dist/binary.d.ts.map +1 -0
  10. package/dist/binary.js +8 -0
  11. package/dist/bootstrap.d.ts +18 -5
  12. package/dist/bootstrap.d.ts.map +1 -1
  13. package/dist/bootstrap.js +147 -40
  14. package/dist/change-set.d.ts +7 -2
  15. package/dist/change-set.d.ts.map +1 -1
  16. package/dist/change-set.js +50 -16
  17. package/dist/change.d.ts +45 -0
  18. package/dist/change.d.ts.map +1 -1
  19. package/dist/change.js +34 -0
  20. package/dist/chat/acts.d.ts +33 -0
  21. package/dist/chat/acts.d.ts.map +1 -0
  22. package/dist/chat/acts.js +36 -0
  23. package/dist/chat/context.d.ts +3 -0
  24. package/dist/chat/context.d.ts.map +1 -0
  25. package/dist/chat/context.js +10 -0
  26. package/dist/chat/earlier.d.ts +10 -0
  27. package/dist/chat/earlier.d.ts.map +1 -0
  28. package/dist/chat/earlier.js +54 -0
  29. package/dist/chat/house.d.ts +25 -0
  30. package/dist/chat/house.d.ts.map +1 -0
  31. package/dist/chat/house.js +38 -0
  32. package/dist/chat/input.d.ts +11 -0
  33. package/dist/chat/input.d.ts.map +1 -0
  34. package/dist/chat/input.js +92 -0
  35. package/dist/chat/kit.d.ts +61 -0
  36. package/dist/chat/kit.d.ts.map +1 -0
  37. package/dist/chat/kit.js +123 -0
  38. package/dist/chat/lasting.d.ts +6 -0
  39. package/dist/chat/lasting.d.ts.map +1 -0
  40. package/dist/chat/lasting.js +19 -0
  41. package/dist/chat/list.d.ts +28 -0
  42. package/dist/chat/list.d.ts.map +1 -0
  43. package/dist/chat/list.js +103 -0
  44. package/dist/chat/markdown.d.ts +21 -0
  45. package/dist/chat/markdown.d.ts.map +1 -0
  46. package/dist/chat/markdown.js +246 -0
  47. package/dist/chat/message.d.ts +7 -0
  48. package/dist/chat/message.d.ts.map +1 -0
  49. package/dist/chat/message.js +237 -0
  50. package/dist/chat/messages.d.ts +29 -0
  51. package/dist/chat/messages.d.ts.map +1 -0
  52. package/dist/chat/messages.js +190 -0
  53. package/dist/chat/name.d.ts +7 -0
  54. package/dist/chat/name.d.ts.map +1 -0
  55. package/dist/chat/name.js +37 -0
  56. package/dist/chat/opened.d.ts +12 -0
  57. package/dist/chat/opened.d.ts.map +1 -0
  58. package/dist/chat/opened.js +19 -0
  59. package/dist/chat/overlay.d.ts +32 -0
  60. package/dist/chat/overlay.d.ts.map +1 -0
  61. package/dist/chat/overlay.js +103 -0
  62. package/dist/chat/parts.d.ts +58 -0
  63. package/dist/chat/parts.d.ts.map +1 -0
  64. package/dist/chat/parts.js +120 -0
  65. package/dist/chat/pieces.d.ts +62 -0
  66. package/dist/chat/pieces.d.ts.map +1 -0
  67. package/dist/chat/pieces.js +1110 -0
  68. package/dist/chat/process.d.ts +20 -0
  69. package/dist/chat/process.d.ts.map +1 -0
  70. package/dist/chat/process.js +32 -0
  71. package/dist/chat/provider.d.ts +68 -0
  72. package/dist/chat/provider.d.ts.map +1 -0
  73. package/dist/chat/provider.js +619 -0
  74. package/dist/chat/question.d.ts +9 -0
  75. package/dist/chat/question.d.ts.map +1 -0
  76. package/dist/chat/question.js +69 -0
  77. package/dist/chat/questions.d.ts +31 -0
  78. package/dist/chat/questions.d.ts.map +1 -0
  79. package/dist/chat/questions.js +111 -0
  80. package/dist/chat/read.d.ts +5 -0
  81. package/dist/chat/read.d.ts.map +1 -0
  82. package/dist/chat/read.js +13 -0
  83. package/dist/chat/ready.d.ts +37 -0
  84. package/dist/chat/ready.d.ts.map +1 -0
  85. package/dist/chat/ready.js +93 -0
  86. package/dist/chat/room-file.d.ts +8 -0
  87. package/dist/chat/room-file.d.ts.map +1 -0
  88. package/dist/chat/room-file.js +67 -0
  89. package/dist/chat/steady.d.ts +3 -0
  90. package/dist/chat/steady.d.ts.map +1 -0
  91. package/dist/chat/steady.js +26 -0
  92. package/dist/chat/style.d.ts +4 -0
  93. package/dist/chat/style.d.ts.map +1 -0
  94. package/dist/chat/style.js +306 -0
  95. package/dist/chat.d.ts +15 -0
  96. package/dist/chat.d.ts.map +1 -0
  97. package/dist/chat.js +8 -0
  98. package/dist/client.d.ts +33 -13
  99. package/dist/client.d.ts.map +1 -1
  100. package/dist/client.js +81 -16
  101. package/dist/collection.d.ts +23 -13
  102. package/dist/collection.d.ts.map +1 -1
  103. package/dist/collection.js +367 -38
  104. package/dist/connection.d.ts +54 -16
  105. package/dist/connection.d.ts.map +1 -1
  106. package/dist/connection.js +2582 -486
  107. package/dist/conversation.d.ts +39 -12
  108. package/dist/conversation.d.ts.map +1 -1
  109. package/dist/conversation.js +546 -171
  110. package/dist/digest.d.ts +2 -0
  111. package/dist/digest.d.ts.map +1 -0
  112. package/dist/digest.js +100 -0
  113. package/dist/durability.d.ts +7 -1
  114. package/dist/durability.d.ts.map +1 -1
  115. package/dist/entry.d.ts +17 -0
  116. package/dist/entry.d.ts.map +1 -0
  117. package/dist/entry.js +157 -0
  118. package/dist/expectation.d.ts +21 -0
  119. package/dist/expectation.d.ts.map +1 -0
  120. package/dist/expectation.js +70 -0
  121. package/dist/failure.d.ts +13 -0
  122. package/dist/failure.d.ts.map +1 -0
  123. package/dist/failure.js +19 -0
  124. package/dist/fence.d.ts +6 -0
  125. package/dist/fence.d.ts.map +1 -0
  126. package/dist/fence.js +10 -0
  127. package/dist/file.d.ts +2 -10
  128. package/dist/file.d.ts.map +1 -1
  129. package/dist/file.js +3 -120
  130. package/dist/host.d.ts +15 -3
  131. package/dist/host.d.ts.map +1 -1
  132. package/dist/host.js +107 -21
  133. package/dist/identity.d.ts +5 -0
  134. package/dist/identity.d.ts.map +1 -1
  135. package/dist/identity.js +19 -1
  136. package/dist/index.d.ts +20 -10
  137. package/dist/index.d.ts.map +1 -1
  138. package/dist/index.js +7 -0
  139. package/dist/memory.d.ts +11 -4
  140. package/dist/memory.d.ts.map +1 -1
  141. package/dist/memory.js +92 -27
  142. package/dist/model.d.ts +7 -4
  143. package/dist/model.d.ts.map +1 -1
  144. package/dist/model.js +10 -1
  145. package/dist/observation.d.ts +7 -2
  146. package/dist/observation.d.ts.map +1 -1
  147. package/dist/observation.js +29 -12
  148. package/dist/open.d.ts +2 -0
  149. package/dist/open.d.ts.map +1 -0
  150. package/dist/open.js +1 -0
  151. package/dist/outcome.d.ts +57 -3
  152. package/dist/outcome.d.ts.map +1 -1
  153. package/dist/outcome.js +67 -1
  154. package/dist/overlay.d.ts +18 -5
  155. package/dist/overlay.d.ts.map +1 -1
  156. package/dist/overlay.js +271 -165
  157. package/dist/query.d.ts +61 -4
  158. package/dist/query.d.ts.map +1 -1
  159. package/dist/query.js +40 -7
  160. package/dist/reach.d.ts +13 -4
  161. package/dist/reach.d.ts.map +1 -1
  162. package/dist/reach.js +201 -47
  163. package/dist/react.d.ts +31 -20
  164. package/dist/react.d.ts.map +1 -1
  165. package/dist/react.js +13 -21
  166. package/dist/read-side.d.ts +18 -9
  167. package/dist/read-side.d.ts.map +1 -1
  168. package/dist/read-side.js +903 -157
  169. package/dist/readiness.d.ts +53 -0
  170. package/dist/readiness.d.ts.map +1 -0
  171. package/dist/readiness.js +33 -0
  172. package/dist/reads.d.ts +11 -0
  173. package/dist/reads.d.ts.map +1 -0
  174. package/dist/reads.js +98 -0
  175. package/dist/recovery.d.ts +25 -0
  176. package/dist/recovery.d.ts.map +1 -0
  177. package/dist/recovery.js +198 -0
  178. package/dist/refresh.d.ts +13 -3
  179. package/dist/refresh.d.ts.map +1 -1
  180. package/dist/refresh.js +73 -43
  181. package/dist/replica.d.ts +16 -8
  182. package/dist/replica.d.ts.map +1 -1
  183. package/dist/replica.js +198 -91
  184. package/dist/room-draft.d.ts +40 -9
  185. package/dist/room-draft.d.ts.map +1 -1
  186. package/dist/room-draft.js +153 -37
  187. package/dist/rows.d.ts +10 -13
  188. package/dist/rows.d.ts.map +1 -1
  189. package/dist/rows.js +19 -14
  190. package/dist/save.d.ts +72 -4
  191. package/dist/save.d.ts.map +1 -1
  192. package/dist/save.js +812 -145
  193. package/dist/search.d.ts +52 -8
  194. package/dist/search.d.ts.map +1 -1
  195. package/dist/search.js +242 -46
  196. package/dist/seed.d.ts +16 -0
  197. package/dist/seed.d.ts.map +1 -0
  198. package/dist/seed.js +75 -0
  199. package/dist/shared.d.ts +19 -0
  200. package/dist/shared.d.ts.map +1 -0
  201. package/dist/shared.js +461 -0
  202. package/dist/status.d.ts +6 -2
  203. package/dist/status.d.ts.map +1 -1
  204. package/dist/status.js +0 -8
  205. package/dist/store.d.ts +90 -23
  206. package/dist/store.d.ts.map +1 -1
  207. package/dist/store.js +675 -295
  208. package/dist/tables.d.ts +181 -0
  209. package/dist/tables.d.ts.map +1 -0
  210. package/dist/tables.js +309 -0
  211. package/dist/turn.d.ts +9 -0
  212. package/dist/turn.d.ts.map +1 -0
  213. package/dist/turn.js +67 -0
  214. package/dist/windows.d.ts +21 -0
  215. package/dist/windows.d.ts.map +1 -0
  216. package/dist/windows.js +84 -0
  217. package/dist/wire.d.ts +165 -33
  218. package/dist/wire.d.ts.map +1 -1
  219. package/dist/wire.js +67 -31
  220. package/package.json +30 -14
  221. package/dist/attachment.d.ts +0 -3
  222. package/dist/attachment.d.ts.map +0 -1
  223. package/dist/attachment.js +0 -8
@@ -1 +1 @@
1
- {"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../src/overlay.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAU,WAAW,EAAgB,MAAM,aAAa,CAAC;AAErE,MAAM,MAAM,KAAK,GAAG;IAClB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAC/C,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG,KAAK,GAAG;IAC1B,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,CAAC;AAEF,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAQ/F;AAoJD,wBAAgB,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,KAAK,CAiBzE;AAQD,wBAAgB,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAQhE;AAmBD,wBAAgB,cAAc,CAC5B,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,YAAY,EAAE,KAAK,EACnB,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,eAAe,EAAE,KAAK,GACrB,KAAK,CA4FP"}
1
+ {"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../src/overlay.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAU,WAAW,EAAgB,MAAM,aAAa,CAAC;AAIrE,MAAM,MAAM,KAAK,GAAG;IAClB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAC/C,CAAC;AAEF,MAAM,MAAM,UAAU,GAClB,CAAC;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,UAAU,CAAC,GAC7C;IACE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEN,MAAM,MAAM,KAAK,GAAG,KAAK,GAAG;IAC1B,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAChD,CAAC;AAEF,wBAAiB,gBAAgB,CAC/B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAC1C,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAE1C;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAW/F;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAQ/F;AAqMD,wBAAiB,UAAU,CACzB,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,SAAS,CAAC,EAAE,MAAM,IAAI,GACrB,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAoChC;AAYD,wBAAiB,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAKrF;AAED,wBAAiB,YAAY,CAC3B,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,KAAK,GACX,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAQ9C;AAmFD,wBAAiB,cAAc,CAC7B,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,WAAW,EAClB,YAAY,EAAE,KAAK,EACnB,aAAa,EAAE,WAAW,EAC1B,eAAe,EAAE,KAAK,GACrB,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CA8DhC"}
package/dist/overlay.js CHANGED
@@ -1,4 +1,21 @@
1
- import { apply, parse, serialize } from '@agentshouse/mdmodel';
1
+ import { apply, frontmatterValue, parse, serialize, } from '@agentshouse/mdmodel';
2
+ import { differences, drafted, entriesIn, patching, settling } from './shared.js';
3
+ import { ROW_WEIGHT } from './turn.js';
4
+ export function* acceptedBinaries(files) {
5
+ for (const [path, file] of entriesIn(files))
6
+ yield [path, { state: 'accepted', ...file }];
7
+ }
8
+ export function sameBinary(left, right) {
9
+ if (left === undefined || right === undefined)
10
+ return left === right;
11
+ return (left.state === right.state &&
12
+ left.byteLength === right.byteLength &&
13
+ left.mediaType === right.mediaType &&
14
+ left.sha256 === right.sha256 &&
15
+ (left.state === 'accepted'
16
+ ? right.state === 'accepted' && left.fileRef === right.fileRef
17
+ : right.state === 'pending' && left.localId === right.localId));
18
+ }
2
19
  export function sameChange(left, right) {
3
20
  if (left === undefined || right === undefined)
4
21
  return left === right;
@@ -8,10 +25,13 @@ export function sameChange(left, right) {
8
25
  left.author?.name === right.author?.name);
9
26
  }
10
27
  const EMPTY_FRONTMATTER = '---\n---\n';
28
+ function isPart(change) {
29
+ return change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble';
30
+ }
11
31
  function at(path, name) {
12
32
  return `${path} ${name}`;
13
33
  }
14
- function priorsOf(preconditions) {
34
+ function* priorsOf(preconditions) {
15
35
  const fields = new Map();
16
36
  const sections = new Map();
17
37
  const preambles = new Map();
@@ -25,6 +45,7 @@ function priorsOf(preconditions) {
25
45
  if (precondition.kind === 'preamble') {
26
46
  preambles.set(precondition.path, precondition.value);
27
47
  }
48
+ yield ROW_WEIGHT;
28
49
  }
29
50
  return {
30
51
  field: (path, name) => fields.get(at(path, name)),
@@ -40,49 +61,50 @@ function compose(fields, sections) {
40
61
  const opened = parse(skeleton);
41
62
  if (!opened.ok)
42
63
  return skeleton;
43
- let document = opened.document;
44
- for (const [name, value] of Object.entries(fields)) {
45
- const next = apply(document, { kind: 'field', name, value, prior: undefined });
46
- if (next.outcome === 'applied')
47
- document = next.document;
48
- }
49
- return serialize(document);
64
+ const next = apply(opened.document, Object.entries(fields).flatMap(([name, value]) => frontmatterValue(value) ? [{ kind: 'field', name, value, prior: undefined }] : []));
65
+ return serialize(next.outcome === 'applied' ? next.document : opened.document);
50
66
  }
51
- function edited(document, change, priors) {
52
- if (change.kind === 'field') {
53
- return apply(document, {
67
+ function edited(change, priors) {
68
+ if (change.kind === 'field')
69
+ return {
54
70
  kind: 'field',
55
71
  name: change.name,
56
72
  value: change.value,
57
73
  prior: priors.field(change.path, change.name),
58
- });
59
- }
60
- if (change.kind === 'preamble') {
61
- return apply(document, {
62
- kind: 'preamble',
63
- value: change.value,
64
- prior: priors.preamble(change.path),
65
- });
66
- }
67
- if (change.kind !== 'section')
68
- return null;
69
- return apply(document, {
74
+ };
75
+ if (change.kind === 'preamble')
76
+ return { kind: 'preamble', value: change.value, prior: priors.preamble(change.path) };
77
+ return {
70
78
  kind: 'section',
71
79
  name: change.name,
72
80
  value: change.value,
73
81
  prior: priors.section(change.path, change.name),
74
- });
82
+ };
75
83
  }
76
- function edit(staged, change, priors) {
77
- const text = staged.documents[change.path];
84
+ function edit(staged, changes, priors) {
85
+ const path = changes[0].path;
86
+ delete staged.revisions[path];
87
+ const text = staged.documents[path];
78
88
  if (text === undefined)
79
- return;
80
- const parsed = parse(text, change.path);
89
+ return changes.length;
90
+ const parsed = parse(text, path);
81
91
  if (!parsed.ok)
82
- return;
83
- const next = edited(parsed.document, change, priors);
84
- if (next?.outcome === 'applied')
85
- staged.documents[change.path] = serialize(next.document);
92
+ return changes.length;
93
+ const wanted = changes.map((change) => edited(change, priors));
94
+ const first = apply(parsed.document, wanted);
95
+ if (first.outcome === 'refuse')
96
+ return changes.length;
97
+ if (first.outcome === 'applied') {
98
+ staged.documents[path] = serialize(first.document);
99
+ return 0;
100
+ }
101
+ const stale = new Set(first.stale);
102
+ const kept = wanted.filter((_, at) => !stale.has(at));
103
+ const rest = apply(parsed.document, kept);
104
+ if (rest.outcome !== 'applied')
105
+ return changes.length;
106
+ staged.documents[path] = serialize(rest.document);
107
+ return first.stale.length;
86
108
  }
87
109
  function relocate(staged, from, to) {
88
110
  const text = staged.documents[from];
@@ -90,194 +112,278 @@ function relocate(staged, from, to) {
90
112
  delete staged.documents[from];
91
113
  staged.documents[to] = text;
92
114
  }
93
- else if (staged.binaryTargets.delete(from)) {
94
- staged.binaryTargets.add(to);
115
+ else if (staged.binaries[from] !== undefined) {
116
+ staged.binaries[to] = staged.binaries[from];
117
+ delete staged.binaries[from];
95
118
  }
96
119
  else {
97
- return;
120
+ return false;
98
121
  }
99
122
  moveHead(staged, from, to);
123
+ return true;
100
124
  }
101
125
  function moveHead(heads, from, to) {
102
126
  const revision = heads.revisions[from];
127
+ const fileId = heads.fileIds[from];
103
128
  const change = heads.changes[from];
104
129
  delete heads.revisions[from];
130
+ delete heads.fileIds[from];
105
131
  delete heads.changes[from];
132
+ delete heads.fileIds[to];
106
133
  delete heads.changes[to];
107
134
  if (revision !== undefined)
108
135
  heads.revisions[to] = revision;
136
+ if (fileId !== undefined)
137
+ heads.fileIds[to] = fileId;
109
138
  if (change !== undefined)
110
139
  heads.changes[to] = change;
111
140
  }
112
141
  function erase(staged, path) {
113
142
  delete staged.documents[path];
114
143
  delete staged.revisions[path];
144
+ delete staged.fileIds[path];
115
145
  delete staged.changes[path];
116
- staged.binaryTargets.delete(path);
146
+ delete staged.binaries[path];
117
147
  }
118
- function stage(staged, change, priors) {
119
- if (change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble') {
120
- edit(staged, change, priors);
121
- return;
122
- }
148
+ function stage(staged, change) {
123
149
  if (change.kind === 'create') {
124
150
  staged.documents[change.path] =
125
151
  'content' in change ? change.content : compose(change.fields, change.sections);
152
+ delete staged.fileIds[change.path];
126
153
  delete staged.changes[change.path];
127
- return;
154
+ return true;
128
155
  }
129
156
  if (change.kind === 'replace') {
157
+ delete staged.revisions[change.path];
130
158
  if (staged.documents[change.path] === undefined)
131
- return;
159
+ return false;
132
160
  staged.documents[change.path] = change.content;
133
- return;
161
+ return true;
162
+ }
163
+ if (change.kind === 'binary') {
164
+ if (staged.documents[change.path] !== undefined)
165
+ return false;
166
+ staged.binaries[change.path] = {
167
+ state: 'pending',
168
+ localId: change.localId,
169
+ byteLength: change.byteLength,
170
+ mediaType: change.mediaType,
171
+ sha256: change.sha256,
172
+ };
173
+ delete staged.revisions[change.path];
174
+ delete staged.changes[change.path];
175
+ return true;
134
176
  }
135
177
  if (change.kind === 'move') {
136
- relocate(staged, change.path, change.to);
137
- return;
178
+ return relocate(staged, change.path, change.to);
179
+ }
180
+ if (change.kind === 'arrival') {
181
+ erase(staged, change.path);
182
+ if ('content' in change)
183
+ staged.documents[change.path] = change.content;
184
+ else
185
+ staged.binaries[change.path] = { state: 'accepted', ...change.binary };
186
+ arrive(staged, change);
187
+ return true;
138
188
  }
139
189
  erase(staged, change.path);
190
+ return true;
191
+ }
192
+ function arrive(heads, change) {
193
+ if (change.revision !== undefined)
194
+ heads.revisions[change.path] = change.revision;
195
+ if (change.fileId !== undefined)
196
+ heads.fileIds[change.path] = change.fileId;
197
+ if (change.change !== undefined)
198
+ heads.changes[change.path] = change.change;
140
199
  }
141
- export function overlay(base, queue) {
200
+ export function* overlaying(base, queue, unapplied) {
142
201
  const staged = {
143
- documents: { ...base.documents },
144
- binaryTargets: new Set(base.binaryTargets),
145
- revisions: { ...base.revisions },
146
- changes: { ...base.changes },
202
+ documents: drafted(base.documents),
203
+ binaries: drafted(base.binaries),
204
+ revisions: drafted(base.revisions),
205
+ fileIds: drafted(base.fileIds),
206
+ changes: drafted(base.changes),
147
207
  };
148
208
  for (const batch of queue) {
149
- const priors = priorsOf(batch.preconditions);
150
- for (const change of batch.changes)
151
- stage(staged, change, priors);
209
+ const priors = yield* priorsOf(batch.preconditions);
210
+ for (let index = 0; index < batch.changes.length; index += 1) {
211
+ const change = batch.changes[index];
212
+ if (!isPart(change)) {
213
+ if (!stage(staged, change))
214
+ unapplied?.();
215
+ yield ROW_WEIGHT;
216
+ continue;
217
+ }
218
+ const run = [change];
219
+ while (index + 1 < batch.changes.length) {
220
+ const next = batch.changes[index + 1];
221
+ if (!isPart(next) || next.path !== change.path)
222
+ break;
223
+ run.push(next);
224
+ index += 1;
225
+ }
226
+ const text = staged.documents[change.path] ?? '';
227
+ for (let left = edit(staged, run, priors); left > 0; left -= 1)
228
+ unapplied?.();
229
+ yield ROW_WEIGHT + text.length;
230
+ }
152
231
  }
153
232
  return {
154
- documents: staged.documents,
155
- binaryTargets: [...staged.binaryTargets].sort(),
156
- revisions: staged.revisions,
157
- changes: staged.changes,
233
+ documents: yield* settling(staged.documents),
234
+ binaries: yield* settling(staged.binaries),
235
+ revisions: yield* settling(staged.revisions),
236
+ fileIds: yield* settling(staged.fileIds),
237
+ changes: yield* settling(staged.changes),
158
238
  };
159
239
  }
160
- function pathsOf(batch) {
161
- return batch.changes.flatMap((change) => change.kind === 'move' ? [change.path, change.to] : [change.path]);
240
+ function* pathsOf(batch) {
241
+ const paths = new Set();
242
+ for (const change of batch.changes) {
243
+ paths.add(change.path);
244
+ if (change.kind === 'move')
245
+ paths.add(change.to);
246
+ yield ROW_WEIGHT;
247
+ }
248
+ return paths;
162
249
  }
163
- export function sameLayerText(left, right) {
164
- const paths = Object.keys(left.documents);
165
- return (paths.length === Object.keys(right.documents).length &&
166
- paths.every((path) => left.documents[path] === right.documents[path]) &&
167
- left.binaryTargets.length === right.binaryTargets.length &&
168
- left.binaryTargets.every((path) => right.binaryTargets.includes(path)));
250
+ export function* sameText(left, right) {
251
+ return ((yield* differences(left.documents, right.documents)).size === 0 &&
252
+ (yield* differences(left.binaries, right.binaries, sameBinary)).size === 0);
169
253
  }
170
- function replayHeads(base, queue) {
171
- const heads = { revisions: { ...base.revisions }, changes: { ...base.changes } };
172
- for (const batch of queue) {
173
- for (const change of batch.changes) {
174
- if (change.kind === 'remove') {
175
- delete heads.revisions[change.path];
176
- delete heads.changes[change.path];
177
- }
178
- else if (change.kind === 'create') {
179
- delete heads.changes[change.path];
180
- }
181
- else if (change.kind === 'move') {
182
- moveHead(heads, change.path, change.to);
183
- }
254
+ export function* changedPaths(left, right) {
255
+ return new Set([
256
+ ...(yield* differences(left.documents, right.documents)),
257
+ ...(yield* differences(left.revisions, right.revisions)),
258
+ ...(yield* differences(left.fileIds, right.fileIds)),
259
+ ...(yield* differences(left.changes, right.changes, sameChange)),
260
+ ...(yield* differences(left.binaries, right.binaries, sameBinary)),
261
+ ]);
262
+ }
263
+ function* sameItems(left, right) {
264
+ if (left.length !== right.length)
265
+ return false;
266
+ for (let index = 0; index < left.length; index += 1) {
267
+ const item = JSON.stringify(left[index]);
268
+ if (item !== JSON.stringify(right[index]))
269
+ return false;
270
+ yield ROW_WEIGHT + item.length;
271
+ }
272
+ return true;
273
+ }
274
+ function* sameBatch(left, right) {
275
+ if (left === right)
276
+ return true;
277
+ const { changes, preconditions, ...rest } = left;
278
+ const { changes: others, preconditions: priors, ...held } = right;
279
+ return (JSON.stringify(rest) === JSON.stringify(held) &&
280
+ (yield* sameItems(changes, others)) &&
281
+ (yield* sameItems(preconditions, priors)));
282
+ }
283
+ function* replayHeads(base, batch) {
284
+ const heads = {
285
+ revisions: drafted(base.revisions),
286
+ fileIds: drafted(base.fileIds),
287
+ changes: drafted(base.changes),
288
+ };
289
+ for (const change of batch.changes) {
290
+ if (change.kind === 'remove') {
291
+ delete heads.revisions[change.path];
292
+ delete heads.fileIds[change.path];
293
+ delete heads.changes[change.path];
184
294
  }
295
+ else if (change.kind === 'create') {
296
+ delete heads.fileIds[change.path];
297
+ delete heads.changes[change.path];
298
+ }
299
+ else if (change.kind === 'replace' ||
300
+ change.kind === 'field' ||
301
+ change.kind === 'section' ||
302
+ change.kind === 'preamble') {
303
+ delete heads.revisions[change.path];
304
+ }
305
+ else if (change.kind === 'binary') {
306
+ delete heads.revisions[change.path];
307
+ delete heads.changes[change.path];
308
+ }
309
+ else if (change.kind === 'move') {
310
+ moveHead(heads, change.path, change.to);
311
+ }
312
+ else if (change.kind === 'arrival') {
313
+ delete heads.revisions[change.path];
314
+ delete heads.fileIds[change.path];
315
+ delete heads.changes[change.path];
316
+ arrive(heads, change);
317
+ }
318
+ yield ROW_WEIGHT;
319
+ }
320
+ return {
321
+ revisions: yield* settling(heads.revisions),
322
+ fileIds: yield* settling(heads.fileIds),
323
+ changes: yield* settling(heads.changes),
324
+ };
325
+ }
326
+ function* repatched(held, paths, value) {
327
+ const set = [];
328
+ const removed = [];
329
+ for (const path of paths) {
330
+ const found = value(path);
331
+ if (found === undefined)
332
+ removed.push(path);
333
+ else
334
+ set.push([path, found]);
335
+ yield ROW_WEIGHT;
185
336
  }
186
- return heads;
337
+ return yield* patching(held, set, removed);
187
338
  }
188
- export function overlayChanged(base, queue, previousBase, previousQueue, previousVisible) {
189
- const before = previousQueue.map((batch) => JSON.stringify(batch));
190
- const after = queue.map((batch) => JSON.stringify(batch));
191
- if (before.length === after.length &&
192
- before.every((id, index) => id === after[index]) &&
193
- sameLayerText(base, previousBase)) {
339
+ export function* overlayChanged(base, batch, previousBase, previousBatch, previousVisible) {
340
+ const same = yield* sameBatch(batch, previousBatch);
341
+ if (same && (yield* sameText(base, previousBase))) {
194
342
  return {
195
343
  documents: previousVisible.documents,
196
- binaryTargets: previousVisible.binaryTargets,
197
- ...replayHeads(base, queue),
344
+ binaries: previousVisible.binaries,
345
+ ...(yield* replayHeads(base, batch)),
198
346
  };
199
347
  }
200
- const affected = new Set();
201
- const paths = new Set([
202
- ...Object.keys(base.documents),
203
- ...Object.keys(previousBase.documents),
204
- ...Object.keys(base.revisions),
205
- ...Object.keys(previousBase.revisions),
206
- ...Object.keys(base.changes),
207
- ...Object.keys(previousBase.changes),
208
- ...base.binaryTargets,
209
- ...previousBase.binaryTargets,
210
- ]);
211
- for (const path of paths) {
212
- if (base.documents[path] !== previousBase.documents[path] ||
213
- base.revisions[path] !== previousBase.revisions[path] ||
214
- !sameChange(base.changes[path], previousBase.changes[path]) ||
215
- base.binaryTargets.includes(path) !== previousBase.binaryTargets.includes(path))
348
+ const affected = new Set(yield* changedPaths(base, previousBase));
349
+ const touched = yield* pathsOf(batch);
350
+ let replayed = !same;
351
+ if (replayed)
352
+ for (const path of yield* pathsOf(previousBatch))
216
353
  affected.add(path);
354
+ for (const path of touched) {
355
+ if (affected.has(path))
356
+ replayed = true;
357
+ yield ROW_WEIGHT;
217
358
  }
218
- const oldIds = new Set(before);
219
- const newIds = new Set(after);
220
- for (const batch of previousQueue) {
221
- if (!newIds.has(JSON.stringify(batch)))
222
- for (const path of pathsOf(batch))
223
- affected.add(path);
224
- }
225
- for (const batch of queue) {
226
- if (!oldIds.has(JSON.stringify(batch)))
227
- for (const path of pathsOf(batch))
228
- affected.add(path);
229
- }
230
- let expanded = true;
231
- while (expanded) {
232
- expanded = false;
233
- for (const batch of queue) {
234
- const touched = pathsOf(batch);
235
- if (!touched.some((path) => affected.has(path)))
236
- continue;
237
- for (const path of touched) {
238
- if (affected.has(path))
239
- continue;
240
- affected.add(path);
241
- expanded = true;
242
- }
243
- }
244
- }
245
- const documents = {};
246
- const revisions = {};
247
- const changes = {};
248
- for (const path of affected) {
359
+ const restricted = {
360
+ documents: {},
361
+ revisions: {},
362
+ fileIds: {},
363
+ changes: {},
364
+ binaries: {},
365
+ };
366
+ for (const path of replayed ? touched : []) {
367
+ affected.add(path);
249
368
  if (base.documents[path] !== undefined)
250
- documents[path] = base.documents[path];
369
+ restricted.documents[path] = base.documents[path];
251
370
  if (base.revisions[path] !== undefined)
252
- revisions[path] = base.revisions[path];
371
+ restricted.revisions[path] = base.revisions[path];
372
+ if (base.fileIds[path] !== undefined)
373
+ restricted.fileIds[path] = base.fileIds[path];
253
374
  if (base.changes[path] !== undefined)
254
- changes[path] = base.changes[path];
255
- }
256
- const staged = overlay({
257
- documents,
258
- revisions,
259
- changes,
260
- binaryTargets: base.binaryTargets.filter((path) => affected.has(path)),
261
- }, queue.filter((batch) => pathsOf(batch).some((path) => affected.has(path))));
262
- const mergedDocuments = { ...previousVisible.documents };
263
- const mergedRevisions = { ...previousVisible.revisions };
264
- const mergedChanges = { ...previousVisible.changes };
265
- const mergedTargets = new Set(previousVisible.binaryTargets);
266
- for (const path of affected) {
267
- delete mergedDocuments[path];
268
- delete mergedRevisions[path];
269
- delete mergedChanges[path];
270
- mergedTargets.delete(path);
375
+ restricted.changes[path] = base.changes[path];
376
+ if (base.binaries[path] !== undefined)
377
+ restricted.binaries[path] = base.binaries[path];
378
+ yield ROW_WEIGHT;
271
379
  }
272
- Object.assign(mergedDocuments, staged.documents);
273
- Object.assign(mergedRevisions, staged.revisions);
274
- Object.assign(mergedChanges, staged.changes);
275
- for (const path of staged.binaryTargets)
276
- mergedTargets.add(path);
380
+ const staged = replayed ? yield* overlaying(restricted, [batch]) : base;
381
+ const from = (path) => (touched.has(path) ? staged : base);
277
382
  return {
278
- documents: mergedDocuments,
279
- revisions: mergedRevisions,
280
- changes: mergedChanges,
281
- binaryTargets: [...mergedTargets].sort(),
383
+ documents: yield* repatched(previousVisible.documents, affected, (path) => from(path).documents[path]),
384
+ revisions: yield* repatched(previousVisible.revisions, affected, (path) => from(path).revisions[path]),
385
+ fileIds: yield* repatched(previousVisible.fileIds, affected, (path) => from(path).fileIds[path]),
386
+ changes: yield* repatched(previousVisible.changes, affected, (path) => from(path).changes[path]),
387
+ binaries: yield* repatched(previousVisible.binaries, affected, (path) => from(path).binaries[path]),
282
388
  };
283
389
  }