@effect-agent/storage-memory 0.1.0-beta.45 → 0.1.0-beta.47
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/dist/MemoryScheduleStore.d.mts +10 -0
- package/dist/MemoryScheduleStore.mjs +169 -0
- package/dist/MemoryScheduleStore.mjs.map +1 -0
- package/dist/MemorySemanticIndex.d.mts +21 -0
- package/dist/MemorySemanticIndex.mjs +222 -0
- package/dist/MemorySemanticIndex.mjs.map +1 -0
- package/dist/MemorySubmissionLedger.d.mts +24 -0
- package/dist/MemorySubmissionLedger.mjs +1003 -0
- package/dist/MemorySubmissionLedger.mjs.map +1 -0
- package/dist/MemorySubscriptionStore.d.mts +9 -0
- package/dist/MemorySubscriptionStore.mjs +600 -0
- package/dist/MemorySubscriptionStore.mjs.map +1 -0
- package/dist/MemoryThreadStore.d.mts +13 -0
- package/dist/MemoryThreadStore.mjs +311 -0
- package/dist/MemoryThreadStore.mjs.map +1 -0
- package/dist/index.d.mts +6 -53
- package/dist/index.mjs +6 -2258
- package/dist/rolldown-runtime-D7D4PA-g.mjs +13 -0
- package/package.json +1 -1
- package/src/{memory-schedule-store.ts → MemoryScheduleStore.ts} +4 -2
- package/src/{semantic-memory-index.ts → MemorySemanticIndex.ts} +2 -2
- package/src/{memory-ledger.ts → MemorySubmissionLedger.ts} +12 -10
- package/src/{memory-subscription-store.ts → MemorySubscriptionStore.ts} +8 -6
- package/src/{memory-storage.ts → MemoryThreadStore.ts} +12 -13
- package/src/index.ts +5 -5
- package/dist/index.mjs.map +0 -1
- package/dist/testing.d.mts +0 -2
- package/dist/testing.mjs +0 -2
- package/src/testing.ts +0 -18
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import { ScheduleStore } from "@effect-agent/thread/Schedule";
|
|
2
|
+
import { Layer } from "effect";
|
|
3
|
+
declare namespace MemoryScheduleStore_d_exports {
|
|
4
|
+
export { MemoryScheduleStoreLive, memoryScheduleStoreLayer };
|
|
5
|
+
}
|
|
6
|
+
declare const memoryScheduleStoreLayer: () => Layer.Layer<ScheduleStore>;
|
|
7
|
+
declare const MemoryScheduleStoreLive: Layer.Layer<ScheduleStore>;
|
|
8
|
+
//#endregion
|
|
9
|
+
export { MemoryScheduleStoreLive, memoryScheduleStoreLayer, MemoryScheduleStore_d_exports as t };
|
|
10
|
+
//# sourceMappingURL=MemoryScheduleStore.d.mts.map
|
|
@@ -0,0 +1,169 @@
|
|
|
1
|
+
import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
|
|
2
|
+
import { ScheduleCapacityError, ScheduleChange, ScheduleConflict, ScheduleDueCursor, ScheduleFailpoint, ScheduleKey, ScheduleNotFound, ScheduleOwner, SchedulePageRequest, ScheduleRecord, ScheduleStorageError, ScheduleStore, defaultSchedulingLimits } from "@effect-agent/thread/Schedule";
|
|
3
|
+
import { applyScheduleChange, compareScheduleKeys, compareScheduleNames, scheduleDeadline, scheduleKeyOf, scheduleKeyString, scheduleOwnerKey, scheduleUsesCapacity } from "@effect-agent/thread/ScheduleTransition";
|
|
4
|
+
import { Effect, Layer, Ref, Result, Schema } from "effect";
|
|
5
|
+
//#region src/MemoryScheduleStore.ts
|
|
6
|
+
var MemoryScheduleStore_exports = /* @__PURE__ */ __exportAll({
|
|
7
|
+
MemoryScheduleStoreLive: () => MemoryScheduleStoreLive,
|
|
8
|
+
memoryScheduleStoreLayer: () => memoryScheduleStoreLayer
|
|
9
|
+
});
|
|
10
|
+
const storageError = (operation, reason) => ScheduleStorageError.make({
|
|
11
|
+
operation,
|
|
12
|
+
reason
|
|
13
|
+
});
|
|
14
|
+
const encodeRecord = (operation, record) => Effect.try({
|
|
15
|
+
try: () => Schema.encodeSync(Schema.fromJsonString(ScheduleRecord))(record),
|
|
16
|
+
catch: () => storageError(operation, "corrupt")
|
|
17
|
+
});
|
|
18
|
+
const decodeRecord = (operation, encoded) => Effect.try({
|
|
19
|
+
try: () => Schema.decodeSync(Schema.fromJsonString(ScheduleRecord))(encoded),
|
|
20
|
+
catch: () => storageError(operation, "corrupt")
|
|
21
|
+
});
|
|
22
|
+
const decodeInput = (operation, schema, value) => Effect.try({
|
|
23
|
+
try: () => Schema.decodeUnknownSync(schema)(value),
|
|
24
|
+
catch: () => storageError(operation, "corrupt")
|
|
25
|
+
});
|
|
26
|
+
const sameOwner = (record, owner) => scheduleOwnerKey(record.owner) === scheduleOwnerKey(owner);
|
|
27
|
+
const makeScheduleStore = Effect.gen(function* () {
|
|
28
|
+
const state = yield* Ref.make({ records: /* @__PURE__ */ new Map() });
|
|
29
|
+
const failpoint = yield* ScheduleFailpoint;
|
|
30
|
+
const insert = Effect.fn("MemoryScheduleStore.insert")((record, ownerLimit) => Effect.gen(function* () {
|
|
31
|
+
const encoded = yield* encodeRecord("insert", record);
|
|
32
|
+
yield* failpoint.hit("schedule:insert:before");
|
|
33
|
+
const decision = yield* Effect.uninterruptible(Ref.modify(state, (current) => {
|
|
34
|
+
const key = scheduleKeyString(record);
|
|
35
|
+
const existingText = current.records.get(key);
|
|
36
|
+
if (existingText !== void 0) {
|
|
37
|
+
const decoded = Result.try({
|
|
38
|
+
try: () => Schema.decodeSync(Schema.fromJsonString(ScheduleRecord))(existingText),
|
|
39
|
+
catch: () => storageError("insert", "corrupt")
|
|
40
|
+
});
|
|
41
|
+
if (Result.isFailure(decoded)) return [Result.fail(decoded.failure), current];
|
|
42
|
+
if (decoded.success.creationFingerprint === record.creationFingerprint) return [Result.succeed(decoded.success), current];
|
|
43
|
+
return [Result.fail(ScheduleConflict.make({
|
|
44
|
+
reason: "creation",
|
|
45
|
+
key: scheduleKeyOf(record)
|
|
46
|
+
})), current];
|
|
47
|
+
}
|
|
48
|
+
let ownerCount = 0;
|
|
49
|
+
for (const text of current.records.values()) {
|
|
50
|
+
const decoded = Result.try({
|
|
51
|
+
try: () => Schema.decodeSync(Schema.fromJsonString(ScheduleRecord))(text),
|
|
52
|
+
catch: () => storageError("insert", "corrupt")
|
|
53
|
+
});
|
|
54
|
+
if (Result.isFailure(decoded)) return [Result.fail(decoded.failure), current];
|
|
55
|
+
if (sameOwner(decoded.success, record.owner) && scheduleUsesCapacity(decoded.success)) ownerCount += 1;
|
|
56
|
+
}
|
|
57
|
+
if (ownerCount >= ownerLimit) return [Result.fail(ScheduleCapacityError.make({ limit: ownerLimit })), current];
|
|
58
|
+
const records = new Map(current.records);
|
|
59
|
+
records.set(key, encoded);
|
|
60
|
+
const next = { records };
|
|
61
|
+
return [Result.succeed(record), next];
|
|
62
|
+
}));
|
|
63
|
+
const inserted = yield* Effect.fromResult(decision);
|
|
64
|
+
yield* failpoint.hit("schedule:insert:after");
|
|
65
|
+
return yield* decodeRecord("insert", yield* encodeRecord("insert", inserted));
|
|
66
|
+
}));
|
|
67
|
+
const get = Effect.fn("MemoryScheduleStore.get")(function* (key) {
|
|
68
|
+
const decodedKey = yield* decodeInput("get", ScheduleKey, key);
|
|
69
|
+
const text = (yield* Ref.get(state)).records.get(scheduleKeyString(decodedKey));
|
|
70
|
+
return text === void 0 ? null : yield* decodeRecord("get", text);
|
|
71
|
+
});
|
|
72
|
+
const list = Effect.fn("MemoryScheduleStore.list")(function* (request) {
|
|
73
|
+
const decodedRequest = yield* decodeInput("list", SchedulePageRequest, request);
|
|
74
|
+
const records = [];
|
|
75
|
+
for (const text of (yield* Ref.get(state)).records.values()) {
|
|
76
|
+
const record = yield* decodeRecord("list", text);
|
|
77
|
+
if (sameOwner(record, decodedRequest.owner) && (decodedRequest.after === void 0 || compareScheduleNames(record.scheduleId, decodedRequest.after) > 0)) records.push(record);
|
|
78
|
+
}
|
|
79
|
+
records.sort((left, right) => compareScheduleNames(left.scheduleId, right.scheduleId));
|
|
80
|
+
const hasNext = records.length > decodedRequest.limit;
|
|
81
|
+
const items = records.slice(0, decodedRequest.limit);
|
|
82
|
+
return {
|
|
83
|
+
items,
|
|
84
|
+
next: hasNext ? items.at(-1)?.scheduleId ?? null : null
|
|
85
|
+
};
|
|
86
|
+
});
|
|
87
|
+
const change = Effect.fn("MemoryScheduleStore.change")((key, command, ownerLimit = defaultSchedulingLimits.maxSchedulesPerOwner) => Effect.gen(function* () {
|
|
88
|
+
const decodedKey = yield* decodeInput("change", ScheduleKey, key);
|
|
89
|
+
const decodedCommand = yield* decodeInput("change", ScheduleChange, command);
|
|
90
|
+
yield* failpoint.hit(`schedule:${decodedCommand._tag.toLowerCase()}:before`);
|
|
91
|
+
const decision = yield* Effect.uninterruptible(Ref.modify(state, (current) => {
|
|
92
|
+
const storageKey = scheduleKeyString(decodedKey);
|
|
93
|
+
const text = current.records.get(storageKey);
|
|
94
|
+
if (text === void 0) return [Result.fail(ScheduleNotFound.make({ key: decodedKey })), current];
|
|
95
|
+
const decoded = Result.try({
|
|
96
|
+
try: () => Schema.decodeSync(Schema.fromJsonString(ScheduleRecord))(text),
|
|
97
|
+
catch: () => storageError("change", "corrupt")
|
|
98
|
+
});
|
|
99
|
+
if (Result.isFailure(decoded)) return [Result.fail(decoded.failure), current];
|
|
100
|
+
const applied = applyScheduleChange(decoded.success, decodedCommand);
|
|
101
|
+
if (Result.isFailure(applied)) return [Result.fail(applied.failure), current];
|
|
102
|
+
if (applied.success === decoded.success) return [Result.succeed(decoded.success), current];
|
|
103
|
+
if (!scheduleUsesCapacity(decoded.success) && scheduleUsesCapacity(applied.success)) {
|
|
104
|
+
let count = 0;
|
|
105
|
+
for (const text of current.records.values()) {
|
|
106
|
+
const candidate = Schema.decodeUnknownResult(Schema.fromJsonString(ScheduleRecord))(text);
|
|
107
|
+
if (Result.isFailure(candidate)) return [Result.fail(storageError("change", "corrupt")), current];
|
|
108
|
+
if (sameOwner(candidate.success, decodedKey.owner) && scheduleUsesCapacity(candidate.success)) count += 1;
|
|
109
|
+
}
|
|
110
|
+
if (count >= ownerLimit) return [Result.fail(ScheduleCapacityError.make({ limit: ownerLimit })), current];
|
|
111
|
+
}
|
|
112
|
+
const encoded = Result.try({
|
|
113
|
+
try: () => Schema.encodeSync(Schema.fromJsonString(ScheduleRecord))(applied.success),
|
|
114
|
+
catch: () => storageError("change", "corrupt")
|
|
115
|
+
});
|
|
116
|
+
if (Result.isFailure(encoded)) return [Result.fail(encoded.failure), current];
|
|
117
|
+
const records = new Map(current.records);
|
|
118
|
+
records.set(storageKey, encoded.success);
|
|
119
|
+
const next = { records };
|
|
120
|
+
return [Result.succeed(applied.success), next];
|
|
121
|
+
}));
|
|
122
|
+
const changed = yield* Effect.fromResult(decision);
|
|
123
|
+
yield* failpoint.hit(`schedule:${decodedCommand._tag.toLowerCase()}:after`);
|
|
124
|
+
return yield* decodeRecord("change", yield* encodeRecord("change", changed));
|
|
125
|
+
}));
|
|
126
|
+
const due = Effect.fn("MemoryScheduleStore.due")(function* (nowMillis, limit, owner, after) {
|
|
127
|
+
const decodedOwner = owner === void 0 ? void 0 : yield* decodeInput("due", ScheduleOwner, owner);
|
|
128
|
+
const cursor = after === void 0 ? void 0 : yield* decodeInput("due", ScheduleDueCursor, after);
|
|
129
|
+
const records = [];
|
|
130
|
+
for (const text of (yield* Ref.get(state)).records.values()) {
|
|
131
|
+
const record = yield* decodeRecord("due", text);
|
|
132
|
+
const deadline = scheduleDeadline(record);
|
|
133
|
+
if (deadline !== null && deadline <= nowMillis && (decodedOwner === void 0 || sameOwner(record, decodedOwner)) && (cursor === void 0 || deadline > cursor.deadlineAtMillis || deadline === cursor.deadlineAtMillis && compareScheduleKeys(record, cursor) > 0)) records.push({
|
|
134
|
+
...scheduleKeyOf(record),
|
|
135
|
+
deadlineAtMillis: deadline
|
|
136
|
+
});
|
|
137
|
+
}
|
|
138
|
+
records.sort((left, right) => {
|
|
139
|
+
const byDeadline = left.deadlineAtMillis - right.deadlineAtMillis;
|
|
140
|
+
return byDeadline !== 0 ? byDeadline : compareScheduleKeys(left, right);
|
|
141
|
+
});
|
|
142
|
+
return records.slice(0, limit);
|
|
143
|
+
});
|
|
144
|
+
const nextDeadline = Effect.fn("MemoryScheduleStore.nextDeadline")(function* (owner) {
|
|
145
|
+
const decodedOwner = owner === void 0 ? void 0 : yield* decodeInput("nextDeadline", ScheduleOwner, owner);
|
|
146
|
+
let earliest = null;
|
|
147
|
+
for (const text of (yield* Ref.get(state)).records.values()) {
|
|
148
|
+
const record = yield* decodeRecord("nextDeadline", text);
|
|
149
|
+
if (decodedOwner !== void 0 && !sameOwner(record, decodedOwner)) continue;
|
|
150
|
+
const deadline = scheduleDeadline(record);
|
|
151
|
+
if (deadline !== null && (earliest === null || deadline < earliest)) earliest = deadline;
|
|
152
|
+
}
|
|
153
|
+
return earliest;
|
|
154
|
+
});
|
|
155
|
+
return ScheduleStore.of({
|
|
156
|
+
insert,
|
|
157
|
+
get,
|
|
158
|
+
list,
|
|
159
|
+
change,
|
|
160
|
+
due,
|
|
161
|
+
nextDeadline
|
|
162
|
+
});
|
|
163
|
+
});
|
|
164
|
+
const memoryScheduleStoreLayer = () => Layer.effect(ScheduleStore, makeScheduleStore);
|
|
165
|
+
const MemoryScheduleStoreLive = memoryScheduleStoreLayer();
|
|
166
|
+
//#endregion
|
|
167
|
+
export { MemoryScheduleStoreLive, memoryScheduleStoreLayer, MemoryScheduleStore_exports as t };
|
|
168
|
+
|
|
169
|
+
//# sourceMappingURL=MemoryScheduleStore.mjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"MemoryScheduleStore.mjs","names":[],"sources":["../src/MemoryScheduleStore.ts"],"sourcesContent":["import {\n ScheduleCapacityError,\n ScheduleDueCursor,\n defaultSchedulingLimits,\n ScheduleChange,\n ScheduleConflict,\n ScheduleFailpoint,\n ScheduleKey,\n ScheduleNotFound,\n ScheduleOwner,\n SchedulePageRequest,\n ScheduleRecord,\n ScheduleStorageError,\n ScheduleStore,\n} from \"@effect-agent/thread/Schedule\";\nimport {\n scheduleUsesCapacity,\n applyScheduleChange,\n compareScheduleKeys,\n compareScheduleNames,\n scheduleDeadline,\n scheduleKeyString,\n scheduleKeyOf,\n scheduleOwnerKey,\n} from \"@effect-agent/thread/ScheduleTransition\";\nimport { Effect, Layer, Ref, Result, Schema } from \"effect\";\n\ninterface MemoryScheduleState {\n readonly records: ReadonlyMap<string, string>;\n}\n\nconst storageError = (operation: string, reason: \"unavailable\" | \"corrupt\") =>\n ScheduleStorageError.make({ operation, reason });\n\nconst encodeRecord = (operation: string, record: ScheduleRecord) =>\n Effect.try({\n try: () => Schema.encodeSync(Schema.fromJsonString(ScheduleRecord))(record),\n catch: () => storageError(operation, \"corrupt\"),\n });\n\nconst decodeRecord = (operation: string, encoded: string) =>\n Effect.try({\n try: () => Schema.decodeSync(Schema.fromJsonString(ScheduleRecord))(encoded),\n catch: () => storageError(operation, \"corrupt\"),\n });\n\nconst decodeInput = <A, I>(operation: string, schema: Schema.Codec<A, I>, value: unknown) =>\n Effect.try({\n try: () => Schema.decodeUnknownSync(schema)(value),\n catch: () => storageError(operation, \"corrupt\"),\n });\n\nconst sameOwner = (record: ScheduleRecord, owner: ScheduleOwner): boolean =>\n scheduleOwnerKey(record.owner) === scheduleOwnerKey(owner);\n\nconst makeScheduleStore = Effect.gen(function* () {\n const state = yield* Ref.make<MemoryScheduleState>({ records: new Map() });\n const failpoint = yield* ScheduleFailpoint;\n\n const insert: ScheduleStore[\"Service\"][\"insert\"] = Effect.fn(\"MemoryScheduleStore.insert\")(\n (record, ownerLimit) =>\n Effect.gen(function* () {\n const encoded = yield* encodeRecord(\"insert\", record);\n\n yield* failpoint.hit(\"schedule:insert:before\");\n\n const decision = yield* Effect.uninterruptible(\n Ref.modify(\n state,\n (\n current,\n ): readonly [\n Result.Result<\n ScheduleRecord,\n ScheduleConflict | ScheduleCapacityError | ScheduleStorageError\n >,\n MemoryScheduleState,\n ] => {\n const key = scheduleKeyString(record);\n const existingText = current.records.get(key);\n\n if (existingText !== undefined) {\n const decoded = Result.try({\n try: () => Schema.decodeSync(Schema.fromJsonString(ScheduleRecord))(existingText),\n catch: () => storageError(\"insert\", \"corrupt\"),\n });\n\n if (Result.isFailure(decoded)) {\n return [Result.fail(decoded.failure), current];\n }\n if (decoded.success.creationFingerprint === record.creationFingerprint) {\n return [Result.succeed(decoded.success), current];\n }\n\n return [\n Result.fail(\n ScheduleConflict.make({ reason: \"creation\", key: scheduleKeyOf(record) }),\n ),\n current,\n ];\n }\n\n let ownerCount = 0;\n\n for (const text of current.records.values()) {\n const decoded = Result.try({\n try: () => Schema.decodeSync(Schema.fromJsonString(ScheduleRecord))(text),\n catch: () => storageError(\"insert\", \"corrupt\"),\n });\n\n if (Result.isFailure(decoded)) {\n return [Result.fail(decoded.failure), current];\n }\n if (\n sameOwner(decoded.success, record.owner) &&\n scheduleUsesCapacity(decoded.success)\n )\n ownerCount += 1;\n }\n if (ownerCount >= ownerLimit) {\n return [Result.fail(ScheduleCapacityError.make({ limit: ownerLimit })), current];\n }\n const records = new Map(current.records);\n\n records.set(key, encoded);\n const next = { records };\n\n return [Result.succeed(record), next];\n },\n ),\n );\n\n const inserted = yield* Effect.fromResult(decision);\n\n yield* failpoint.hit(\"schedule:insert:after\");\n\n return yield* decodeRecord(\"insert\", yield* encodeRecord(\"insert\", inserted));\n }),\n );\n\n const get: ScheduleStore[\"Service\"][\"get\"] = Effect.fn(\"MemoryScheduleStore.get\")(\n function* (key) {\n const decodedKey = yield* decodeInput(\"get\", ScheduleKey, key);\n const text = (yield* Ref.get(state)).records.get(scheduleKeyString(decodedKey));\n\n return text === undefined ? null : yield* decodeRecord(\"get\", text);\n },\n );\n\n const list: ScheduleStore[\"Service\"][\"list\"] = Effect.fn(\"MemoryScheduleStore.list\")(\n function* (request) {\n const decodedRequest = yield* decodeInput(\"list\", SchedulePageRequest, request);\n const records: Array<ScheduleRecord> = [];\n\n for (const text of (yield* Ref.get(state)).records.values()) {\n const record = yield* decodeRecord(\"list\", text);\n\n if (\n sameOwner(record, decodedRequest.owner) &&\n (decodedRequest.after === undefined ||\n compareScheduleNames(record.scheduleId, decodedRequest.after) > 0)\n ) {\n records.push(record);\n }\n }\n records.sort((left, right) => compareScheduleNames(left.scheduleId, right.scheduleId));\n const hasNext = records.length > decodedRequest.limit;\n const items = records.slice(0, decodedRequest.limit);\n\n return {\n items,\n next: hasNext ? (items.at(-1)?.scheduleId ?? null) : null,\n };\n },\n );\n\n const change: ScheduleStore[\"Service\"][\"change\"] = Effect.fn(\"MemoryScheduleStore.change\")(\n (key, command, ownerLimit = defaultSchedulingLimits.maxSchedulesPerOwner) =>\n Effect.gen(function* () {\n const decodedKey = yield* decodeInput(\"change\", ScheduleKey, key);\n const decodedCommand = yield* decodeInput(\"change\", ScheduleChange, command);\n\n yield* failpoint.hit(`schedule:${decodedCommand._tag.toLowerCase()}:before`);\n\n const decision = yield* Effect.uninterruptible(\n Ref.modify(\n state,\n (\n current,\n ): readonly [\n Result.Result<\n ScheduleRecord,\n ScheduleConflict | ScheduleStorageError | ScheduleNotFound | ScheduleCapacityError\n >,\n MemoryScheduleState,\n ] => {\n const storageKey = scheduleKeyString(decodedKey);\n const text = current.records.get(storageKey);\n\n if (text === undefined) {\n return [Result.fail(ScheduleNotFound.make({ key: decodedKey })), current];\n }\n\n const decoded = Result.try({\n try: () => Schema.decodeSync(Schema.fromJsonString(ScheduleRecord))(text),\n catch: () => storageError(\"change\", \"corrupt\"),\n });\n\n if (Result.isFailure(decoded)) {\n return [Result.fail(decoded.failure), current];\n }\n const applied = applyScheduleChange(decoded.success, decodedCommand);\n\n if (Result.isFailure(applied)) {\n return [Result.fail(applied.failure), current];\n }\n if (applied.success === decoded.success) {\n return [Result.succeed(decoded.success), current];\n }\n if (!scheduleUsesCapacity(decoded.success) && scheduleUsesCapacity(applied.success)) {\n let count = 0;\n\n for (const text of current.records.values()) {\n const candidate = Schema.decodeUnknownResult(\n Schema.fromJsonString(ScheduleRecord),\n )(text);\n\n if (Result.isFailure(candidate))\n return [Result.fail(storageError(\"change\", \"corrupt\")), current];\n if (\n sameOwner(candidate.success, decodedKey.owner) &&\n scheduleUsesCapacity(candidate.success)\n )\n count += 1;\n }\n if (count >= ownerLimit)\n return [Result.fail(ScheduleCapacityError.make({ limit: ownerLimit })), current];\n }\n\n const encoded = Result.try({\n try: () =>\n Schema.encodeSync(Schema.fromJsonString(ScheduleRecord))(applied.success),\n catch: () => storageError(\"change\", \"corrupt\"),\n });\n\n if (Result.isFailure(encoded)) {\n return [Result.fail(encoded.failure), current];\n }\n const records = new Map(current.records);\n\n records.set(storageKey, encoded.success);\n const next = { records };\n\n return [Result.succeed(applied.success), next];\n },\n ),\n );\n\n const changed = yield* Effect.fromResult(decision);\n\n yield* failpoint.hit(`schedule:${decodedCommand._tag.toLowerCase()}:after`);\n\n return yield* decodeRecord(\"change\", yield* encodeRecord(\"change\", changed));\n }),\n );\n\n const due: ScheduleStore[\"Service\"][\"due\"] = Effect.fn(\"MemoryScheduleStore.due\")(\n function* (nowMillis, limit, owner, after) {\n const decodedOwner =\n owner === undefined ? undefined : yield* decodeInput(\"due\", ScheduleOwner, owner);\n\n const cursor =\n after === undefined ? undefined : yield* decodeInput(\"due\", ScheduleDueCursor, after);\n\n const records: Array<ScheduleDueCursor> = [];\n\n for (const text of (yield* Ref.get(state)).records.values()) {\n const record = yield* decodeRecord(\"due\", text);\n const deadline = scheduleDeadline(record);\n\n if (\n deadline !== null &&\n deadline <= nowMillis &&\n (decodedOwner === undefined || sameOwner(record, decodedOwner)) &&\n (cursor === undefined ||\n deadline > cursor.deadlineAtMillis ||\n (deadline === cursor.deadlineAtMillis && compareScheduleKeys(record, cursor) > 0))\n ) {\n records.push({ ...scheduleKeyOf(record), deadlineAtMillis: deadline });\n }\n }\n records.sort((left, right) => {\n const byDeadline = left.deadlineAtMillis - right.deadlineAtMillis;\n\n return byDeadline !== 0 ? byDeadline : compareScheduleKeys(left, right);\n });\n\n return records.slice(0, limit);\n },\n );\n\n const nextDeadline: ScheduleStore[\"Service\"][\"nextDeadline\"] = Effect.fn(\n \"MemoryScheduleStore.nextDeadline\",\n )(function* (owner) {\n const decodedOwner =\n owner === undefined ? undefined : yield* decodeInput(\"nextDeadline\", ScheduleOwner, owner);\n\n let earliest: number | null = null;\n\n for (const text of (yield* Ref.get(state)).records.values()) {\n const record = yield* decodeRecord(\"nextDeadline\", text);\n\n if (decodedOwner !== undefined && !sameOwner(record, decodedOwner)) continue;\n const deadline = scheduleDeadline(record);\n\n if (deadline !== null && (earliest === null || deadline < earliest)) earliest = deadline;\n }\n\n return earliest;\n });\n\n return ScheduleStore.of({ insert, get, list, change, due, nextDeadline });\n});\n\nexport const memoryScheduleStoreLayer = (): Layer.Layer<ScheduleStore> =>\n Layer.effect(ScheduleStore, makeScheduleStore);\n\nexport const MemoryScheduleStoreLive: Layer.Layer<ScheduleStore> = memoryScheduleStoreLayer();\n"],"mappings":";;;;;;;;;AA+BA,MAAM,gBAAgB,WAAmB,WACvC,qBAAqB,KAAK;CAAE;CAAW;AAAO,CAAC;AAEjD,MAAM,gBAAgB,WAAmB,WACvC,OAAO,IAAI;CACT,WAAW,OAAO,WAAW,OAAO,eAAe,cAAc,CAAC,CAAC,CAAC,MAAM;CAC1E,aAAa,aAAa,WAAW,SAAS;AAChD,CAAC;AAEH,MAAM,gBAAgB,WAAmB,YACvC,OAAO,IAAI;CACT,WAAW,OAAO,WAAW,OAAO,eAAe,cAAc,CAAC,CAAC,CAAC,OAAO;CAC3E,aAAa,aAAa,WAAW,SAAS;AAChD,CAAC;AAEH,MAAM,eAAqB,WAAmB,QAA4B,UACxE,OAAO,IAAI;CACT,WAAW,OAAO,kBAAkB,MAAM,CAAC,CAAC,KAAK;CACjD,aAAa,aAAa,WAAW,SAAS;AAChD,CAAC;AAEH,MAAM,aAAa,QAAwB,UACzC,iBAAiB,OAAO,KAAK,MAAM,iBAAiB,KAAK;AAE3D,MAAM,oBAAoB,OAAO,IAAI,aAAa;CAChD,MAAM,QAAQ,OAAO,IAAI,KAA0B,EAAE,yBAAS,IAAI,IAAI,EAAE,CAAC;CACzE,MAAM,YAAY,OAAO;CAEzB,MAAM,SAA6C,OAAO,GAAG,4BAA4B,CAAC,EACvF,QAAQ,eACP,OAAO,IAAI,aAAa;EACtB,MAAM,UAAU,OAAO,aAAa,UAAU,MAAM;EAEpD,OAAO,UAAU,IAAI,wBAAwB;EAE7C,MAAM,WAAW,OAAO,OAAO,gBAC7B,IAAI,OACF,QAEE,YAOG;GACH,MAAM,MAAM,kBAAkB,MAAM;GACpC,MAAM,eAAe,QAAQ,QAAQ,IAAI,GAAG;GAE5C,IAAI,iBAAiB,KAAA,GAAW;IAC9B,MAAM,UAAU,OAAO,IAAI;KACzB,WAAW,OAAO,WAAW,OAAO,eAAe,cAAc,CAAC,CAAC,CAAC,YAAY;KAChF,aAAa,aAAa,UAAU,SAAS;IAC/C,CAAC;IAED,IAAI,OAAO,UAAU,OAAO,GAC1B,OAAO,CAAC,OAAO,KAAK,QAAQ,OAAO,GAAG,OAAO;IAE/C,IAAI,QAAQ,QAAQ,wBAAwB,OAAO,qBACjD,OAAO,CAAC,OAAO,QAAQ,QAAQ,OAAO,GAAG,OAAO;IAGlD,OAAO,CACL,OAAO,KACL,iBAAiB,KAAK;KAAE,QAAQ;KAAY,KAAK,cAAc,MAAM;IAAE,CAAC,CAC1E,GACA,OACF;GACF;GAEA,IAAI,aAAa;GAEjB,KAAK,MAAM,QAAQ,QAAQ,QAAQ,OAAO,GAAG;IAC3C,MAAM,UAAU,OAAO,IAAI;KACzB,WAAW,OAAO,WAAW,OAAO,eAAe,cAAc,CAAC,CAAC,CAAC,IAAI;KACxE,aAAa,aAAa,UAAU,SAAS;IAC/C,CAAC;IAED,IAAI,OAAO,UAAU,OAAO,GAC1B,OAAO,CAAC,OAAO,KAAK,QAAQ,OAAO,GAAG,OAAO;IAE/C,IACE,UAAU,QAAQ,SAAS,OAAO,KAAK,KACvC,qBAAqB,QAAQ,OAAO,GAEpC,cAAc;GAClB;GACA,IAAI,cAAc,YAChB,OAAO,CAAC,OAAO,KAAK,sBAAsB,KAAK,EAAE,OAAO,WAAW,CAAC,CAAC,GAAG,OAAO;GAEjF,MAAM,UAAU,IAAI,IAAI,QAAQ,OAAO;GAEvC,QAAQ,IAAI,KAAK,OAAO;GACxB,MAAM,OAAO,EAAE,QAAQ;GAEvB,OAAO,CAAC,OAAO,QAAQ,MAAM,GAAG,IAAI;EACtC,CACF,CACF;EAEA,MAAM,WAAW,OAAO,OAAO,WAAW,QAAQ;EAElD,OAAO,UAAU,IAAI,uBAAuB;EAE5C,OAAO,OAAO,aAAa,UAAU,OAAO,aAAa,UAAU,QAAQ,CAAC;CAC9E,CAAC,CACL;CAEA,MAAM,MAAuC,OAAO,GAAG,yBAAyB,CAAC,CAC/E,WAAW,KAAK;EACd,MAAM,aAAa,OAAO,YAAY,OAAO,aAAa,GAAG;EAC7D,MAAM,QAAQ,OAAO,IAAI,IAAI,KAAK,EAAA,CAAG,QAAQ,IAAI,kBAAkB,UAAU,CAAC;EAE9E,OAAO,SAAS,KAAA,IAAY,OAAO,OAAO,aAAa,OAAO,IAAI;CACpE,CACF;CAEA,MAAM,OAAyC,OAAO,GAAG,0BAA0B,CAAC,CAClF,WAAW,SAAS;EAClB,MAAM,iBAAiB,OAAO,YAAY,QAAQ,qBAAqB,OAAO;EAC9E,MAAM,UAAiC,CAAC;EAExC,KAAK,MAAM,SAAS,OAAO,IAAI,IAAI,KAAK,EAAA,CAAG,QAAQ,OAAO,GAAG;GAC3D,MAAM,SAAS,OAAO,aAAa,QAAQ,IAAI;GAE/C,IACE,UAAU,QAAQ,eAAe,KAAK,MACrC,eAAe,UAAU,KAAA,KACxB,qBAAqB,OAAO,YAAY,eAAe,KAAK,IAAI,IAElE,QAAQ,KAAK,MAAM;EAEvB;EACA,QAAQ,MAAM,MAAM,UAAU,qBAAqB,KAAK,YAAY,MAAM,UAAU,CAAC;EACrF,MAAM,UAAU,QAAQ,SAAS,eAAe;EAChD,MAAM,QAAQ,QAAQ,MAAM,GAAG,eAAe,KAAK;EAEnD,OAAO;GACL;GACA,MAAM,UAAW,MAAM,GAAG,EAAE,CAAC,EAAE,cAAc,OAAQ;EACvD;CACF,CACF;CAEA,MAAM,SAA6C,OAAO,GAAG,4BAA4B,CAAC,EACvF,KAAK,SAAS,aAAa,wBAAwB,yBAClD,OAAO,IAAI,aAAa;EACtB,MAAM,aAAa,OAAO,YAAY,UAAU,aAAa,GAAG;EAChE,MAAM,iBAAiB,OAAO,YAAY,UAAU,gBAAgB,OAAO;EAE3E,OAAO,UAAU,IAAI,YAAY,eAAe,KAAK,YAAY,EAAE,QAAQ;EAE3E,MAAM,WAAW,OAAO,OAAO,gBAC7B,IAAI,OACF,QAEE,YAOG;GACH,MAAM,aAAa,kBAAkB,UAAU;GAC/C,MAAM,OAAO,QAAQ,QAAQ,IAAI,UAAU;GAE3C,IAAI,SAAS,KAAA,GACX,OAAO,CAAC,OAAO,KAAK,iBAAiB,KAAK,EAAE,KAAK,WAAW,CAAC,CAAC,GAAG,OAAO;GAG1E,MAAM,UAAU,OAAO,IAAI;IACzB,WAAW,OAAO,WAAW,OAAO,eAAe,cAAc,CAAC,CAAC,CAAC,IAAI;IACxE,aAAa,aAAa,UAAU,SAAS;GAC/C,CAAC;GAED,IAAI,OAAO,UAAU,OAAO,GAC1B,OAAO,CAAC,OAAO,KAAK,QAAQ,OAAO,GAAG,OAAO;GAE/C,MAAM,UAAU,oBAAoB,QAAQ,SAAS,cAAc;GAEnE,IAAI,OAAO,UAAU,OAAO,GAC1B,OAAO,CAAC,OAAO,KAAK,QAAQ,OAAO,GAAG,OAAO;GAE/C,IAAI,QAAQ,YAAY,QAAQ,SAC9B,OAAO,CAAC,OAAO,QAAQ,QAAQ,OAAO,GAAG,OAAO;GAElD,IAAI,CAAC,qBAAqB,QAAQ,OAAO,KAAK,qBAAqB,QAAQ,OAAO,GAAG;IACnF,IAAI,QAAQ;IAEZ,KAAK,MAAM,QAAQ,QAAQ,QAAQ,OAAO,GAAG;KAC3C,MAAM,YAAY,OAAO,oBACvB,OAAO,eAAe,cAAc,CACtC,CAAC,CAAC,IAAI;KAEN,IAAI,OAAO,UAAU,SAAS,GAC5B,OAAO,CAAC,OAAO,KAAK,aAAa,UAAU,SAAS,CAAC,GAAG,OAAO;KACjE,IACE,UAAU,UAAU,SAAS,WAAW,KAAK,KAC7C,qBAAqB,UAAU,OAAO,GAEtC,SAAS;IACb;IACA,IAAI,SAAS,YACX,OAAO,CAAC,OAAO,KAAK,sBAAsB,KAAK,EAAE,OAAO,WAAW,CAAC,CAAC,GAAG,OAAO;GACnF;GAEA,MAAM,UAAU,OAAO,IAAI;IACzB,WACE,OAAO,WAAW,OAAO,eAAe,cAAc,CAAC,CAAC,CAAC,QAAQ,OAAO;IAC1E,aAAa,aAAa,UAAU,SAAS;GAC/C,CAAC;GAED,IAAI,OAAO,UAAU,OAAO,GAC1B,OAAO,CAAC,OAAO,KAAK,QAAQ,OAAO,GAAG,OAAO;GAE/C,MAAM,UAAU,IAAI,IAAI,QAAQ,OAAO;GAEvC,QAAQ,IAAI,YAAY,QAAQ,OAAO;GACvC,MAAM,OAAO,EAAE,QAAQ;GAEvB,OAAO,CAAC,OAAO,QAAQ,QAAQ,OAAO,GAAG,IAAI;EAC/C,CACF,CACF;EAEA,MAAM,UAAU,OAAO,OAAO,WAAW,QAAQ;EAEjD,OAAO,UAAU,IAAI,YAAY,eAAe,KAAK,YAAY,EAAE,OAAO;EAE1E,OAAO,OAAO,aAAa,UAAU,OAAO,aAAa,UAAU,OAAO,CAAC;CAC7E,CAAC,CACL;CAEA,MAAM,MAAuC,OAAO,GAAG,yBAAyB,CAAC,CAC/E,WAAW,WAAW,OAAO,OAAO,OAAO;EACzC,MAAM,eACJ,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,YAAY,OAAO,eAAe,KAAK;EAElF,MAAM,SACJ,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,YAAY,OAAO,mBAAmB,KAAK;EAEtF,MAAM,UAAoC,CAAC;EAE3C,KAAK,MAAM,SAAS,OAAO,IAAI,IAAI,KAAK,EAAA,CAAG,QAAQ,OAAO,GAAG;GAC3D,MAAM,SAAS,OAAO,aAAa,OAAO,IAAI;GAC9C,MAAM,WAAW,iBAAiB,MAAM;GAExC,IACE,aAAa,QACb,YAAY,cACX,iBAAiB,KAAA,KAAa,UAAU,QAAQ,YAAY,OAC5D,WAAW,KAAA,KACV,WAAW,OAAO,oBACjB,aAAa,OAAO,oBAAoB,oBAAoB,QAAQ,MAAM,IAAI,IAEjF,QAAQ,KAAK;IAAE,GAAG,cAAc,MAAM;IAAG,kBAAkB;GAAS,CAAC;EAEzE;EACA,QAAQ,MAAM,MAAM,UAAU;GAC5B,MAAM,aAAa,KAAK,mBAAmB,MAAM;GAEjD,OAAO,eAAe,IAAI,aAAa,oBAAoB,MAAM,KAAK;EACxE,CAAC;EAED,OAAO,QAAQ,MAAM,GAAG,KAAK;CAC/B,CACF;CAEA,MAAM,eAAyD,OAAO,GACpE,kCACF,CAAC,CAAC,WAAW,OAAO;EAClB,MAAM,eACJ,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,YAAY,gBAAgB,eAAe,KAAK;EAE3F,IAAI,WAA0B;EAE9B,KAAK,MAAM,SAAS,OAAO,IAAI,IAAI,KAAK,EAAA,CAAG,QAAQ,OAAO,GAAG;GAC3D,MAAM,SAAS,OAAO,aAAa,gBAAgB,IAAI;GAEvD,IAAI,iBAAiB,KAAA,KAAa,CAAC,UAAU,QAAQ,YAAY,GAAG;GACpE,MAAM,WAAW,iBAAiB,MAAM;GAExC,IAAI,aAAa,SAAS,aAAa,QAAQ,WAAW,WAAW,WAAW;EAClF;EAEA,OAAO;CACT,CAAC;CAED,OAAO,cAAc,GAAG;EAAE;EAAQ;EAAK;EAAM;EAAQ;EAAK;CAAa,CAAC;AAC1E,CAAC;AAED,MAAa,iCACX,MAAM,OAAO,eAAe,iBAAiB;AAE/C,MAAa,0BAAsD,yBAAyB"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import { Layer, Schema } from "effect";
|
|
2
|
+
import { MemoryIndexError, SemanticMemoryIndex, SemanticMemoryProfile } from "@effect-agent/core/SemanticMemoryIndex";
|
|
3
|
+
declare namespace MemorySemanticIndex_d_exports {
|
|
4
|
+
export { InMemorySemanticIndexCapacity, inMemorySemanticIndexLayer };
|
|
5
|
+
}
|
|
6
|
+
declare const InMemorySemanticIndexCapacity_base: Schema.Class<InMemorySemanticIndexCapacity, Schema.Struct<{
|
|
7
|
+
readonly maxSources: Schema.Int;
|
|
8
|
+
readonly maxChunks: Schema.Int;
|
|
9
|
+
readonly maxSourceBytes: Schema.optionalKey<Schema.Int>;
|
|
10
|
+
}>, {}>;
|
|
11
|
+
/**
|
|
12
|
+
* Hard per-Layer bounds for disposable semantic index state. maxChunks times profile dimensions
|
|
13
|
+
* must not exceed 16,777,216 vector components. maxSourceBytes bounds the aggregate UTF-8 JSON
|
|
14
|
+
* of retained source identities and defaults to 16 MiB; it is not a general heap limit.
|
|
15
|
+
*/
|
|
16
|
+
declare class InMemorySemanticIndexCapacity extends InMemorySemanticIndexCapacity_base {}
|
|
17
|
+
/** Scoped disposable semantic index. No persistent build or recovery state is retained. */
|
|
18
|
+
declare const inMemorySemanticIndexLayer: (profile: SemanticMemoryProfile, capacity: InMemorySemanticIndexCapacity) => Layer.Layer<SemanticMemoryIndex, MemoryIndexError>;
|
|
19
|
+
//#endregion
|
|
20
|
+
export { InMemorySemanticIndexCapacity, inMemorySemanticIndexLayer, MemorySemanticIndex_d_exports as t };
|
|
21
|
+
//# sourceMappingURL=MemorySemanticIndex.d.mts.map
|
|
@@ -0,0 +1,222 @@
|
|
|
1
|
+
import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
|
|
2
|
+
import { Clock, Effect, Encoding, Layer, Ref, Schema } from "effect";
|
|
3
|
+
import { MemoryKey } from "@effect-agent/core/MemoryStore";
|
|
4
|
+
import { MemoryIndexCandidate, MemoryIndexError, MemoryIndexQuery, MemoryIndexReplacement, MemoryIndexSearch, MemoryIndexSource, SemanticMemoryChunk, SemanticMemoryIndex, SemanticMemoryProfile } from "@effect-agent/core/SemanticMemoryIndex";
|
|
5
|
+
//#region src/MemorySemanticIndex.ts
|
|
6
|
+
var MemorySemanticIndex_exports = /* @__PURE__ */ __exportAll({
|
|
7
|
+
InMemorySemanticIndexCapacity: () => InMemorySemanticIndexCapacity,
|
|
8
|
+
inMemorySemanticIndexLayer: () => inMemorySemanticIndexLayer
|
|
9
|
+
});
|
|
10
|
+
const PositiveCapacity = Schema.Int.check(Schema.isBetween({
|
|
11
|
+
minimum: 1,
|
|
12
|
+
maximum: 65536
|
|
13
|
+
}));
|
|
14
|
+
const MaxStoredVectorComponents = 16777216;
|
|
15
|
+
/**
|
|
16
|
+
* Hard per-Layer bounds for disposable semantic index state. maxChunks times profile dimensions
|
|
17
|
+
* must not exceed 16,777,216 vector components. maxSourceBytes bounds the aggregate UTF-8 JSON
|
|
18
|
+
* of retained source identities and defaults to 16 MiB; it is not a general heap limit.
|
|
19
|
+
*/
|
|
20
|
+
var InMemorySemanticIndexCapacity = class extends Schema.Class("@effect-agent/storage-memory/InMemorySemanticIndexCapacity")({
|
|
21
|
+
maxSources: PositiveCapacity,
|
|
22
|
+
maxChunks: PositiveCapacity,
|
|
23
|
+
maxSourceBytes: Schema.optionalKey(Schema.Int.check(Schema.isBetween({
|
|
24
|
+
minimum: 1,
|
|
25
|
+
maximum: 67108864
|
|
26
|
+
})))
|
|
27
|
+
}) {};
|
|
28
|
+
const sameProfile = Schema.toEquivalence(SemanticMemoryProfile);
|
|
29
|
+
const sameSource = Schema.toEquivalence(MemoryIndexSource.Wire);
|
|
30
|
+
const error = (operation, reason) => MemoryIndexError.make({
|
|
31
|
+
operation,
|
|
32
|
+
reason
|
|
33
|
+
});
|
|
34
|
+
const keyString = (key) => JSON.stringify([key.namespace.address, key.id]);
|
|
35
|
+
const sourceIdentityBytes = (source) => Encoding.encodeHex(JSON.stringify(source)).length / 2;
|
|
36
|
+
const decodeBoundary = Effect.fn("InMemorySemanticIndex.decodeBoundary")(function* (schema, value, operation) {
|
|
37
|
+
return yield* Schema.decodeUnknownEffect(schema)(value).pipe(Effect.flatMap((decoded) => Schema.encodeEffect(schema)(decoded).pipe(Effect.as(decoded))), Effect.mapError(() => error(operation, "invalid-input")));
|
|
38
|
+
});
|
|
39
|
+
const freezeSource = (source) => Object.freeze(MemoryIndexSource.make({
|
|
40
|
+
key: Object.freeze(MemoryKey.make({
|
|
41
|
+
...source.key,
|
|
42
|
+
namespace: Object.freeze({ address: source.key.namespace.address })
|
|
43
|
+
})),
|
|
44
|
+
source: Object.freeze({ ...source.source }),
|
|
45
|
+
sourceGeneration: source.sourceGeneration
|
|
46
|
+
}));
|
|
47
|
+
const freezeChunk = (chunk) => Object.freeze(SemanticMemoryChunk.make({
|
|
48
|
+
...chunk,
|
|
49
|
+
vector: Object.freeze([...chunk.vector])
|
|
50
|
+
}));
|
|
51
|
+
const sourceIsFenced = (source, existing) => source.sourceGeneration < existing.source.sourceGeneration || source.sourceGeneration === existing.source.sourceGeneration && !sameSource(source, existing.source);
|
|
52
|
+
const squaredNorm = (vector) => {
|
|
53
|
+
let sum = 0;
|
|
54
|
+
for (const value of vector) {
|
|
55
|
+
sum += value * value;
|
|
56
|
+
if (!Number.isFinite(sum)) return null;
|
|
57
|
+
}
|
|
58
|
+
return sum > 0 ? sum : null;
|
|
59
|
+
};
|
|
60
|
+
const validVector = (vector, profile) => vector.length === profile.dimensions && squaredNorm(vector) !== null;
|
|
61
|
+
const validateChunks = Effect.fn("InMemorySemanticIndex.validateChunks")(function* (chunks, profile, operation) {
|
|
62
|
+
let nextByte = 0;
|
|
63
|
+
const passageIds = /* @__PURE__ */ new Set();
|
|
64
|
+
for (let index = 0; index < chunks.length; index++) {
|
|
65
|
+
const chunk = chunks[index];
|
|
66
|
+
const byteLength = Encoding.encodeHex(chunk.text).length / 2;
|
|
67
|
+
if (chunk.ordinal !== index || chunk.startByte !== nextByte || chunk.endByte <= chunk.startByte || chunk.endByte - chunk.startByte !== byteLength || byteLength > profile.maxChunkBytes || passageIds.has(chunk.passageId) || !validVector(chunk.vector, profile)) return yield* error(operation, "invalid-input");
|
|
68
|
+
passageIds.add(chunk.passageId);
|
|
69
|
+
nextByte = chunk.endByte;
|
|
70
|
+
}
|
|
71
|
+
});
|
|
72
|
+
const cosine = (left, right) => {
|
|
73
|
+
const leftNorm = Math.sqrt(squaredNorm(left) ?? 1);
|
|
74
|
+
const rightNorm = Math.sqrt(squaredNorm(right) ?? 1);
|
|
75
|
+
let score = 0;
|
|
76
|
+
for (let index = 0; index < left.length; index++) score += left[index] / leftNorm * (right[index] / rightNorm);
|
|
77
|
+
const bounded = Math.max(-1, Math.min(1, score));
|
|
78
|
+
return bounded === 0 ? 0 : bounded;
|
|
79
|
+
};
|
|
80
|
+
const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
|
|
81
|
+
const makeIndex = Effect.fn("InMemorySemanticIndex.make")(function* (rawProfile, rawCapacity) {
|
|
82
|
+
const profile = Object.freeze(SemanticMemoryProfile.make({ ...yield* decodeBoundary(SemanticMemoryProfile, rawProfile, "configure semantic memory index") }));
|
|
83
|
+
const capacity = yield* decodeBoundary(InMemorySemanticIndexCapacity, rawCapacity, "configure semantic memory index");
|
|
84
|
+
if (capacity.maxChunks * profile.dimensions > MaxStoredVectorComponents) return yield* error("configure semantic memory index", "invalid-input");
|
|
85
|
+
const maxSourceBytes = capacity.maxSourceBytes ?? 16777216;
|
|
86
|
+
const data = yield* Ref.make({
|
|
87
|
+
closed: false,
|
|
88
|
+
entries: /* @__PURE__ */ new Map(),
|
|
89
|
+
sourceBytes: 0
|
|
90
|
+
});
|
|
91
|
+
yield* Effect.addFinalizer(() => Ref.set(data, {
|
|
92
|
+
closed: true,
|
|
93
|
+
entries: /* @__PURE__ */ new Map(),
|
|
94
|
+
sourceBytes: 0
|
|
95
|
+
}));
|
|
96
|
+
const ensureOpen = Effect.fn("InMemorySemanticIndex.ensureOpen")(function* (operation) {
|
|
97
|
+
if ((yield* Ref.get(data)).closed) return yield* error(operation, "unavailable");
|
|
98
|
+
});
|
|
99
|
+
const replace = Effect.fn("InMemorySemanticIndex.replace")(function* (rawRequest) {
|
|
100
|
+
const operation = "replace semantic memory source";
|
|
101
|
+
yield* ensureOpen(operation);
|
|
102
|
+
const request = yield* decodeBoundary(MemoryIndexReplacement.Wire, rawRequest, operation);
|
|
103
|
+
const source = freezeSource(request.source);
|
|
104
|
+
const sourceBytes = sourceIdentityBytes(source);
|
|
105
|
+
const chunks = Object.freeze(request.chunks.map(freezeChunk));
|
|
106
|
+
if (source.source.id !== source.key.id) return yield* error(operation, "invalid-input");
|
|
107
|
+
if (!sameProfile(request.profile, profile)) return yield* error(operation, "incompatible");
|
|
108
|
+
yield* validateChunks(chunks, profile, operation);
|
|
109
|
+
const indexedAt = yield* Clock.currentTimeMillis;
|
|
110
|
+
const failure = yield* Ref.modify(data, (current) => {
|
|
111
|
+
if (current.closed) return [error(operation, "unavailable"), current];
|
|
112
|
+
const id = keyString(source.key);
|
|
113
|
+
const existing = current.entries.get(id);
|
|
114
|
+
if (existing !== void 0 && (existing._tag === "Withdrawn" || sourceIsFenced(source, existing))) return [error(operation, "fenced"), current];
|
|
115
|
+
if (existing === void 0 && current.entries.size >= capacity.maxSources) return [error(operation, "budget"), current];
|
|
116
|
+
const nextSourceBytes = current.sourceBytes - (existing?.sourceBytes ?? 0) + sourceBytes;
|
|
117
|
+
if (nextSourceBytes > maxSourceBytes) return [error(operation, "budget"), current];
|
|
118
|
+
let count = chunks.length;
|
|
119
|
+
for (const [entryId, entry] of current.entries) if (entryId !== id && entry._tag === "Indexed") count += entry.chunks.length;
|
|
120
|
+
if (count > capacity.maxChunks) return [error(operation, "budget"), current];
|
|
121
|
+
const entries = new Map(current.entries);
|
|
122
|
+
entries.set(id, {
|
|
123
|
+
_tag: "Indexed",
|
|
124
|
+
source,
|
|
125
|
+
sourceBytes,
|
|
126
|
+
chunks,
|
|
127
|
+
indexedAt
|
|
128
|
+
});
|
|
129
|
+
return [void 0, {
|
|
130
|
+
...current,
|
|
131
|
+
entries,
|
|
132
|
+
sourceBytes: nextSourceBytes
|
|
133
|
+
}];
|
|
134
|
+
});
|
|
135
|
+
if (failure !== void 0) return yield* failure;
|
|
136
|
+
});
|
|
137
|
+
const withdraw = Effect.fn("InMemorySemanticIndex.withdraw")(function* (rawSource) {
|
|
138
|
+
const operation = "withdraw semantic memory source";
|
|
139
|
+
yield* ensureOpen(operation);
|
|
140
|
+
const source = freezeSource(yield* decodeBoundary(MemoryIndexSource.Wire, rawSource, operation));
|
|
141
|
+
const sourceBytes = sourceIdentityBytes(source);
|
|
142
|
+
if (source.source.id !== source.key.id) return yield* error(operation, "invalid-input");
|
|
143
|
+
const failure = yield* Ref.modify(data, (current) => {
|
|
144
|
+
if (current.closed) return [error(operation, "unavailable"), current];
|
|
145
|
+
const id = keyString(source.key);
|
|
146
|
+
const existing = current.entries.get(id);
|
|
147
|
+
if (existing !== void 0) {
|
|
148
|
+
if (existing._tag === "Withdrawn") return [sameSource(source, existing.source) ? void 0 : error(operation, "fenced"), current];
|
|
149
|
+
if (sourceIsFenced(source, existing)) return [error(operation, "fenced"), current];
|
|
150
|
+
} else if (current.entries.size >= capacity.maxSources) return [error(operation, "budget"), current];
|
|
151
|
+
const nextSourceBytes = current.sourceBytes - (existing?.sourceBytes ?? 0) + sourceBytes;
|
|
152
|
+
if (nextSourceBytes > maxSourceBytes) return [error(operation, "budget"), current];
|
|
153
|
+
const entries = new Map(current.entries);
|
|
154
|
+
entries.set(id, {
|
|
155
|
+
_tag: "Withdrawn",
|
|
156
|
+
source,
|
|
157
|
+
sourceBytes
|
|
158
|
+
});
|
|
159
|
+
return [void 0, {
|
|
160
|
+
...current,
|
|
161
|
+
entries,
|
|
162
|
+
sourceBytes: nextSourceBytes
|
|
163
|
+
}];
|
|
164
|
+
});
|
|
165
|
+
if (failure !== void 0) return yield* failure;
|
|
166
|
+
});
|
|
167
|
+
const search = Effect.fn("InMemorySemanticIndex.search")(function* (rawQuery) {
|
|
168
|
+
const operation = "search semantic memory index";
|
|
169
|
+
yield* ensureOpen(operation);
|
|
170
|
+
const query = yield* decodeBoundary(MemoryIndexQuery.Wire, rawQuery, operation);
|
|
171
|
+
const vector = Object.freeze([...query.vector]);
|
|
172
|
+
if (!validVector(vector, profile)) return yield* error(operation, "invalid-input");
|
|
173
|
+
const current = yield* Ref.get(data);
|
|
174
|
+
if (current.closed) return yield* error(operation, "unavailable");
|
|
175
|
+
let scannedChunks = 0;
|
|
176
|
+
let inspectedSources = 0;
|
|
177
|
+
const candidates = [];
|
|
178
|
+
for (const entry of current.entries.values()) {
|
|
179
|
+
inspectedSources += 1;
|
|
180
|
+
if (inspectedSources % 128 === 0) yield* Effect.yieldNow;
|
|
181
|
+
if (entry.source.key.namespace.address !== query.namespace.address || entry._tag !== "Indexed") continue;
|
|
182
|
+
scannedChunks += entry.chunks.length;
|
|
183
|
+
if (scannedChunks > query.maxScannedChunks) return yield* error(operation, "budget");
|
|
184
|
+
}
|
|
185
|
+
for (const entry of current.entries.values()) {
|
|
186
|
+
if (entry.source.key.namespace.address !== query.namespace.address || entry._tag !== "Indexed") continue;
|
|
187
|
+
yield* Effect.yieldNow;
|
|
188
|
+
for (const chunk of entry.chunks) {
|
|
189
|
+
const score = cosine(vector, chunk.vector);
|
|
190
|
+
if (score < query.minScore) continue;
|
|
191
|
+
candidates.push(MemoryIndexCandidate.make({
|
|
192
|
+
...entry.source,
|
|
193
|
+
passageId: chunk.passageId,
|
|
194
|
+
ordinal: chunk.ordinal,
|
|
195
|
+
startByte: chunk.startByte,
|
|
196
|
+
endByte: chunk.endByte,
|
|
197
|
+
text: chunk.text,
|
|
198
|
+
score,
|
|
199
|
+
indexedAt: entry.indexedAt
|
|
200
|
+
}));
|
|
201
|
+
}
|
|
202
|
+
}
|
|
203
|
+
candidates.sort((left, right) => right.score - left.score || compareText(left.key.id, right.key.id) || compareText(left.source.revision, right.source.revision) || left.ordinal - right.ordinal);
|
|
204
|
+
yield* ensureOpen(operation);
|
|
205
|
+
return MemoryIndexSearch.make({
|
|
206
|
+
candidates: candidates.slice(0, query.limit),
|
|
207
|
+
scannedChunks
|
|
208
|
+
});
|
|
209
|
+
});
|
|
210
|
+
return SemanticMemoryIndex.fromAdapter({
|
|
211
|
+
profile,
|
|
212
|
+
replace,
|
|
213
|
+
withdraw,
|
|
214
|
+
search
|
|
215
|
+
});
|
|
216
|
+
});
|
|
217
|
+
/** Scoped disposable semantic index. No persistent build or recovery state is retained. */
|
|
218
|
+
const inMemorySemanticIndexLayer = (profile, capacity) => Layer.effect(SemanticMemoryIndex, makeIndex(profile, capacity));
|
|
219
|
+
//#endregion
|
|
220
|
+
export { InMemorySemanticIndexCapacity, inMemorySemanticIndexLayer, MemorySemanticIndex_exports as t };
|
|
221
|
+
|
|
222
|
+
//# sourceMappingURL=MemorySemanticIndex.mjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"MemorySemanticIndex.mjs","names":[],"sources":["../src/MemorySemanticIndex.ts"],"sourcesContent":["import { MemoryKey } from \"@effect-agent/core/MemoryStore\";\nimport {\n MemoryIndexCandidate,\n MemoryIndexError,\n MemoryIndexQuery,\n MemoryIndexReplacement,\n MemoryIndexSearch,\n MemoryIndexSource,\n SemanticMemoryChunk,\n SemanticMemoryIndex,\n SemanticMemoryProfile,\n} from \"@effect-agent/core/SemanticMemoryIndex\";\nimport { Clock, Effect, Encoding, Layer, Ref, Schema } from \"effect\";\n\nconst PositiveCapacity = Schema.Int.check(Schema.isBetween({ minimum: 1, maximum: 65_536 }));\nconst MaxStoredVectorComponents = 16_777_216;\n\n/**\n * Hard per-Layer bounds for disposable semantic index state. maxChunks times profile dimensions\n * must not exceed 16,777,216 vector components. maxSourceBytes bounds the aggregate UTF-8 JSON\n * of retained source identities and defaults to 16 MiB; it is not a general heap limit.\n */\nexport class InMemorySemanticIndexCapacity extends Schema.Class<InMemorySemanticIndexCapacity>(\n \"@effect-agent/storage-memory/InMemorySemanticIndexCapacity\",\n)({\n maxSources: PositiveCapacity,\n maxChunks: PositiveCapacity,\n maxSourceBytes: Schema.optionalKey(\n Schema.Int.check(Schema.isBetween({ minimum: 1, maximum: 67_108_864 })),\n ),\n}) {}\n\ntype StoredEntry = {\n readonly source: MemoryIndexSource;\n readonly sourceBytes: number;\n} & (\n | {\n readonly _tag: \"Indexed\";\n readonly chunks: ReadonlyArray<SemanticMemoryChunk>;\n readonly indexedAt: number;\n }\n | { readonly _tag: \"Withdrawn\" }\n);\n\ninterface IndexData {\n readonly closed: boolean;\n readonly entries: ReadonlyMap<string, StoredEntry>;\n readonly sourceBytes: number;\n}\n\nconst sameProfile = Schema.toEquivalence(SemanticMemoryProfile);\nconst sameSource = Schema.toEquivalence(MemoryIndexSource.Wire);\n\nconst error = (operation: string, reason: MemoryIndexError[\"reason\"]): MemoryIndexError =>\n MemoryIndexError.make({ operation, reason });\n\nconst keyString = (key: MemoryKey): string => JSON.stringify([key.namespace.address, key.id]);\n\nconst sourceIdentityBytes = (source: MemoryIndexSource): number =>\n Encoding.encodeHex(JSON.stringify(source)).length / 2;\n\nconst decodeBoundary = Effect.fn(\"InMemorySemanticIndex.decodeBoundary\")(function* <A, I>(\n schema: Schema.Codec<A, I, never>,\n value: unknown,\n operation: string,\n): Effect.fn.Return<A, MemoryIndexError> {\n return yield* Schema.decodeUnknownEffect(schema)(value).pipe(\n Effect.flatMap((decoded) => Schema.encodeEffect(schema)(decoded).pipe(Effect.as(decoded))),\n Effect.mapError(() => error(operation, \"invalid-input\")),\n );\n});\n\nconst freezeSource = (source: MemoryIndexSource): MemoryIndexSource =>\n Object.freeze(\n MemoryIndexSource.make({\n key: Object.freeze(\n MemoryKey.make({\n ...source.key,\n namespace: Object.freeze({ address: source.key.namespace.address }),\n }),\n ),\n source: Object.freeze({ ...source.source }),\n sourceGeneration: source.sourceGeneration,\n }),\n );\n\nconst freezeChunk = (chunk: SemanticMemoryChunk): SemanticMemoryChunk =>\n Object.freeze(SemanticMemoryChunk.make({ ...chunk, vector: Object.freeze([...chunk.vector]) }));\n\nconst sourceIsFenced = (source: MemoryIndexSource, existing: StoredEntry): boolean =>\n source.sourceGeneration < existing.source.sourceGeneration ||\n (source.sourceGeneration === existing.source.sourceGeneration &&\n !sameSource(source, existing.source));\n\nconst squaredNorm = (vector: ReadonlyArray<number>): number | null => {\n let sum = 0;\n\n for (const value of vector) {\n sum += value * value;\n if (!Number.isFinite(sum)) return null;\n }\n\n return sum > 0 ? sum : null;\n};\n\nconst validVector = (vector: ReadonlyArray<number>, profile: SemanticMemoryProfile): boolean =>\n vector.length === profile.dimensions && squaredNorm(vector) !== null;\n\nconst validateChunks = Effect.fn(\"InMemorySemanticIndex.validateChunks\")(function* (\n chunks: ReadonlyArray<SemanticMemoryChunk>,\n profile: SemanticMemoryProfile,\n operation: string,\n): Effect.fn.Return<void, MemoryIndexError> {\n let nextByte = 0;\n const passageIds = new Set<string>();\n\n for (let index = 0; index < chunks.length; index++) {\n const chunk = chunks[index];\n const byteLength = Encoding.encodeHex(chunk.text).length / 2;\n\n if (\n chunk.ordinal !== index ||\n chunk.startByte !== nextByte ||\n chunk.endByte <= chunk.startByte ||\n chunk.endByte - chunk.startByte !== byteLength ||\n byteLength > profile.maxChunkBytes ||\n passageIds.has(chunk.passageId) ||\n !validVector(chunk.vector, profile)\n ) {\n return yield* error(operation, \"invalid-input\");\n }\n passageIds.add(chunk.passageId);\n nextByte = chunk.endByte;\n }\n});\n\nconst cosine = (left: ReadonlyArray<number>, right: ReadonlyArray<number>): number => {\n const leftNorm = Math.sqrt(squaredNorm(left) ?? 1);\n const rightNorm = Math.sqrt(squaredNorm(right) ?? 1);\n let score = 0;\n\n for (let index = 0; index < left.length; index++) {\n score += (left[index] / leftNorm) * (right[index] / rightNorm);\n }\n const bounded = Math.max(-1, Math.min(1, score));\n\n return bounded === 0 ? 0 : bounded;\n};\n\nconst compareText = (left: string, right: string): number =>\n left < right ? -1 : left > right ? 1 : 0;\n\nconst makeIndex = Effect.fn(\"InMemorySemanticIndex.make\")(function* (\n rawProfile: SemanticMemoryProfile,\n rawCapacity: InMemorySemanticIndexCapacity,\n) {\n const profile = Object.freeze(\n SemanticMemoryProfile.make({\n ...(yield* decodeBoundary(\n SemanticMemoryProfile,\n rawProfile,\n \"configure semantic memory index\",\n )),\n }),\n );\n\n const capacity = yield* decodeBoundary(\n InMemorySemanticIndexCapacity,\n rawCapacity,\n \"configure semantic memory index\",\n );\n\n if (capacity.maxChunks * profile.dimensions > MaxStoredVectorComponents) {\n return yield* error(\"configure semantic memory index\", \"invalid-input\");\n }\n const maxSourceBytes = capacity.maxSourceBytes ?? 16_777_216;\n const data = yield* Ref.make<IndexData>({ closed: false, entries: new Map(), sourceBytes: 0 });\n\n yield* Effect.addFinalizer(() =>\n Ref.set(data, { closed: true, entries: new Map(), sourceBytes: 0 }),\n );\n\n const ensureOpen = Effect.fn(\"InMemorySemanticIndex.ensureOpen\")(function* (operation: string) {\n if ((yield* Ref.get(data)).closed) return yield* error(operation, \"unavailable\");\n });\n\n const replace: SemanticMemoryIndex[\"Service\"][\"replace\"] = Effect.fn(\n \"InMemorySemanticIndex.replace\",\n )(function* (rawRequest) {\n const operation = \"replace semantic memory source\";\n\n yield* ensureOpen(operation);\n const request = yield* decodeBoundary(MemoryIndexReplacement.Wire, rawRequest, operation);\n const source = freezeSource(request.source);\n const sourceBytes = sourceIdentityBytes(source);\n const chunks = Object.freeze(request.chunks.map(freezeChunk));\n\n if (source.source.id !== source.key.id) return yield* error(operation, \"invalid-input\");\n if (!sameProfile(request.profile, profile)) return yield* error(operation, \"incompatible\");\n yield* validateChunks(chunks, profile, operation);\n const indexedAt = yield* Clock.currentTimeMillis;\n\n const failure = yield* Ref.modify(\n data,\n (current): readonly [MemoryIndexError | undefined, IndexData] => {\n if (current.closed) return [error(operation, \"unavailable\"), current];\n const id = keyString(source.key);\n const existing = current.entries.get(id);\n\n if (\n existing !== undefined &&\n (existing._tag === \"Withdrawn\" || sourceIsFenced(source, existing))\n ) {\n return [error(operation, \"fenced\"), current];\n }\n if (existing === undefined && current.entries.size >= capacity.maxSources) {\n return [error(operation, \"budget\"), current];\n }\n const nextSourceBytes = current.sourceBytes - (existing?.sourceBytes ?? 0) + sourceBytes;\n\n if (nextSourceBytes > maxSourceBytes) return [error(operation, \"budget\"), current];\n let count = chunks.length;\n\n for (const [entryId, entry] of current.entries) {\n if (entryId !== id && entry._tag === \"Indexed\") count += entry.chunks.length;\n }\n if (count > capacity.maxChunks) return [error(operation, \"budget\"), current];\n const entries = new Map(current.entries);\n\n entries.set(id, { _tag: \"Indexed\", source, sourceBytes, chunks, indexedAt });\n\n return [undefined, { ...current, entries, sourceBytes: nextSourceBytes }];\n },\n );\n\n if (failure !== undefined) return yield* failure;\n });\n\n const withdraw: SemanticMemoryIndex[\"Service\"][\"withdraw\"] = Effect.fn(\n \"InMemorySemanticIndex.withdraw\",\n )(function* (rawSource) {\n const operation = \"withdraw semantic memory source\";\n\n yield* ensureOpen(operation);\n\n const source = freezeSource(\n yield* decodeBoundary(MemoryIndexSource.Wire, rawSource, operation),\n );\n\n const sourceBytes = sourceIdentityBytes(source);\n\n if (source.source.id !== source.key.id) return yield* error(operation, \"invalid-input\");\n\n const failure = yield* Ref.modify(\n data,\n (current): readonly [MemoryIndexError | undefined, IndexData] => {\n if (current.closed) return [error(operation, \"unavailable\"), current];\n const id = keyString(source.key);\n const existing = current.entries.get(id);\n\n if (existing !== undefined) {\n if (existing._tag === \"Withdrawn\") {\n return [\n sameSource(source, existing.source) ? undefined : error(operation, \"fenced\"),\n current,\n ];\n }\n if (sourceIsFenced(source, existing)) return [error(operation, \"fenced\"), current];\n } else if (current.entries.size >= capacity.maxSources) {\n return [error(operation, \"budget\"), current];\n }\n const nextSourceBytes = current.sourceBytes - (existing?.sourceBytes ?? 0) + sourceBytes;\n\n if (nextSourceBytes > maxSourceBytes) return [error(operation, \"budget\"), current];\n const entries = new Map(current.entries);\n\n entries.set(id, { _tag: \"Withdrawn\", source, sourceBytes });\n\n return [undefined, { ...current, entries, sourceBytes: nextSourceBytes }];\n },\n );\n\n if (failure !== undefined) return yield* failure;\n });\n\n const search = Effect.fn(\"InMemorySemanticIndex.search\")(function* (rawQuery: MemoryIndexQuery) {\n const operation = \"search semantic memory index\";\n\n yield* ensureOpen(operation);\n const query = yield* decodeBoundary(MemoryIndexQuery.Wire, rawQuery, operation);\n const vector = Object.freeze([...query.vector]);\n\n if (!validVector(vector, profile)) return yield* error(operation, \"invalid-input\");\n const current = yield* Ref.get(data);\n\n if (current.closed) return yield* error(operation, \"unavailable\");\n let scannedChunks = 0;\n let inspectedSources = 0;\n const candidates: Array<MemoryIndexCandidate> = [];\n\n for (const entry of current.entries.values()) {\n inspectedSources += 1;\n if (inspectedSources % 128 === 0) yield* Effect.yieldNow;\n if (\n entry.source.key.namespace.address !== query.namespace.address ||\n entry._tag !== \"Indexed\"\n )\n continue;\n scannedChunks += entry.chunks.length;\n if (scannedChunks > query.maxScannedChunks) return yield* error(operation, \"budget\");\n }\n for (const entry of current.entries.values()) {\n if (\n entry.source.key.namespace.address !== query.namespace.address ||\n entry._tag !== \"Indexed\"\n )\n continue;\n yield* Effect.yieldNow;\n for (const chunk of entry.chunks) {\n const score = cosine(vector, chunk.vector);\n\n if (score < query.minScore) continue;\n candidates.push(\n MemoryIndexCandidate.make({\n ...entry.source,\n passageId: chunk.passageId,\n ordinal: chunk.ordinal,\n startByte: chunk.startByte,\n endByte: chunk.endByte,\n text: chunk.text,\n score,\n indexedAt: entry.indexedAt,\n }),\n );\n }\n }\n candidates.sort(\n (left, right) =>\n right.score - left.score ||\n compareText(left.key.id, right.key.id) ||\n compareText(left.source.revision, right.source.revision) ||\n left.ordinal - right.ordinal,\n );\n yield* ensureOpen(operation);\n\n return MemoryIndexSearch.make({ candidates: candidates.slice(0, query.limit), scannedChunks });\n });\n\n return SemanticMemoryIndex.fromAdapter({ profile, replace, withdraw, search });\n});\n\n/** Scoped disposable semantic index. No persistent build or recovery state is retained. */\nexport const inMemorySemanticIndexLayer = (\n profile: SemanticMemoryProfile,\n capacity: InMemorySemanticIndexCapacity,\n): Layer.Layer<SemanticMemoryIndex, MemoryIndexError> =>\n Layer.effect(SemanticMemoryIndex, makeIndex(profile, capacity));\n"],"mappings":";;;;;;;;;AAcA,MAAM,mBAAmB,OAAO,IAAI,MAAM,OAAO,UAAU;CAAE,SAAS;CAAG,SAAS;AAAO,CAAC,CAAC;AAC3F,MAAM,4BAA4B;;;;;;AAOlC,IAAa,gCAAb,cAAmD,OAAO,MACxD,4DACF,CAAC,CAAC;CACA,YAAY;CACZ,WAAW;CACX,gBAAgB,OAAO,YACrB,OAAO,IAAI,MAAM,OAAO,UAAU;EAAE,SAAS;EAAG,SAAS;CAAW,CAAC,CAAC,CACxE;AACF,CAAC,CAAC,CAAC,CAAC;AAoBJ,MAAM,cAAc,OAAO,cAAc,qBAAqB;AAC9D,MAAM,aAAa,OAAO,cAAc,kBAAkB,IAAI;AAE9D,MAAM,SAAS,WAAmB,WAChC,iBAAiB,KAAK;CAAE;CAAW;AAAO,CAAC;AAE7C,MAAM,aAAa,QAA2B,KAAK,UAAU,CAAC,IAAI,UAAU,SAAS,IAAI,EAAE,CAAC;AAE5F,MAAM,uBAAuB,WAC3B,SAAS,UAAU,KAAK,UAAU,MAAM,CAAC,CAAC,CAAC,SAAS;AAEtD,MAAM,iBAAiB,OAAO,GAAG,sCAAsC,CAAC,CAAC,WACvE,QACA,OACA,WACuC;CACvC,OAAO,OAAO,OAAO,oBAAoB,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,KACtD,OAAO,SAAS,YAAY,OAAO,aAAa,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,CAAC,GACzF,OAAO,eAAe,MAAM,WAAW,eAAe,CAAC,CACzD;AACF,CAAC;AAED,MAAM,gBAAgB,WACpB,OAAO,OACL,kBAAkB,KAAK;CACrB,KAAK,OAAO,OACV,UAAU,KAAK;EACb,GAAG,OAAO;EACV,WAAW,OAAO,OAAO,EAAE,SAAS,OAAO,IAAI,UAAU,QAAQ,CAAC;CACpE,CAAC,CACH;CACA,QAAQ,OAAO,OAAO,EAAE,GAAG,OAAO,OAAO,CAAC;CAC1C,kBAAkB,OAAO;AAC3B,CAAC,CACH;AAEF,MAAM,eAAe,UACnB,OAAO,OAAO,oBAAoB,KAAK;CAAE,GAAG;CAAO,QAAQ,OAAO,OAAO,CAAC,GAAG,MAAM,MAAM,CAAC;AAAE,CAAC,CAAC;AAEhG,MAAM,kBAAkB,QAA2B,aACjD,OAAO,mBAAmB,SAAS,OAAO,oBACzC,OAAO,qBAAqB,SAAS,OAAO,oBAC3C,CAAC,WAAW,QAAQ,SAAS,MAAM;AAEvC,MAAM,eAAe,WAAiD;CACpE,IAAI,MAAM;CAEV,KAAK,MAAM,SAAS,QAAQ;EAC1B,OAAO,QAAQ;EACf,IAAI,CAAC,OAAO,SAAS,GAAG,GAAG,OAAO;CACpC;CAEA,OAAO,MAAM,IAAI,MAAM;AACzB;AAEA,MAAM,eAAe,QAA+B,YAClD,OAAO,WAAW,QAAQ,cAAc,YAAY,MAAM,MAAM;AAElE,MAAM,iBAAiB,OAAO,GAAG,sCAAsC,CAAC,CAAC,WACvE,QACA,SACA,WAC0C;CAC1C,IAAI,WAAW;CACf,MAAM,6BAAa,IAAI,IAAY;CAEnC,KAAK,IAAI,QAAQ,GAAG,QAAQ,OAAO,QAAQ,SAAS;EAClD,MAAM,QAAQ,OAAO;EACrB,MAAM,aAAa,SAAS,UAAU,MAAM,IAAI,CAAC,CAAC,SAAS;EAE3D,IACE,MAAM,YAAY,SAClB,MAAM,cAAc,YACpB,MAAM,WAAW,MAAM,aACvB,MAAM,UAAU,MAAM,cAAc,cACpC,aAAa,QAAQ,iBACrB,WAAW,IAAI,MAAM,SAAS,KAC9B,CAAC,YAAY,MAAM,QAAQ,OAAO,GAElC,OAAO,OAAO,MAAM,WAAW,eAAe;EAEhD,WAAW,IAAI,MAAM,SAAS;EAC9B,WAAW,MAAM;CACnB;AACF,CAAC;AAED,MAAM,UAAU,MAA6B,UAAyC;CACpF,MAAM,WAAW,KAAK,KAAK,YAAY,IAAI,KAAK,CAAC;CACjD,MAAM,YAAY,KAAK,KAAK,YAAY,KAAK,KAAK,CAAC;CACnD,IAAI,QAAQ;CAEZ,KAAK,IAAI,QAAQ,GAAG,QAAQ,KAAK,QAAQ,SACvC,SAAU,KAAK,SAAS,YAAa,MAAM,SAAS;CAEtD,MAAM,UAAU,KAAK,IAAI,IAAI,KAAK,IAAI,GAAG,KAAK,CAAC;CAE/C,OAAO,YAAY,IAAI,IAAI;AAC7B;AAEA,MAAM,eAAe,MAAc,UACjC,OAAO,QAAQ,KAAK,OAAO,QAAQ,IAAI;AAEzC,MAAM,YAAY,OAAO,GAAG,4BAA4B,CAAC,CAAC,WACxD,YACA,aACA;CACA,MAAM,UAAU,OAAO,OACrB,sBAAsB,KAAK,EACzB,GAAI,OAAO,eACT,uBACA,YACA,iCACF,EACF,CAAC,CACH;CAEA,MAAM,WAAW,OAAO,eACtB,+BACA,aACA,iCACF;CAEA,IAAI,SAAS,YAAY,QAAQ,aAAa,2BAC5C,OAAO,OAAO,MAAM,mCAAmC,eAAe;CAExE,MAAM,iBAAiB,SAAS,kBAAkB;CAClD,MAAM,OAAO,OAAO,IAAI,KAAgB;EAAE,QAAQ;EAAO,yBAAS,IAAI,IAAI;EAAG,aAAa;CAAE,CAAC;CAE7F,OAAO,OAAO,mBACZ,IAAI,IAAI,MAAM;EAAE,QAAQ;EAAM,yBAAS,IAAI,IAAI;EAAG,aAAa;CAAE,CAAC,CACpE;CAEA,MAAM,aAAa,OAAO,GAAG,kCAAkC,CAAC,CAAC,WAAW,WAAmB;EAC7F,KAAK,OAAO,IAAI,IAAI,IAAI,EAAA,CAAG,QAAQ,OAAO,OAAO,MAAM,WAAW,aAAa;CACjF,CAAC;CAED,MAAM,UAAqD,OAAO,GAChE,+BACF,CAAC,CAAC,WAAW,YAAY;EACvB,MAAM,YAAY;EAElB,OAAO,WAAW,SAAS;EAC3B,MAAM,UAAU,OAAO,eAAe,uBAAuB,MAAM,YAAY,SAAS;EACxF,MAAM,SAAS,aAAa,QAAQ,MAAM;EAC1C,MAAM,cAAc,oBAAoB,MAAM;EAC9C,MAAM,SAAS,OAAO,OAAO,QAAQ,OAAO,IAAI,WAAW,CAAC;EAE5D,IAAI,OAAO,OAAO,OAAO,OAAO,IAAI,IAAI,OAAO,OAAO,MAAM,WAAW,eAAe;EACtF,IAAI,CAAC,YAAY,QAAQ,SAAS,OAAO,GAAG,OAAO,OAAO,MAAM,WAAW,cAAc;EACzF,OAAO,eAAe,QAAQ,SAAS,SAAS;EAChD,MAAM,YAAY,OAAO,MAAM;EAE/B,MAAM,UAAU,OAAO,IAAI,OACzB,OACC,YAAgE;GAC/D,IAAI,QAAQ,QAAQ,OAAO,CAAC,MAAM,WAAW,aAAa,GAAG,OAAO;GACpE,MAAM,KAAK,UAAU,OAAO,GAAG;GAC/B,MAAM,WAAW,QAAQ,QAAQ,IAAI,EAAE;GAEvC,IACE,aAAa,KAAA,MACZ,SAAS,SAAS,eAAe,eAAe,QAAQ,QAAQ,IAEjE,OAAO,CAAC,MAAM,WAAW,QAAQ,GAAG,OAAO;GAE7C,IAAI,aAAa,KAAA,KAAa,QAAQ,QAAQ,QAAQ,SAAS,YAC7D,OAAO,CAAC,MAAM,WAAW,QAAQ,GAAG,OAAO;GAE7C,MAAM,kBAAkB,QAAQ,eAAe,UAAU,eAAe,KAAK;GAE7E,IAAI,kBAAkB,gBAAgB,OAAO,CAAC,MAAM,WAAW,QAAQ,GAAG,OAAO;GACjF,IAAI,QAAQ,OAAO;GAEnB,KAAK,MAAM,CAAC,SAAS,UAAU,QAAQ,SACrC,IAAI,YAAY,MAAM,MAAM,SAAS,WAAW,SAAS,MAAM,OAAO;GAExE,IAAI,QAAQ,SAAS,WAAW,OAAO,CAAC,MAAM,WAAW,QAAQ,GAAG,OAAO;GAC3E,MAAM,UAAU,IAAI,IAAI,QAAQ,OAAO;GAEvC,QAAQ,IAAI,IAAI;IAAE,MAAM;IAAW;IAAQ;IAAa;IAAQ;GAAU,CAAC;GAE3E,OAAO,CAAC,KAAA,GAAW;IAAE,GAAG;IAAS;IAAS,aAAa;GAAgB,CAAC;EAC1E,CACF;EAEA,IAAI,YAAY,KAAA,GAAW,OAAO,OAAO;CAC3C,CAAC;CAED,MAAM,WAAuD,OAAO,GAClE,gCACF,CAAC,CAAC,WAAW,WAAW;EACtB,MAAM,YAAY;EAElB,OAAO,WAAW,SAAS;EAE3B,MAAM,SAAS,aACb,OAAO,eAAe,kBAAkB,MAAM,WAAW,SAAS,CACpE;EAEA,MAAM,cAAc,oBAAoB,MAAM;EAE9C,IAAI,OAAO,OAAO,OAAO,OAAO,IAAI,IAAI,OAAO,OAAO,MAAM,WAAW,eAAe;EAEtF,MAAM,UAAU,OAAO,IAAI,OACzB,OACC,YAAgE;GAC/D,IAAI,QAAQ,QAAQ,OAAO,CAAC,MAAM,WAAW,aAAa,GAAG,OAAO;GACpE,MAAM,KAAK,UAAU,OAAO,GAAG;GAC/B,MAAM,WAAW,QAAQ,QAAQ,IAAI,EAAE;GAEvC,IAAI,aAAa,KAAA,GAAW;IAC1B,IAAI,SAAS,SAAS,aACpB,OAAO,CACL,WAAW,QAAQ,SAAS,MAAM,IAAI,KAAA,IAAY,MAAM,WAAW,QAAQ,GAC3E,OACF;IAEF,IAAI,eAAe,QAAQ,QAAQ,GAAG,OAAO,CAAC,MAAM,WAAW,QAAQ,GAAG,OAAO;GACnF,OAAO,IAAI,QAAQ,QAAQ,QAAQ,SAAS,YAC1C,OAAO,CAAC,MAAM,WAAW,QAAQ,GAAG,OAAO;GAE7C,MAAM,kBAAkB,QAAQ,eAAe,UAAU,eAAe,KAAK;GAE7E,IAAI,kBAAkB,gBAAgB,OAAO,CAAC,MAAM,WAAW,QAAQ,GAAG,OAAO;GACjF,MAAM,UAAU,IAAI,IAAI,QAAQ,OAAO;GAEvC,QAAQ,IAAI,IAAI;IAAE,MAAM;IAAa;IAAQ;GAAY,CAAC;GAE1D,OAAO,CAAC,KAAA,GAAW;IAAE,GAAG;IAAS;IAAS,aAAa;GAAgB,CAAC;EAC1E,CACF;EAEA,IAAI,YAAY,KAAA,GAAW,OAAO,OAAO;CAC3C,CAAC;CAED,MAAM,SAAS,OAAO,GAAG,8BAA8B,CAAC,CAAC,WAAW,UAA4B;EAC9F,MAAM,YAAY;EAElB,OAAO,WAAW,SAAS;EAC3B,MAAM,QAAQ,OAAO,eAAe,iBAAiB,MAAM,UAAU,SAAS;EAC9E,MAAM,SAAS,OAAO,OAAO,CAAC,GAAG,MAAM,MAAM,CAAC;EAE9C,IAAI,CAAC,YAAY,QAAQ,OAAO,GAAG,OAAO,OAAO,MAAM,WAAW,eAAe;EACjF,MAAM,UAAU,OAAO,IAAI,IAAI,IAAI;EAEnC,IAAI,QAAQ,QAAQ,OAAO,OAAO,MAAM,WAAW,aAAa;EAChE,IAAI,gBAAgB;EACpB,IAAI,mBAAmB;EACvB,MAAM,aAA0C,CAAC;EAEjD,KAAK,MAAM,SAAS,QAAQ,QAAQ,OAAO,GAAG;GAC5C,oBAAoB;GACpB,IAAI,mBAAmB,QAAQ,GAAG,OAAO,OAAO;GAChD,IACE,MAAM,OAAO,IAAI,UAAU,YAAY,MAAM,UAAU,WACvD,MAAM,SAAS,WAEf;GACF,iBAAiB,MAAM,OAAO;GAC9B,IAAI,gBAAgB,MAAM,kBAAkB,OAAO,OAAO,MAAM,WAAW,QAAQ;EACrF;EACA,KAAK,MAAM,SAAS,QAAQ,QAAQ,OAAO,GAAG;GAC5C,IACE,MAAM,OAAO,IAAI,UAAU,YAAY,MAAM,UAAU,WACvD,MAAM,SAAS,WAEf;GACF,OAAO,OAAO;GACd,KAAK,MAAM,SAAS,MAAM,QAAQ;IAChC,MAAM,QAAQ,OAAO,QAAQ,MAAM,MAAM;IAEzC,IAAI,QAAQ,MAAM,UAAU;IAC5B,WAAW,KACT,qBAAqB,KAAK;KACxB,GAAG,MAAM;KACT,WAAW,MAAM;KACjB,SAAS,MAAM;KACf,WAAW,MAAM;KACjB,SAAS,MAAM;KACf,MAAM,MAAM;KACZ;KACA,WAAW,MAAM;IACnB,CAAC,CACH;GACF;EACF;EACA,WAAW,MACR,MAAM,UACL,MAAM,QAAQ,KAAK,SACnB,YAAY,KAAK,IAAI,IAAI,MAAM,IAAI,EAAE,KACrC,YAAY,KAAK,OAAO,UAAU,MAAM,OAAO,QAAQ,KACvD,KAAK,UAAU,MAAM,OACzB;EACA,OAAO,WAAW,SAAS;EAE3B,OAAO,kBAAkB,KAAK;GAAE,YAAY,WAAW,MAAM,GAAG,MAAM,KAAK;GAAG;EAAc,CAAC;CAC/F,CAAC;CAED,OAAO,oBAAoB,YAAY;EAAE;EAAS;EAAS;EAAU;CAAO,CAAC;AAC/E,CAAC;;AAGD,MAAa,8BACX,SACA,aAEA,MAAM,OAAO,qBAAqB,UAAU,SAAS,QAAQ,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import { Effect, Layer, Option } from "effect";
|
|
2
|
+
import { SubmissionLedger } from "@effect-agent/thread/SubmissionLedger";
|
|
3
|
+
declare namespace MemorySubmissionLedger_d_exports {
|
|
4
|
+
export { MemorySubmissionLedgerLive, MemorySubmissionLedgerOptions, memorySubmissionLedgerLayer };
|
|
5
|
+
}
|
|
6
|
+
/** Construction options for the in-memory reference SubmissionLedger. */
|
|
7
|
+
interface MemorySubmissionLedgerOptions {
|
|
8
|
+
/**
|
|
9
|
+
* Test-only fault seam for `resolveAdmission` (SUB-031): when the effect yields a reason,
|
|
10
|
+
* the resolution answers `Indeterminate` with it instead of consulting the store — modelling
|
|
11
|
+
* an authoritative child owner that is temporarily unreachable. `Option.none()` restores the
|
|
12
|
+
* store-derived answer. Ledger state is never mutated by the fault.
|
|
13
|
+
*/
|
|
14
|
+
readonly resolveAdmissionFault?: Effect.Effect<Option.Option<string>>;
|
|
15
|
+
}
|
|
16
|
+
/**
|
|
17
|
+
* In-memory reference SubmissionLedger Layer (durability `non-durable`). All state lives in one
|
|
18
|
+
* `Ref` owned by the Layer's Scope; no daemon fibers are spawned and no wall clock is consulted.
|
|
19
|
+
*/
|
|
20
|
+
declare const memorySubmissionLedgerLayer: (options?: MemorySubmissionLedgerOptions) => Layer.Layer<SubmissionLedger>;
|
|
21
|
+
declare const MemorySubmissionLedgerLive: Layer.Layer<SubmissionLedger>;
|
|
22
|
+
//#endregion
|
|
23
|
+
export { MemorySubmissionLedgerLive, MemorySubmissionLedgerOptions, memorySubmissionLedgerLayer, MemorySubmissionLedger_d_exports as t };
|
|
24
|
+
//# sourceMappingURL=MemorySubmissionLedger.d.mts.map
|