@agentshouse/mdruntime 0.1.0-c5fe3b2cddda7 → 0.1.0-c6197367d5fad

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 (332) hide show
  1. package/README.md +21 -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 +156 -89
  12. package/dist/adapter.d.ts.map +1 -1
  13. package/dist/attached-model.d.ts +3 -11
  14. package/dist/attached-model.d.ts.map +1 -1
  15. package/dist/attached-model.js +20 -60
  16. package/dist/authored.d.ts +88 -0
  17. package/dist/authored.d.ts.map +1 -0
  18. package/dist/authored.js +345 -0
  19. package/dist/bootstrap.d.ts +9 -5
  20. package/dist/bootstrap.d.ts.map +1 -1
  21. package/dist/bootstrap.js +204 -85
  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 +2 -1
  26. package/dist/chain.d.ts.map +1 -1
  27. package/dist/change-set.d.ts +4 -0
  28. package/dist/change-set.d.ts.map +1 -1
  29. package/dist/change-set.js +6 -0
  30. package/dist/change.d.ts +5 -0
  31. package/dist/change.d.ts.map +1 -1
  32. package/dist/change.js +7 -2
  33. package/dist/chat-types.d.ts +3 -0
  34. package/dist/chat-types.d.ts.map +1 -0
  35. package/dist/chat-types.js +11 -0
  36. package/dist/client.d.ts +33 -23
  37. package/dist/client.d.ts.map +1 -1
  38. package/dist/client.js +43 -56
  39. package/dist/collection.d.ts +26 -4
  40. package/dist/collection.d.ts.map +1 -1
  41. package/dist/collection.js +19 -2
  42. package/dist/column.d.ts +5 -0
  43. package/dist/column.d.ts.map +1 -0
  44. package/dist/column.js +9 -0
  45. package/dist/compile.d.ts +8 -6
  46. package/dist/compile.d.ts.map +1 -1
  47. package/dist/compile.js +286 -336
  48. package/dist/connection.d.ts +5 -142
  49. package/dist/connection.d.ts.map +1 -1
  50. package/dist/connection.js +111 -4993
  51. package/dist/context.d.ts +2 -0
  52. package/dist/context.d.ts.map +1 -0
  53. package/dist/context.js +7 -0
  54. package/dist/conversation-live.d.ts +150 -0
  55. package/dist/conversation-live.d.ts.map +1 -0
  56. package/dist/conversation-live.js +259 -0
  57. package/dist/conversation-row.d.ts +40 -0
  58. package/dist/conversation-row.d.ts.map +1 -0
  59. package/dist/conversation-row.js +66 -0
  60. package/dist/conversation.d.ts +72 -51
  61. package/dist/conversation.d.ts.map +1 -1
  62. package/dist/conversation.js +1001 -926
  63. package/dist/declaration.d.ts +10 -0
  64. package/dist/declaration.d.ts.map +1 -0
  65. package/dist/declaration.js +24 -0
  66. package/dist/discovery.d.ts +11 -0
  67. package/dist/discovery.d.ts.map +1 -0
  68. package/dist/discovery.js +157 -0
  69. package/dist/download.d.ts +6 -0
  70. package/dist/download.d.ts.map +1 -0
  71. package/dist/download.js +42 -0
  72. package/dist/durability.d.ts +20 -0
  73. package/dist/durability.d.ts.map +1 -1
  74. package/dist/durability.js +7 -0
  75. package/dist/entry.d.ts +2 -2
  76. package/dist/entry.d.ts.map +1 -1
  77. package/dist/entry.js +18 -8
  78. package/dist/expectation.d.ts +26 -13
  79. package/dist/expectation.d.ts.map +1 -1
  80. package/dist/expectation.js +72 -19
  81. package/dist/failure.d.ts +3 -0
  82. package/dist/failure.d.ts.map +1 -1
  83. package/dist/failure.js +6 -0
  84. package/dist/figures.d.ts +49 -0
  85. package/dist/figures.d.ts.map +1 -0
  86. package/dist/figures.js +199 -0
  87. package/dist/file.d.ts +1 -1
  88. package/dist/file.d.ts.map +1 -1
  89. package/dist/file.js +3 -2
  90. package/dist/holdings.d.ts +29 -0
  91. package/dist/holdings.d.ts.map +1 -0
  92. package/dist/holdings.js +95 -0
  93. package/dist/host.d.ts +21 -7
  94. package/dist/host.d.ts.map +1 -1
  95. package/dist/host.js +83 -41
  96. package/dist/identity.d.ts +0 -1
  97. package/dist/identity.d.ts.map +1 -1
  98. package/dist/identity.js +0 -3
  99. package/dist/index.d.ts +37 -14
  100. package/dist/index.d.ts.map +1 -1
  101. package/dist/index.js +17 -5
  102. package/dist/install.d.ts +60 -0
  103. package/dist/install.d.ts.map +1 -0
  104. package/dist/install.js +537 -0
  105. package/dist/lifecycle.d.ts +7 -0
  106. package/dist/lifecycle.d.ts.map +1 -0
  107. package/dist/lifecycle.js +282 -0
  108. package/dist/listing.d.ts +52 -0
  109. package/dist/listing.d.ts.map +1 -0
  110. package/dist/listing.js +152 -0
  111. package/dist/live.d.ts +9 -6
  112. package/dist/live.d.ts.map +1 -1
  113. package/dist/live.js +118 -36
  114. package/dist/loaded.d.ts +5 -0
  115. package/dist/loaded.d.ts.map +1 -0
  116. package/dist/loaded.js +40 -0
  117. package/dist/locks.d.ts +7 -0
  118. package/dist/locks.d.ts.map +1 -0
  119. package/dist/locks.js +32 -0
  120. package/dist/lost.d.ts +5 -0
  121. package/dist/lost.d.ts.map +1 -0
  122. package/dist/lost.js +49 -0
  123. package/dist/media.d.ts +19 -2
  124. package/dist/media.d.ts.map +1 -1
  125. package/dist/media.js +105 -27
  126. package/dist/memory.d.ts +18 -6
  127. package/dist/memory.d.ts.map +1 -1
  128. package/dist/memory.js +214 -91
  129. package/dist/messages.d.ts +35 -5
  130. package/dist/messages.d.ts.map +1 -1
  131. package/dist/messages.js +109 -39
  132. package/dist/model.d.ts +2 -10
  133. package/dist/model.d.ts.map +1 -1
  134. package/dist/model.js +0 -14
  135. package/dist/models.d.ts +10 -0
  136. package/dist/models.d.ts.map +1 -0
  137. package/dist/models.js +153 -0
  138. package/dist/observation.d.ts +28 -13
  139. package/dist/observation.d.ts.map +1 -1
  140. package/dist/observation.js +185 -81
  141. package/dist/opened.d.ts +1 -1
  142. package/dist/opened.d.ts.map +1 -1
  143. package/dist/opened.js +5 -5
  144. package/dist/opening.d.ts +4 -0
  145. package/dist/opening.d.ts.map +1 -0
  146. package/dist/opening.js +53 -0
  147. package/dist/outcome.d.ts +17 -2
  148. package/dist/outcome.d.ts.map +1 -1
  149. package/dist/outcome.js +35 -2
  150. package/dist/overlay.d.ts +7 -2
  151. package/dist/overlay.d.ts.map +1 -1
  152. package/dist/overlay.js +48 -24
  153. package/dist/page-metadata.d.ts +8 -0
  154. package/dist/page-metadata.d.ts.map +1 -0
  155. package/dist/page-metadata.js +19 -0
  156. package/dist/parts.d.ts +4 -0
  157. package/dist/parts.d.ts.map +1 -0
  158. package/dist/parts.js +13 -0
  159. package/dist/paths.d.ts +1 -0
  160. package/dist/paths.d.ts.map +1 -1
  161. package/dist/paths.js +22 -0
  162. package/dist/preparation.d.ts +41 -0
  163. package/dist/preparation.d.ts.map +1 -0
  164. package/dist/preparation.js +314 -0
  165. package/dist/presence.d.ts +58 -0
  166. package/dist/presence.d.ts.map +1 -0
  167. package/dist/presence.js +231 -0
  168. package/dist/queries.d.ts +16 -0
  169. package/dist/queries.d.ts.map +1 -0
  170. package/dist/queries.js +308 -0
  171. package/dist/query.d.ts +14 -210
  172. package/dist/query.d.ts.map +1 -1
  173. package/dist/query.js +3 -505
  174. package/dist/questions.d.ts +30 -0
  175. package/dist/questions.d.ts.map +1 -0
  176. package/dist/questions.js +116 -0
  177. package/dist/queue.d.ts +40 -0
  178. package/dist/queue.d.ts.map +1 -0
  179. package/dist/queue.js +480 -0
  180. package/dist/reach.d.ts +16 -15
  181. package/dist/reach.d.ts.map +1 -1
  182. package/dist/reach.js +257 -148
  183. package/dist/react.d.ts +19 -3
  184. package/dist/react.d.ts.map +1 -1
  185. package/dist/react.js +33 -1
  186. package/dist/read.d.ts +7 -0
  187. package/dist/read.d.ts.map +1 -0
  188. package/dist/read.js +17 -0
  189. package/dist/readiness.d.ts +9 -6
  190. package/dist/readiness.d.ts.map +1 -1
  191. package/dist/readiness.js +3 -5
  192. package/dist/reads.d.ts +39 -0
  193. package/dist/reads.d.ts.map +1 -0
  194. package/dist/reads.js +178 -0
  195. package/dist/recovery.d.ts +3 -1
  196. package/dist/recovery.d.ts.map +1 -1
  197. package/dist/recovery.js +38 -8
  198. package/dist/refresh.d.ts +2 -1
  199. package/dist/refresh.d.ts.map +1 -1
  200. package/dist/refresh.js +31 -3
  201. package/dist/refusal.d.ts +5 -0
  202. package/dist/refusal.d.ts.map +1 -0
  203. package/dist/refusal.js +55 -0
  204. package/dist/replica.d.ts +11 -16
  205. package/dist/replica.d.ts.map +1 -1
  206. package/dist/replica.js +66 -32
  207. package/dist/retried.d.ts +30 -0
  208. package/dist/retried.d.ts.map +1 -0
  209. package/dist/retried.js +72 -0
  210. package/dist/room-draft.d.ts +34 -10
  211. package/dist/room-draft.d.ts.map +1 -1
  212. package/dist/room-draft.js +331 -111
  213. package/dist/room-drafts.d.ts +24 -0
  214. package/dist/room-drafts.d.ts.map +1 -0
  215. package/dist/room-drafts.js +220 -0
  216. package/dist/room-list.d.ts +10 -0
  217. package/dist/room-list.d.ts.map +1 -0
  218. package/dist/room-list.js +45 -0
  219. package/dist/rows.d.ts +16 -22
  220. package/dist/rows.d.ts.map +1 -1
  221. package/dist/rows.js +49 -186
  222. package/dist/runtime.d.ts +34 -0
  223. package/dist/runtime.d.ts.map +1 -0
  224. package/dist/runtime.js +1 -0
  225. package/dist/save.d.ts +42 -86
  226. package/dist/save.d.ts.map +1 -1
  227. package/dist/save.js +332 -228
  228. package/dist/saves.d.ts +34 -0
  229. package/dist/saves.d.ts.map +1 -0
  230. package/dist/saves.js +437 -0
  231. package/dist/search.d.ts +12 -63
  232. package/dist/search.d.ts.map +1 -1
  233. package/dist/search.js +9 -52
  234. package/dist/seed.d.ts +11 -2
  235. package/dist/seed.d.ts.map +1 -1
  236. package/dist/seed.js +71 -1
  237. package/dist/shared.d.ts +1 -6
  238. package/dist/shared.d.ts.map +1 -1
  239. package/dist/shared.js +13 -95
  240. package/dist/shown.d.ts +35 -0
  241. package/dist/shown.d.ts.map +1 -0
  242. package/dist/shown.js +313 -0
  243. package/dist/socket/admission.d.ts +7 -0
  244. package/dist/socket/admission.d.ts.map +1 -0
  245. package/dist/socket/admission.js +39 -0
  246. package/dist/socket/answers.d.ts +6 -0
  247. package/dist/socket/answers.d.ts.map +1 -0
  248. package/dist/socket/answers.js +20 -0
  249. package/dist/socket/lanes.d.ts +28 -0
  250. package/dist/socket/lanes.d.ts.map +1 -0
  251. package/dist/socket/lanes.js +103 -0
  252. package/dist/socket/reads.d.ts +10 -0
  253. package/dist/socket/reads.d.ts.map +1 -0
  254. package/dist/socket/reads.js +31 -0
  255. package/dist/socket/session.d.ts +38 -0
  256. package/dist/socket/session.d.ts.map +1 -0
  257. package/dist/socket/session.js +23 -0
  258. package/dist/socket.d.ts +67 -0
  259. package/dist/socket.d.ts.map +1 -0
  260. package/dist/socket.js +164 -0
  261. package/dist/source.d.ts +59 -0
  262. package/dist/source.d.ts.map +1 -0
  263. package/dist/source.js +93 -0
  264. package/dist/status.d.ts +0 -2
  265. package/dist/status.d.ts.map +1 -1
  266. package/dist/status.js +0 -6
  267. package/dist/store/installs.d.ts +30 -0
  268. package/dist/store/installs.d.ts.map +1 -0
  269. package/dist/store/installs.js +40 -0
  270. package/dist/store/readiness.d.ts +11 -0
  271. package/dist/store/readiness.d.ts.map +1 -0
  272. package/dist/store/readiness.js +68 -0
  273. package/dist/store/records.d.ts +224 -0
  274. package/dist/store/records.d.ts.map +1 -0
  275. package/dist/store/records.js +466 -0
  276. package/dist/store/room-held.d.ts +8 -0
  277. package/dist/store/room-held.d.ts.map +1 -0
  278. package/dist/store/room-held.js +17 -0
  279. package/dist/store/rooms-shown.d.ts +8 -0
  280. package/dist/store/rooms-shown.d.ts.map +1 -0
  281. package/dist/store/rooms-shown.js +13 -0
  282. package/dist/store/space.d.ts +11 -0
  283. package/dist/store/space.d.ts.map +1 -0
  284. package/dist/store/space.js +41 -0
  285. package/dist/store/watchers.d.ts +17 -0
  286. package/dist/store/watchers.d.ts.map +1 -0
  287. package/dist/store/watchers.js +56 -0
  288. package/dist/store/writes.d.ts +24 -0
  289. package/dist/store/writes.d.ts.map +1 -0
  290. package/dist/store/writes.js +125 -0
  291. package/dist/store.d.ts +115 -143
  292. package/dist/store.d.ts.map +1 -1
  293. package/dist/store.js +171 -364
  294. package/dist/stored.d.ts +72 -35
  295. package/dist/stored.d.ts.map +1 -1
  296. package/dist/stored.js +337 -197
  297. package/dist/surface.d.ts +92 -0
  298. package/dist/surface.d.ts.map +1 -0
  299. package/dist/surface.js +251 -0
  300. package/dist/sync.d.ts +19 -0
  301. package/dist/sync.d.ts.map +1 -0
  302. package/dist/sync.js +538 -0
  303. package/dist/tables.d.ts +118 -67
  304. package/dist/tables.d.ts.map +1 -1
  305. package/dist/tables.js +199 -278
  306. package/dist/tallies.d.ts +18 -0
  307. package/dist/tallies.d.ts.map +1 -0
  308. package/dist/tallies.js +128 -0
  309. package/dist/validation.d.ts.map +1 -1
  310. package/dist/validation.js +9 -12
  311. package/dist/windows.d.ts +1 -12
  312. package/dist/windows.d.ts.map +1 -1
  313. package/dist/windows.js +2 -75
  314. package/dist/wire.d.ts +72 -9
  315. package/dist/wire.d.ts.map +1 -1
  316. package/dist/wire.js +26 -5
  317. package/package.json +3 -2
  318. package/dist/attempt.d.ts +0 -16
  319. package/dist/attempt.d.ts.map +0 -1
  320. package/dist/attempt.js +0 -70
  321. package/dist/fence.d.ts +0 -6
  322. package/dist/fence.d.ts.map +0 -1
  323. package/dist/fence.js +0 -10
  324. package/dist/fulltext.d.ts +0 -27
  325. package/dist/fulltext.d.ts.map +0 -1
  326. package/dist/fulltext.js +0 -370
  327. package/dist/log.d.ts +0 -5
  328. package/dist/log.d.ts.map +0 -1
  329. package/dist/log.js +0 -14
  330. package/dist/words.d.ts +0 -19
  331. package/dist/words.d.ts.map +0 -1
  332. package/dist/words.js +0 -156
