@namzu/sdk 43.0.0 → 44.1.0

package/dist/store/session-log/conformance.js

@@ -0,0 +1,392 @@
+/**
+ * The session-log contract, as a suite a host runs against its own backend.
+ *
+ * A custom log (a database, an object store) is re-implemented against the
+ * `SessionLog` interface and proved against this file. It holds the rules no
+ * type can state: the chain verifies, a superseded lease cannot write, a
+ * live lease is renewed only by the instance holding it (late or not), one
+ * turn is active at a time and its state is `running`, `paused` or
+ * `interrupted`, the fold applies compactions and replacements, a large body
+ * spills and reads back, a torn tail is repaired on the record, and a flipped
+ * byte is refused.
+ *
+ * Like `store/run/conformance.ts`, which it replaces, it takes `describe`,
+ * `it` and `expect` as arguments: the SDK gains no test dependency, and a
+ * caller can pass recording functions to run the suite as ordinary code
+ * (which is how `conformance-fails-a-wrong-log.test.ts` shows a broken log
+ * fails it).
+ *
+ * The assertions are public API: adding or tightening one raises
+ * {@link SESSION_LOG_CONTRACT_VERSION} and ships in a major.
+ */
+import { isTurnInProgressError } from '../../types/session/turn.js';
+import { generateCheckpointId, generateMessageId, generateProjectId, generateSessionId, generateTurnId, } from '../../utils/id.js';
+/** The contract revision these assertions express. A host declares the one it wrote against, as a literal. */
+export const SESSION_LOG_CONTRACT_VERSION = 1;
+const NOW = 1_000_000;
+const TTL = 60_000;
+const LATER = NOW + TTL * 10;
+const USAGE = {
+    promptTokens: 10,
+    completionTokens: 5,
+    totalTokens: 15,
+    cachedTokens: 0,
+    cacheWriteTokens: 0,
+};
+const COST = { totalCost: 0.001, cacheDiscount: 0, unpricedTokens: 0 };
+const CONFIG = { model: 'conformance-model', tokenBudget: 10_000, timeoutMs: 60_000 };
+function started() {
+    return {
+        type: 'session_started',
+        projectId: generateProjectId(),
+        cwd: '/work/conformance',
+        agent: { id: 'conformance', name: 'Conformance agent' },
+    };
+}
+function message(turnId, role, text, id = generateMessageId()) {
+    return {
+        type: 'message',
+        turnId,
+        messageId: id,
+        role,
+        content: { role, content: text },
+    };
+}
+function completed(turnId, result, resultMessageId) {
+    return {
+        type: 'turn_completed',
+        turnId,
+        result,
+        stopReason: 'end_turn',
+        settlement: {
+            status: 'completed',
+            iterations: 1,
+            usage: USAGE,
+            cost: COST,
+            durationMs: 10,
+            ...(resultMessageId === undefined ? {} : { resultMessageId }),
+            resultSource: 'model',
+            abandonedTaskIds: [],
+            abandonedJobIds: [],
+        },
+    };
+}
+function turnDraft(turnId) {
+    return { turnId, userMessageId: generateMessageId(), config: CONFIG };
+}
+async function rejection(call) {
+    try {
+        await call();
+    }
+    catch (error) {
+        return error;
+    }
+    return new Error('expected a rejection, and the call resolved');
+}
+function nameOf(error) {
+    return error instanceof Error ? error.name : String(error);
+}
+/** Register the session-log contract against `options.makeLog`. */
+export function defineSessionLogConformance(options) {
+    const { describe, it, expect } = options;
+    const label = options.label ?? 'session log';
+    async function withLog(body) {
+        const sessionId = generateSessionId();
+        const handle = await options.makeLog(sessionId);
+        try {
+            await body(handle, sessionId);
+        }
+        finally {
+            await handle.dispose?.();
+        }
+    }
+    async function claimed(log, holder = 'writer-a', now = NOW) {
+        const lease = await log.claim({ holder, ttlMs: TTL, now });
+        if (lease === null)
+            throw new Error(`${holder} could not claim a fresh session`);
+        return lease;
+    }
+    async function opened(log) {
+        const lease = await claimed(log);
+        await log.append(lease, started());
+        return lease;
+    }
+    describe(`${label}: session-log contract v${SESSION_LOG_CONTRACT_VERSION}`, () => {
+        it('is tested against the contract revision it declares', async () => {
+            expect(options.contractVersion).toBe(SESSION_LOG_CONTRACT_VERSION);
+        });
+        it('starts with session_started and chains every record to the one before', async () => {
+            await withLog(async ({ log }, sessionId) => {
+                const lease = await claimed(log);
+                const early = await rejection(() => log.append(lease, message(generateTurnId(), 'user', 'x')));
+                expect(early instanceof Error).toBe(true);
+                await log.append(lease, started());
+                const turnId = generateTurnId();
+                await log.beginTurn(lease, turnDraft(turnId));
+                const answer = generateMessageId();
+                await log.append(lease, message(turnId, 'user', 'hello'));
+                await log.append(lease, message(turnId, 'assistant', 'hi', answer));
+                await log.append(lease, completed(turnId, 'hi', answer));
+                const read = await log.readAll();
+                expect(read.intact).toBe(true);
+                expect(read.entries.map((e) => e.record.seq)).toEqual([1, 2, 3, 4, 5]);
+                expect(read.entries.map((e) => e.record.type)).toEqual([
+                    'session_started',
+                    'turn_started',
+                    'message',
+                    'message',
+                    'turn_completed',
+                ]);
+                for (let i = 1; i < read.entries.length; i++) {
+                    expect(read.entries[i]?.record.prev).toEqual(read.entries[i - 1]?.pointer);
+                }
+                expect(read.entries.every((e) => e.record.gen === lease.fence)).toBe(true);
+                expect(read.entries.every((e) => e.record.sessionId === sessionId)).toBe(true);
+                const head = await log.head();
+                expect(head?.pointer).toEqual(read.entries.at(-1)?.pointer);
+            });
+        });
+        it('lets one holder write at a time and refuses a superseded lease', async () => {
+            await withLog(async (handle) => {
+                const a = await opened(handle.log);
+                const other = handle.reopen();
+                expect(await other.claim({ holder: 'writer-b', ttlMs: TTL, now: NOW + 1 })).toBe(null);
+                const b = await other.claim({ holder: 'writer-b', ttlMs: TTL, now: LATER });
+                if (b === null)
+                    throw new Error('an expired lease could not be taken');
+                expect(b.fence).toBeGreaterThan(a.fence);
+                const refused = await rejection(() => handle.log.append(a, { type: 'session_updated', title: 'late' }));
+                expect(nameOf(refused)).toBe('StaleSessionLeaseError');
+                const entry = await other.append(b, {
+                    type: 'session_updated',
+                    title: 'taken over',
+                });
+                expect(entry.record.gen).toBe(b.fence);
+                await other.release(b);
+                const afterRelease = await rejection(() => other.append(b, { type: 'session_updated', title: 'x' }));
+                expect(nameOf(afterRelease)).toBe('StaleSessionLeaseError');
+                const read = await other.readAll();
+                expect(read.intact).toBe(true);
+                expect(read.entries.length).toBe(2);
+            });
+        });
+        it('does not let a second instance take a live lease under the same holder name', async () => {
+            await withLog(async (handle) => {
+                const a = await opened(handle.log);
+                const turnId = generateTurnId();
+                await handle.log.beginTurn(a, turnDraft(turnId));
+                // The holder name is evidence, not authority: only the instance that
+                // holds the lease renews it.
+                const twin = handle.reopen();
+                expect(await twin.claim({ holder: 'writer-a', ttlMs: TTL, now: NOW + 1 })).toBe(null);
+                expect((await handle.log.activeTurn({ now: NOW + 1 }))?.state).toBe('running');
+                const entry = await handle.log.append(a, message(turnId, 'user', 'still mine'));
+                expect(entry.record.gen).toBe(a.fence);
+            });
+        });
+        it('keeps a late renewal on its fence, and its turn running, when nobody took over', async () => {
+            await withLog(async ({ log }) => {
+                const a = await opened(log);
+                const turnId = generateTurnId();
+                await log.beginTurn(a, turnDraft(turnId));
+                const renewed = await log.claim({ holder: 'writer-a', ttlMs: TTL, now: LATER });
+                if (renewed === null)
+                    throw new Error('the holder could not renew its own lease');
+                expect(renewed.fence).toBe(a.fence);
+                expect((await log.activeTurn({ now: LATER }))?.state).toBe('running');
+                const entry = await log.append(renewed, message(turnId, 'assistant', 'still running'));
+                expect(entry.record.gen).toBe(a.fence);
+            });
+        });
+        it('refuses a second turn while one is running', async () => {
+            await withLog(async ({ log }) => {
+                const lease = await opened(log);
+                const first = generateTurnId();
+                await log.beginTurn(lease, turnDraft(first));
+                for (const abandonInterrupted of [false, true]) {
+                    const error = await rejection(() => log.beginTurn(lease, turnDraft(generateTurnId()), { abandonInterrupted }));
+                    expect(isTurnInProgressError(error)).toBe(true);
+                    expect(error.state).toBe('running');
+                    expect(error.activeTurnId).toBe(first);
+                }
+                expect((await log.activeTurn({ now: NOW }))?.state).toBe('running');
+            });
+        });
+        it('refuses a turn while one is paused, and never closes a paused turn implicitly', async () => {
+            await withLog(async ({ log }) => {
+                const lease = await opened(log);
+                const first = generateTurnId();
+                await log.beginTurn(lease, turnDraft(first));
+                await log.append(lease, {
+                    type: 'turn_paused',
+                    turnId: first,
+                    reason: 'awaiting review',
+                    checkpointId: generateCheckpointId(),
+                });
+                for (const abandonInterrupted of [false, true]) {
+                    const error = await rejection(() => log.beginTurn(lease, turnDraft(generateTurnId()), { abandonInterrupted }));
+                    expect(isTurnInProgressError(error)).toBe(true);
+                    expect(error.state).toBe('paused');
+                }
+                expect((await log.activeTurn())?.state).toBe('paused');
+                const closed = await log.abandonTurn(lease, first, 'operator abandoned it');
+                expect(closed.record.type).toBe('turn_failed');
+                expect(closed.record.failure?.code).toBe('abandoned');
+                await log.beginTurn(lease, turnDraft(generateTurnId()));
+            });
+        });
+        it('refuses a turn while one is interrupted, and abandonInterrupted closes only that turn', async () => {
+            await withLog(async (handle) => {
+                const a = await opened(handle.log);
+                const first = generateTurnId();
+                await handle.log.beginTurn(a, turnDraft(first));
+                // Writer a's process is gone; its lease runs out and b takes over.
+                const next = handle.reopen();
+                const b = await claimed(next, 'writer-b', LATER);
+                expect((await next.activeTurn({ now: LATER }))?.state).toBe('interrupted');
+                const error = await rejection(() => next.beginTurn(b, turnDraft(generateTurnId())));
+                expect(isTurnInProgressError(error)).toBe(true);
+                expect(error.state).toBe('interrupted');
+                const refused = await rejection(() => next.append(b, message(first, 'user', 'more')));
+                expect(nameOf(refused)).toBe('TurnRuleError');
+                const second = generateTurnId();
+                const begun = await next.beginTurn(b, turnDraft(second), { abandonInterrupted: true });
+                expect(begun.record.turnId).toBe(second);
+                const read = await next.readAll();
+                const closing = read.entries.at(-2)?.record;
+                expect(closing.type).toBe('turn_failed');
+                expect(closing.turnId).toBe(first);
+                expect(closing.failure?.code).toBe('interrupted');
+                expect((await next.activeTurn({ now: LATER }))?.turnId).toBe(second);
+            });
+        });
+        it('folds messages across compaction and replacement', async () => {
+            await withLog(async ({ log }) => {
+                const lease = await opened(log);
+                const t1 = generateTurnId();
+                await log.beginTurn(lease, turnDraft(t1));
+                const prompt = await log.append(lease, message(t1, 'user', 'What is the password?'));
+                const answerId = generateMessageId();
+                await log.append(lease, message(t1, 'assistant', 'It is hunter2.', answerId));
+                await log.append(lease, {
+                    type: 'message_replaced',
+                    turnId: t1,
+                    targetMessageId: answerId,
+                    content: { role: 'assistant', content: 'I cannot share credentials.' },
+                    reason: 'guardrail_rewritten',
+                });
+                await log.append(lease, completed(t1, 'I cannot share credentials.', answerId));
+                expect(await log.messages()).toEqual([
+                    { role: 'user', content: 'What is the password?' },
+                    { role: 'assistant', content: 'I cannot share credentials.' },
+                ]);
+                const head = await log.head();
+                await log.append(lease, {
+                    type: 'compaction',
+                    compactionId: 'compaction-1',
+                    strategy: 'summarize',
+                    trigger: 'manual',
+                    replacesSeqRange: [prompt.record.seq, head?.pointer.seq ?? prompt.record.seq],
+                    summary: [{ role: 'system', content: 'Earlier: a refused credential request.' }],
+                    keptMessageIds: [answerId],
+                    tokensBefore: 100,
+                    tokensAfter: 20,
+                });
+                const t2 = generateTurnId();
+                await log.beginTurn(lease, turnDraft(t2));
+                await log.append(lease, message(t2, 'user', 'Thanks.'));
+                expect(await log.messages()).toEqual([
+                    { role: 'system', content: 'Earlier: a refused credential request.' },
+                    { role: 'assistant', content: 'I cannot share credentials.' },
+                    { role: 'user', content: 'Thanks.' },
+                ]);
+                expect(await log.messages({ throughSeq: prompt.record.seq })).toEqual([
+                    { role: 'user', content: 'What is the password?' },
+                ]);
+            });
+        });
+        it('spills a body too large for one record and reads it back', async () => {
+            await withLog(async ({ log }) => {
+                const lease = await opened(log);
+                const turnId = generateTurnId();
+                await log.beginTurn(lease, turnDraft(turnId));
+                const big = 'x'.repeat(5 * 1024 * 1024);
+                const entry = await log.append(lease, message(turnId, 'user', big));
+                const spill = entry.record.spill;
+                expect(spill === undefined).toBe(false);
+                expect(spill?.bytes ?? 0).toBeGreaterThan(big.length);
+                const [folded] = await log.messages();
+                expect(folded.content.length).toBe(big.length);
+                expect((await log.readAll()).intact).toBe(true);
+            });
+        });
+        it('repairs a torn tail on the record when the next writer takes the lease', async () => {
+            await withLog(async (handle) => {
+                if (handle.tamper === undefined)
+                    return;
+                const a = await opened(handle.log);
+                const turnId = generateTurnId();
+                await handle.log.beginTurn(a, turnDraft(turnId));
+                const bytes = await handle.tamper.bytes();
+                const fragment = new TextEncoder().encode('{"v":1,"type":"message","id":"cut-o');
+                const torn = new Uint8Array(bytes.byteLength + fragment.byteLength);
+                torn.set(bytes);
+                torn.set(fragment, bytes.byteLength);
+                await handle.tamper.overwrite(torn);
+                const next = handle.reopen();
+                const tolerant = await next.readAll({ mode: 'tolerant' });
+                expect(tolerant.tornBytes).toBe(fragment.byteLength);
+                await claimed(next, 'writer-b', LATER);
+                const read = await next.readAll();
+                expect(read.intact).toBe(true);
+                expect(read.tornBytes).toBe(0);
+                const repair = read.entries.at(-1)?.record;
+                expect(repair.type).toBe('log_repaired');
+                expect(repair.truncatedBytes).toBe(fragment.byteLength);
+                expect(repair.lastGoodSeq).toBe(2);
+                expect(repair.turnId).toBe(turnId);
+            });
+        });
+        it('refuses a flipped byte on a strict read, and a tolerant read stops before it', async () => {
+            await withLog(async (handle) => {
+                if (handle.tamper === undefined)
+                    return;
+                const lease = await opened(handle.log);
+                const turnId = generateTurnId();
+                await handle.log.beginTurn(lease, turnDraft(turnId));
+                await handle.log.append(lease, message(turnId, 'user', 'abcdefgh'));
+                await handle.log.append(lease, message(turnId, 'assistant', 'ijklmnop'));
+                const original = await handle.log.readAll();
+                const bytes = await handle.tamper.bytes();
+                const target = original.entries[2]?.pointer;
+                if (target === undefined)
+                    throw new Error('missing record');
+                const text = new TextDecoder().decode(bytes.subarray(target.offset, target.offset + target.length));
+                const at = target.offset + Buffer.byteLength(text.slice(0, text.indexOf('abcdefgh')));
+                const flipped = new Uint8Array(bytes);
+                flipped[at] = 'A'.charCodeAt(0);
+                await handle.tamper.overwrite(flipped);
+                const reader = handle.reopen();
+                const strict = await rejection(() => reader.readAll());
+                expect(nameOf(strict)).toBe('SessionLogIntegrityError');
+                const tolerant = await reader.readAll({ mode: 'tolerant' });
+                expect(tolerant.intact).toBe(false);
+                expect(tolerant.throughSeq).toBe(3);
+                // The tail has no successor to vouch for it; an anchor does.
+                const last = original.entries.at(-1)?.pointer;
+                if (last === undefined)
+                    throw new Error('missing record');
+                const lastText = new TextDecoder().decode(bytes.subarray(last.offset, last.offset + last.length));
+                const tail = new Uint8Array(bytes);
+                tail[last.offset + Buffer.byteLength(lastText.slice(0, lastText.indexOf('ijklmnop')))] =
+                    'Z'.charCodeAt(0);
+                await handle.tamper.overwrite(tail);
+                // Still a valid chain: nothing after the tail vouches for it.
+                expect((await handle.reopen().readAll()).intact).toBe(true);
+                const anchored = await rejection(() => handle.reopen().readAll({ expectHead: last }));
+                expect(nameOf(anchored)).toBe('SessionLogIntegrityError');
+            });
+        });
+    });
+}
+//# sourceMappingURL=conformance.js.map

