@namzu/sdk 20.4.0 → 21.1.0

package/dist/store/run/conformance.js

@@ -0,0 +1,451 @@
+/**
+ * The checkpoint-store contract, as a suite a host can run against its own
+ * backend.
+ *
+ * ## Why this ships rather than staying a test
+ *
+ * {@link import('./checkpoint-memory.js').InMemoryCheckpointStore} says in its
+ * own doc comment that it is "the reference a host reads when writing a
+ * backend of its own". That claim was unbacked, and the cost of it was not
+ * hypothetical: the two shipped stores disagreed at the enforcement point —
+ * the in-memory one accepted a write from a holder that had been superseded
+ * and then released around, the disk one refused it — and the class documented
+ * as the reference was the one carrying the defect. Reading a reference cannot
+ * tell you that. Running it can.
+ *
+ * The rules below are the ones a claim depends on and no type can state:
+ * exclusivity, expiry, that a superseded write is refused, and that a listing
+ * answers for the tenant it was asked about and no other. Those are exactly
+ * the points at which the two built-in implementations already diverged.
+ *
+ * ## Why it takes its runner as an argument
+ *
+ * `describe`, `it` and `expect` come in through
+ * {@link CheckpointStoreConformanceOptions}. The suite therefore imports no
+ * test framework, `@namzu/sdk` gains no test dependency from publishing it,
+ * and a host on a different runner can still run it by handing over three
+ * functions of the shapes below.
+ *
+ * It also buys the one property that separates this file from decoration: a
+ * caller can pass a *recording* `describe`/`it` and run the whole contract as
+ * ordinary code, which is how `conformance-fails-a-wrong-store.test.ts`
+ * establishes that a deliberately broken store fails it.
+ *
+ * ## Consuming it
+ *
+ * See `docs/sdk/runtime/checkpoint-store-conformance.md`. In short:
+ *
+ * ```typescript
+ * import { describe, expect, it } from 'your-runner'
+ * import { defineCheckpointStoreConformance } from '@namzu/sdk/testing'
+ *
+ * defineCheckpointStoreConformance({
+ *   describe, it, expect,
+ *   label: 'my-backend',
+ *   contractVersion: 1,
+ *   capabilities: { claims: true, listing: true, multiTenant: true },
+ *   makeStore: (binding) => ({ store: new MyStore(binding) }),
+ * })
+ * ```
+ *
+ * ## The assertions are public API
+ *
+ * Once a host wires this in, every assertion below is something their build
+ * fails on. Adding one is therefore a breaking change for them even though it
+ * adds no export — so a new rule arrives behind a raised
+ * {@link CHECKPOINT_STORE_CONTRACT_VERSION} and a `major`, and the version
+ * check is what turns "your backend silently satisfies an older, smaller
+ * contract" into a named failure.
+ */
+import { claimRun, listDurableRuns, releaseRun } from './listing.js';
+/**
+ * Which revision of the contract the assertions in this file express.
+ *
+ * A host DECLARES the version it wrote its backend against, as a literal in
+ * its own test file, and the suite's first case compares the two. Re-exporting
+ * this constant into that slot defeats the check — the point is that the
+ * number is frozen in the host's source at the moment they wrote the backend,
+ * so upgrading `@namzu/sdk` past a contract revision fails with a sentence
+ * naming both numbers instead of a scatter of assertion failures whose common
+ * cause is not obvious.
+ *
+ * Raised only together with a `major`, and only when an assertion is ADDED or
+ * TIGHTENED. Adding a case behind a new optional capability flag does not
+ * raise it: a host that does not declare the capability never runs the case.
+ */
+export const CHECKPOINT_STORE_CONTRACT_VERSION = 1;
+/** The tenant/project/session every case addresses unless it needs a second. */
+const BINDING = {
+    tenantId: 'tnt_conformance',
+    projectId: 'prj_conformance',
+    sessionId: 'ses_conformance',
+};
+/** A tenant no backend under test holds runs for. */
+const FOREIGN_TENANT = 'tnt_conformance_other';
+/** Fixed instant, so every expiry in a case is judged against one clock. */
+const NOW = 5_000_000;
+const NO_COST = {
+    inputCostPer1M: 0,
+    outputCostPer1M: 0,
+    totalCost: 0,
+    cacheDiscount: 0,
+};
+let checkpointSeq = 0;
+function checkpoint(runId) {
+    checkpointSeq += 1;
+    return {
+        id: `cp_conformance_${checkpointSeq}`,
+        runId: runId,
+        iteration: 1,
+        messages: [],
+        tokenUsage: {
+            promptTokens: 1,
+            completionTokens: 1,
+            totalTokens: 2,
+            cachedTokens: 0,
+            cacheWriteTokens: 0,
+        },
+        costInfo: NO_COST,
+        guardState: { iterationCount: 1, elapsedMs: 1 },
+        createdAt: NOW,
+    };
+}
+function runScope(binding, runId = 'run_conformance_a') {
+    return { ...binding, runId: runId };
+}
+/**
+ * Assert that `call` rejected with a message matching `pattern`.
+ *
+ * Written against `toMatch` rather than a runner's `rejects` helper so the
+ * suite needs no matcher beyond the four on {@link ConformanceAssertion}. A
+ * call that RESOLVES yields a sentence saying so, which is the diagnostic that
+ * matters: the failure this whole file exists for is a write that was accepted
+ * when it should have been refused.
+ */
+async function expectRejection(expect, call, pattern) {
+    let message = '<the call resolved; no rejection was raised>';
+    try {
+        await call();
+    }
+    catch (error) {
+        message = error instanceof Error ? error.message : String(error);
+    }
+    expect(message).toMatch(pattern);
+}
+/**
+ * Register the checkpoint-store contract against one backend.
+ *
+ * Call it once per backend. It registers cases through the supplied `describe`
+ * and `it`; it does not run them.
+ */
+export function defineCheckpointStoreConformance(options) {
+    const { describe, it, expect, capabilities, makeStore } = options;
+    const label = options.label ?? 'checkpoint store';
+    /**
+     * Run `body` against a store built for this case alone.
+     *
+     * `finally`, so a failing assertion still disposes — a suite that leaks a
+     * temp directory per failure makes a red run expensive to iterate on, and
+     * an expensive red run is one people stop running.
+     */
+    const withStore = (body) => async () => {
+        const handle = await makeStore(BINDING);
+        try {
+            await body(handle.store);
+        }
+        finally {
+            await handle.dispose?.();
+        }
+    };
+    describe(`${label} conformance`, () => {
+        it('declares the contract revision this suite implements', async () => {
+            // First case on purpose. When it fails, every case below it is
+            // answering a different contract than the backend was written for,
+            // and reading their failures as defects would send a host chasing
+            // bugs that are really a version skew.
+            //
+            // Both numbers ride in the COMPARED VALUES rather than in a
+            // sentence, because a runner truncates a long actual when it builds
+            // the failure message — measured, on the first draft of this, at 37
+            // characters, which cut off the very numbers the case exists to
+            // report. The guidance that would not fit lives on
+            // `CHECKPOINT_STORE_CONTRACT_VERSION`, which is where a reader of
+            // this failure is being sent anyway.
+            expect(`checkpoint-store contract v${options.contractVersion}`).toBe(`checkpoint-store contract v${CHECKPOINT_STORE_CONTRACT_VERSION}`);
+        });
+        if (capabilities.claims) {
+            describe('claim exclusivity', () => {
+                it('gives the run to the first taker and refuses the second', withStore(async (store) => {
+                    const first = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 60_000,
+                        now: NOW,
+                    });
+                    const second = await claimRun(store, runScope(BINDING), {
+                        holder: 'w2',
+                        ttlMs: 60_000,
+                        now: NOW,
+                    });
+                    expect(first?.holder).toBe('w1');
+                    // `null`, not a throw: two readers on one queue is the
+                    // ordinary case, and an exception would make the normal
+                    // outcome look like a fault.
+                    expect(second).toBe(null);
+                }));
+                it('advances the fence on renewal, so a stalled twin cannot write', withStore(async (store) => {
+                    const first = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 1_000,
+                        now: NOW,
+                    });
+                    const renewed = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 60_000,
+                        now: NOW + 500,
+                    });
+                    // Renewal and reclamation are one operation and both
+                    // advance. A renewal that kept the fence would leave any
+                    // duplicate of the holder — a retried job, a
+                    // double-scheduled pod — able to write with the number it
+                    // captured before.
+                    expect(renewed?.fence).toBeGreaterThan(first?.fence);
+                }));
+                it('refuses a lease with no duration', withStore(async (store) => {
+                    // A lease that expires immediately is a lease every worker
+                    // can take at once, which is the condition the call exists
+                    // to prevent.
+                    await expectRejection(expect, () => claimRun(store, runScope(BINDING), { holder: 'w1', ttlMs: 0, now: NOW }), /positive number of milliseconds/);
+                }));
+            });
+            describe('claim expiry', () => {
+                it('lets a later worker take a run whose holder went away', withStore(async (store) => {
+                    const first = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 1_000,
+                        now: NOW,
+                    });
+                    const second = await claimRun(store, runScope(BINDING), {
+                        holder: 'w2',
+                        ttlMs: 60_000,
+                        now: NOW + 2_000,
+                    });
+                    // A lock held by a dead process is held forever. The expiry
+                    // is the whole difference between a lease and a wedged run.
+                    expect(second?.holder).toBe('w2');
+                    expect(second?.fence).toBeGreaterThan(first?.fence);
+                }));
+                it('returns the run to the queue when its holder releases', withStore(async (store) => {
+                    const claim = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 60_000,
+                        now: NOW,
+                    });
+                    await releaseRun(store, runScope(BINDING), claim?.fence);
+                    const next = await claimRun(store, runScope(BINDING), {
+                        holder: 'w2',
+                        ttlMs: 60_000,
+                        now: NOW + 1,
+                    });
+                    expect(next?.holder).toBe('w2');
+                }));
+                it('releases only on the fence that currently holds it', withStore(async (store) => {
+                    const first = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 1_000,
+                        now: NOW,
+                    });
+                    await claimRun(store, runScope(BINDING), {
+                        holder: 'w2',
+                        ttlMs: 60_000,
+                        now: NOW + 2_000,
+                    });
+                    // A worker that stalled past its lease must not be able to
+                    // hand away a run somebody else is now holding.
+                    await releaseRun(store, runScope(BINDING), first?.fence);
+                    const third = await claimRun(store, runScope(BINDING), {
+                        holder: 'w3',
+                        ttlMs: 60_000,
+                        now: NOW + 3_000,
+                    });
+                    expect(third).toBe(null);
+                }));
+            });
+            describe('fenced-out writes', () => {
+                it('lets the current holder keep writing', withStore(async (store) => {
+                    const claim = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 60_000,
+                        now: NOW,
+                    });
+                    await store.writeCheckpoint(runScope(BINDING), checkpoint('run_conformance_a'), claim?.fence);
+                    const written = await store.listCheckpoints(runScope(BINDING));
+                    expect(written.length).toBe(1);
+                }));
+                it('still accepts an unfenced write on a claimed run', withStore(async (store) => {
+                    await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 60_000,
+                        now: NOW,
+                    });
+                    // A host that adopts claims on one worker must not break the
+                    // workers that have not adopted them yet. Refusing here would
+                    // make the capability impossible to roll out incrementally.
+                    await store.writeCheckpoint(runScope(BINDING), checkpoint('run_conformance_a'));
+                    const written = await store.listCheckpoints(runScope(BINDING));
+                    expect(written.length).toBe(1);
+                }));
+                it('fences the stalled holder out at the moment it writes', withStore(async (store) => {
+                    const first = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 1_000,
+                        now: NOW,
+                    });
+                    await claimRun(store, runScope(BINDING), {
+                        holder: 'w2',
+                        ttlMs: 60_000,
+                        now: NOW + 2_000,
+                    });
+                    // `w1` believes it still holds the run. It cannot know
+                    // otherwise: a long pause, a suspended container and a
+                    // partition all look from the inside like time not passing.
+                    // The write is the only place it can be told, and this is
+                    // that place.
+                    await expectRejection(expect, () => store.writeCheckpoint(runScope(BINDING), checkpoint('run_conformance_a'), first?.fence), /no longer holds it/);
+                }));
+                it('still refuses a superseded fence after the new holder releases', withStore(async (store) => {
+                    // The silent one, and the case on which the two built-in
+                    // stores actually disagreed. Not a duplicate write — a LOST
+                    // one.
+                    //
+                    // w1 stalls at its fence. w2 reclaims, does the work, and
+                    // releases cleanly, which is the documented
+                    // `finally { releaseRun() }`. w1 then wakes believing it
+                    // still holds the run and writes. If that write is accepted,
+                    // its checkpoint carries a fresh `createdAt`, sorts newest,
+                    // and the next resume restores w1's stale history — so w2's
+                    // completed work vanishes with no error anywhere.
+                    const stale = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 1_000,
+                        now: NOW,
+                    });
+                    const live = await claimRun(store, runScope(BINDING), {
+                        holder: 'w2',
+                        ttlMs: 60_000,
+                        now: NOW + 2_000,
+                    });
+                    await releaseRun(store, runScope(BINDING), live?.fence);
+                    await expectRejection(expect, () => store.writeCheckpoint(runScope(BINDING), checkpoint('run_conformance_a'), stale?.fence), /no longer holds it/);
+                }));
+                it('refuses the fence its own holder just released', withStore(async (store) => {
+                    // The same hole one step shorter, and the one that pins the
+                    // release itself rather than a reclaim before it. A holder
+                    // that gives a run back has given up the right to write to
+                    // it; nothing else took the run in between, so only the
+                    // release can be what refuses this.
+                    const claim = await claimRun(store, runScope(BINDING), {
+                        holder: 'w1',
+                        ttlMs: 60_000,
+                        now: NOW,
+                    });
+                    await releaseRun(store, runScope(BINDING), claim?.fence);
+                    await expectRejection(expect, () => store.writeCheckpoint(runScope(BINDING), checkpoint('run_conformance_a'), claim?.fence), /no longer holds it/);
+                }));
+            });
+        }
+        if (capabilities.listing) {
+            describe('listing scope isolation', () => {
+                it('answers nothing for a tenant it does not hold', withStore(async (store) => {
+                    await store.writeCheckpoint(runScope(BINDING, 'run_conformance_a'), checkpoint('run_conformance_a'));
+                    const foreign = await listDurableRuns(store, { tenantId: FOREIGN_TENANT });
+                    // A listing is SCOPED, not addressed: another tenant is a
+                    // question this store has no rows for. Leaking one row here
+                    // is the whole of a cross-tenant read.
+                    expect(foreign.entries.map((e) => e.runId)).toEqual([]);
+                }));
+                it('answers nothing for a project it does not hold', withStore(async (store) => {
+                    await store.writeCheckpoint(runScope(BINDING, 'run_conformance_a'), checkpoint('run_conformance_a'));
+                    const foreign = await listDurableRuns(store, {
+                        tenantId: BINDING.tenantId,
+                        projectId: 'prj_conformance_other',
+                    });
+                    expect(foreign.entries.map((e) => e.runId)).toEqual([]);
+                }));
+                it('refuses a listing scope with a hole in it', withStore(async (store) => {
+                    // `{ tenantId, sessionId }` reads as "that session under
+                    // whichever project holds it". A flat backend can answer it
+                    // and a hierarchical one cannot, so answering differently per
+                    // backend is the one thing this contract exists to prevent.
+                    await expectRejection(expect, () => listDurableRuns(store, {
+                        tenantId: BINDING.tenantId,
+                        sessionId: BINDING.sessionId,
+                    }), /contiguous prefix|without `projectId`/);
+                }));
+                it('rebuilds an addressable row for every run it holds', withStore(async (store) => {
+                    await store.writeCheckpoint(runScope(BINDING, 'run_conformance_a'), checkpoint('run_conformance_a'));
+                    await store.writeCheckpoint(runScope(BINDING, 'run_conformance_b'), checkpoint('run_conformance_b'));
+                    const page = await listDurableRuns(store, { tenantId: BINDING.tenantId });
+                    expect(page.entries.map((e) => e.runId)).toEqual([
+                        'run_conformance_a',
+                        'run_conformance_b',
+                    ]);
+                    // A row that cannot be turned back into a scope is a report,
+                    // not a work queue.
+                    expect(page.entries.map((e) => e.tenantId)).toEqual([
+                        BINDING.tenantId,
+                        BINDING.tenantId,
+                    ]);
+                    expect(page.entries.map((e) => e.sessionId)).toEqual([
+                        BINDING.sessionId,
+                        BINDING.sessionId,
+                    ]);
+                }));
+                if (capabilities.multiTenant) {
+                    it('keeps one tenant’s runs out of another tenant’s listing', withStore(async (store) => {
+                        await store.writeCheckpoint(runScope(BINDING, 'run_conformance_a'), checkpoint('run_conformance_a'));
+                        await store.writeCheckpoint({
+                            tenantId: FOREIGN_TENANT,
+                            projectId: BINDING.projectId,
+                            sessionId: BINDING.sessionId,
+                            runId: 'run_conformance_z',
+                        }, checkpoint('run_conformance_z'));
+                        const mine = await listDurableRuns(store, { tenantId: BINDING.tenantId });
+                        expect(mine.entries.map((e) => e.runId)).toEqual(['run_conformance_a']);
+                        const theirs = await listDurableRuns(store, { tenantId: FOREIGN_TENANT });
+                        expect(theirs.entries.map((e) => e.runId)).toEqual(['run_conformance_z']);
+                    }));
+                }
+                if (capabilities.claims) {
+                    it('shows the queue reader which runs nobody holds', withStore(async (store) => {
+                        for (const id of ['run_conformance_a', 'run_conformance_b', 'run_conformance_c'])
+                            await store.writeCheckpoint(runScope(BINDING, id), checkpoint(id));
+                        await claimRun(store, runScope(BINDING, 'run_conformance_a'), {
+                            holder: 'w1',
+                            ttlMs: 60_000,
+                            now: NOW,
+                        });
+                        await claimRun(store, runScope(BINDING, 'run_conformance_b'), {
+                            holder: 'w1',
+                            ttlMs: 1_000,
+                            now: NOW,
+                        });
+                        const free = await listDurableRuns(store, { tenantId: BINDING.tenantId }, { claimed: false, now: NOW + 2_000 });
+                        // `run_conformance_b`'s holder is gone. An expired claim
+                        // counts as unheld, or a dead worker's runs stay invisible
+                        // forever — the failure the lease exists to prevent,
+                        // reintroduced by the filter that reads it.
+                        expect(free.entries.map((e) => e.runId)).toEqual([
+                            'run_conformance_b',
+                            'run_conformance_c',
+                        ]);
+                        const taken = await listDurableRuns(store, { tenantId: BINDING.tenantId }, { claimed: true, now: NOW + 2_000 });
+                        expect(taken.entries.map((e) => e.runId)).toEqual(['run_conformance_a']);
+                        expect(taken.entries[0]?.claim?.holder).toBe('w1');
+                        expect(taken.entries[0]?.claim?.expired).toBe(false);
+                    }));
+                }
+            });
+        }
+    });
+}
+//# sourceMappingURL=conformance.js.map

