@agentshouse/mdruntime 0.1.0-cae97ad2e9142 → 0.1.0-caf080a9a9c60

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 (315) hide show
  1. package/README.md +14 -14
  2. package/dist/acceptance.d.ts +3 -0
  3. package/dist/acceptance.d.ts.map +1 -0
  4. package/dist/acceptance.js +318 -0
  5. package/dist/act-lanes.d.ts +29 -0
  6. package/dist/act-lanes.d.ts.map +1 -0
  7. package/dist/act-lanes.js +177 -0
  8. package/dist/actions.d.ts +25 -0
  9. package/dist/actions.d.ts.map +1 -0
  10. package/dist/actions.js +261 -0
  11. package/dist/adapter.d.ts +126 -107
  12. package/dist/adapter.d.ts.map +1 -1
  13. package/dist/attached-model.d.ts +3 -10
  14. package/dist/attached-model.d.ts.map +1 -1
  15. package/dist/attached-model.js +29 -47
  16. package/dist/bootstrap.d.ts +17 -19
  17. package/dist/bootstrap.d.ts.map +1 -1
  18. package/dist/bootstrap.js +266 -135
  19. package/dist/cell.d.ts +6 -0
  20. package/dist/cell.d.ts.map +1 -0
  21. package/dist/cell.js +9 -0
  22. package/dist/chain.d.ts +2 -1
  23. package/dist/chain.d.ts.map +1 -1
  24. package/dist/change-set.d.ts +4 -0
  25. package/dist/change-set.d.ts.map +1 -1
  26. package/dist/change-set.js +6 -0
  27. package/dist/change.d.ts +1 -0
  28. package/dist/change.d.ts.map +1 -1
  29. package/dist/change.js +4 -2
  30. package/dist/chat-types.d.ts +5 -0
  31. package/dist/chat-types.d.ts.map +1 -0
  32. package/dist/chat-types.js +13 -0
  33. package/dist/client.d.ts +28 -18
  34. package/dist/client.d.ts.map +1 -1
  35. package/dist/client.js +84 -20
  36. package/dist/collection.d.ts +28 -7
  37. package/dist/collection.d.ts.map +1 -1
  38. package/dist/collection.js +35 -19
  39. package/dist/compile.d.ts +8 -6
  40. package/dist/compile.d.ts.map +1 -1
  41. package/dist/compile.js +289 -332
  42. package/dist/connection.d.ts +6 -141
  43. package/dist/connection.d.ts.map +1 -1
  44. package/dist/connection.js +111 -5012
  45. package/dist/context.d.ts +2 -0
  46. package/dist/context.d.ts.map +1 -0
  47. package/dist/context.js +7 -0
  48. package/dist/conversation-live.d.ts +138 -0
  49. package/dist/conversation-live.d.ts.map +1 -0
  50. package/dist/conversation-live.js +249 -0
  51. package/dist/conversation-row.d.ts +33 -0
  52. package/dist/conversation-row.d.ts.map +1 -0
  53. package/dist/conversation-row.js +53 -0
  54. package/dist/conversation.d.ts +59 -50
  55. package/dist/conversation.d.ts.map +1 -1
  56. package/dist/conversation.js +938 -832
  57. package/dist/declaration.d.ts +10 -0
  58. package/dist/declaration.d.ts.map +1 -0
  59. package/dist/declaration.js +24 -0
  60. package/dist/discovery.d.ts +10 -0
  61. package/dist/discovery.d.ts.map +1 -0
  62. package/dist/discovery.js +153 -0
  63. package/dist/durability.d.ts +18 -1
  64. package/dist/durability.d.ts.map +1 -1
  65. package/dist/entry.d.ts +3 -2
  66. package/dist/entry.d.ts.map +1 -1
  67. package/dist/entry.js +19 -9
  68. package/dist/expectation.d.ts +26 -13
  69. package/dist/expectation.d.ts.map +1 -1
  70. package/dist/expectation.js +72 -19
  71. package/dist/failure.d.ts +3 -0
  72. package/dist/failure.d.ts.map +1 -1
  73. package/dist/failure.js +6 -0
  74. package/dist/figures.d.ts +49 -0
  75. package/dist/figures.d.ts.map +1 -0
  76. package/dist/figures.js +197 -0
  77. package/dist/file.d.ts +2 -11
  78. package/dist/file.d.ts.map +1 -1
  79. package/dist/file.js +6 -4
  80. package/dist/holdings.d.ts +29 -0
  81. package/dist/holdings.d.ts.map +1 -0
  82. package/dist/holdings.js +95 -0
  83. package/dist/host.d.ts +20 -8
  84. package/dist/host.d.ts.map +1 -1
  85. package/dist/host.js +70 -40
  86. package/dist/identity.d.ts +0 -1
  87. package/dist/identity.d.ts.map +1 -1
  88. package/dist/identity.js +0 -3
  89. package/dist/index.d.ts +33 -12
  90. package/dist/index.d.ts.map +1 -1
  91. package/dist/index.js +14 -3
  92. package/dist/install.d.ts +54 -0
  93. package/dist/install.d.ts.map +1 -0
  94. package/dist/install.js +539 -0
  95. package/dist/lifecycle.d.ts +7 -0
  96. package/dist/lifecycle.d.ts.map +1 -0
  97. package/dist/lifecycle.js +279 -0
  98. package/dist/listing.d.ts +48 -0
  99. package/dist/listing.d.ts.map +1 -0
  100. package/dist/listing.js +139 -0
  101. package/dist/live.d.ts +5 -4
  102. package/dist/live.d.ts.map +1 -1
  103. package/dist/live.js +64 -23
  104. package/dist/locks.d.ts +7 -0
  105. package/dist/locks.d.ts.map +1 -0
  106. package/dist/locks.js +33 -0
  107. package/dist/log.d.ts +1 -0
  108. package/dist/log.d.ts.map +1 -1
  109. package/dist/lost.d.ts +5 -0
  110. package/dist/lost.d.ts.map +1 -0
  111. package/dist/lost.js +50 -0
  112. package/dist/media.d.ts +8 -0
  113. package/dist/media.d.ts.map +1 -0
  114. package/dist/media.js +218 -0
  115. package/dist/memory.d.ts +15 -6
  116. package/dist/memory.d.ts.map +1 -1
  117. package/dist/memory.js +251 -98
  118. package/dist/messages.d.ts +24 -3
  119. package/dist/messages.d.ts.map +1 -1
  120. package/dist/messages.js +92 -32
  121. package/dist/model.d.ts +8 -11
  122. package/dist/model.d.ts.map +1 -1
  123. package/dist/model.js +5 -22
  124. package/dist/models.d.ts +10 -0
  125. package/dist/models.d.ts.map +1 -0
  126. package/dist/models.js +156 -0
  127. package/dist/observation.d.ts +3 -2
  128. package/dist/observation.d.ts.map +1 -1
  129. package/dist/observation.js +15 -15
  130. package/dist/opened.d.ts +1 -1
  131. package/dist/opened.d.ts.map +1 -1
  132. package/dist/opened.js +5 -5
  133. package/dist/opening.d.ts +4 -0
  134. package/dist/opening.d.ts.map +1 -0
  135. package/dist/opening.js +59 -0
  136. package/dist/outcome.d.ts +20 -6
  137. package/dist/outcome.d.ts.map +1 -1
  138. package/dist/outcome.js +34 -2
  139. package/dist/overlay.d.ts +6 -1
  140. package/dist/overlay.d.ts.map +1 -1
  141. package/dist/overlay.js +47 -21
  142. package/dist/page-metadata.d.ts +8 -0
  143. package/dist/page-metadata.d.ts.map +1 -0
  144. package/dist/page-metadata.js +19 -0
  145. package/dist/parts.d.ts +3 -0
  146. package/dist/parts.d.ts.map +1 -0
  147. package/dist/parts.js +10 -0
  148. package/dist/paths.d.ts +2 -0
  149. package/dist/paths.d.ts.map +1 -1
  150. package/dist/paths.js +26 -0
  151. package/dist/preparation.d.ts +20 -0
  152. package/dist/preparation.d.ts.map +1 -0
  153. package/dist/preparation.js +233 -0
  154. package/dist/presence.d.ts +52 -0
  155. package/dist/presence.d.ts.map +1 -0
  156. package/dist/presence.js +220 -0
  157. package/dist/queries.d.ts +16 -0
  158. package/dist/queries.d.ts.map +1 -0
  159. package/dist/queries.js +285 -0
  160. package/dist/query.d.ts +14 -210
  161. package/dist/query.d.ts.map +1 -1
  162. package/dist/query.js +3 -505
  163. package/dist/questions.d.ts +29 -0
  164. package/dist/questions.d.ts.map +1 -0
  165. package/dist/questions.js +115 -0
  166. package/dist/queue.d.ts +40 -0
  167. package/dist/queue.d.ts.map +1 -0
  168. package/dist/queue.js +465 -0
  169. package/dist/reach.d.ts +15 -12
  170. package/dist/reach.d.ts.map +1 -1
  171. package/dist/reach.js +228 -145
  172. package/dist/react.d.ts +15 -2
  173. package/dist/react.d.ts.map +1 -1
  174. package/dist/react.js +33 -1
  175. package/dist/read.d.ts +7 -0
  176. package/dist/read.d.ts.map +1 -0
  177. package/dist/read.js +17 -0
  178. package/dist/readiness.d.ts +3 -18
  179. package/dist/readiness.d.ts.map +1 -1
  180. package/dist/readiness.js +4 -10
  181. package/dist/reads.d.ts +38 -10
  182. package/dist/reads.d.ts.map +1 -1
  183. package/dist/reads.js +163 -85
  184. package/dist/recovery.d.ts +3 -0
  185. package/dist/recovery.d.ts.map +1 -1
  186. package/dist/recovery.js +57 -1
  187. package/dist/refresh.d.ts +7 -5
  188. package/dist/refresh.d.ts.map +1 -1
  189. package/dist/refresh.js +35 -7
  190. package/dist/refusal.d.ts +5 -0
  191. package/dist/refusal.d.ts.map +1 -0
  192. package/dist/refusal.js +57 -0
  193. package/dist/replica.d.ts +13 -19
  194. package/dist/replica.d.ts.map +1 -1
  195. package/dist/replica.js +66 -35
  196. package/dist/retried.d.ts +30 -0
  197. package/dist/retried.d.ts.map +1 -0
  198. package/dist/retried.js +72 -0
  199. package/dist/room-draft.d.ts +24 -10
  200. package/dist/room-draft.d.ts.map +1 -1
  201. package/dist/room-draft.js +142 -106
  202. package/dist/room-drafts.d.ts +24 -0
  203. package/dist/room-drafts.d.ts.map +1 -0
  204. package/dist/room-drafts.js +217 -0
  205. package/dist/rows.d.ts +16 -21
  206. package/dist/rows.d.ts.map +1 -1
  207. package/dist/rows.js +46 -174
  208. package/dist/runtime.d.ts +36 -0
  209. package/dist/runtime.d.ts.map +1 -0
  210. package/dist/runtime.js +1 -0
  211. package/dist/save.d.ts +42 -84
  212. package/dist/save.d.ts.map +1 -1
  213. package/dist/save.js +349 -170
  214. package/dist/saves.d.ts +32 -0
  215. package/dist/saves.d.ts.map +1 -0
  216. package/dist/saves.js +413 -0
  217. package/dist/search.d.ts +12 -63
  218. package/dist/search.d.ts.map +1 -1
  219. package/dist/search.js +9 -52
  220. package/dist/seed.d.ts +11 -2
  221. package/dist/seed.d.ts.map +1 -1
  222. package/dist/seed.js +71 -1
  223. package/dist/shared.d.ts +1 -7
  224. package/dist/shared.d.ts.map +1 -1
  225. package/dist/shared.js +13 -105
  226. package/dist/shown.d.ts +32 -0
  227. package/dist/shown.d.ts.map +1 -0
  228. package/dist/shown.js +290 -0
  229. package/dist/socket/admission.d.ts +7 -0
  230. package/dist/socket/admission.d.ts.map +1 -0
  231. package/dist/socket/admission.js +39 -0
  232. package/dist/socket/answers.d.ts +6 -0
  233. package/dist/socket/answers.d.ts.map +1 -0
  234. package/dist/socket/answers.js +20 -0
  235. package/dist/socket/lanes.d.ts +21 -0
  236. package/dist/socket/lanes.d.ts.map +1 -0
  237. package/dist/socket/lanes.js +80 -0
  238. package/dist/socket/reads.d.ts +10 -0
  239. package/dist/socket/reads.d.ts.map +1 -0
  240. package/dist/socket/reads.js +31 -0
  241. package/dist/socket/session.d.ts +38 -0
  242. package/dist/socket/session.d.ts.map +1 -0
  243. package/dist/socket/session.js +23 -0
  244. package/dist/socket.d.ts +68 -0
  245. package/dist/socket.d.ts.map +1 -0
  246. package/dist/socket.js +171 -0
  247. package/dist/source.d.ts +54 -0
  248. package/dist/source.d.ts.map +1 -0
  249. package/dist/source.js +82 -0
  250. package/dist/status.d.ts +4 -5
  251. package/dist/status.d.ts.map +1 -1
  252. package/dist/status.js +3 -7
  253. package/dist/store/installs.d.ts +30 -0
  254. package/dist/store/installs.d.ts.map +1 -0
  255. package/dist/store/installs.js +34 -0
  256. package/dist/store/readiness.d.ts +10 -0
  257. package/dist/store/readiness.d.ts.map +1 -0
  258. package/dist/store/readiness.js +52 -0
  259. package/dist/store/records.d.ts +212 -0
  260. package/dist/store/records.d.ts.map +1 -0
  261. package/dist/store/records.js +430 -0
  262. package/dist/store/room-held.d.ts +8 -0
  263. package/dist/store/room-held.d.ts.map +1 -0
  264. package/dist/store/room-held.js +17 -0
  265. package/dist/store/space.d.ts +11 -0
  266. package/dist/store/space.d.ts.map +1 -0
  267. package/dist/store/space.js +41 -0
  268. package/dist/store/watchers.d.ts +17 -0
  269. package/dist/store/watchers.d.ts.map +1 -0
  270. package/dist/store/watchers.js +56 -0
  271. package/dist/store/writes.d.ts +24 -0
  272. package/dist/store/writes.d.ts.map +1 -0
  273. package/dist/store/writes.js +125 -0
  274. package/dist/store.d.ts +110 -158
  275. package/dist/store.d.ts.map +1 -1
  276. package/dist/store.js +167 -403
  277. package/dist/stored.d.ts +65 -59
  278. package/dist/stored.d.ts.map +1 -1
  279. package/dist/stored.js +356 -271
  280. package/dist/surface.d.ts +88 -0
  281. package/dist/surface.d.ts.map +1 -0
  282. package/dist/surface.js +223 -0
  283. package/dist/sync.d.ts +19 -0
  284. package/dist/sync.d.ts.map +1 -0
  285. package/dist/sync.js +540 -0
  286. package/dist/tables.d.ts +127 -69
  287. package/dist/tables.d.ts.map +1 -1
  288. package/dist/tables.js +218 -105
  289. package/dist/tallies.d.ts +18 -0
  290. package/dist/tallies.d.ts.map +1 -0
  291. package/dist/tallies.js +129 -0
  292. package/dist/transfer.d.ts +0 -5
  293. package/dist/transfer.d.ts.map +1 -1
  294. package/dist/validation.d.ts +3 -4
  295. package/dist/validation.d.ts.map +1 -1
  296. package/dist/validation.js +42 -100
  297. package/dist/windows.d.ts +1 -12
  298. package/dist/windows.d.ts.map +1 -1
  299. package/dist/windows.js +2 -75
  300. package/dist/wire.d.ts +63 -11
  301. package/dist/wire.d.ts.map +1 -1
  302. package/dist/wire.js +21 -5
  303. package/package.json +3 -2
  304. package/dist/attempt.d.ts +0 -16
  305. package/dist/attempt.d.ts.map +0 -1
  306. package/dist/attempt.js +0 -70
  307. package/dist/fence.d.ts +0 -6
  308. package/dist/fence.d.ts.map +0 -1
  309. package/dist/fence.js +0 -10
  310. package/dist/fulltext.d.ts +0 -27
  311. package/dist/fulltext.d.ts.map +0 -1
  312. package/dist/fulltext.js +0 -368
  313. package/dist/words.d.ts +0 -19
  314. package/dist/words.d.ts.map +0 -1
  315. package/dist/words.js +0 -150