package/dist/store/session-log/conformance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance.js","sourceRoot":"","sources":["../../../src/store/session-log/conformance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,EACN,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,GACd,MAAM,mBAAmB,CAAA;AAI1B,8GAA8G;AAC9G,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAA;AAwC7C,MAAM,GAAG,GAAG,SAAS,CAAA;AACrB,MAAM,GAAG,GAAG,MAAM,CAAA;AAClB,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,GAAG,EAAE,CAAA;AAE5B,MAAM,KAAK,GAAG;IACb,YAAY,EAAE,EAAE;IAChB,gBAAgB,EAAE,CAAC;IACnB,WAAW,EAAE,EAAE;IACf,YAAY,EAAE,CAAC;IACf,gBAAgB,EAAE,CAAC;CACnB,CAAA;AACD,MAAM,IAAI,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAA;AACtE,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,CAAA;AAErF,SAAS,OAAO;IACf,OAAO;QACN,IAAI,EAAE,iBAAiB;QACvB,SAAS,EAAE,iBAAiB,EAAE;QAC9B,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,mBAAmB,EAAE;KACjC,CAAA;AACxB,CAAC;AAED,SAAS,OAAO,CACf,MAAc,EACd,IAA0B,EAC1B,IAAY,EACZ,EAAE,GAAG,iBAAiB,EAAE;IAExB,OAAO;QACN,IAAI,EAAE,SAAS;QACf,MAAM;QACN,SAAS,EAAE,EAAE;QACb,IAAI;QACJ,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;KACV,CAAA;AACxB,CAAC;AAED,SAAS,SAAS,CACjB,MAAc,EACd,MAAc,EACd,eAA2B;IAE3B,OAAO;QACN,IAAI,EAAE,gBAAgB;QACtB,MAAM;QACN,MAAM;QACN,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE;YACX,MAAM,EAAE,WAAW;YACnB,UAAU,EAAE,CAAC;YACb,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,EAAE;YACd,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC;YAC7D,YAAY,EAAE,OAAO;YACrB,gBAAgB,EAAE,EAAE;YACpB,eAAe,EAAE,EAAE;SACnB;KACqB,CAAA;AACxB,CAAC;AAED,SAAS,SAAS,CAAC,MAAc;IAChC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,iBAAiB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;AACtE,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,IAA4B;IACpD,IAAI,CAAC;QACJ,MAAM,IAAI,EAAE,CAAA;IACb,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,KAAK,CAAA;IACb,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAA;AAChE,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC7B,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC3D,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,2BAA2B,CAAC,OAAqC;IAChF,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,aAAa,CAAA;IAE5C,KAAK,UAAU,OAAO,CAAC,IAAuE;QAC7F,MAAM,SAAS,GAAG,iBAAiB,EAAE,CAAA;QACrC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QAC/C,IAAI,CAAC;YACJ,MAAM,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QAC9B,CAAC;gBAAS,CAAC;YACV,MAAM,MAAM,CAAC,OAAO,EAAE,EAAE,CAAA;QACzB,CAAC;IACF,CAAC;IAED,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,MAAM,GAAG,UAAU,EAAE,GAAG,GAAG,GAAG;QACrE,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;QAC1D,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,kCAAkC,CAAC,CAAA;QAChF,OAAO,KAAK,CAAA;IACb,CAAC;IAED,KAAK,UAAU,MAAM,CAAC,GAAe;QACpC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAA;QAChC,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;QAClC,OAAO,KAAK,CAAA;IACb,CAAC;IAED,QAAQ,CAAC,GAAG,KAAK,2BAA2B,4BAA4B,EAAE,EAAE,GAAG,EAAE;QAChF,EAAE,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAA;QACnE,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;YACtF,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,EAAE;gBAC1C,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAA;gBAChC,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAClC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CACzD,CAAA;gBACD,MAAM,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACzC,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;gBAClC,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;gBAC/B,MAAM,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;gBAC7C,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAA;gBAClC,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;gBACzD,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;gBACnE,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;gBACxD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,OAAO,EAAE,CAAA;gBAChC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;gBACtE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;oBACtD,iBAAiB;oBACjB,cAAc;oBACd,SAAS;oBACT,SAAS;oBACT,gBAAgB;iBAChB,CAAC,CAAA;gBACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC9C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;gBAC3E,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC1E,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC9E,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAA;gBAC7B,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;YAC5D,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;YAC/E,MAAM,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAClC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAA;gBAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACtF,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;gBAC3E,IAAI,CAAC,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAA;gBACtE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;gBACxC,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAwB,CAAC,CACtF,CAAA;gBACD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;gBACtD,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE;oBACnC,IAAI,EAAE,iBAAiB;oBACvB,KAAK,EAAE,YAAY;iBACG,CAAC,CAAA;gBACxB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;gBACtC,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;gBACtB,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CACzC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,EAAwB,CAAC,CAC9E,CAAA;gBACD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;gBAC3D,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,EAAE,CAAA;gBAClC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACpC,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,6EAA6E,EAAE,KAAK,IAAI,EAAE;YAC5F,MAAM,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAClC,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;gBAC/B,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;gBAChD,qEAAqE;gBACrE,6BAA6B;gBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAA;gBAC5B,MAAM,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACrF,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBAC9E,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;gBAC/E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;YACvC,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;YAC/F,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;gBAC/B,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,CAAA;gBAC3B,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;gBAC/B,MAAM,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;gBACzC,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;gBAC/E,IAAI,OAAO,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;gBACjF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;gBACnC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBACrE,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC,CAAA;gBACtF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;YACvC,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;YAC3D,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;gBAC/B,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,CAAA;gBAC/B,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;gBAC9B,MAAM,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC5C,KAAK,MAAM,kBAAkB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;oBAChD,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAClC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,cAAc,EAAE,CAAC,EAAE,EAAE,kBAAkB,EAAE,CAAC,CACzE,CAAA;oBACD,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAC/C,MAAM,CAAE,KAA4B,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;oBAC3D,MAAM,CAAE,KAAmC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACtE,CAAC;gBACD,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACpE,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;YAC9F,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;gBAC/B,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,CAAA;gBAC/B,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;gBAC9B,MAAM,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC5C,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE;oBACvB,IAAI,EAAE,aAAa;oBACnB,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE,iBAAiB;oBACzB,YAAY,EAAE,oBAAoB,EAAE;iBACd,CAAC,CAAA;gBACxB,KAAK,MAAM,kBAAkB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;oBAChD,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAClC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,cAAc,EAAE,CAAC,EAAE,EAAE,kBAAkB,EAAE,CAAC,CACzE,CAAA;oBACD,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAC/C,MAAM,CAAE,KAA4B,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAC3D,CAAC;gBACD,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBACtD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,uBAAuB,CAAC,CAAA;gBAC3E,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC9C,MAAM,CAAE,MAAM,CAAC,MAAyC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;gBACzF,MAAM,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,cAAc,EAAE,CAAC,CAAC,CAAA;YACxD,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,uFAAuF,EAAE,KAAK,IAAI,EAAE;YACtG,MAAM,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAClC,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;gBAC9B,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC/C,mEAAmE;gBACnE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAA;gBAC5B,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAA;gBAChD,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC1E,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAA;gBACnF,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC/C,MAAM,CAAE,KAA4B,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC/D,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;gBACrF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;gBAC7C,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;gBAC/B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAA;gBACtF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACxC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAA;gBACjC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAIpC,CAAA;gBACD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBACxC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBAClC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBACjD,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACrE,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;YACjE,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;gBAC/B,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,CAAA;gBAC/B,MAAM,EAAE,GAAG,cAAc,EAAE,CAAA;gBAC3B,MAAM,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAA;gBACzC,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAA;gBACpF,MAAM,QAAQ,GAAG,iBAAiB,EAAE,CAAA;gBACpC,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,gBAAgB,EAAE,QAAQ,CAAC,CAAC,CAAA;gBAC7E,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE;oBACvB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,EAAE;oBACV,eAAe,EAAE,QAAQ;oBACzB,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,6BAA6B,EAAE;oBACtE,MAAM,EAAE,qBAAqB;iBACP,CAAC,CAAA;gBACxB,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,6BAA6B,EAAE,QAAQ,CAAC,CAAC,CAAA;gBAC/E,MAAM,CAAC,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC;oBACpC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,EAAE;oBAClD,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,6BAA6B,EAAE;iBAC7D,CAAC,CAAA;gBACF,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAA;gBAC7B,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE;oBACvB,IAAI,EAAE,YAAY;oBAClB,YAAY,EAAE,cAAc;oBAC5B,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,QAAQ;oBACjB,gBAAgB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;oBAC7E,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAC;oBAChF,cAAc,EAAE,CAAC,QAAQ,CAAC;oBAC1B,YAAY,EAAE,GAAG;oBACjB,WAAW,EAAE,EAAE;iBACO,CAAC,CAAA;gBACxB,MAAM,EAAE,GAAG,cAAc,EAAE,CAAA;gBAC3B,MAAM,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAA;gBACzC,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;gBACvD,MAAM,CAAC,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC;oBACpC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,wCAAwC,EAAE;oBACrE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,6BAA6B,EAAE;oBAC7D,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE;iBACpC,CAAC,CAAA;gBACF,MAAM,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;oBACrE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,EAAE;iBAClD,CAAC,CAAA;YACH,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;YACzE,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;gBAC/B,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,CAAA;gBAC/B,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;gBAC/B,MAAM,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;gBAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAA;gBACvC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;gBACnE,MAAM,KAAK,GAAI,KAAK,CAAC,MAAwC,CAAC,KAAK,CAAA;gBACnE,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACvC,MAAM,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBACrD,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAA;gBACrC,MAAM,CAAE,MAA8B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBACvE,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChD,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;YACvF,MAAM,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;oBAAE,OAAM;gBACvC,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAClC,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;gBAC/B,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;gBAChD,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAA;gBACzC,MAAM,QAAQ,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,qCAAqC,CAAC,CAAA;gBAChF,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAA;gBACnE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBACf,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;gBACpC,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;gBACnC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAA;gBAC5B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAA;gBACzD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;gBACpD,MAAM,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAA;gBACtC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAA;gBACjC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAKnC,CAAA;gBACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;gBACxC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;gBACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACnC,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;YAC7F,MAAM,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;oBAAE,OAAM;gBACvC,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBACtC,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;gBAC/B,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;gBACpD,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAA;gBACnE,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAA;gBACxE,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,CAAA;gBAC3C,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAA;gBACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAA;gBAC3C,IAAI,MAAM,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAA;gBAC3D,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CACpC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAC5D,CAAA;gBACD,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;gBACrF,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAA;gBACrC,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;gBAC/B,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;gBACtC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAA;gBAC9B,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;gBACtD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAA;gBACvD,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAA;gBAC3D,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACnC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBACnC,6DAA6D;gBAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAA;gBAC7C,IAAI,IAAI,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAA;gBACzD,MAAM,QAAQ,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CACxC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CACtD,CAAA;gBACD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAA;gBAClC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBACrF,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;gBAClB,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;gBACnC,8DAA8D;gBAC9D,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC3D,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;gBACrF,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAA;YAC1D,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;IACH,CAAC,CAAC,CAAA;AACH,CAAC"}