package/dist/store/run/conformance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance.js","sourceRoot":"","sources":["../../../src/store/run/conformance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAMH,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAEpE;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,CAAA;AAqFlD,gFAAgF;AAChF,MAAM,OAAO,GAA2B;IACvC,QAAQ,EAAE,iBAA6B;IACvC,SAAS,EAAE,iBAA8B;IACzC,SAAS,EAAE,iBAA8B;CACzC,CAAA;AAED,qDAAqD;AACrD,MAAM,cAAc,GAAG,uBAAmC,CAAA;AAE1D,4EAA4E;AAC5E,MAAM,GAAG,GAAG,SAAS,CAAA;AAErB,MAAM,OAAO,GAAa;IACzB,cAAc,EAAE,CAAC;IACjB,eAAe,EAAE,CAAC;IAClB,SAAS,EAAE,CAAC;IACZ,aAAa,EAAE,CAAC;CAChB,CAAA;AAED,IAAI,aAAa,GAAG,CAAC,CAAA;AAErB,SAAS,UAAU,CAAC,KAAa;IAChC,aAAa,IAAI,CAAC,CAAA;IAClB,OAAO;QACN,EAAE,EAAE,kBAAkB,aAAa,EAAkB;QACrD,KAAK,EAAE,KAAc;QACrB,SAAS,EAAE,CAAC;QACZ,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE;YACX,YAAY,EAAE,CAAC;YACf,gBAAgB,EAAE,CAAC;YACnB,WAAW,EAAE,CAAC;YACd,YAAY,EAAE,CAAC;YACf,gBAAgB,EAAE,CAAC;SACnB;QACD,QAAQ,EAAE,OAAO;QACjB,UAAU,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;QAC/C,SAAS,EAAE,GAAG;KACd,CAAA;AACF,CAAC;AAED,SAAS,QAAQ,CAAC,OAA+B,EAAE,KAAK,GAAG,mBAAmB;IAC7E,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,CAAA;AAC7C,CAAC;AAED;;;;;;;;GAQG;AACH,KAAK,UAAU,eAAe,CAC7B,MAAyB,EACzB,IAA4B,EAC5B,OAAe;IAEf,IAAI,OAAO,GAAG,8CAA8C,CAAA;IAC5D,IAAI,CAAC;QACJ,MAAM,IAAI,EAAE,CAAA;IACb,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACjE,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;AACjC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gCAAgC,CAAC,OAA0C;IAC1F,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,GAAG,OAAO,CAAA;IACjE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,kBAAkB,CAAA;IAEjD;;;;;;OAMG;IACH,MAAM,SAAS,GAAG,CAAC,IAA+C,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE;QACjF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,CAAA;QACvC,IAAI,CAAC;YACJ,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACzB,CAAC;gBAAS,CAAC;YACV,MAAM,MAAM,CAAC,OAAO,EAAE,EAAE,CAAA;QACzB,CAAC;IACF,CAAC,CAAA;IAED,QAAQ,CAAC,GAAG,KAAK,cAAc,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACrE,+DAA+D;YAC/D,mEAAmE;YACnE,kEAAkE;YAClE,uCAAuC;YACvC,EAAE;YACF,4DAA4D;YAC5D,oEAAoE;YACpE,oEAAoE;YACpE,gEAAgE;YAChE,mDAAmD;YACnD,kEAAkE;YAClE,qCAAqC;YACrC,MAAM,CAAC,8BAA8B,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,IAAI,CACnE,8BAA8B,iCAAiC,EAAE,CACjE,CAAA;QACF,CAAC,CAAC,CAAA;QAEF,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;YACzB,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;gBAClC,EAAE,CACD,yDAAyD,EACzD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACvD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBAEF,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAChC,uDAAuD;oBACvD,wDAAwD;oBACxD,6BAA6B;oBAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC1B,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,+DAA+D,EAC/D,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,KAAK;wBACZ,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACxD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG,GAAG,GAAG;qBACd,CAAC,CAAA;oBAEF,qDAAqD;oBACrD,yDAAyD;oBACzD,6CAA6C;oBAC7C,0DAA0D;oBAC1D,mBAAmB;oBACnB,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,KAAe,CAAC,CAAA;gBAC/D,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,kCAAkC,EAClC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,2DAA2D;oBAC3D,2DAA2D;oBAC3D,cAAc;oBACd,MAAM,eAAe,CACpB,MAAM,EACN,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAC9E,iCAAiC,CACjC,CAAA;gBACF,CAAC,CAAC,CACF,CAAA;YACF,CAAC,CAAC,CAAA;YAEF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;gBAC7B,EAAE,CACD,uDAAuD,EACvD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,KAAK;wBACZ,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACvD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG,GAAG,KAAK;qBAChB,CAAC,CAAA;oBAEF,4DAA4D;oBAC5D,4DAA4D;oBAC5D,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBACjC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,KAAe,CAAC,CAAA;gBAC9D,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,uDAAuD,EACvD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAe,CAAC,CAAA;oBAElE,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACrD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG,GAAG,CAAC;qBACZ,CAAC,CAAA;oBACF,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAChC,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,oDAAoD,EACpD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,KAAK;wBACZ,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACxC,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG,GAAG,KAAK;qBAChB,CAAC,CAAA;oBAEF,2DAA2D;oBAC3D,gDAAgD;oBAChD,MAAM,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAe,CAAC,CAAA;oBAElE,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG,GAAG,KAAK;qBAChB,CAAC,CAAA;oBACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACzB,CAAC,CAAC,CACF,CAAA;YACF,CAAC,CAAC,CAAA;YAEF,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;gBAClC,EAAE,CACD,sCAAsC,EACtC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,KAAK,CAAC,eAAe,CAC1B,QAAQ,CAAC,OAAO,CAAC,EACjB,UAAU,CAAC,mBAAmB,CAAC,EAC/B,KAAK,EAAE,KAAK,CACZ,CAAA;oBACD,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;oBAC9D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAC/B,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,kDAAkD,EAClD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACxC,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,6DAA6D;oBAC7D,8DAA8D;oBAC9D,4DAA4D;oBAC5D,MAAM,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAA;oBAC/E,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;oBAC9D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAC/B,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,uDAAuD,EACvD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,KAAK;wBACZ,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACxC,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG,GAAG,KAAK;qBAChB,CAAC,CAAA;oBAEF,uDAAuD;oBACvD,uDAAuD;oBACvD,4DAA4D;oBAC5D,0DAA0D;oBAC1D,cAAc;oBACd,MAAM,eAAe,CACpB,MAAM,EACN,GAAG,EAAE,CACJ,KAAK,CAAC,eAAe,CACpB,QAAQ,CAAC,OAAO,CAAC,EACjB,UAAU,CAAC,mBAAmB,CAAC,EAC/B,KAAK,EAAE,KAAK,CACZ,EACF,oBAAoB,CACpB,CAAA;gBACF,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,gEAAgE,EAChE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,yDAAyD;oBACzD,4DAA4D;oBAC5D,OAAO;oBACP,EAAE;oBACF,0DAA0D;oBAC1D,4CAA4C;oBAC5C,yDAAyD;oBACzD,6DAA6D;oBAC7D,4DAA4D;oBAC5D,4DAA4D;oBAC5D,kDAAkD;oBAClD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,KAAK;wBACZ,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACrD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG,GAAG,KAAK;qBAChB,CAAC,CAAA;oBACF,MAAM,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAe,CAAC,CAAA;oBAEjE,MAAM,eAAe,CACpB,MAAM,EACN,GAAG,EAAE,CACJ,KAAK,CAAC,eAAe,CACpB,QAAQ,CAAC,OAAO,CAAC,EACjB,UAAU,CAAC,mBAAmB,CAAC,EAC/B,KAAK,EAAE,KAAK,CACZ,EACF,oBAAoB,CACpB,CAAA;gBACF,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,gDAAgD,EAChD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,4DAA4D;oBAC5D,2DAA2D;oBAC3D,2DAA2D;oBAC3D,wDAAwD;oBACxD,oCAAoC;oBACpC,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;wBACtD,MAAM,EAAE,IAAI;wBACZ,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,GAAG;qBACR,CAAC,CAAA;oBACF,MAAM,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAe,CAAC,CAAA;oBAElE,MAAM,eAAe,CACpB,MAAM,EACN,GAAG,EAAE,CACJ,KAAK,CAAC,eAAe,CACpB,QAAQ,CAAC,OAAO,CAAC,EACjB,UAAU,CAAC,mBAAmB,CAAC,EAC/B,KAAK,EAAE,KAAK,CACZ,EACF,oBAAoB,CACpB,CAAA;gBACF,CAAC,CAAC,CACF,CAAA;YACF,CAAC,CAAC,CAAA;QACH,CAAC;QAED,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC;YAC1B,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;gBACxC,EAAE,CACD,+CAA+C,EAC/C,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,CAAC,eAAe,CAC1B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,EACtC,UAAU,CAAC,mBAAmB,CAAC,CAC/B,CAAA;oBAED,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAA;oBAC1E,0DAA0D;oBAC1D,4DAA4D;oBAC5D,uCAAuC;oBACvC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;gBACxD,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,gDAAgD,EAChD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,CAAC,eAAe,CAC1B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,EACtC,UAAU,CAAC,mBAAmB,CAAC,CAC/B,CAAA;oBAED,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE;wBAC5C,QAAQ,EAAE,OAAO,CAAC,QAAQ;wBAC1B,SAAS,EAAE,uBAAoC;qBAC/C,CAAC,CAAA;oBACF,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;gBACxD,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,2CAA2C,EAC3C,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,yDAAyD;oBACzD,4DAA4D;oBAC5D,8DAA8D;oBAC9D,4DAA4D;oBAC5D,MAAM,eAAe,CACpB,MAAM,EACN,GAAG,EAAE,CACJ,eAAe,CAAC,KAAK,EAAE;wBACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;wBAC1B,SAAS,EAAE,OAAO,CAAC,SAAS;qBAC5B,CAAC,EACH,uCAAuC,CACvC,CAAA;gBACF,CAAC,CAAC,CACF,CAAA;gBAED,EAAE,CACD,oDAAoD,EACpD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACzB,MAAM,KAAK,CAAC,eAAe,CAC1B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,EACtC,UAAU,CAAC,mBAAmB,CAAC,CAC/B,CAAA;oBACD,MAAM,KAAK,CAAC,eAAe,CAC1B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,EACtC,UAAU,CAAC,mBAAmB,CAAC,CAC/B,CAAA;oBAED,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAA;oBACzE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;wBAChD,mBAAmB;wBACnB,mBAAmB;qBACnB,CAAC,CAAA;oBACF,6DAA6D;oBAC7D,oBAAoB;oBACpB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;wBACnD,OAAO,CAAC,QAAQ;wBAChB,OAAO,CAAC,QAAQ;qBAChB,CAAC,CAAA;oBACF,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;wBACpD,OAAO,CAAC,SAAS;wBACjB,OAAO,CAAC,SAAS;qBACjB,CAAC,CAAA;gBACH,CAAC,CAAC,CACF,CAAA;gBAED,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC;oBAC9B,EAAE,CACD,yDAAyD,EACzD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;wBACzB,MAAM,KAAK,CAAC,eAAe,CAC1B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,EACtC,UAAU,CAAC,mBAAmB,CAAC,CAC/B,CAAA;wBACD,MAAM,KAAK,CAAC,eAAe,CAC1B;4BACC,QAAQ,EAAE,cAAc;4BACxB,SAAS,EAAE,OAAO,CAAC,SAAS;4BAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;4BAC5B,KAAK,EAAE,mBAA4B;yBACnC,EACD,UAAU,CAAC,mBAAmB,CAAC,CAC/B,CAAA;wBAED,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAA;wBACzE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAA;wBAEvE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAA;wBACzE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAA;oBAC1E,CAAC,CAAC,CACF,CAAA;gBACF,CAAC;gBAED,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;oBACzB,EAAE,CACD,gDAAgD,EAChD,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;wBACzB,KAAK,MAAM,EAAE,IAAI,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,mBAAmB,CAAC;4BAC/E,MAAM,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAA;wBAEnE,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,EAAE;4BAC7D,MAAM,EAAE,IAAI;4BACZ,KAAK,EAAE,MAAM;4BACb,GAAG,EAAE,GAAG;yBACR,CAAC,CAAA;wBACF,MAAM,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,EAAE;4BAC7D,MAAM,EAAE,IAAI;4BACZ,KAAK,EAAE,KAAK;4BACZ,GAAG,EAAE,GAAG;yBACR,CAAC,CAAA;wBAEF,MAAM,IAAI,GAAG,MAAM,eAAe,CACjC,KAAK,EACL,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAC9B,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,KAAK,EAAE,CACpC,CAAA;wBACD,yDAAyD;wBACzD,2DAA2D;wBAC3D,qDAAqD;wBACrD,4CAA4C;wBAC5C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;4BAChD,mBAAmB;4BACnB,mBAAmB;yBACnB,CAAC,CAAA;wBAEF,MAAM,KAAK,GAAG,MAAM,eAAe,CAClC,KAAK,EACL,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAC9B,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,KAAK,EAAE,CACnC,CAAA;wBACD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAA;wBACxE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBAClD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;oBACrD,CAAC,CAAC,CACF,CAAA;gBACF,CAAC;YACF,CAAC,CAAC,CAAA;QACH,CAAC;IACF,CAAC,CAAC,CAAA;AACH,CAAC"}