@@ -0,0 +1,279 @@
1
+ import { catchUpConversations, receiveConversationEvent, reconcileConversations, } from './conversation.js';
2
+ import { declared } from './declaration.js';
3
+ import { uncaught } from './failure.js';
4
+ import { catching, replaced } from './install.js';
5
+ import { connectionLost } from './locks.js';
6
+ import { fenceLive } from './lost.js';
7
+ import { cachedModels, revoked, settleModels } from './models.js';
8
+ import { refuse } from './refusal.js';
9
+ import { moveTo, recoverReads, rest, SERVICE_MODE_TOPIC, show, submissionDue, transferring, } from './shown.js';
10
+ import { applyRoom, changeAuthority, countAuthorityChange, finishOpening, loadRoom, OPENING_LANE, reload, resynchronize, sync, } from './sync.js';
11
+ const CONVERSATION_LANE = 'conversations';
12
+ const RELOADING = 'reloading';
13
+ function closing(runtime, opened) {
14
+ const { store, socket } = runtime;
15
+ return socket.lanes.task(OPENING_LANE, async (live) => {
16
+ if (!live())
17
+ return;
18
+ const local = await store.open();
19
+ if (!opened && !socket.isOpen())
20
+ await cachedModels(runtime, local);
21
+ await rest(runtime, null, live);
22
+ });
23
+ }
24
+ function closedSocket(runtime, lapsed, lost, opened) {
25
+ const { socket, presence, conversations } = runtime;
26
+ const { session } = socket;
27
+ socket.notifyReady();
28
+ presence.stopAsking();
29
+ connectionLost(runtime);
30
+ if (lost)
31
+ conversations.lost();
32
+ if (lapsed) {
33
+ void refuse(runtime, 'revoked-authorization');
34
+ return;
35
+ }
36
+ session.set({ complete: false });
37
+ const { streamed, moving } = session.now();
38
+ if (streamed !== null)
39
+ streamed.complete = false;
40
+ moveTo(runtime, {
41
+ ...moving,
42
+ state: moving.state === 'synced' ? 'syncing' : moving.state,
43
+ providerUnreachable: moving.providerUnreachable || (!opened && lost),
44
+ });
45
+ void closing(runtime, opened);
46
+ }
47
+ function owedReloads(runtime, expired, held) {
48
+ const { store, presence } = runtime;
49
+ const reloading = presence
50
+ .rooms()
51
+ .filter((room) => !expired.includes(room.locator) && revoked(held.get(room.locator)?.record.model))
52
+ .map((room) => room.locator);
53
+ for (const locator of reloading)
54
+ catching(store, locator);
55
+ recoverReads(runtime);
56
+ return reloading;
57
+ }
58
+ async function reloadNow(runtime, replacing, progress, held, installing) {
59
+ const { store, socket, presence } = runtime;
60
+ const { lanes } = socket;
61
+ const discovered = presence.rooms();
62
+ const reloaded = discovered.filter((room) => held.has(room.locator) && !installing.has(room.locator) && replacing(room));
63
+ const acquired = discovered.filter((room) => (!held.has(room.locator) || installing.has(room.locator)) &&
64
+ room.replica.admission === 'admitted' &&
65
+ replacing(room));
66
+ for (const room of reloaded)
67
+ presence.reload(room.locator, true);
68
+ try {
69
+ const local = await store.open();
70
+ const kept = acquired.length === 0 ? new Set() : (await local.held()).staged;
71
+ for (const room of reloaded) {
72
+ void lanes
73
+ .roomTask(room.locator, (live) => reload(runtime, room, local, progress, live))
74
+ .then(() => rest(runtime, progress));
75
+ }
76
+ for (const room of acquired) {
77
+ const unheld = installing.has(room.locator) ? undefined : { staged: kept.has(room.locator) };
78
+ void lanes
79
+ .roomTask(room.locator, (live) => loadRoom(runtime, room, local, progress, live, unheld))
80
+ .then(() => rest(runtime, progress));
81
+ }
82
+ runtime.retries.succeeded('download', RELOADING);
83
+ }
84
+ catch (error) {
85
+ runtime.retries.failed('download', RELOADING, error);
86
+ for (const room of reloaded)
87
+ presence.reload(room.locator, false);
88
+ progress.reachable = false;
89
+ }
90
+ }
91
+ function caughtUpRooms(runtime, expired) {
92
+ const { store, socket, presence } = runtime;
93
+ const { session } = socket;
94
+ const progress = session.now().underway;
95
+ session.set({ underway: null });
96
+ socket.named();
97
+ const cycle = progress ?? { complete: true, reachable: true };
98
+ replaced(store, expired);
99
+ const installing = store.installs.underway();
100
+ const held = progress === null ? store.rooms(expired) : store.rooms();
101
+ const reloading = progress === null
102
+ ? Promise.resolve([])
103
+ : held.then((stored) => owedReloads(runtime, expired, stored));
104
+ const replacing = Promise.all([held, reloading]).then(([stored, owed]) => reloadNow(runtime, (room) => expired.includes(room.locator) || owed.includes(room.locator), cycle, stored, installing));
105
+ return socket.lanes.task(OPENING_LANE, async (live) => {
106
+ if (!live())
107
+ return;
108
+ if (progress === null) {
109
+ await replacing;
110
+ await rest(runtime, cycle, live);
111
+ return;
112
+ }
113
+ try {
114
+ const local = await store.open();
115
+ await replacing;
116
+ if (progress.reachable) {
117
+ const stored = await held;
118
+ const owed = await reloading;
119
+ await settleModels(runtime, new Map(presence
120
+ .rooms()
121
+ .filter((room) => stored.has(room.locator) &&
122
+ !expired.includes(room.locator) &&
123
+ !owed.includes(room.locator))
124
+ .map((room) => [room.locator, declared(room)])), 'current', local);
125
+ }
126
+ runtime.retries.succeeded('download', OPENING_LANE);
127
+ }
128
+ catch (error) {
129
+ runtime.retries.failed('download', OPENING_LANE, error);
130
+ progress.complete = false;
131
+ progress.reachable = false;
132
+ }
133
+ if (live())
134
+ await finishOpening(runtime, progress, live);
135
+ });
136
+ }
137
+ function signalled(runtime, mode) {
138
+ const { store, socket, journal } = runtime;
139
+ const { session } = socket;
140
+ const { closed, serviceMode, haltedRefusal, openSignals } = session.now();
141
+ if (closed)
142
+ return;
143
+ if (mode === 'open')
144
+ session.set({ openSignals: openSignals + 1 });
145
+ const releasing = mode === 'open' && (haltedRefusal || serviceMode === 'write-halted');
146
+ if (mode === 'open')
147
+ session.set({ haltedRefusal: false });
148
+ if (mode !== serviceMode) {
149
+ session.set({ serviceMode: mode });
150
+ store.readiness.queue();
151
+ journal.record(`service mode ${mode}`);
152
+ store.tell(SERVICE_MODE_TOPIC, mode);
153
+ }
154
+ if (releasing)
155
+ void submissionDue(runtime);
156
+ }
157
+ async function runCurrency(runtime, live) {
158
+ const { socket, conversations } = runtime;
159
+ const { session } = socket;
160
+ if (session.now().currencyQueued === socket.generation())
161
+ session.set({ currencyQueued: null });
162
+ if (!live())
163
+ return;
164
+ await reconcileConversations(conversations);
165
+ if (conversations.current()) {
166
+ show(runtime);
167
+ return;
168
+ }
169
+ const progress = {
170
+ complete: false,
171
+ reachable: !session.now().moving.providerUnreachable,
172
+ };
173
+ moveTo(runtime, transferring(runtime));
174
+ try {
175
+ await catchUpConversations(conversations, progress);
176
+ runtime.retries.succeeded('conversations', CONVERSATION_LANE);
177
+ }
178
+ catch (error) {
179
+ runtime.retries.failed('conversations', CONVERSATION_LANE, error);
180
+ progress.reachable = false;
181
+ }
182
+ await rest(runtime, progress, live);
183
+ }
184
+ export function scheduleCurrency(runtime) {
185
+ const { socket } = runtime;
186
+ const { session } = socket;
187
+ if (session.now().currencyQueued === socket.generation() || socket.closed() || socket.stopping())
188
+ return;
189
+ session.set({ currencyQueued: socket.generation() });
190
+ void socket.lanes.task(CONVERSATION_LANE, (live) => runCurrency(runtime, live));
191
+ }
192
+ export function spaceFreed(runtime) {
193
+ const { store, socket, journal } = runtime;
194
+ store.prepareAgain();
195
+ journal.record('space freed');
196
+ store.readiness.queue();
197
+ const { closed, authorization } = socket.session.now();
198
+ if (closed || authorization === undefined)
199
+ return;
200
+ if (!socket.streamed)
201
+ void sync(runtime, 'unstreamed', null);
202
+ else
203
+ void resynchronize(runtime);
204
+ }
205
+ export function close({ store, socket, presence, conversations, recovery, liveQueries, figures, }) {
206
+ if (socket.closed())
207
+ return;
208
+ socket.close();
209
+ presence.close();
210
+ conversations.close();
211
+ void recovery.retire();
212
+ liveQueries.close();
213
+ figures.close();
214
+ store.close();
215
+ }
216
+ export async function stop(runtime) {
217
+ const { store, socket, presence, recovery } = runtime;
218
+ socket.session.set({ stopping: true });
219
+ presence.stopAsking();
220
+ socket.stopReads();
221
+ await recovery.retire();
222
+ await socket.lanes.finished();
223
+ await store.written();
224
+ close(runtime);
225
+ }
226
+ export function start(runtime, signal) {
227
+ const { store, socket, presence, conversations, lastAnswers, recovery } = runtime;
228
+ const closeRuntime = () => close(runtime);
229
+ socket.observeServiceMode((mode) => signalled(runtime, mode));
230
+ socket.observeConversations((event) => {
231
+ if (event.kind === 'list' || event.kind === 'listed' || event.kind === 'unlisted')
232
+ store.readiness.queue();
233
+ receiveConversationEvent(conversations, event);
234
+ if (event.kind !== 'gap' || conversations.current())
235
+ return;
236
+ show(runtime);
237
+ scheduleCurrency(runtime);
238
+ });
239
+ signal?.addEventListener('abort', closeRuntime, { once: true });
240
+ if (signal?.aborted)
241
+ closeRuntime();
242
+ socket.observe((event) => {
243
+ if (event.kind === 'opened') {
244
+ presence.connectionLive();
245
+ conversations.reopened();
246
+ lastAnswers.reopened();
247
+ recovery.resume();
248
+ }
249
+ else if (event.kind === 'discovered') {
250
+ if (event.missed)
251
+ countAuthorityChange(runtime);
252
+ void sync(runtime, 'opened', event.discovery);
253
+ }
254
+ else if (event.kind === 'closed') {
255
+ closedSocket(runtime, event.revoked, event.lost, event.opened);
256
+ }
257
+ else if (event.kind === 'caught-up')
258
+ void caughtUpRooms(runtime, event.expired);
259
+ else if (event.kind === 'authority-changed') {
260
+ if (socket.isAnnounced() && socket.isOpen())
261
+ fenceLive(runtime, event.left);
262
+ void changeAuthority(runtime, event);
263
+ }
264
+ else
265
+ void applyRoom(runtime, event);
266
+ });
267
+ void store
268
+ .open()
269
+ .then(async (local) => {
270
+ if ((await local.facts()).capabilities.length > 0)
271
+ socket.readyFromStore();
272
+ })
273
+ .catch((error) => {
274
+ socket.readyFromStore();
275
+ uncaught(error);
276
+ });
277
+ if (!socket.streamed)
278
+ void sync(runtime, 'unstreamed', null);
279
+ }
@@ -0,0 +1,48 @@
1
+ import type { HeldRooms } from '@agentshouse/mdmodel';
2
+ import type { DiscoveredRoom, HeldRoom, OperationScopes, ProviderRefusal, ReplicaAdmission, RoomDeclaration } from './adapter.js';
3
+ import type { Composition } from './collection.js';
4
+ import { type ModelState, type TypesResult } from './model.js';
5
+ import { type PortReach } from './reach.js';
6
+ import type { ReplicaRecord } from './replica.js';
7
+ import type { Runtime } from './runtime.js';
8
+ import type { Stored } from './store.js';
9
+ export type AppTypedSelection = {
10
+ roots: readonly string[];
11
+ model: TypesResult;
12
+ };
13
+ export type AppRoom = {
14
+ name: string;
15
+ locator: string;
16
+ handle: string;
17
+ operations: OperationScopes;
18
+ replica: ReplicaAdmission;
19
+ model: TypesResult;
20
+ typedSelection: AppTypedSelection | null;
21
+ providerOwnedPaths: readonly string[];
22
+ authoredPaths: readonly string[];
23
+ roomVersion: string | null;
24
+ documents: number;
25
+ synchronizationAvailable: boolean;
26
+ refusal: ProviderRefusal | null;
27
+ locked: boolean;
28
+ };
29
+ type ListedRoom = Omit<AppRoom, 'documents' | 'locked'>;
30
+ type ListedEntry = ListedRoom & {
31
+ readonly documents: number;
32
+ };
33
+ export type Listing = ReadonlyMap<string, ListedEntry>;
34
+ export declare function modelIn({ socket, presence }: Runtime, locator: string, stored: Stored | undefined): ModelState;
35
+ export declare function compositionFor(runtime: Runtime, record: ReplicaRecord): Composition;
36
+ export declare function declarationOf({ presence }: Runtime, locator: string, stored: Stored | undefined): {
37
+ readonly room: RoomDeclaration;
38
+ readonly available: boolean;
39
+ } | undefined;
40
+ export declare function listedLocators({ presence }: Runtime, held: ReadonlyMap<string, unknown>): string[];
41
+ export declare function patchedListing(runtime: Runtime, changed: ReadonlySet<string>): Promise<Listing | null>;
42
+ export declare function listingNow(runtime: Runtime): Promise<Listing>;
43
+ export declare function shownRooms({ presence }: Runtime, listing: Listing): readonly AppRoom[];
44
+ export declare function roomFacts(runtime: Runtime, reach?: PortReach | null): Promise<HeldRooms>;
45
+ export declare function heldRooms({ store }: Runtime, listed: readonly DiscoveredRoom[]): Promise<HeldRoom[]>;
46
+ export declare function name(runtime: Runtime, locator: string): Promise<void>;
47
+ export {};
48
+ //# sourceMappingURL=listing.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"listing.d.ts","sourceRoot":"","sources":["../src/listing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,eAAe,EAChB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,OAAO,EAAwB,KAAK,UAAU,EAAE,KAAK,WAAW,EAAE,MAAM,YAAY,CAAC;AACrF,OAAO,EAAkB,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,MAAM,iBAAiB,GAAG;IAC9B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,KAAK,EAAE,WAAW,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,eAAe,CAAC;IAC5B,OAAO,EAAE,gBAAgB,CAAC;IAC1B,KAAK,EAAE,WAAW,CAAC;IACnB,cAAc,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACzC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,wBAAwB,EAAE,OAAO,CAAC;IAClC,OAAO,EAAE,eAAe,GAAG,IAAI,CAAC;IAChC,MAAM,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,KAAK,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,GAAG,QAAQ,CAAC,CAAC;AAExD,KAAK,WAAW,GAAG,UAAU,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/D,MAAM,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;AAEvD,wBAAgB,OAAO,CACrB,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,OAAO,EAC7B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,UAAU,CAIZ;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,GAAG,WAAW,CAKnF;AAED,wBAAgB,aAAa,CAC3B,EAAE,QAAQ,EAAE,EAAE,OAAO,EACrB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,CAQ7E;AAED,wBAAgB,cAAc,CAC5B,EAAE,QAAQ,EAAE,EAAE,OAAO,EACrB,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,MAAM,EAAE,CAGV;AA8CD,wBAAsB,cAAc,CAClC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAYzB;AAED,wBAAsB,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAEnE;AAED,wBAAgB,UAAU,CAAC,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,SAAS,OAAO,EAAE,CAmBtF;AAED,wBAAsB,SAAS,CAC7B,OAAO,EAAE,OAAO,EAChB,KAAK,GAAE,SAAS,GAAG,IAAW,GAC7B,OAAO,CAAC,SAAS,CAAC,CAoBpB;AAED,wBAAsB,SAAS,CAC7B,EAAE,KAAK,EAAE,EAAE,OAAO,EAClB,MAAM,EAAE,SAAS,cAAc,EAAE,GAChC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAYrB;AAED,wBAAsB,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,iBAO3D"}
@@ -0,0 +1,139 @@
1
+ import { declared } from './declaration.js';
2
+ import { modelTypes, NO_MODEL } from './model.js';
3
+ import { governs, holds } from './reach.js';
4
+ export function modelIn({ socket, presence }, locator, stored) {
5
+ if (socket.session.now().refusal?.code === 'revoked-authorization')
6
+ return { status: 'unavailable', reason: 'revoked' };
7
+ return stored?.record.model ?? presence.unheldModel(locator) ?? NO_MODEL;
8
+ }
9
+ export function compositionFor(runtime, record) {
10
+ return runtime.store.composed({
11
+ ...record,
12
+ model: modelIn(runtime, record.locator, { record, indexed: true, documents: 0 }),
13
+ });
14
+ }
15
+ export function declarationOf({ presence }, locator, stored) {
16
+ const listed = presence.room(locator);
17
+ const room = stored?.record.declaration ?? (listed === undefined ? undefined : declared(listed));
18
+ if (room === undefined)
19
+ return undefined;
20
+ return {
21
+ room,
22
+ available: presence.available(locator, stored?.record.declaration.replica.selection),
23
+ };
24
+ }
25
+ export function listedLocators({ presence }, held) {
26
+ const listed = presence.rooms().map(({ locator }) => locator);
27
+ return [...new Set([...listed, ...held.keys()])];
28
+ }
29
+ function selectionModel({ socket, builtIn }) {
30
+ return socket.session.now().refusal?.code === 'revoked-authorization'
31
+ ? { status: 'unavailable', reason: 'revoked' }
32
+ : builtIn;
33
+ }
34
+ function listedRoom(runtime, locator, stored) {
35
+ const declaration = declarationOf(runtime, locator, stored);
36
+ if (declaration === undefined)
37
+ return undefined;
38
+ const { room, available } = declaration;
39
+ const selection = room.typedSelection;
40
+ return {
41
+ name: room.name,
42
+ locator,
43
+ handle: room.handle,
44
+ operations: room.operations,
45
+ replica: room.replica,
46
+ model: modelTypes(modelIn(runtime, locator, stored)),
47
+ typedSelection: selection === null
48
+ ? null
49
+ : { roots: selection.roots, model: modelTypes(selectionModel(runtime)) },
50
+ providerOwnedPaths: room.providerOwnedPaths,
51
+ authoredPaths: room.authoredPaths,
52
+ roomVersion: stored?.record.roomVersion ?? null,
53
+ synchronizationAvailable: available,
54
+ refusal: runtime.presence.refusal(locator),
55
+ documents: stored?.documents ?? 0,
56
+ };
57
+ }
58
+ function listingOf(runtime, held) {
59
+ const listing = new Map();
60
+ for (const locator of listedLocators(runtime, held)) {
61
+ const room = listedRoom(runtime, locator, held.get(locator));
62
+ if (room !== undefined)
63
+ listing.set(locator, room);
64
+ }
65
+ return listing;
66
+ }
67
+ export async function patchedListing(runtime, changed) {
68
+ const { store } = runtime;
69
+ const { roomsShown } = store.device.now();
70
+ if (roomsShown === null)
71
+ return null;
72
+ const held = await store.rooms([...changed]);
73
+ const listing = new Map(roomsShown);
74
+ for (const locator of changed) {
75
+ const room = listedRoom(runtime, locator, held.get(locator));
76
+ if (room === undefined || !listing.has(locator))
77
+ return null;
78
+ listing.set(locator, room);
79
+ }
80
+ return listing;
81
+ }
82
+ export async function listingNow(runtime) {
83
+ return listingOf(runtime, await runtime.store.rooms());
84
+ }
85
+ export function shownRooms({ presence }, listing) {
86
+ const locked = new Set(presence.lockedAmong(new Map([...listing].map(([locator, room]) => [locator, room.replica.offline]))));
87
+ return structuredClone([...listing.values()].map(({ documents, ...room }) => locked.has(room.locator)
88
+ ? {
89
+ ...room,
90
+ model: modelTypes(NO_MODEL),
91
+ typedSelection: null,
92
+ documents: 0,
93
+ locked: true,
94
+ }
95
+ : { ...room, documents, locked: false }));
96
+ }
97
+ export async function roomFacts(runtime, reach = null) {
98
+ const { store, socket, builtIn } = runtime;
99
+ const held = await store.rooms();
100
+ const rooms = [...listingOf(runtime, held).values()]
101
+ .filter((room) => holds(reach, room.locator))
102
+ .map((room) => {
103
+ const governed = governs(reach, room);
104
+ const attached = [
105
+ ...(governed.collection ? [modelIn(runtime, room.locator, held.get(room.locator))] : []),
106
+ ...(governed.selection ? [builtIn] : []),
107
+ ];
108
+ return {
109
+ locator: room.locator,
110
+ available: attached.every((model) => model.status !== 'unavailable'),
111
+ types: attached.flatMap((model) => model.status === 'unavailable' ? [] : Object.values(model.types)),
112
+ };
113
+ });
114
+ return { listed: socket.session.now().roomsListed, rooms };
115
+ }
116
+ export async function heldRooms({ store }, listed) {
117
+ const stored = await store.rooms(listed.map((room) => room.locator));
118
+ return listed.flatMap((room) => {
119
+ const record = stored.get(room.locator)?.record;
120
+ if (record === undefined) {
121
+ return room.replica.admission === 'admitted'
122
+ ? [{ locator: room.locator, roomVersion: null }]
123
+ : [];
124
+ }
125
+ if (record.declaration.replica.selection !== room.replica.selection)
126
+ return [];
127
+ return [{ locator: room.locator, roomVersion: record.roomVersion }];
128
+ });
129
+ }
130
+ export async function name(runtime, locator) {
131
+ const { socket, presence } = runtime;
132
+ const room = presence.room(locator);
133
+ if (!socket.streamed || room === undefined || !socket.isOpen() || !socket.isHanded())
134
+ return;
135
+ const [held] = await heldRooms(runtime, [room]);
136
+ if (held === undefined || !socket.isOpen() || !socket.isHanded())
137
+ return;
138
+ socket.name(held);
139
+ }
package/dist/live.d.ts CHANGED
@@ -1,6 +1,7 @@
1
1
  import type { ChangeSet } from './change-set.js';
