@agentshouse/mdruntime 0.1.0-c009335e08279 → 0.1.0-c0136de3edfbe
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 +25 -12
- package/dist/acceptance.d.ts +6 -0
- package/dist/acceptance.d.ts.map +1 -0
- package/dist/acceptance.js +389 -0
- package/dist/actions.d.ts +20 -0
- package/dist/actions.d.ts.map +1 -0
- package/dist/actions.js +248 -0
- package/dist/adapter.d.ts +246 -80
- package/dist/adapter.d.ts.map +1 -1
- package/dist/adapter.js +1 -9
- package/dist/attached-model.d.ts +8 -0
- package/dist/attached-model.d.ts.map +1 -0
- package/dist/attached-model.js +46 -0
- 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 +40 -6
- package/dist/bootstrap.d.ts.map +1 -1
- package/dist/bootstrap.js +336 -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 +9 -14
- package/dist/change-set.d.ts.map +1 -1
- package/dist/change-set.js +11 -56
- package/dist/change.d.ts +46 -0
- package/dist/change.d.ts.map +1 -1
- package/dist/change.js +34 -0
- package/dist/chat-types.d.ts +3 -0
- package/dist/chat-types.d.ts.map +1 -0
- package/dist/chat-types.js +2 -0
- package/dist/client.d.ts +53 -18
- package/dist/client.d.ts.map +1 -1
- package/dist/client.js +162 -30
- package/dist/collection.d.ts +13 -14
- package/dist/collection.d.ts.map +1 -1
- package/dist/collection.js +52 -56
- package/dist/compile.d.ts +16 -0
- package/dist/compile.d.ts.map +1 -0
- package/dist/compile.js +717 -0
- package/dist/connection.d.ts +8 -106
- package/dist/connection.d.ts.map +1 -1
- package/dist/connection.js +102 -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-row.d.ts +33 -0
- package/dist/conversation-row.d.ts.map +1 -0
- package/dist/conversation-row.js +47 -0
- package/dist/conversation.d.ts +76 -27
- package/dist/conversation.d.ts.map +1 -1
- package/dist/conversation.js +1052 -273
- 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 +175 -0
- package/dist/durability.d.ts +10 -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 +21 -0
- package/dist/expectation.d.ts.map +1 -0
- package/dist/expectation.js +70 -0
- package/dist/failure.d.ts +13 -0
- package/dist/failure.d.ts.map +1 -0
- package/dist/failure.js +19 -0
- package/dist/figures.d.ts +48 -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/host.d.ts +18 -2
- package/dist/host.d.ts.map +1 -1
- package/dist/host.js +165 -51
- 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 +35 -10
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +13 -0
- package/dist/install.d.ts +56 -0
- package/dist/install.d.ts.map +1 -0
- package/dist/install.js +560 -0
- package/dist/job.d.ts +33 -0
- package/dist/job.d.ts.map +1 -0
- package/dist/job.js +54 -0
- package/dist/lifecycle.d.ts +7 -0
- package/dist/lifecycle.d.ts.map +1 -0
- package/dist/lifecycle.js +267 -0
- package/dist/listing.d.ts +53 -0
- package/dist/listing.d.ts.map +1 -0
- package/dist/listing.js +175 -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 +61 -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 +30 -9
- package/dist/memory.d.ts.map +1 -1
- package/dist/memory.js +337 -86
- package/dist/messages.d.ts +52 -0
- package/dist/messages.d.ts.map +1 -0
- package/dist/messages.js +168 -0
- package/dist/model.d.ts +17 -16
- package/dist/model.d.ts.map +1 -1
- package/dist/model.js +9 -9
- package/dist/models.d.ts +14 -0
- package/dist/models.d.ts.map +1 -0
- package/dist/models.js +193 -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 -2
- package/dist/observation.d.ts.map +1 -1
- package/dist/observation.js +133 -17
- 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 +56 -0
- package/dist/outcome.d.ts +73 -5
- package/dist/outcome.d.ts.map +1 -1
- package/dist/outcome.js +84 -1
- package/dist/overlay.d.ts +16 -5
- package/dist/overlay.d.ts.map +1 -1
- package/dist/overlay.js +147 -180
- package/dist/parts.d.ts +59 -0
- package/dist/parts.d.ts.map +1 -0
- package/dist/parts.js +118 -0
- package/dist/paths.d.ts +1 -1
- package/dist/paths.d.ts.map +1 -1
- package/dist/paths.js +4 -16
- package/dist/preparation.d.ts +20 -0
- package/dist/preparation.d.ts.map +1 -0
- package/dist/preparation.js +226 -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 +56 -180
- package/dist/query.d.ts.map +1 -1
- package/dist/query.js +3 -422
- package/dist/questions.d.ts +32 -0
- package/dist/questions.d.ts.map +1 -0
- package/dist/questions.js +118 -0
- package/dist/reach.d.ts +56 -0
- package/dist/reach.d.ts.map +1 -0
- package/dist/reach.js +494 -0
- package/dist/react.d.ts +47 -0
- package/dist/react.d.ts.map +1 -0
- package/dist/react.js +54 -0
- 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 +50 -0
- package/dist/readiness.d.ts.map +1 -0
- package/dist/readiness.js +27 -0
- package/dist/reads.d.ts +36 -0
- package/dist/reads.d.ts.map +1 -0
- package/dist/reads.js +136 -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 +21 -7
- package/dist/refresh.d.ts.map +1 -1
- package/dist/refresh.js +155 -55
- package/dist/refusal.d.ts +5 -0
- package/dist/refusal.d.ts.map +1 -0
- package/dist/refusal.js +56 -0
- package/dist/replica.d.ts +58 -33
- package/dist/replica.d.ts.map +1 -1
- package/dist/replica.js +355 -158
- package/dist/room-draft.d.ts +62 -11
- package/dist/room-draft.d.ts.map +1 -1
- package/dist/room-draft.js +281 -83
- package/dist/room-drafts.d.ts +24 -0
- package/dist/room-drafts.d.ts.map +1 -0
- package/dist/room-drafts.js +216 -0
- package/dist/rows.d.ts +32 -34
- package/dist/rows.d.ts.map +1 -1
- package/dist/rows.js +65 -87
- package/dist/runtime.d.ts +42 -0
- package/dist/runtime.d.ts.map +1 -0
- package/dist/runtime.js +1 -0
- package/dist/save.d.ts +74 -6
- package/dist/save.d.ts.map +1 -1
- package/dist/save.js +902 -182
- package/dist/saves.d.ts +70 -0
- package/dist/saves.d.ts.map +1 -0
- package/dist/saves.js +1004 -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 +146 -0
- package/dist/shared.d.ts +15 -0
- package/dist/shared.d.ts.map +1 -0
- package/dist/shared.js +421 -0
- package/dist/shown.d.ts +31 -0
- package/dist/shown.d.ts.map +1 -0
- package/dist/shown.js +294 -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 +43 -0
- package/dist/socket/rooms.d.ts.map +1 -0
- package/dist/socket/rooms.js +90 -0
- package/dist/socket/session.d.ts +39 -0
- package/dist/socket/session.d.ts.map +1 -0
- package/dist/socket/session.js +23 -0
- package/dist/socket.d.ts +70 -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 +81 -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 +212 -0
- package/dist/store/records.d.ts.map +1 -0
- package/dist/store/records.js +408 -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 +43 -0
- package/dist/store/watchers.d.ts +17 -0
- package/dist/store/watchers.d.ts.map +1 -0
- package/dist/store/watchers.js +57 -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 -93
- 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 +637 -0
- package/dist/surface.d.ts +86 -0
- package/dist/surface.d.ts.map +1 -0
- package/dist/surface.js +217 -0
- package/dist/sync.d.ts +20 -0
- package/dist/sync.d.ts.map +1 -0
- package/dist/sync.js +531 -0
- package/dist/tables.d.ts +407 -0
- package/dist/tables.d.ts.map +1 -0
- package/dist/tables.js +724 -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 +206 -20
- package/dist/wire.d.ts.map +1 -1
- package/dist/wire.js +95 -61
- package/package.json +33 -10
- package/AGENTS.md +0 -208
- 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 -14
- package/dist/read-side.d.ts.map +0 -1
- package/dist/read-side.js +0 -371
package/dist/queries.js
ADDED
|
@@ -0,0 +1,272 @@
|
|
|
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({ socket }, held) {
|
|
17
|
+
return [
|
|
18
|
+
...new Set([
|
|
19
|
+
...socket.rooms.declarations().keys(),
|
|
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 }, locator) {
|
|
33
|
+
return (!socket.session.now().roomsListed ||
|
|
34
|
+
(socket.rooms.declared(locator) !== undefined &&
|
|
35
|
+
socket.rooms.discovered(locator)?.replica.admission === 'admitted'));
|
|
36
|
+
}
|
|
37
|
+
function coveredRooms(runtime, locators, whole, held) {
|
|
38
|
+
const { store, socket } = runtime;
|
|
39
|
+
if (locators.length === 0 && whole && !socket.session.now().roomsListed)
|
|
40
|
+
return { pending: [] };
|
|
41
|
+
const pending = [];
|
|
42
|
+
const coverage = [];
|
|
43
|
+
const overlay = [];
|
|
44
|
+
const read = [];
|
|
45
|
+
for (const locator of locators) {
|
|
46
|
+
const replica = held.rooms.get(locator);
|
|
47
|
+
if (replica === undefined) {
|
|
48
|
+
if (awaited(runtime, locator))
|
|
49
|
+
pending.push({ room: locator, awaits: 'acquisition' });
|
|
50
|
+
continue;
|
|
51
|
+
}
|
|
52
|
+
if (!replica.indexed) {
|
|
53
|
+
pending.push({ room: locator, awaits: 'preparation' });
|
|
54
|
+
continue;
|
|
55
|
+
}
|
|
56
|
+
coverage.push({
|
|
57
|
+
room: locator,
|
|
58
|
+
generation: replica.transfer,
|
|
59
|
+
current: !roomInFlight(store, locator),
|
|
60
|
+
});
|
|
61
|
+
read.push({ locator, key: replica.key });
|
|
62
|
+
for (const id of held.queues.get(locator) ?? [])
|
|
63
|
+
overlay.push(id);
|
|
64
|
+
}
|
|
65
|
+
if (pending.length > 0)
|
|
66
|
+
return { pending };
|
|
67
|
+
return { coverage: { rooms: coverage, indexes: [], overlay }, rooms: read };
|
|
68
|
+
}
|
|
69
|
+
function covered(runtime, plan, held) {
|
|
70
|
+
return coveredRooms(runtime, reachedRooms(runtime, plan, held), plan.rooms === null && plan.reach === null, held);
|
|
71
|
+
}
|
|
72
|
+
function awaitPreparation(runtime, cover) {
|
|
73
|
+
if (!('pending' in cover))
|
|
74
|
+
return;
|
|
75
|
+
const waiting = cover.pending.filter(({ awaits }) => awaits === 'preparation');
|
|
76
|
+
if (waiting.length > 0) {
|
|
77
|
+
prepare(runtime, waiting.map(({ room }) => room));
|
|
78
|
+
}
|
|
79
|
+
}
|
|
80
|
+
export async function figuresCover(runtime) {
|
|
81
|
+
const held = await runtime.store.covering();
|
|
82
|
+
const locked = await lockedRooms(runtime);
|
|
83
|
+
const cover = coveredRooms(runtime, everyRoom(runtime, held)
|
|
84
|
+
.filter((locator) => !locked.includes(locator))
|
|
85
|
+
.sort(), true, held);
|
|
86
|
+
awaitPreparation(runtime, cover);
|
|
87
|
+
return 'pending' in cover ? cover : { rooms: cover.rooms };
|
|
88
|
+
}
|
|
89
|
+
function sameCover(left, right) {
|
|
90
|
+
return JSON.stringify(left) === JSON.stringify(right);
|
|
91
|
+
}
|
|
92
|
+
async function windowRows(local, plan, rooms, unchanged) {
|
|
93
|
+
const first = await local.query(plan, rooms, QUERY_BYTES);
|
|
94
|
+
if (first.more === undefined || !('documents' in first)) {
|
|
95
|
+
const { more: _more, ...rows } = first;
|
|
96
|
+
return rows;
|
|
97
|
+
}
|
|
98
|
+
const documents = [...first.documents];
|
|
99
|
+
for (let more = first.more; more !== undefined;) {
|
|
100
|
+
if (!unchanged())
|
|
101
|
+
return null;
|
|
102
|
+
const page = await local.query({
|
|
103
|
+
...plan,
|
|
104
|
+
after: { text: more, values: JSON.parse(more) },
|
|
105
|
+
limit: plan.limit === null ? null : plan.limit - documents.length,
|
|
106
|
+
total: false,
|
|
107
|
+
}, rooms, QUERY_BYTES);
|
|
108
|
+
if (!('documents' in page))
|
|
109
|
+
return null;
|
|
110
|
+
documents.push(...page.documents);
|
|
111
|
+
more = page.more;
|
|
112
|
+
if (more === undefined) {
|
|
113
|
+
return {
|
|
114
|
+
documents,
|
|
115
|
+
...(page.next === undefined ? {} : { next: page.next }),
|
|
116
|
+
...(first.total === undefined ? {} : { total: first.total }),
|
|
117
|
+
};
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
return null;
|
|
121
|
+
}
|
|
122
|
+
async function coveredRows({ store }, plan, cover) {
|
|
123
|
+
for (;;) {
|
|
124
|
+
const before = await cover();
|
|
125
|
+
if ('pending' in before)
|
|
126
|
+
return { pending: before };
|
|
127
|
+
const local = await store.open();
|
|
128
|
+
const keys = before.rooms.map(({ key }) => key);
|
|
129
|
+
const changes = local.changes(keys);
|
|
130
|
+
const current = () => local.changes(keys) === changes;
|
|
131
|
+
const rows = await windowRows(local, plan, before.rooms, current);
|
|
132
|
+
const after = await cover();
|
|
133
|
+
if (rows !== null && sameCover(before, after))
|
|
134
|
+
return { rows, cover: before, current };
|
|
135
|
+
}
|
|
136
|
+
}
|
|
137
|
+
function keyedOf(rows, coverage) {
|
|
138
|
+
if ('groups' in rows) {
|
|
139
|
+
return {
|
|
140
|
+
result: { ...rows, coverage },
|
|
141
|
+
keys: rows.groups.map((group) => JSON.stringify(group.key)),
|
|
142
|
+
};
|
|
143
|
+
}
|
|
144
|
+
return {
|
|
145
|
+
result: { ...rows, coverage },
|
|
146
|
+
keys: rows.documents.map((document) => documentKey(document.room, document.path)),
|
|
147
|
+
};
|
|
148
|
+
}
|
|
149
|
+
export async function answeredPlan(runtime, plan, cover) {
|
|
150
|
+
const answered = await coveredRows(runtime, plan, cover);
|
|
151
|
+
if ('pending' in answered) {
|
|
152
|
+
const pending = answered.pending;
|
|
153
|
+
return { result: pending, keys: [], current: () => true };
|
|
154
|
+
}
|
|
155
|
+
const held = answered.cover;
|
|
156
|
+
return { ...keyedOf(answered.rows, held.coverage), current: answered.current };
|
|
157
|
+
}
|
|
158
|
+
async function coverNow(runtime, plan) {
|
|
159
|
+
const cover = covered(runtime, plan, await runtime.store.covering());
|
|
160
|
+
awaitPreparation(runtime, cover);
|
|
161
|
+
return cover;
|
|
162
|
+
}
|
|
163
|
+
export async function rowsQuery(runtime, plan) {
|
|
164
|
+
const held = await runtime.store.covering();
|
|
165
|
+
const before = covered(runtime, plan, held);
|
|
166
|
+
awaitPreparation(runtime, before);
|
|
167
|
+
const seeded = seedApplies(runtime, plan, held);
|
|
168
|
+
if (seeded !== null)
|
|
169
|
+
return seededResult(seeded).result;
|
|
170
|
+
if ('pending' in before)
|
|
171
|
+
return before;
|
|
172
|
+
const answered = await coveredRows(runtime, plan, () => coverNow(runtime, plan));
|
|
173
|
+
if ('pending' in answered)
|
|
174
|
+
return answered.pending;
|
|
175
|
+
const shownCover = answered.cover;
|
|
176
|
+
return { ...answered.rows, coverage: shownCover.coverage };
|
|
177
|
+
}
|
|
178
|
+
export async function planned(runtime, input, reach) {
|
|
179
|
+
const plan = planWithin(input, await roomFacts(runtime, reach), planReach(reach));
|
|
180
|
+
const named = plan.paths !== null &&
|
|
181
|
+
plan.rooms !== null &&
|
|
182
|
+
plan.paths.length * plan.rooms.length <= MAXIMUM_WINDOW;
|
|
183
|
+
return plan.limit === null && named ? plan : { ...plan, limit: capped(plan.limit) };
|
|
184
|
+
}
|
|
185
|
+
export async function roomTallies(runtime, rooms, since) {
|
|
186
|
+
return runtime.store.ask({
|
|
187
|
+
kind: 'replica.tallies',
|
|
188
|
+
totals: { ...(await planned(runtime, ROOM_TOTALS, null)), limit: null },
|
|
189
|
+
rooms,
|
|
190
|
+
since,
|
|
191
|
+
});
|
|
192
|
+
}
|
|
193
|
+
export function watchPlan(runtime, plan, deliver, fail) {
|
|
194
|
+
return watchSeeded(runtime, plan, deliver, (behind, answered) => runtime.liveQueries.watch(plan, identityOf(plan), (held) => {
|
|
195
|
+
const cover = covered(runtime, plan, held);
|
|
196
|
+
awaitPreparation(runtime, cover);
|
|
197
|
+
return behind(cover, held);
|
|
198
|
+
}, answered, fail));
|
|
199
|
+
}
|
|
200
|
+
export function watchPlanned(runtime, planning, deliver, fail) {
|
|
201
|
+
let stop = null;
|
|
202
|
+
let stopped = false;
|
|
203
|
+
planning.then((plan) => {
|
|
204
|
+
if (!stopped)
|
|
205
|
+
stop = watchPlan(runtime, plan, deliver, fail);
|
|
206
|
+
}, (error) => {
|
|
207
|
+
if (!stopped)
|
|
208
|
+
fail(error);
|
|
209
|
+
});
|
|
210
|
+
return () => {
|
|
211
|
+
stopped = true;
|
|
212
|
+
stop?.();
|
|
213
|
+
};
|
|
214
|
+
}
|
|
215
|
+
export async function searched(runtime, input, reach) {
|
|
216
|
+
const { store, socket, journal } = runtime;
|
|
217
|
+
const { session } = socket;
|
|
218
|
+
const asked = searchPlanOf(input);
|
|
219
|
+
await socket.ready;
|
|
220
|
+
const search = socket.search();
|
|
221
|
+
if (search === undefined) {
|
|
222
|
+
return {
|
|
223
|
+
kind: 'undeclared',
|
|
224
|
+
code: 'action-undeclared',
|
|
225
|
+
fields: { name: 'search' },
|
|
226
|
+
retryable: false,
|
|
227
|
+
};
|
|
228
|
+
}
|
|
229
|
+
if (socket.closed() ||
|
|
230
|
+
session.now().refusal !== null ||
|
|
231
|
+
(await connectionNow(runtime)) !== 'connected')
|
|
232
|
+
return OFFLINE;
|
|
233
|
+
const reached = reach === null ? null : new Set(reach.rooms);
|
|
234
|
+
const named = asked.rooms === null
|
|
235
|
+
? reached === null
|
|
236
|
+
? null
|
|
237
|
+
: [...reached]
|
|
238
|
+
: asked.rooms.filter((room) => reached === null || reached.has(room));
|
|
239
|
+
const held = named === null ? null : await store.rooms(named);
|
|
240
|
+
const rooms = named === null ? null : named.filter((room) => held.has(room)).sort();
|
|
241
|
+
if (rooms !== null && rooms.length === 0)
|
|
242
|
+
return { kind: 'found', documents: [] };
|
|
243
|
+
try {
|
|
244
|
+
await socket.authorize();
|
|
245
|
+
}
|
|
246
|
+
catch {
|
|
247
|
+
return UNCERTAIN;
|
|
248
|
+
}
|
|
249
|
+
const { closed, authorization, refusal } = session.now();
|
|
250
|
+
if (closed || authorization === undefined || refusal !== null)
|
|
251
|
+
return UNCERTAIN;
|
|
252
|
+
journal.record('transfer search');
|
|
253
|
+
try {
|
|
254
|
+
const result = await search(authorization, { text: asked.text, rooms });
|
|
255
|
+
if (result.kind === 'revoked-authorization')
|
|
256
|
+
await refuse(runtime, 'revoked-authorization');
|
|
257
|
+
journal.record(`outcome search ${result.kind}`);
|
|
258
|
+
if (result.kind === 'rejected')
|
|
259
|
+
return result;
|
|
260
|
+
if (result.kind !== 'found')
|
|
261
|
+
return failure(result);
|
|
262
|
+
const kept = rooms === null ? null : new Set(rooms);
|
|
263
|
+
return {
|
|
264
|
+
kind: 'found',
|
|
265
|
+
documents: result.documents.filter((hit) => kept === null || kept.has(hit.room)),
|
|
266
|
+
};
|
|
267
|
+
}
|
|
268
|
+
catch {
|
|
269
|
+
journal.record('outcome search transport-uncertainty');
|
|
270
|
+
return UNCERTAIN;
|
|
271
|
+
}
|
|
272
|
+
}
|
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,121 +17,73 @@ 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
|
-
|
|
38
|
+
export type CoveredRoom = {
|
|
39
|
+
room: string;
|
|
40
|
+
generation: string;
|
|
41
|
+
current: boolean;
|
|
103
42
|
};
|
|
104
|
-
export type
|
|
105
|
-
|
|
43
|
+
export type QueryCoverage = {
|
|
44
|
+
rooms: readonly CoveredRoom[];
|
|
45
|
+
indexes: readonly string[];
|
|
46
|
+
overlay: readonly string[];
|
|
106
47
|
};
|
|
107
|
-
export type
|
|
108
|
-
export type
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
available: boolean;
|
|
112
|
-
types: readonly Definition[];
|
|
48
|
+
export type Awaits = Open<'acquisition' | 'preparation' | 'unlock'>;
|
|
49
|
+
export type PendingRoom = {
|
|
50
|
+
room: string;
|
|
51
|
+
awaits: Awaits;
|
|
113
52
|
};
|
|
114
|
-
export type
|
|
115
|
-
|
|
116
|
-
rooms: readonly RoomFacts[];
|
|
53
|
+
export type PendingResult = {
|
|
54
|
+
pending: readonly PendingRoom[];
|
|
117
55
|
};
|
|
118
|
-
export type
|
|
119
|
-
|
|
120
|
-
|
|
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;
|
|
56
|
+
export type DocumentRows = {
|
|
57
|
+
documents: readonly QueryDocument[];
|
|
58
|
+
next?: string;
|
|
59
|
+
total?: number;
|
|
142
60
|
};
|
|
143
|
-
export type
|
|
144
|
-
|
|
145
|
-
|
|
146
|
-
|
|
147
|
-
} | {
|
|
148
|
-
field: string;
|
|
149
|
-
test: Test;
|
|
61
|
+
export type GroupRows = {
|
|
62
|
+
groups: readonly QueryGroup[];
|
|
63
|
+
next?: string;
|
|
64
|
+
total?: number;
|
|
150
65
|
};
|
|
151
|
-
export type
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
pathPrefix: string | null;
|
|
66
|
+
export type QueryRows = DocumentRows | GroupRows;
|
|
67
|
+
export type DocumentResult = DocumentRows & {
|
|
68
|
+
coverage: QueryCoverage;
|
|
155
69
|
};
|
|
156
|
-
export type
|
|
157
|
-
|
|
158
|
-
} | {
|
|
159
|
-
of: 'path';
|
|
160
|
-
} | {
|
|
161
|
-
of: 'type';
|
|
162
|
-
} | {
|
|
163
|
-
of: 'field';
|
|
164
|
-
field: string;
|
|
70
|
+
export type GroupResult = GroupRows & {
|
|
71
|
+
coverage: QueryCoverage;
|
|
165
72
|
};
|
|
166
|
-
export type
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
markdown: boolean;
|
|
172
|
-
backlinks: boolean;
|
|
173
|
-
change: boolean;
|
|
174
|
-
orderBy: readonly {
|
|
175
|
-
key: KeyPlan;
|
|
176
|
-
options: OrderOptions & {
|
|
177
|
-
direction: Direction;
|
|
178
|
-
};
|
|
179
|
-
}[];
|
|
73
|
+
export type QueryResult = DocumentResult | GroupResult | PendingResult;
|
|
74
|
+
export type PlanArea = {
|
|
75
|
+
room: string;
|
|
76
|
+
path: string;
|
|
77
|
+
open: readonly string[];
|
|
180
78
|
};
|
|
181
|
-
export type
|
|
182
|
-
|
|
183
|
-
|
|
184
|
-
|
|
185
|
-
by: 'count' | number;
|
|
186
|
-
direction: Direction;
|
|
187
|
-
}[];
|
|
79
|
+
export type PlanReach = {
|
|
80
|
+
rooms: readonly string[];
|
|
81
|
+
documents: readonly string[];
|
|
82
|
+
areas: readonly PlanArea[];
|
|
188
83
|
};
|
|
189
|
-
export type Plan = {
|
|
190
|
-
|
|
191
|
-
|
|
192
|
-
hop: (Scope & {
|
|
193
|
-
field: string;
|
|
194
|
-
}) | null;
|
|
195
|
-
backlinks: (Scope & {
|
|
196
|
-
field: string | null;
|
|
197
|
-
}) | null;
|
|
198
|
-
shape: DocumentShape | GroupShape;
|
|
199
|
-
limit: number | null;
|
|
84
|
+
export type Plan = QueryPlan & {
|
|
85
|
+
reach: PlanReach | null;
|
|
86
|
+
locked: readonly string[];
|
|
200
87
|
};
|
|
201
|
-
export declare
|
|
202
|
-
constructor(code: QueryErrorCode, at: string, problem: string);
|
|
203
|
-
}
|
|
204
|
-
type Entries = Readonly<Record<string, unknown>>;
|
|
205
|
-
export declare function invalid(at: string, problem: string): never;
|
|
206
|
-
export declare function plain(value: unknown): value is Entries;
|
|
207
|
-
export declare function known(value: Entries, allowed: readonly string[], at: string): void;
|
|
208
|
-
export declare function planOf(input: unknown, facts: HeldRooms): Plan;
|
|
209
|
-
export declare function limitOf(input: unknown): number | null;
|
|
210
|
-
export declare function filterOf(input: unknown, facts: HeldRooms): Plan;
|
|
211
|
-
export declare function identityOf(plan: Plan): string;
|
|
212
|
-
export {};
|
|
88
|
+
export declare function planWithin(input: unknown, facts: HeldRooms, reach?: PlanReach | null): Plan;
|
|
213
89
|
//# 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,KAAK,EAAE,
|
|
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;IAC3B,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"}
|