@agentshouse/mdruntime 0.1.0-c4ca57eefb98a → 0.1.0-c4ef58fbdca7b
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 +2 -2
- 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 +251 -0
- package/dist/adapter.d.ts +85 -67
- package/dist/adapter.d.ts.map +1 -1
- package/dist/attached-model.d.ts +3 -10
- package/dist/attached-model.d.ts.map +1 -1
- package/dist/attached-model.js +21 -56
- package/dist/bootstrap.d.ts +11 -10
- package/dist/bootstrap.d.ts.map +1 -1
- package/dist/bootstrap.js +218 -82
- 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 +2 -1
- package/dist/chain.d.ts.map +1 -1
- package/dist/chain.js +3 -7
- package/dist/change.d.ts +1 -0
- package/dist/change.d.ts.map +1 -1
- 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 +21 -6
- package/dist/client.d.ts.map +1 -1
- package/dist/client.js +3 -1
- package/dist/collection.d.ts +2 -4
- package/dist/collection.d.ts.map +1 -1
- package/dist/collection.js +1 -17
- package/dist/compile.d.ts +6 -6
- package/dist/compile.d.ts.map +1 -1
- package/dist/compile.js +263 -319
- package/dist/connection.d.ts +5 -143
- package/dist/connection.d.ts.map +1 -1
- package/dist/connection.js +102 -5311
- 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 +136 -0
- package/dist/conversation-live.d.ts.map +1 -0
- package/dist/conversation-live.js +248 -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 +41 -45
- package/dist/conversation.d.ts.map +1 -1
- package/dist/conversation.js +860 -869
- 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 +15 -1
- package/dist/durability.d.ts.map +1 -1
- package/dist/entry.d.ts +2 -2
- package/dist/entry.d.ts.map +1 -1
- package/dist/entry.js +17 -7
- package/dist/figures.d.ts +49 -0
- package/dist/figures.d.ts.map +1 -0
- package/dist/figures.js +197 -0
- 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 +4 -7
- package/dist/host.d.ts.map +1 -1
- package/dist/host.js +29 -31
- package/dist/identity.d.ts +0 -1
- package/dist/identity.d.ts.map +1 -1
- package/dist/identity.js +0 -3
- package/dist/index.d.ts +25 -8
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +7 -1
- package/dist/install.d.ts +56 -0
- package/dist/install.d.ts.map +1 -0
- package/dist/install.js +556 -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 +268 -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 +5 -4
- package/dist/live.d.ts.map +1 -1
- package/dist/live.js +63 -22
- 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 +1 -1
- package/dist/media.d.ts.map +1 -1
- package/dist/media.js +19 -9
- package/dist/memory.d.ts +11 -4
- package/dist/memory.d.ts.map +1 -1
- package/dist/memory.js +171 -82
- package/dist/messages.d.ts +27 -3
- package/dist/messages.d.ts.map +1 -1
- package/dist/messages.js +97 -19
- package/dist/model.d.ts +2 -10
- package/dist/model.d.ts.map +1 -1
- package/dist/model.js +0 -18
- package/dist/models.d.ts +14 -0
- package/dist/models.d.ts.map +1 -0
- package/dist/models.js +193 -0
- package/dist/observation.d.ts +2 -2
- package/dist/observation.d.ts.map +1 -1
- package/dist/observation.js +7 -2
- package/dist/opening.d.ts +4 -0
- package/dist/opening.d.ts.map +1 -0
- package/dist/opening.js +57 -0
- package/dist/outcome.d.ts +4 -4
- package/dist/outcome.d.ts.map +1 -1
- package/dist/outcome.js +3 -0
- package/dist/overlay.d.ts +1 -0
- package/dist/overlay.d.ts.map +1 -1
- package/dist/overlay.js +11 -0
- package/dist/parts.d.ts +59 -0
- package/dist/parts.d.ts.map +1 -0
- package/dist/parts.js +118 -0
- 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 +14 -209
- package/dist/query.d.ts.map +1 -1
- package/dist/query.js +3 -505
- package/dist/questions.d.ts +34 -0
- package/dist/questions.d.ts.map +1 -0
- package/dist/questions.js +122 -0
- package/dist/reach.d.ts +15 -13
- package/dist/reach.d.ts.map +1 -1
- package/dist/reach.js +183 -137
- package/dist/react.d.ts +10 -2
- package/dist/react.d.ts.map +1 -1
- 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 +2 -16
- package/dist/readiness.d.ts.map +1 -1
- package/dist/readiness.js +4 -10
- package/dist/reads.d.ts +36 -10
- package/dist/reads.d.ts.map +1 -1
- package/dist/reads.js +158 -78
- package/dist/recovery.d.ts +1 -0
- package/dist/recovery.d.ts.map +1 -1
- package/dist/recovery.js +35 -1
- package/dist/refresh.d.ts +7 -5
- package/dist/refresh.d.ts.map +1 -1
- package/dist/refresh.js +33 -5
- 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 +8 -9
- package/dist/replica.d.ts.map +1 -1
- package/dist/replica.js +52 -20
- package/dist/room-draft.d.ts +4 -3
- package/dist/room-draft.d.ts.map +1 -1
- package/dist/room-draft.js +65 -52
- 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 +14 -21
- package/dist/rows.d.ts.map +1 -1
- package/dist/rows.js +48 -184
- package/dist/runtime.d.ts +43 -0
- package/dist/runtime.d.ts.map +1 -0
- package/dist/runtime.js +1 -0
- package/dist/save.d.ts +3 -1
- package/dist/save.d.ts.map +1 -1
- package/dist/save.js +16 -11
- package/dist/saves.d.ts +70 -0
- package/dist/saves.d.ts.map +1 -0
- package/dist/saves.js +1006 -0
- package/dist/search.d.ts +12 -63
- package/dist/search.d.ts.map +1 -1
- package/dist/search.js +9 -52
- package/dist/seed.d.ts +11 -2
- package/dist/seed.d.ts.map +1 -1
- package/dist/seed.js +71 -0
- package/dist/shared.d.ts +1 -2
- package/dist/shared.d.ts.map +1 -1
- package/dist/shared.js +9 -15
- package/dist/shown.d.ts +31 -0
- package/dist/shown.d.ts.map +1 -0
- package/dist/shown.js +295 -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 +0 -6
- package/dist/status.d.ts.map +1 -1
- package/dist/status.js +0 -6
- 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 +431 -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 +107 -157
- package/dist/store.d.ts.map +1 -1
- package/dist/store.js +143 -395
- package/dist/stored.d.ts +58 -37
- package/dist/stored.d.ts.map +1 -1
- package/dist/stored.js +283 -203
- 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 +20 -0
- package/dist/sync.d.ts.map +1 -0
- package/dist/sync.js +532 -0
- package/dist/tables.d.ts +120 -55
- package/dist/tables.d.ts.map +1 -1
- package/dist/tables.js +212 -93
- 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/validation.d.ts +3 -4
- package/dist/validation.d.ts.map +1 -1
- package/dist/validation.js +42 -100
- package/dist/windows.d.ts +1 -12
- package/dist/windows.d.ts.map +1 -1
- package/dist/windows.js +2 -75
- package/dist/wire.d.ts +17 -5
- package/dist/wire.d.ts.map +1 -1
- package/dist/wire.js +7 -1
- package/package.json +2 -2
- package/dist/fence.d.ts +0 -6
- package/dist/fence.d.ts.map +0 -1
- package/dist/fence.js +0 -10
- package/dist/fulltext.d.ts +0 -27
- package/dist/fulltext.d.ts.map +0 -1
- package/dist/fulltext.js +0 -370
- package/dist/words.d.ts +0 -19
- package/dist/words.d.ts.map +0 -1
- package/dist/words.js +0 -156
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,93 +1,7 @@
|
|
|
1
|
-
import { type
|
|
1
|
+
import { type HeldRooms, type QueryPlan } from '@agentshouse/mdmodel';
|
|
2
2
|
import type { HeadChange } from './adapter.js';
|
|
3
3
|
import type { BinaryFileRecord } from './binary.js';
|
|
4
4
|
import type { Open } from './open.js';
|
|
5
|
-
export type Value = string | number | boolean | null;
|
|
6
|
-
export type Predicate = Value | {
|
|
7
|
-
$eq: Value;
|
|
8
|
-
} | {
|
|
9
|
-
$ne: Value;
|
|
10
|
-
} | {
|
|
11
|
-
$in: readonly Value[];
|
|
12
|
-
} | {
|
|
13
|
-
$nin: readonly Value[];
|
|
14
|
-
} | {
|
|
15
|
-
$gt?: Value;
|
|
16
|
-
$gte?: Value;
|
|
17
|
-
$lt?: Value;
|
|
18
|
-
$lte?: Value;
|
|
19
|
-
} | {
|
|
20
|
-
$all: readonly Value[];
|
|
21
|
-
} | {
|
|
22
|
-
$size: number;
|
|
23
|
-
} | {
|
|
24
|
-
$exists: boolean;
|
|
25
|
-
};
|
|
26
|
-
export type Where = {
|
|
27
|
-
$and?: readonly Where[];
|
|
28
|
-
$or?: readonly Where[];
|
|
29
|
-
[field: string]: Predicate | readonly Where[] | undefined;
|
|
30
|
-
};
|
|
31
|
-
export type Related = {
|
|
32
|
-
types?: readonly string[];
|
|
33
|
-
where?: Where;
|
|
34
|
-
pathPrefix?: string;
|
|
35
|
-
};
|
|
36
|
-
export type Filter = {
|
|
37
|
-
rooms?: readonly string[];
|
|
38
|
-
types?: readonly string[];
|
|
39
|
-
where?: Where;
|
|
40
|
-
pathPrefix?: string;
|
|
41
|
-
folder?: string;
|
|
42
|
-
paths?: readonly string[];
|
|
43
|
-
hop?: Related & {
|
|
44
|
-
field: string;
|
|
45
|
-
};
|
|
46
|
-
backlinks?: Related & {
|
|
47
|
-
field?: string;
|
|
48
|
-
};
|
|
49
|
-
};
|
|
50
|
-
export type Key = 'room' | 'path' | 'type' | 'folder' | {
|
|
51
|
-
field: string;
|
|
52
|
-
};
|
|
53
|
-
export type Select = 'all' | {
|
|
54
|
-
fields?: 'all' | readonly string[];
|
|
55
|
-
sections?: 'all' | readonly string[];
|
|
56
|
-
preamble?: true;
|
|
57
|
-
markdown?: true;
|
|
58
|
-
backlinks?: true;
|
|
59
|
-
change?: true;
|
|
60
|
-
fileId?: true;
|
|
61
|
-
revision?: true;
|
|
62
|
-
};
|
|
63
|
-
export type OrderOptions = {
|
|
64
|
-
nulls?: 'first' | 'last';
|
|
65
|
-
stringSort?: 'lexical' | 'locale';
|
|
66
|
-
locale?: string;
|
|
67
|
-
localeOptions?: Readonly<Record<string, unknown>>;
|
|
68
|
-
};
|
|
69
|
-
export type Direction = 'asc' | 'desc';
|
|
70
|
-
export type DocumentQuery = Filter & {
|
|
71
|
-
select: Select;
|
|
72
|
-
orderBy?: readonly ({
|
|
73
|
-
by: Key;
|
|
74
|
-
direction?: Direction;
|
|
75
|
-
} & OrderOptions)[];
|
|
76
|
-
limit?: number;
|
|
77
|
-
after?: string;
|
|
78
|
-
total?: true;
|
|
79
|
-
};
|
|
80
|
-
export type GroupQuery = Filter & {
|
|
81
|
-
groupBy: readonly Exclude<Key, 'path'>[];
|
|
82
|
-
orderBy?: readonly {
|
|
83
|
-
by: 'count' | Exclude<Key, 'path'>;
|
|
84
|
-
direction?: Direction;
|
|
85
|
-
}[];
|
|
86
|
-
limit?: number;
|
|
87
|
-
after?: string;
|
|
88
|
-
total?: true;
|
|
89
|
-
};
|
|
90
|
-
export type LocalQuery = DocumentQuery | GroupQuery;
|
|
91
5
|
export type Backlink = {
|
|
92
6
|
path: string;
|
|
93
7
|
type: string;
|
|
@@ -106,10 +20,20 @@ export type QueryDocument = {
|
|
|
106
20
|
fileId?: string | null;
|
|
107
21
|
revision?: string | null;
|
|
108
22
|
binaryFile?: BinaryFileRecord;
|
|
23
|
+
size?: number | null;
|
|
24
|
+
created?: string | null;
|
|
25
|
+
};
|
|
26
|
+
export type GroupTotal = {
|
|
27
|
+
count: number;
|
|
28
|
+
size: number;
|
|
109
29
|
};
|
|
110
30
|
export type QueryGroup = {
|
|
111
31
|
key: readonly unknown[];
|
|
112
32
|
count: number;
|
|
33
|
+
documents?: GroupTotal;
|
|
34
|
+
files?: GroupTotal;
|
|
35
|
+
updated?: string | null;
|
|
36
|
+
greatest?: unknown;
|
|
113
37
|
};
|
|
114
38
|
export type CoveredRoom = {
|
|
115
39
|
room: string;
|
|
@@ -147,138 +71,19 @@ export type GroupResult = GroupRows & {
|
|
|
147
71
|
coverage: QueryCoverage;
|
|
148
72
|
};
|
|
149
73
|
export type QueryResult = DocumentResult | GroupResult | PendingResult;
|
|
150
|
-
export type QueryErrorCode = 'invalid-query' | 'unknown-type' | 'unknown-field' | 'wrong-kind';
|
|
151
|
-
export type RoomFacts = {
|
|
152
|
-
locator: string;
|
|
153
|
-
available: boolean;
|
|
154
|
-
types: readonly Definition[];
|
|
155
|
-
};
|
|
156
|
-
export type HeldRooms = {
|
|
157
|
-
listed: boolean;
|
|
158
|
-
rooms: readonly RoomFacts[];
|
|
159
|
-
};
|
|
160
|
-
export type Test = {
|
|
161
|
-
op: 'eq';
|
|
162
|
-
value: Value;
|
|
163
|
-
} | {
|
|
164
|
-
op: 'ne';
|
|
165
|
-
value: Value;
|
|
166
|
-
} | {
|
|
167
|
-
op: 'in';
|
|
168
|
-
values: readonly Value[];
|
|
169
|
-
} | {
|
|
170
|
-
op: 'nin';
|
|
171
|
-
values: readonly Value[];
|
|
172
|
-
} | {
|
|
173
|
-
op: 'range';
|
|
174
|
-
bounds: readonly (readonly ['gt' | 'gte' | 'lt' | 'lte', Value])[];
|
|
175
|
-
} | {
|
|
176
|
-
op: 'all';
|
|
177
|
-
values: readonly Value[];
|
|
178
|
-
} | {
|
|
179
|
-
op: 'size';
|
|
180
|
-
size: number;
|
|
181
|
-
} | {
|
|
182
|
-
op: 'exists';
|
|
183
|
-
exists: boolean;
|
|
184
|
-
};
|
|
185
|
-
export type Condition = {
|
|
186
|
-
every: readonly Condition[];
|
|
187
|
-
} | {
|
|
188
|
-
some: readonly Condition[];
|
|
189
|
-
} | {
|
|
190
|
-
field: string;
|
|
191
|
-
test: Test;
|
|
192
|
-
};
|
|
193
|
-
export type Scope = {
|
|
194
|
-
types: readonly string[] | null;
|
|
195
|
-
where: Condition | null;
|
|
196
|
-
pathPrefix: string | null;
|
|
197
|
-
};
|
|
198
|
-
export type KeyPlan = {
|
|
199
|
-
of: 'room';
|
|
200
|
-
} | {
|
|
201
|
-
of: 'path';
|
|
202
|
-
} | {
|
|
203
|
-
of: 'type';
|
|
204
|
-
} | {
|
|
205
|
-
of: 'folder';
|
|
206
|
-
} | {
|
|
207
|
-
of: 'field';
|
|
208
|
-
field: string;
|
|
209
|
-
};
|
|
210
|
-
export type DocumentShape = {
|
|
211
|
-
kind: 'documents';
|
|
212
|
-
fields: 'all' | readonly string[] | null;
|
|
213
|
-
sections: 'all' | readonly string[] | null;
|
|
214
|
-
preamble: boolean;
|
|
215
|
-
markdown: boolean;
|
|
216
|
-
backlinks: boolean;
|
|
217
|
-
change: boolean;
|
|
218
|
-
fileId: boolean;
|
|
219
|
-
revision: boolean;
|
|
220
|
-
orderBy: readonly {
|
|
221
|
-
key: KeyPlan;
|
|
222
|
-
options: OrderOptions & {
|
|
223
|
-
direction: Direction;
|
|
224
|
-
};
|
|
225
|
-
}[];
|
|
226
|
-
};
|
|
227
|
-
export type GroupShape = {
|
|
228
|
-
kind: 'groups';
|
|
229
|
-
groupBy: readonly KeyPlan[];
|
|
230
|
-
orderBy: readonly {
|
|
231
|
-
by: 'count' | number;
|
|
232
|
-
direction: Direction;
|
|
233
|
-
}[];
|
|
234
|
-
};
|
|
235
74
|
export type PlanArea = {
|
|
236
75
|
room: string;
|
|
237
76
|
path: string;
|
|
238
|
-
|
|
77
|
+
open: readonly string[];
|
|
239
78
|
};
|
|
240
79
|
export type PlanReach = {
|
|
241
80
|
rooms: readonly string[];
|
|
242
81
|
documents: readonly string[];
|
|
243
82
|
areas: readonly PlanArea[];
|
|
244
83
|
};
|
|
245
|
-
export type
|
|
246
|
-
text: string;
|
|
247
|
-
values: readonly unknown[] | null;
|
|
248
|
-
};
|
|
249
|
-
export type Plan = {
|
|
250
|
-
key: string;
|
|
251
|
-
rooms: readonly string[] | null;
|
|
84
|
+
export type Plan = QueryPlan & {
|
|
252
85
|
reach: PlanReach | null;
|
|
253
86
|
locked: readonly string[];
|
|
254
|
-
root: Scope;
|
|
255
|
-
folder: string | null;
|
|
256
|
-
paths: readonly string[] | null;
|
|
257
|
-
hop: (Scope & {
|
|
258
|
-
field: string;
|
|
259
|
-
}) | null;
|
|
260
|
-
backlinks: (Scope & {
|
|
261
|
-
field: string | null;
|
|
262
|
-
}) | null;
|
|
263
|
-
shape: DocumentShape | GroupShape;
|
|
264
|
-
limit: number | null;
|
|
265
|
-
after: Continuation | null;
|
|
266
|
-
total: boolean;
|
|
267
87
|
};
|
|
268
|
-
export declare
|
|
269
|
-
readonly code: QueryErrorCode;
|
|
270
|
-
readonly retryable = false;
|
|
271
|
-
constructor(code: QueryErrorCode, at: string, problem: string);
|
|
272
|
-
}
|
|
273
|
-
type Entries = Readonly<Record<string, unknown>>;
|
|
274
|
-
export declare function invalid(at: string, problem: string): never;
|
|
275
|
-
export declare function plain(value: unknown): value is Entries;
|
|
276
|
-
export declare function known(value: Entries, allowed: readonly string[], at: string): void;
|
|
277
|
-
export declare function flag(input: unknown, at: string): boolean;
|
|
278
|
-
export declare function planOf(input: unknown, facts: HeldRooms, reach?: PlanReach | null): Plan;
|
|
279
|
-
export declare function limitOf(input: unknown): number | null;
|
|
280
|
-
export declare function filterOf(input: unknown, facts: HeldRooms, reach?: PlanReach | null): Plan;
|
|
281
|
-
export declare function queryKey(query: unknown): string;
|
|
282
|
-
export declare function identityOf(plan: Plan): string;
|
|
283
|
-
export {};
|
|
88
|
+
export declare function planWithin(input: unknown, facts: HeldRooms, reach?: PlanReach | null): Plan;
|
|
284
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,
|
|
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"}
|