@@ -1 +1 @@
1
- {"version":3,"file":"seed.d.ts","sourceRoot":"","sources":["../src/seed.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAA4C,SAAS,EAAE,MAAM,YAAY,CAAC;AAGtF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;CACpF,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC;AAwCjG,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,IAAI,CAe5D;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAoBtD"}
1
+ {"version":3,"file":"seed.d.ts","sourceRoot":"","sources":["../src/seed.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAwB,KAAK,WAAW,EAAqB,MAAM,kBAAkB,CAAC;AAC7F,OAAO,KAAK,EAAE,IAAI,EAA4C,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;CACpF,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjG,KAAK,WAAW,GAAG,CACjB,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,KAAK,KAAK,EACjD,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,KAChC,MAAM,IAAI,CAAC;AA0ChB,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,IAAI,CAe5D;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAmBtD;AA+BD,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAOxF;AAYD,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,CAMlE;AAED,wBAAgB,WAAW,CACzB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,WAAW,GACjB,MAAM,IAAI,CA4BZ"}
package/dist/seed.js CHANGED
@@ -1,4 +1,7 @@
1
+ import { queryKey } from '@agentshouse/mdmodel';
2
+ import { pendingChange, whole } from './observation.js';
1
3
  import { documentKey } from './rows.js';
4
+ const seedTopic = (key) => `seed\u0000${key}`;
2
5
  function plain(value) {
3
6
  return typeof value === 'object' && value !== null && !Array.isArray(value);
4
7
  }
@@ -59,7 +62,6 @@ export function seededResult(seed) {
59
62
  generation,
60
63
  current: false,
61
64
  })),