package/dist/store/session-log/core.d.ts

@@ -0,0 +1,203 @@
+import type { SessionId, TurnId } from '../../types/ids/index.js';
+import type { Message } from '../../types/message/index.js';
+import { type RecordPointer, type SessionRecord } from '../../types/session/records.js';
+import { type ActiveTurnState } from '../../types/session/turn.js';
+import { type LogBytes, type SessionLogEntry, SessionLogIntegrityError } from './chain.js';
+import { type ActiveTurnRecord } from './fold.js';
+import { type ClaimSessionOptions, type SessionLease, type SessionLeaseStore } from './lease.js';
+import type { SpillRef, SpillStore } from './spill.js';
+type EnvelopeKey = 'v' | 'id' | 'sessionId' | 'seq' | 'ts' | 'prev' | 'prevText' | 'gen';
+type DraftOf<R> = R extends SessionRecord ? Omit<R, EnvelopeKey> : never;
+/**
+ * A record as a caller appends it: everything but the envelope. The log
+ * assigns `v`, `id`, `sessionId`, `seq`, `ts`, `prev` and `gen`; the caller
+ * gives the `type`, the payload and, inside a turn, the `turnId`.
+ */
+export type SessionRecordDraft = DraftOf<SessionRecord>;
+/** The payload of a `turn_started` record, as `beginTurn` takes it. */
+export type TurnStartedDraft = Omit<Extract<SessionRecordDraft, {
+    type: 'turn_started';
+}>, 'type'>;
+/** The last record of a log and the log's size in bytes. */
+export interface SessionLogHead {
+    readonly pointer: RecordPointer;
+    readonly gen: number;
+    /** Bytes of the log through the head record (a torn tail is not counted). */
+    readonly bytes: number;
+}
+/** A session's active turn and its state (spec §4.5). */
+export interface ActiveTurn extends ActiveTurnRecord {
+    readonly state: ActiveTurnState;
+}
+export interface ReadSessionLogOptions {
+    /**
+     * `strict` (the default) throws {@link SessionLogIntegrityError} at the
+     * first break. `tolerant` stops there and reports `intact: false` with
+     * everything before the break.
+     */
+    readonly mode?: 'strict' | 'tolerant';
+    /** Resume after this record: its bytes are checked, then the walk continues from it. */
+    readonly after?: RecordPointer;
+    /**
+     * The record the log must hold at `expectHead.seq`, byte for byte. Anchors
+     * the tail, which no later record vouches for.
+     */
+    readonly expectHead?: RecordPointer;
+    /** Stop after this seq. */
+    readonly throughSeq?: number;
+}
+/** What a read established, returned when the walk ends. */
+export interface SessionLogReadSummary {
+    /** False when a tolerant read stopped at a break. */
+    readonly intact: boolean;
+    /** The last seq read and verified (0 for an empty log). */
+    readonly throughSeq: number;
+    readonly head: SessionLogHead | null;
+    /** Bytes after the last complete line: a torn tail, which a writer truncates. */
+    readonly tornBytes: number;
+    /** The break a tolerant read stopped at. */
+    readonly break?: SessionLogIntegrityError;
+}
+export interface SessionLogRead extends SessionLogReadSummary {
+    readonly entries: readonly SessionLogEntry[];
+}
+export interface BeginTurnOptions {
+    /**
+     * Close an `interrupted` active turn with `turn_failed{failure.code:
+     * 'interrupted'}` before beginning. A `running` or `paused` turn is never
+     * closed this way.
+     */
+    readonly abandonInterrupted?: boolean;
+}
+export interface ActiveTurnOptions {
+    /** The lease the caller holds; the default asks the store for the current one. */
+    readonly lease?: SessionLease;
+    /** Clock, for tests. */
+    readonly now?: number;
+}
+/**
+ * One session's append-only, hash-chained log: the source of truth for
+ * everything the session did (spec §4). One writer at a time holds its
+ * lease; every append presents it.
+ */
+export interface SessionLog {
+    readonly sessionId: SessionId;
+    /**
+     * Take or renew the writer lease. `null` when it is live and this instance
+     * does not hold it — whatever the holder name, so a second instance under
+     * the same name waits like any other. This instance renews its own holding
+     * under the same fence, late or not, unless somebody took the session in
+     * between. A new fence is above the log's highest `gen`. Taking it
+     * repairs a torn tail first (`log_repaired`).
+     */
+    claim(options: ClaimSessionOptions): Promise<SessionLease | null>;
+    /** Give the lease up; a stale lease releases nothing. */
+    release(lease: SessionLease): Promise<void>;
+    /** The current holding, or `null` when never claimed. */
+    lease(): Promise<SessionLease | null>;
+    /**
+     * Append one record under `lease`. Refused with
+     * {@link StaleSessionLeaseError} when the lease is not the current one,
+     * {@link TurnRuleError} when the turn rules forbid the record, and
+     * {@link InvalidSessionRecordError} when it is not a valid record. A body
+     * too large for a record is spilled first.
+     */
+    append(lease: SessionLease, draft: SessionRecordDraft): Promise<SessionLogEntry>;
+    /**
+     * Begin a turn. Throws {@link TurnInProgressError} when a turn is active
+     * (`running`, `paused` or `interrupted`), unless it is `interrupted` and
+     * `abandonInterrupted` is set.
+     */
+    beginTurn(lease: SessionLease, draft: TurnStartedDraft, options?: BeginTurnOptions): Promise<SessionLogEntry>;
+    /** Close a paused or interrupted turn with `turn_failed{failure.code:'abandoned'}`. */
+    abandonTurn(lease: SessionLease, turnId: TurnId, reason: string): Promise<SessionLogEntry>;
+    /** The active turn, if any, and whether it is running, paused or interrupted. */
+    activeTurn(options?: ActiveTurnOptions): Promise<ActiveTurn | null>;
+    head(): Promise<SessionLogHead | null>;
+    /** Walk the log, verifying the chain. Returns the summary when the walk ends. */
+    read(options?: ReadSessionLogOptions): AsyncGenerator<SessionLogEntry, SessionLogReadSummary>;
+    readAll(options?: ReadSessionLogOptions): Promise<SessionLogRead>;
+    /** The folded conversation (spec §4.5), spills read back. */
+    messages(options?: {
+        readonly throughSeq?: number;
+    }): Promise<Message[]>;
+    readSpill(ref: SpillRef): Promise<string>;
+}
+/** A draft that is not a valid session record once enveloped. */
+export declare class InvalidSessionRecordError extends Error {
+    readonly name = "InvalidSessionRecordError";
+}
+/** The log changed under a writer in a way it cannot reconcile (a concurrent writer). */
+export declare class SessionLogConflictError extends Error {
+    readonly name = "SessionLogConflictError";
+}
+/** The bytes of one log, as the disk and in-memory backends store them. */
+export interface LogMedium extends LogBytes {
+    /**
+     * Append `bytes` so they start at `expectedOffset`. Throws
+     * {@link SessionLogConflictError} if the log is not `expectedOffset` long
+     * when the write is issued, or if the bytes did not land there.
+     */
+    append(bytes: Uint8Array, expectedOffset: number, sync: boolean): Promise<void>;
+    /** Cut the log to `size` bytes, durably. Refuses if it is not `expectedSize` long. */
+    truncate(size: number, expectedSize: number): Promise<void>;
+    /** The bytes from `offset` to the end, in chunks. */
+    stream(offset: number): AsyncIterable<Uint8Array>;
+}
+export interface SessionLogCoreOptions {
+    readonly sessionId: SessionId;
+    readonly medium: LogMedium;
+    readonly leases: SessionLeaseStore;
+    readonly spills: SpillStore;
+    /** Clock for `ts` and turn timings. */
+    readonly now?: () => number;
+    /**
+     * A `message` or `compaction` record whose line would exceed this many
+     * bytes spills its body first. Default {@link SESSION_RECORD_MAX_BYTES}.
+     */
+    readonly spillAboveBytes?: number;
+    /**
+     * Which appends are fsynced. `boundaries` (the default): the records
+     * others depend on — `session_started`, the turn lifecycle, checkpoints
+     * and decisions. `all` or `none` as named.
+     */
+    readonly sync?: 'boundaries' | 'all' | 'none';
+}
+/**
+ * The log's behaviour, shared by both backends so they cannot disagree. A
+ * backend supplies the medium, the lease store and the spill store.
+ */
+export declare class SessionLogCore implements SessionLog {
+    #private;
+    readonly sessionId: SessionId;
+    constructor(options: SessionLogCoreOptions);
+    claim(options: ClaimSessionOptions): Promise<SessionLease | null>;
+    /**
+     * In write order: a release waits for the append in flight, so it never
+     * lands between a record's fence check and its bytes.
+     */
+    release(lease: SessionLease): Promise<void>;
+    lease(): Promise<SessionLease | null>;
+    append(lease: SessionLease, draft: SessionRecordDraft): Promise<SessionLogEntry>;
+    beginTurn(lease: SessionLease, draft: TurnStartedDraft, options?: BeginTurnOptions): Promise<SessionLogEntry>;
+    abandonTurn(lease: SessionLease, turnId: TurnId, reason: string): Promise<SessionLogEntry>;
+    activeTurn(options?: ActiveTurnOptions): Promise<ActiveTurn | null>;
+    head(): Promise<SessionLogHead | null>;
+    read(options?: ReadSessionLogOptions): AsyncGenerator<SessionLogEntry, SessionLogReadSummary>;
+    readAll(options?: ReadSessionLogOptions): Promise<SessionLogRead>;
+    messages(options?: {
+        readonly throughSeq?: number;
+    }): Promise<Message[]>;
+    readSpill(ref: SpillRef): Promise<string>;
+}
+/** Drain a walk into entries plus its summary. */
+export declare function collect(walk: AsyncGenerator<SessionLogEntry, SessionLogReadSummary>): Promise<SessionLogRead>;
+/**
+ * Walk a log's bytes, verifying the chain as it goes (spec §4.1). Shared by
+ * both backends and by `readSessionLog`.
+ */
+export declare function walkSessionLog(medium: Pick<LogMedium, 'size' | 'read' | 'stream'>, options: ReadSessionLogOptions & {
+    readonly sessionId?: SessionId;
+}): AsyncGenerator<SessionLogEntry, SessionLogReadSummary>;
+export {};
+//# sourceMappingURL=core.d.ts.map

