@earendil-works/pi-agent-core 0.83.0 → 0.84.0

package/dist/harness/reducer.js

@@ -0,0 +1,415 @@
+import { Guard } from "typebox/guard";
+export class RecordLogCorruption extends Error {
+    reason;
+    constructor(reason, message) {
+        super(message);
+        this.name = "RecordLogCorruption";
+        this.reason = reason;
+    }
+}
+function corrupt(reason, message) {
+    throw new RecordLogCorruption(reason, message);
+}
+function hasRunId(record) {
+    return "runId" in record && typeof record.runId === "string";
+}
+function matchesProvisionedEntry(entry, target) {
+    const { parentId: _parentId, seq: _seq, timestamp: _timestamp, ...payload } = entry;
+    return Guard.IsDeepEqual(payload, target);
+}
+function validateExactProvisionedEntry(entriesById, target) {
+    const entry = entriesById.get(target.id);
+    if (entry && !matchesProvisionedEntry(entry, target)) {
+        corrupt("provisioned_entry_mismatch", `Provisioned entry ${target.id} exists with content different from its intent`);
+    }
+}
+function validateResultEntry(entriesById, resultEntryId, matches, description) {
+    const entry = entriesById.get(resultEntryId);
+    if (entry && !matches(entry)) {
+        corrupt("provisioned_entry_mismatch", `Provisioned ${description} entry ${resultEntryId} exists with different content`);
+    }
+}
+function validateAttemptReason(record) {
+    const reason = record.compactionReason;
+    if (record.step === "compaction") {
+        if (reason !== "manual" && reason !== "threshold" && reason !== "overflow") {
+            corrupt("invalid_compaction_reason", `Compaction attempt ${record.id} has no valid compaction reason`);
+        }
+    }
+    else if (reason !== undefined) {
+        corrupt("invalid_compaction_reason", `${record.step} attempt ${record.id} has a compaction reason`);
+    }
+}
+function validateAttemptSequence(record, previous, entriesById) {
+    const previousRecord = previous?.record;
+    const previousResult = previousRecord ? entriesById.get(previousRecord.resultEntryId) : undefined;
+    const continuesSeries = previousRecord !== undefined &&
+        previousRecord.step === record.step &&
+        (previousResult === undefined || previousResult.seq >= record.seq);
+    const expectedAttempt = continuesSeries ? previousRecord.attempt + 1 : 1;
+    if (record.attempt !== expectedAttempt) {
+        corrupt("non_consecutive_attempt", `${record.step} attempt ${record.id} is ${record.attempt}; expected ${expectedAttempt}`);
+    }
+    if (!continuesSeries || record.step === "assistant" || previousRecord === undefined)
+        return;
+    if (record.resultEntryId !== previousRecord.resultEntryId) {
+        corrupt("inconsistent_step", `${record.step} attempts disagree on their result entry id`);
+    }
+    if (record.compactionReason !== previousRecord.compactionReason) {
+        corrupt("inconsistent_step", `${record.step} attempts disagree on their compaction reason`);
+    }
+}
+function validateAttemptResult(entriesById, record) {
+    switch (record.step) {
+        case "assistant":
+            validateResultEntry(entriesById, record.resultEntryId, (entry) => entry.type === "message" && entry.message.role === "assistant", "assistant result");
+            break;
+        case "compaction":
+            validateResultEntry(entriesById, record.resultEntryId, (entry) => entry.type === "compaction", "compaction result");
+            break;
+        case "branch_summary":
+            validateResultEntry(entriesById, record.resultEntryId, (entry) => entry.type === "branch_summary", "branch-summary result");
+            break;
+    }
+}
+function validateToolStart(record, entriesById, invocations) {
+    const invocation = `${record.assistantEntryId}\u0000${record.toolIndex}`;
+    if (invocations.has(invocation)) {
+        corrupt("duplicate_tool_invocation", `Tool invocation ${record.assistantEntryId}:${record.toolIndex} is duplicated`);
+    }
+    invocations.add(invocation);
+    const assistantEntry = entriesById.get(record.assistantEntryId);
+    if (!assistantEntry || assistantEntry.type !== "message" || assistantEntry.message.role !== "assistant") {
+        corrupt("tool_call_mismatch", `Tool start ${record.id} does not reference an assistant entry`);
+    }
+    const toolCalls = assistantEntry.message.content.filter((content) => content.type === "toolCall");
+    const toolCall = toolCalls[record.toolIndex];
+    if (!toolCall || toolCall.id !== record.toolCallId || toolCall.name !== record.toolName) {
+        corrupt("tool_call_mismatch", `Tool start ${record.id} does not match its assistant tool-call ordinal`);
+    }
+    validateResultEntry(entriesById, record.resultEntryId, (entry) => entry.type === "message" &&
+        entry.message.role === "toolResult" &&
+        entry.message.toolCallId === record.toolCallId &&
+        entry.message.toolName === record.toolName, "tool result");
+}
+function validateDeferredHandles(entries) {
+    for (const entry of entries) {
+        if (entry.type === "message" &&
+            entry.message.role === "assistant" &&
+            entry.message.stopReason === "deferred" &&
+            !entry.message.deferred) {
+            corrupt("invalid_deferred_handle", `Deferred assistant entry ${entry.id} does not carry a handle`);
+        }
+    }
+}
+function validateOperationResult(entriesById, record) {
+    switch (record.intent.kind) {
+        case "run":
+            for (const target of record.intent.initialMessages)
+                validateExactProvisionedEntry(entriesById, target);
+            break;
+        case "compaction":
+            validateResultEntry(entriesById, record.intent.resultEntryId, (entry) => entry.type === "compaction", "manual compaction");
+            break;
+        case "navigation":
+            if (record.intent.summaryEntryId) {
+                validateResultEntry(entriesById, record.intent.summaryEntryId, (entry) => entry.type === "branch_summary", "navigation summary");
+            }
+            break;
+    }
+}
+/** Validates a bounded lane recovery slice without reading or mutating session state. */
+export function validateRecordLog(input) {
+    if (input.openOperations.length > 1) {
+        corrupt("multiple_open_operations", `Lane ${input.lane} has at least two open operations`);
+    }
+    const entriesById = new Map(input.entries.map((entry) => [entry.id, entry]));
+    validateDeferredHandles(entriesById.values());
+    const starts = new Map();
+    const finishedAt = new Map();
+    const abortedAt = new Map();
+    const queueEnqueues = new Map();
+    const latestAttempt = new Map();
+    const toolInvocations = new Set();
+    const records = [...input.records].sort((left, right) => left.seq - right.seq);
+    for (const record of records) {
+        if (record.type === "operation_started") {
+            starts.set(record.id, record);
+            validateOperationResult(entriesById, record);
+            continue;
+        }
+        if (hasRunId(record)) {
+            if (!starts.has(record.runId)) {
+                corrupt("unknown_operation", `Record ${record.id} references unknown operation ${record.runId}`);
+            }
+            const finishSeq = finishedAt.get(record.runId);
+            if (finishSeq !== undefined && record.seq > finishSeq) {
+                corrupt("record_after_finish", `Record ${record.id} follows the finish of operation ${record.runId}`);
+            }
+        }
+        switch (record.type) {
+            case "operation_finished":
+                finishedAt.set(record.runId, record.seq);
+                break;
+            case "abort_requested":
+                abortedAt.set(record.runId, record.seq);
+                break;
+            case "step_attempt":
+                validateAttemptReason(record);
+                validateAttemptSequence(record, latestAttempt.get(record.runId), entriesById);
+                validateAttemptResult(entriesById, record);
+                latestAttempt.set(record.runId, { record });
+                break;
+            case "tool_started":
+                validateToolStart(record, entriesById, toolInvocations);
+                break;
+            case "queue_enqueued":
+                if (record.queue !== "nextRun" &&
+                    abortedAt.get(record.runId) !== undefined &&
+                    record.seq > abortedAt.get(record.runId)) {
+                    corrupt("queue_after_abort", `${record.queue} item ${record.target.id} was enqueued after abort`);
+                }
+                queueEnqueues.set(record.target.id, record);
+                validateExactProvisionedEntry(entriesById, record.target);
+                break;
+            case "queue_cancelled": {
+                const enqueue = queueEnqueues.get(record.entryId);
+                if (!enqueue ||
+                    enqueue.seq >= record.seq ||
+                    enqueue.runId !== record.runId ||
+                    entriesById.has(record.entryId)) {
+                    corrupt("invalid_queue_cancellation", `Queue cancellation ${record.id} has no pending matching enqueue`);
+                }
+                break;
+            }
+            case "write_deferred":
+                validateExactProvisionedEntry(entriesById, record.target);
+                break;
+            case "usage":
+                break;
+        }
+    }
+}
+function clone(value) {
+    return structuredClone(value);
+}
+function bySequence(values) {
+    return [...values].sort((left, right) => left.seq - right.seq);
+}
+function deriveEffectiveConfiguration(input) {
+    let configuration = clone(input.defaults);
+    const entriesById = new Map();
+    for (const entry of [...input.configurationEntries, ...input.ownEntries])
+        entriesById.set(entry.id, entry);
+    for (const entry of bySequence([...entriesById.values()])) {
+        switch (entry.type) {
+            case "model_change":
+                configuration = { ...configuration, model: { provider: entry.provider, modelId: entry.modelId } };
+                break;
+            case "thinking_level_change":
+                configuration = { ...configuration, thinkingLevel: entry.thinkingLevel };
+                break;
+            case "active_tools_change":
+                configuration = { ...configuration, activeToolNames: [...entry.activeToolNames] };
+                break;
+            case "message":
+                if (entry.message.role === "assistant") {
+                    configuration = {
+                        ...configuration,
+                        model: { provider: entry.message.provider, modelId: entry.message.model },
+                    };
+                }
+                break;
+        }
+    }
+    return configuration;
+}
+function deriveNewestOwn(entry) {
+    if (!entry)
+        return null;
+    if (entry.type !== "message")
+        return { entryId: entry.id, type: entry.type };
+    if (entry.message.role !== "assistant") {
+        return { entryId: entry.id, type: entry.type, role: entry.message.role };
+    }
+    return {
+        entryId: entry.id,
+        type: entry.type,
+        role: entry.message.role,
+        stopReason: entry.message.stopReason,
+    };
+}
+function deriveToolBatch(operationId, records, ownEntries, entriesById, deferredWriteIds) {
+    const assistantEntry = [...ownEntries]
+        .reverse()
+        .find((entry) => entry.type === "message" &&
+        entry.message.role === "assistant" &&
+        entry.message.content.some((content) => content.type === "toolCall"));
+    if (!assistantEntry || assistantEntry.type !== "message" || assistantEntry.message.role !== "assistant")
+        return null;
+    const toolCalls = assistantEntry.message.content.filter((content) => content.type === "toolCall");
+    const starts = new Map();
+    for (const record of records) {
+        if (record.type === "tool_started" &&
+            record.runId === operationId &&
+            record.assistantEntryId === assistantEntry.id) {
+            starts.set(record.toolIndex, record);
+        }
+    }
+    const calls = toolCalls.map((toolCall, toolIndex) => {
+        const started = starts.get(toolIndex);
+        const startedResult = started ? entriesById.get(started.resultEntryId) : undefined;
+        const blockedResult = ownEntries.find((entry) => entry.seq > assistantEntry.seq &&
+            !deferredWriteIds.has(entry.id) &&
+            entry.type === "message" &&
+            entry.message.role === "toolResult" &&
+            entry.message.toolCallId === toolCall.id);
+        const result = startedResult ?? blockedResult;
+        return {
+            toolIndex,
+            toolCall: clone(toolCall),
+            ...(started ? { started: clone(started) } : {}),
+            resultExists: result !== undefined,
+            ...(result?.type === "message" && result.terminate === true ? { terminate: true } : {}),
+        };
+    });
+    return {
+        assistantEntryId: assistantEntry.id,
+        calls,
+        truncated: assistantEntry.message.stopReason === "length",
+        unresolved: calls.some((call) => !call.resultExists),
+    };
+}
+/** Purely reconstructs one lane's orchestration state from its bounded recovery inputs. */
+export function reduceLaneState(input) {
+    validateRecordLog(input);
+    const records = bySequence(input.records);
+    const ownEntries = bySequence(input.ownEntries);
+    const entriesById = new Map();
+    for (const entry of [...input.entries, ...ownEntries])
+        entriesById.set(entry.id, entry);
+    const cancelledQueueIds = new Set(records.filter((record) => record.type === "queue_cancelled").map((record) => record.entryId));
+    const pendingQueueRecords = records.filter((record) => record.type === "queue_enqueued" &&
+        !entriesById.has(record.target.id) &&
+        !cancelledQueueIds.has(record.target.id));
+    const started = input.openOperations[0];
+    const capturedInitialMessageIds = new Set(started?.intent.kind === "run" ? started.intent.initialMessages.map((target) => target.id) : []);
+    const pendingNextRun = pendingQueueRecords
+        .filter((record) => record.queue === "nextRun" && !capturedInitialMessageIds.has(record.target.id))
+        .map((record) => clone(record.target));
+    const effectiveConfiguration = deriveEffectiveConfiguration(input);
+    if (!started) {
+        return {
+            laneState: { lane: input.lane, leafId: input.leafId, operation: null, pendingNextRun },
+            effectiveConfiguration,
+            terminalFailure: null,
+        };
+    }
+    const operationRecords = records.filter((record) => record.type === "operation_started" ? record.id === started.id : "runId" in record && record.runId === started.id);
+    const aborting = operationRecords.some((record) => record.type === "abort_requested");
+    const pendingSteer = aborting
+        ? []
+        : pendingQueueRecords
+            .filter((record) => record.queue === "steer" && record.runId === started.id)
+            .map((record) => clone(record.target));
+    const pendingFollowUp = aborting
+        ? []
+        : pendingQueueRecords
+            .filter((record) => record.queue === "followUp" && record.runId === started.id)
+            .map((record) => clone(record.target));
+    const pendingWrites = operationRecords
+        .filter((record) => record.type === "write_deferred" && !entriesById.has(record.target.id))
+        .map((record) => clone(record.target));
+    const missingInitialMessages = started.intent.kind === "run"
+        ? started.intent.initialMessages.filter((target) => !entriesById.has(target.id)).map(clone)
+        : [];
+    const newestAttempt = operationRecords.filter((record) => record.type === "step_attempt").at(-1);
+    const step = newestAttempt && !entriesById.has(newestAttempt.resultEntryId)
+        ? {
+            kind: newestAttempt.step,
+            attempts: newestAttempt.attempt,
+            resultEntryId: newestAttempt.resultEntryId,
+            ...(newestAttempt.step === "compaction" ? { compactionReason: newestAttempt.compactionReason } : {}),
+        }
+        : null;
+    const consumedInputIds = new Set();
+    if (started.intent.kind === "run") {
+        for (const target of started.intent.initialMessages)
+            consumedInputIds.add(target.id);
+    }
+    for (const record of operationRecords) {
+        if (record.type === "queue_enqueued" && record.queue !== "nextRun")
+            consumedInputIds.add(record.target.id);
+    }
+    let newestConsumedInputSequence = Number.NEGATIVE_INFINITY;
+    for (const id of consumedInputIds) {
+        const entry = entriesById.get(id);
+        if (entry?.type === "message")
+            newestConsumedInputSequence = Math.max(newestConsumedInputSequence, entry.seq);
+    }
+    const overflowRecoveryUsed = operationRecords.some((record) => record.type === "step_attempt" &&
+        record.step === "compaction" &&
+        record.compactionReason === "overflow" &&
+        record.seq > newestConsumedInputSequence);
+    const newestOwnEntry = ownEntries.at(-1);
+    const newestOwn = deriveNewestOwn(newestOwnEntry);
+    const deferred = newestOwnEntry?.type === "message" &&
+        newestOwnEntry.message.role === "assistant" &&
+        newestOwnEntry.message.stopReason === "deferred" &&
+        newestOwnEntry.message.deferred
+        ? clone(newestOwnEntry.message.deferred)
+        : null;
+    const targets = {};
+    if (started.intent.kind === "compaction") {
+        targets.result = entriesById.has(started.intent.resultEntryId);
+    }
+    else if (started.intent.kind === "navigation" && started.intent.summaryEntryId) {
+        targets.summary = entriesById.has(started.intent.summaryEntryId);
+    }
+    const deferredWriteIds = new Set(operationRecords.filter((record) => record.type === "write_deferred").map((record) => record.target.id));
+    let terminalFailure = null;
+    if (newestOwnEntry?.type === "message" &&
+        newestOwnEntry.message.role === "assistant" &&
+        newestOwnEntry.message.stopReason === "error" &&
+        !deferredWriteIds.has(newestOwnEntry.id)) {
+        const producedByStep = operationRecords.some((record) => record.type === "step_attempt" && record.resultEntryId === newestOwnEntry.id);
+        const previousOwnEntry = ownEntries.at(-2);
+        const producedByDeferredFetch = operationRecords.some((record) => record.type === "usage" && record.cause === "deferred_fetch" && record.entryId === newestOwnEntry.id) ||
+            (previousOwnEntry?.type === "message" &&
+                previousOwnEntry.message.role === "assistant" &&
+                previousOwnEntry.message.stopReason === "deferred");
+        if (producedByStep || producedByDeferredFetch) {
+            terminalFailure = {
+                entryId: newestOwnEntry.id,
+                source: producedByStep ? "step" : "deferred_fetch",
+                message: clone(newestOwnEntry.message),
+            };
+        }
+    }
+    return {
+        laneState: {
+            lane: input.lane,
+            leafId: input.leafId,
+            operation: {
+                id: started.id,
+                kind: started.intent.kind,
+                intent: clone(started.intent),
+                aborting,
+                step,
+                toolBatch: deriveToolBatch(started.id, operationRecords, ownEntries, entriesById, deferredWriteIds),
+                missingInitialMessages,
+                pendingSteer,
+                pendingFollowUp,
+                pendingWrites,
+                deferred,
+                overflowRecoveryUsed,
+                newestOwn,
+                targets,
+            },
+            pendingNextRun,
+        },
+        effectiveConfiguration,
+        terminalFailure,
+    };
+}
+//# sourceMappingURL=reducer.js.map