62
- indexes: [],
63
65
  overlay: [],
64
66
  };
65
67
  if ('groups' in seed.rows) {
@@ -73,3 +75,71 @@ export function seededResult(seed) {
73
75
  keys: seed.rows.documents.map((document) => documentKey(document.room, document.path)),
74
76
  };
75
77
  }
78
+ function seedRoomHeld({ socket }, room, version, held) {
79
+ const stored = held.rooms.get(room);
80
+ return (stored !== undefined &&
81
+ stored.indexed &&
82
+ socket.reads.reached(room, stored.roomVersion, version));
83
+ }
84
+ function seedHeld(runtime, at, held) {
85
+ const { socket, presence } = runtime;
86
+ return Object.entries(at).every(([room, version]) => (socket.session.now().roomsListed &&
87
+ presence.room(room) === undefined &&
88
+ !held.rooms.has(room)) ||
89
+ seedRoomHeld(runtime, room, version, held));
90
+ }
91
+ export function seedApplies(runtime, plan, held) {
92
+ const { seeds } = runtime.store;
93
+ const seed = seeds.of(plan.key);
94
+ if (seed === undefined)
95
+ return null;
96
+ if (!seedHeld(runtime, seed.at, held))
97
+ return seed;
98
+ seeds.drop(plan.key);
99
+ return null;
100
+ }
101
+ function seedBehind(runtime, plan, cover, held) {
102
+ const seed = seedApplies(runtime, plan, held);
103
+ if (seed === null || 'pending' in cover)
104
+ return cover;
105
+ return {
106
+ pending: Object.entries(seed.at)
107
+ .filter(([room, version]) => !seedRoomHeld(runtime, room, version, held))
108
+ .map(([room]) => ({ room, awaits: 'acquisition' })),
109
+ };
110
+ }
111
+ export function keepEntrySeed(store, entry) {
112
+ for (const { query, rows } of entry.queries) {
113
+ const key = queryKey(query);
114
+ store.seeds.keep(key, { rows, at: entry.at });
115
+ for (const watcher of store.watching(seedTopic(key)))
116
+ watcher.answer(null);
117
+ }
118
+ }
119
+ export function watchSeeded(runtime, plan, deliver, watch) {
120
+ const { store } = runtime;
121
+ let seeded = false;
122
+ let pending = true;
123
+ const shown = () => {
124
+ const seed = store.seeds.of(plan.key);
125
+ if (seed === undefined || seeded || !pending)
126
+ return;
127
+ seeded = true;
128
+ deliver(seededResult(seed));
129
+ };
130
+ const watcher = store.watch(seedTopic(plan.key), shown);
131
+ const stop = watch((cover, held) => seedBehind(runtime, plan, cover, held), (message) => {
132
+ const answered = message;
133
+ pending = whole(answered) ? 'pending' in answered.result : pendingChange(answered);
134
+ if (pending && store.seeds.of(plan.key) !== undefined) {
135
+ shown();
136
+ return;
137
+ }
138
+ seeded = false;
139
+ deliver(message);
140
+ });
141
+ return () => {
142
+ watcher.stop();
143
+ stop();
144
+ };
145
+ }
package/dist/shared.d.ts CHANGED
@@ -1,14 +1,9 @@
1
1
  export type Paths<V> = Readonly<Record<string, V>>;
