@agentshouse/mdruntime 0.1.0-cff8ba8fa2542 → 0.1.0-cffcba9cd9c2f
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.
- package/README.md +24 -11
- package/dist/acceptance.d.ts +3 -0
- package/dist/acceptance.d.ts.map +1 -0
- package/dist/acceptance.js +309 -0
- package/dist/actions.d.ts +20 -0
- package/dist/actions.d.ts.map +1 -0
- package/dist/actions.js +251 -0
- package/dist/adapter.d.ts +195 -88
- package/dist/adapter.d.ts.map +1 -1
- package/dist/attached-model.d.ts +7 -10
- package/dist/attached-model.d.ts.map +1 -1
- package/dist/attached-model.js +40 -28
- package/dist/attempt.d.ts +16 -0
- package/dist/attempt.d.ts.map +1 -0
- package/dist/attempt.js +70 -0
- package/dist/binary.d.ts +18 -0
- package/dist/binary.d.ts.map +1 -0
- package/dist/binary.js +8 -0
- package/dist/bootstrap.d.ts +37 -5
- package/dist/bootstrap.d.ts.map +1 -1
- package/dist/bootstrap.js +324 -51
- package/dist/cell.d.ts +6 -0
- package/dist/cell.d.ts.map +1 -0
- package/dist/cell.js +9 -0
- package/dist/chain.d.ts +12 -0
- package/dist/chain.d.ts.map +1 -0
- package/dist/chain.js +64 -0
- package/dist/change-set.d.ts +13 -14
- package/dist/change-set.d.ts.map +1 -1
- package/dist/change-set.js +17 -56
- package/dist/change.d.ts +46 -0
- package/dist/change.d.ts.map +1 -1
- package/dist/change.js +36 -0
- package/dist/chat-types.d.ts +5 -0
- package/dist/chat-types.d.ts.map +1 -0
- package/dist/chat-types.js +13 -0
- package/dist/client.d.ts +56 -18
- package/dist/client.d.ts.map +1 -1
- package/dist/client.js +164 -23
- package/dist/collection.d.ts +31 -14
- package/dist/collection.d.ts.map +1 -1
- package/dist/collection.js +61 -55
- package/dist/compile.d.ts +16 -0
- package/dist/compile.d.ts.map +1 -0
- package/dist/compile.js +711 -0
- package/dist/connection.d.ts +8 -103
- package/dist/connection.d.ts.map +1 -1
- package/dist/connection.js +103 -2076
- package/dist/context.d.ts +2 -0
- package/dist/context.d.ts.map +1 -0
- package/dist/context.js +7 -0
- package/dist/conversation-live.d.ts +135 -0
- package/dist/conversation-live.d.ts.map +1 -0
- package/dist/conversation-live.js +247 -0
- package/dist/conversation-row.d.ts +33 -0
- package/dist/conversation-row.d.ts.map +1 -0
- package/dist/conversation-row.js +53 -0
- package/dist/conversation.d.ts +67 -44
- package/dist/conversation.d.ts.map +1 -1
- package/dist/conversation.js +1010 -549
- package/dist/declaration.d.ts +10 -0
- package/dist/declaration.d.ts.map +1 -0
- package/dist/declaration.js +24 -0
- package/dist/digest.d.ts +7 -0
- package/dist/digest.d.ts.map +1 -0
- package/dist/digest.js +113 -0
- package/dist/discovery.d.ts +10 -0
- package/dist/discovery.d.ts.map +1 -0
- package/dist/discovery.js +177 -0
- package/dist/durability.d.ts +19 -1
- package/dist/durability.d.ts.map +1 -1
- package/dist/durability.js +5 -0
- package/dist/entry.d.ts +20 -0
- package/dist/entry.d.ts.map +1 -0
- package/dist/entry.js +161 -0
- package/dist/expectation.d.ts +23 -0
- package/dist/expectation.d.ts.map +1 -0
- package/dist/expectation.js +92 -0
- package/dist/failure.d.ts +14 -0
- package/dist/failure.d.ts.map +1 -0
- package/dist/failure.js +22 -0
- package/dist/figures.d.ts +49 -0
- package/dist/figures.d.ts.map +1 -0
- package/dist/figures.js +197 -0
- package/dist/file.d.ts +2 -19
- package/dist/file.d.ts.map +1 -1
- package/dist/file.js +7 -122
- package/dist/holdings.d.ts +29 -0
- package/dist/holdings.d.ts.map +1 -0
- package/dist/holdings.js +95 -0
- package/dist/host.d.ts +28 -3
- package/dist/host.d.ts.map +1 -1
- package/dist/host.js +149 -26
- package/dist/identity.d.ts +3 -0
- package/dist/identity.d.ts.map +1 -1
- package/dist/identity.js +13 -1
- package/dist/index.d.ts +39 -10
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +16 -0
- package/dist/install.d.ts +55 -0
- package/dist/install.d.ts.map +1 -0
- package/dist/install.js +543 -0
- package/dist/job.d.ts +5 -0
- package/dist/job.d.ts.map +1 -0
- package/dist/job.js +7 -0
- package/dist/lifecycle.d.ts +7 -0
- package/dist/lifecycle.d.ts.map +1 -0
- package/dist/lifecycle.js +271 -0
- package/dist/listing.d.ts +52 -0
- package/dist/listing.d.ts.map +1 -0
- package/dist/listing.js +168 -0
- package/dist/live.d.ts +23 -0
- package/dist/live.d.ts.map +1 -0
- package/dist/live.js +165 -0
- package/dist/locks.d.ts +9 -0
- package/dist/locks.d.ts.map +1 -0
- package/dist/locks.js +62 -0
- package/dist/log.d.ts +1 -0
- package/dist/log.d.ts.map +1 -1
- package/dist/lost.d.ts +5 -0
- package/dist/lost.d.ts.map +1 -0
- package/dist/lost.js +61 -0
- package/dist/media.d.ts +8 -0
- package/dist/media.d.ts.map +1 -0
- package/dist/media.js +218 -0
- package/dist/memory.d.ts +25 -8
- package/dist/memory.d.ts.map +1 -1
- package/dist/memory.js +296 -93
- package/dist/messages.d.ts +49 -0
- package/dist/messages.d.ts.map +1 -0
- package/dist/messages.js +148 -0
- package/dist/model.d.ts +16 -9
- package/dist/model.d.ts.map +1 -1
- package/dist/model.js +9 -15
- package/dist/models.d.ts +10 -0
- package/dist/models.d.ts.map +1 -0
- package/dist/models.js +170 -0
- package/dist/name.d.ts +4 -0
- package/dist/name.d.ts.map +1 -0
- package/dist/name.js +122 -0
- package/dist/observation.d.ts +22 -4
- package/dist/observation.d.ts.map +1 -1
- package/dist/observation.js +127 -26
- package/dist/open.d.ts +2 -0
- package/dist/open.d.ts.map +1 -0
- package/dist/open.js +1 -0
- package/dist/opened.d.ts +22 -0
- package/dist/opened.d.ts.map +1 -0
- package/dist/opened.js +107 -0
- package/dist/opening.d.ts +4 -0
- package/dist/opening.d.ts.map +1 -0
- package/dist/opening.js +59 -0
- package/dist/outcome.d.ts +75 -5
- package/dist/outcome.d.ts.map +1 -1
- package/dist/outcome.js +84 -1
- package/dist/overlay.d.ts +17 -5
- package/dist/overlay.d.ts.map +1 -1
- package/dist/overlay.js +168 -190
- package/dist/parts.d.ts +11 -0
- package/dist/parts.d.ts.map +1 -0
- package/dist/parts.js +21 -0
- package/dist/paths.d.ts +2 -1
- package/dist/paths.d.ts.map +1 -1
- package/dist/paths.js +26 -16
- package/dist/preparation.d.ts +20 -0
- package/dist/preparation.d.ts.map +1 -0
- package/dist/preparation.js +233 -0
- package/dist/queries.d.ts +16 -0
- package/dist/queries.d.ts.map +1 -0
- package/dist/queries.js +272 -0
- package/dist/query.d.ts +51 -181
- package/dist/query.d.ts.map +1 -1
- package/dist/query.js +3 -431
- package/dist/questions.d.ts +34 -0
- package/dist/questions.d.ts.map +1 -0
- package/dist/questions.js +122 -0
- package/dist/queue.d.ts +32 -0
- package/dist/queue.d.ts.map +1 -0
- package/dist/queue.js +402 -0
- package/dist/reach.d.ts +21 -5
- package/dist/reach.d.ts.map +1 -1
- package/dist/reach.js +306 -96
- package/dist/react.d.ts +43 -19
- package/dist/react.d.ts.map +1 -1
- package/dist/react.js +22 -21
- package/dist/read.d.ts +7 -0
- package/dist/read.d.ts.map +1 -0
- package/dist/read.js +17 -0
- package/dist/readiness.d.ts +49 -0
- package/dist/readiness.d.ts.map +1 -0
- package/dist/readiness.js +27 -0
- package/dist/reads.d.ts +37 -0
- package/dist/reads.d.ts.map +1 -0
- package/dist/reads.js +174 -0
- package/dist/recovery.d.ts +26 -0
- package/dist/recovery.d.ts.map +1 -0
- package/dist/recovery.js +232 -0
- package/dist/refresh.d.ts +20 -7
- package/dist/refresh.d.ts.map +1 -1
- package/dist/refresh.js +155 -59
- package/dist/refusal.d.ts +5 -0
- package/dist/refusal.d.ts.map +1 -0
- package/dist/refusal.js +57 -0
- package/dist/replica.d.ts +53 -33
- package/dist/replica.d.ts.map +1 -1
- package/dist/replica.js +361 -164
- package/dist/room-draft.d.ts +59 -12
- package/dist/room-draft.d.ts.map +1 -1
- package/dist/room-draft.js +299 -90
- package/dist/room-drafts.d.ts +24 -0
- package/dist/room-drafts.d.ts.map +1 -0
- package/dist/room-drafts.js +217 -0
- package/dist/rows.d.ts +32 -34
- package/dist/rows.d.ts.map +1 -1
- package/dist/rows.js +67 -87
- package/dist/runtime.d.ts +32 -0
- package/dist/runtime.d.ts.map +1 -0
- package/dist/runtime.js +1 -0
- package/dist/save.d.ts +74 -5
- package/dist/save.d.ts.map +1 -1
- package/dist/save.js +914 -188
- package/dist/saves.d.ts +32 -0
- package/dist/saves.d.ts.map +1 -0
- package/dist/saves.js +679 -0
- package/dist/search.d.ts +15 -54
- package/dist/search.d.ts.map +1 -1
- package/dist/search.js +10 -121
- package/dist/seed.d.ts +25 -0
- package/dist/seed.d.ts.map +1 -0
- package/dist/seed.js +145 -0
- package/dist/shared.d.ts +10 -0
- package/dist/shared.d.ts.map +1 -0
- package/dist/shared.js +339 -0
- package/dist/shown.d.ts +32 -0
- package/dist/shown.d.ts.map +1 -0
- package/dist/shown.js +299 -0
- package/dist/socket/admission.d.ts +7 -0
- package/dist/socket/admission.d.ts.map +1 -0
- package/dist/socket/admission.js +39 -0
- package/dist/socket/answers.d.ts +6 -0
- package/dist/socket/answers.d.ts.map +1 -0
- package/dist/socket/answers.js +20 -0
- package/dist/socket/lanes.d.ts +20 -0
- package/dist/socket/lanes.d.ts.map +1 -0
- package/dist/socket/lanes.js +77 -0
- package/dist/socket/reads.d.ts +10 -0
- package/dist/socket/reads.d.ts.map +1 -0
- package/dist/socket/reads.js +31 -0
- package/dist/socket/rooms.d.ts +41 -0
- package/dist/socket/rooms.d.ts.map +1 -0
- package/dist/socket/rooms.js +90 -0
- package/dist/socket/session.d.ts +38 -0
- package/dist/socket/session.d.ts.map +1 -0
- package/dist/socket/session.js +23 -0
- package/dist/socket.d.ts +69 -0
- package/dist/socket.d.ts.map +1 -0
- package/dist/socket.js +175 -0
- package/dist/source.d.ts +61 -0
- package/dist/source.d.ts.map +1 -0
- package/dist/source.js +82 -0
- package/dist/status.d.ts +7 -4
- package/dist/status.d.ts.map +1 -1
- package/dist/status.js +3 -15
- package/dist/store/fences.d.ts +16 -0
- package/dist/store/fences.d.ts.map +1 -0
- package/dist/store/fences.js +26 -0
- package/dist/store/installs.d.ts +30 -0
- package/dist/store/installs.d.ts.map +1 -0
- package/dist/store/installs.js +34 -0
- package/dist/store/readiness.d.ts +10 -0
- package/dist/store/readiness.d.ts.map +1 -0
- package/dist/store/readiness.js +52 -0
- package/dist/store/records.d.ts +210 -0
- package/dist/store/records.d.ts.map +1 -0
- package/dist/store/records.js +428 -0
- package/dist/store/room-held.d.ts +8 -0
- package/dist/store/room-held.d.ts.map +1 -0
- package/dist/store/room-held.js +17 -0
- package/dist/store/space.d.ts +11 -0
- package/dist/store/space.d.ts.map +1 -0
- package/dist/store/space.js +41 -0
- package/dist/store/watchers.d.ts +17 -0
- package/dist/store/watchers.d.ts.map +1 -0
- package/dist/store/watchers.js +56 -0
- package/dist/store/writes.d.ts +24 -0
- package/dist/store/writes.d.ts.map +1 -0
- package/dist/store/writes.js +125 -0
- package/dist/store.d.ts +106 -92
- package/dist/store.d.ts.map +1 -1
- package/dist/store.js +142 -385
- package/dist/stored.d.ts +156 -0
- package/dist/stored.d.ts.map +1 -0
- package/dist/stored.js +649 -0
- package/dist/surface.d.ts +88 -0
- package/dist/surface.d.ts.map +1 -0
- package/dist/surface.js +224 -0
- package/dist/sync.d.ts +19 -0
- package/dist/sync.d.ts.map +1 -0
- package/dist/sync.js +530 -0
- package/dist/tables.d.ts +412 -0
- package/dist/tables.d.ts.map +1 -0
- package/dist/tables.js +737 -0
- package/dist/tallies.d.ts +18 -0
- package/dist/tallies.d.ts.map +1 -0
- package/dist/tallies.js +129 -0
- package/dist/transfer.d.ts +0 -5
- package/dist/transfer.d.ts.map +1 -1
- package/dist/turn.d.ts +9 -0
- package/dist/turn.d.ts.map +1 -0
- package/dist/turn.js +75 -0
- package/dist/validation.d.ts +29 -0
- package/dist/validation.d.ts.map +1 -0
- package/dist/validation.js +104 -0
- package/dist/windows.d.ts +11 -0
- package/dist/windows.d.ts.map +1 -0
- package/dist/windows.js +16 -0
- package/dist/wire.d.ts +189 -37
- package/dist/wire.d.ts.map +1 -1
- package/dist/wire.js +77 -33
- package/package.json +27 -15
- package/AGENTS.md +0 -231
- package/dist/attachment.d.ts +0 -3
- package/dist/attachment.d.ts.map +0 -1
- package/dist/attachment.js +0 -8
- package/dist/read-side.d.ts +0 -18
- package/dist/read-side.d.ts.map +0 -1
- package/dist/read-side.js +0 -377
package/dist/queue.js
ADDED
|
@@ -0,0 +1,402 @@
|
|
|
1
|
+
import { changeSet, mergeChangeSets } from './change-set.js';
|
|
2
|
+
import { leaving as leavingIn, partnerOf } from './change.js';
|
|
3
|
+
import { composedOf, definitionsAt } from './collection.js';
|
|
4
|
+
import { roomDraftRevision } from './identity.js';
|
|
5
|
+
import { landed, movedBy, overlayOf, replaying, slicing, slicingWith, standing, storedRecord, touchedBy, } from './replica.js';
|
|
6
|
+
import { returnedBy, returnedInto } from './room-draft.js';
|
|
7
|
+
import { documentKey } from './rows.js';
|
|
8
|
+
import { stepped } from './turn.js';
|
|
9
|
+
export function withdrawable(states) {
|
|
10
|
+
return (batch) => {
|
|
11
|
+
const state = states.get(batch.id);
|
|
12
|
+
return state !== undefined && state.submission.state !== 'submitted' && !state.lost;
|
|
13
|
+
};
|
|
14
|
+
}
|
|
15
|
+
export async function sliceAt(store, record, view, queue, extra = [], moved = []) {
|
|
16
|
+
const local = await store.open();
|
|
17
|
+
const needed = new Set([...touchedBy(queue), ...extra]);
|
|
18
|
+
const movedPaths = [...new Set([...movedBy(queue, record.locator), ...moved])];
|
|
19
|
+
if (movedPaths.length > 0) {
|
|
20
|
+
for (const { path } of await local.referrers(record.key, view, movedPaths)) {
|
|
21
|
+
needed.add(path);
|
|
22
|
+
}
|
|
23
|
+
}
|
|
24
|
+
const paths = [...needed];
|
|
25
|
+
return stepped(slicing(await local.entries(record.key, view, paths), paths));
|
|
26
|
+
}
|
|
27
|
+
async function landedWhole(store, record, batch, confirmedLayer, current) {
|
|
28
|
+
if (!landed(batch, confirmedLayer, store.composed(record), current))
|
|
29
|
+
return false;
|
|
30
|
+
const partner = partnerOf(batch, record.locator);
|
|
31
|
+
if (partner === null)
|
|
32
|
+
return true;
|
|
33
|
+
const other = await store.replica(partner);
|
|
34
|
+
const half = other?.queue.find((one) => one.id === batch.id);
|
|
35
|
+
if (other === undefined || half === undefined)
|
|
36
|
+
return false;
|
|
37
|
+
return landed(half, await sliceAt(store, other.record, 'confirmed', [half]), store.composed(other.record));
|
|
38
|
+
}
|
|
39
|
+
async function returnedDrafts(store, locator, work, leaving, composition) {
|
|
40
|
+
const written = new Map();
|
|
41
|
+
for (const { batch, returned } of leaving) {
|
|
42
|
+
if (returned === null || batch.between?.destination.room === locator)
|
|
43
|
+
continue;
|
|
44
|
+
for (const saved of work.states.get(batch.id)?.drafts ?? []) {
|
|
45
|
+
const existing = written.get(saved.path) ?? (await store.draft(locator, saved.path));
|
|
46
|
+
written.set(saved.path, {
|
|
47
|
+
locator,
|
|
48
|
+
path: saved.path,
|
|
49
|
+
revision: roomDraftRevision(),
|
|
50
|
+
parts: returnedInto(existing?.parts, saved.parts, composition === undefined ? undefined : definitionsAt(composition, saved.path)),
|
|
51
|
+
returned,
|
|
52
|
+
});
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
return written;
|
|
56
|
+
}
|
|
57
|
+
async function carriedBack(store, locator, unlanded, written) {
|
|
58
|
+
const back = new Map();
|
|
59
|
+
const taken = [];
|
|
60
|
+
for (const batch of unlanded) {
|
|
61
|
+
const between = batch.between;
|
|
62
|
+
if (between === undefined)
|
|
63
|
+
continue;
|
|
64
|
+
const source = between.source.room;
|
|
65
|
+
const destination = between.destination.room;
|
|
66
|
+
const local = await store.open();
|
|
67
|
+
const arrived = (await local.pending(destination, batch.id)).state?.drafts ?? [];
|
|
68
|
+
for (const { path: to } of arrived) {
|
|
69
|
+
const record = await store.draft(destination, to);
|
|
70
|
+
const path = between.moves.find((move) => move.to === to)?.path;
|
|
71
|
+
if (record === undefined || path === undefined)
|
|
72
|
+
continue;
|
|
73
|
+
const [into, key] = source === locator ? [written, path] : [back, documentKey(source, path)];
|
|
74
|
+
const existing = into.get(key) ?? (await store.draft(source, path));
|
|
75
|
+
const held = await store.record(source);
|
|
76
|
+
taken.push({ locator: destination, path: to });
|
|
77
|
+
into.set(key, {
|
|
78
|
+
locator: source,
|
|
79
|
+
path,
|
|
80
|
+
revision: roomDraftRevision(),
|
|
81
|
+
parts: returnedInto(existing?.parts, record.parts, held === undefined ? undefined : definitionsAt(store.composed(held), path)),
|
|
82
|
+
returned: existing?.returned ?? null,
|
|
83
|
+
});
|
|
84
|
+
}
|
|
85
|
+
}
|
|
86
|
+
const records = [...back.values()];
|
|
87
|
+
const elsewhere = taken.filter((one) => one.locator !== locator);
|
|
88
|
+
const rooms = new Set([...records, ...elsewhere].map((one) => one.locator));
|
|
89
|
+
return {
|
|
90
|
+
taken: taken.filter((one) => one.locator === locator).map(({ path }) => path),
|
|
91
|
+
writes: [...rooms].map((room) => ({
|
|
92
|
+
locator: room,
|
|
93
|
+
roomDrafts: records.filter((record) => record.locator === room),
|
|
94
|
+
consumedRoomDrafts: elsewhere.filter((one) => one.locator === room).map(({ path }) => path),
|
|
95
|
+
})),
|
|
96
|
+
changes: [...rooms].map((room) => changeSet(room, {
|
|
97
|
+
drafts: [...records, ...elsewhere]
|
|
98
|
+
.filter((one) => one.locator === room)
|
|
99
|
+
.map(({ path }) => path),
|
|
100
|
+
})),
|
|
101
|
+
};
|
|
102
|
+
}
|
|
103
|
+
function confirmedAgain(store, locator) {
|
|
104
|
+
store.installs.change(locator, (held) => ({
|
|
105
|
+
...held,
|
|
106
|
+
confirmations: held.confirmations + 1,
|
|
107
|
+
}));
|
|
108
|
+
}
|
|
109
|
+
export function replayed(store, record, confirmedLayer, queue) {
|
|
110
|
+
return stepped(replaying(confirmedLayer, queue, record.locator, store.composed(record)));
|
|
111
|
+
}
|
|
112
|
+
export async function overlayDiff(record, before, visible, touched) {
|
|
113
|
+
const kept = before !== undefined && before.record.key === record.key ? before.overlaid : new Set();
|
|
114
|
+
return {
|
|
115
|
+
overlay: {
|
|
116
|
+
set: await stepped(overlayOf(visible, touched)),
|
|
117
|
+
cleared: [...kept].filter((path) => !touched.has(path)),
|
|
118
|
+
},
|
|
119
|
+
touched,
|
|
120
|
+
};
|
|
121
|
+
}
|
|
122
|
+
function unsent(state, batch, locator) {
|
|
123
|
+
if (state === undefined)
|
|
124
|
+
return false;
|
|
125
|
+
return !leavingIn(batch, locator) || withdrawable(new Map([[batch.id, state]]))(batch);
|
|
126
|
+
}
|
|
127
|
+
async function together(runtime, local, settlements) {
|
|
128
|
+
const settled = new Set(settlements.map(({ locator }) => locator));
|
|
129
|
+
const all = [...settlements];
|
|
130
|
+
for (let wave = settlements; wave.length > 0;) {
|
|
131
|
+
const partnered = new Map();
|
|
132
|
+
for (const { locator, left } of wave) {
|
|
133
|
+
for (const batch of left) {
|
|
134
|
+
const partner = partnerOf(batch, locator);
|
|
135
|
+
if (partner === null ||
|
|
136
|
+
settled.has(partner) ||
|
|
137
|
+
!unsent((await local.pending(partner, batch.id)).state, batch, partner)) {
|
|
138
|
+
continue;
|
|
139
|
+
}
|
|
140
|
+
partnered.set(partner, [...(partnered.get(partner) ?? []), batch]);
|
|
141
|
+
}
|
|
142
|
+
}
|
|
143
|
+
const partners = [];
|
|
144
|
+
for (const [partner, batches] of partnered) {
|
|
145
|
+
settled.add(partner);
|
|
146
|
+
partners.push(await unpairing(runtime, local, partner, batches));
|
|
147
|
+
}
|
|
148
|
+
all.push(...partners);
|
|
149
|
+
wave = partners;
|
|
150
|
+
}
|
|
151
|
+
const answer = await local.commit({
|
|
152
|
+
rooms: all.flatMap(({ commit }) => commit.rooms),
|
|
153
|
+
writes: all.flatMap(({ commit }) => commit.writes),
|
|
154
|
+
});
|
|
155
|
+
return mergeChangeSets(all.map((one) => one.apply(answer)));
|
|
156
|
+
}
|
|
157
|
+
async function settlement(runtime, local, locator, work, record, queue, settling = {}) {
|
|
158
|
+
const { store, journal, localSaves } = runtime;
|
|
159
|
+
const before = work.replica;
|
|
160
|
+
const view = settling.view ?? 'confirmed';
|
|
161
|
+
const previousQueue = work.queue;
|
|
162
|
+
const overrides = settling.changes;
|
|
163
|
+
const read = await sliceAt(store, record, view, queue, [
|
|
164
|
+
...(before !== undefined && before.record.key === record.key ? before.overlaid : []),
|
|
165
|
+
...(overrides?.set.map(({ path }) => path) ?? []),
|
|
166
|
+
...(overrides?.removed ?? []),
|
|
167
|
+
]);
|
|
168
|
+
const confirmedLayer = overrides === undefined
|
|
169
|
+
? read
|
|
170
|
+
: await stepped(slicingWith(read, overrides.set, overrides.removed));
|
|
171
|
+
const composition = store.composed(record);
|
|
172
|
+
const shown = queue.filter((batch) => {
|
|
173
|
+
const held = store.landed.of(locator, batch.id);
|
|
174
|
+
return (held !== undefined &&
|
|
175
|
+
Object.entries(held).some(([path, revision]) => confirmedLayer.revisions[path] !== revision));
|
|
176
|
+
});
|
|
177
|
+
const unshown = queue.filter((batch) => !shown.includes(batch));
|
|
178
|
+
const { withdrawn, kept } = await stepped(standing(confirmedLayer, unshown, withdrawable(work.states), localSaves, locator, composition));
|
|
179
|
+
const founded = kept.filter((batch) => !unshown.includes(batch));
|
|
180
|
+
const queueChanged = kept.length !== previousQueue.length || founded.length > 0;
|
|
181
|
+
const unqueued = shown.map((batch) => ({ batch, landed: true }));
|
|
182
|
+
for (const batch of withdrawn) {
|
|
183
|
+
unqueued.push({ batch, landed: await landedWhole(store, record, batch, confirmedLayer) });
|
|
184
|
+
}
|
|
185
|
+
const returning = [
|
|
186
|
+
...[...unqueued].reverse().map(({ batch, landed: held }) => ({
|
|
187
|
+
batch,
|
|
188
|
+
returned: localSaves || held ? null : returnedBy(),
|
|
189
|
+
})),
|
|
190
|
+
...(settling.leaving ?? []),
|
|
191
|
+
];
|
|
192
|
+
const written = await returnedDrafts(store, locator, work, returning, composition);
|
|
193
|
+
const carried = await carriedBack(store, locator, [
|
|
194
|
+
...[...unqueued].reverse().flatMap(({ batch, landed: held }) => (held ? [] : [batch])),
|
|
195
|
+
...(settling.leaving ?? []).flatMap(({ batch, returned }) => returned === null ? [] : [batch]),
|
|
196
|
+
], written);
|
|
197
|
+
const replayedLayer = await replayed(store, record, confirmedLayer, kept);
|
|
198
|
+
const { overlay } = await overlayDiff(record, before, replayedLayer.visible, replayedLayer.touched);
|
|
199
|
+
const commit = {
|
|
200
|
+
rooms: [
|
|
201
|
+
{
|
|
202
|
+
locator,
|
|
203
|
+
key: record.key,
|
|
204
|
+
record: storedRecord(record),
|
|
205
|
+
roots: record.declaration.typedSelection?.roots ?? [],
|
|
206
|
+
composed: composedOf(composition),
|
|
207
|
+
...settling.commit,
|
|
208
|
+
...(overrides === undefined
|
|
209
|
+
? {}
|
|
210
|
+
: { confirmed: { set: overrides.set, removed: overrides.removed } }),
|
|
211
|
+
overlay,
|
|
212
|
+
},
|
|
213
|
+
],
|
|
214
|
+
writes: [
|
|
215
|
+
{
|
|
216
|
+
locator,
|
|
217
|
+
queue: kept,
|
|
218
|
+
stored: previousQueue,
|
|
219
|
+
founded,
|
|
220
|
+
roomDrafts: [...written.values()],
|
|
221
|
+
consumedRoomDrafts: carried.taken,
|
|
222
|
+
},
|
|
223
|
+
...carried.writes,
|
|
224
|
+
],
|
|
225
|
+
};
|
|
226
|
+
const staying = new Set(kept.map((batch) => batch.id));
|
|
227
|
+
return {
|
|
228
|
+
locator,
|
|
229
|
+
left: previousQueue.filter((batch) => !staying.has(batch.id)),
|
|
230
|
+
commit,
|
|
231
|
+
apply: (answer) => {
|
|
232
|
+
for (const batch of previousQueue) {
|
|
233
|
+
if (!staying.has(batch.id))
|
|
234
|
+
store.landed.drop(locator, batch.id);
|
|
235
|
+
}
|
|
236
|
+
const drafts = [...written.keys(), ...carried.taken];
|
|
237
|
+
for (const { batch, landed: held } of unqueued) {
|
|
238
|
+
const outcome = localSaves ? 'dropped' : held ? 'landed' : 'withdrawn';
|
|
239
|
+
journal.record(`outcome ${locator} ${batch.id} ${outcome}`);
|
|
240
|
+
}
|
|
241
|
+
const changed = answer.changed[locator];
|
|
242
|
+
if (settling.commit?.published !== undefined ||
|
|
243
|
+
settling.commit?.refreshed === true ||
|
|
244
|
+
overrides !== undefined) {
|
|
245
|
+
confirmedAgain(store, locator);
|
|
246
|
+
}
|
|
247
|
+
return mergeChangeSets([
|
|
248
|
+
changeSet(locator, {
|
|
249
|
+
documents: changed === undefined ? [] : changed,
|
|
250
|
+
room: settling.room,
|
|
251
|
+
queue: queueChanged,
|
|
252
|
+
drafts,
|
|
253
|
+
unindexed: answer.indexed[locator] === false,
|
|
254
|
+
due: kept.length > 0 && settling.refused !== true,
|
|
255
|
+
}),
|
|
256
|
+
...carried.changes,
|
|
257
|
+
]);
|
|
258
|
+
},
|
|
259
|
+
};
|
|
260
|
+
}
|
|
261
|
+
async function unpairing(runtime, local, locator, batches) {
|
|
262
|
+
const { store, journal, localSaves } = runtime;
|
|
263
|
+
const ids = new Set(batches.map(({ id }) => id));
|
|
264
|
+
const leaving = batches.map((batch) => ({
|
|
265
|
+
batch,
|
|
266
|
+
returned: !localSaves && leavingIn(batch, locator) ? returnedBy() : null,
|
|
267
|
+
}));
|
|
268
|
+
const outcome = localSaves ? 'dropped' : 'unpaired';
|
|
269
|
+
const work = await store.work(locator);
|
|
270
|
+
const current = work.replica;
|
|
271
|
+
if (current !== undefined) {
|
|
272
|
+
const settled = await settlement(runtime, local, locator, work, current.record, current.queue.filter((one) => !ids.has(one.id)), { leaving });
|
|
273
|
+
return {
|
|
274
|
+
...settled,
|
|
275
|
+
apply(answer) {
|
|
276
|
+
for (const batch of batches)
|
|
277
|
+
journal.record(`outcome ${locator} ${batch.id} ${outcome}`);
|
|
278
|
+
return settled.apply(answer);
|
|
279
|
+
},
|
|
280
|
+
};
|
|
281
|
+
}
|
|
282
|
+
const queue = work.queue.filter((one) => !ids.has(one.id));
|
|
283
|
+
const written = await returnedDrafts(store, locator, work, leaving, undefined);
|
|
284
|
+
const carried = await carriedBack(store, locator, leaving.flatMap(({ batch, returned }) => (returned === null ? [] : [batch])), written);
|
|
285
|
+
return {
|
|
286
|
+
locator,
|
|
287
|
+
left: batches,
|
|
288
|
+
commit: {
|
|
289
|
+
rooms: [],
|
|
290
|
+
writes: [
|
|
291
|
+
{
|
|
292
|
+
locator,
|
|
293
|
+
queue,
|
|
294
|
+
stored: work.queue,
|
|
295
|
+
roomDrafts: [...written.values()],
|
|
296
|
+
consumedRoomDrafts: carried.taken,
|
|
297
|
+
},
|
|
298
|
+
...carried.writes,
|
|
299
|
+
],
|
|
300
|
+
},
|
|
301
|
+
apply() {
|
|
302
|
+
for (const batch of batches)
|
|
303
|
+
journal.record(`outcome ${locator} ${batch.id} ${outcome}`);
|
|
304
|
+
return mergeChangeSets([
|
|
305
|
+
changeSet(locator, {
|
|
306
|
+
queue: true,
|
|
307
|
+
drafts: [...written.keys(), ...carried.taken],
|
|
308
|
+
due: queue.length > 0,
|
|
309
|
+
}),
|
|
310
|
+
...carried.changes,
|
|
311
|
+
]);
|
|
312
|
+
},
|
|
313
|
+
};
|
|
314
|
+
}
|
|
315
|
+
async function orphaned(local) {
|
|
316
|
+
const { queued, moving } = await local.moving();
|
|
317
|
+
const halves = new Map();
|
|
318
|
+
for (const { locator, batch, state } of moving) {
|
|
319
|
+
const partner = partnerOf(batch, locator);
|
|
320
|
+
if (partner === null || queued.get(partner)?.includes(batch.id) === true)
|
|
321
|
+
continue;
|
|
322
|
+
if (unsent(state, batch, locator))
|
|
323
|
+
halves.set(locator, [...(halves.get(locator) ?? []), batch]);
|
|
324
|
+
}
|
|
325
|
+
return halves;
|
|
326
|
+
}
|
|
327
|
+
async function sweep(runtime, local) {
|
|
328
|
+
if (!runtime.socket.continuing())
|
|
329
|
+
return;
|
|
330
|
+
const halves = await orphaned(local);
|
|
331
|
+
if (halves.size === 0)
|
|
332
|
+
return;
|
|
333
|
+
const settlements = [];
|
|
334
|
+
for (const [locator, batches] of halves) {
|
|
335
|
+
settlements.push(await unpairing(runtime, local, locator, batches));
|
|
336
|
+
}
|
|
337
|
+
void runtime.store.changed(await together(runtime, local, settlements));
|
|
338
|
+
}
|
|
339
|
+
async function settled(runtime, local, settlements, steps) {
|
|
340
|
+
const set = await together(runtime, local, settlements);
|
|
341
|
+
for (const step of steps)
|
|
342
|
+
step();
|
|
343
|
+
void runtime.store.changed(set);
|
|
344
|
+
await sweep(runtime, local);
|
|
345
|
+
}
|
|
346
|
+
export function settle(runtime, locators, decide) {
|
|
347
|
+
const { store } = runtime;
|
|
348
|
+
return store.exclusive(async () => {
|
|
349
|
+
const local = await store.open();
|
|
350
|
+
const held = new Map();
|
|
351
|
+
for (const locator of locators)
|
|
352
|
+
held.set(locator, await store.work(locator));
|
|
353
|
+
const decided = await decide(held);
|
|
354
|
+
if (decided.length === 0)
|
|
355
|
+
return;
|
|
356
|
+
const settlements = [];
|
|
357
|
+
for (const { locator, record, accepted, adopted, installed, refused } of decided) {
|
|
358
|
+
const work = held.get(locator) ?? (await store.work(locator));
|
|
359
|
+
settlements.push(await settlement(runtime, local, locator, work, record, work.queue.filter((batch) => batch.id !== accepted), {
|
|
360
|
+
room: true,
|
|
361
|
+
view: installed?.refreshed === true ? 'refreshed' : 'confirmed',
|
|
362
|
+
...(installed === undefined ? {} : { commit: installed }),
|
|
363
|
+
...(adopted === undefined ? {} : { changes: adopted }),
|
|
364
|
+
...(refused === undefined ? {} : { refused }),
|
|
365
|
+
}));
|
|
366
|
+
}
|
|
367
|
+
await settled(runtime, local, settlements, decided.flatMap(({ after }) => (after === undefined ? [] : [after])));
|
|
368
|
+
});
|
|
369
|
+
}
|
|
370
|
+
export function answered(runtime, locator, head, answer) {
|
|
371
|
+
const { store, socket } = runtime;
|
|
372
|
+
return store.exclusive(async () => {
|
|
373
|
+
if (!socket.continuing())
|
|
374
|
+
return;
|
|
375
|
+
const local = await store.open();
|
|
376
|
+
const work = await store.work(locator);
|
|
377
|
+
const current = work.replica;
|
|
378
|
+
if (current === undefined || !current.queue.some((batch) => batch.id === head.id))
|
|
379
|
+
return;
|
|
380
|
+
const confirmedLayer = await sliceAt(store, current.record, 'confirmed', [head]);
|
|
381
|
+
const held = answer.kind === 'conflicted' &&
|
|
382
|
+
(await landedWhole(store, current.record, head, confirmedLayer, answer.affected));
|
|
383
|
+
if (held &&
|
|
384
|
+
partnerOf(head, locator) === null &&
|
|
385
|
+
!landed(head, confirmedLayer, store.composed(current.record))) {
|
|
386
|
+
store.landed.hold(locator, head.id, Object.fromEntries([...touchedBy([head])].map((path) => [path, confirmedLayer.revisions[path]])));
|
|
387
|
+
return;
|
|
388
|
+
}
|
|
389
|
+
const returned = {
|
|
390
|
+
kind: answer.kind,
|
|
391
|
+
code: answer.code,
|
|
392
|
+
fields: answer.fields,
|
|
393
|
+
retryable: answer.retryable,
|
|
394
|
+
};
|
|
395
|
+
await settled(runtime, local, [
|
|
396
|
+
await settlement(runtime, local, locator, work, current.record, current.queue.filter((batch) => batch.id !== head.id), { leaving: [{ batch: head, returned: held ? null : returned }] }),
|
|
397
|
+
], []);
|
|
398
|
+
});
|
|
399
|
+
}
|
|
400
|
+
export function unpair(runtime) {
|
|
401
|
+
return runtime.store.durably((local) => sweep(runtime, local));
|
|
402
|
+
}
|
package/dist/reach.d.ts
CHANGED
|
@@ -1,17 +1,27 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { AppRoom } from './listing.js';
|
|
2
|
+
import type { ReadinessPort } from './preparation.js';
|
|
3
|
+
import type { MdRuntime, RuntimeTopic } from './surface.js';
|
|
2
4
|
import type { Plan, PlanReach, QueryResult } from './query.js';
|
|
5
|
+
import type { Readiness } from './readiness.js';
|
|
3
6
|
import type { SearchResult } from './search.js';
|
|
4
7
|
export type ReachedDocument = {
|
|
5
8
|
readonly room: string;
|
|
6
9
|
readonly path: string;
|
|
7
10
|
};
|
|
11
|
+
export type ReachedArea = {
|
|
12
|
+
readonly room: string;
|
|
13
|
+
readonly path: string;
|
|
14
|
+
readonly open: readonly string[];
|
|
15
|
+
};
|
|
8
16
|
export type PortReach = {
|
|
9
17
|
readonly rooms: readonly string[];
|
|
10
18
|
readonly documents: readonly ReachedDocument[];
|
|
19
|
+
readonly areas?: readonly ReachedArea[];
|
|
11
20
|
readonly conversations: boolean;
|
|
12
21
|
};
|
|
13
22
|
export type Deliver = (message: unknown) => void;
|
|
14
|
-
export type
|
|
23
|
+
export type Fail = (error: unknown) => void;
|
|
24
|
+
export type Watch = (topic: RuntimeTopic, input: readonly unknown[], deliver: Deliver, fail: Fail) => () => void;
|
|
15
25
|
export type RuntimeView = {
|
|
16
26
|
md: MdRuntime;
|
|
17
27
|
watch: Watch;
|
|
@@ -20,10 +30,16 @@ export type NarrowedView = RuntimeView & {
|
|
|
20
30
|
narrow(reach: PortReach | null): void;
|
|
21
31
|
};
|
|
22
32
|
export type Reachable = RuntimeView & {
|
|
23
|
-
plan(input: unknown, reach: PortReach | null): Plan
|
|
33
|
+
plan(input: unknown, reach: PortReach | null): Promise<Plan>;
|
|
24
34
|
query(plan: Plan): Promise<QueryResult>;
|
|
25
|
-
watchPlan(plan: Plan, deliver:
|
|
35
|
+
watchPlan(plan: Plan, deliver: Deliver, fail: Fail): () => void;
|
|
26
36
|
search(input: unknown, reach: PortReach | null): Promise<SearchResult>;
|
|
37
|
+
watchReadiness(port: ReadinessPort, reach: PortReach | null, deliver: (readiness: Readiness) => void): () => void;
|
|
38
|
+
locked(room: string): Promise<boolean>;
|
|
39
|
+
lockedRooms(): Promise<readonly string[]>;
|
|
40
|
+
watchLocks(notify: () => void): () => void;
|
|
41
|
+
located(room: string, path: string, destination: string): Promise<ReachedDocument | null>;
|
|
42
|
+
room(locator: string): Promise<AppRoom | undefined>;
|
|
27
43
|
};
|
|
28
44
|
export declare function holds(reach: PortReach | null, room: string): boolean;
|
|
29
45
|
export declare function governs(reach: PortReach | null, room: {
|
|
@@ -36,5 +52,5 @@ export declare function governs(reach: PortReach | null, room: {
|
|
|
36
52
|
readonly selection: boolean;
|
|
37
53
|
};
|
|
38
54
|
export declare function planReach(reach: PortReach | null): PlanReach | null;
|
|
39
|
-
export declare function narrowed(runtime: Reachable, given: PortReach | null): NarrowedView;
|
|
55
|
+
export declare function narrowed(runtime: Reachable, given: PortReach | null, port: ReadinessPort): NarrowedView;
|
|
40
56
|
//# sourceMappingURL=reach.d.ts.map
|
package/dist/reach.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../src/reach.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../src/reach.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAe,YAAY,EAAE,MAAM,cAAc,CAAC;AA4BzE,OAAO,KAAK,EAAiB,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAS9E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/E,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;AAEjD,MAAM,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;AAE5C,MAAM,MAAM,KAAK,GAAG,CAClB,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,KACP,MAAM,IAAI,CAAC;AAEhB,MAAM,MAAM,WAAW,GAAG;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG;IACvC,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG;IACpC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM,IAAI,CAAC;IAChE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACvE,cAAc,CACZ,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,KAAK,IAAI,GACtC,MAAM,IAAI,CAAC;IACd,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,WAAW,IAAI,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC1C,UAAU,CAAC,MAAM,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC;IAC3C,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;IAC1F,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;CACrD,CAAC;AAsCF,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAMpE;AAMD,wBAAgB,OAAO,CACrB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAA;CAAE,GAC/F;IAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAS/D;AAeD,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAcnE;AA2GD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,SAAS,EAClB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE,aAAa,GAClB,YAAY,CA8Xd"}
|