2
2
  import { type KeyedResult, type QueryMessage } from './observation.js';
3
3
  import type { PendingResult, Plan, QueryCoverage } from './query.js';
4
+ import type { Fail } from './reach.js';
4
5
  import type { QueryRoom } from './tables.js';
5
6
  export type Cover = {
6
7
  coverage: QueryCoverage;
@@ -9,14 +10,14 @@ export type Cover = {
9
10
  export type Ran = KeyedResult & {
10
11
  readonly current: () => boolean;
11
12
  };
12
- export type Run = (plan: Plan, cover: () => Cover) => Promise<Ran>;
13
+ export type Run = (plan: Plan, cover: () => Promise<Cover>) => Promise<Ran>;
13
14
  type Listener = (message: QueryMessage) => void;
14
- export type LiveQueries = {
15
+ export type LiveQueries<H> = {
15
16
  touched(set: ChangeSet): void;
16
17
  recover(): void;
17
- watch(plan: Plan, identity: string, cover: () => Cover, deliver: Listener): () => void;
18
+ watch(plan: Plan, identity: string, cover: (held: H) => Cover, deliver: Listener, failed: Fail): () => void;
18
19
  close(): void;
19
20
  };
20
- export declare function createLiveQueries(run: Run): LiveQueries;
21
+ export declare function createLiveQueries<H>(run: Run, holding: () => Promise<H>): LiveQueries<H>;
21
22
  export {};
22
23
  //# sourceMappingURL=live.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"live.d.ts","sourceRoot":"","sources":["../src/live.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAIL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAErE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,MAAM,MAAM,KAAK,GAAG;IAAE,QAAQ,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GAAG,aAAa,CAAC;AAE7F,MAAM,MAAM,GAAG,GAAG,WAAW,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAA;CAAE,CAAC;AAEpE,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC;AAEnE,KAAK,QAAQ,GAAG,CAAC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC;AAchD,MAAM,MAAM,WAAW,GAAG;IACxB,OAAO,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,CAAC;IAC9B,OAAO,IAAI,IAAI,CAAC;IAChB,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,EAAE,OAAO,EAAE,QAAQ,GAAG,MAAM,IAAI,CAAC;IACvF,KAAK,IAAI,IAAI,CAAC;CACf,CAAC;AAoCF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,WAAW,CAuFvD"}
1
+ {"version":3,"file":"live.d.ts","sourceRoot":"","sources":["../src/live.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAIL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACrE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAGvC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,MAAM,MAAM,KAAK,GAAG;IAAE,QAAQ,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GAAG,aAAa,CAAC;AAE7F,MAAM,MAAM,GAAG,GAAG,WAAW,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAA;CAAE,CAAC;AAEpE,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC;AAE5E,KAAK,QAAQ,GAAG,CAAC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC;AAchD,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI;IAC3B,OAAO,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,CAAC;IAC9B,OAAO,IAAI,IAAI,CAAC;IAChB,KAAK,CACH,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,KAAK,EACzB,OAAO,EAAE,QAAQ,EACjB,MAAM,EAAE,IAAI,GACX,MAAM,IAAI,CAAC;IACd,KAAK,IAAI,IAAI,CAAC;CACf,CAAC;AAmCF,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CA2HxF"}
package/dist/live.js CHANGED
@@ -1,4 +1,5 @@
1
1
  import { changeOf, digestOf, } from './observation.js';
2
+ import { uncaught } from './failure.js';
2
3
  import { roomOfKey } from './rows.js';
3
4
  function narrowed(plan) {
4
5
  return (plan.paths !== null &&
@@ -14,8 +15,7 @@ function reads(plan, locator) {
14
15
  if (plan.reach === null)
15
16
  return true;
16
17
  return (plan.reach.rooms.includes(locator) ||
17
- plan.reach.documents.some((document) => roomOfKey(document) === locator) ||
18
- plan.reach.areas.some((area) => area.room === locator && area.types.length > 0));
18
+ plan.reach.documents.some((document) => roomOfKey(document) === locator));
19
19
  }
20
20
  function affected(plan, set) {
21
21
  if (set.rooms.some((locator) => reads(plan, locator)))
@@ -23,13 +23,15 @@ function affected(plan, set) {
23
23
  const paths = narrowed(plan) ? new Set(plan.paths) : null;
24
24
  return set.documents.some(({ locator, path }) => reads(plan, locator) && (paths === null || path === null || paths.has(path)));
25
25
  }
26
- function shown(entry) {
27
- const cover = entry.cover();
26
+ function shown(entry, held) {
27
+ const cover = entry.cover(held);
28
28
  return JSON.stringify('pending' in cover ? cover : cover.coverage);
29
29
  }
30
- export function createLiveQueries(run) {
30
+ export function createLiveQueries(run, holding) {
31
31
  const entries = new Map();
32
32
  let closed = false;
33
+ let recovering = false;
34
+ let recoverAgain = false;
33
35
  function deliver(entry, next) {
34
36
  const previous = entry.digest;
35
37
  entry.digest = digestOf(next);
@@ -39,12 +41,19 @@ export function createLiveQueries(run) {
39
41
  for (const listener of entry.ready)
40
42
  listener(change);
41
43
  }
42
- for (const listener of entry.fresh) {
44
+ for (const listener of entry.fresh.keys()) {
43
45
  entry.ready.add(listener);
44
46
  listener(next);
45
47
  }
46
48
  entry.fresh.clear();
47
49
  }
50
+ async function delivered(entry) {
51
+ const { current, ...next } = await run(entry.plan, async () => entry.cover(await holding()));
52
+ if (closed || entry.listeners.size === 0)
53
+ return null;
54
+ deliver(entry, next);
55
+ return current;
56
+ }
48
57
  function schedule(entry) {
49
58
  if (closed || entry.listeners.size === 0)
50
59
  return;
@@ -57,22 +66,61 @@ export function createLiveQueries(run) {
57
66
  try {
58
67
  for (;;) {
59
68
  entry.dirty = false;
60
- const { current, ...next } = await run(entry.plan, entry.cover);
61
- if (closed || entry.listeners.size === 0)
69
+ const current = await delivered(entry);
70
+ if (current === null)
62
71
  return;
63
- deliver(entry, next);
64
- if (!(entry.dirty && !current()) && shown(entry) === entry.covered)
72
+ const held = await holding();
73
+ if (entry.fresh.size > 0 || (entry.dirty && !current()))
74
+ continue;
75
+ if (shown(entry, held) === entry.covered)
65
76
  break;
66
77
  }
67
78
  }
68
- catch {
69
- entry.dirty = false;
79
+ catch (error) {
80
+ const unanswered = [...entry.fresh.values()];
81
+ entry.fresh.clear();
82
+ for (const failed of unanswered)
83
+ failed(error);
70
84
  }
71
85
  finally {
72
86
  entry.running = false;
73
87
  }
74
88
  })();
75
89
  }
90
+ function recovered() {
91
+ if (recovering) {
92
+ recoverAgain = true;
93
+ return;
94
+ }
95
+ recovering = true;
96
+ void (async () => {
97
+ try {
98
+ do {
99
+ recoverAgain = false;
100
+ for (const entry of entries.values()) {
101
+ if (entry.running)
102
+ entry.dirty = true;
103
+ }
104
+ const waiting = [...entries.values()].filter((entry) => !entry.running);
105
+ if (waiting.length === 0 || closed)
106
+ continue;
107
+ const held = await holding();
108
+ for (const entry of waiting) {
109
+ if (entry.running)
110
+ continue;
111
+ if (entry.digest === undefined || shown(entry, held) !== entry.covered)
112
+ schedule(entry);
113
+ }
114
+ } while (recoverAgain && !closed);
115
+ }
116
+ catch (error) {
117
+ uncaught(error);
118
+ }
119
+ finally {
120
+ recovering = false;
121
+ }
122
+ })();
123
+ }
76
124
  return {
77
125
  touched(set) {
78
126
  for (const entry of entries.values()) {
@@ -80,22 +128,15 @@ export function createLiveQueries(run) {
80
128
  schedule(entry);
81
129
  }
82
130
  },
83
- recover() {
84
- for (const entry of entries.values()) {
85
- if (entry.running)
86
- continue;
87
- if (entry.digest === undefined || shown(entry) !== entry.covered)
88
- schedule(entry);
89
- }
90
- },
91
- watch(plan, identity, cover, listener) {
131
+ recover: recovered,
132
+ watch(plan, identity, cover, listener, failed) {
92
133
  let entry = entries.get(identity);
93
134
  if (entry === undefined) {
94
135
  entry = {
95
136
  plan,
96
137
  cover,
97
138
  listeners: new Set(),
98
- fresh: new Set(),
139
+ fresh: new Map(),
99
140
  ready: new Set(),
100
141
  digest: undefined,
101
142
  covered: '',
@@ -106,7 +147,7 @@ export function createLiveQueries(run) {
106
147
  }
107
148
  const held = entry;
108
149
  held.listeners.add(listener);
109
- held.fresh.add(listener);
150
+ held.fresh.set(listener, failed);
110
151
  schedule(held);
111
152
  return () => {
112
153
  held.listeners.delete(listener);
@@ -0,0 +1,7 @@
1
+ import type { Runtime } from './runtime.js';
2
+ export declare function locked({ store, presence }: Runtime, locator: string): Promise<boolean>;
3
+ export declare function lockedRooms({ store, presence }: Runtime): Promise<readonly string[]>;
4
+ export declare function relocked(runtime: Runtime, before: readonly string[]): Promise<void>;
5
+ export declare function connectionLost(runtime: Runtime): void;
6
+ export declare function watchLocks({ store }: Runtime, notify: () => void): () => void;
7
+ //# sourceMappingURL=locks.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"locks.d.ts","sourceRoot":"","sources":["../src/locks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAG5C,wBAAsB,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAE5F;AAED,wBAAsB,WAAW,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,OAAO,GAAG,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAK1F;AAED,wBAAsB,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,iBAMzE;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,QAU9C;AAED,wBAAgB,UAAU,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAE7E"}