@agentshouse/mdruntime 0.1.0-c2aaa9c0e3ca4 → 0.1.0-c2af3ddcc243b

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 (380) hide show
  1. package/README.md +23 -19
  2. package/dist/acceptance.d.ts +3 -0
  3. package/dist/acceptance.d.ts.map +1 -0
  4. package/dist/acceptance.js +299 -0
  5. package/dist/act-lanes.d.ts +30 -0
  6. package/dist/act-lanes.d.ts.map +1 -0
  7. package/dist/act-lanes.js +225 -0
  8. package/dist/actions.d.ts +26 -0
  9. package/dist/actions.d.ts.map +1 -0
  10. package/dist/actions.js +302 -0
  11. package/dist/adapter.d.ts +176 -97
  12. package/dist/adapter.d.ts.map +1 -1
  13. package/dist/attached-model.d.ts +7 -10
  14. package/dist/attached-model.d.ts.map +1 -1
  15. package/dist/attached-model.js +40 -41
  16. package/dist/binary.d.ts +0 -5
  17. package/dist/binary.d.ts.map +1 -1
  18. package/dist/binary.js +1 -1
  19. package/dist/bootstrap.d.ts +31 -11
  20. package/dist/bootstrap.d.ts.map +1 -1
  21. package/dist/bootstrap.js +311 -89
  22. package/dist/cell.d.ts +6 -0
  23. package/dist/cell.d.ts.map +1 -0
  24. package/dist/cell.js +9 -0
  25. package/dist/chain.d.ts +12 -0
  26. package/dist/chain.d.ts.map +1 -0
  27. package/dist/chain.js +64 -0
  28. package/dist/change-set.d.ts +13 -14
  29. package/dist/change-set.d.ts.map +1 -1
  30. package/dist/change-set.js +17 -63
  31. package/dist/change.d.ts +32 -1
  32. package/dist/change.d.ts.map +1 -1
  33. package/dist/change.js +14 -3
  34. package/dist/chat-types.d.ts +5 -0
  35. package/dist/chat-types.d.ts.map +1 -0
  36. package/dist/chat-types.js +13 -0
  37. package/dist/client.d.ts +46 -28
  38. package/dist/client.d.ts.map +1 -1
  39. package/dist/client.js +133 -27
  40. package/dist/collection.d.ts +31 -9
  41. package/dist/collection.d.ts.map +1 -1
  42. package/dist/collection.js +49 -80
  43. package/dist/compile.d.ts +18 -0
  44. package/dist/compile.d.ts.map +1 -0
  45. package/dist/compile.js +724 -0
  46. package/dist/connection.d.ts +8 -116
  47. package/dist/connection.d.ts.map +1 -1
  48. package/dist/connection.js +111 -2412
  49. package/dist/context.d.ts +2 -0
  50. package/dist/context.d.ts.map +1 -0
  51. package/dist/{chat/context.js → context.js} +1 -4
  52. package/dist/conversation-live.d.ts +140 -0
  53. package/dist/conversation-live.d.ts.map +1 -0
  54. package/dist/conversation-live.js +250 -0
  55. package/dist/conversation-row.d.ts +33 -0
  56. package/dist/conversation-row.d.ts.map +1 -0
  57. package/dist/conversation-row.js +53 -0
  58. package/dist/conversation.d.ts +80 -45
  59. package/dist/conversation.d.ts.map +1 -1
  60. package/dist/conversation.js +1090 -588
  61. package/dist/declaration.d.ts +10 -0
  62. package/dist/declaration.d.ts.map +1 -0
  63. package/dist/declaration.js +24 -0
  64. package/dist/digest.d.ts +7 -0
  65. package/dist/digest.d.ts.map +1 -0
  66. package/dist/digest.js +113 -0
  67. package/dist/discovery.d.ts +10 -0
  68. package/dist/discovery.d.ts.map +1 -0
  69. package/dist/discovery.js +150 -0
  70. package/dist/durability.d.ts +23 -1
  71. package/dist/durability.d.ts.map +1 -1
  72. package/dist/durability.js +9 -0
  73. package/dist/entry.d.ts +20 -0
  74. package/dist/entry.d.ts.map +1 -0
  75. package/dist/entry.js +161 -0
  76. package/dist/expectation.d.ts +26 -13
  77. package/dist/expectation.d.ts.map +1 -1
  78. package/dist/expectation.js +72 -19
  79. package/dist/failure.d.ts +3 -0
  80. package/dist/failure.d.ts.map +1 -1
  81. package/dist/failure.js +6 -0
  82. package/dist/figures.d.ts +49 -0
  83. package/dist/figures.d.ts.map +1 -0
  84. package/dist/figures.js +197 -0
  85. package/dist/file.d.ts +2 -19
  86. package/dist/file.d.ts.map +1 -1
  87. package/dist/file.js +7 -122
  88. package/dist/holdings.d.ts +29 -0
  89. package/dist/holdings.d.ts.map +1 -0
  90. package/dist/holdings.js +95 -0
  91. package/dist/host.d.ts +28 -4
  92. package/dist/host.d.ts.map +1 -1
  93. package/dist/host.js +171 -27
  94. package/dist/index.d.ts +40 -13
  95. package/dist/index.d.ts.map +1 -1
  96. package/dist/index.js +18 -2
  97. package/dist/install.d.ts +54 -0
  98. package/dist/install.d.ts.map +1 -0
  99. package/dist/install.js +530 -0
  100. package/dist/lifecycle.d.ts +7 -0
  101. package/dist/lifecycle.d.ts.map +1 -0
  102. package/dist/lifecycle.js +277 -0
  103. package/dist/listing.d.ts +48 -0
  104. package/dist/listing.d.ts.map +1 -0
  105. package/dist/listing.js +139 -0
  106. package/dist/live.d.ts +23 -0
  107. package/dist/live.d.ts.map +1 -0
  108. package/dist/live.js +165 -0
  109. package/dist/locks.d.ts +7 -0
  110. package/dist/locks.d.ts.map +1 -0
  111. package/dist/locks.js +32 -0
  112. package/dist/lost.d.ts +5 -0
  113. package/dist/lost.d.ts.map +1 -0
  114. package/dist/lost.js +49 -0
  115. package/dist/media.d.ts +8 -0
  116. package/dist/media.d.ts.map +1 -0
  117. package/dist/media.js +218 -0
  118. package/dist/memory.d.ts +22 -6
  119. package/dist/memory.d.ts.map +1 -1
  120. package/dist/memory.js +282 -101
  121. package/dist/messages.d.ts +56 -0
  122. package/dist/messages.d.ts.map +1 -0
  123. package/dist/messages.js +158 -0
  124. package/dist/model.d.ts +11 -12
  125. package/dist/model.d.ts.map +1 -1
  126. package/dist/model.js +7 -15
  127. package/dist/models.d.ts +10 -0
  128. package/dist/models.d.ts.map +1 -0
  129. package/dist/models.js +153 -0
  130. package/dist/name.d.ts +4 -0
  131. package/dist/name.d.ts.map +1 -0
  132. package/dist/name.js +122 -0
  133. package/dist/observation.d.ts +22 -4
  134. package/dist/observation.d.ts.map +1 -1
  135. package/dist/observation.js +127 -26
  136. package/dist/opened.d.ts +22 -0
  137. package/dist/opened.d.ts.map +1 -0
  138. package/dist/opened.js +107 -0
  139. package/dist/opening.d.ts +4 -0
  140. package/dist/opening.d.ts.map +1 -0
  141. package/dist/opening.js +53 -0
  142. package/dist/outcome.d.ts +56 -8
  143. package/dist/outcome.d.ts.map +1 -1
  144. package/dist/outcome.js +58 -0
  145. package/dist/overlay.d.ts +8 -4
  146. package/dist/overlay.d.ts.map +1 -1
  147. package/dist/overlay.js +136 -192
  148. package/dist/page-metadata.d.ts +8 -0
  149. package/dist/page-metadata.d.ts.map +1 -0
  150. package/dist/page-metadata.js +19 -0
  151. package/dist/parts.d.ts +4 -0
  152. package/dist/parts.d.ts.map +1 -0
  153. package/dist/parts.js +13 -0
  154. package/dist/paths.d.ts +2 -0
  155. package/dist/paths.d.ts.map +1 -1
  156. package/dist/paths.js +26 -0
  157. package/dist/preparation.d.ts +20 -0
  158. package/dist/preparation.d.ts.map +1 -0
  159. package/dist/preparation.js +227 -0
  160. package/dist/presence.d.ts +52 -0
  161. package/dist/presence.d.ts.map +1 -0
  162. package/dist/presence.js +220 -0
  163. package/dist/queries.d.ts +16 -0
  164. package/dist/queries.d.ts.map +1 -0
  165. package/dist/queries.js +282 -0
  166. package/dist/query.d.ts +49 -183
  167. package/dist/query.d.ts.map +1 -1
  168. package/dist/query.js +3 -464
  169. package/dist/{chat/questions.d.ts → questions.d.ts} +5 -7
  170. package/dist/questions.d.ts.map +1 -0
  171. package/dist/{chat/questions.js → questions.js} +11 -7
  172. package/dist/queue.d.ts +40 -0
  173. package/dist/queue.d.ts.map +1 -0
  174. package/dist/queue.js +450 -0
  175. package/dist/reach.d.ts +21 -7
  176. package/dist/reach.d.ts.map +1 -1
  177. package/dist/reach.js +343 -98
  178. package/dist/react.d.ts +21 -6
  179. package/dist/react.d.ts.map +1 -1
  180. package/dist/react.js +40 -18
  181. package/dist/{chat/read.d.ts → read.d.ts} +2 -0
  182. package/dist/read.d.ts.map +1 -0
  183. package/dist/{chat/read.js → read.js} +4 -0
  184. package/dist/readiness.d.ts +49 -0
  185. package/dist/readiness.d.ts.map +1 -0
  186. package/dist/readiness.js +27 -0
  187. package/dist/reads.d.ts +39 -0
  188. package/dist/reads.d.ts.map +1 -0
  189. package/dist/reads.js +178 -0
  190. package/dist/recovery.d.ts +28 -0
  191. package/dist/recovery.d.ts.map +1 -0
  192. package/dist/recovery.js +254 -0
  193. package/dist/refresh.d.ts +17 -14
  194. package/dist/refresh.d.ts.map +1 -1
  195. package/dist/refresh.js +145 -53
  196. package/dist/refusal.d.ts +5 -0
  197. package/dist/refusal.d.ts.map +1 -0
  198. package/dist/refusal.js +55 -0
  199. package/dist/replica.d.ts +50 -33
  200. package/dist/replica.d.ts.map +1 -1
  201. package/dist/replica.js +339 -162
  202. package/dist/retried.d.ts +30 -0
  203. package/dist/retried.d.ts.map +1 -0
  204. package/dist/retried.js +72 -0
  205. package/dist/room-draft.d.ts +39 -10
  206. package/dist/room-draft.d.ts.map +1 -1
  207. package/dist/room-draft.js +194 -118
  208. package/dist/room-drafts.d.ts +24 -0
  209. package/dist/room-drafts.d.ts.map +1 -0
  210. package/dist/room-drafts.js +217 -0
  211. package/dist/rows.d.ts +30 -37
  212. package/dist/rows.d.ts.map +1 -1
  213. package/dist/rows.js +60 -128
  214. package/dist/runtime.d.ts +34 -0
  215. package/dist/runtime.d.ts.map +1 -0
  216. package/dist/runtime.js +1 -0
  217. package/dist/save.d.ts +42 -43
  218. package/dist/save.d.ts.map +1 -1
  219. package/dist/save.js +800 -259
  220. package/dist/saves.d.ts +32 -0
  221. package/dist/saves.d.ts.map +1 -0
  222. package/dist/saves.js +410 -0
  223. package/dist/search.d.ts +15 -55
  224. package/dist/search.d.ts.map +1 -1
  225. package/dist/search.js +10 -121
  226. package/dist/seed.d.ts +25 -0
  227. package/dist/seed.d.ts.map +1 -0
  228. package/dist/seed.js +145 -0
  229. package/dist/shared.d.ts +10 -0
  230. package/dist/shared.d.ts.map +1 -0
  231. package/dist/shared.js +339 -0
  232. package/dist/shown.d.ts +33 -0
  233. package/dist/shown.d.ts.map +1 -0
  234. package/dist/shown.js +295 -0
  235. package/dist/socket/admission.d.ts +7 -0
  236. package/dist/socket/admission.d.ts.map +1 -0
  237. package/dist/socket/admission.js +39 -0
  238. package/dist/socket/answers.d.ts +6 -0
  239. package/dist/socket/answers.d.ts.map +1 -0
  240. package/dist/socket/answers.js +20 -0
  241. package/dist/socket/lanes.d.ts +28 -0
  242. package/dist/socket/lanes.d.ts.map +1 -0
  243. package/dist/socket/lanes.js +103 -0
  244. package/dist/socket/reads.d.ts +10 -0
  245. package/dist/socket/reads.d.ts.map +1 -0
  246. package/dist/socket/reads.js +31 -0
  247. package/dist/socket/session.d.ts +38 -0
  248. package/dist/socket/session.d.ts.map +1 -0
  249. package/dist/socket/session.js +23 -0
  250. package/dist/socket.d.ts +67 -0
  251. package/dist/socket.d.ts.map +1 -0
  252. package/dist/socket.js +164 -0
  253. package/dist/source.d.ts +54 -0
  254. package/dist/source.d.ts.map +1 -0
  255. package/dist/source.js +82 -0
  256. package/dist/status.d.ts +5 -2
  257. package/dist/status.d.ts.map +1 -1
  258. package/dist/status.js +3 -7
  259. package/dist/store/installs.d.ts +30 -0
  260. package/dist/store/installs.d.ts.map +1 -0
  261. package/dist/store/installs.js +34 -0
  262. package/dist/store/readiness.d.ts +10 -0
  263. package/dist/store/readiness.d.ts.map +1 -0
  264. package/dist/store/readiness.js +52 -0
  265. package/dist/store/records.d.ts +214 -0
  266. package/dist/store/records.d.ts.map +1 -0
  267. package/dist/store/records.js +438 -0
  268. package/dist/store/room-held.d.ts +8 -0
  269. package/dist/store/room-held.d.ts.map +1 -0
  270. package/dist/store/room-held.js +17 -0
  271. package/dist/store/space.d.ts +11 -0
  272. package/dist/store/space.d.ts.map +1 -0
  273. package/dist/store/space.js +41 -0
  274. package/dist/store/watchers.d.ts +17 -0
  275. package/dist/store/watchers.d.ts.map +1 -0
  276. package/dist/store/watchers.js +56 -0
  277. package/dist/store/writes.d.ts +24 -0
  278. package/dist/store/writes.d.ts.map +1 -0
  279. package/dist/store/writes.js +125 -0
  280. package/dist/store.d.ts +111 -117
  281. package/dist/store.d.ts.map +1 -1
  282. package/dist/store.js +161 -488
  283. package/dist/stored.d.ts +157 -0
  284. package/dist/stored.d.ts.map +1 -0
  285. package/dist/stored.js +649 -0
  286. package/dist/surface.d.ts +88 -0
  287. package/dist/surface.d.ts.map +1 -0
  288. package/dist/surface.js +220 -0
  289. package/dist/sync.d.ts +19 -0
  290. package/dist/sync.d.ts.map +1 -0
  291. package/dist/sync.js +535 -0
  292. package/dist/tables.d.ts +415 -0
  293. package/dist/tables.d.ts.map +1 -0
  294. package/dist/tables.js +761 -0
  295. package/dist/tallies.d.ts +18 -0
  296. package/dist/tallies.d.ts.map +1 -0
  297. package/dist/tallies.js +129 -0
  298. package/dist/transfer.d.ts +0 -5
  299. package/dist/transfer.d.ts.map +1 -1
  300. package/dist/turn.d.ts +9 -0
  301. package/dist/turn.d.ts.map +1 -0
  302. package/dist/turn.js +75 -0
  303. package/dist/validation.d.ts +29 -0
  304. package/dist/validation.d.ts.map +1 -0
  305. package/dist/validation.js +104 -0
  306. package/dist/windows.d.ts +11 -0
  307. package/dist/windows.d.ts.map +1 -0
  308. package/dist/windows.js +16 -0
  309. package/dist/wire.d.ts +228 -36
  310. package/dist/wire.d.ts.map +1 -1
  311. package/dist/wire.js +75 -33
  312. package/package.json +23 -19
  313. package/AGENTS.md +0 -299
  314. package/dist/attempt.d.ts +0 -16
  315. package/dist/attempt.d.ts.map +0 -1
  316. package/dist/attempt.js +0 -57
  317. package/dist/chat/acts.d.ts +0 -34
  318. package/dist/chat/acts.d.ts.map +0 -1
  319. package/dist/chat/acts.js +0 -36
  320. package/dist/chat/context.d.ts +0 -3
  321. package/dist/chat/context.d.ts.map +0 -1
  322. package/dist/chat/input.d.ts +0 -9
  323. package/dist/chat/input.d.ts.map +0 -1
  324. package/dist/chat/input.js +0 -99
  325. package/dist/chat/kit.d.ts +0 -60
  326. package/dist/chat/kit.d.ts.map +0 -1
  327. package/dist/chat/kit.js +0 -123
  328. package/dist/chat/lasting.d.ts +0 -6
  329. package/dist/chat/lasting.d.ts.map +0 -1
  330. package/dist/chat/lasting.js +0 -19
  331. package/dist/chat/list.d.ts +0 -20
  332. package/dist/chat/list.d.ts.map +0 -1
  333. package/dist/chat/list.js +0 -59
  334. package/dist/chat/markdown.d.ts +0 -19
  335. package/dist/chat/markdown.d.ts.map +0 -1
  336. package/dist/chat/markdown.js +0 -187
  337. package/dist/chat/message.d.ts +0 -6
  338. package/dist/chat/message.d.ts.map +0 -1
  339. package/dist/chat/message.js +0 -192
  340. package/dist/chat/messages.d.ts +0 -21
  341. package/dist/chat/messages.d.ts.map +0 -1
  342. package/dist/chat/messages.js +0 -151
  343. package/dist/chat/name.d.ts +0 -6
  344. package/dist/chat/name.d.ts.map +0 -1
  345. package/dist/chat/name.js +0 -37
  346. package/dist/chat/opened.d.ts +0 -11
  347. package/dist/chat/opened.d.ts.map +0 -1
  348. package/dist/chat/opened.js +0 -17
  349. package/dist/chat/overlay.d.ts +0 -31
  350. package/dist/chat/overlay.d.ts.map +0 -1
  351. package/dist/chat/overlay.js +0 -97
  352. package/dist/chat/parts.d.ts +0 -57
  353. package/dist/chat/parts.d.ts.map +0 -1
  354. package/dist/chat/parts.js +0 -119
  355. package/dist/chat/process.d.ts +0 -20
  356. package/dist/chat/process.d.ts.map +0 -1
  357. package/dist/chat/process.js +0 -32
  358. package/dist/chat/provider.d.ts +0 -63
  359. package/dist/chat/provider.d.ts.map +0 -1
  360. package/dist/chat/provider.js +0 -645
  361. package/dist/chat/question.d.ts +0 -9
  362. package/dist/chat/question.d.ts.map +0 -1
  363. package/dist/chat/question.js +0 -80
  364. package/dist/chat/questions.d.ts.map +0 -1
  365. package/dist/chat/read.d.ts.map +0 -1
  366. package/dist/chat/ready.d.ts +0 -33
  367. package/dist/chat/ready.d.ts.map +0 -1
  368. package/dist/chat/ready.js +0 -91
  369. package/dist/chat/style.d.ts +0 -4
  370. package/dist/chat/style.d.ts.map +0 -1
  371. package/dist/chat/style.js +0 -302
  372. package/dist/chat.d.ts +0 -14
  373. package/dist/chat.d.ts.map +0 -1
  374. package/dist/chat.js +0 -8
  375. package/dist/log.d.ts +0 -5
  376. package/dist/log.d.ts.map +0 -1
  377. package/dist/log.js +0 -14
  378. package/dist/read-side.d.ts +0 -18
  379. package/dist/read-side.d.ts.map +0 -1
  380. package/dist/read-side.js +0 -440