package/dist/harness/reducer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer.js","sourceRoot":"","sources":["../../src/harness/reducer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAkCtC,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACpC,MAAM,CAA4B;IAE3C,YAAY,MAAiC,EAAE,OAAe,EAAE;QAC/D,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IAAA,CACrB;CACD;AAuFD,SAAS,OAAO,CAAC,MAAiC,EAAE,OAAe,EAAS;IAC3E,MAAM,IAAI,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAAA,CAC/C;AAED,SAAS,QAAQ,CAAC,MAAkB,EAA6E;IAChH,OAAO,OAAO,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC;AAAA,CAC7D;AAED,SAAS,uBAAuB,CAAC,KAAY,EAAE,MAAwB,EAAW;IACjF,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC;IACpF,OAAO,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAAA,CAC1C;AAED,SAAS,6BAA6B,CAAC,WAAuC,EAAE,MAAwB,EAAQ;IAC/G,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzC,IAAI,KAAK,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACtD,OAAO,CACN,4BAA4B,EAC5B,qBAAqB,MAAM,CAAC,EAAE,gDAAgD,CAC9E,CAAC;IACH,CAAC;AAAA,CACD;AAED,SAAS,mBAAmB,CAC3B,WAAuC,EACvC,aAAqB,EACrB,OAAkC,EAClC,WAAmB,EACZ;IACP,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC7C,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,CACN,4BAA4B,EAC5B,eAAe,WAAW,UAAU,aAAa,gCAAgC,CACjF,CAAC;IACH,CAAC;AAAA,CACD;AAED,SAAS,qBAAqB,CAAC,MAAyB,EAAQ;IAC/D,MAAM,MAAM,GAAI,MAAyC,CAAC,gBAAgB,CAAC;IAC3E,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;YAC5E,OAAO,CAAC,2BAA2B,EAAE,sBAAsB,MAAM,CAAC,EAAE,iCAAiC,CAAC,CAAC;QACxG,CAAC;IACF,CAAC;SAAM,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,CAAC,2BAA2B,EAAE,GAAG,MAAM,CAAC,IAAI,YAAY,MAAM,CAAC,EAAE,0BAA0B,CAAC,CAAC;IACrG,CAAC;AAAA,CACD;AAED,SAAS,uBAAuB,CAC/B,MAAyB,EACzB,QAAmC,EACnC,WAAuC,EAChC;IACP,MAAM,cAAc,GAAG,QAAQ,EAAE,MAAM,CAAC;IACxC,MAAM,cAAc,GAAG,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClG,MAAM,eAAe,GACpB,cAAc,KAAK,SAAS;QAC5B,cAAc,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QACnC,CAAC,cAAc,KAAK,SAAS,IAAI,cAAc,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,IAAI,MAAM,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACxC,OAAO,CACN,yBAAyB,EACzB,GAAG,MAAM,CAAC,IAAI,YAAY,MAAM,CAAC,EAAE,OAAO,MAAM,CAAC,OAAO,cAAc,eAAe,EAAE,CACvF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,cAAc,KAAK,SAAS;QAAE,OAAO;IAC5F,IAAI,MAAM,CAAC,aAAa,KAAK,cAAc,CAAC,aAAa,EAAE,CAAC;QAC3D,OAAO,CAAC,mBAAmB,EAAE,GAAG,MAAM,CAAC,IAAI,6CAA6C,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,KAAK,cAAc,CAAC,gBAAgB,EAAE,CAAC;QACjE,OAAO,CAAC,mBAAmB,EAAE,GAAG,MAAM,CAAC,IAAI,+CAA+C,CAAC,CAAC;IAC7F,CAAC;AAAA,CACD;AAED,SAAS,qBAAqB,CAAC,WAAuC,EAAE,MAAyB,EAAQ;IACxG,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,WAAW;YACf,mBAAmB,CAClB,WAAW,EACX,MAAM,CAAC,aAAa,EACpB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EACzE,kBAAkB,CAClB,CAAC;YACF,MAAM;QACP,KAAK,YAAY;YAChB,mBAAmB,CAClB,WAAW,EACX,MAAM,CAAC,aAAa,EACpB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,EACtC,mBAAmB,CACnB,CAAC;YACF,MAAM;QACP,KAAK,gBAAgB;YACpB,mBAAmB,CAClB,WAAW,EACX,MAAM,CAAC,aAAa,EACpB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAC1C,uBAAuB,CACvB,CAAC;YACF,MAAM;IACR,CAAC;AAAA,CACD;AAED,SAAS,iBAAiB,CACzB,MAAqD,EACrD,WAAuC,EACvC,WAAwB,EACjB;IACP,MAAM,UAAU,GAAG,GAAG,MAAM,CAAC,gBAAgB,SAAS,MAAM,CAAC,SAAS,EAAE,CAAC;IACzE,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,OAAO,CACN,2BAA2B,EAC3B,mBAAmB,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,SAAS,gBAAgB,CAC9E,CAAC;IACH,CAAC;IACD,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAE5B,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IAChE,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,SAAS,IAAI,cAAc,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzG,OAAO,CAAC,oBAAoB,EAAE,cAAc,MAAM,CAAC,EAAE,wCAAwC,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAClG,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,EAAE,KAAK,MAAM,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzF,OAAO,CAAC,oBAAoB,EAAE,cAAc,MAAM,CAAC,EAAE,iDAAiD,CAAC,CAAC;IACzG,CAAC;IAED,mBAAmB,CAClB,WAAW,EACX,MAAM,CAAC,aAAa,EACpB,CAAC,KAAK,EAAE,EAAE,CACT,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;QACnC,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;QAC9C,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAC3C,aAAa,CACb,CAAC;AAAA,CACF;AAED,SAAS,uBAAuB,CAAC,OAAwB,EAAQ;IAChE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,IACC,KAAK,CAAC,IAAI,KAAK,SAAS;YACxB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;YAClC,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,UAAU;YACvC,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EACtB,CAAC;YACF,OAAO,CAAC,yBAAyB,EAAE,4BAA4B,KAAK,CAAC,EAAE,0BAA0B,CAAC,CAAC;QACpG,CAAC;IACF,CAAC;AAAA,CACD;AAED,SAAS,uBAAuB,CAAC,WAAuC,EAAE,MAA8B,EAAQ;IAC/G,QAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5B,KAAK,KAAK;YACT,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,eAAe;gBAAE,6BAA6B,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACvG,MAAM;QACP,KAAK,YAAY;YAChB,mBAAmB,CAClB,WAAW,EACX,MAAM,CAAC,MAAM,CAAC,aAAa,EAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,EACtC,mBAAmB,CACnB,CAAC;YACF,MAAM;QACP,KAAK,YAAY;YAChB,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;gBAClC,mBAAmB,CAClB,WAAW,EACX,MAAM,CAAC,MAAM,CAAC,cAAc,EAC5B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAC1C,oBAAoB,CACpB,CAAC;YACH,CAAC;YACD,MAAM;IACR,CAAC;AAAA,CACD;AAED,yFAAyF;AACzF,MAAM,UAAU,iBAAiB,CAAC,KAAqB,EAAQ;IAC9D,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,CAAC,0BAA0B,EAAE,QAAQ,KAAK,CAAC,IAAI,mCAAmC,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7E,uBAAuB,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkC,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,EAA2D,CAAC;IACzF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;IACvD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAE/E,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC9B,uBAAuB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YAC7C,SAAS;QACV,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,mBAAmB,EAAE,UAAU,MAAM,CAAC,EAAE,iCAAiC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;YAClG,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,GAAG,SAAS,EAAE,CAAC;gBACvD,OAAO,CAAC,qBAAqB,EAAE,UAAU,MAAM,CAAC,EAAE,oCAAoC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;YACvG,CAAC;QACF,CAAC;QAED,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,oBAAoB;gBACxB,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;gBACzC,MAAM;YACP,KAAK,iBAAiB;gBACrB,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;gBACxC,MAAM;YACP,KAAK,cAAc;gBAClB,qBAAqB,CAAC,MAAM,CAAC,CAAC;gBAC9B,uBAAuB,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC;gBAC9E,qBAAqB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;gBAC3C,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACP,KAAK,cAAc;gBAClB,iBAAiB,CAAC,MAAM,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;gBACxD,MAAM;YACP,KAAK,gBAAgB;gBACpB,IACC,MAAM,CAAC,KAAK,KAAK,SAAS;oBAC1B,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS;oBACzC,MAAM,CAAC,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAE,EACxC,CAAC;oBACF,OAAO,CAAC,mBAAmB,EAAE,GAAG,MAAM,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,2BAA2B,CAAC,CAAC;gBACnG,CAAC;gBACD,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC5C,6BAA6B,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC1D,MAAM;YACP,KAAK,iBAAiB,EAAE,CAAC;gBACxB,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAClD,IACC,CAAC,OAAO;oBACR,OAAO,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG;oBACzB,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;oBAC9B,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAC9B,CAAC;oBACF,OAAO,CAAC,4BAA4B,EAAE,sBAAsB,MAAM,CAAC,EAAE,kCAAkC,CAAC,CAAC;gBAC1G,CAAC;gBACD,MAAM;YACP,CAAC;YACD,KAAK,gBAAgB;gBACpB,6BAA6B,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC1D,MAAM;YACP,KAAK,OAAO;gBACX,MAAM;QACR,CAAC;IACF,CAAC;AAAA,CACD;AAED,SAAS,KAAK,CAAI,KAAQ,EAAK;IAC9B,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAAA,CAC9B;AAED,SAAS,UAAU,CAA4B,MAAoB,EAAO;IACzE,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;AAAA,CAC/D;AAED,SAAS,4BAA4B,CAAC,KAAyB,EAA8B;IAC5F,IAAI,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,oBAAoB,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC;QAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAE3G,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,cAAc;gBAClB,aAAa,GAAG,EAAE,GAAG,aAAa,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBAClG,MAAM;YACP,KAAK,uBAAuB;gBAC3B,aAAa,GAAG,EAAE,GAAG,aAAa,EAAE,aAAa,EAAE,KAAK,CAAC,aAA8B,EAAE,CAAC;gBAC1F,MAAM;YACP,KAAK,qBAAqB;gBACzB,aAAa,GAAG,EAAE,GAAG,aAAa,EAAE,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;gBAClF,MAAM;YACP,KAAK,SAAS;gBACb,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBACxC,aAAa,GAAG;wBACf,GAAG,aAAa;wBAChB,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE;qBACzE,CAAC;gBACH,CAAC;gBACD,MAAM;QACR,CAAC;IACF,CAAC;IACD,OAAO,aAAa,CAAC;AAAA,CACrB;AAED,SAAS,eAAe,CACvB,KAAwB,EAC+C;IACvE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7E,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACxC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO;QACN,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;QACxB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU;KACpC,CAAC;AAAA,CACF;AAED,SAAS,eAAe,CACvB,WAAmB,EACnB,OAA8B,EAC9B,UAA4B,EAC5B,WAAuC,EACvC,gBAAqC,EACb;IACxB,MAAM,cAAc,GAAG,CAAC,GAAG,UAAU,CAAC;SACpC,OAAO,EAAE;SACT,IAAI,CACJ,CAAC,KAAK,EAAE,EAAE,CACT,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;QAClC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CACrE,CAAC;IACH,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,SAAS,IAAI,cAAc,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAErH,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CACtD,CAAC,OAAO,EAA4B,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAClE,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,IACC,MAAM,CAAC,IAAI,KAAK,cAAc;YAC9B,MAAM,CAAC,KAAK,KAAK,WAAW;YAC5B,MAAM,CAAC,gBAAgB,KAAK,cAAc,CAAC,EAAE,EAC5C,CAAC;YACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;IACF,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CACpC,CAAC,KAAK,EAAE,EAAE,CACT,KAAK,CAAC,GAAG,GAAG,cAAc,CAAC,GAAG;YAC9B,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,KAAK,SAAS;YACxB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;YACnC,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,CACzC,CAAC;QACF,MAAM,MAAM,GAAG,aAAa,IAAI,aAAa,CAAC;QAC9C,OAAO;YACN,SAAS;YACT,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;YACzB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,YAAY,EAAE,MAAM,KAAK,SAAS;YAClC,GAAG,CAAC,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvF,CAAC;IAAA,CACF,CAAC,CAAC;IAEH,OAAO;QACN,gBAAgB,EAAE,cAAc,CAAC,EAAE;QACnC,KAAK;QACL,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ;QACzD,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;KACpD,CAAC;AAAA,CACF;AAED,2FAA2F;AAC3F,MAAM,UAAU,eAAe,CAAC,KAAyB,EAAuB;IAC/E,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAEzB,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,UAAU,CAAC;QAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAChC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAC7F,CAAC;IACF,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CACzC,CAAC,MAAM,EAAiC,EAAE,CACzC,MAAM,CAAC,IAAI,KAAK,gBAAgB;QAChC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CACzC,CAAC;IACF,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,yBAAyB,GAAG,IAAI,GAAG,CACxC,OAAO,EAAE,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAC/F,CAAC;IACF,MAAM,cAAc,GAAG,mBAAmB;SACxC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;SAClG,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,MAAM,sBAAsB,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;IAEnE,IAAI,CAAC,OAAO,EAAE,CAAC;QACd,OAAO;YACN,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE;YACtF,sBAAsB;YACtB,eAAe,EAAE,IAAI;SACrB,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAClD,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,CACjH,CAAC;IACF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,QAAQ;QAC5B,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,mBAAmB;aAClB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,CAAC;aAC3E,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,QAAQ;QAC/B,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,mBAAmB;aAClB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,CAAC;aAC9E,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,MAAM,aAAa,GAAG,gBAAgB;SACpC,MAAM,CACN,CAAC,MAAM,EAAiC,EAAE,CACzC,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CACvE;SACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,MAAM,sBAAsB,GAC3B,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK;QAC5B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAC3F,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,IAAI,GACT,aAAa,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,aAAa,CAAC;QAC7D,CAAC,CAAC;YACA,IAAI,EAAE,aAAa,CAAC,IAAI;YACxB,QAAQ,EAAE,aAAa,CAAC,OAAO;YAC/B,aAAa,EAAE,aAAa,CAAC,aAAa;YAC1C,GAAG,CAAC,aAAa,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,aAAa,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpG;QACF,CAAC,CAAC,IAAI,CAAC;IAET,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,eAAe;YAAE,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;YAAE,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,IAAI,2BAA2B,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAC3D,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS;YAAE,2BAA2B,GAAG,IAAI,CAAC,GAAG,CAAC,2BAA2B,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,IAAI,CACjD,CAAC,MAAM,EAAE,EAAE,CACV,MAAM,CAAC,IAAI,KAAK,cAAc;QAC9B,MAAM,CAAC,IAAI,KAAK,YAAY;QAC5B,MAAM,CAAC,gBAAgB,KAAK,UAAU;QACtC,MAAM,CAAC,GAAG,GAAG,2BAA2B,CACzC,CAAC;IAEF,MAAM,cAAc,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAClD,MAAM,QAAQ,GACb,cAAc,EAAE,IAAI,KAAK,SAAS;QAClC,cAAc,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;QAC3C,cAAc,CAAC,OAAO,CAAC,UAAU,KAAK,UAAU;QAChD,cAAc,CAAC,OAAO,CAAC,QAAQ;QAC9B,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC;QACxC,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,OAAO,GAA4C,EAAE,CAAC;IAC5D,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO,CAAC,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAChE,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAClF,OAAO,CAAC,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC/B,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CACvG,CAAC;IACF,IAAI,eAAe,GAAgC,IAAI,CAAC;IACxD,IACC,cAAc,EAAE,IAAI,KAAK,SAAS;QAClC,cAAc,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;QAC3C,cAAc,CAAC,OAAO,CAAC,UAAU,KAAK,OAAO;QAC7C,CAAC,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,EACvC,CAAC;QACF,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAC3C,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,aAAa,KAAK,cAAc,CAAC,EAAE,CACxF,CAAC;QACF,MAAM,gBAAgB,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,uBAAuB,GAC5B,gBAAgB,CAAC,IAAI,CACpB,CAAC,MAAM,EAAE,EAAE,CACV,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,KAAK,gBAAgB,IAAI,MAAM,CAAC,OAAO,KAAK,cAAc,CAAC,EAAE,CACrG;YACD,CAAC,gBAAgB,EAAE,IAAI,KAAK,SAAS;gBACpC,gBAAgB,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;gBAC7C,gBAAgB,CAAC,OAAO,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QACtD,IAAI,cAAc,IAAI,uBAAuB,EAAE,CAAC;YAC/C,eAAe,GAAG;gBACjB,OAAO,EAAE,cAAc,CAAC,EAAE;gBAC1B,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB;gBAClD,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC;aACtC,CAAC;QACH,CAAC;IACF,CAAC;IAED,OAAO;QACN,SAAS,EAAE;YACV,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,SAAS,EAAE;gBACV,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;gBACzB,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAC7B,QAAQ;gBACR,IAAI;gBACJ,SAAS,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,EAAE,gBAAgB,EAAE,UAAU,EAAE,WAAW,EAAE,gBAAgB,CAAC;gBACnG,sBAAsB;gBACtB,YAAY;gBACZ,eAAe;gBACf,aAAa;gBACb,QAAQ;gBACR,oBAAoB;gBACpB,SAAS;gBACT,OAAO;aACP;YACD,cAAc;SACd;QACD,sBAAsB;QACtB,eAAe;KACf,CAAC;AAAA,CACF","sourcesContent":["import type { AssistantMessage, DeferredHandle, StopReason } from \"@earendil-works/pi-ai\";\nimport { Guard } from \"typebox/guard\";\nimport type { AgentMessage, AgentToolCall, ThinkingLevel } from \"../types.ts\";\nimport type {\n\tEntry,\n\tLaneRecord,\n\tOperationStartedRecord,\n\tProvisionedEntry,\n\tQueueEnqueuedRecord,\n\tStepAttemptRecord,\n\tToolStartedRecord,\n\tWriteDeferredRecord,\n} from \"./session/types.ts\";\n\n/**\n * Machine-readable category for a contradiction in a lane's durable recovery\n * slice. These indicate states the single-writer record protocol cannot\n * produce, not ordinary operation failures or incomplete-but-recoverable\n * intent/result prefixes. Restore must reject such states rather than repair or\n * continue it; the accompanying error message supplies human-readable detail.\n */\nexport type RecordLogCorruptionReason =\n\t| \"multiple_open_operations\"\n\t| \"unknown_operation\"\n\t| \"record_after_finish\"\n\t| \"non_consecutive_attempt\"\n\t| \"invalid_compaction_reason\"\n\t| \"queue_after_abort\"\n\t| \"invalid_queue_cancellation\"\n\t| \"inconsistent_step\"\n\t| \"tool_call_mismatch\"\n\t| \"duplicate_tool_invocation\"\n\t| \"provisioned_entry_mismatch\"\n\t| \"invalid_deferred_handle\";\n\nexport class RecordLogCorruption extends Error {\n\treadonly reason: RecordLogCorruptionReason;\n\n\tconstructor(reason: RecordLogCorruptionReason, message: string) {\n\t\tsuper(message);\n\t\tthis.name = \"RecordLogCorruption\";\n\t\tthis.reason = reason;\n\t}\n}\n\nexport interface RecordLogSlice {\n\tlane: string;\n\topenOperations: readonly OperationStartedRecord[];\n\trecords: readonly LaneRecord[];\n\t/** Operation-owned entries plus entries fetched directly by provisioned or referenced ids. */\n\tentries: readonly Entry[];\n}\n\nexport interface EffectiveLaneConfiguration {\n\tmodel: { provider: string; modelId: string };\n\tthinkingLevel: ThinkingLevel;\n\tactiveToolNames: string[];\n}\n\nexport interface TerminalFailureState {\n\tentryId: string;\n\tsource: \"step\" | \"deferred_fetch\";\n\tmessage: AssistantMessage;\n}\n\nexport interface ToolBatchState {\n\tassistantEntryId: string;\n\tcalls: {\n\t\ttoolIndex: number;\n\t\ttoolCall: AgentToolCall;\n\t\tstarted?: ToolStartedRecord;\n\t\tresultExists: boolean;\n\t\tterminate?: boolean;\n\t}[];\n\ttruncated: boolean;\n\tunresolved: boolean;\n}\n\nexport interface LaneState {\n\tlane: string;\n\tleafId: string | null;\n\toperation: null | {\n\t\tid: string;\n\t\tkind: \"run\" | \"compaction\" | \"navigation\";\n\t\tintent: OperationStartedRecord[\"intent\"];\n\t\taborting: boolean;\n\t\tstep: null | {\n\t\t\tkind: \"assistant\" | \"compaction\" | \"branch_summary\";\n\t\t\tattempts: number;\n\t\t\tresultEntryId: string;\n\t\t\tcompactionReason?: \"manual\" | \"threshold\" | \"overflow\";\n\t\t};\n\t\ttoolBatch: ToolBatchState | null;\n\t\tmissingInitialMessages: ProvisionedEntry[];\n\t\tpendingSteer: ProvisionedEntry[];\n\t\tpendingFollowUp: ProvisionedEntry[];\n\t\tpendingWrites: ProvisionedEntry[];\n\t\tdeferred: DeferredHandle | null;\n\t\toverflowRecoveryUsed: boolean;\n\t\tnewestOwn: null | {\n\t\t\tentryId: string;\n\t\t\ttype: Entry[\"type\"];\n\t\t\trole?: AgentMessage[\"role\"];\n\t\t\tstopReason?: StopReason;\n\t\t};\n\t\ttargets: { result?: boolean; summary?: boolean };\n\t};\n\tpendingNextRun: ProvisionedEntry[];\n}\n\nexport interface LaneReductionInput extends RecordLogSlice {\n\tleafId: string | null;\n\t/** Entries appended by the open operation, oldest first. Empty when idle. */\n\townEntries: readonly Entry[];\n\t/** Bounded effective-state lookups at the operation anchor or idle leaf, oldest first. */\n\tconfigurationEntries: readonly Entry[];\n\t/** Harness option fallbacks used when no persisted value exists. */\n\tdefaults: EffectiveLaneConfiguration;\n}\n\nexport interface LaneReductionResult {\n\tlaneState: LaneState;\n\teffectiveConfiguration: EffectiveLaneConfiguration;\n\tterminalFailure: TerminalFailureState | null;\n}\n\ninterface AttemptSeries {\n\trecord: StepAttemptRecord;\n}\n\nfunction corrupt(reason: RecordLogCorruptionReason, message: string): never {\n\tthrow new RecordLogCorruption(reason, message);\n}\n\nfunction hasRunId(record: LaneRecord): record is Exclude<LaneRecord, OperationStartedRecord> & { runId: string } {\n\treturn \"runId\" in record && typeof record.runId === \"string\";\n}\n\nfunction matchesProvisionedEntry(entry: Entry, target: ProvisionedEntry): boolean {\n\tconst { parentId: _parentId, seq: _seq, timestamp: _timestamp, ...payload } = entry;\n\treturn Guard.IsDeepEqual(payload, target);\n}\n\nfunction validateExactProvisionedEntry(entriesById: ReadonlyMap<string, Entry>, target: ProvisionedEntry): void {\n\tconst entry = entriesById.get(target.id);\n\tif (entry && !matchesProvisionedEntry(entry, target)) {\n\t\tcorrupt(\n\t\t\t\"provisioned_entry_mismatch\",\n\t\t\t`Provisioned entry ${target.id} exists with content different from its intent`,\n\t\t);\n\t}\n}\n\nfunction validateResultEntry(\n\tentriesById: ReadonlyMap<string, Entry>,\n\tresultEntryId: string,\n\tmatches: (entry: Entry) => boolean,\n\tdescription: string,\n): void {\n\tconst entry = entriesById.get(resultEntryId);\n\tif (entry && !matches(entry)) {\n\t\tcorrupt(\n\t\t\t\"provisioned_entry_mismatch\",\n\t\t\t`Provisioned ${description} entry ${resultEntryId} exists with different content`,\n\t\t);\n\t}\n}\n\nfunction validateAttemptReason(record: StepAttemptRecord): void {\n\tconst reason = (record as { compactionReason?: unknown }).compactionReason;\n\tif (record.step === \"compaction\") {\n\t\tif (reason !== \"manual\" && reason !== \"threshold\" && reason !== \"overflow\") {\n\t\t\tcorrupt(\"invalid_compaction_reason\", `Compaction attempt ${record.id} has no valid compaction reason`);\n\t\t}\n\t} else if (reason !== undefined) {\n\t\tcorrupt(\"invalid_compaction_reason\", `${record.step} attempt ${record.id} has a compaction reason`);\n\t}\n}\n\nfunction validateAttemptSequence(\n\trecord: StepAttemptRecord,\n\tprevious: AttemptSeries | undefined,\n\tentriesById: ReadonlyMap<string, Entry>,\n): void {\n\tconst previousRecord = previous?.record;\n\tconst previousResult = previousRecord ? entriesById.get(previousRecord.resultEntryId) : undefined;\n\tconst continuesSeries =\n\t\tpreviousRecord !== undefined &&\n\t\tpreviousRecord.step === record.step &&\n\t\t(previousResult === undefined || previousResult.seq >= record.seq);\n\tconst expectedAttempt = continuesSeries ? previousRecord.attempt + 1 : 1;\n\tif (record.attempt !== expectedAttempt) {\n\t\tcorrupt(\n\t\t\t\"non_consecutive_attempt\",\n\t\t\t`${record.step} attempt ${record.id} is ${record.attempt}; expected ${expectedAttempt}`,\n\t\t);\n\t}\n\tif (!continuesSeries || record.step === \"assistant\" || previousRecord === undefined) return;\n\tif (record.resultEntryId !== previousRecord.resultEntryId) {\n\t\tcorrupt(\"inconsistent_step\", `${record.step} attempts disagree on their result entry id`);\n\t}\n\tif (record.compactionReason !== previousRecord.compactionReason) {\n\t\tcorrupt(\"inconsistent_step\", `${record.step} attempts disagree on their compaction reason`);\n\t}\n}\n\nfunction validateAttemptResult(entriesById: ReadonlyMap<string, Entry>, record: StepAttemptRecord): void {\n\tswitch (record.step) {\n\t\tcase \"assistant\":\n\t\t\tvalidateResultEntry(\n\t\t\t\tentriesById,\n\t\t\t\trecord.resultEntryId,\n\t\t\t\t(entry) => entry.type === \"message\" && entry.message.role === \"assistant\",\n\t\t\t\t\"assistant result\",\n\t\t\t);\n\t\t\tbreak;\n\t\tcase \"compaction\":\n\t\t\tvalidateResultEntry(\n\t\t\t\tentriesById,\n\t\t\t\trecord.resultEntryId,\n\t\t\t\t(entry) => entry.type === \"compaction\",\n\t\t\t\t\"compaction result\",\n\t\t\t);\n\t\t\tbreak;\n\t\tcase \"branch_summary\":\n\t\t\tvalidateResultEntry(\n\t\t\t\tentriesById,\n\t\t\t\trecord.resultEntryId,\n\t\t\t\t(entry) => entry.type === \"branch_summary\",\n\t\t\t\t\"branch-summary result\",\n\t\t\t);\n\t\t\tbreak;\n\t}\n}\n\nfunction validateToolStart(\n\trecord: Extract<LaneRecord, { type: \"tool_started\" }>,\n\tentriesById: ReadonlyMap<string, Entry>,\n\tinvocations: Set<string>,\n): void {\n\tconst invocation = `${record.assistantEntryId}\\u0000${record.toolIndex}`;\n\tif (invocations.has(invocation)) {\n\t\tcorrupt(\n\t\t\t\"duplicate_tool_invocation\",\n\t\t\t`Tool invocation ${record.assistantEntryId}:${record.toolIndex} is duplicated`,\n\t\t);\n\t}\n\tinvocations.add(invocation);\n\n\tconst assistantEntry = entriesById.get(record.assistantEntryId);\n\tif (!assistantEntry || assistantEntry.type !== \"message\" || assistantEntry.message.role !== \"assistant\") {\n\t\tcorrupt(\"tool_call_mismatch\", `Tool start ${record.id} does not reference an assistant entry`);\n\t}\n\tconst toolCalls = assistantEntry.message.content.filter((content) => content.type === \"toolCall\");\n\tconst toolCall = toolCalls[record.toolIndex];\n\tif (!toolCall || toolCall.id !== record.toolCallId || toolCall.name !== record.toolName) {\n\t\tcorrupt(\"tool_call_mismatch\", `Tool start ${record.id} does not match its assistant tool-call ordinal`);\n\t}\n\n\tvalidateResultEntry(\n\t\tentriesById,\n\t\trecord.resultEntryId,\n\t\t(entry) =>\n\t\t\tentry.type === \"message\" &&\n\t\t\tentry.message.role === \"toolResult\" &&\n\t\t\tentry.message.toolCallId === record.toolCallId &&\n\t\t\tentry.message.toolName === record.toolName,\n\t\t\"tool result\",\n\t);\n}\n\nfunction validateDeferredHandles(entries: Iterable<Entry>): void {\n\tfor (const entry of entries) {\n\t\tif (\n\t\t\tentry.type === \"message\" &&\n\t\t\tentry.message.role === \"assistant\" &&\n\t\t\tentry.message.stopReason === \"deferred\" &&\n\t\t\t!entry.message.deferred\n\t\t) {\n\t\t\tcorrupt(\"invalid_deferred_handle\", `Deferred assistant entry ${entry.id} does not carry a handle`);\n\t\t}\n\t}\n}\n\nfunction validateOperationResult(entriesById: ReadonlyMap<string, Entry>, record: OperationStartedRecord): void {\n\tswitch (record.intent.kind) {\n\t\tcase \"run\":\n\t\t\tfor (const target of record.intent.initialMessages) validateExactProvisionedEntry(entriesById, target);\n\t\t\tbreak;\n\t\tcase \"compaction\":\n\t\t\tvalidateResultEntry(\n\t\t\t\tentriesById,\n\t\t\t\trecord.intent.resultEntryId,\n\t\t\t\t(entry) => entry.type === \"compaction\",\n\t\t\t\t\"manual compaction\",\n\t\t\t);\n\t\t\tbreak;\n\t\tcase \"navigation\":\n\t\t\tif (record.intent.summaryEntryId) {\n\t\t\t\tvalidateResultEntry(\n\t\t\t\t\tentriesById,\n\t\t\t\t\trecord.intent.summaryEntryId,\n\t\t\t\t\t(entry) => entry.type === \"branch_summary\",\n\t\t\t\t\t\"navigation summary\",\n\t\t\t\t);\n\t\t\t}\n\t\t\tbreak;\n\t}\n}\n\n/** Validates a bounded lane recovery slice without reading or mutating session state. */\nexport function validateRecordLog(input: RecordLogSlice): void {\n\tif (input.openOperations.length > 1) {\n\t\tcorrupt(\"multiple_open_operations\", `Lane ${input.lane} has at least two open operations`);\n\t}\n\n\tconst entriesById = new Map(input.entries.map((entry) => [entry.id, entry]));\n\tvalidateDeferredHandles(entriesById.values());\n\tconst starts = new Map<string, OperationStartedRecord>();\n\tconst finishedAt = new Map<string, number>();\n\tconst abortedAt = new Map<string, number>();\n\tconst queueEnqueues = new Map<string, Extract<LaneRecord, { type: \"queue_enqueued\" }>>();\n\tconst latestAttempt = new Map<string, AttemptSeries>();\n\tconst toolInvocations = new Set<string>();\n\tconst records = [...input.records].sort((left, right) => left.seq - right.seq);\n\n\tfor (const record of records) {\n\t\tif (record.type === \"operation_started\") {\n\t\t\tstarts.set(record.id, record);\n\t\t\tvalidateOperationResult(entriesById, record);\n\t\t\tcontinue;\n\t\t}\n\n\t\tif (hasRunId(record)) {\n\t\t\tif (!starts.has(record.runId)) {\n\t\t\t\tcorrupt(\"unknown_operation\", `Record ${record.id} references unknown operation ${record.runId}`);\n\t\t\t}\n\t\t\tconst finishSeq = finishedAt.get(record.runId);\n\t\t\tif (finishSeq !== undefined && record.seq > finishSeq) {\n\t\t\t\tcorrupt(\"record_after_finish\", `Record ${record.id} follows the finish of operation ${record.runId}`);\n\t\t\t}\n\t\t}\n\n\t\tswitch (record.type) {\n\t\t\tcase \"operation_finished\":\n\t\t\t\tfinishedAt.set(record.runId, record.seq);\n\t\t\t\tbreak;\n\t\t\tcase \"abort_requested\":\n\t\t\t\tabortedAt.set(record.runId, record.seq);\n\t\t\t\tbreak;\n\t\t\tcase \"step_attempt\":\n\t\t\t\tvalidateAttemptReason(record);\n\t\t\t\tvalidateAttemptSequence(record, latestAttempt.get(record.runId), entriesById);\n\t\t\t\tvalidateAttemptResult(entriesById, record);\n\t\t\t\tlatestAttempt.set(record.runId, { record });\n\t\t\t\tbreak;\n\t\t\tcase \"tool_started\":\n\t\t\t\tvalidateToolStart(record, entriesById, toolInvocations);\n\t\t\t\tbreak;\n\t\t\tcase \"queue_enqueued\":\n\t\t\t\tif (\n\t\t\t\t\trecord.queue !== \"nextRun\" &&\n\t\t\t\t\tabortedAt.get(record.runId) !== undefined &&\n\t\t\t\t\trecord.seq > abortedAt.get(record.runId)!\n\t\t\t\t) {\n\t\t\t\t\tcorrupt(\"queue_after_abort\", `${record.queue} item ${record.target.id} was enqueued after abort`);\n\t\t\t\t}\n\t\t\t\tqueueEnqueues.set(record.target.id, record);\n\t\t\t\tvalidateExactProvisionedEntry(entriesById, record.target);\n\t\t\t\tbreak;\n\t\t\tcase \"queue_cancelled\": {\n\t\t\t\tconst enqueue = queueEnqueues.get(record.entryId);\n\t\t\t\tif (\n\t\t\t\t\t!enqueue ||\n\t\t\t\t\tenqueue.seq >= record.seq ||\n\t\t\t\t\tenqueue.runId !== record.runId ||\n\t\t\t\t\tentriesById.has(record.entryId)\n\t\t\t\t) {\n\t\t\t\t\tcorrupt(\"invalid_queue_cancellation\", `Queue cancellation ${record.id} has no pending matching enqueue`);\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tcase \"write_deferred\":\n\t\t\t\tvalidateExactProvisionedEntry(entriesById, record.target);\n\t\t\t\tbreak;\n\t\t\tcase \"usage\":\n\t\t\t\tbreak;\n\t\t}\n\t}\n}\n\nfunction clone<T>(value: T): T {\n\treturn structuredClone(value);\n}\n\nfunction bySequence<T extends { seq: number }>(values: readonly T[]): T[] {\n\treturn [...values].sort((left, right) => left.seq - right.seq);\n}\n\nfunction deriveEffectiveConfiguration(input: LaneReductionInput): EffectiveLaneConfiguration {\n\tlet configuration = clone(input.defaults);\n\tconst entriesById = new Map<string, Entry>();\n\tfor (const entry of [...input.configurationEntries, ...input.ownEntries]) entriesById.set(entry.id, entry);\n\n\tfor (const entry of bySequence([...entriesById.values()])) {\n\t\tswitch (entry.type) {\n\t\t\tcase \"model_change\":\n\t\t\t\tconfiguration = { ...configuration, model: { provider: entry.provider, modelId: entry.modelId } };\n\t\t\t\tbreak;\n\t\t\tcase \"thinking_level_change\":\n\t\t\t\tconfiguration = { ...configuration, thinkingLevel: entry.thinkingLevel as ThinkingLevel };\n\t\t\t\tbreak;\n\t\t\tcase \"active_tools_change\":\n\t\t\t\tconfiguration = { ...configuration, activeToolNames: [...entry.activeToolNames] };\n\t\t\t\tbreak;\n\t\t\tcase \"message\":\n\t\t\t\tif (entry.message.role === \"assistant\") {\n\t\t\t\t\tconfiguration = {\n\t\t\t\t\t\t...configuration,\n\t\t\t\t\t\tmodel: { provider: entry.message.provider, modelId: entry.message.model },\n\t\t\t\t\t};\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t}\n\t}\n\treturn configuration;\n}\n\nfunction deriveNewestOwn(\n\tentry: Entry | undefined,\n): NonNullable<NonNullable<LaneState[\"operation\"]>[\"newestOwn\"]> | null {\n\tif (!entry) return null;\n\tif (entry.type !== \"message\") return { entryId: entry.id, type: entry.type };\n\tif (entry.message.role !== \"assistant\") {\n\t\treturn { entryId: entry.id, type: entry.type, role: entry.message.role };\n\t}\n\treturn {\n\t\tentryId: entry.id,\n\t\ttype: entry.type,\n\t\trole: entry.message.role,\n\t\tstopReason: entry.message.stopReason,\n\t};\n}\n\nfunction deriveToolBatch(\n\toperationId: string,\n\trecords: readonly LaneRecord[],\n\townEntries: readonly Entry[],\n\tentriesById: ReadonlyMap<string, Entry>,\n\tdeferredWriteIds: ReadonlySet<string>,\n): ToolBatchState | null {\n\tconst assistantEntry = [...ownEntries]\n\t\t.reverse()\n\t\t.find(\n\t\t\t(entry) =>\n\t\t\t\tentry.type === \"message\" &&\n\t\t\t\tentry.message.role === \"assistant\" &&\n\t\t\t\tentry.message.content.some((content) => content.type === \"toolCall\"),\n\t\t);\n\tif (!assistantEntry || assistantEntry.type !== \"message\" || assistantEntry.message.role !== \"assistant\") return null;\n\n\tconst toolCalls = assistantEntry.message.content.filter(\n\t\t(content): content is AgentToolCall => content.type === \"toolCall\",\n\t);\n\tconst starts = new Map<number, ToolStartedRecord>();\n\tfor (const record of records) {\n\t\tif (\n\t\t\trecord.type === \"tool_started\" &&\n\t\t\trecord.runId === operationId &&\n\t\t\trecord.assistantEntryId === assistantEntry.id\n\t\t) {\n\t\t\tstarts.set(record.toolIndex, record);\n\t\t}\n\t}\n\n\tconst calls = toolCalls.map((toolCall, toolIndex) => {\n\t\tconst started = starts.get(toolIndex);\n\t\tconst startedResult = started ? entriesById.get(started.resultEntryId) : undefined;\n\t\tconst blockedResult = ownEntries.find(\n\t\t\t(entry) =>\n\t\t\t\tentry.seq > assistantEntry.seq &&\n\t\t\t\t!deferredWriteIds.has(entry.id) &&\n\t\t\t\tentry.type === \"message\" &&\n\t\t\t\tentry.message.role === \"toolResult\" &&\n\t\t\t\tentry.message.toolCallId === toolCall.id,\n\t\t);\n\t\tconst result = startedResult ?? blockedResult;\n\t\treturn {\n\t\t\ttoolIndex,\n\t\t\ttoolCall: clone(toolCall),\n\t\t\t...(started ? { started: clone(started) } : {}),\n\t\t\tresultExists: result !== undefined,\n\t\t\t...(result?.type === \"message\" && result.terminate === true ? { terminate: true } : {}),\n\t\t};\n\t});\n\n\treturn {\n\t\tassistantEntryId: assistantEntry.id,\n\t\tcalls,\n\t\ttruncated: assistantEntry.message.stopReason === \"length\",\n\t\tunresolved: calls.some((call) => !call.resultExists),\n\t};\n}\n\n/** Purely reconstructs one lane's orchestration state from its bounded recovery inputs. */\nexport function reduceLaneState(input: LaneReductionInput): LaneReductionResult {\n\tvalidateRecordLog(input);\n\n\tconst records = bySequence(input.records);\n\tconst ownEntries = bySequence(input.ownEntries);\n\tconst entriesById = new Map<string, Entry>();\n\tfor (const entry of [...input.entries, ...ownEntries]) entriesById.set(entry.id, entry);\n\tconst cancelledQueueIds = new Set(\n\t\trecords.filter((record) => record.type === \"queue_cancelled\").map((record) => record.entryId),\n\t);\n\tconst pendingQueueRecords = records.filter(\n\t\t(record): record is QueueEnqueuedRecord =>\n\t\t\trecord.type === \"queue_enqueued\" &&\n\t\t\t!entriesById.has(record.target.id) &&\n\t\t\t!cancelledQueueIds.has(record.target.id),\n\t);\n\tconst started = input.openOperations[0];\n\tconst capturedInitialMessageIds = new Set(\n\t\tstarted?.intent.kind === \"run\" ? started.intent.initialMessages.map((target) => target.id) : [],\n\t);\n\tconst pendingNextRun = pendingQueueRecords\n\t\t.filter((record) => record.queue === \"nextRun\" && !capturedInitialMessageIds.has(record.target.id))\n\t\t.map((record) => clone(record.target));\n\tconst effectiveConfiguration = deriveEffectiveConfiguration(input);\n\n\tif (!started) {\n\t\treturn {\n\t\t\tlaneState: { lane: input.lane, leafId: input.leafId, operation: null, pendingNextRun },\n\t\t\teffectiveConfiguration,\n\t\t\tterminalFailure: null,\n\t\t};\n\t}\n\n\tconst operationRecords = records.filter((record) =>\n\t\trecord.type === \"operation_started\" ? record.id === started.id : \"runId\" in record && record.runId === started.id,\n\t);\n\tconst aborting = operationRecords.some((record) => record.type === \"abort_requested\");\n\tconst pendingSteer = aborting\n\t\t? []\n\t\t: pendingQueueRecords\n\t\t\t\t.filter((record) => record.queue === \"steer\" && record.runId === started.id)\n\t\t\t\t.map((record) => clone(record.target));\n\tconst pendingFollowUp = aborting\n\t\t? []\n\t\t: pendingQueueRecords\n\t\t\t\t.filter((record) => record.queue === \"followUp\" && record.runId === started.id)\n\t\t\t\t.map((record) => clone(record.target));\n\tconst pendingWrites = operationRecords\n\t\t.filter(\n\t\t\t(record): record is WriteDeferredRecord =>\n\t\t\t\trecord.type === \"write_deferred\" && !entriesById.has(record.target.id),\n\t\t)\n\t\t.map((record) => clone(record.target));\n\tconst missingInitialMessages =\n\t\tstarted.intent.kind === \"run\"\n\t\t\t? started.intent.initialMessages.filter((target) => !entriesById.has(target.id)).map(clone)\n\t\t\t: [];\n\n\tconst newestAttempt = operationRecords.filter((record) => record.type === \"step_attempt\").at(-1);\n\tconst step =\n\t\tnewestAttempt && !entriesById.has(newestAttempt.resultEntryId)\n\t\t\t? {\n\t\t\t\t\tkind: newestAttempt.step,\n\t\t\t\t\tattempts: newestAttempt.attempt,\n\t\t\t\t\tresultEntryId: newestAttempt.resultEntryId,\n\t\t\t\t\t...(newestAttempt.step === \"compaction\" ? { compactionReason: newestAttempt.compactionReason } : {}),\n\t\t\t\t}\n\t\t\t: null;\n\n\tconst consumedInputIds = new Set<string>();\n\tif (started.intent.kind === \"run\") {\n\t\tfor (const target of started.intent.initialMessages) consumedInputIds.add(target.id);\n\t}\n\tfor (const record of operationRecords) {\n\t\tif (record.type === \"queue_enqueued\" && record.queue !== \"nextRun\") consumedInputIds.add(record.target.id);\n\t}\n\tlet newestConsumedInputSequence = Number.NEGATIVE_INFINITY;\n\tfor (const id of consumedInputIds) {\n\t\tconst entry = entriesById.get(id);\n\t\tif (entry?.type === \"message\") newestConsumedInputSequence = Math.max(newestConsumedInputSequence, entry.seq);\n\t}\n\tconst overflowRecoveryUsed = operationRecords.some(\n\t\t(record) =>\n\t\t\trecord.type === \"step_attempt\" &&\n\t\t\trecord.step === \"compaction\" &&\n\t\t\trecord.compactionReason === \"overflow\" &&\n\t\t\trecord.seq > newestConsumedInputSequence,\n\t);\n\n\tconst newestOwnEntry = ownEntries.at(-1);\n\tconst newestOwn = deriveNewestOwn(newestOwnEntry);\n\tconst deferred =\n\t\tnewestOwnEntry?.type === \"message\" &&\n\t\tnewestOwnEntry.message.role === \"assistant\" &&\n\t\tnewestOwnEntry.message.stopReason === \"deferred\" &&\n\t\tnewestOwnEntry.message.deferred\n\t\t\t? clone(newestOwnEntry.message.deferred)\n\t\t\t: null;\n\tconst targets: { result?: boolean; summary?: boolean } = {};\n\tif (started.intent.kind === \"compaction\") {\n\t\ttargets.result = entriesById.has(started.intent.resultEntryId);\n\t} else if (started.intent.kind === \"navigation\" && started.intent.summaryEntryId) {\n\t\ttargets.summary = entriesById.has(started.intent.summaryEntryId);\n\t}\n\n\tconst deferredWriteIds = new Set(\n\t\toperationRecords.filter((record) => record.type === \"write_deferred\").map((record) => record.target.id),\n\t);\n\tlet terminalFailure: TerminalFailureState | null = null;\n\tif (\n\t\tnewestOwnEntry?.type === \"message\" &&\n\t\tnewestOwnEntry.message.role === \"assistant\" &&\n\t\tnewestOwnEntry.message.stopReason === \"error\" &&\n\t\t!deferredWriteIds.has(newestOwnEntry.id)\n\t) {\n\t\tconst producedByStep = operationRecords.some(\n\t\t\t(record) => record.type === \"step_attempt\" && record.resultEntryId === newestOwnEntry.id,\n\t\t);\n\t\tconst previousOwnEntry = ownEntries.at(-2);\n\t\tconst producedByDeferredFetch =\n\t\t\toperationRecords.some(\n\t\t\t\t(record) =>\n\t\t\t\t\trecord.type === \"usage\" && record.cause === \"deferred_fetch\" && record.entryId === newestOwnEntry.id,\n\t\t\t) ||\n\t\t\t(previousOwnEntry?.type === \"message\" &&\n\t\t\t\tpreviousOwnEntry.message.role === \"assistant\" &&\n\t\t\t\tpreviousOwnEntry.message.stopReason === \"deferred\");\n\t\tif (producedByStep || producedByDeferredFetch) {\n\t\t\tterminalFailure = {\n\t\t\t\tentryId: newestOwnEntry.id,\n\t\t\t\tsource: producedByStep ? \"step\" : \"deferred_fetch\",\n\t\t\t\tmessage: clone(newestOwnEntry.message),\n\t\t\t};\n\t\t}\n\t}\n\n\treturn {\n\t\tlaneState: {\n\t\t\tlane: input.lane,\n\t\t\tleafId: input.leafId,\n\t\t\toperation: {\n\t\t\t\tid: started.id,\n\t\t\t\tkind: started.intent.kind,\n\t\t\t\tintent: clone(started.intent),\n\t\t\t\taborting,\n\t\t\t\tstep,\n\t\t\t\ttoolBatch: deriveToolBatch(started.id, operationRecords, ownEntries, entriesById, deferredWriteIds),\n\t\t\t\tmissingInitialMessages,\n\t\t\t\tpendingSteer,\n\t\t\t\tpendingFollowUp,\n\t\t\t\tpendingWrites,\n\t\t\t\tdeferred,\n\t\t\t\toverflowRecoveryUsed,\n\t\t\t\tnewestOwn,\n\t\t\t\ttargets,\n\t\t\t},\n\t\t\tpendingNextRun,\n\t\t},\n\t\teffectiveConfiguration,\n\t\tterminalFailure,\n\t};\n}\n"]}

