@agentshouse/mdruntime 0.1.0-cf1e7fdb9c600 → 0.1.0-cf281e8224a5d

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 (264) hide show
  1. package/README.md +9 -9
  2. package/dist/acceptance.d.ts +6 -0
  3. package/dist/acceptance.d.ts.map +1 -0
  4. package/dist/acceptance.js +385 -0
  5. package/dist/actions.d.ts +20 -0
  6. package/dist/actions.d.ts.map +1 -0
  7. package/dist/actions.js +251 -0
  8. package/dist/adapter.d.ts +24 -25
  9. package/dist/adapter.d.ts.map +1 -1
  10. package/dist/attached-model.d.ts +3 -10
  11. package/dist/attached-model.d.ts.map +1 -1
  12. package/dist/attached-model.js +21 -56
  13. package/dist/bootstrap.d.ts +8 -4
  14. package/dist/bootstrap.d.ts.map +1 -1
  15. package/dist/bootstrap.js +207 -76
  16. package/dist/cell.d.ts +6 -0
  17. package/dist/cell.d.ts.map +1 -0
  18. package/dist/cell.js +9 -0
  19. package/dist/change.d.ts +1 -0
  20. package/dist/change.d.ts.map +1 -1
  21. package/dist/change.js +4 -2
  22. package/dist/chat-types.d.ts +5 -0
  23. package/dist/chat-types.d.ts.map +1 -0
  24. package/dist/chat-types.js +13 -0
  25. package/dist/client.d.ts +18 -2
  26. package/dist/client.d.ts.map +1 -1
  27. package/dist/client.js +7 -2
  28. package/dist/compile.d.ts +5 -0
  29. package/dist/compile.d.ts.map +1 -1
  30. package/dist/compile.js +202 -80
  31. package/dist/connection.d.ts +5 -141
  32. package/dist/connection.d.ts.map +1 -1
  33. package/dist/connection.js +101 -5280
  34. package/dist/conversation-live.d.ts +136 -0
  35. package/dist/conversation-live.d.ts.map +1 -0
  36. package/dist/conversation-live.js +248 -0
  37. package/dist/conversation-row.d.ts +33 -0
  38. package/dist/conversation-row.d.ts.map +1 -0
  39. package/dist/conversation-row.js +53 -0
  40. package/dist/conversation.d.ts +29 -35
  41. package/dist/conversation.d.ts.map +1 -1
  42. package/dist/conversation.js +838 -840
  43. package/dist/discovery.d.ts +10 -0
  44. package/dist/discovery.d.ts.map +1 -0
  45. package/dist/discovery.js +175 -0
  46. package/dist/durability.d.ts +15 -0
  47. package/dist/durability.d.ts.map +1 -1
  48. package/dist/entry.d.ts.map +1 -1
  49. package/dist/entry.js +4 -3
  50. package/dist/expectation.d.ts +4 -2
  51. package/dist/expectation.d.ts.map +1 -1
  52. package/dist/expectation.js +33 -11
  53. package/dist/figures.d.ts +49 -0
  54. package/dist/figures.d.ts.map +1 -0
  55. package/dist/figures.js +197 -0
  56. package/dist/holdings.d.ts +29 -0
  57. package/dist/holdings.d.ts.map +1 -0
  58. package/dist/holdings.js +95 -0
  59. package/dist/host.d.ts +1 -0
  60. package/dist/host.d.ts.map +1 -1
  61. package/dist/host.js +11 -4
  62. package/dist/identity.d.ts +0 -1
  63. package/dist/identity.d.ts.map +1 -1
  64. package/dist/identity.js +0 -3
  65. package/dist/index.d.ts +20 -6
  66. package/dist/index.d.ts.map +1 -1
  67. package/dist/index.js +5 -1
  68. package/dist/install.d.ts +56 -0
  69. package/dist/install.d.ts.map +1 -0
  70. package/dist/install.js +554 -0
  71. package/dist/job.d.ts +20 -1
  72. package/dist/job.d.ts.map +1 -1
  73. package/dist/job.js +26 -0
  74. package/dist/lifecycle.d.ts +7 -0
  75. package/dist/lifecycle.d.ts.map +1 -0
  76. package/dist/lifecycle.js +268 -0
  77. package/dist/listing.d.ts +53 -0
  78. package/dist/listing.d.ts.map +1 -0
  79. package/dist/listing.js +176 -0
  80. package/dist/live.d.ts +4 -4
  81. package/dist/live.d.ts.map +1 -1
  82. package/dist/live.js +52 -16
  83. package/dist/locks.d.ts +9 -0
  84. package/dist/locks.d.ts.map +1 -0
  85. package/dist/locks.js +61 -0
  86. package/dist/log.d.ts +1 -0
  87. package/dist/log.d.ts.map +1 -1
  88. package/dist/lost.d.ts +5 -0
  89. package/dist/lost.d.ts.map +1 -0
  90. package/dist/lost.js +61 -0
  91. package/dist/media.d.ts +1 -1
  92. package/dist/media.d.ts.map +1 -1
  93. package/dist/media.js +3 -3
  94. package/dist/memory.d.ts +3 -1
  95. package/dist/memory.d.ts.map +1 -1
  96. package/dist/memory.js +45 -6
  97. package/dist/messages.d.ts +25 -1
  98. package/dist/messages.d.ts.map +1 -1
  99. package/dist/messages.js +89 -16
  100. package/dist/model.d.ts +1 -7
  101. package/dist/model.d.ts.map +1 -1
  102. package/dist/model.js +0 -6
  103. package/dist/models.d.ts +14 -0
  104. package/dist/models.d.ts.map +1 -0
  105. package/dist/models.js +195 -0
  106. package/dist/observation.d.ts.map +1 -1
  107. package/dist/observation.js +12 -17
  108. package/dist/opened.js +3 -3
  109. package/dist/opening.d.ts +4 -0
  110. package/dist/opening.d.ts.map +1 -0
  111. package/dist/opening.js +57 -0
  112. package/dist/outcome.d.ts +4 -1
  113. package/dist/outcome.d.ts.map +1 -1
  114. package/dist/outcome.js +3 -0
  115. package/dist/overlay.d.ts +1 -0
  116. package/dist/overlay.d.ts.map +1 -1
  117. package/dist/overlay.js +11 -0
  118. package/dist/parts.d.ts +60 -0
  119. package/dist/parts.d.ts.map +1 -0
  120. package/dist/parts.js +126 -0
  121. package/dist/paths.d.ts +1 -0
  122. package/dist/paths.d.ts.map +1 -1
  123. package/dist/paths.js +22 -0
  124. package/dist/preparation.d.ts +20 -0
  125. package/dist/preparation.d.ts.map +1 -0
  126. package/dist/preparation.js +226 -0
  127. package/dist/queries.d.ts +16 -0
  128. package/dist/queries.d.ts.map +1 -0
  129. package/dist/queries.js +272 -0
  130. package/dist/query.d.ts +10 -2
  131. package/dist/query.d.ts.map +1 -1
  132. package/dist/questions.d.ts +34 -0
  133. package/dist/questions.d.ts.map +1 -0
  134. package/dist/questions.js +122 -0
  135. package/dist/reach.d.ts +8 -6
  136. package/dist/reach.d.ts.map +1 -1
  137. package/dist/reach.js +159 -100
  138. package/dist/react.d.ts +11 -1
  139. package/dist/react.d.ts.map +1 -1
  140. package/dist/react.js +10 -1
  141. package/dist/read.d.ts +7 -0
  142. package/dist/read.d.ts.map +1 -0
  143. package/dist/read.js +17 -0
  144. package/dist/readiness.d.ts +0 -1
  145. package/dist/readiness.d.ts.map +1 -1
  146. package/dist/reads.d.ts +37 -0
  147. package/dist/reads.d.ts.map +1 -0
  148. package/dist/reads.js +171 -0
  149. package/dist/recovery.d.ts.map +1 -1
  150. package/dist/recovery.js +9 -1
  151. package/dist/refresh.d.ts +1 -1
  152. package/dist/refresh.d.ts.map +1 -1
  153. package/dist/refresh.js +8 -20
  154. package/dist/refusal.d.ts +5 -0
  155. package/dist/refusal.d.ts.map +1 -0
  156. package/dist/refusal.js +55 -0
  157. package/dist/replica.d.ts +7 -7
  158. package/dist/replica.d.ts.map +1 -1
  159. package/dist/replica.js +51 -19
  160. package/dist/room-draft.d.ts +2 -4
  161. package/dist/room-draft.d.ts.map +1 -1
  162. package/dist/room-draft.js +3 -3
  163. package/dist/room-drafts.d.ts +24 -0
  164. package/dist/room-drafts.d.ts.map +1 -0
  165. package/dist/room-drafts.js +217 -0
  166. package/dist/rows.d.ts +14 -5
  167. package/dist/rows.d.ts.map +1 -1
  168. package/dist/rows.js +50 -58
  169. package/dist/runtime.d.ts +43 -0
  170. package/dist/runtime.d.ts.map +1 -0
  171. package/dist/runtime.js +1 -0
  172. package/dist/save.d.ts +5 -1
  173. package/dist/save.d.ts.map +1 -1
  174. package/dist/save.js +21 -20
  175. package/dist/saves.d.ts +70 -0
  176. package/dist/saves.d.ts.map +1 -0
  177. package/dist/saves.js +1005 -0
  178. package/dist/seed.d.ts +11 -2
  179. package/dist/seed.d.ts.map +1 -1
  180. package/dist/seed.js +71 -1
  181. package/dist/shared.d.ts +1 -6
  182. package/dist/shared.d.ts.map +1 -1
  183. package/dist/shared.js +13 -95
  184. package/dist/shown.d.ts +31 -0
  185. package/dist/shown.d.ts.map +1 -0
  186. package/dist/shown.js +292 -0
  187. package/dist/socket/admission.d.ts +7 -0
  188. package/dist/socket/admission.d.ts.map +1 -0
  189. package/dist/socket/admission.js +39 -0
  190. package/dist/socket/answers.d.ts +6 -0
  191. package/dist/socket/answers.d.ts.map +1 -0
  192. package/dist/socket/answers.js +20 -0
  193. package/dist/socket/lanes.d.ts +20 -0
  194. package/dist/socket/lanes.d.ts.map +1 -0
  195. package/dist/socket/lanes.js +77 -0
  196. package/dist/socket/reads.d.ts +10 -0
  197. package/dist/socket/reads.d.ts.map +1 -0
  198. package/dist/socket/reads.js +31 -0
  199. package/dist/socket/rooms.d.ts +44 -0
  200. package/dist/socket/rooms.d.ts.map +1 -0
  201. package/dist/socket/rooms.js +90 -0
  202. package/dist/socket/session.d.ts +38 -0
  203. package/dist/socket/session.d.ts.map +1 -0
  204. package/dist/socket/session.js +23 -0
  205. package/dist/socket.d.ts +70 -0
  206. package/dist/socket.d.ts.map +1 -0
  207. package/dist/socket.js +175 -0
  208. package/dist/source.d.ts +61 -0
  209. package/dist/source.d.ts.map +1 -0
  210. package/dist/source.js +82 -0
  211. package/dist/status.d.ts +0 -2
  212. package/dist/status.d.ts.map +1 -1
  213. package/dist/status.js +0 -6
  214. package/dist/store/fences.d.ts +16 -0
  215. package/dist/store/fences.d.ts.map +1 -0
  216. package/dist/store/fences.js +26 -0
  217. package/dist/store/installs.d.ts +30 -0
  218. package/dist/store/installs.d.ts.map +1 -0
  219. package/dist/store/installs.js +34 -0
  220. package/dist/store/readiness.d.ts +10 -0
  221. package/dist/store/readiness.d.ts.map +1 -0
  222. package/dist/store/readiness.js +52 -0
  223. package/dist/store/records.d.ts +212 -0
  224. package/dist/store/records.d.ts.map +1 -0
  225. package/dist/store/records.js +431 -0
  226. package/dist/store/room-held.d.ts +8 -0
  227. package/dist/store/room-held.d.ts.map +1 -0
  228. package/dist/store/room-held.js +17 -0
  229. package/dist/store/space.d.ts +11 -0
  230. package/dist/store/space.d.ts.map +1 -0
  231. package/dist/store/space.js +41 -0
  232. package/dist/store/watchers.d.ts +17 -0
  233. package/dist/store/watchers.d.ts.map +1 -0
  234. package/dist/store/watchers.js +56 -0
  235. package/dist/store/writes.d.ts +24 -0
  236. package/dist/store/writes.d.ts.map +1 -0
  237. package/dist/store/writes.js +125 -0
  238. package/dist/store.d.ts +107 -153
  239. package/dist/store.d.ts.map +1 -1
  240. package/dist/store.js +143 -396
  241. package/dist/stored.d.ts +59 -65
  242. package/dist/stored.d.ts.map +1 -1
  243. package/dist/stored.js +255 -149
  244. package/dist/surface.d.ts +88 -0
  245. package/dist/surface.d.ts.map +1 -0
  246. package/dist/surface.js +223 -0
  247. package/dist/sync.d.ts +19 -0
  248. package/dist/sync.d.ts.map +1 -0
  249. package/dist/sync.js +532 -0
  250. package/dist/tables.d.ts +114 -51
  251. package/dist/tables.d.ts.map +1 -1
  252. package/dist/tables.js +209 -57
  253. package/dist/tallies.d.ts +18 -0
  254. package/dist/tallies.d.ts.map +1 -0
  255. package/dist/tallies.js +129 -0
  256. package/dist/validation.d.ts.map +1 -1
  257. package/dist/validation.js +4 -4
  258. package/dist/wire.d.ts +16 -1
  259. package/dist/wire.d.ts.map +1 -1
  260. package/dist/wire.js +6 -0
  261. package/package.json +2 -2
  262. package/dist/fence.d.ts +0 -6
  263. package/dist/fence.d.ts.map +0 -1
  264. package/dist/fence.js +0 -10
