@agentshouse/mdruntime 0.1.0-cbb8d8acc9d19 → 0.1.0-cbbae1fff01c6

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 (324) hide show
  1. package/README.md +24 -11
  2. package/dist/acceptance.d.ts +3 -0
  3. package/dist/acceptance.d.ts.map +1 -0
  4. package/dist/acceptance.js +308 -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 +194 -90
  9. package/dist/adapter.d.ts.map +1 -1
  10. package/dist/attached-model.d.ts +7 -10
  11. package/dist/attached-model.d.ts.map +1 -1
  12. package/dist/attached-model.js +40 -41
  13. package/dist/attempt.d.ts +16 -0
  14. package/dist/attempt.d.ts.map +1 -0
  15. package/dist/attempt.js +70 -0
  16. package/dist/binary.d.ts +18 -0
  17. package/dist/binary.d.ts.map +1 -0
  18. package/dist/binary.js +8 -0
  19. package/dist/bootstrap.d.ts +37 -5
  20. package/dist/bootstrap.d.ts.map +1 -1
  21. package/dist/bootstrap.js +324 -52
  22. package/dist/cell.d.ts +6 -0
  23. package/dist/cell.d.ts.map +1 -0
  24. package/dist/cell.js +9 -0
  25. package/dist/chain.d.ts +12 -0
  26. package/dist/chain.d.ts.map +1 -0
  27. package/dist/chain.js +64 -0
  28. package/dist/change-set.d.ts +13 -14
  29. package/dist/change-set.d.ts.map +1 -1
  30. package/dist/change-set.js +17 -56
  31. package/dist/change.d.ts +46 -0
  32. package/dist/change.d.ts.map +1 -1
  33. package/dist/change.js +36 -0
  34. package/dist/chat-types.d.ts +5 -0
  35. package/dist/chat-types.d.ts.map +1 -0
  36. package/dist/chat-types.js +13 -0
  37. package/dist/client.d.ts +56 -18
  38. package/dist/client.d.ts.map +1 -1
  39. package/dist/client.js +164 -23
  40. package/dist/collection.d.ts +31 -14
  41. package/dist/collection.d.ts.map +1 -1
  42. package/dist/collection.js +61 -55
  43. package/dist/compile.d.ts +16 -0
  44. package/dist/compile.d.ts.map +1 -0
  45. package/dist/compile.js +711 -0
  46. package/dist/connection.d.ts +8 -104
  47. package/dist/connection.d.ts.map +1 -1
  48. package/dist/connection.js +107 -2094
  49. package/dist/context.d.ts +2 -0
  50. package/dist/context.d.ts.map +1 -0
  51. package/dist/context.js +7 -0
  52. package/dist/conversation-live.d.ts +135 -0
  53. package/dist/conversation-live.d.ts.map +1 -0
  54. package/dist/conversation-live.js +247 -0
  55. package/dist/conversation-row.d.ts +33 -0
  56. package/dist/conversation-row.d.ts.map +1 -0
  57. package/dist/conversation-row.js +53 -0
  58. package/dist/conversation.d.ts +67 -44
  59. package/dist/conversation.d.ts.map +1 -1
  60. package/dist/conversation.js +1010 -549
  61. package/dist/declaration.d.ts +10 -0
  62. package/dist/declaration.d.ts.map +1 -0
  63. package/dist/declaration.js +24 -0
  64. package/dist/digest.d.ts +7 -0
  65. package/dist/digest.d.ts.map +1 -0
  66. package/dist/digest.js +113 -0
  67. package/dist/discovery.d.ts +10 -0
  68. package/dist/discovery.d.ts.map +1 -0
  69. package/dist/discovery.js +148 -0
  70. package/dist/durability.d.ts +19 -1
  71. package/dist/durability.d.ts.map +1 -1
  72. package/dist/durability.js +5 -0
  73. package/dist/entry.d.ts +20 -0
  74. package/dist/entry.d.ts.map +1 -0
  75. package/dist/entry.js +161 -0
  76. package/dist/expectation.d.ts +23 -0
  77. package/dist/expectation.d.ts.map +1 -0
  78. package/dist/expectation.js +92 -0
  79. package/dist/failure.d.ts +14 -0
  80. package/dist/failure.d.ts.map +1 -0
  81. package/dist/failure.js +22 -0
  82. package/dist/figures.d.ts +49 -0
  83. package/dist/figures.d.ts.map +1 -0
  84. package/dist/figures.js +197 -0
  85. package/dist/file.d.ts +2 -19
  86. package/dist/file.d.ts.map +1 -1
  87. package/dist/file.js +7 -122
  88. package/dist/holdings.d.ts +29 -0
  89. package/dist/holdings.d.ts.map +1 -0
  90. package/dist/holdings.js +95 -0
  91. package/dist/host.d.ts +28 -4
  92. package/dist/host.d.ts.map +1 -1
  93. package/dist/host.js +149 -27
  94. package/dist/identity.d.ts +3 -0
  95. package/dist/identity.d.ts.map +1 -1
  96. package/dist/identity.js +13 -1
  97. package/dist/index.d.ts +40 -10
  98. package/dist/index.d.ts.map +1 -1
  99. package/dist/index.js +17 -0
  100. package/dist/install.d.ts +54 -0
  101. package/dist/install.d.ts.map +1 -0
  102. package/dist/install.js +538 -0
  103. package/dist/job.d.ts +5 -0
  104. package/dist/job.d.ts.map +1 -0
  105. package/dist/job.js +7 -0
  106. package/dist/lifecycle.d.ts +7 -0
  107. package/dist/lifecycle.d.ts.map +1 -0
  108. package/dist/lifecycle.js +272 -0
  109. package/dist/listing.d.ts +48 -0
  110. package/dist/listing.d.ts.map +1 -0
  111. package/dist/listing.js +139 -0
  112. package/dist/live.d.ts +23 -0
  113. package/dist/live.d.ts.map +1 -0
  114. package/dist/live.js +165 -0
  115. package/dist/locks.d.ts +7 -0
  116. package/dist/locks.d.ts.map +1 -0
  117. package/dist/locks.js +33 -0
  118. package/dist/log.d.ts +1 -0
  119. package/dist/log.d.ts.map +1 -1
  120. package/dist/lost.d.ts +5 -0
  121. package/dist/lost.d.ts.map +1 -0
  122. package/dist/lost.js +50 -0
  123. package/dist/media.d.ts +8 -0
  124. package/dist/media.d.ts.map +1 -0
  125. package/dist/media.js +218 -0
  126. package/dist/memory.d.ts +25 -8
  127. package/dist/memory.d.ts.map +1 -1
  128. package/dist/memory.js +295 -99
  129. package/dist/messages.d.ts +49 -0
  130. package/dist/messages.d.ts.map +1 -0
  131. package/dist/messages.js +148 -0
  132. package/dist/model.d.ts +13 -13
  133. package/dist/model.d.ts.map +1 -1
  134. package/dist/model.js +7 -15
  135. package/dist/models.d.ts +10 -0
  136. package/dist/models.d.ts.map +1 -0
  137. package/dist/models.js +156 -0
  138. package/dist/name.d.ts +4 -0
  139. package/dist/name.d.ts.map +1 -0
  140. package/dist/name.js +122 -0
  141. package/dist/observation.d.ts +22 -4
  142. package/dist/observation.d.ts.map +1 -1
  143. package/dist/observation.js +127 -26
  144. package/dist/open.d.ts +2 -0
  145. package/dist/open.d.ts.map +1 -0
  146. package/dist/open.js +1 -0
  147. package/dist/opened.d.ts +22 -0
  148. package/dist/opened.d.ts.map +1 -0
  149. package/dist/opened.js +107 -0
  150. package/dist/opening.d.ts +4 -0
  151. package/dist/opening.d.ts.map +1 -0
  152. package/dist/opening.js +59 -0
  153. package/dist/outcome.d.ts +75 -5
  154. package/dist/outcome.d.ts.map +1 -1
  155. package/dist/outcome.js +84 -1
  156. package/dist/overlay.d.ts +17 -5
  157. package/dist/overlay.d.ts.map +1 -1
  158. package/dist/overlay.js +168 -190
  159. package/dist/parts.d.ts +11 -0
  160. package/dist/parts.d.ts.map +1 -0
  161. package/dist/parts.js +21 -0
  162. package/dist/paths.d.ts +2 -0
  163. package/dist/paths.d.ts.map +1 -1
  164. package/dist/paths.js +26 -0
  165. package/dist/preparation.d.ts +20 -0
  166. package/dist/preparation.d.ts.map +1 -0
  167. package/dist/preparation.js +233 -0
  168. package/dist/presence.d.ts +52 -0
  169. package/dist/presence.d.ts.map +1 -0
  170. package/dist/presence.js +220 -0
  171. package/dist/queries.d.ts +16 -0
  172. package/dist/queries.d.ts.map +1 -0
  173. package/dist/queries.js +270 -0
  174. package/dist/query.d.ts +51 -181
  175. package/dist/query.d.ts.map +1 -1
  176. package/dist/query.js +3 -461
  177. package/dist/questions.d.ts +34 -0
  178. package/dist/questions.d.ts.map +1 -0
  179. package/dist/questions.js +122 -0
  180. package/dist/queue.d.ts +40 -0
  181. package/dist/queue.d.ts.map +1 -0
  182. package/dist/queue.js +455 -0
  183. package/dist/reach.d.ts +21 -5
  184. package/dist/reach.d.ts.map +1 -1
  185. package/dist/reach.js +305 -80
  186. package/dist/react.d.ts +43 -20
  187. package/dist/react.d.ts.map +1 -1
  188. package/dist/react.js +22 -21
  189. package/dist/read.d.ts +7 -0
  190. package/dist/read.d.ts.map +1 -0
  191. package/dist/read.js +17 -0
  192. package/dist/readiness.d.ts +49 -0
  193. package/dist/readiness.d.ts.map +1 -0
  194. package/dist/readiness.js +27 -0
  195. package/dist/reads.d.ts +37 -0
  196. package/dist/reads.d.ts.map +1 -0
  197. package/dist/reads.js +174 -0
  198. package/dist/recovery.d.ts +26 -0
  199. package/dist/recovery.d.ts.map +1 -0
  200. package/dist/recovery.js +232 -0
  201. package/dist/refresh.d.ts +20 -7
  202. package/dist/refresh.d.ts.map +1 -1
  203. package/dist/refresh.js +155 -59
  204. package/dist/refusal.d.ts +5 -0
  205. package/dist/refusal.d.ts.map +1 -0
  206. package/dist/refusal.js +57 -0
  207. package/dist/replica.d.ts +53 -33
  208. package/dist/replica.d.ts.map +1 -1
  209. package/dist/replica.js +361 -164
  210. package/dist/room-draft.d.ts +58 -12
  211. package/dist/room-draft.d.ts.map +1 -1
  212. package/dist/room-draft.js +270 -90
  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 +217 -0
  216. package/dist/rows.d.ts +32 -35
  217. package/dist/rows.d.ts.map +1 -1
  218. package/dist/rows.js +64 -124
  219. package/dist/runtime.d.ts +34 -0
  220. package/dist/runtime.d.ts.map +1 -0
  221. package/dist/runtime.js +1 -0
  222. package/dist/save.d.ts +46 -22
  223. package/dist/save.d.ts.map +1 -1
  224. package/dist/save.js +969 -171
  225. package/dist/saves.d.ts +32 -0
  226. package/dist/saves.d.ts.map +1 -0
  227. package/dist/saves.js +413 -0
  228. package/dist/search.d.ts +15 -54
  229. package/dist/search.d.ts.map +1 -1
  230. package/dist/search.js +10 -121
  231. package/dist/seed.d.ts +25 -0
  232. package/dist/seed.d.ts.map +1 -0
  233. package/dist/seed.js +145 -0
  234. package/dist/shared.d.ts +10 -0
  235. package/dist/shared.d.ts.map +1 -0
  236. package/dist/shared.js +339 -0
  237. package/dist/shown.d.ts +32 -0
  238. package/dist/shown.d.ts.map +1 -0
  239. package/dist/shown.js +290 -0
  240. package/dist/socket/admission.d.ts +7 -0
  241. package/dist/socket/admission.d.ts.map +1 -0
  242. package/dist/socket/admission.js +39 -0
  243. package/dist/socket/answers.d.ts +6 -0
  244. package/dist/socket/answers.d.ts.map +1 -0
  245. package/dist/socket/answers.js +20 -0
  246. package/dist/socket/lanes.d.ts +20 -0
  247. package/dist/socket/lanes.d.ts.map +1 -0
  248. package/dist/socket/lanes.js +77 -0
  249. package/dist/socket/reads.d.ts +10 -0
  250. package/dist/socket/reads.d.ts.map +1 -0
  251. package/dist/socket/reads.js +31 -0
  252. package/dist/socket/session.d.ts +38 -0
  253. package/dist/socket/session.d.ts.map +1 -0
  254. package/dist/socket/session.js +23 -0
  255. package/dist/socket.d.ts +67 -0
  256. package/dist/socket.d.ts.map +1 -0
  257. package/dist/socket.js +170 -0
  258. package/dist/source.d.ts +61 -0
  259. package/dist/source.d.ts.map +1 -0
  260. package/dist/source.js +82 -0
  261. package/dist/status.d.ts +7 -4
  262. package/dist/status.d.ts.map +1 -1
  263. package/dist/status.js +3 -15
  264. package/dist/store/installs.d.ts +30 -0
  265. package/dist/store/installs.d.ts.map +1 -0
  266. package/dist/store/installs.js +34 -0
  267. package/dist/store/readiness.d.ts +10 -0
  268. package/dist/store/readiness.d.ts.map +1 -0
  269. package/dist/store/readiness.js +52 -0
  270. package/dist/store/records.d.ts +210 -0
  271. package/dist/store/records.d.ts.map +1 -0
  272. package/dist/store/records.js +428 -0
  273. package/dist/store/room-held.d.ts +8 -0
  274. package/dist/store/room-held.d.ts.map +1 -0
  275. package/dist/store/room-held.js +17 -0
  276. package/dist/store/space.d.ts +11 -0
  277. package/dist/store/space.d.ts.map +1 -0
  278. package/dist/store/space.js +41 -0
  279. package/dist/store/watchers.d.ts +17 -0
  280. package/dist/store/watchers.d.ts.map +1 -0
  281. package/dist/store/watchers.js +56 -0
  282. package/dist/store/writes.d.ts +24 -0
  283. package/dist/store/writes.d.ts.map +1 -0
  284. package/dist/store/writes.js +125 -0
  285. package/dist/store.d.ts +109 -94
  286. package/dist/store.d.ts.map +1 -1
  287. package/dist/store.js +161 -384
  288. package/dist/stored.d.ts +156 -0
  289. package/dist/stored.d.ts.map +1 -0
  290. package/dist/stored.js +649 -0
  291. package/dist/surface.d.ts +88 -0
  292. package/dist/surface.d.ts.map +1 -0
  293. package/dist/surface.js +223 -0
  294. package/dist/sync.d.ts +19 -0
  295. package/dist/sync.d.ts.map +1 -0
  296. package/dist/sync.js +521 -0
  297. package/dist/tables.d.ts +412 -0
  298. package/dist/tables.d.ts.map +1 -0
  299. package/dist/tables.js +737 -0
  300. package/dist/tallies.d.ts +18 -0
  301. package/dist/tallies.d.ts.map +1 -0
  302. package/dist/tallies.js +129 -0
  303. package/dist/transfer.d.ts +0 -5
  304. package/dist/transfer.d.ts.map +1 -1
  305. package/dist/turn.d.ts +9 -0
  306. package/dist/turn.d.ts.map +1 -0
  307. package/dist/turn.js +75 -0
  308. package/dist/validation.d.ts +29 -0
  309. package/dist/validation.d.ts.map +1 -0
  310. package/dist/validation.js +104 -0
  311. package/dist/windows.d.ts +11 -0
  312. package/dist/windows.d.ts.map +1 -0
  313. package/dist/windows.js +16 -0
  314. package/dist/wire.d.ts +189 -37
  315. package/dist/wire.d.ts.map +1 -1
  316. package/dist/wire.js +77 -33
  317. package/package.json +27 -15
  318. package/AGENTS.md +0 -244
  319. package/dist/attachment.d.ts +0 -3
  320. package/dist/attachment.d.ts.map +0 -1
  321. package/dist/attachment.js +0 -8
  322. package/dist/read-side.d.ts +0 -18
  323. package/dist/read-side.d.ts.map +0 -1
  324. package/dist/read-side.js +0 -433