package/dist/store/run/disk.d.ts

@@ -1,6 +1,6 @@
 import type { CheckpointId, IterationCheckpoint } from '../../types/hitl/index.js';
-import type { Run, RunEvent, RunStoreConfig } from '../../types/run/index.js';
-import type { CompletedToolRecord, RunStore } from '../../types/run/store.js';
+import type { PersistedRunEvent, Run, RunEvent, RunStoreConfig } from '../../types/run/index.js';
+import type { CompletedToolRecord, ReadRunEventsOptions, RunStore } from '../../types/run/store.js';
 /**
  * One finished tool call, recovered from the transcript.
  *
@@ -18,6 +18,7 @@ export declare class RunDiskStore implements RunStore {
     private requireInit;
     initRun(runId: string, parentRunId?: string): Promise<string>;
     appendEvent(event: RunEvent): Promise<void>;
+    readEvents(options?: ReadRunEventsOptions): Promise<readonly PersistedRunEvent[]>;
     /**
      * Every tool call this run has already finished, keyed by `toolUseId`.
      *
@@ -74,6 +75,33 @@ export declare class RunDiskStore implements RunStore {
     }>>;
     addToIndex(run: Run): Promise<void>;
 }
+/**
+ * Every durable event under one run directory, oldest first.
+ *
+ * A free function for the same reason {@link readCheckpointsIn} is one: a
+ * caller catching up on a run this process never started would otherwise have
+ * to bind a {@link RunDiskStore} to read it, and binding one CREATES the
+ * directory. A read that mints an empty run directory then answers "no events"
+ * is indistinguishable from a run that genuinely has none.
+ *
+ * ## Unsequenced lines take their position
+ *
+ * A transcript written before events were numbered carries no `seq` at all.
+ * Numbering those lines by their 1-based position is what keeps their evidence
+ * reachable: a legacy run of five lines reads back as 1..5, seeds the emitter
+ * at 5, and its next event is 6 — continuous, and stable on every later read.
+ * Skipping them instead would erase a run's whole history from a catch-up, and
+ * synthesising nothing at all would put the emitter back at 1 on top of a log
+ * that already has five entries.
+ *
+ * A damaged line is skipped rather than refused, which is the one place this
+ * differs from the checkpoint reader next door, and deliberately: a checkpoint
+ * is read to RESUME from, so a damaged one must stop the resume, while the
+ * transcript is read to REPORT from, and dropping every event after a torn line
+ * would be a larger loss than the torn line itself. The position count still
+ * advances over it, so the numbering of the events after it is unchanged.
+ */
+export declare function readRunEventsIn(runDir: string, options?: ReadRunEventsOptions): Promise<readonly PersistedRunEvent[]>;
 /**
  * Every checkpoint stored under one run directory, ascending by `createdAt`.
  *

package/dist/store/run/disk.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"disk.d.ts","sourceRoot":"","sources":["../../../src/store/run/disk.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AAClF,OAAO,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAC7E,OAAO,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAe7E;;;;;;GAMG;AACH,YAAY,EAAE,mBAAmB,EAAE,CAAA;AAEnC,qBAAa,YAAa,YAAW,QAAQ;IAC5C,OAAO,CAAC,OAAO,CAAQ;IACvB,OAAO,CAAC,MAAM,CAAsB;IACpC,OAAO,CAAC,GAAG,CAAQ;IACnB,OAAO,CAAC,SAAS,CAAmC;gBAExC,MAAM,EAAE,cAAc;IAKlC,OAAO,CAAC,WAAW;IAOb,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAW7D,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAWjD;;;;;;;;;;;;;;OAcG;IACG,kBAAkB,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IA0C/D,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;IA2BrC,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;IAKtC,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IASnD,SAAS,IAAI,MAAM,GAAG,IAAI;IAIpB,eAAe,CAAC,UAAU,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC;IAc/D,cAAc,CAAC,YAAY,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAW/E,eAAe,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;IAIjD,gBAAgB,CAAC,YAAY,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IASjE;;;;;;;;;;;;;;;;;;;;;;OAsBG;WACU,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAC9C,KAAK,CAAC;QACL,EAAE,EAAE,MAAM,CAAA;QACV,SAAS,EAAE,MAAM,CAAA;QACjB,MAAM,EAAE,MAAM,CAAA;QACd,SAAS,EAAE,MAAM,CAAA;QACjB,OAAO,CAAC,EAAE,MAAM,CAAA;KAChB,CAAC,CACF;IAWK,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;CA8CzC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAsB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAiBtF"}
+{"version":3,"file":"disk.d.ts","sourceRoot":"","sources":["../../../src/store/run/disk.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AAClF,OAAO,KAAK,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAChG,OAAO,KAAK,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAenG;;;;;;GAMG;AACH,YAAY,EAAE,mBAAmB,EAAE,CAAA;AAEnC,qBAAa,YAAa,YAAW,QAAQ;IAC5C,OAAO,CAAC,OAAO,CAAQ;IACvB,OAAO,CAAC,MAAM,CAAsB;IACpC,OAAO,CAAC,GAAG,CAAQ;IACnB,OAAO,CAAC,SAAS,CAAmC;gBAExC,MAAM,EAAE,cAAc;IAKlC,OAAO,CAAC,WAAW;IAOb,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAY7D,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAW3C,UAAU,CAAC,OAAO,CAAC,EAAE,oBAAoB,GAAG,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC;IAIvF;;;;;;;;;;;;;;OAcG;IACG,kBAAkB,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IA0C/D,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;IA2BrC,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;IAKtC,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IASnD,SAAS,IAAI,MAAM,GAAG,IAAI;IAIpB,eAAe,CAAC,UAAU,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC;IAc/D,cAAc,CAAC,YAAY,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAW/E,eAAe,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;IAIjD,gBAAgB,CAAC,YAAY,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IASjE;;;;;;;;;;;;;;;;;;;;;;OAsBG;WACU,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAC9C,KAAK,CAAC;QACL,EAAE,EAAE,MAAM,CAAA;QACV,SAAS,EAAE,MAAM,CAAA;QACjB,MAAM,EAAE,MAAM,CAAA;QACd,SAAS,EAAE,MAAM,CAAA;QACjB,OAAO,CAAC,EAAE,MAAM,CAAA;KAChB,CAAC,CACF;IAWK,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;CA8CzC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,eAAe,CACpC,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,oBAAoB,GAC5B,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAwCvC;AA8BD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAsB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAiBtF"}

package/dist/store/run/disk.js

@@ -35,6 +35,7 @@ export class RunDiskStore {
             this.runDir = join(this.baseDir, runId);
         }
         await mkdir(this.runDir, { recursive: true });
+        await healTornTranscript(this.runDir);
         this.log.info(`Run directory created: ${this.runDir}`);
         return this.runDir;
     }
@@ -46,6 +47,9 @@ export class RunDiskStore {
         })}\n`;
         await appendFile(join(dir, 'transcript.jsonl'), line, 'utf-8');
     }
+    async readEvents(options) {
+        return readRunEventsIn(this.requireInit(), options);
+    }
     /**
      * Every tool call this run has already finished, keyed by `toolUseId`.
      *
@@ -261,6 +265,103 @@ export class RunDiskStore {
         }
     }
 }
+/**
+ * Every durable event under one run directory, oldest first.
+ *
+ * A free function for the same reason {@link readCheckpointsIn} is one: a
+ * caller catching up on a run this process never started would otherwise have
+ * to bind a {@link RunDiskStore} to read it, and binding one CREATES the
+ * directory. A read that mints an empty run directory then answers "no events"
+ * is indistinguishable from a run that genuinely has none.
+ *
+ * ## Unsequenced lines take their position
+ *
+ * A transcript written before events were numbered carries no `seq` at all.
+ * Numbering those lines by their 1-based position is what keeps their evidence
+ * reachable: a legacy run of five lines reads back as 1..5, seeds the emitter
+ * at 5, and its next event is 6 — continuous, and stable on every later read.
+ * Skipping them instead would erase a run's whole history from a catch-up, and
+ * synthesising nothing at all would put the emitter back at 1 on top of a log
+ * that already has five entries.
+ *
+ * A damaged line is skipped rather than refused, which is the one place this
+ * differs from the checkpoint reader next door, and deliberately: a checkpoint
+ * is read to RESUME from, so a damaged one must stop the resume, while the
+ * transcript is read to REPORT from, and dropping every event after a torn line
+ * would be a larger loss than the torn line itself. The position count still
+ * advances over it, so the numbering of the events after it is unchanged.
+ */
+export async function readRunEventsIn(runDir, options) {
+    let raw;
+    try {
+        raw = await readFile(join(runDir, 'transcript.jsonl'), 'utf-8');
+    }
+    catch (err) {
+        if (isFileNotFound(err))
+            return [];
+        throw err;
+    }
+    const sinceSeq = options?.sinceSeq ?? 0;
+    const events = [];
+    let position = 0;
+    for (const line of raw.split('\n')) {
+        if (line.length === 0)
+            continue;
+        position += 1;
+        let parsed;
+        try {
+            parsed = JSON.parse(line);
+        }
+        catch {
+            continue;
+        }
+        if (parsed === null || typeof parsed !== 'object' || typeof parsed.type !== 'string')
+            continue;
+        const seq = typeof parsed.seq === 'number' ? parsed.seq : position;
+        if (seq <= sinceSeq)
+            continue;
+        events.push({
+            ...parsed,
+            seq,
+            // Stamped by `appendEvent` since long before it was declared. A line
+            // that predates even that gets the only honest answer available:
+            // zero, which sorts before every real moment and cannot be mistaken
+            // for one.
+            timestamp: typeof parsed.timestamp === 'number' ? parsed.timestamp : 0,
+        });
+    }
+    return events;
+}
+/**
+ * Terminate a transcript whose last line was cut off mid-write.
+ *
+ * A process killed during `appendFile` leaves a fragment with no newline. The
+ * next append lands on the same line, so the fragment and a WHOLE, correct
+ * event merge into one unparsable line — and the reader skips it. The event was
+ * written, the emitter counted it as durable, and it is gone.
+ *
+ * Ending the fragment is enough. It stays unreadable and is skipped as it
+ * always was; everything appended after it survives, which is the difference
+ * between losing one event and losing one event plus the next.
+ *
+ * Called from `initRun`, which is the only moment the store knows nothing is
+ * mid-write.
+ */
+async function healTornTranscript(runDir) {
+    const path = join(runDir, 'transcript.jsonl');
+    let raw;
+    try {
+        raw = await readFile(path, 'utf-8');
+    }
+    catch (err) {
+        if (isFileNotFound(err))
+            return;
+        throw err;
+    }
+    if (raw.length === 0 || raw.endsWith('\n'))
+        return;
+    await appendFile(path, '\n', 'utf-8');
+}
 /**
  * Every checkpoint stored under one run directory, ascending by `createdAt`.
  *