package/dist/harness/result.d.ts

@@ -0,0 +1,40 @@
+export type Result<TValue, TError> = {
+    ok: true;
+    value: TValue;
+} | {
+    ok: false;
+    error: TError;
+};
+export declare const Result: {
+    ok<TValue>(value: TValue): Result<TValue, never>;
+    err<TError>(error: TError): Result<never, TError>;
+    isOk<TValue, TError>(result: Result<TValue, TError>): result is {
+        ok: true;
+        value: TValue;
+    };
+    isErr<TValue, TError>(result: Result<TValue, TError>): result is {
+        ok: false;
+        error: TError;
+    };
+};
+export interface TaggedErrorValue<Tag extends string> extends Error {
+    readonly _tag: Tag;
+    toJSON(): {
+        _tag: Tag;
+        message: string;
+    } & Record<string, unknown>;
+}
+export interface TaggedErrorFactory<Tag extends string> {
+    new <Props extends {
+        message: string;
+    }>(props: Props): TaggedErrorValue<Tag> & Readonly<Props>;
+    is(value: unknown): value is TaggedErrorValue<Tag>;
+}
+export declare function TaggedError<Tag extends string>(tag: Tag): TaggedErrorFactory<Tag>;
+export type ErrorMatchers<TError extends TaggedErrorValue<string>, TValue> = {
+    [Tag in TError["_tag"]]: (error: Extract<TError, {
+        _tag: Tag;
+    }>) => TValue;
+};
+export declare function matchError<TError extends TaggedErrorValue<string>, TValue>(error: TError, matchers: ErrorMatchers<TError, TValue>): TValue;
+//# sourceMappingURL=result.d.ts.map