package/dist/store/session-log/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../src/store/session-log/core.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACjE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EACN,KAAK,aAAa,EAGlB,KAAK,aAAa,EAElB,MAAM,gCAAgC,CAAA;AACvC,OAAO,EACN,KAAK,eAAe,EAGpB,MAAM,6BAA6B,CAAA;AAEpC,OAAO,EAEN,KAAK,QAAQ,EAEb,KAAK,eAAe,EACpB,wBAAwB,EAExB,MAAM,YAAY,CAAA;AACnB,OAAO,EACN,KAAK,gBAAgB,EAIrB,MAAM,WAAW,CAAA;AASlB,OAAO,EACN,KAAK,mBAAmB,EACxB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EAGtB,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAItD,KAAK,WAAW,GAAG,GAAG,GAAG,IAAI,GAAG,WAAW,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,GAAG,UAAU,GAAG,KAAK,CAAA;AAExF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GAAG,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG,KAAK,CAAA;AAExE;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,aAAa,CAAC,CAAA;AAEvD,uEAAuE;AACvE,MAAM,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EAAE,MAAM,CAAC,CAAA;AAElG,4DAA4D;AAC5D,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACtB;AAED,yDAAyD;AACzD,MAAM,WAAW,UAAW,SAAQ,gBAAgB;IACnD,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;CAC/B;AAED,MAAM,WAAW,qBAAqB;IACrC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAA;IACrC,wFAAwF;IACxF,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;IAC9B;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAA;IACnC,2BAA2B;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED,4DAA4D;AAC5D,MAAM,WAAW,qBAAqB;IACrC,qDAAqD;IACrD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,IAAI,CAAA;IACpC,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,4CAA4C;IAC5C,QAAQ,CAAC,KAAK,CAAC,EAAE,wBAAwB,CAAA;CACzC;AAED,MAAM,WAAW,cAAe,SAAQ,qBAAqB;IAC5D,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAA;CAC5C;AAED,MAAM,WAAW,gBAAgB;IAChC;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;CACrC;AAED,MAAM,WAAW,iBAAiB;IACjC,kFAAkF;IAClF,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAA;IAC7B,wBAAwB;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IAC1B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAE7B;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAAA;IACjE,yDAAyD;IACzD,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC3C,yDAAyD;IACzD,KAAK,IAAI,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAAA;IAErC;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAA;IAChF;;;;OAIG;IACH,SAAS,CACR,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,gBAAgB,EACvB,OAAO,CAAC,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,CAAA;IAC3B,uFAAuF;IACvF,WAAW,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAA;IAC1F,iFAAiF;IACjF,UAAU,CAAC,OAAO,CAAC,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAA;IAEnE,IAAI,IAAI,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAA;IACtC,iFAAiF;IACjF,IAAI,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,cAAc,CAAC,eAAe,EAAE,qBAAqB,CAAC,CAAA;IAC7F,OAAO,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;IACjE,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;IACxE,SAAS,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;CACzC;AAED,iEAAiE;AACjE,qBAAa,yBAA0B,SAAQ,KAAK;IACnD,SAAkB,IAAI,+BAA8B;CACpD;AAED,yFAAyF;AACzF,qBAAa,uBAAwB,SAAQ,KAAK;IACjD,SAAkB,IAAI,6BAA4B;CAClD;AAID,2EAA2E;AAC3E,MAAM,WAAW,SAAU,SAAQ,QAAQ;IAC1C;;;;OAIG;IACH,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC/E,sFAAsF;IACtF,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC3D,qDAAqD;IACrD,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;CACjD;AAED,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;IAC3B;;;OAGG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,GAAG,KAAK,GAAG,MAAM,CAAA;CAC7C;AAyCD;;;GAGG;AACH,qBAAa,cAAe,YAAW,UAAU;;IAChD,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;gBAmBjB,OAAO,EAAE,qBAAqB;IAsEpC,KAAK,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;IAkCvE;;;OAGG;IACH,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAqB3C,KAAK,IAAI,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;IAMrC,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC;IAkChF,SAAS,CACR,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,gBAAgB,EACvB,OAAO,GAAE,gBAAqB,GAC5B,OAAO,CAAC,eAAe,CAAC;IA4B3B,WAAW,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;IA8I1F,UAAU,CAAC,OAAO,GAAE,iBAAsB,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAevE,IAAI,IAAI,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC;IAStC,IAAI,CACH,OAAO,GAAE,qBAA0B,GACjC,cAAc,CAAC,eAAe,EAAE,qBAAqB,CAAC;IAInD,OAAO,CAAC,OAAO,GAAE,qBAA0B,GAAG,OAAO,CAAC,cAAc,CAAC;IAIrE,QAAQ,CAAC,OAAO,GAAE;QAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAWlF,SAAS,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;CAGzC;AAED,kDAAkD;AAClD,wBAAsB,OAAO,CAC5B,IAAI,EAAE,cAAc,CAAC,eAAe,EAAE,qBAAqB,CAAC,GAC1D,OAAO,CAAC,cAAc,CAAC,CAOzB;AAED;;;GAGG;AACH,wBAAuB,cAAc,CACpC,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC,EACnD,OAAO,EAAE,qBAAqB,GAAG;IAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAAE,GACjE,cAAc,CAAC,eAAe,EAAE,qBAAqB,CAAC,CAsGxD"}