2
+ export declare function guarding<V>(values: Paths<V>, handler: ProxyHandler<Paths<V>>): Paths<V>;
2
3
  export declare function entriesIn<V>(map: Paths<V>): Generator<readonly [string, V]>;
3
4
  export declare function sortedKeys(map: Paths<unknown>): Generator<number, readonly string[], void>;
4
5
  export declare function sorting(keys: Iterable<string>): Generator<number, readonly string[], void>;
5
- export declare function sharing<V>(map: Paths<V>): Generator<number, Paths<V>, void>;
6
- export declare function shared<V>(map: Paths<V>): Paths<V>;
7
- export declare function patched<V>(base: Paths<V>, set: Iterable<readonly [string, V]>, removed?: Iterable<string>): Paths<V>;
8
6
  export declare function patching<V>(base: Paths<V>, set: Iterable<readonly [string, V]>, removed?: Iterable<string>): Generator<number, Paths<V>, void>;
9
- export declare function sizeOf<V>(map: Paths<V>): number;
10
- export declare function differences<V>(left: Paths<V>, right: Paths<V>, same?: (left: V, right: V) => boolean): Generator<number, ReadonlySet<string>, void>;
11
- export declare function differing<V>(left: Paths<V>, right: Paths<V>, same?: (left: V, right: V) => boolean): ReadonlySet<string>;
12
7
  export declare function drafted<V>(base: Paths<V>): Record<string, V>;
13
8
  export declare function settled<V>(draft: Record<string, V>): Paths<V>;
14
9
  export declare function settling<V>(draft: Record<string, V>): Generator<number, Paths<V>, void>;
@@ -1 +1 @@
1
- {"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AA+LnD,wBAAiB,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAO5E;AAuCD,wBAAiB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC,CAE3F;AAED,wBAAiB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC,CAoB3F;AAED,wBAAiB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAE5E;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEjD;AAED,wBAAgB,OAAO,CAAC,CAAC,EACvB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACnC,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAM,GAC7B,KAAK,CAAC,CAAC,CAAC,CAEV;AAED,wBAAiB,QAAQ,CAAC,CAAC,EACzB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACnC,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAM,GAC7B,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAoBnC;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAE/C;AA8CD,wBAAiB,WAAW,CAAC,CAAC,EAC5B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,IAAI,GAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAmB,GAC/C,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAkB9C;AAED,wBAAgB,SAAS,CAAC,CAAC,EACzB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,IAAI,GAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAmB,GAC/C,WAAW,CAAC,MAAM,CAAC,CAErB;AAMD,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAiD5D;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAE7D;AAED,wBAAiB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAUxF"}
1
+ {"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AA8LnD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAIvF;AAED,wBAAiB,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAQ5E;AAqCD,wBAAiB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC,CAE3F;AAED,wBAAiB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC,CAoB3F;AAED,wBAAiB,QAAQ,CAAC,CAAC,EACzB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACnC,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAM,GAC7B,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAgBnC;AAMD,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAiD5D;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAE7D;AAED,wBAAiB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAUxF"}
package/dist/shared.js CHANGED
@@ -100,21 +100,15 @@ function lone(node) {
100
100
  }
