@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.
- package/README.md +24 -11
- package/dist/acceptance.d.ts +3 -0
- package/dist/acceptance.d.ts.map +1 -0
- package/dist/acceptance.js +308 -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 +194 -90
- 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 -41
- 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 -52
- 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 -104
- package/dist/connection.d.ts.map +1 -1
- package/dist/connection.js +107 -2094
- 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 +148 -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 -4
- package/dist/host.d.ts.map +1 -1
- package/dist/host.js +149 -27
- 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 +40 -10
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +17 -0
- package/dist/install.d.ts +54 -0
- package/dist/install.d.ts.map +1 -0
- package/dist/install.js +538 -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 +272 -0
- package/dist/listing.d.ts +48 -0
- package/dist/listing.d.ts.map +1 -0
- package/dist/listing.js +139 -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 +7 -0
- package/dist/locks.d.ts.map +1 -0
- package/dist/locks.js +33 -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 +50 -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 +295 -99
- 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 +13 -13
- package/dist/model.d.ts.map +1 -1
- package/dist/model.js +7 -15
- package/dist/models.d.ts +10 -0
- package/dist/models.d.ts.map +1 -0
- package/dist/models.js +156 -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 -0
- package/dist/paths.d.ts.map +1 -1
- package/dist/paths.js +26 -0
- package/dist/preparation.d.ts +20 -0
- package/dist/preparation.d.ts.map +1 -0
- package/dist/preparation.js +233 -0
- package/dist/presence.d.ts +52 -0
- package/dist/presence.d.ts.map +1 -0
- package/dist/presence.js +220 -0
- package/dist/queries.d.ts +16 -0
- package/dist/queries.d.ts.map +1 -0
- package/dist/queries.js +270 -0
- package/dist/query.d.ts +51 -181
- package/dist/query.d.ts.map +1 -1
- package/dist/query.js +3 -461
- 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 +40 -0
- package/dist/queue.d.ts.map +1 -0
- package/dist/queue.js +455 -0
- package/dist/reach.d.ts +21 -5
- package/dist/reach.d.ts.map +1 -1
- package/dist/reach.js +305 -80
- package/dist/react.d.ts +43 -20
- 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 +58 -12
- package/dist/room-draft.d.ts.map +1 -1
- package/dist/room-draft.js +270 -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 -35
- package/dist/rows.d.ts.map +1 -1
- package/dist/rows.js +64 -124
- package/dist/runtime.d.ts +34 -0
- package/dist/runtime.d.ts.map +1 -0
- package/dist/runtime.js +1 -0
- package/dist/save.d.ts +46 -22
- package/dist/save.d.ts.map +1 -1
- package/dist/save.js +969 -171
- package/dist/saves.d.ts +32 -0
- package/dist/saves.d.ts.map +1 -0
- package/dist/saves.js +413 -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 +290 -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/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 +67 -0
- package/dist/socket.d.ts.map +1 -0
- package/dist/socket.js +170 -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/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 +109 -94
- package/dist/store.d.ts.map +1 -1
- package/dist/store.js +161 -384
- 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 +223 -0
- package/dist/sync.d.ts +19 -0
- package/dist/sync.d.ts.map +1 -0
- package/dist/sync.js +521 -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 -244
- 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 -433
package/dist/queries.js
ADDED
|
@@ -0,0 +1,270 @@
|
|
|
1
|
+
import { identityOf } from '@agentshouse/mdmodel';
|
|
2
|
+
import { ROOM_TOTALS } from './figures.js';
|
|
3
|
+
import { roomInFlight } from './install.js';
|
|
4
|
+
import { roomFacts } from './listing.js';
|
|
5
|
+
import { lockedRooms } from './locks.js';
|
|
6
|
+
import { OFFLINE, UNCERTAIN, failure } from './outcome.js';
|
|
7
|
+
import { connectionNow, prepare, roomsOfReach } from './preparation.js';
|
|
8
|
+
import { planWithin, } from './query.js';
|
|
9
|
+
import { planReach } from './reach.js';
|
|
10
|
+
import { refuse } from './refusal.js';
|
|
11
|
+
import { documentKey } from './rows.js';
|
|
12
|
+
import { searchPlanOf } from './search.js';
|
|
13
|
+
import { seedApplies, seededResult, watchSeeded } from './seed.js';
|
|
14
|
+
import { capped, MAXIMUM_WINDOW } from './windows.js';
|
|
15
|
+
const QUERY_BYTES = 1 << 20;
|
|
16
|
+
function everyRoom({ presence }, held) {
|
|
17
|
+
return [
|
|
18
|
+
...new Set([
|
|
19
|
+
...presence.rooms().map(({ locator }) => locator),
|
|
20
|
+
...held.rooms.keys(),
|
|
21
|
+
...held.queues.keys(),
|
|
22
|
+
]),
|
|
23
|
+
];
|
|
24
|
+
}
|
|
25
|
+
function reachedRooms(runtime, plan, held) {
|
|
26
|
+
const reached = plan.reach === null ? null : roomsOfReach(plan.reach);
|
|
27
|
+
const named = plan.rooms ?? (reached === null ? everyRoom(runtime, held) : [...reached]);
|
|
28
|
+
return [...new Set(named)]
|
|
29
|
+
.filter((locator) => (reached === null || reached.has(locator)) && !plan.locked.includes(locator))
|
|
30
|
+
.sort();
|
|
31
|
+
}
|
|
32
|
+
function awaited({ socket, presence }, locator) {
|
|
33
|
+
return (!socket.session.now().roomsListed || presence.room(locator)?.replica.admission === 'admitted');
|
|
34
|
+
}
|
|
35
|
+
function coveredRooms(runtime, locators, whole, held) {
|
|
36
|
+
const { store, socket } = runtime;
|
|
37
|
+
if (locators.length === 0 && whole && !socket.session.now().roomsListed)
|
|
38
|
+
return { pending: [] };
|
|
39
|
+
const pending = [];
|
|
40
|
+
const coverage = [];
|
|
41
|
+
const overlay = [];
|
|
42
|
+
const read = [];
|
|
43
|
+
for (const locator of locators) {
|
|
44
|
+
const replica = held.rooms.get(locator);
|
|
45
|
+
if (replica === undefined) {
|
|
46
|
+
if (awaited(runtime, locator))
|
|
47
|
+
pending.push({ room: locator, awaits: 'acquisition' });
|
|
48
|
+
continue;
|
|
49
|
+
}
|
|
50
|
+
if (!replica.indexed) {
|
|
51
|
+
pending.push({ room: locator, awaits: 'preparation' });
|
|
52
|
+
continue;
|
|
53
|
+
}
|
|
54
|
+
coverage.push({
|
|
55
|
+
room: locator,
|
|
56
|
+
generation: replica.transfer,
|
|
57
|
+
current: !roomInFlight(store, locator),
|
|
58
|
+
});
|
|
59
|
+
read.push({ locator, key: replica.key });
|
|
60
|
+
for (const id of held.queues.get(locator) ?? [])
|
|
61
|
+
overlay.push(id);
|
|
62
|
+
}
|
|
63
|
+
if (pending.length > 0)
|
|
64
|
+
return { pending };
|
|
65
|
+
return { coverage: { rooms: coverage, overlay }, rooms: read };
|
|
66
|
+
}
|
|
67
|
+
function covered(runtime, plan, held) {
|
|
68
|
+
return coveredRooms(runtime, reachedRooms(runtime, plan, held), plan.rooms === null && plan.reach === null, held);
|
|
69
|
+
}
|
|
70
|
+
function awaitPreparation(runtime, cover) {
|
|
71
|
+
if (!('pending' in cover))
|
|
72
|
+
return;
|
|
73
|
+
const waiting = cover.pending.filter(({ awaits }) => awaits === 'preparation');
|
|
74
|
+
if (waiting.length > 0) {
|
|
75
|
+
prepare(runtime, waiting.map(({ room }) => room));
|
|
76
|
+
}
|
|
77
|
+
}
|
|
78
|
+
export async function figuresCover(runtime) {
|
|
79
|
+
const held = await runtime.store.covering();
|
|
80
|
+
const locked = await lockedRooms(runtime);
|
|
81
|
+
const cover = coveredRooms(runtime, everyRoom(runtime, held)
|
|
82
|
+
.filter((locator) => !locked.includes(locator))
|
|
83
|
+
.sort(), true, held);
|
|
84
|
+
awaitPreparation(runtime, cover);
|
|
85
|
+
return 'pending' in cover ? cover : { rooms: cover.rooms };
|
|
86
|
+
}
|
|
87
|
+
function sameCover(left, right) {
|
|
88
|
+
return JSON.stringify(left) === JSON.stringify(right);
|
|
89
|
+
}
|
|
90
|
+
async function windowRows(local, plan, rooms, unchanged) {
|
|
91
|
+
const first = await local.query(plan, rooms, QUERY_BYTES);
|
|
92
|
+
if (first.more === undefined || !('documents' in first)) {
|
|
93
|
+
const { more: _more, ...rows } = first;
|
|
94
|
+
return rows;
|
|
95
|
+
}
|
|
96
|
+
const documents = [...first.documents];
|
|
97
|
+
for (let more = first.more; more !== undefined;) {
|
|
98
|
+
if (!unchanged())
|
|
99
|
+
return null;
|
|
100
|
+
const page = await local.query({
|
|
101
|
+
...plan,
|
|
102
|
+
after: { text: more, values: JSON.parse(more) },
|
|
103
|
+
limit: plan.limit === null ? null : plan.limit - documents.length,
|
|
104
|
+
total: false,
|
|
105
|
+
}, rooms, QUERY_BYTES);
|
|
106
|
+
if (!('documents' in page))
|
|
107
|
+
return null;
|
|
108
|
+
documents.push(...page.documents);
|
|
109
|
+
more = page.more;
|
|
110
|
+
if (more === undefined) {
|
|
111
|
+
return {
|
|
112
|
+
documents,
|
|
113
|
+
...(page.next === undefined ? {} : { next: page.next }),
|
|
114
|
+
...(first.total === undefined ? {} : { total: first.total }),
|
|
115
|
+
};
|
|
116
|
+
}
|
|
117
|
+
}
|
|
118
|
+
return null;
|
|
119
|
+
}
|
|
120
|
+
async function coveredRows({ store }, plan, cover) {
|
|
121
|
+
for (;;) {
|
|
122
|
+
const before = await cover();
|
|
123
|
+
if ('pending' in before)
|
|
124
|
+
return { pending: before };
|
|
125
|
+
const local = await store.open();
|
|
126
|
+
const keys = before.rooms.map(({ key }) => key);
|
|
127
|
+
const changes = local.changes(keys);
|
|
128
|
+
const current = () => local.changes(keys) === changes;
|
|
129
|
+
const rows = await windowRows(local, plan, before.rooms, current);
|
|
130
|
+
const after = await cover();
|
|
131
|
+
if (rows !== null && sameCover(before, after))
|
|
132
|
+
return { rows, cover: before, current };
|
|
133
|
+
}
|
|
134
|
+
}
|
|
135
|
+
function keyedOf(rows, coverage) {
|
|
136
|
+
if ('groups' in rows) {
|
|
137
|
+
return {
|
|
138
|
+
result: { ...rows, coverage },
|
|
139
|
+
keys: rows.groups.map((group) => JSON.stringify(group.key)),
|
|
140
|
+
};
|
|
141
|
+
}
|
|
142
|
+
return {
|
|
143
|
+
result: { ...rows, coverage },
|
|
144
|
+
keys: rows.documents.map((document) => documentKey(document.room, document.path)),
|
|
145
|
+
};
|
|
146
|
+
}
|
|
147
|
+
export async function answeredPlan(runtime, plan, cover) {
|
|
148
|
+
const answered = await coveredRows(runtime, plan, cover);
|
|
149
|
+
if ('pending' in answered) {
|
|
150
|
+
const pending = answered.pending;
|
|
151
|
+
return { result: pending, keys: [], current: () => true };
|
|
152
|
+
}
|
|
153
|
+
const held = answered.cover;
|
|
154
|
+
return { ...keyedOf(answered.rows, held.coverage), current: answered.current };
|
|
155
|
+
}
|
|
156
|
+
async function coverNow(runtime, plan) {
|
|
157
|
+
const cover = covered(runtime, plan, await runtime.store.covering());
|
|
158
|
+
awaitPreparation(runtime, cover);
|
|
159
|
+
return cover;
|
|
160
|
+
}
|
|
161
|
+
export async function rowsQuery(runtime, plan) {
|
|
162
|
+
const held = await runtime.store.covering();
|
|
163
|
+
const before = covered(runtime, plan, held);
|
|
164
|
+
awaitPreparation(runtime, before);
|
|
165
|
+
const seeded = seedApplies(runtime, plan, held);
|
|
166
|
+
if (seeded !== null)
|
|
167
|
+
return seededResult(seeded).result;
|
|
168
|
+
if ('pending' in before)
|
|
169
|
+
return before;
|
|
170
|
+
const answered = await coveredRows(runtime, plan, () => coverNow(runtime, plan));
|
|
171
|
+
if ('pending' in answered)
|
|
172
|
+
return answered.pending;
|
|
173
|
+
const shownCover = answered.cover;
|
|
174
|
+
return { ...answered.rows, coverage: shownCover.coverage };
|
|
175
|
+
}
|
|
176
|
+
export async function planned(runtime, input, reach) {
|
|
177
|
+
const plan = planWithin(input, await roomFacts(runtime, reach), planReach(reach));
|
|
178
|
+
const named = plan.paths !== null &&
|
|
179
|
+
plan.rooms !== null &&
|
|
180
|
+
plan.paths.length * plan.rooms.length <= MAXIMUM_WINDOW;
|
|
181
|
+
return plan.limit === null && named ? plan : { ...plan, limit: capped(plan.limit) };
|
|
182
|
+
}
|
|
183
|
+
export async function roomTallies(runtime, rooms, since) {
|
|
184
|
+
return runtime.store.ask({
|
|
185
|
+
kind: 'replica.tallies',
|
|
186
|
+
totals: { ...(await planned(runtime, ROOM_TOTALS, null)), limit: null },
|
|
187
|
+
rooms,
|
|
188
|
+
since,
|
|
189
|
+
});
|
|
190
|
+
}
|
|
191
|
+
export function watchPlan(runtime, plan, deliver, fail) {
|
|
192
|
+
return watchSeeded(runtime, plan, deliver, (behind, answered) => runtime.liveQueries.watch(plan, identityOf(plan), (held) => {
|
|
193
|
+
const cover = covered(runtime, plan, held);
|
|
194
|
+
awaitPreparation(runtime, cover);
|
|
195
|
+
return behind(cover, held);
|
|
196
|
+
}, answered, fail));
|
|
197
|
+
}
|
|
198
|
+
export function watchPlanned(runtime, planning, deliver, fail) {
|
|
199
|
+
let stop = null;
|
|
200
|
+
let stopped = false;
|
|
201
|
+
planning.then((plan) => {
|
|
202
|
+
if (!stopped)
|
|
203
|
+
stop = watchPlan(runtime, plan, deliver, fail);
|
|
204
|
+
}, (error) => {
|
|
205
|
+
if (!stopped)
|
|
206
|
+
fail(error);
|
|
207
|
+
});
|
|
208
|
+
return () => {
|
|
209
|
+
stopped = true;
|
|
210
|
+
stop?.();
|
|
211
|
+
};
|
|
212
|
+
}
|
|
213
|
+
export async function searched(runtime, input, reach) {
|
|
214
|
+
const { store, socket, journal } = runtime;
|
|
215
|
+
const { session } = socket;
|
|
216
|
+
const asked = searchPlanOf(input);
|
|
217
|
+
await socket.ready;
|
|
218
|
+
const search = socket.search();
|
|
219
|
+
if (search === undefined) {
|
|
220
|
+
return {
|
|
221
|
+
kind: 'undeclared',
|
|
222
|
+
code: 'action-undeclared',
|
|
223
|
+
fields: { name: 'search' },
|
|
224
|
+
retryable: false,
|
|
225
|
+
};
|
|
226
|
+
}
|
|
227
|
+
if (socket.closed() ||
|
|
228
|
+
session.now().refusal !== null ||
|
|
229
|
+
(await connectionNow(runtime)) !== 'connected')
|
|
230
|
+
return OFFLINE;
|
|
231
|
+
const reached = reach === null ? null : new Set(reach.rooms);
|
|
232
|
+
const named = asked.rooms === null
|
|
233
|
+
? reached === null
|
|
234
|
+
? null
|
|
235
|
+
: [...reached]
|
|
236
|
+
: asked.rooms.filter((room) => reached === null || reached.has(room));
|
|
237
|
+
const held = named === null ? null : await store.rooms(named);
|
|
238
|
+
const rooms = named === null ? null : named.filter((room) => held.has(room)).sort();
|
|
239
|
+
if (rooms !== null && rooms.length === 0)
|
|
240
|
+
return { kind: 'found', documents: [] };
|
|
241
|
+
try {
|
|
242
|
+
await socket.authorize();
|
|
243
|
+
}
|
|
244
|
+
catch {
|
|
245
|
+
return UNCERTAIN;
|
|
246
|
+
}
|
|
247
|
+
const { closed, authorization, refusal } = session.now();
|
|
248
|
+
if (closed || authorization === undefined || refusal !== null)
|
|
249
|
+
return UNCERTAIN;
|
|
250
|
+
journal.record('transfer search');
|
|
251
|
+
try {
|
|
252
|
+
const result = await search(authorization, { text: asked.text, rooms });
|
|
253
|
+
if (result.kind === 'revoked-authorization')
|
|
254
|
+
await refuse(runtime, 'revoked-authorization');
|
|
255
|
+
journal.record(`outcome search ${result.kind}`);
|
|
256
|
+
if (result.kind === 'rejected')
|
|
257
|
+
return result;
|
|
258
|
+
if (result.kind !== 'found')
|
|
259
|
+
return failure(result);
|
|
260
|
+
const kept = rooms === null ? null : new Set(rooms);
|
|
261
|
+
return {
|
|
262
|
+
kind: 'found',
|
|
263
|
+
documents: result.documents.filter((hit) => kept === null || kept.has(hit.room)),
|
|
264
|
+
};
|
|
265
|
+
}
|
|
266
|
+
catch {
|
|
267
|
+
journal.record('outcome search transport-uncertainty');
|
|
268
|
+
return UNCERTAIN;
|
|
269
|
+
}
|
|
270
|
+
}
|
package/dist/query.d.ts
CHANGED
|
@@ -1,83 +1,7 @@
|
|
|
1
|
-
import { type
|
|
1
|
+
import { type HeldRooms, type QueryPlan } from '@agentshouse/mdmodel';
|
|
2
2
|
import type { HeadChange } from './adapter.js';
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
$eq: Value;
|
|
6
|
-
} | {
|
|
7
|
-
$ne: Value;
|
|
8
|
-
} | {
|
|
9
|
-
$in: readonly Value[];
|
|
10
|
-
} | {
|
|
11
|
-
$nin: readonly Value[];
|
|
12
|
-
} | {
|
|
13
|
-
$gt?: Value;
|
|
14
|
-
$gte?: Value;
|
|
15
|
-
$lt?: Value;
|
|
16
|
-
$lte?: Value;
|
|
17
|
-
} | {
|
|
18
|
-
$all: readonly Value[];
|
|
19
|
-
} | {
|
|
20
|
-
$size: number;
|
|
21
|
-
} | {
|
|
22
|
-
$exists: boolean;
|
|
23
|
-
};
|
|
24
|
-
export type Where = {
|
|
25
|
-
$and?: readonly Where[];
|
|
26
|
-
$or?: readonly Where[];
|
|
27
|
-
[field: string]: Predicate | readonly Where[] | undefined;
|
|
28
|
-
};
|
|
29
|
-
export type Related = {
|
|
30
|
-
types?: readonly string[];
|
|
31
|
-
where?: Where;
|
|
32
|
-
pathPrefix?: string;
|
|
33
|
-
};
|
|
34
|
-
export type Filter = {
|
|
35
|
-
rooms?: readonly string[];
|
|
36
|
-
types?: readonly string[];
|
|
37
|
-
where?: Where;
|
|
38
|
-
pathPrefix?: string;
|
|
39
|
-
hop?: Related & {
|
|
40
|
-
field: string;
|
|
41
|
-
};
|
|
42
|
-
backlinks?: Related & {
|
|
43
|
-
field?: string;
|
|
44
|
-
};
|
|
45
|
-
};
|
|
46
|
-
export type Key = 'room' | 'path' | 'type' | {
|
|
47
|
-
field: string;
|
|
48
|
-
};
|
|
49
|
-
export type Select = 'all' | {
|
|
50
|
-
fields?: 'all' | readonly string[];
|
|
51
|
-
sections?: 'all' | readonly string[];
|
|
52
|
-
preamble?: true;
|
|
53
|
-
markdown?: true;
|
|
54
|
-
backlinks?: true;
|
|
55
|
-
change?: true;
|
|
56
|
-
};
|
|
57
|
-
export type OrderOptions = {
|
|
58
|
-
nulls?: 'first' | 'last';
|
|
59
|
-
stringSort?: 'lexical' | 'locale';
|
|
60
|
-
locale?: string;
|
|
61
|
-
localeOptions?: Readonly<Record<string, unknown>>;
|
|
62
|
-
};
|
|
63
|
-
export type Direction = 'asc' | 'desc';
|
|
64
|
-
export type DocumentQuery = Filter & {
|
|
65
|
-
select: Select;
|
|
66
|
-
orderBy?: readonly ({
|
|
67
|
-
by: Key;
|
|
68
|
-
direction?: Direction;
|
|
69
|
-
} & OrderOptions)[];
|
|
70
|
-
limit?: number;
|
|
71
|
-
};
|
|
72
|
-
export type GroupQuery = Filter & {
|
|
73
|
-
groupBy: readonly Exclude<Key, 'path'>[];
|
|
74
|
-
orderBy?: readonly {
|
|
75
|
-
by: 'count' | Exclude<Key, 'path'>;
|
|
76
|
-
direction?: Direction;
|
|
77
|
-
}[];
|
|
78
|
-
limit?: number;
|
|
79
|
-
};
|
|
80
|
-
export type LocalQuery = DocumentQuery | GroupQuery;
|
|
3
|
+
import type { BinaryFileRecord } from './binary.js';
|
|
4
|
+
import type { Open } from './open.js';
|
|
81
5
|
export type Backlink = {
|
|
82
6
|
path: string;
|
|
83
7
|
type: string;
|
|
@@ -93,126 +17,72 @@ export type QueryDocument = {
|
|
|
93
17
|
markdown?: string;
|
|
94
18
|
backlinks?: readonly Backlink[];
|
|
95
19
|
change?: HeadChange | null;
|
|
20
|
+
fileId?: string | null;
|
|
21
|
+
revision?: string | null;
|
|
22
|
+
binaryFile?: BinaryFileRecord;
|
|
23
|
+
size?: number | null;
|
|
24
|
+
created?: string | null;
|
|
25
|
+
};
|
|
26
|
+
export type GroupTotal = {
|
|
27
|
+
count: number;
|
|
28
|
+
size: number;
|
|
96
29
|
};
|
|
97
30
|
export type QueryGroup = {
|
|
98
31
|
key: readonly unknown[];
|
|
99
32
|
count: number;
|
|
33
|
+
documents?: GroupTotal;
|
|
34
|
+
files?: GroupTotal;
|
|
35
|
+
updated?: string | null;
|
|
36
|
+
greatest?: unknown;
|
|
100
37
|
};
|
|
101
|
-
export type
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
groups: readonly QueryGroup[];
|
|
38
|
+
export type CoveredRoom = {
|
|
39
|
+
room: string;
|
|
40
|
+
generation: string;
|
|
41
|
+
current: boolean;
|
|
106
42
|
};
|
|
107
|
-
export type
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
locator: string;
|
|
111
|
-
available: boolean;
|
|
112
|
-
types: readonly Definition[];
|
|
43
|
+
export type QueryCoverage = {
|
|
44
|
+
rooms: readonly CoveredRoom[];
|
|
45
|
+
overlay: readonly string[];
|
|
113
46
|
};
|
|
114
|
-
export type
|
|
115
|
-
|
|
116
|
-
|
|
47
|
+
export type Awaits = Open<'acquisition' | 'preparation' | 'unlock'>;
|
|
48
|
+
export type PendingRoom = {
|
|
49
|
+
room: string;
|
|
50
|
+
awaits: Awaits;
|
|
117
51
|
};
|
|
118
|
-
export type
|
|
119
|
-
|
|
120
|
-
value: Value;
|
|
121
|
-
} | {
|
|
122
|
-
op: 'ne';
|
|
123
|
-
value: Value;
|
|
124
|
-
} | {
|
|
125
|
-
op: 'in';
|
|
126
|
-
values: readonly Value[];
|
|
127
|
-
} | {
|
|
128
|
-
op: 'nin';
|
|
129
|
-
values: readonly Value[];
|
|
130
|
-
} | {
|
|
131
|
-
op: 'range';
|
|
132
|
-
bounds: readonly (readonly ['gt' | 'gte' | 'lt' | 'lte', Value])[];
|
|
133
|
-
} | {
|
|
134
|
-
op: 'all';
|
|
135
|
-
values: readonly Value[];
|
|
136
|
-
} | {
|
|
137
|
-
op: 'size';
|
|
138
|
-
size: number;
|
|
139
|
-
} | {
|
|
140
|
-
op: 'exists';
|
|
141
|
-
exists: boolean;
|
|
52
|
+
export type PendingResult = {
|
|
53
|
+
pending: readonly PendingRoom[];
|
|
142
54
|
};
|
|
143
|
-
export type
|
|
144
|
-
|
|
145
|
-
|
|
146
|
-
|
|
147
|
-
} | {
|
|
148
|
-
field: string;
|
|
149
|
-
test: Test;
|
|
55
|
+
export type DocumentRows = {
|
|
56
|
+
documents: readonly QueryDocument[];
|
|
57
|
+
next?: string;
|
|
58
|
+
total?: number;
|
|
150
59
|
};
|
|
151
|
-
export type
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
60
|
+
export type GroupRows = {
|
|
61
|
+
groups: readonly QueryGroup[];
|
|
62
|
+
next?: string;
|
|
63
|
+
total?: number;
|
|
155
64
|
};
|
|
156
|
-
export type
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
of: 'path';
|
|
160
|
-
} | {
|
|
161
|
-
of: 'type';
|
|
162
|
-
} | {
|
|
163
|
-
of: 'field';
|
|
164
|
-
field: string;
|
|
65
|
+
export type QueryRows = DocumentRows | GroupRows;
|
|
66
|
+
export type DocumentResult = DocumentRows & {
|
|
67
|
+
coverage: QueryCoverage;
|
|
165
68
|
};
|
|
166
|
-
export type
|
|
167
|
-
|
|
168
|
-
fields: 'all' | readonly string[] | null;
|
|
169
|
-
sections: 'all' | readonly string[] | null;
|
|
170
|
-
preamble: boolean;
|
|
171
|
-
markdown: boolean;
|
|
172
|
-
backlinks: boolean;
|
|
173
|
-
change: boolean;
|
|
174
|
-
orderBy: readonly {
|
|
175
|
-
key: KeyPlan;
|
|
176
|
-
options: OrderOptions & {
|
|
177
|
-
direction: Direction;
|
|
178
|
-
};
|
|
179
|
-
}[];
|
|
69
|
+
export type GroupResult = GroupRows & {
|
|
70
|
+
coverage: QueryCoverage;
|
|
180
71
|
};
|
|
181
|
-
export type
|
|
182
|
-
|
|
183
|
-
|
|
184
|
-
|
|
185
|
-
|
|
186
|
-
direction: Direction;
|
|
187
|
-
}[];
|
|
72
|
+
export type QueryResult = DocumentResult | GroupResult | PendingResult;
|
|
73
|
+
export type PlanArea = {
|
|
74
|
+
room: string;
|
|
75
|
+
path: string;
|
|
76
|
+
open: readonly string[];
|
|
188
77
|
};
|
|
189
78
|
export type PlanReach = {
|
|
190
79
|
rooms: readonly string[];
|
|
191
80
|
documents: readonly string[];
|
|
81
|
+
areas: readonly PlanArea[];
|
|
192
82
|
};
|
|
193
|
-
export type Plan = {
|
|
194
|
-
rooms: readonly string[] | null;
|
|
83
|
+
export type Plan = QueryPlan & {
|
|
195
84
|
reach: PlanReach | null;
|
|
196
|
-
|
|
197
|
-
hop: (Scope & {
|
|
198
|
-
field: string;
|
|
199
|
-
}) | null;
|
|
200
|
-
backlinks: (Scope & {
|
|
201
|
-
field: string | null;
|
|
202
|
-
}) | null;
|
|
203
|
-
shape: DocumentShape | GroupShape;
|
|
204
|
-
limit: number | null;
|
|
85
|
+
locked: readonly string[];
|
|
205
86
|
};
|
|
206
|
-
export declare
|
|
207
|
-
constructor(code: QueryErrorCode, at: string, problem: string);
|
|
208
|
-
}
|
|
209
|
-
type Entries = Readonly<Record<string, unknown>>;
|
|
210
|
-
export declare function invalid(at: string, problem: string): never;
|
|
211
|
-
export declare function plain(value: unknown): value is Entries;
|
|
212
|
-
export declare function known(value: Entries, allowed: readonly string[], at: string): void;
|
|
213
|
-
export declare function planOf(input: unknown, facts: HeldRooms, reach?: PlanReach | null): Plan;
|
|
214
|
-
export declare function limitOf(input: unknown): number | null;
|
|
215
|
-
export declare function filterOf(input: unknown, facts: HeldRooms, reach?: PlanReach | null): Plan;
|
|
216
|
-
export declare function identityOf(plan: Plan): string;
|
|
217
|
-
export {};
|
|
87
|
+
export declare function planWithin(input: unknown, facts: HeldRooms, reach?: PlanReach | null): Plan;
|
|
218
88
|
//# sourceMappingURL=query.d.ts.map
|
package/dist/query.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../src/query.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../src/query.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,MAAM,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAErE,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3C,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IAChC,MAAM,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,MAAM,UAAU,GAAG;IACvB,GAAG,EAAE,SAAS,OAAO,EAAE,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEjF,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,GAAG,aAAa,GAAG,QAAQ,CAAC,CAAC;AAEpE,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D,MAAM,MAAM,aAAa,GAAG;IAAE,OAAO,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,CAAC;AAEhE,MAAM,MAAM,YAAY,GAAG;IAAE,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAElG,MAAM,MAAM,SAAS,GAAG;IAAE,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzF,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;AAEjD,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG;IAAE,QAAQ,EAAE,aAAa,CAAA;CAAE,CAAC;AAExE,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IAAE,QAAQ,EAAE,aAAa,CAAA;CAAE,CAAC;AAElE,MAAM,MAAM,WAAW,GAAG,cAAc,GAAG,WAAW,GAAG,aAAa,CAAC;AAEvE,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,SAAS,GAAG;IAC7B,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IACxB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3B,CAAC;AAEF,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,GAAE,SAAS,GAAG,IAAW,GAAG,IAAI,CAEjG"}
|