@@ -0,0 +1,233 @@
1
+ import { changeSet } from './change-set.js';
2
+ import { uncaught } from './failure.js';
3
+ import { installationOf } from './install.js';
4
+ import { listedLocators } from './listing.js';
5
+ import { planReach } from './reach.js';
6
+ import { readinessOf, } from './readiness.js';
7
+ import { roomOfKey } from './rows.js';
8
+ import { recoverReads } from './shown.js';
9
+ import { yielded } from './turn.js';
10
+ async function prepareReplica(runtime, locator) {
11
+ const { store, socket } = runtime;
12
+ for (;;) {
13
+ const held = (await store.rooms([locator])).get(locator);
14
+ if (held === undefined || socket.closed() || held.indexed)
15
+ return;
16
+ const key = held.record.key;
17
+ const done = await store.exclusive(async () => {
18
+ const local = await store.open();
19
+ return store.rederive(local, key, store.composed(held.record));
20
+ });
21
+ if (!done.done)
22
+ continue;
23
+ if ((await store.rooms([locator])).get(locator)?.record.key !== key)
24
+ continue;
25
+ store.changed(changeSet(locator, { documents: null }));
26
+ recoverReads(runtime);
27
+ store.readiness.queue();
28
+ return;
29
+ }
30
+ }
31
+ async function unprepared({ store }) {
32
+ const held = (await store.covering()).rooms;
33
+ const { unpreparedDemand, unpreparable } = store.device.now();
34
+ return [...unpreparedDemand, ...held.keys()].find((locator) => !(held.get(locator)?.indexed ?? false) && !unpreparable.has(locator));
35
+ }
36
+ function unpreparedBy({ store, journal }, locator, error) {
37
+ const { unpreparable } = store.device.now();
38
+ store.device.set({ unpreparable: new Set([...unpreparable, locator]) });
39
+ journal.record(`preparation failed ${locator} ${error instanceof Error ? error.name : 'unknown'}`);
40
+ store.readiness.queue();
41
+ }
42
+ export function prepare(runtime, locators = []) {
43
+ const { store, socket, journal } = runtime;
44
+ const { device } = store;
45
+ if (locators.length > 0) {
46
+ device.set({ unpreparedDemand: new Set([...device.now().unpreparedDemand, ...locators]) });
47
+ }
48
+ if (device.now().preparing)
49
+ return;
50
+ device.set({ preparing: true });
51
+ void (async () => {
52
+ try {
53
+ for (let waiting = await unprepared(runtime); waiting !== undefined; waiting = await unprepared(runtime)) {
54
+ await yielded();
55
+ if (socket.closed())
56
+ return;
57
+ const demand = new Set(device.now().unpreparedDemand);
58
+ demand.delete(waiting);
59
+ device.set({ unpreparedDemand: demand });
60
+ await prepareReplica(runtime, waiting).catch((error) => unpreparedBy(runtime, waiting, error));
61
+ }
62
+ }
63
+ catch (error) {
64
+ journal.record('preparation failed');
65
+ uncaught(error);
66
+ }
67
+ finally {
68
+ device.set({ preparing: false });
69
+ }
70
+ })();
71
+ }
72
+ export function roomsOfReach(reach) {
73
+ return new Set([...reach.rooms, ...reach.documents.map(roomOfKey)]);
74
+ }
75
+ function requiredRooms(runtime, given, held) {
76
+ const { roomsListed } = runtime.socket.session.now();
77
+ const reach = planReach(given);
78
+ const listed = new Set(listedLocators(runtime, held));
79
+ if (reach === null)
80
+ return { listed: roomsListed, rooms: [...listed].sort() };
81
+ const named = [...roomsOfReach(reach)].sort();
82
+ if (roomsListed)
83
+ return { listed: true, rooms: named.filter((room) => listed.has(room)) };
84
+ return { listed: named.every((room) => held.has(room)), rooms: named };
85
+ }
86
+ function roomState({ socket, presence }, locator, held) {
87
+ if (socket.session.now().roomsListed &&
88
+ (presence.room(locator) === undefined || !presence.available(locator)))
89
+ return 'unadmitted';
90
+ const stored = held.get(locator);
91
+ if (stored === undefined)
92
+ return 'acquiring';
93
+ if (!stored.indexed)
94
+ return 'preparing';
95
+ return 'complete';
96
+ }
97
+ function conversationCoverage({ socket, conversations }, reach) {
98
+ const declaredConversations = reach === null || reach.conversations;
99
+ if (!declaredConversations || socket.conversations() === undefined)
100
+ return 'undeclared';
101
+ if (!conversations.known() || !conversations.current())
102
+ return 'acquiring';
103
+ return 'complete';
104
+ }
105
+ function connectionOf({ socket }, lastCompleted) {
106
+ if (socket.isOpen())
107
+ return 'connected';
108
+ if (socket.session.now().moving.providerUnreachable)
109
+ return 'unreachable';
110
+ return !socket.streamed && lastCompleted !== null ? 'connected' : 'connecting';
111
+ }
112
+ export async function connectionNow(runtime) {
113
+ const { store, socket } = runtime;
114
+ if (socket.isOpen() || socket.session.now().moving.providerUnreachable || socket.streamed) {
115
+ return connectionOf(runtime, null);
116
+ }
117
+ return connectionOf(runtime, (await (await store.open()).facts()).lastCompleted);
118
+ }
119
+ async function readinessHeld({ store }) {
120
+ const local = await store.open();
121
+ const [held, facts] = await Promise.all([store.covering(), local.facts()]);
122
+ return { held: held.rooms, facts };
123
+ }
124
+ function readinessFor(runtime, port, reach, { held, facts }) {
125
+ const { store, socket, usableWhenHeld } = runtime;
126
+ const required = requiredRooms(runtime, reach, held);
127
+ const coverage = required.rooms.map((room) => ({ room, state: roomState(runtime, room, held) }));
128
+ const { unpreparable } = store.device.now();
129
+ const preparing = coverage
130
+ .filter((room) => room.state === 'preparing' && !unpreparable.has(room.room))
131
+ .map(({ room }) => room);
132
+ if (preparing.length > 0)
133
+ prepare(runtime, preparing);
134
+ const { persistence, storageLoss, heldWhenOpened } = store.device.now();
135
+ return readinessOf({
136
+ code: port.code,
137
+ coverage: {
138
+ listed: required.listed,
139
+ rooms: coverage,
140
+ conversations: conversationCoverage(runtime, reach),
141
+ },
142
+ persistence,
143
+ connection: connectionOf(runtime, facts.lastCompleted),
144
+ house: socket.session.now().refusal !== null
145
+ ? 'refused'
146
+ : socket.writesHeld()
147
+ ? 'write-halted'
148
+ : 'open',
149
+ space: store.space.full() ? 'full' : null,
150
+ installation: installationOf(store, coverage, held),
151
+ lost: storageLoss !== null,
152
+ established: facts.targets[port.target]?.established === true ||
153
+ (heldWhenOpened && usableWhenHeld.includes(port.target)),
154
+ });
155
+ }
156
+ function establish(runtime, name) {
157
+ const { store, journal } = runtime;
158
+ const { device } = store;
159
+ if (device.now().establishing.has(name))
160
+ return;
161
+ device.set({ establishing: new Set([...device.now().establishing, name]) });
162
+ void store
163
+ .durably(async (local) => {
164
+ const { targets } = await local.facts();
165
+ await local.fact('targets', { ...targets, [name]: { established: true } });
166
+ })
167
+ .then(() => {
168
+ store.readiness.queue();
169
+ void probeEachMinute(runtime);
170
+ }, (error) => {
171
+ journal.record(`target record failed ${name}`);
172
+ uncaught(error);
173
+ })
174
+ .finally(() => {
175
+ const establishing = new Set(device.now().establishing);
176
+ establishing.delete(name);
177
+ device.set({ establishing });
178
+ });
179
+ }
180
+ function deliverReadiness(runtime, watch, held) {
181
+ if (!runtime.store.readiness.held(watch))
182
+ return;
183
+ const readiness = readinessFor(runtime, watch.port, watch.reach, held);
184
+ if (readiness.ready && held.facts.targets[watch.port.target]?.established !== true) {
185
+ establish(runtime, watch.port.target);
186
+ }
187
+ if (!runtime.store.readiness.changed(watch, JSON.stringify(readiness)))
188
+ return;
189
+ watch.deliver(structuredClone(readiness));
190
+ }
191
+ export async function deliverOwedReadiness(runtime, owed) {
192
+ const held = await readinessHeld(runtime);
193
+ if (runtime.socket.closed())
194
+ return;
195
+ for (const watch of owed)
196
+ deliverReadiness(runtime, watch, held);
197
+ }
198
+ export function watchReadiness({ store }, port, reach, deliver) {
199
+ const watch = { port, reach, deliver };
200
+ const stop = store.readiness.add(watch);
201
+ void store.open().then(() => store.readiness.owe([watch]), () => store.readiness.owe([watch]));
202
+ return stop;
203
+ }
204
+ export function filled(runtime) {
205
+ const { store, socket, journal } = runtime;
206
+ if (socket.closed() || !store.space.fill())
207
+ return;
208
+ journal.record('space full');
209
+ store.readiness.queue();
210
+ void probeEachMinute(runtime);
211
+ }
212
+ async function installedTarget({ store }) {
213
+ if (store.device.now().heldWhenOpened)
214
+ return true;
215
+ const { targets } = await (await store.open()).facts();
216
+ return Object.values(targets).some((target) => target.established);
217
+ }
218
+ async function probeEachMinute(runtime) {
219
+ const { store, socket } = runtime;
220
+ const { space } = store;
221
+ const idle = () => !space.full() || space.probing() || socket.closed();
222
+ if (idle())
223
+ return;
224
+ const installed = await installedTarget(runtime).catch((error) => {
225
+ uncaught(error);
226
+ return false;
227
+ });
228
+ if (!installed)
229
+ return;
230
+ if (idle())
231
+ return;
232
+ space.probeEachMinute();
233
+ }
@@ -0,0 +1,52 @@
1
+ import type { DiscoveredRoom, ProviderRefusal, ScopedRefusal } from './adapter.js';
2
+ import type { ModelState } from './model.js';
3
+ type Repairable = {
4
+ readonly reset: string | undefined;
5
+ };
6
+ type Standing = {
7
+ readonly stale: boolean;
8
+ readonly repairable: Repairable | null;
9
+ readonly repairing: boolean;
10
+ readonly reloadDue: boolean;
11
+ };
12
+ type Listing = {
13
+ readonly whole: boolean;
14
+ readonly live: boolean;
15
+ };
16
+ export type Presence = {
17
+ list(found: readonly DiscoveredRoom[], how: Listing): readonly DiscoveredRoom[];
18
+ room(locator: string): DiscoveredRoom | undefined;
19
+ rooms(): readonly DiscoveredRoom[];
20
+ available(locator: string, selection?: string): boolean;
21
+ refusal(locator: string): ProviderRefusal | null;
22
+ unheldModel(locator: string): ModelState | null;
23
+ refused(locator: string, refusal: ScopedRefusal | null): void;
24
+ readable(locator: string): boolean;
25
+ modelled(locator: string, model: ModelState | null): void;
26
+ installed(locator: string, bootstrapped: boolean): void;
27
+ locked(locator: string, stored: () => Promise<string | null>): Promise<boolean>;
28
+ lockedAmong(stored: ReadonlyMap<string, string>): readonly string[];
29
+ connectionLost(lapsed: () => void): void;
30
+ connectionLive(): void;
31
+ lapse(): void;
32
+ stood(locator: string, stale: boolean, repairable?: Repairable | null): void;
33
+ repairing(locator: string, running: boolean): void;
34
+ reload(locator: string, due: boolean): void;
35
+ standing(locator: string): Standing;
36
+ settled(): boolean;
37
+ repairsOwed(): readonly string[];
38
+ askAgain(locator: string, ask: () => void): void;
39
+ stopAsking(locator?: string): void;
40
+ lose(locator: string, during: number): boolean;
41
+ writing(locator: string): boolean;
42
+ unwritten(locator: string): void;
43
+ lost(locator: string): boolean;
44
+ losses(): number;
45
+ lostSince(locator: string, losses: number): boolean;
46
+ liftable(locator: string, discovery: number): boolean;
47
+ lift(locator: string, discovery: number, unfenced: boolean): void;
48
+ close(): void;
49
+ };
50
+ export declare function createPresence(): Presence;
51
+ export {};
52
+ //# sourceMappingURL=presence.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"presence.d.ts","sourceRoot":"","sources":["../src/presence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACnF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7C,KAAK,UAAU,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEzD,KAAK,QAAQ,GAAG;IACd,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,CAAC;AAwBF,KAAK,OAAO,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAEnE,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,EAAE,GAAG,EAAE,OAAO,GAAG,SAAS,cAAc,EAAE,CAAC;IAChF,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;IAClD,KAAK,IAAI,SAAS,cAAc,EAAE,CAAC;IACnC,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACxD,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAAC;IACjD,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAAC;IAChD,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI,GAAG,IAAI,CAAC;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1D,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,GAAG,IAAI,CAAC;IACxD,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAChF,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC;IACpE,cAAc,CAAC,MAAM,EAAE,MAAM,IAAI,GAAG,IAAI,CAAC;IACzC,cAAc,IAAI,IAAI,CAAC;IACvB,KAAK,IAAI,IAAI,CAAC;IACd,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,UAAU,GAAG,IAAI,GAAG,IAAI,CAAC;IAC7E,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACnD,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC;IACpC,OAAO,IAAI,OAAO,CAAC;IACnB,WAAW,IAAI,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,GAAG,IAAI,CAAC;IACjD,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAC/C,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;IAClC,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;IAC/B,MAAM,IAAI,MAAM,CAAC;IACjB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;IACtD,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAAC;IAClE,KAAK,IAAI,IAAI,CAAC;CACf,CAAC;AAQF,wBAAgB,cAAc,IAAI,QAAQ,CAyMzC"}
@@ -0,0 +1,220 @@
1
+ const UNANSWERED = {
2
+ stale: false,
3
+ repairable: null,
4
+ repairing: false,
5
+ reloadDue: false,
6
+ refusal: null,
7
+ unreading: false,
8
+ unreadable: false,
9
+ unheldModel: null,
10
+ confirmed: false,
11
+ };
12
+ // A Room the Provider answers not ready is asked again after these waits, the last repeating, so a chunk build that catches up within seconds installs at once and a long one is asked every 15 seconds.
13
+ const NOT_READY_MS = [1_000, 2_000, 3_000, 5_000, 8_000, 11_000, 15_000];
14
+ // A Room that locks offline stays readable this long after the connection drops, so a laptop waking or changing network keeps working while a disconnected device locks soon after.
15
+ const LOCK_GRACE_MS = 120_000;
16
+ export function createPresence() {
17
+ const listed = new Map();
18
+ const answered = new Map();
19
+ const marks = new Map();
20
+ const lastLost = new Map();
21
+ const unready = new Map();
22
+ let lossCount = 0;
23
+ let lockGrace = null;
24
+ function answer(locator) {
25
+ return answered.get(locator) ?? UNANSWERED;
26
+ }
27
+ function change(locator, next) {
28
+ answered.set(locator, { ...answer(locator), ...next });
29
+ }
30
+ function heard(locator, next) {
31
+ if (!marks.has(locator))
32
+ change(locator, next);
33
+ }
34
+ function readied(locator) {
35
+ const held = unready.get(locator);
36
+ if (held === undefined)
37
+ return;
38
+ if (held.timer !== null)
39
+ clearTimeout(held.timer);
40
+ unready.delete(locator);
41
+ }
42
+ function stopAsking(locator) {
43
+ for (const held of locator === undefined ? [...unready.keys()] : [locator])
44
+ readied(held);
45
+ }
46
+ function connectionLive() {
47
+ if (lockGrace !== null)
48
+ clearTimeout(lockGrace);
49
+ lockGrace = null;
50
+ }
51
+ function readable(locator) {
52
+ const { unreadable, unreading } = answer(locator);
53
+ if (!unreadable || marks.has(locator))
54
+ return false;
55
+ change(locator, {
56
+ unreadable: false,
57
+ ...(unreading ? { refusal: null, unreading: false } : {}),
58
+ });
59
+ return true;
60
+ }
61
+ function locks(locator, mode) {
62
+ return mode === 'locked' && !answer(locator).confirmed && !marks.has(locator);
63
+ }
64
+ function liftable(locator, discovery) {
65
+ const mark = marks.get(locator);
66
+ return mark === undefined || mark.during < discovery;
67
+ }
68
+ return {
69
+ list(found, { whole, live }) {
70
+ const kept = found.filter(({ locator }) => !marks.has(locator));
71
+ if (whole)
72
+ listed.clear();
73
+ for (const room of kept) {
74
+ listed.set(room.locator, room);
75
+ change(room.locator, {
76
+ refusal: null,
77
+ unreading: false,
78
+ ...(live && room.replica.admission === 'admitted' ? { confirmed: true } : {}),
79
+ });
80
+ }
81
+ return kept;
82
+ },
83
+ room: (locator) => listed.get(locator),
84
+ rooms: () => [...listed.values()],
85
+ available(locator, selection) {
86
+ if (marks.has(locator))
87
+ return false;
88
+ const room = listed.get(locator);
89
+ if (room === undefined)
90
+ return true;
91
+ return ((selection === undefined || selection === room.replica.selection) &&
92
+ room.replica.admission === 'admitted' &&
93
+ !answer(locator).unreadable);
94
+ },
95
+ refusal: (locator) => answer(locator).refusal,
96
+ unheldModel: (locator) => answer(locator).unheldModel,
97
+ refused(locator, refusal) {
98
+ if (refusal === null) {
99
+ heard(locator, { unreadable: true });
100
+ return;
101
+ }
102
+ const unreading = refusal.scope !== 'operation' && refusal.scope !== 'model';
103
+ heard(locator, {
104
+ refusal: { code: refusal.code, fields: refusal.fields, retryable: refusal.retryable },
105
+ unreading,
106
+ ...(unreading ? { unreadable: true } : {}),
107
+ });
108
+ },
109
+ readable,
110
+ modelled(locator, model) {
111
+ heard(locator, { unheldModel: model });
112
+ },
113
+ installed(locator, bootstrapped) {
114
+ if (marks.has(locator))
115
+ return;
116
+ if (bootstrapped) {
117
+ readied(locator);
118
+ change(locator, { unheldModel: null });
119
+ }
120
+ change(locator, { stale: false });
121
+ readable(locator);
122
+ },
123
+ async locked(locator, stored) {
124
+ if (marks.has(locator) || answer(locator).confirmed)
125
+ return false;
126
+ return locks(locator, (await stored()) ?? listed.get(locator)?.replica.offline);
127
+ },
128
+ lockedAmong(stored) {
129
+ const modes = new Map([...listed].map(([locator, room]) => [locator, room.replica.offline]));
130
+ for (const [locator, mode] of stored)
131
+ modes.set(locator, mode);
132
+ return [...modes]
133
+ .filter(([locator, mode]) => locks(locator, mode))
134
+ .map(([locator]) => locator)
135
+ .sort();
136
+ },
137
+ connectionLost(lapsed) {
138
+ if (lockGrace !== null)
139
+ return;
140
+ lockGrace = setTimeout(() => {
141
+ lockGrace = null;
142
+ lapsed();
143
+ }, LOCK_GRACE_MS);
144
+ },
145
+ connectionLive,
146
+ lapse() {
147
+ for (const [locator, held] of answered) {
148
+ if (held.confirmed)
149
+ answered.set(locator, { ...held, confirmed: false });
150
+ }
151
+ },
152
+ stood(locator, stale, repairable) {
153
+ heard(locator, { stale, ...(repairable === undefined ? {} : { repairable }) });
154
+ },
155
+ repairing(locator, running) {
156
+ change(locator, { repairing: running });
157
+ },
158
+ reload(locator, due) {
159
+ change(locator, { reloadDue: due });
160
+ },
161
+ standing(locator) {
162
+ const { stale, repairable, repairing, reloadDue } = answer(locator);
163
+ return { stale, repairable, repairing, reloadDue };
164
+ },
165
+ settled: () => ![...answered].some(([locator, { stale }]) => stale && !marks.has(locator)),
166
+ repairsOwed: () => [...answered]
167
+ .filter(([locator, { stale, repairable }]) => stale && repairable !== null && !marks.has(locator))
168
+ .map(([locator]) => locator),
169
+ askAgain(locator, ask) {
170
+ const held = unready.get(locator) ?? { tries: 0, timer: null };
171
+ unready.set(locator, held);
172
+ if (held.timer !== null)
173
+ return;
174
+ const wait = NOT_READY_MS[Math.min(held.tries, NOT_READY_MS.length - 1)];
175
+ held.tries += 1;
176
+ held.timer = setTimeout(() => {
177
+ held.timer = null;
178
+ ask();
179
+ }, wait);
180
+ },
181
+ stopAsking,
182
+ lose(locator, during) {
183
+ if (marks.has(locator))
184
+ return false;
185
+ marks.set(locator, { during, written: false });
186
+ lastLost.set(locator, ++lossCount);
187
+ listed.delete(locator);
188
+ readied(locator);
189
+ const { repairing, reloadDue } = answer(locator);
190
+ answered.set(locator, { ...UNANSWERED, repairing, reloadDue });
191
+ return true;
192
+ },
193
+ writing(locator) {
194
+ const mark = marks.get(locator);
195
+ if (mark === undefined || mark.written)
196
+ return false;
197
+ marks.set(locator, { ...mark, written: true });
198
+ return true;
199
+ },
200
+ unwritten(locator) {
201
+ const mark = marks.get(locator);
202
+ if (mark !== undefined)
203
+ marks.set(locator, { ...mark, written: false });
204
+ },
205
+ lost: (locator) => marks.has(locator),
206
+ losses: () => lossCount,
207
+ lostSince: (locator, losses) => marks.has(locator) || (lastLost.get(locator) ?? 0) > losses,
208
+ liftable,
209
+ lift(locator, discovery, unfenced) {
210
+ const mark = marks.get(locator);
211
+ if (mark !== undefined && liftable(locator, discovery) && (unfenced || !mark.written)) {
212
+ marks.delete(locator);
213
+ }
214
+ },
215
+ close() {
216
+ stopAsking();
217
+ connectionLive();
218
+ },
219
+ };
220
+ }
@@ -0,0 +1,16 @@
1
+ import { type FiguresCover } from './figures.js';
2
+ import type { Cover, Ran } from './live.js';
3
+ import { type Plan, type QueryResult } from './query.js';
4
+ import { type Deliver, type Fail, type PortReach } from './reach.js';
5
+ import type { Runtime } from './runtime.js';
6
+ import { type SearchResult } from './search.js';
7
+ import type { QueryRoom } from './store.js';
8
+ export declare function figuresCover(runtime: Runtime): Promise<FiguresCover>;
9
+ export declare function answeredPlan(runtime: Runtime, plan: Plan, cover: () => Promise<Cover>): Promise<Ran>;
10
+ export declare function rowsQuery(runtime: Runtime, plan: Plan): Promise<QueryResult>;
11
+ export declare function planned(runtime: Runtime, input: unknown, reach: PortReach | null): Promise<Plan>;
12
+ export declare function roomTallies(runtime: Runtime, rooms: readonly QueryRoom[], since: string): Promise<readonly import("./tallies.js").RoomTally[]>;
13
+ export declare function watchPlan(runtime: Runtime, plan: Plan, deliver: Deliver, fail: Fail): () => void;
14
+ export declare function watchPlanned(runtime: Runtime, planning: Promise<Plan>, deliver: Deliver, fail: Fail): () => void;
15
+ export declare function searched(runtime: Runtime, input: unknown, reach: PortReach | null): Promise<SearchResult>;
16
+ //# sourceMappingURL=queries.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"queries.d.ts","sourceRoot":"","sources":["../src/queries.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,cAAc,CAAC;AAE9D,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAK5C,OAAO,EAIL,KAAK,IAAI,EACT,KAAK,WAAW,EAEjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAa,KAAK,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAGhF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAgB,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAE9D,OAAO,KAAK,EAAa,SAAS,EAAgB,MAAM,YAAY,CAAC;AAqFrE,wBAAsB,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAa1E;AA2ED,wBAAsB,YAAY,CAChC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,GAC1B,OAAO,CAAC,GAAG,CAAC,CAQd;AAQD,wBAAsB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAWlF;AAED,wBAAsB,OAAO,CAC3B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,SAAS,GAAG,IAAI,GACtB,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAsB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,wDAO7F;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM,IAAI,CAchG;AAED,wBAAgB,YAAY,CAC1B,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,EACvB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,GACT,MAAM,IAAI,CAeZ;AAED,wBAAsB,QAAQ,CAC5B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,SAAS,GAAG,IAAI,GACtB,OAAO,CAAC,YAAY,CAAC,CAqDvB"}