package/dist/replica.js CHANGED
@@ -1,179 +1,219 @@
1
1
  import { equalValue, parse } from '@agentshouse/mdmodel';
2
2
  import { immutable, landing } from './change.js';
3
- import { collectionOf, unreadable, validateCollection, } from './collection.js';
4
- import { acceptedBinaries, overlay, overlayChanged, sameLayerText, } from './overlay.js';
5
- import { providerRewritten } from './save.js';
6
- export function compositionOf(record) {
3
+ import { collectionOf, definitionsAt } from './collection.js';
4
+ import { storedModel } from './model.js';
5
+ import { acceptedBinaries, overlaying } from './overlay.js';
6
+ import { writtenFacts } from './rows.js';
7
+ import { effectiveIn, rewriting } from './save.js';
8
+ import { guarding } from './shared.js';
9
+ import { ROW_WEIGHT } from './turn.js';
10
+ export function compositionOf(model, typedSelection, builtIn, typedPaths) {
7
11
  return {
8
- model: record.model,
9
- selection: record.typedSelection === null
10
- ? null
11
- : { roots: record.typedSelection.roots, model: record.selectionModel },
12
+ model,
13
+ selection: typedSelection === null ? null : { roots: typedSelection.roots, model: builtIn },
14
+ typedPaths,
12
15
  };
13
16
  }
14
- export function confirmedOf(record, previous) {
15
- return {
16
- record,
17
- collection: collectionOf(record.documents, compositionOf(record), previous?.collection),
18
- };
17
+ export function storedRecord(record) {
18
+ const { key: _key, ...stored } = record;
19
+ return JSON.stringify({ ...stored, model: storedModel(stored.model) });
19
20
  }
20
- export function sameMembership(record, other) {
21
- return (JSON.stringify(record.typedSelection?.roots ?? null) ===
22
- JSON.stringify(other.typedSelection?.roots ?? null));
23
- }
24
- export function readStaged(record, previous) {
25
- const textChanged = previous === undefined || !sameLayerText(record, previous.record);
26
- const modeled = record.model.status !== 'unavailable' || record.selectionModel.status !== 'unavailable';
27
- if (modeled &&
28
- (textChanged ||
29
- record.model !== previous?.record.model ||
30
- record.selectionModel !== previous?.record.selectionModel)) {
31
- const verdict = validateCollection(record.documents, Object.keys(record.binaries), compositionOf(record));
32
- if (verdict.verdict === 'refuse' && verdict.rule !== 'model-unavailable') {
33
- return { kind: 'refused', refusal: verdict };
34
- }
35
- if (verdict.verdict === 'refuse') {
36
- const refused = unreadable(record.documents, previous?.record.documents);
37
- if (refused !== null)
38
- return refused;
39
- }
40
- }
41
- else if (textChanged) {
42
- const refused = unreadable(record.documents, previous?.record.documents);
43
- if (refused !== null)
44
- return refused;
21
+ const PROBES = new Set([
22
+ 'then',
23
+ 'toJSON',
24
+ 'constructor',
25
+ 'valueOf',
26
+ 'toString',
27
+ ]);
28
+ class UnreadPath extends Error {
29
+ constructor(path) {
30
+ super(`the replica slice holds no row for ${path}`);
45
31
  }
46
- return { kind: 'staged', confirmed: confirmedOf(record, previous) };
47
32
  }
48
- export function readReclassified(record, previous) {
49
- const verdict = validateCollection(record.documents, Object.keys(record.binaries), compositionOf(record));
50
- if (verdict.verdict !== 'refuse')
51
- return { kind: 'staged', confirmed: confirmedOf(record, previous) };
52
- return verdict.rule === 'model-unavailable'
53
- ? { kind: 'deferred' }
54
- : { kind: 'refused', refusal: verdict };
33
+ function strict(values, held) {
34
+ const guard = (property) => {
35
+ if (typeof property === 'string' && !held.has(property) && !PROBES.has(property)) {
36
+ throw new UnreadPath(property);
37
+ }
38
+ };
39
+ return guarding(values, {
40
+ get(target, property, receiver) {
41
+ guard(property);
42
+ return Reflect.get(target, property, receiver);
43
+ },
44
+ has(target, property) {
45
+ guard(property);
46
+ return Reflect.has(target, property);
47
+ },
48
+ getOwnPropertyDescriptor(target, property) {
49
+ guard(property);
50
+ return Reflect.getOwnPropertyDescriptor(target, property);
51
+ },
52
+ });
55
53
  }
56
- function returnedBinaries(held, submitted, accepted) {
57
- const binaries = { ...held };
58
- for (const change of submitted.changes) {
59
- if (change.kind !== 'move')
60
- continue;
61
- const moved = binaries[change.path];
62
- if (moved === undefined || accepted.revisions[change.to] === undefined)
63
- continue;
64
- binaries[change.to] = moved;
65
- delete binaries[change.path];
54
+ export function* slicing(entries, paths) {
55
+ const held = new Set(paths);
56
+ for (const entry of entries)
57
+ held.add(entry.path);
58
+ const documents = {};
59
+ const binaries = {};
60
+ const revisions = {};
61
+ const fileIds = {};
62
+ const created = {};
63
+ const changes = {};
64
+ const written = {};
65
+ const facts = {};
66
+ for (const entry of entries) {
67
+ if (entry.facts !== null)
68
+ facts[entry.path] = entry.facts;
69
+ if (entry.binary !== null)
70
+ binaries[entry.path] = entry.binary;
71
+ else if (entry.content !== null)
72
+ documents[entry.path] = entry.content;
73
+ if (entry.revision !== null)
74
+ revisions[entry.path] = entry.revision;
75
+ if (entry.fileId !== null)
76
+ fileIds[entry.path] = entry.fileId;
77
+ if (entry.created !== null)
78
+ created[entry.path] = entry.created;
79
+ if (entry.change !== null)
80
+ changes[entry.path] = entry.change;
81
+ if (entry.written !== null)
82
+ written[entry.path] = entry.written;
83
+ yield ROW_WEIGHT;
66
84
  }
67
- Object.assign(binaries, acceptedBinaries(accepted.binaryFiles ?? {}));
68
- for (const path of accepted.removals)
69
- delete binaries[path];
70
- return binaries;
85
+ return {
86
+ documents: strict(documents, held),
87
+ binaries: strict(binaries, held),
88
+ revisions: strict(revisions, held),
89
+ fileIds: strict(fileIds, held),
90
+ created: strict(created, held),
91
+ changes: strict(changes, held),
92
+ written: strict(written, held),
93
+ facts: strict(facts, held),
94
+ held,
95
+ };
71
96
  }
72
- export function applyReturned(confirmed, submitted, accepted, roomVersion, writtenAt) {
73
- const { documents, revisions, changes, removals } = accepted;
74
- const nextDocuments = { ...confirmed.record.documents, ...documents };
75
- const nextRevisions = { ...confirmed.record.revisions, ...revisions };
76
- const nextChanges = { ...confirmed.record.changes };
77
- const nextWritten = {
78
- ...confirmed.record.written,
79
- ...Object.fromEntries(Object.keys(documents).map((path) => [path, writtenAt])),
97
+ export function entryAt(layer, path) {
98
+ const content = layer.documents[path];
99
+ const binary = layer.binaries[path];
100
+ if (content === undefined && binary === undefined)
101
+ return null;
102
+ return {
103
+ path,
104
+ content: content ?? null,
105
+ binary: binary ?? null,
106
+ revision: layer.revisions[path] ?? null,
107
+ fileId: layer.fileIds[path] ?? null,
108
+ created: layer.created[path] ?? null,
109
+ change: layer.changes[path] ?? null,
110
+ written: layer.written?.[path] ?? null,
80
111
  };
81
- for (const [path, revision] of Object.entries(revisions)) {
82
- if (confirmed.record.revisions[path] !== revision)
83
- delete nextChanges[path];
112
+ }
113
+ export function* slicingWith(slice, set, removed) {
114
+ const entries = new Map();
115
+ for (const path of slice.held) {
116
+ const entry = entryAt(slice, path);
117
+ if (entry !== null) {
118
+ entries.set(path, { ...entry, type: null, facts: slice.facts[path] ?? null });
119
+ }
120
+ yield ROW_WEIGHT;
84
121
  }
85
- Object.assign(nextChanges, changes);
86
- for (const path of removals) {
87
- delete nextDocuments[path];
88
- delete nextRevisions[path];
89
- delete nextChanges[path];
90
- delete nextWritten[path];
122
+ for (const path of removed)
123
+ entries.delete(path);
124
+ for (const entry of set)
125
+ entries.set(entry.path, { ...entry, type: null });
126
+ return yield* slicing([...entries.values()], [...slice.held, ...set.map(({ path }) => path), ...removed]);
127
+ }
128
+ function changePaths(change) {
129
+ return change.kind === 'move' ? [change.path, change.to] : [change.path];
130
+ }
131
+ export function touchedBy(queue) {
132
+ const paths = new Set();
133
+ for (const batch of queue) {
134
+ for (const change of batch.changes)
135
+ for (const path of changePaths(change))
136
+ paths.add(path);
137
+ for (const precondition of batch.preconditions)
138
+ paths.add(precondition.path);
139
+ for (const move of batch.between?.moves ?? [])
140
+ paths.add(move.path);
91
141
  }
92
- return readStaged({
93
- ...confirmed.record,
94
- roomVersion,
95
- documents: nextDocuments,
96
- revisions: nextRevisions,
97
- changes: nextChanges,
98
- written: nextWritten,
99
- binaries: returnedBinaries(confirmed.record.binaries, submitted, accepted),
100
- }, confirmed);
142
+ return paths;
101
143
  }
102
- function predicted(confirmed, batches, previous) {
103
- const composition = compositionOf(confirmed.record);
104
- let layer = confirmed.record;
105
- const replay = [];
106
- const prior = new Map(previous?.replay.map((step) => [step.id, step]) ?? []);
107
- for (const batch of batches) {
108
- const before = layer;
109
- const old = prior.get(batch.id);
110
- const hasMove = batch.changes.some((change) => change.kind === 'move');
111
- const reuseRewrite = old?.collection !== undefined &&
112
- sameLayerText(before, old.before) &&
113
- old.collection.composition.model === composition.model &&
114
- old.collection.composition.selection?.model === composition.selection?.model &&
115
- JSON.stringify(old.collection.composition.selection?.roots) ===
116
- JSON.stringify(composition.selection?.roots);
117
- const collection = hasMove
118
- ? reuseRewrite
119
- ? old.collection
120
- : collectionOf(before.documents, composition, old?.collection ?? confirmed.collection)
121
- : undefined;
122
- const effective = collection === undefined
123
- ? batch
124
- : reuseRewrite
125
- ? old.effective
126
- : providerRewritten(batch, { ...before, collection });
127
- layer =
128
- old === undefined
129
- ? overlay(before, [effective])
130
- : overlayChanged(before, [effective], old.before, [old.effective], old.after);
131
- replay.push({
132
- id: batch.id,
133
- before,
134
- after: layer,
135
- effective,
136
- ...(collection === undefined ? {} : { collection }),
137
- });
144
+ export function movedBy(queue, locator) {
145
+ const paths = new Set();
146
+ for (const batch of queue) {
147
+ if (!rewriting(batch, locator))
148
+ continue;
149
+ for (const change of batch.changes)
150
+ if (change.kind === 'move')
151
+ paths.add(change.path);
152
+ if (batch.between?.source.room === locator) {
153
+ for (const move of batch.between.moves)
154
+ paths.add(move.path);
155
+ }
138
156
  }
139
- return { layer, replay };
157
+ return paths;
140
158
  }
141
- export function replicaOf(confirmed, queue, previous) {
142
- const batches = Object.freeze(queue.map(immutable));
143
- if (batches.length === 0) {
144
- return {
145
- confirmed,
146
- queue: batches,
147
- visible: {
148
- documents: confirmed.record.documents,
149
- binaries: confirmed.record.binaries,
150
- revisions: confirmed.record.revisions,
151
- changes: confirmed.record.changes,
152
- collection: confirmed.collection,
153
- },
154
- replay: [],
155
- };
159
+ export function* replaying(confirmed, queue, locator, composition) {
160
+ let layer = confirmed;
161
+ const touched = new Set();
162
+ for (const batch of queue) {
163
+ const effective = rewriting(batch, locator)
164
+ ? yield* effectiveIn(batch, locator, {
165
+ ...layer,
166
+ collection: collectionOf(layer.documents, composition),
167
+ })
168
+ : batch;
169
+ for (const change of effective.changes)
170
+ for (const path of changePaths(change))
171
+ touched.add(path);
172
+ layer = yield* overlaying(layer, [effective], composition);
173
+ yield ROW_WEIGHT;
156
174
  }
157
- const { layer, replay } = predicted(confirmed, batches, previous);
158
175
  return {
159
- confirmed,
160
- queue: batches,
161
- replay,
162
- visible: {
163
- ...layer,
164
- collection: collectionOf(layer.documents, compositionOf(confirmed.record), previous?.visible.collection ?? confirmed.collection),
165
- },
176
+ visible: { ...layer, collection: collectionOf(layer.documents, composition) },
177
+ touched,
166
178
  };
167
179
  }
180
+ export function* overlayOf(visible, touched) {
181
+ const rows = [];
182
+ for (const path of touched) {
183
+ const entry = entryAt(visible, path);
184
+ yield ROW_WEIGHT + (entry?.content?.length ?? 0);
185
+ const text = entry?.binary === null ? entry.content : null;
186
+ rows.push(entry === null
187
+ ? {
188
+ path,
189
+ present: false,
190
+ content: null,
191
+ binary: null,
192
+ revision: null,
193
+ fileId: null,
194
+ created: null,
195
+ change: null,
196
+ written: null,
197
+ facts: null,
198
+ }
199
+ : {
200
+ ...entry,
201
+ written: null,
202
+ present: true,
203
+ facts: text === null ? null : writtenFacts(path, text, visible.collection.composition),
204
+ });
205
+ }
206
+ return rows;
207
+ }
168
208
  function present(layer, path) {
169
209
  return layer.documents[path] !== undefined || layer.binaries[path] !== undefined;
170
210
  }
171
- function holds(layer, preconditions) {
211
+ export function holds(layer, preconditions, composition) {
172
212
  const parsed = new Map();
173
213
  const documentAt = (path) => {
174
214
  if (!parsed.has(path)) {
175
215
  const text = layer.documents[path];
176
- const opened = text === undefined ? null : parse(text, path);
216
+ const opened = text === undefined ? null : parse(text, path, definitionsAt(composition, path));
177
217
  parsed.set(path, opened?.ok === true ? opened.document : null);
178
218
  }
179
219
  return parsed.get(path) ?? null;
@@ -233,12 +273,19 @@ function effects(change) {
233
273
  { kind: 'present', path: change.to },
234
274
  ];
235
275
  }
236
- if (change.kind === 'binary')
276
+ if (change.kind === 'arrival')
237
277
  return [{ kind: 'present', path }];
238
278
  return [{ kind: 'absent', path }];
239
279
  }
240
- export function landed(batch, confirmed, current = {}) {
241
- const layer = { ...confirmed.record, documents: { ...confirmed.record.documents, ...current } };
280
+ export function landed(batch, confirmed, composition, current = {}) {
281
+ const documents = new Proxy(confirmed.documents, {
282
+ get(target, property, receiver) {
283
+ if (typeof property === 'string' && Object.hasOwn(current, property))
284
+ return current[property];
285
+ return Reflect.get(target, property, receiver);
286
+ },
287
+ });
288
+ const layer = { ...confirmed, documents };
242
289
  return batch.changes.every((change, index) => {
243
290
  if (change.kind === 'replace' || (change.kind === 'create' && 'content' in change)) {
244
291
  const at = landing(batch.changes, index, change.path);
@@ -250,38 +297,168 @@ export function landed(batch, confirmed, current = {}) {
250
297
  }
251
298
  return effects(change).every((effect) => {
252
299
  if (effect.kind === 'absent')
253
- return holds(layer, [effect]);
300
+ return holds(layer, [effect], composition);
254
301
  const at = landing(batch.changes, index, effect.path);
255
- return at === null || holds(layer, [{ ...effect, path: at }]);
302
+ return at === null || holds(layer, [{ ...effect, path: at }], composition);
256
303
  });
257
304
  });
258
305
  }
259
- export function withdrawals(confirmed, queue, withdrawable, local) {
306
+ function founded(batch, layer) {
307
+ let changed = false;
308
+ const preconditions = batch.preconditions.map((precondition) => {
309
+ if (precondition.kind !== 'content')
310
+ return precondition;
311
+ const revision = layer.revisions[precondition.path];
312
+ if (revision === undefined || layer.documents[precondition.path] !== precondition.content) {
313
+ return precondition;
314
+ }
315
+ changed = true;
316
+ return { kind: 'revision', path: precondition.path, revision };
317
+ });
318
+ return changed ? immutable({ ...batch, preconditions }) : batch;
319
+ }
320
+ export function* standing(confirmed, queue, withdrawable, local, locator, composition) {
260
321
  if (!queue.some(withdrawable))
261
- return [];
262
- const composition = compositionOf(confirmed.record);
263
- let layer = confirmed.record;
322
+ return { withdrawn: [], kept: queue };
323
+ let layer = confirmed;
264
324
  const withdrawn = [];
325
+ const kept = [];
265
326
  for (const batch of queue) {
266
- if (withdrawable(batch) && !holds(layer, batch.preconditions)) {
327
+ if (withdrawable(batch) && !holds(layer, batch.preconditions, composition)) {
267
328
  withdrawn.push(batch);
268
329
  continue;
269
330
  }
270
- const effective = batch.changes.some((change) => change.kind === 'move')
271
- ? providerRewritten(batch, {
331
+ const effective = rewriting(batch, locator)
332
+ ? yield* effectiveIn(batch, locator, {
272
333
  ...layer,
273
334
  collection: collectionOf(layer.documents, composition),
274
335
  })
275
336
  : batch;
276
337
  let unapplied = false;
277
- const next = overlay(layer, [effective], () => {
338
+ const next = yield* overlaying(layer, [effective], composition, () => {
278
339
  unapplied = true;
279
340
  });
280
341
  if (local && unapplied) {
281
342
  withdrawn.push(batch);
282
343
  continue;
283
344
  }
345
+ kept.push(local || !withdrawable(batch) ? batch : founded(batch, layer));
284
346
  layer = next;
285
347
  }
286
- return withdrawn;
348
+ return { withdrawn, kept };
349
+ }
350
+ export function returnedPaths(submitted, accepted) {
351
+ const paths = new Set([
352
+ ...Object.keys(accepted.documents),
353
+ ...Object.keys(accepted.revisions),
354
+ ...Object.keys(accepted.fileIds ?? {}),
355
+ ...Object.keys(accepted.changes),
356
+ ...Object.keys(accepted.binaryFiles ?? {}),
357
+ ...accepted.removals,
358
+ ]);
359
+ for (const change of submitted.changes) {
360
+ if (change.kind === 'move') {
361
+ paths.add(change.path);
362
+ paths.add(change.to);
363
+ }
364
+ if (change.kind === 'arrival')
365
+ paths.add(change.path);
366
+ }
367
+ return paths;
368
+ }
369
+ export function* returning(confirmed, submitted, accepted, writtenAt, composition) {
370
+ const documents = new Map();
371
+ const binaries = new Map();
372
+ const revisions = new Map();
373
+ const fileIds = new Map();
374
+ const created = new Map();
375
+ const changes = new Map();
376
+ const written = new Map();
377
+ const facts = new Map();
378
+ const read = (changed, held, path) => (changed.has(path) ? changed.get(path) : held[path]);
379
+ for (const [path, content] of Object.entries(accepted.documents)) {
380
+ yield ROW_WEIGHT + content.length;
381
+ documents.set(path, content);
382
+ facts.set(path, writtenFacts(path, content, composition));
383
+ fileIds.set(path, undefined);
384
+ written.set(path, writtenAt);
385
+ }
386
+ for (const [path, revision] of Object.entries(accepted.revisions)) {
387
+ yield ROW_WEIGHT;
388
+ revisions.set(path, revision);
389
+ fileIds.set(path, undefined);
390
+ if (confirmed.revisions[path] !== revision)
391
+ changes.set(path, undefined);
392
+ }
393
+ for (const [path, fileId] of Object.entries(accepted.fileIds ?? {}))
394
+ fileIds.set(path, fileId);
395
+ for (const [path, change] of Object.entries(accepted.changes))
396
+ changes.set(path, change);
397
+ for (const path of accepted.removals) {
398
+ documents.set(path, undefined);
399
+ revisions.set(path, undefined);
400
+ fileIds.set(path, undefined);
401
+ changes.set(path, undefined);
402
+ written.set(path, undefined);
403
+ }
404
+ for (const change of submitted.changes) {
405
+ if (change.kind === 'arrival') {
406
+ if (accepted.revisions[change.path] === undefined)
407
+ continue;
408
+ created.set(change.path, change.created);
409
+ if ('binary' in change)
410
+ binaries.set(change.path, { state: 'accepted', ...change.binary });
411
+ continue;
412
+ }
413
+ if (change.kind !== 'move' || accepted.revisions[change.to] === undefined)
414
+ continue;
415
+ created.set(change.to, read(created, confirmed.created, change.path));
416
+ created.set(change.path, undefined);
417
+ const moved = read(binaries, confirmed.binaries, change.path);
418
+ if (moved === undefined)
419
+ continue;
420
+ binaries.set(change.to, moved);
421
+ binaries.set(change.path, undefined);
422
+ }
423
+ for (const [path, binary] of acceptedBinaries(accepted.binaryFiles ?? {}))
424
+ binaries.set(path, binary);
425
+ for (const path of accepted.removals) {
426
+ binaries.set(path, undefined);
427
+ created.set(path, undefined);
428
+ }
429
+ const paths = new Set([
430
+ ...documents.keys(),
431
+ ...binaries.keys(),
432
+ ...revisions.keys(),
433
+ ...fileIds.keys(),
434
+ ...created.keys(),
435
+ ...changes.keys(),
436
+ ...written.keys(),
437
+ ]);
438
+ const set = [];
439
+ const removed = [];
440
+ for (const path of paths) {
441
+ const content = read(documents, confirmed.documents, path);
442
+ const binary = read(binaries, confirmed.binaries, path);
443
+ yield ROW_WEIGHT;
444
+ if (content === undefined && binary === undefined) {
445
+ removed.push(path);
446
+ continue;
447
+ }
448
+ const text = binary === undefined ? (content ?? null) : null;
449
+ const fresh = confirmed.documents[path] === undefined && confirmed.binaries[path] === undefined;
450
+ set.push({
451
+ path,
452
+ content: text,
453
+ facts: text === null ? null : (read(facts, confirmed.facts, path) ?? null),
454
+ binary: binary ?? null,
455
+ revision: read(revisions, confirmed.revisions, path) ?? null,
456
+ fileId: read(fileIds, confirmed.fileIds, path) ?? null,
457
+ created: read(created, confirmed.created, path) ??
458
+ (fresh ? (read(changes, confirmed.changes, path)?.time ?? null) : null),
459
+ change: read(changes, confirmed.changes, path) ?? null,
460
+ written: read(written, confirmed.written, path) ?? null,
461
+ });
462
+ }
463
+ return { set, removed };
287
464
  }
@@ -0,0 +1,30 @@
1
+ import { type RuntimeShell } from './durability.js';
2
+ export declare const STEPS: readonly ['database', 'sign_in', 'connection', 'code', 'download', 'conversations', 'sending', 'reading'];
3
+ export type Step = (typeof STEPS)[number];
4
+ export type RetriedFailure = {
5
+ readonly step: Step;
6
+ readonly answered: false;
7
+ } | {
8
+ readonly step: Step;
9
+ readonly answered: true;
10
+ readonly error: unknown;
11
+ };
12
+ export type Uncertain = {
13
+ readonly failure?: unknown;
14
+ };
15
+ export type Attempt = {
16
+ readonly step: Step;
17
+ readonly instance: string;
18
+ };
19
+ export declare class Unanswered extends Error {
20
+ }
21
+ export declare function uncertainError(uncertainty: Uncertain): unknown;
22
+ export type Retries = {
23
+ failed(step: Step, instance: string, error: unknown): void;
24
+ unanswered(step: Step, instance: string): void;
25
+ uncertain(step: Step, instance: string, uncertainty: Uncertain): void;
26
+ succeeded(step: Step, instance: string): void;
27
+ };
28
+ export declare function createRetries(shell: Pick<RuntimeShell, 'retried' | 'succeeded'>): Retries;
29
+ export declare function retrying<T>(retries: Retries, step: Step, instance: string, ask: () => Promise<T>): () => Promise<T>;
30
+ //# sourceMappingURL=retried.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"retried.d.ts","sourceRoot":"","sources":["../src/retried.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAErE,eAAO,MAAM,KAAK,YAChB,UAAU,EACV,SAAS,EACT,YAAY,EACZ,MAAM,EACN,UAAU,EACV,eAAe,EACf,SAAS,EACT,SAAS,CACD,CAAC;AAEX,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1C,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9E,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,qBAAa,UAAW,SAAQ,KAAK;CAAG;AAExC,wBAAgB,cAAc,CAAC,WAAW,EAAE,SAAS,GAAG,OAAO,CAE9D;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IAC3D,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,GAAG,IAAI,CAAC;IACtE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/C,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,GAAG,WAAW,CAAC,GAAG,OAAO,CA2CzF;AAED,wBAAgB,QAAQ,CAAC,CAAC,EACxB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GACpB,MAAM,OAAO,CAAC,CAAC,CAAC,CAYlB"}