package/dist/harness/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/harness/result.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhG,eAAO,MAAM,MAAM;OACf,MAAM;QAGL,MAAM;SAGL,MAAM,EAAE,MAAM;;;;UAGb,MAAM,EAAE,MAAM;;;;CAGpB,CAAC;AAEF,MAAM,WAAW,gBAAgB,CAAC,GAAG,SAAS,MAAM,CAAE,SAAQ,KAAK;IAClE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;IACnB,MAAM,IAAI;QAAE,IAAI,EAAE,GAAG,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnE;AAED,MAAM,WAAW,kBAAkB,CAAC,GAAG,SAAS,MAAM;IACrD,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,KAAK,EAAE,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/F,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;CACnD;AAED,wBAAgB,WAAW,CAAC,GAAG,SAAS,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAuBjF;AAED,MAAM,MAAM,aAAa,CAAC,MAAM,SAAS,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI;KAC3E,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,KAAK,MAAM;CAC1E,CAAC;AAEF,wBAAgB,UAAU,CAAC,MAAM,SAAS,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,EACzE,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,GACrC,MAAM,CAGR","sourcesContent":["export type Result<TValue, TError> = { ok: true; value: TValue } | { ok: false; error: TError };\n\nexport const Result = {\n\tok<TValue>(value: TValue): Result<TValue, never> {\n\t\treturn { ok: true, value };\n\t},\n\terr<TError>(error: TError): Result<never, TError> {\n\t\treturn { ok: false, error };\n\t},\n\tisOk<TValue, TError>(result: Result<TValue, TError>): result is { ok: true; value: TValue } {\n\t\treturn result.ok;\n\t},\n\tisErr<TValue, TError>(result: Result<TValue, TError>): result is { ok: false; error: TError } {\n\t\treturn !result.ok;\n\t},\n};\n\nexport interface TaggedErrorValue<Tag extends string> extends Error {\n\treadonly _tag: Tag;\n\ttoJSON(): { _tag: Tag; message: string } & Record<string, unknown>;\n}\n\nexport interface TaggedErrorFactory<Tag extends string> {\n\tnew <Props extends { message: string }>(props: Props): TaggedErrorValue<Tag> & Readonly<Props>;\n\tis(value: unknown): value is TaggedErrorValue<Tag>;\n}\n\nexport function TaggedError<Tag extends string>(tag: Tag): TaggedErrorFactory<Tag> {\n\tclass TaggedErrorClass extends Error {\n\t\treadonly _tag = tag;\n\n\t\tconstructor(props: { message: string } & Record<string, unknown>) {\n\t\t\tsuper(props.message);\n\t\t\tthis.name = tag;\n\t\t\tObject.assign(this, props);\n\t\t}\n\n\t\ttoJSON(): { _tag: Tag; message: string } & Record<string, unknown> {\n\t\t\tconst payload: Record<string, unknown> = {};\n\t\t\tfor (const key of Object.keys(this)) {\n\t\t\t\tif (key !== \"_tag\") payload[key] = (this as unknown as Record<string, unknown>)[key];\n\t\t\t}\n\t\t\treturn { _tag: tag, message: this.message, ...payload };\n\t\t}\n\n\t\tstatic is(value: unknown): value is TaggedErrorValue<Tag> {\n\t\t\treturn value instanceof TaggedErrorClass;\n\t\t}\n\t}\n\treturn TaggedErrorClass as unknown as TaggedErrorFactory<Tag>;\n}\n\nexport type ErrorMatchers<TError extends TaggedErrorValue<string>, TValue> = {\n\t[Tag in TError[\"_tag\"]]: (error: Extract<TError, { _tag: Tag }>) => TValue;\n};\n\nexport function matchError<TError extends TaggedErrorValue<string>, TValue>(\n\terror: TError,\n\tmatchers: ErrorMatchers<TError, TValue>,\n): TValue {\n\tconst matcher = (matchers as unknown as Record<string, (value: TError) => TValue>)[error._tag];\n\treturn matcher(error);\n}\n"]}

package/dist/harness/result.js

@@ -0,0 +1,41 @@
+export const Result = {
+    ok(value) {
+        return { ok: true, value };
+    },
+    err(error) {
+        return { ok: false, error };
+    },
+    isOk(result) {
+        return result.ok;
+    },
+    isErr(result) {
+        return !result.ok;
+    },
+};
+export function TaggedError(tag) {
+    class TaggedErrorClass extends Error {
+        _tag = tag;
+        constructor(props) {
+            super(props.message);
+            this.name = tag;
+            Object.assign(this, props);
+        }
+        toJSON() {
+            const payload = {};
+            for (const key of Object.keys(this)) {
+                if (key !== "_tag")
+                    payload[key] = this[key];
+            }
+            return { _tag: tag, message: this.message, ...payload };
+        }
+        static is(value) {
+            return value instanceof TaggedErrorClass;
+        }
+    }
+    return TaggedErrorClass;
+}
+export function matchError(error, matchers) {
+    const matcher = matchers[error._tag];
+    return matcher(error);
+}
+//# sourceMappingURL=result.js.map

package/dist/harness/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/harness/result.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,MAAM,GAAG;IACrB,EAAE,CAAS,KAAa,EAAyB;QAChD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAAA,CAC3B;IACD,GAAG,CAAS,KAAa,EAAyB;QACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAAA,CAC5B;IACD,IAAI,CAAiB,MAA8B,EAAyC;QAC3F,OAAO,MAAM,CAAC,EAAE,CAAC;IAAA,CACjB;IACD,KAAK,CAAiB,MAA8B,EAA0C;QAC7F,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;IAAA,CAClB;CACD,CAAC;AAYF,MAAM,UAAU,WAAW,CAAqB,GAAQ,EAA2B;IAClF,MAAM,gBAAiB,SAAQ,KAAK;QAC1B,IAAI,GAAG,GAAG,CAAC;QAEpB,YAAY,KAAoD,EAAE;YACjE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC;YAChB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAAA,CAC3B;QAED,MAAM,GAA6D;YAClE,MAAM,OAAO,GAA4B,EAAE,CAAC;YAC5C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,IAAI,GAAG,KAAK,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;YACtF,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC;QAAA,CACxD;QAED,MAAM,CAAC,EAAE,CAAC,KAAc,EAAkC;YACzD,OAAO,KAAK,YAAY,gBAAgB,CAAC;QAAA,CACzC;KACD;IACD,OAAO,gBAAsD,CAAC;AAAA,CAC9D;AAMD,MAAM,UAAU,UAAU,CACzB,KAAa,EACb,QAAuC,EAC9B;IACT,MAAM,OAAO,GAAI,QAAiE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/F,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AAAA,CACtB","sourcesContent":["export type Result<TValue, TError> = { ok: true; value: TValue } | { ok: false; error: TError };\n\nexport const Result = {\n\tok<TValue>(value: TValue): Result<TValue, never> {\n\t\treturn { ok: true, value };\n\t},\n\terr<TError>(error: TError): Result<never, TError> {\n\t\treturn { ok: false, error };\n\t},\n\tisOk<TValue, TError>(result: Result<TValue, TError>): result is { ok: true; value: TValue } {\n\t\treturn result.ok;\n\t},\n\tisErr<TValue, TError>(result: Result<TValue, TError>): result is { ok: false; error: TError } {\n\t\treturn !result.ok;\n\t},\n};\n\nexport interface TaggedErrorValue<Tag extends string> extends Error {\n\treadonly _tag: Tag;\n\ttoJSON(): { _tag: Tag; message: string } & Record<string, unknown>;\n}\n\nexport interface TaggedErrorFactory<Tag extends string> {\n\tnew <Props extends { message: string }>(props: Props): TaggedErrorValue<Tag> & Readonly<Props>;\n\tis(value: unknown): value is TaggedErrorValue<Tag>;\n}\n\nexport function TaggedError<Tag extends string>(tag: Tag): TaggedErrorFactory<Tag> {\n\tclass TaggedErrorClass extends Error {\n\t\treadonly _tag = tag;\n\n\t\tconstructor(props: { message: string } & Record<string, unknown>) {\n\t\t\tsuper(props.message);\n\t\t\tthis.name = tag;\n\t\t\tObject.assign(this, props);\n\t\t}\n\n\t\ttoJSON(): { _tag: Tag; message: string } & Record<string, unknown> {\n\t\t\tconst payload: Record<string, unknown> = {};\n\t\t\tfor (const key of Object.keys(this)) {\n\t\t\t\tif (key !== \"_tag\") payload[key] = (this as unknown as Record<string, unknown>)[key];\n\t\t\t}\n\t\t\treturn { _tag: tag, message: this.message, ...payload };\n\t\t}\n\n\t\tstatic is(value: unknown): value is TaggedErrorValue<Tag> {\n\t\t\treturn value instanceof TaggedErrorClass;\n\t\t}\n\t}\n\treturn TaggedErrorClass as unknown as TaggedErrorFactory<Tag>;\n}\n\nexport type ErrorMatchers<TError extends TaggedErrorValue<string>, TValue> = {\n\t[Tag in TError[\"_tag\"]]: (error: Extract<TError, { _tag: Tag }>) => TValue;\n};\n\nexport function matchError<TError extends TaggedErrorValue<string>, TValue>(\n\terror: TError,\n\tmatchers: ErrorMatchers<TError, TValue>,\n): TValue {\n\tconst matcher = (matchers as unknown as Record<string, (value: TError) => TValue>)[error._tag];\n\treturn matcher(error);\n}\n"]}

package/dist/harness/session/context.d.ts

@@ -0,0 +1,22 @@
+import type { AgentMessage } from "../../types.ts";
+import type { CustomEntry, Entry } from "./types.ts";
+export interface SessionContext {
+    messages: AgentMessage[];
+    thinkingLevel: string;
+    model: {
+        provider: string;
+        modelId: string;
+    } | null;
+    activeToolNames: string[] | null;
+}
+export type ContextEntryTransform = (entries: readonly Entry[]) => readonly Entry[];
+export type CustomEntryContextMessageProjector = (entry: CustomEntry, index: number, entries: readonly Entry[]) => readonly AgentMessage[] | undefined;
+export interface SessionContextBuildOptions {
+    entryTransforms?: readonly ContextEntryTransform[];
+    entryProjectors?: Readonly<Record<string, CustomEntryContextMessageProjector>>;
+}
+export declare function defaultContextEntryTransform(pathEntries: readonly Entry[]): Entry[];
+export declare function buildContextEntries(pathEntries: readonly Entry[], options?: SessionContextBuildOptions): Entry[];
+export declare function sessionEntryToContextMessages(entry: Entry, index: number, entries: readonly Entry[], options?: SessionContextBuildOptions): AgentMessage[];
+export declare function buildSessionContext(pathEntries: readonly Entry[], options?: SessionContextBuildOptions): SessionContext;
+//# sourceMappingURL=context.d.ts.map