101
101
  function taken(node, hash, key, shift) {
102
102
  if (isLeaf(node))
103
- return node.key === key ? undefined : node;
103
+ return undefined;
104
104
  if (isCollision(node)) {
105
105
  const leaves = node.leaves.filter((leaf) => leaf.key !== key);
106
- if (leaves.length === node.leaves.length)
107
- return node;
108
106
  return leaves.length === 1 ? leaves[0] : { hash: node.hash, leaves };
109
107
  }
110
108
  const bit = 1 << fragment(hash, shift);
111
- if ((node.bitmap & bit) === 0)
112
- return node;
113
109
  const at = slot(node.bitmap, bit);
114
110
  const child = node.children[at];
115
111
  const next = taken(child, hash, key, shift + BITS);
116
- if (next === child)
117
- return node;
118
112
  if (next === undefined) {
119
113
  if (node.children.length === 1)
120
114
  return undefined;
@@ -179,11 +173,18 @@ function facade(root) {
179
173
  roots.set(map, root);
180
174
  return map;
181
175
  }
176
+ const guarded = new WeakMap();
177
+ export function guarding(values, handler) {
178
+ const map = new Proxy(values, handler);
179
+ guarded.set(map, values);
180
+ return map;
181
+ }
182
182
  export function* entriesIn(map) {
183
183
  const root = roots.get(map);
184
184
  if (root === undefined) {
185
- for (const key of Object.keys(map))
186
- yield [key, map[key]];
185
+ const values = guarded.get(map) ?? map;
186
+ for (const key of Object.keys(values))
187
+ yield [key, values[key]];
187
188
  return;
188
189
  }
189
190
  for (const leaf of leavesOf(root.node))
@@ -194,13 +195,11 @@ function* rooted(map) {
194
195
  if (held !== undefined)
195
196
  return held;
196
197
  let node;
197
- let size = 0;
198
198
  for (const [key, value] of entriesIn(map)) {
199
199
  node = put(node, { key, hash: hashOf(key), value }, 0);
200
- size += 1;
201
200
  yield ROW_WEIGHT;
202
201
  }
203
- return { node, size };
202
+ return { node };
204
203
  }
205
204
  const RUN = 1 << 10;
206
205
  function* merged(left, right) {
@@ -244,106 +243,25 @@ export function* sorting(keys) {
244
243
  }
245
244
  return runs[0] ?? [];
246
245
  }
247
- export function* sharing(map) {
248
- return roots.has(map) ? map : facade(yield* rooted(map));
249
- }
250
- export function shared(map) {
251
- return finished(sharing(map));
252
- }
253
- export function patched(base, set, removed = []) {
254
- return finished(patching(base, set, removed));
255
- }
256
246
  export function* patching(base, set, removed = []) {
257
247
  const root = yield* rooted(base);
258
248
  let node = root.node;
259
- let size = root.size;
260
249
  for (const key of removed) {
261
250
  if (node === undefined)
262
251
  break;
263
- const before = lookup({ node, size }, key);
252
+ const before = lookup({ node }, key);
264
253
  if (before === undefined)
265
254
  continue;
266
255
  node = taken(node, before.hash, key, 0);
267
- size -= 1;
268
256
  yield ROW_WEIGHT;
269
257
  }
270
258
  for (const [key, value] of set) {
271
- const before = lookup({ node, size }, key);
272
259
  node = put(node, { key, hash: hashOf(key), value }, 0);
273
- if (before === undefined)
274
- size += 1;
275
260
  yield ROW_WEIGHT;
276
261
  }
277
262
  if (node === root.node && roots.has(base))
278
263
  return base;
279
- return facade({ node, size });
280
- }
281
- export function sizeOf(map) {
282
- return roots.get(map)?.size ?? Object.keys(map).length;
283
- }
284
- function* compared(left, right, same, into) {
285
- const pending = [[left, right]];
286
- for (let pair = pending.pop(); pair !== undefined; pair = pending.pop()) {
287
- const [one, other] = pair;
288
- if (one === other)
289
- continue;
290
- if (one !== undefined &&
291
- other !== undefined &&
292
- !isLeaf(one) &&
293
- !isCollision(one) &&
294
- !isLeaf(other) &&
295
- !isCollision(other)) {
296
- const children = [];
297
- for (let remaining = one.bitmap | other.bitmap; remaining !== 0; remaining &= remaining - 1) {
298
- const bit = remaining & -remaining;
299
- children.push([
300
- (one.bitmap & bit) === 0 ? undefined : one.children[slot(one.bitmap, bit)],
301
- (other.bitmap & bit) === 0 ? undefined : other.children[slot(other.bitmap, bit)],
302
- ]);
303
- }
304
- pending.push(...children.reverse());
305
- continue;
306
- }
307
- const before = new Map();
308
- for (const leaf of leavesOf(one)) {
309
- before.set(leaf.key, leaf.value);
310
- yield ROW_WEIGHT;
311
- }
312
- for (const leaf of leavesOf(other)) {
313
- const held = before.get(leaf.key);
314
- before.delete(leaf.key);
315
- if (held === undefined || !same(held, leaf.value))
316
- into.add(leaf.key);
317
- yield ROW_WEIGHT;
318
- }
319
- for (const key of before.keys())
320
- into.add(key);
321
- }
322
- }
323
- export function* differences(left, right, same = Object.is) {
324
- const into = new Set();
325
- if (left === right)
326
- return into;
327
- const leftRoot = roots.get(left);
328
- const rightRoot = roots.get(right);
329
- if (leftRoot !== undefined && rightRoot !== undefined) {
330
- yield* compared(leftRoot.node, rightRoot.node, same, into);
331
- return into;
332
- }
333
- for (const [key, value] of entriesIn(left)) {
334
- if (!Object.hasOwn(right, key) || !same(value, right[key]))
335
- into.add(key);
336
- yield ROW_WEIGHT;
337
- }
338
- for (const [key] of entriesIn(right)) {
339
- if (!Object.hasOwn(left, key))
340
- into.add(key);
341
- yield ROW_WEIGHT;
342
- }
343
- return into;
344
- }
345
- export function differing(left, right, same = Object.is) {
346
- return finished(differences(left, right, same));
264
+ return facade({ node });
347
265
  }
348
266
  const drafts = new WeakMap();
349
267
  const GONE = Symbol('gone');
@@ -0,0 +1,35 @@
1
+ import type { Member } from './adapter.js';
2
+ import { type ChangeSet } from './change-set.js';
3
+ import type { QueueEntry } from './outcome.js';
4
+ import type { Runtime } from './runtime.js';
5
+ import type { Live, Moving } from './socket.js';
6
+ import { type CycleProgress } from './status.js';
7
+ export declare const ROOMS_TOPIC = "rooms";
8
+ export declare const STATUS_TOPIC = "sync-status";
9
+ export declare const REFUSAL_TOPIC = "connection-refusal";
10
+ export declare const STORAGE_LOSS_TOPIC = "storage-loss";
11
+ export declare const SERVICE_MODE_TOPIC = "service-mode";
12
+ export declare const MEMBER_TOPIC = "member";
13
+ export declare const TIME_ZONE_TOPIC = "time-zone";
14
+ export declare const AUTHORITY_TOPIC = "authority-changes";
15
+ export declare const LOCKS_TOPIC = "locks";
16
+ export declare const queueTopic: (locator: string) => string;
17
+ export declare function recoverReads({ liveQueries, figures }: Runtime, locators?: readonly string[]): void;
18
+ export declare function emitRooms(runtime: Runtime, changed?: readonly string[]): Promise<void>;
19
+ export declare function emitKnownRooms(runtime: Runtime): void;
20
+ export declare function emitRefusal(runtime: Runtime): void;
21
+ export declare function storageLossNow({ store }: Runtime): string | null;
22
+ export declare function emitStorageLoss(runtime: Runtime): void;
23
+ export declare function emitMember({ store }: Runtime, member: Member | null): void;
24
+ export declare function emitTimeZone({ store }: Runtime, zone: string | null): void;
25
+ export declare function show(runtime: Runtime): Promise<void>;
26
+ export declare function moveTo(runtime: Runtime, next: Moving): Promise<void>;
27
+ export declare function statusShown(runtime: Runtime): Promise<void>;
28
+ export declare function transferring({ socket }: Runtime): Moving;
29
+ export declare function pendingShown(runtime: Runtime): Promise<void>;
30
+ export declare function entriesOf(runtime: Runtime, locator: string): Promise<readonly QueueEntry[]>;
31
+ export declare function publishChangeSet(runtime: Runtime, set: ChangeSet): Promise<void>;
32
+ export declare function submissionDue(runtime: Runtime, locators?: readonly string[]): Promise<void>;
33
+ export declare function roomUnreadable(runtime: Runtime, locator: string): void;
34
+ export declare function rest(runtime: Runtime, progress: CycleProgress | null, live?: Live): Promise<void>;
35
+ //# sourceMappingURL=shown.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"shown.d.ts","sourceRoot":"","sources":["../src/shown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAA8B,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAI7E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAA6B,KAAK,aAAa,EAAmB,MAAM,aAAa,CAAC;AAiB7F,eAAO,MAAM,WAAW,UAAU,CAAC;AAEnC,eAAO,MAAM,YAAY,gBAAgB,CAAC;AAE1C,eAAO,MAAM,aAAa,uBAAuB,CAAC;AAElD,eAAO,MAAM,kBAAkB,iBAAiB,CAAC;AAEjD,eAAO,MAAM,kBAAkB,iBAAiB,CAAC;AAEjD,eAAO,MAAM,YAAY,WAAW,CAAC;AAErC,eAAO,MAAM,eAAe,cAAc,CAAC;AAE3C,eAAO,MAAM,eAAe,sBAAsB,CAAC;AAEnD,eAAO,MAAM,WAAW,UAAU,CAAC;AAEnC,eAAO,MAAM,UAAU,YAAa,MAAM,WAA4B,CAAC;AAqCvE,wBAAgB,YAAY,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,QAG3F;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAMtF;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,QAI9C;AAiFD,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,QAK3C;AAED,wBAAgB,cAAc,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAGhE;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,QAG/C;AAED,wBAAgB,UAAU,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,QAEnE;AAED,wBAAgB,YAAY,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,QAEnE;AA0BD,wBAAgB,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAepD;AAED,wBAAgB,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAIpE;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAE3D;AAED,wBAAgB,YAAY,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,GAAG,MAAM,CAExD;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAK5D;AAYD,wBAAsB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,UAAU,EAAE,CAAC,CAGjG;AAcD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAuBhF;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAOjG;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,QAG/D;AAED,wBAAsB,IAAI,CACxB,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,aAAa,GAAG,IAAI,EAC9B,IAAI,GAAE,IAAqC,iBAiC5C"}
package/dist/shown.js ADDED
@@ -0,0 +1,313 @@
1
+ import { changeSet, mergeChangeSets } from './change-set.js';
2
+ import { conversationsChanged, conversationsLearned } from './conversation.js';
3
+ import { lossStated } from './durability.js';
4
+ import { listedEntries, listingNow, shownChange, shownRooms } from './listing.js';
5
+ import { emitPresentation, publishRoomDrafts } from './room-drafts.js';
6
+ import { same } from './status.js';
7
+ export const ROOMS_TOPIC = 'rooms';
8
+ export const STATUS_TOPIC = 'sync-status';
9
+ export const REFUSAL_TOPIC = 'connection-refusal';
10
+ export const STORAGE_LOSS_TOPIC = 'storage-loss';
11
+ export const SERVICE_MODE_TOPIC = 'service-mode';
12
+ export const MEMBER_TOPIC = 'member';
13
+ export const TIME_ZONE_TOPIC = 'time-zone';
14
+ export const AUTHORITY_TOPIC = 'authority-changes';
15
+ export const LOCKS_TOPIC = 'locks';
16
+ export const queueTopic = (locator) => `queue\u0000${locator}`;
17
+ async function attended({ store, localSaves }) {
18
+ const held = await store.status();
19
+ const attentionRequired = held.returned.flatMap((record) => record.returned === null
20
+ ? []
21
+ : [{ room: record.locator, path: record.path, returned: structuredClone(record.returned) }]);
22
+ attentionRequired.sort((left, right) => {
23
+ if (left.room !== right.room)
24
+ return left.room < right.room ? -1 : 1;
25
+ if (left.path !== right.path)
26
+ return left.path < right.path ? -1 : 1;
27
+ return 0;
28
+ });
29
+ const changed = new Map();
30
+ if (!localSaves) {
31
+ for (const change of held.unsent)
32
+ changed.set(`${change.room}\u0000${change.path}`, change);
33
+ }
34
+ const unsent = [...changed]
35
+ .sort(([left], [right]) => (left < right ? -1 : left > right ? 1 : 0))
36
+ .map(([, change]) => change);
37
+ return {
38
+ queued: !localSaves && held.queued.length > 0,
39
+ lastCompleted: held.lastCompleted,
40
+ attentionRequired,
41
+ unsent,
42
+ reset: held.resets.reduce((earliest, { reset }) => (earliest !== null && earliest <= reset ? earliest : reset), null),
43
+ };
44
+ }
45
+ async function queuedWork({ store, localSaves }) {
46
+ return !localSaves && (await store.queued()).length > 0;
47
+ }
48
+ export function recoverReads({ liveQueries, figures }, locators) {
49
+ liveQueries.recover(locators);
50
+ figures.recover();
51
+ }
52
+ export function emitRooms(runtime, changed) {
53
+ recoverReads(runtime, changed);
54
+ runtime.store.readiness.queue(changed);
55
+ return changed === undefined
56
+ ? publishRooms(runtime, 'all')
57
+ : publishRooms(runtime, 'changed', changed);
58
+ }
59
+ export function emitKnownRooms(runtime) {
60
+ conversationsLearned(runtime.conversations);
61
+ if (runtime.store.watching(ROOMS_TOPIC, 'waiting').length === 0)
62
+ return;
63
+ void publishRooms(runtime, 'known');
64
+ }
65
+ function roomsOwedWith(held, mode, touched) {
66
+ if (held === undefined) {
67
+ return {
68
+ all: mode === 'all',
69
+ changed: new Set(mode === 'changed' ? touched : []),
70
+ counted: new Set(mode === 'changed' ? [] : touched),
71
+ };
72
+ }
73
+ held.all ||= mode === 'all';
74
+ for (const locator of touched) {
75
+ (mode === 'changed' ? held.changed : held.counted).add(locator);
76
+ }
77
+ return held;
78
+ }
79
+ async function patchedRooms(runtime, owed) {
80
+ const { store } = runtime;
81
+ const touched = [...new Set([...owed.changed, ...owed.counted])];
82
+ const entries = await listedEntries(runtime, touched);
83
+ const shown = store.roomsShown.now();
84
+ if (entries === null || shown === null)
85
+ return false;
86
+ if (runtime.socket.closed())
87
+ return true;
88
+ const moved = entries.filter(({ locator, documents }) => owed.changed.has(locator) || shown.get(locator)?.documents !== documents);
89
+ const counted = moved.flatMap(({ locator }) => (owed.changed.has(locator) ? [] : [locator]));
90
+ if (counted.length > 0) {
91
+ recoverReads(runtime, counted);
92
+ store.readiness.queue(counted);
93
+ }
94
+ store.roomsShown.patch(moved);
95
+ if (moved.length === 0)
96
+ return true;
97
+ const change = shownChange(runtime, moved);
98
+ for (const watcher of store.watching(ROOMS_TOPIC, 'ready'))
99
+ watcher.answer(change);
100
+ return true;
101
+ }
102
+ async function deliverRooms(runtime, owed) {
103
+ const { store, socket } = runtime;
104
+ const waiting = () => store.watching(ROOMS_TOPIC, 'waiting');
105
+ if (socket.closed() || store.watching(ROOMS_TOPIC).length === 0)
106
+ return;
107
+ const touched = owed.changed.size > 0 || owed.counted.size > 0;
108
+ if (!owed.all && touched && waiting().length === 0 && (await patchedRooms(runtime, owed)))
109
+ return;
110
+ if (touched)
111
+ owed.all = true;
112
+ const listing = await listingNow(runtime);
113
+ if (socket.closed())
114
+ return;
115
+ const { roomsListed, refusal, moving } = socket.session.now();
116
+ const joining = waiting().length > 0 &&
117
+ (roomsListed || listing.size > 0 || refusal !== null || moving.providerUnreachable);
118
+ if (!owed.all && !joining)
119
+ return;
120
+ const value = shownRooms(runtime, listing);
121
+ const shown = store.roomsShown.now();
122
+ const moved = owed.all ||
123
+ (shown !== null && JSON.stringify(shownRooms(runtime, shown)) !== JSON.stringify(value));
124
+ if (moved)
125
+ for (const watcher of store.watching(ROOMS_TOPIC, 'ready'))
126
+ watcher.answer(value);
127
+ if (joining)
128
+ for (const watcher of waiting())
129
+ watcher.answer(value);
130
+ store.roomsShown.show(store.watching(ROOMS_TOPIC, 'ready').length === 0 ? null : listing);
131
+ }
132
+ function publishRooms(runtime, mode, touched = []) {
133
+ if (runtime.socket.closed())
134
+ return Promise.resolve();
135
+ return runtime.store.owing(ROOMS_TOPIC, (held) => roomsOwedWith(held, mode, touched), (owed) => deliverRooms(runtime, owed));
136
+ }
137
+ export function emitRefusal(runtime) {
138
+ const { store, socket } = runtime;
139
+ store.readiness.queue([]);
140
+ store.tell(REFUSAL_TOPIC, socket.session.now().refusal);
141
+ emitKnownRooms(runtime);
142
+ }
143
+ export function storageLossNow({ store }) {
144
+ const { persistence, storageLoss } = store.device.now();
145
+ return lossStated(persistence, storageLoss);
146
+ }
147
+ export function emitStorageLoss(runtime) {
148
+ runtime.store.readiness.queue([]);
149
+ runtime.store.tell(STORAGE_LOSS_TOPIC, storageLossNow(runtime));
150
+ }
151
+ export function emitMember({ store }, member) {
152
+ store.tell(MEMBER_TOPIC, member);
153
+ }
154
+ export function emitTimeZone({ store }, zone) {
155
+ store.tell(TIME_ZONE_TOPIC, zone);
156
+ }
157
+ async function deliverStatus(runtime, owed) {
158
+ const { store, socket } = runtime;
159
+ const held = await attended(runtime);
160
+ if (socket.closed())
161
+ return;
162
+ for (const { moving, current } of owed) {
163
+ const state = moving.resting && held.queued ? 'pending' : moving.state;
164
+ const next = {
165
+ state: state === 'synced' && !current ? 'syncing' : state,
166
+ lastCompleted: held.lastCompleted,
167
+ providerUnreachable: moving.providerUnreachable,
168
+ attentionRequired: held.attentionRequired,
169
+ unsent: held.unsent,
170
+ reset: held.reset,
171
+ };
172
+ if (same(store.device.now().status, next))
173
+ continue;
174
+ store.device.set({ status: next });
175
+ store.tell(STATUS_TOPIC, next);
176
+ }
177
+ }
178
+ function conversationsCurrent({ conversations }) {
179
+ return conversations.listed() && conversations.current();
180
+ }
181
+ export function show(runtime) {
182
+ const { store, socket } = runtime;
183
+ if (socket.closed())
184
+ return Promise.resolve();
185
+ store.readiness.queue([]);
186
+ emitKnownRooms(runtime);
187
+ const moved = { moving: socket.session.now().moving, current: conversationsCurrent(runtime) };
188
+ return store.owing(STATUS_TOPIC, (held) => {
189
+ if (held === undefined)
190
+ return [moved];
191
+ held.push(moved);
192
+ return held;
193
+ }, (owed) => deliverStatus(runtime, owed));
194
+ }
195
+ export function moveTo(runtime, next) {
196
+ if (runtime.socket.closed())
197
+ return Promise.resolve();
198
+ runtime.socket.session.set({ moving: next });
199
+ return show(runtime);
200
+ }
201
+ export function statusShown(runtime) {
202
+ return moveTo(runtime, runtime.socket.session.now().moving);
203
+ }
204
+ export function transferring({ socket }) {
205
+ return { ...socket.session.now().moving, state: 'syncing', resting: false };
206
+ }
207
+ export function pendingShown(runtime) {
208
+ const { socket, localSaves } = runtime;
209
+ if (!localSaves)
210
+ socket.session.set({ recorded: false });
211
+ const { moving } = socket.session.now();
212
+ return moveTo(runtime, localSaves ? moving : { ...moving, state: 'pending', resting: false });
213
+ }
214
+ function entryOf({ localSaves }, states, batch) {
215
+ if (localSaves)
216
+ return Object.freeze({ batch, state: 'local' });
217
+ const state = states.get(batch.id);
218
+ return Object.freeze({ batch, ...(state?.submission ?? { state: 'waiting' }) });
219
+ }
220
+ export async function entriesOf(runtime, locator) {
221
+ const { queue, states } = await runtime.store.work(locator);
222
+ return queue.map((batch) => entryOf(runtime, states, batch));
223
+ }
224
+ function emitQueue(runtime, locator) {
225
+ const { store, socket } = runtime;
226
+ const listening = () => store.watching(queueTopic(locator));
227
+ if (socket.closed() || listening().length === 0)
228
+ return Promise.resolve();
229
+ return store.publication(async () => {
230
+ if (socket.closed() || listening().length === 0)
231
+ return;
232
+ const entries = await entriesOf(runtime, locator);
233
+ if (socket.closed())
234
+ return;
235
+ for (const watcher of listening())
236
+ watcher.answer(entries);
237
+ });
238
+ }
239
+ export function publishChangeSet(runtime, set) {
240
+ const { store, liveQueries, figures, conversations } = runtime;
241
+ liveQueries.touched(set);
242
+ figures.touched(set);
243
+ for (const { locator, path } of set.documents) {
244
+ if (path !== null)
245
+ store.attached.drop(locator, path);
246
+ }
247
+ const shownNow = [];
248
+ if (set.queues.length > 0 || set.drafts.length > 0)
249
+ shownNow.push(show(runtime));
250
+ if (set.rooms.length > 0)
251
+ shownNow.push(emitRooms(runtime, set.rooms));
252
+ else if (set.documents.length > 0) {
253
+ shownNow.push(publishRooms(runtime, 'counted', [...new Set(set.documents.map(({ locator }) => locator))]));
254
+ }
255
+ for (const locator of set.queues)
256
+ shownNow.push(emitQueue(runtime, locator));
257
+ if (set.drafts.length > 0)
258
+ shownNow.push(publishRoomDrafts(runtime, false));
259
+ else if (set.documents.length > 0) {
260
+ shownNow.push(publishRoomDrafts(runtime, false, set.documents));
261
+ }
262
+ for (const app of set.presentations)
263
+ shownNow.push(emitPresentation(runtime, app));
264
+ conversationsChanged(conversations, set);
265
+ return Promise.all(shownNow).then(() => undefined);
266
+ }
267
+ export async function submissionDue(runtime, locators) {
268
+ const { store } = runtime;
269
+ const due = (await store.queued()).filter((locator) => locators === undefined || locators.includes(locator));
270
+ if (due.length === 0)
271
+ return;
272
+ await store.changed(mergeChangeSets(due.map((locator) => changeSet(locator, { due: true }))));
273
+ }
274
+ export function roomUnreadable(runtime, locator) {
275
+ runtime.presence.refused(locator, null);
276
+ emitRooms(runtime, [locator]);
277
+ }
278
+ export async function rest(runtime, progress, live = () => !runtime.socket.closed()) {
279
+ const { store, socket, presence } = runtime;
280
+ const { session, lanes } = socket;
281
+ if (!live())
282
+ return;
283
+ const settled = () => session.now().complete &&
284
+ lanes.roomWork() === 0 &&
285
+ !socket.naming() &&
286
+ presence.settled() &&
287
+ conversationsCurrent(runtime);
288
+ let synced = settled();
289
+ if (synced && !session.now().recorded) {
290
+ const queued = await queuedWork(runtime).catch(() => true);
291
+ if (!live())
292
+ return;
293
+ synced = !queued && settled();
294
+ }
295
+ if (synced && !session.now().recorded) {
296
+ const completedAt = new Date().toISOString();
297
+ try {
298
+ await (await store.open()).fact('lastCompleted', completedAt);
299
+ if (!live())
300
+ return;
301
+ session.set({ recorded: true });
302
+ }
303
+ catch {
304
+ synced = false;
305
+ }
306
+ }
307
+ const { complete, moving } = session.now();
308
+ moveTo(runtime, {
309
+ state: synced && complete && lanes.roomWork() === 0 && !socket.naming() ? 'synced' : 'syncing',
310
+ providerUnreachable: progress === null ? moving.providerUnreachable : !progress.reachable,
311
+ resting: true,
312
+ });
313
+ }
@@ -0,0 +1,7 @@
1
+ export type Admission = {
2
+ heldStream(): Promise<() => void>;
3
+ unqueued(): Promise<void>;
4
+ queued(text: number): () => void;
5
+ };
6
+ export declare function createAdmission(): Admission;
7
+ //# sourceMappingURL=admission.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"admission.d.ts","sourceRoot":"","sources":["../../src/socket/admission.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,SAAS,GAAG;IACtB,UAAU,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;IAClC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,IAAI,CAAC;CAClC,CAAC;AAEF,wBAAgB,eAAe,IAAI,SAAS,CAmC3C"}