package/dist/seed.d.ts CHANGED
@@ -1,5 +1,9 @@
1
- import type { KeyedResult } from './observation.js';
2
- import type { QueryRows } from './query.js';
1
+ import type { Cover } from './live.js';
2
+ import { type KeyedResult } from './observation.js';
3
+ import type { Plan, QueryRows } from './query.js';
4
+ import type { Deliver } from './reach.js';
5
+ import type { Runtime } from './runtime.js';
6
+ import type { HeldCover, Store } from './store.js';
3
7
  export type EntrySeed = {
4
8
  readonly at: Readonly<Record<string, string>>;
5
9
  readonly queries: readonly {
@@ -11,6 +15,11 @@ export type Seeded = {
11
15
  readonly rows: QueryRows;
12
16
  readonly at: Readonly<Record<string, string>>;
13
17
  };
18
+ type SeededWatch = (coverOf: (cover: Cover, held: HeldCover) => Cover, deliver: (message: unknown) => void) => () => void;
14
19
  export declare function entrySeedOf(value: unknown): EntrySeed | null;
15
20
  export declare function seededResult(seed: Seeded): KeyedResult;
21
+ export declare function seedApplies(runtime: Runtime, plan: Plan, held: HeldCover): Seeded | null;
22
+ export declare function keepEntrySeed(store: Store, entry: EntrySeed): void;
23
+ export declare function watchSeeded(runtime: Runtime, plan: Plan, deliver: Deliver, watch: SeededWatch): () => void;
24
+ export {};
16
25
  //# sourceMappingURL=seed.d.ts.map
@@ -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,EAAS,KAAK,WAAW,EAAqB,MAAM,kBAAkB,CAAC;AAC9E,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 { 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 } = runtime;
86
+ return Object.entries(at).every(([room, version]) => (socket.session.now().roomsListed &&
87
+ socket.rooms.declared(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;
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,31 @@
1
+ import type { DiscoveredRoom, 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 AUTHORITY_TOPIC = "authority-changes";
14
+ export declare const LOCKS_TOPIC = "locks";
15
+ export declare const queueTopic: (locator: string) => string;
16
+ export declare function recoverReads({ liveQueries, figures }: Runtime): void;
17
+ export declare function emitRooms(runtime: Runtime, changed?: readonly string[]): Promise<void>;
18
+ export declare function emitKnownRooms(runtime: Runtime): void;
19
+ export declare function emitRefusal(runtime: Runtime): void;
20
+ export declare function emitStorageLoss({ store }: Runtime): void;
21
+ export declare function emitMember({ store }: Runtime, member: Member | null): void;
22
+ export declare function show(runtime: Runtime): Promise<void>;
23
+ export declare function moveTo(runtime: Runtime, next: Moving): Promise<void>;
24
+ export declare function statusShown(runtime: Runtime): Promise<void>;
25
+ export declare function transferring({ socket }: Runtime): Moving;
26
+ export declare function pendingShown(runtime: Runtime): Promise<void>;
27
+ export declare function entriesOf(runtime: Runtime, locator: string): Promise<readonly QueueEntry[]>;
28
+ export declare function publishChangeSet(runtime: Runtime, set: ChangeSet): Promise<void>;
29
+ export declare function roomUnreadable(runtime: Runtime, room: DiscoveredRoom): void;
30
+ export declare function rest(runtime: Runtime, progress: CycleProgress | null, live?: Live): Promise<void>;
31
+ //# 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,cAAc,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAGjD,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,sBAAsB,CAAC;AAEnD,eAAO,MAAM,WAAW,UAAU,CAAC;AAEnC,eAAO,MAAM,UAAU,YAAa,MAAM,WAA4B,CAAC;AA0CvE,wBAAgB,YAAY,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,QAG7D;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;AA8ED,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,QAK3C;AAED,wBAAgB,eAAe,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,QAGjD;AAED,wBAAgB,UAAU,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,QAEnE;AAsBD,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,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,QAIpE;AAED,wBAAsB,IAAI,CACxB,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,aAAa,GAAG,IAAI,EAC9B,IAAI,GAAE,IAAqC,iBAgC5C"}
package/dist/shown.js ADDED
@@ -0,0 +1,292 @@
1
+ import { conversationsChanged, conversationsLearned } from './conversation.js';
2
+ import { listingNow, list, patchedListing, shownRooms } from './listing.js';
3
+ import { emitPresentation, publishRoomDrafts } from './room-drafts.js';
4
+ import { same } from './status.js';
5
+ export const ROOMS_TOPIC = 'rooms';
6
+ export const STATUS_TOPIC = 'sync-status';
7
+ export const REFUSAL_TOPIC = 'connection-refusal';
8
+ export const STORAGE_LOSS_TOPIC = 'storage-loss';
9
+ export const SERVICE_MODE_TOPIC = 'service-mode';
10
+ export const MEMBER_TOPIC = 'member';
11
+ export const AUTHORITY_TOPIC = 'authority-changes';
12
+ export const LOCKS_TOPIC = 'locks';
13
+ export const queueTopic = (locator) => `queue\u0000${locator}`;
14
+ async function attended({ store, localSaves }) {
15
+ const isFenced = store.fences.has;
16
+ const held = await (await store.open()).status();
17
+ const attentionRequired = held.returned.flatMap((record) => record.returned === null || isFenced(record.locator)
18
+ ? []
19
+ : [{ room: record.locator, path: record.path, returned: structuredClone(record.returned) }]);
20
+ attentionRequired.sort((left, right) => {
21
+ if (left.room !== right.room)
22
+ return left.room < right.room ? -1 : 1;
23
+ if (left.path !== right.path)
24
+ return left.path < right.path ? -1 : 1;
25
+ return 0;
26
+ });
27
+ const changed = new Map();
28
+ if (!localSaves) {
29
+ for (const change of held.unsent) {
30
+ if (!isFenced(change.room))
31
+ changed.set(`${change.room}\u0000${change.path}`, change);
32
+ }
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.some((locator) => !isFenced(locator)),
39
+ lastCompleted: held.lastCompleted,
40
+ attentionRequired,
41
+ unsent,
42
+ reset: held.resets.reduce((earliest, { locator, reset }) => isFenced(locator) || (earliest !== null && earliest <= reset) ? earliest : reset, null),
43
+ };
44
+ }
45
+ async function queuedWork({ store, localSaves }) {
46
+ const held = await (await store.open()).queued();
47
+ return !localSaves && held.some((locator) => !store.fences.has(locator));
48
+ }
49
+ export function recoverReads({ liveQueries, figures }) {
50
+ liveQueries.recover();
51
+ figures.recover();
52
+ }
53
+ export function emitRooms(runtime, changed) {
54
+ recoverReads(runtime);
55
+ runtime.store.readiness.queue();
56
+ return changed === undefined
57
+ ? publishRooms(runtime, 'all')
58
+ : publishRooms(runtime, 'changed', changed);
59
+ }
60
+ export function emitKnownRooms(runtime) {
61
+ conversationsLearned(runtime.conversations);
62
+ if (runtime.store.watching(ROOMS_TOPIC, 'waiting').length === 0)
63
+ return;
64
+ void publishRooms(runtime, 'known');
65
+ }
66
+ function roomsOwedWith(held, mode, touched) {
67
+ if (held === undefined) {
68
+ return {
69
+ all: mode === 'all',
70
+ changed: new Set(mode === 'changed' ? touched : []),
71
+ counted: new Set(mode === 'changed' ? [] : touched),
72
+ };
73
+ }
74
+ held.all ||= mode === 'all';
75
+ for (const locator of touched) {
76
+ (mode === 'changed' ? held.changed : held.counted).add(locator);
77
+ }
78
+ return held;
79
+ }
80
+ async function deliverRooms(runtime, owed) {
81
+ const { store, socket } = runtime;
82
+ const waiting = () => store.watching(ROOMS_TOPIC, 'waiting');
83
+ if (socket.closed() || store.watching(ROOMS_TOPIC).length === 0)
84
+ return;
85
+ const patched = owed.all || owed.changed.size === 0 || waiting().length > 0
86
+ ? null
87
+ : await patchedListing(runtime, new Set([...owed.changed, ...owed.counted]));
88
+ if (patched === null && owed.changed.size > 0)
89
+ owed.all = true;
90
+ if (patched === null && !owed.all && owed.counted.size > 0) {
91
+ const held = await store.covering().catch(() => null);
92
+ if (held === null)
93
+ return;
94
+ const { roomsShown } = store.device.now();
95
+ owed.all = [...owed.counted].some((locator) => held.rooms.has(locator) &&
96
+ roomsShown?.get(locator)?.documents !== held.rooms.get(locator).documents);
97
+ if (owed.all) {
98
+ recoverReads(runtime);
99
+ store.readiness.queue();
100
+ }
101
+ else if (waiting().length === 0)
102
+ return;
103
+ }
104
+ const listing = patched ?? (await listingNow(runtime).catch(() => null));
105
+ if (listing === null || socket.closed())
106
+ return;
107
+ const { roomsListed, refusal, moving } = socket.session.now();
108
+ const joining = waiting().length > 0 &&
109
+ (roomsListed || listing.size > 0 || refusal !== null || moving.providerUnreachable);
110
+ if (!owed.all && patched === null && !joining)
111
+ return;
112
+ const value = shownRooms(runtime, listing);
113
+ const { roomsShown } = store.device.now();
114
+ const moved = owed.all ||
115
+ patched !== null ||
116
+ (roomsShown !== null &&
117
+ JSON.stringify(shownRooms(runtime, roomsShown)) !== JSON.stringify(value));
118
+ if (moved)
119
+ for (const watcher of store.watching(ROOMS_TOPIC, 'ready'))
120
+ watcher.answer(value);
121
+ if (joining)
122
+ for (const watcher of waiting())
123
+ watcher.answer(value);
124
+ store.device.set({
125
+ roomsShown: store.watching(ROOMS_TOPIC, 'ready').length === 0 ? null : listing,
126
+ });
127
+ }
128
+ function publishRooms(runtime, mode, touched = []) {
129
+ if (runtime.socket.closed())
130
+ return Promise.resolve();
131
+ return runtime.store.owing(ROOMS_TOPIC, (held) => roomsOwedWith(held, mode, touched), (owed) => deliverRooms(runtime, owed));
132
+ }
133
+ export function emitRefusal(runtime) {
134
+ const { store, socket } = runtime;
135
+ store.readiness.queue();
136
+ store.tell(REFUSAL_TOPIC, socket.session.now().refusal);
137
+ emitKnownRooms(runtime);
138
+ }
139
+ export function emitStorageLoss({ store }) {
140
+ store.readiness.queue();
141
+ store.tell(STORAGE_LOSS_TOPIC, store.device.now().storageLoss);
142
+ }
143
+ export function emitMember({ store }, member) {
144
+ store.tell(MEMBER_TOPIC, member);
145
+ }
146
+ async function deliverStatus(runtime, owed) {
147
+ const { store, socket } = runtime;
148
+ const held = await attended(runtime);
149
+ if (socket.closed())
150
+ return;
151
+ for (const { moving, current } of owed) {
152
+ const state = moving.resting && held.queued ? 'pending' : moving.state;
153
+ const next = {
154
+ state: state === 'synced' && !current ? 'syncing' : state,
155
+ lastCompleted: held.lastCompleted,
156
+ providerUnreachable: moving.providerUnreachable,
157
+ attentionRequired: held.attentionRequired,
158
+ unsent: held.unsent,
159
+ reset: held.reset,
160
+ };
161
+ if (same(store.device.now().status, next))
162
+ continue;
163
+ store.device.set({ status: next });
164
+ store.tell(STATUS_TOPIC, next);
165
+ }
166
+ }
167
+ export function show(runtime) {
168
+ const { store, socket, conversations } = runtime;
169
+ if (socket.closed())
170
+ return Promise.resolve();
171
+ store.readiness.queue();
172
+ emitKnownRooms(runtime);
173
+ const moved = { moving: socket.session.now().moving, current: conversations.current() };
174
+ return store.owing(STATUS_TOPIC, (held) => {
175
+ if (held === undefined)
176
+ return [moved];
177
+ held.push(moved);
178
+ return held;
179
+ }, (owed) => deliverStatus(runtime, owed));
180
+ }
181
+ export function moveTo(runtime, next) {
182
+ if (runtime.socket.closed())
183
+ return Promise.resolve();
184
+ runtime.socket.session.set({ moving: next });
185
+ return show(runtime);
186
+ }
187
+ export function statusShown(runtime) {
188
+ return moveTo(runtime, runtime.socket.session.now().moving);
189
+ }
190
+ export function transferring({ socket }) {
191
+ return { ...socket.session.now().moving, state: 'syncing', resting: false };
192
+ }
193
+ export function pendingShown(runtime) {
194
+ const { socket, localSaves } = runtime;
195
+ if (!localSaves)
196
+ socket.session.set({ recorded: false });
197
+ const { moving } = socket.session.now();
198
+ return moveTo(runtime, localSaves ? moving : { ...moving, state: 'pending', resting: false });
199
+ }
200
+ function entryOf({ localSaves }, states, batch) {
201
+ if (localSaves)
202
+ return Object.freeze({ batch, state: 'local' });
203
+ const state = states.get(batch.id);
204
+ return Object.freeze({ batch, ...(state?.submission ?? { state: 'waiting' }) });
205
+ }
206
+ export async function entriesOf(runtime, locator) {
207
+ const { queue, states } = await runtime.store.work(locator);
208
+ return queue.map((batch) => entryOf(runtime, states, batch));
209
+ }
210
+ function emitQueue(runtime, locator) {
211
+ const { store, socket } = runtime;
212
+ const listening = () => store.watching(queueTopic(locator));
213
+ if (socket.closed() || listening().length === 0)
214
+ return Promise.resolve();
215
+ return store.publication(async () => {
216
+ if (socket.closed() || listening().length === 0)
217
+ return;
218
+ const entries = await entriesOf(runtime, locator);
219
+ if (socket.closed())
220
+ return;
221
+ for (const watcher of listening())
222
+ watcher.answer(entries);
223
+ });
224
+ }
225
+ export function publishChangeSet(runtime, set) {
226
+ const { store, liveQueries, figures, conversations } = runtime;
227
+ liveQueries.touched(set);
228
+ figures.touched(set);
229
+ for (const { locator, path } of set.documents) {
230
+ if (path !== null)
231
+ store.attached.drop(locator, path);
232
+ }
233
+ const shownNow = [];
234
+ if (set.queues.length > 0 || set.drafts.length > 0)
235
+ shownNow.push(show(runtime));
236
+ if (set.rooms.length > 0)
237
+ shownNow.push(emitRooms(runtime, set.rooms));
238
+ else if (set.documents.length > 0) {
239
+ shownNow.push(publishRooms(runtime, 'counted', [...new Set(set.documents.map(({ locator }) => locator))]));
240
+ }
241
+ for (const locator of set.queues)
242
+ shownNow.push(emitQueue(runtime, locator));
243
+ if (set.drafts.length > 0)
244
+ shownNow.push(publishRoomDrafts(runtime, false));
245
+ else if (set.documents.length > 0) {
246
+ shownNow.push(publishRoomDrafts(runtime, false, set.documents));
247
+ }
248
+ for (const app of set.presentations)
249
+ shownNow.push(emitPresentation(runtime, app));
250
+ conversationsChanged(conversations, set);
251
+ return Promise.all(shownNow).then(() => undefined);
252
+ }
253
+ export function roomUnreadable(runtime, room) {
254
+ runtime.socket.rooms.stand(room.locator, { unreadable: true });
255
+ list(runtime, room, false);
256
+ emitRooms(runtime);
257
+ }
258
+ export async function rest(runtime, progress, live = () => !runtime.socket.closed()) {
259
+ const { store, socket } = runtime;
260
+ const { session, lanes, rooms } = socket;
261
+ if (!live())
262
+ return;
263
+ const settled = () => session.now().complete &&
264
+ lanes.roomWork() === 0 &&
265
+ !socket.naming() &&
266
+ rooms.standingWhere(({ stale }) => stale).length === 0;
267
+ let synced = settled();
268
+ if (synced && !session.now().recorded) {
269
+ const queued = await queuedWork(runtime).catch(() => true);
270
+ if (!live())
271
+ return;
272
+ synced = !queued && settled();
273
+ }
274
+ if (synced && !session.now().recorded) {
275
+ const completedAt = new Date().toISOString();
276
+ try {
277
+ await (await store.open()).fact('lastCompleted', completedAt);
278
+ if (!live())
279
+ return;
280
+ session.set({ recorded: true });
281
+ }
282
+ catch {
283
+ synced = false;
284
+ }
285
+ }
286
+ const { complete, moving } = session.now();
287
+ moveTo(runtime, {
288
+ state: synced && complete && lanes.roomWork() === 0 && !socket.naming() ? 'synced' : 'syncing',
289
+ providerUnreachable: progress === null ? moving.providerUnreachable : !progress.reachable,
290
+ resting: true,
291
+ });
292
+ }
@@ -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"}