@astralyn/pi 0.99.0 → 1.0.1

package/dist/extensions/todo/state.js

@@ -1,425 +0,0 @@
-/**
- * todo/state.ts — v3 pure state core: closure-scoped store, atomic patch
- * application (delete, then update, then create), snapshot cloning, and
- * branch replay. No session registry, metadata, dependency graph, tombstones,
- * filters, or legacy normalizers.
- *
- * The patch shape is designed so every value a strict sampler may fill in for
- * an unused field ([], "", null already stripped by validation) is a no-op:
- * empty groups do nothing, blank update text keeps the current value, and
- * deleting an absent id is recorded rather than rejected.
- */
-import { TODO_MAX_BATCH_ITEMS, TODO_MAX_DESCRIPTION_LENGTH, TODO_MAX_ITEMS, TODO_MAX_SUBJECT_LENGTH, TODO_TOOL_NAME, } from "./constants.js";
-import { EMPTY_TODO_STATE, TODO_DETAILS_SCHEMA_VERSION, } from "./schema.js";
-const TODO_STATUSES = new Set(["pending", "in_progress", "completed"]);
-const GROUP_FIELDS = new Set(["create", "update", "delete"]);
-function isRecord(value) {
-    return value !== null && typeof value === "object" && !Array.isArray(value);
-}
-function isPositiveSafeInteger(value) {
-    return typeof value === "number" && Number.isSafeInteger(value) && value >= 1;
-}
-function isTodoStatus(value) {
-    return typeof value === "string" && TODO_STATUSES.has(value);
-}
-/** De-duplicate ids preserving first-seen input order. */
-function dedupeIds(ids) {
-    const seen = [];
-    for (const id of ids) {
-        if (!seen.includes(id))
-            seen.push(id);
-    }
-    return seen;
-}
-/** Trim and collapse every internal whitespace run to a single space. */
-function normalizeText(value) {
-    return value.trim().replace(/\s+/g, " ");
-}
-/** Required text (create): normalized, non-empty, within the limit. */
-function validateRequiredText(value, label, maximum) {
-    if (typeof value !== "string")
-        throw new Error(`${label} must be a string`);
-    const normalized = normalizeText(value);
-    if (!normalized)
-        throw new Error(`${label} cannot be empty`);
-    if (normalized.length > maximum)
-        throw new Error(`${label} exceeds ${maximum} characters`);
-    return normalized;
-}
-/**
- * Optional text (update): normalized and within the limit, where blank means
- * "keep the current value" (undefined) so strict-mode filler stays harmless.
- */
-function validateOptionalText(value, label, maximum) {
-    if (value === undefined)
-        return undefined;
-    if (typeof value !== "string")
-        throw new Error(`${label} must be a string`);
-    const normalized = normalizeText(value);
-    if (!normalized)
-        return undefined;
-    if (normalized.length > maximum)
-        throw new Error(`${label} exceeds ${maximum} characters`);
-    return normalized;
-}
-function validateOptionalStatus(value, label) {
-    if (value === undefined)
-        return undefined;
-    if (!isTodoStatus(value))
-        throw new Error(`${label} is invalid`);
-    return value;
-}
-function readCreateEntries(raw) {
-    if (raw === undefined)
-        return [];
-    if (!Array.isArray(raw))
-        throw new Error("create must be an array");
-    if (raw.length > TODO_MAX_BATCH_ITEMS)
-        throw new Error(`create exceeds ${TODO_MAX_BATCH_ITEMS} tasks`);
-    const entries = [];
-    for (let index = 0; index < raw.length; index++) {
-        const item = raw[index];
-        if (!isRecord(item))
-            throw new Error(`create[${index}] must be an object`);
-        for (const key of Object.keys(item)) {
-            if (key !== "subject" && key !== "description" && key !== "status") {
-                throw new Error(`create[${index}].${key} is not a create field; valid fields: subject, description, status`);
-            }
-        }
-        const entry = {
-            subject: validateRequiredText(item.subject, `create[${index}].subject`, TODO_MAX_SUBJECT_LENGTH),
-            description: validateRequiredText(item.description, `create[${index}].description`, TODO_MAX_DESCRIPTION_LENGTH),
-        };
-        const status = validateOptionalStatus(item.status, `create[${index}].status`);
-        if (status !== undefined)
-            entry.status = status;
-        entries.push(entry);
-    }
-    return entries;
-}
-function readUpdateEntries(raw) {
-    if (raw === undefined)
-        return [];
-    if (!Array.isArray(raw))
-        throw new Error("update must be an array");
-    if (raw.length > TODO_MAX_BATCH_ITEMS)
-        throw new Error(`update exceeds ${TODO_MAX_BATCH_ITEMS} tasks`);
-    const entries = [];
-    for (let index = 0; index < raw.length; index++) {
-        const item = raw[index];
-        if (!isRecord(item))
-            throw new Error(`update[${index}] must be an object`);
-        for (const key of Object.keys(item)) {
-            if (key !== "id" && key !== "subject" && key !== "description" && key !== "status") {
-                throw new Error(`update[${index}].${key} is not an update field; valid fields: id, subject, description, status`);
-            }
-        }
-        if (!isPositiveSafeInteger(item.id))
-            throw new Error(`update[${index}].id must be a positive integer`);
-        const entry = { id: item.id };
-        const subject = validateOptionalText(item.subject, `update[${index}].subject`, TODO_MAX_SUBJECT_LENGTH);
-        if (subject !== undefined)
-            entry.subject = subject;
-        const description = validateOptionalText(item.description, `update[${index}].description`, TODO_MAX_DESCRIPTION_LENGTH);
-        if (description !== undefined)
-            entry.description = description;
-        const status = validateOptionalStatus(item.status, `update[${index}].status`);
-        if (status !== undefined)
-            entry.status = status;
-        entries.push(entry);
-    }
-    return entries;
-}
-function readDeleteIds(raw) {
-    if (raw === undefined)
-        return [];
-    if (!Array.isArray(raw))
-        throw new Error("delete must be an array");
-    if (raw.length > TODO_MAX_BATCH_ITEMS)
-        throw new Error(`delete exceeds ${TODO_MAX_BATCH_ITEMS} ids`);
-    const ids = [];
-    for (let index = 0; index < raw.length; index++) {
-        if (!isPositiveSafeInteger(raw[index]))
-            throw new Error(`delete[${index}] must be a positive integer id`);
-        ids.push(raw[index]);
-    }
-    return ids;
-}
-function currentIdsLabel(state) {
-    if (state.items.length === 0)
-        return "the list is empty";
-    return `current ids: ${state.items.map((item) => `#${item.id}`).join(", ")}`;
-}
-/** Snapshot clone: items are plain string/number records, so a shallow copy is safe. */
-export function cloneTodoState(state) {
-    return { items: state.items.map((item) => ({ ...item })), nextId: state.nextId };
-}
-/**
- * Pure patch application: validates every runtime input (tool args can be
- * tampered after schema validation), throws on any invalid call, and never
- * mutates the input state. Application order is delete, then update, then
- * create, so a delete in the same call frees capacity for the create.
- */
-export function applyTodoPatch(before, params) {
-    if (!isRecord(params))
-        throw new Error("todo params must be an object");
-    for (const key of Object.keys(params)) {
-        if (!GROUP_FIELDS.has(key))
-            throw new Error(`unknown todo field "${key}"; valid fields: create, update, delete`);
-    }
-    // Everything above the apply phase is validation: any throw leaves the
-    // caller's state untouched.
-    const createEntries = readCreateEntries(params.create);
-    const updateEntries = readUpdateEntries(params.update);
-    const deleteIds = readDeleteIds(params.delete);
-    // Conflicts: one edit per task per call, and a task cannot be both edited
-    // and removed in the same call.
-    const updatedIds = new Set();
-    for (const entry of updateEntries) {
-        if (updatedIds.has(entry.id))
-            throw new Error(`#${entry.id} appears more than once in update`);
-        updatedIds.add(entry.id);
-    }
-    const deleteSet = new Set(deleteIds);
-    for (const entry of updateEntries) {
-        if (deleteSet.has(entry.id))
-            throw new Error(`#${entry.id} cannot be in both update and delete`);
-    }
-    // At most one activation per call: more than one is a real contradiction,
-    // since a single task can be in_progress at any time.
-    const activations = [];
-    createEntries.forEach((entry, index) => {
-        if (entry.status === "in_progress")
-            activations.push(`create[${index}]`);
-    });
-    for (const entry of updateEntries) {
-        if (entry.status === "in_progress")
-            activations.push(`#${entry.id}`);
-    }
-    if (activations.length > 1) {
-        throw new Error(`at most one task may be set in_progress per call; got ${activations.join(" and ")}`);
-    }
-    const byId = new Map(before.items.map((item) => [item.id, item]));
-    for (const entry of updateEntries) {
-        if (!byId.has(entry.id))
-            throw new Error(`#${entry.id} not found; ${currentIdsLabel(before)}`);
-    }
-    if (createEntries.length > 0) {
-        if (!Number.isSafeInteger(before.nextId) || before.nextId < 1)
-            throw new Error("next id is invalid");
-        if (before.nextId > Number.MAX_SAFE_INTEGER - createEntries.length)
-            throw new Error("next id is exhausted");
-    }
-    // --- Apply: delete -------------------------------------------------------
-    const deleted = [];
-    const absent = [];
-    for (const id of dedupeIds(deleteIds)) {
-        const item = byId.get(id);
-        if (item)
-            deleted.push({ id: item.id, subject: item.subject });
-        else
-            absent.push(id);
-    }
-    let items = before.items.filter((item) => !deleteSet.has(item.id));
-    // --- Apply: update -------------------------------------------------------
-    if (updateEntries.length > 0) {
-        const entriesById = new Map(updateEntries.map((entry) => [entry.id, entry]));
-        items = items.map((item) => {
-            const entry = entriesById.get(item.id);
-            if (!entry)
-                return item;
-            const next = {
-                id: item.id,
-                subject: entry.subject ?? item.subject,
-                description: entry.description ?? item.description,
-                status: entry.status ?? item.status,
-            };
-            return next;
-        });
-    }
-    // --- Apply: create -------------------------------------------------------
-    const created = [];
-    if (createEntries.length > 0) {
-        const newItems = createEntries.map((entry, index) => {
-            const item = {
-                id: before.nextId + index,
-                subject: entry.subject,
-                description: entry.description,
-                status: entry.status ?? "pending",
-            };
-            return item;
-        });
-        for (const item of newItems)
-            created.push(item.id);
-        items = [...items, ...newItems];
-    }
-    // --- Single in_progress: the one task this call activates demotes the rest.
-    let demotedId;
-    let activatedId;
-    for (const entry of updateEntries) {
-        if (entry.status === "in_progress")
-            activatedId = entry.id;
-    }
-    if (activatedId === undefined) {
-        createEntries.forEach((entry, index) => {
-            if (entry.status === "in_progress")
-                activatedId = before.nextId + index;
-        });
-    }
-    if (activatedId !== undefined) {
-        const demoted = items.find((item) => item.id !== activatedId && item.status === "in_progress");
-        if (demoted) {
-            demotedId = demoted.id;
-            items = items.map((item) => (item.id === demoted.id ? { ...item, status: "pending" } : item));
-        }
-    }
-    // --- Capacity: completed tasks are reclaimed oldest-first before a call
-    // may fail for space; only a list that stays over the cap is rejected.
-    // Tasks this call created or updated are never reclaimed: silently dropping
-    // a task would be confusing when the same result reports it as touched.
-    const evicted = [];
-    if (items.length > TODO_MAX_ITEMS) {
-        let overflow = items.length - TODO_MAX_ITEMS;
-        const evictIds = new Set();
-        const touched = new Set([...created, ...updatedIds]);
-        const completedOldestFirst = items
-            .filter((item) => item.status === "completed" && !touched.has(item.id))
-            .sort((first, second) => first.id - second.id);
-        for (const item of completedOldestFirst) {
-            if (overflow <= 0)
-                break;
-            evictIds.add(item.id);
-            evicted.push({ id: item.id, subject: item.subject });
-            overflow--;
-        }
-        if (overflow > 0) {
-            const completedIds = before.items.filter((item) => item.status === "completed").map((item) => `#${item.id}`);
-            throw new Error(`at most ${TODO_MAX_ITEMS} tasks; complete or delete some first. Patch not applied. Tasks created or updated in this call are not reclaimed. ` +
-                `Delete existing tasks in the same patch to free space (remove those ids from update), or complete tasks in a separate call before creating more. ` +
-                `Completed ids before this call: ${completedIds.join(", ") || "none"}.`);
-        }
-        items = items.filter((item) => !evictIds.has(item.id));
-    }
-    // Report transitions only after activation and capacity have settled the snapshot.
-    const updated = items
-        .filter((item) => updatedIds.has(item.id))
-        .map((item) => ({
-        id: item.id,
-        from: byId.get(item.id).status,
-        to: item.status,
-    }));
-    const change = { created, updated, deleted, absent, evicted };
-    if (demotedId !== undefined)
-        change.demotedId = demotedId;
-    return { state: { items, nextId: before.nextId + created.length }, change };
-}
-export function buildTodoDetails(change, state) {
-    return { schemaVersion: TODO_DETAILS_SCHEMA_VERSION, change, state: cloneTodoState(state) };
-}
-function requireValidState(value) {
-    const state = normalizeSnapshotState(value);
-    if (!state)
-        throw new Error("todo state is invalid");
-    return state;
-}
-/** Closure-scoped store: one list per store, no module-global session state. */
-export function createTodoStore(initial) {
-    let state = requireValidState(initial ?? EMPTY_TODO_STATE);
-    return {
-        getState() {
-            return cloneTodoState(state);
-        },
-        replaceState(next) {
-            state = requireValidState(next);
-        },
-        execute(params) {
-            const patch = applyTodoPatch(state, params);
-            const details = buildTodoDetails(patch.change, patch.state);
-            state = patch.state;
-            return details;
-        },
-    };
-}
-/**
- * Validate an external v3 snapshot; returns undefined when malformed.
- *
- * Snapshot text must already be in normalizeText() form, which makes that
- * function's output part of the v3 persistence contract: relaxing or changing
- * it would silently invalidate every historical snapshot, falling back to an
- * earlier one or to the empty state with no diagnostic. Change normalizeText
- * only together with TODO_DETAILS_SCHEMA_VERSION.
- */
-function normalizeSnapshotState(value) {
-    if (!isRecord(value) || !Array.isArray(value.items) || !isPositiveSafeInteger(value.nextId))
-        return undefined;
-    if (value.items.length > TODO_MAX_ITEMS)
-        return undefined;
-    const items = [];
-    const ids = new Set();
-    let maxId = 0;
-    let activeCount = 0;
-    for (const rawItem of value.items) {
-        if (!isRecord(rawItem))
-            return undefined;
-        const id = rawItem.id;
-        if (!isPositiveSafeInteger(id) || ids.has(id))
-            return undefined;
-        const subject = rawItem.subject;
-        const description = rawItem.description;
-        const status = rawItem.status;
-        if (typeof subject !== "string" || typeof description !== "string")
-            return undefined;
-        if (subject !== normalizeText(subject) || description !== normalizeText(description))
-            return undefined;
-        if (!subject || subject.length > TODO_MAX_SUBJECT_LENGTH)
-            return undefined;
-        if (!description || description.length > TODO_MAX_DESCRIPTION_LENGTH)
-            return undefined;
-        if (!isTodoStatus(status))
-            return undefined;
-        ids.add(id);
-        if (id > maxId)
-            maxId = id;
-        if (status === "in_progress")
-            activeCount++;
-        items.push({ id, subject, description, status });
-    }
-    if (activeCount > 1)
-        return undefined;
-    if (value.nextId <= maxId)
-        return undefined;
-    return { items, nextId: value.nextId };
-}
-/**
- * Replay the newest valid v3 todo snapshot from a branch, scanning tail to
- * head so a malformed latest snapshot falls back to an earlier valid one.
- * Older schema versions (v1/v2) are ignored: restoring a session written
- * before v3 starts from an empty list.
- */
-export function replayTodosFromBranch(ctx) {
-    const branch = Array.from(ctx.sessionManager.getBranch());
-    for (let index = branch.length - 1; index >= 0; index--) {
-        // Session history is external input, so every field read stays inside the
-        // guard: a hostile entry falls through to an earlier snapshot instead of
-        // escaping to the lifecycle handler.
-        try {
-            const entry = branch[index];
-            if (!isRecord(entry) || entry.type !== "message")
-                continue;
-            const message = entry.message;
-            if (!isRecord(message) || message.role !== "toolResult" || message.toolName !== TODO_TOOL_NAME)
-                continue;
-            const details = message.details;
-            if (!isRecord(details) || details.schemaVersion !== TODO_DETAILS_SCHEMA_VERSION)
-                continue;
-            const state = normalizeSnapshotState(details.state);
-            if (state)
-                return state;
-        }
-        catch {
-            // Keep scanning for an earlier valid v3 snapshot.
-        }
-    }
-    return cloneTodoState(EMPTY_TODO_STATE);
-}
-//# sourceMappingURL=state.js.map

package/dist/extensions/todo/state.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/extensions/todo/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EACN,oBAAoB,EACpB,2BAA2B,EAC3B,cAAc,EACd,uBAAuB,EACvB,cAAc,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACN,gBAAgB,EAChB,2BAA2B,GAO3B,MAAM,aAAa,CAAC;AAErB,MAAM,aAAa,GAA4B,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;AAChG,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAElF,SAAS,QAAQ,CAAC,KAAc;IAC/B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,aAAa,CAAC,GAAG,CAAC,KAAmB,CAAC,CAAC;AAC5E,CAAC;AAED,0DAA0D;AAC1D,SAAS,SAAS,CAAC,GAAa;IAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,yEAAyE;AACzE,SAAS,aAAa,CAAC,KAAa;IACnC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED,uEAAuE;AACvE,SAAS,oBAAoB,CAAC,KAAc,EAAE,KAAa,EAAE,OAAe;IAC3E,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kBAAkB,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,MAAM,GAAG,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,YAAY,OAAO,aAAa,CAAC,CAAC;IAC3F,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,KAAc,EAAE,KAAa,EAAE,OAAe;IAC3E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,IAAI,UAAU,CAAC,MAAM,GAAG,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,YAAY,OAAO,aAAa,CAAC,CAAC;IAC3F,OAAO,UAAU,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,KAAa;IAC5D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IACjE,OAAO,KAAK,CAAC;AACd,CAAC;AAeD,SAAS,iBAAiB,CAAC,GAAY;IACtC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACpE,IAAI,GAAG,CAAC,MAAM,GAAG,oBAAoB;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,oBAAoB,QAAQ,CAAC,CAAC;IACvG,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,qBAAqB,CAAC,CAAC;QAC3E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,aAAa,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;gBACpE,MAAM,IAAI,KAAK,CACd,UAAU,KAAK,KAAK,GAAG,oEAAoE,CAC3F,CAAC;YACH,CAAC;QACF,CAAC;QACD,MAAM,KAAK,GAAgB;YAC1B,OAAO,EAAE,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,KAAK,WAAW,EAAE,uBAAuB,CAAC;YAChG,WAAW,EAAE,oBAAoB,CAChC,IAAI,CAAC,WAAW,EAChB,UAAU,KAAK,eAAe,EAC9B,2BAA2B,CAC3B;SACD,CAAC;QACF,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,UAAU,CAAC,CAAC;QAC9E,IAAI,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;QAChD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAY;IACtC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACpE,IAAI,GAAG,CAAC,MAAM,GAAG,oBAAoB;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,oBAAoB,QAAQ,CAAC,CAAC;IACvG,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,qBAAqB,CAAC,CAAC;QAC3E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,aAAa,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;gBACpF,MAAM,IAAI,KAAK,CACd,UAAU,KAAK,KAAK,GAAG,yEAAyE,CAChG,CAAC;YACH,CAAC;QACF,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,iCAAiC,CAAC,CAAC;QACvG,MAAM,KAAK,GAAgB,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,KAAK,WAAW,EAAE,uBAAuB,CAAC,CAAC;QACxG,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QACnD,MAAM,WAAW,GAAG,oBAAoB,CACvC,IAAI,CAAC,WAAW,EAChB,UAAU,KAAK,eAAe,EAC9B,2BAA2B,CAC3B,CAAC;QACF,IAAI,WAAW,KAAK,SAAS;YAAE,KAAK,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/D,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,UAAU,CAAC,CAAC;QAC9E,IAAI,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;QAChD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,GAAY;IAClC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACpE,IAAI,GAAG,CAAC,MAAM,GAAG,oBAAoB;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,oBAAoB,MAAM,CAAC,CAAC;IACrG,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,iCAAiC,CAAC,CAAC;QAC1G,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,eAAe,CAAC,KAAgB;IACxC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,mBAAmB,CAAC;IACzD,OAAO,gBAAgB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,cAAc,CAAC,KAAgB;IAC9C,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAClF,CAAC;AAOD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,MAAiB,EAAE,MAAkB;IACnE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,yCAAyC,CAAC,CAAC;IAClH,CAAC;IAED,uEAAuE;IACvE,4BAA4B;IAC5B,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE/C,0EAA0E;IAC1E,gCAAgC;IAChC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QACnC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,mCAAmC,CAAC,CAAC;QAC/F,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,sCAAsC,CAAC,CAAC;IAClG,CAAC;IAED,0EAA0E;IAC1E,sDAAsD;IACtD,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACtC,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa;YAAE,WAAW,CAAC,IAAI,CAAC,UAAU,KAAK,GAAG,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa;YAAE,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,yDAAyD,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvG,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,eAAe,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACrG,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,gBAAgB,GAAG,aAAa,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;IAC7G,CAAC;IAED,4EAA4E;IAC5E,MAAM,OAAO,GAA2C,EAAE,CAAC;IAC3D,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;;YAC1D,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnE,4EAA4E;IAC5E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7E,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC1B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,MAAM,IAAI,GAAa;gBACtB,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO;gBACtC,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW;gBAClD,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM;aACnC,CAAC;YACF,OAAO,IAAI,CAAC;QACb,CAAC,CAAC,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACnD,MAAM,IAAI,GAAa;gBACtB,EAAE,EAAE,MAAM,CAAC,MAAM,GAAG,KAAK;gBACzB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,SAAS;aACjC,CAAC;YACF,OAAO,IAAI,CAAC;QACb,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,QAAQ;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,KAAK,GAAG,CAAC,GAAG,KAAK,EAAE,GAAG,QAAQ,CAAC,CAAC;IACjC,CAAC;IAED,6EAA6E;IAC7E,IAAI,SAA6B,CAAC;IAClC,IAAI,WAA+B,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa;YAAE,WAAW,GAAG,KAAK,CAAC,EAAE,CAAC;IAC5D,CAAC;IACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC/B,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACtC,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa;gBAAE,WAAW,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;QACzE,CAAC,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC;QAC/F,IAAI,OAAO,EAAE,CAAC;YACb,SAAS,GAAG,OAAO,CAAC,EAAE,CAAC;YACvB,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,SAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxG,CAAC;IACF,CAAC;IAED,yEAAyE;IACzE,uEAAuE;IACvE,4EAA4E;IAC5E,wEAAwE;IACxE,MAAM,OAAO,GAA2C,EAAE,CAAC;IAC3D,IAAI,KAAK,CAAC,MAAM,GAAG,cAAc,EAAE,CAAC;QACnC,IAAI,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,cAAc,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC;QAC7D,MAAM,oBAAoB,GAAG,KAAK;aAChC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aACtE,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;YACzC,IAAI,QAAQ,IAAI,CAAC;gBAAE,MAAM;YACzB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;YACrD,QAAQ,EAAE,CAAC;QACZ,CAAC;QACD,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YAClB,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7G,MAAM,IAAI,KAAK,CACd,WAAW,cAAc,qHAAqH;gBAC7I,mJAAmJ;gBACnJ,mCAAmC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,CACxE,CAAC;QACH,CAAC;QACD,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,mFAAmF;IACnF,MAAM,OAAO,GAAG,KAAK;SACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACzC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACf,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,MAAM;QAC/B,EAAE,EAAE,IAAI,CAAC,MAAM;KACf,CAAC,CAAC,CAAC;IACL,MAAM,MAAM,GAAe,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC1E,IAAI,SAAS,KAAK,SAAS;QAAE,MAAM,CAAC,SAAS,GAAG,SAAS,CAAC;IAC1D,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAkB,EAAE,KAAgB;IACpE,OAAO,EAAE,aAAa,EAAE,2BAA2B,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7F,CAAC;AAQD,SAAS,iBAAiB,CAAC,KAAc;IACxC,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,eAAe,CAAC,OAAmB;IAClD,IAAI,KAAK,GAAG,iBAAiB,CAAC,OAAO,IAAI,gBAAgB,CAAC,CAAC;IAC3D,OAAO;QACN,QAAQ;YACP,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,YAAY,CAAC,IAAe;YAC3B,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,CAAC,MAAkB;YACzB,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5D,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;YACpB,OAAO,OAAO,CAAC;QAChB,CAAC;KACD,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,sBAAsB,CAAC,KAAc;IAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9G,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,cAAc;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QACtB,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,SAAS,CAAC;QAChE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;QAChC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,WAAW,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACrF,IAAI,OAAO,KAAK,aAAa,CAAC,OAAO,CAAC,IAAI,WAAW,KAAK,aAAa,CAAC,WAAW,CAAC;YAAE,OAAO,SAAS,CAAC;QACvG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,uBAAuB;YAAE,OAAO,SAAS,CAAC;QAC3E,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,2BAA2B;YAAE,OAAO,SAAS,CAAC;QACvF,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACZ,IAAI,EAAE,GAAG,KAAK;YAAE,KAAK,GAAG,EAAE,CAAC;QAC3B,IAAI,MAAM,KAAK,aAAa;YAAE,WAAW,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,WAAW,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA2D;IAChG,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,EAAE,CAAC,CAAC;IAC1D,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACzD,0EAA0E;QAC1E,yEAAyE;QACzE,qCAAqC;QACrC,IAAI,CAAC;YACJ,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAS;YAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;YAC9B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,QAAQ,KAAK,cAAc;gBAAE,SAAS;YACzG,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,aAAa,KAAK,2BAA2B;gBAAE,SAAS;YAC1F,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpD,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACR,kDAAkD;QACnD,CAAC;IACF,CAAC;IACD,OAAO,cAAc,CAAC,gBAAgB,CAAC,CAAC;AACzC,CAAC","sourcesContent":["/**\n * todo/state.ts — v3 pure state core: closure-scoped store, atomic patch\n * application (delete, then update, then create), snapshot cloning, and\n * branch replay. No session registry, metadata, dependency graph, tombstones,\n * filters, or legacy normalizers.\n *\n * The patch shape is designed so every value a strict sampler may fill in for\n * an unused field ([], \"\", null already stripped by validation) is a no-op:\n * empty groups do nothing, blank update text keeps the current value, and\n * deleting an absent id is recorded rather than rejected.\n */\nimport {\n\tTODO_MAX_BATCH_ITEMS,\n\tTODO_MAX_DESCRIPTION_LENGTH,\n\tTODO_MAX_ITEMS,\n\tTODO_MAX_SUBJECT_LENGTH,\n\tTODO_TOOL_NAME,\n} from \"./constants.ts\";\nimport {\n\tEMPTY_TODO_STATE,\n\tTODO_DETAILS_SCHEMA_VERSION,\n\ttype TodoChange,\n\ttype TodoDetails,\n\ttype TodoItem,\n\ttype TodoParams,\n\ttype TodoState,\n\ttype TodoStatus,\n} from \"./schema.ts\";\n\nconst TODO_STATUSES: ReadonlySet<TodoStatus> = new Set([\"pending\", \"in_progress\", \"completed\"]);\nconst GROUP_FIELDS: ReadonlySet<string> = new Set([\"create\", \"update\", \"delete\"]);\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n\treturn value !== null && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction isPositiveSafeInteger(value: unknown): value is number {\n\treturn typeof value === \"number\" && Number.isSafeInteger(value) && value >= 1;\n}\n\nfunction isTodoStatus(value: unknown): value is TodoStatus {\n\treturn typeof value === \"string\" && TODO_STATUSES.has(value as TodoStatus);\n}\n\n/** De-duplicate ids preserving first-seen input order. */\nfunction dedupeIds(ids: number[]): number[] {\n\tconst seen: number[] = [];\n\tfor (const id of ids) {\n\t\tif (!seen.includes(id)) seen.push(id);\n\t}\n\treturn seen;\n}\n\n/** Trim and collapse every internal whitespace run to a single space. */\nfunction normalizeText(value: string): string {\n\treturn value.trim().replace(/\\s+/g, \" \");\n}\n\n/** Required text (create): normalized, non-empty, within the limit. */\nfunction validateRequiredText(value: unknown, label: string, maximum: number): string {\n\tif (typeof value !== \"string\") throw new Error(`${label} must be a string`);\n\tconst normalized = normalizeText(value);\n\tif (!normalized) throw new Error(`${label} cannot be empty`);\n\tif (normalized.length > maximum) throw new Error(`${label} exceeds ${maximum} characters`);\n\treturn normalized;\n}\n\n/**\n * Optional text (update): normalized and within the limit, where blank means\n * \"keep the current value\" (undefined) so strict-mode filler stays harmless.\n */\nfunction validateOptionalText(value: unknown, label: string, maximum: number): string | undefined {\n\tif (value === undefined) return undefined;\n\tif (typeof value !== \"string\") throw new Error(`${label} must be a string`);\n\tconst normalized = normalizeText(value);\n\tif (!normalized) return undefined;\n\tif (normalized.length > maximum) throw new Error(`${label} exceeds ${maximum} characters`);\n\treturn normalized;\n}\n\nfunction validateOptionalStatus(value: unknown, label: string): TodoStatus | undefined {\n\tif (value === undefined) return undefined;\n\tif (!isTodoStatus(value)) throw new Error(`${label} is invalid`);\n\treturn value;\n}\n\ninterface CreateEntry {\n\tsubject: string;\n\tdescription: string;\n\tstatus?: TodoStatus;\n}\n\ninterface UpdateEntry {\n\tid: number;\n\tsubject?: string;\n\tdescription?: string;\n\tstatus?: TodoStatus;\n}\n\nfunction readCreateEntries(raw: unknown): CreateEntry[] {\n\tif (raw === undefined) return [];\n\tif (!Array.isArray(raw)) throw new Error(\"create must be an array\");\n\tif (raw.length > TODO_MAX_BATCH_ITEMS) throw new Error(`create exceeds ${TODO_MAX_BATCH_ITEMS} tasks`);\n\tconst entries: CreateEntry[] = [];\n\tfor (let index = 0; index < raw.length; index++) {\n\t\tconst item = raw[index];\n\t\tif (!isRecord(item)) throw new Error(`create[${index}] must be an object`);\n\t\tfor (const key of Object.keys(item)) {\n\t\t\tif (key !== \"subject\" && key !== \"description\" && key !== \"status\") {\n\t\t\t\tthrow new Error(\n\t\t\t\t\t`create[${index}].${key} is not a create field; valid fields: subject, description, status`,\n\t\t\t\t);\n\t\t\t}\n\t\t}\n\t\tconst entry: CreateEntry = {\n\t\t\tsubject: validateRequiredText(item.subject, `create[${index}].subject`, TODO_MAX_SUBJECT_LENGTH),\n\t\t\tdescription: validateRequiredText(\n\t\t\t\titem.description,\n\t\t\t\t`create[${index}].description`,\n\t\t\t\tTODO_MAX_DESCRIPTION_LENGTH,\n\t\t\t),\n\t\t};\n\t\tconst status = validateOptionalStatus(item.status, `create[${index}].status`);\n\t\tif (status !== undefined) entry.status = status;\n\t\tentries.push(entry);\n\t}\n\treturn entries;\n}\n\nfunction readUpdateEntries(raw: unknown): UpdateEntry[] {\n\tif (raw === undefined) return [];\n\tif (!Array.isArray(raw)) throw new Error(\"update must be an array\");\n\tif (raw.length > TODO_MAX_BATCH_ITEMS) throw new Error(`update exceeds ${TODO_MAX_BATCH_ITEMS} tasks`);\n\tconst entries: UpdateEntry[] = [];\n\tfor (let index = 0; index < raw.length; index++) {\n\t\tconst item = raw[index];\n\t\tif (!isRecord(item)) throw new Error(`update[${index}] must be an object`);\n\t\tfor (const key of Object.keys(item)) {\n\t\t\tif (key !== \"id\" && key !== \"subject\" && key !== \"description\" && key !== \"status\") {\n\t\t\t\tthrow new Error(\n\t\t\t\t\t`update[${index}].${key} is not an update field; valid fields: id, subject, description, status`,\n\t\t\t\t);\n\t\t\t}\n\t\t}\n\t\tif (!isPositiveSafeInteger(item.id)) throw new Error(`update[${index}].id must be a positive integer`);\n\t\tconst entry: UpdateEntry = { id: item.id };\n\t\tconst subject = validateOptionalText(item.subject, `update[${index}].subject`, TODO_MAX_SUBJECT_LENGTH);\n\t\tif (subject !== undefined) entry.subject = subject;\n\t\tconst description = validateOptionalText(\n\t\t\titem.description,\n\t\t\t`update[${index}].description`,\n\t\t\tTODO_MAX_DESCRIPTION_LENGTH,\n\t\t);\n\t\tif (description !== undefined) entry.description = description;\n\t\tconst status = validateOptionalStatus(item.status, `update[${index}].status`);\n\t\tif (status !== undefined) entry.status = status;\n\t\tentries.push(entry);\n\t}\n\treturn entries;\n}\n\nfunction readDeleteIds(raw: unknown): number[] {\n\tif (raw === undefined) return [];\n\tif (!Array.isArray(raw)) throw new Error(\"delete must be an array\");\n\tif (raw.length > TODO_MAX_BATCH_ITEMS) throw new Error(`delete exceeds ${TODO_MAX_BATCH_ITEMS} ids`);\n\tconst ids: number[] = [];\n\tfor (let index = 0; index < raw.length; index++) {\n\t\tif (!isPositiveSafeInteger(raw[index])) throw new Error(`delete[${index}] must be a positive integer id`);\n\t\tids.push(raw[index]);\n\t}\n\treturn ids;\n}\n\nfunction currentIdsLabel(state: TodoState): string {\n\tif (state.items.length === 0) return \"the list is empty\";\n\treturn `current ids: ${state.items.map((item) => `#${item.id}`).join(\", \")}`;\n}\n\n/** Snapshot clone: items are plain string/number records, so a shallow copy is safe. */\nexport function cloneTodoState(state: TodoState): TodoState {\n\treturn { items: state.items.map((item) => ({ ...item })), nextId: state.nextId };\n}\n\nexport interface TodoPatch {\n\tstate: TodoState;\n\tchange: TodoChange;\n}\n\n/**\n * Pure patch application: validates every runtime input (tool args can be\n * tampered after schema validation), throws on any invalid call, and never\n * mutates the input state. Application order is delete, then update, then\n * create, so a delete in the same call frees capacity for the create.\n */\nexport function applyTodoPatch(before: TodoState, params: TodoParams): TodoPatch {\n\tif (!isRecord(params)) throw new Error(\"todo params must be an object\");\n\tfor (const key of Object.keys(params)) {\n\t\tif (!GROUP_FIELDS.has(key)) throw new Error(`unknown todo field \"${key}\"; valid fields: create, update, delete`);\n\t}\n\n\t// Everything above the apply phase is validation: any throw leaves the\n\t// caller's state untouched.\n\tconst createEntries = readCreateEntries(params.create);\n\tconst updateEntries = readUpdateEntries(params.update);\n\tconst deleteIds = readDeleteIds(params.delete);\n\n\t// Conflicts: one edit per task per call, and a task cannot be both edited\n\t// and removed in the same call.\n\tconst updatedIds = new Set<number>();\n\tfor (const entry of updateEntries) {\n\t\tif (updatedIds.has(entry.id)) throw new Error(`#${entry.id} appears more than once in update`);\n\t\tupdatedIds.add(entry.id);\n\t}\n\tconst deleteSet = new Set(deleteIds);\n\tfor (const entry of updateEntries) {\n\t\tif (deleteSet.has(entry.id)) throw new Error(`#${entry.id} cannot be in both update and delete`);\n\t}\n\n\t// At most one activation per call: more than one is a real contradiction,\n\t// since a single task can be in_progress at any time.\n\tconst activations: string[] = [];\n\tcreateEntries.forEach((entry, index) => {\n\t\tif (entry.status === \"in_progress\") activations.push(`create[${index}]`);\n\t});\n\tfor (const entry of updateEntries) {\n\t\tif (entry.status === \"in_progress\") activations.push(`#${entry.id}`);\n\t}\n\tif (activations.length > 1) {\n\t\tthrow new Error(`at most one task may be set in_progress per call; got ${activations.join(\" and \")}`);\n\t}\n\n\tconst byId = new Map(before.items.map((item) => [item.id, item]));\n\tfor (const entry of updateEntries) {\n\t\tif (!byId.has(entry.id)) throw new Error(`#${entry.id} not found; ${currentIdsLabel(before)}`);\n\t}\n\n\tif (createEntries.length > 0) {\n\t\tif (!Number.isSafeInteger(before.nextId) || before.nextId < 1) throw new Error(\"next id is invalid\");\n\t\tif (before.nextId > Number.MAX_SAFE_INTEGER - createEntries.length) throw new Error(\"next id is exhausted\");\n\t}\n\n\t// --- Apply: delete -------------------------------------------------------\n\tconst deleted: Array<{ id: number; subject: string }> = [];\n\tconst absent: number[] = [];\n\tfor (const id of dedupeIds(deleteIds)) {\n\t\tconst item = byId.get(id);\n\t\tif (item) deleted.push({ id: item.id, subject: item.subject });\n\t\telse absent.push(id);\n\t}\n\tlet items = before.items.filter((item) => !deleteSet.has(item.id));\n\n\t// --- Apply: update -------------------------------------------------------\n\tif (updateEntries.length > 0) {\n\t\tconst entriesById = new Map(updateEntries.map((entry) => [entry.id, entry]));\n\t\titems = items.map((item) => {\n\t\t\tconst entry = entriesById.get(item.id);\n\t\t\tif (!entry) return item;\n\t\t\tconst next: TodoItem = {\n\t\t\t\tid: item.id,\n\t\t\t\tsubject: entry.subject ?? item.subject,\n\t\t\t\tdescription: entry.description ?? item.description,\n\t\t\t\tstatus: entry.status ?? item.status,\n\t\t\t};\n\t\t\treturn next;\n\t\t});\n\t}\n\n\t// --- Apply: create -------------------------------------------------------\n\tconst created: number[] = [];\n\tif (createEntries.length > 0) {\n\t\tconst newItems = createEntries.map((entry, index) => {\n\t\t\tconst item: TodoItem = {\n\t\t\t\tid: before.nextId + index,\n\t\t\t\tsubject: entry.subject,\n\t\t\t\tdescription: entry.description,\n\t\t\t\tstatus: entry.status ?? \"pending\",\n\t\t\t};\n\t\t\treturn item;\n\t\t});\n\t\tfor (const item of newItems) created.push(item.id);\n\t\titems = [...items, ...newItems];\n\t}\n\n\t// --- Single in_progress: the one task this call activates demotes the rest.\n\tlet demotedId: number | undefined;\n\tlet activatedId: number | undefined;\n\tfor (const entry of updateEntries) {\n\t\tif (entry.status === \"in_progress\") activatedId = entry.id;\n\t}\n\tif (activatedId === undefined) {\n\t\tcreateEntries.forEach((entry, index) => {\n\t\t\tif (entry.status === \"in_progress\") activatedId = before.nextId + index;\n\t\t});\n\t}\n\tif (activatedId !== undefined) {\n\t\tconst demoted = items.find((item) => item.id !== activatedId && item.status === \"in_progress\");\n\t\tif (demoted) {\n\t\t\tdemotedId = demoted.id;\n\t\t\titems = items.map((item) => (item.id === demoted.id ? { ...item, status: \"pending\" as const } : item));\n\t\t}\n\t}\n\n\t// --- Capacity: completed tasks are reclaimed oldest-first before a call\n\t// may fail for space; only a list that stays over the cap is rejected.\n\t// Tasks this call created or updated are never reclaimed: silently dropping\n\t// a task would be confusing when the same result reports it as touched.\n\tconst evicted: Array<{ id: number; subject: string }> = [];\n\tif (items.length > TODO_MAX_ITEMS) {\n\t\tlet overflow = items.length - TODO_MAX_ITEMS;\n\t\tconst evictIds = new Set<number>();\n\t\tconst touched = new Set<number>([...created, ...updatedIds]);\n\t\tconst completedOldestFirst = items\n\t\t\t.filter((item) => item.status === \"completed\" && !touched.has(item.id))\n\t\t\t.sort((first, second) => first.id - second.id);\n\t\tfor (const item of completedOldestFirst) {\n\t\t\tif (overflow <= 0) break;\n\t\t\tevictIds.add(item.id);\n\t\t\tevicted.push({ id: item.id, subject: item.subject });\n\t\t\toverflow--;\n\t\t}\n\t\tif (overflow > 0) {\n\t\t\tconst completedIds = before.items.filter((item) => item.status === \"completed\").map((item) => `#${item.id}`);\n\t\t\tthrow new Error(\n\t\t\t\t`at most ${TODO_MAX_ITEMS} tasks; complete or delete some first. Patch not applied. Tasks created or updated in this call are not reclaimed. ` +\n\t\t\t\t\t`Delete existing tasks in the same patch to free space (remove those ids from update), or complete tasks in a separate call before creating more. ` +\n\t\t\t\t\t`Completed ids before this call: ${completedIds.join(\", \") || \"none\"}.`,\n\t\t\t);\n\t\t}\n\t\titems = items.filter((item) => !evictIds.has(item.id));\n\t}\n\n\t// Report transitions only after activation and capacity have settled the snapshot.\n\tconst updated = items\n\t\t.filter((item) => updatedIds.has(item.id))\n\t\t.map((item) => ({\n\t\t\tid: item.id,\n\t\t\tfrom: byId.get(item.id)!.status,\n\t\t\tto: item.status,\n\t\t}));\n\tconst change: TodoChange = { created, updated, deleted, absent, evicted };\n\tif (demotedId !== undefined) change.demotedId = demotedId;\n\treturn { state: { items, nextId: before.nextId + created.length }, change };\n}\n\nexport function buildTodoDetails(change: TodoChange, state: TodoState): TodoDetails {\n\treturn { schemaVersion: TODO_DETAILS_SCHEMA_VERSION, change, state: cloneTodoState(state) };\n}\n\nexport interface TodoStore {\n\tgetState(): TodoState;\n\treplaceState(state: TodoState): void;\n\texecute(params: TodoParams): TodoDetails;\n}\n\nfunction requireValidState(value: unknown): TodoState {\n\tconst state = normalizeSnapshotState(value);\n\tif (!state) throw new Error(\"todo state is invalid\");\n\treturn state;\n}\n\n/** Closure-scoped store: one list per store, no module-global session state. */\nexport function createTodoStore(initial?: TodoState): TodoStore {\n\tlet state = requireValidState(initial ?? EMPTY_TODO_STATE);\n\treturn {\n\t\tgetState() {\n\t\t\treturn cloneTodoState(state);\n\t\t},\n\t\treplaceState(next: TodoState) {\n\t\t\tstate = requireValidState(next);\n\t\t},\n\t\texecute(params: TodoParams): TodoDetails {\n\t\t\tconst patch = applyTodoPatch(state, params);\n\t\t\tconst details = buildTodoDetails(patch.change, patch.state);\n\t\t\tstate = patch.state;\n\t\t\treturn details;\n\t\t},\n\t};\n}\n\n/**\n * Validate an external v3 snapshot; returns undefined when malformed.\n *\n * Snapshot text must already be in normalizeText() form, which makes that\n * function's output part of the v3 persistence contract: relaxing or changing\n * it would silently invalidate every historical snapshot, falling back to an\n * earlier one or to the empty state with no diagnostic. Change normalizeText\n * only together with TODO_DETAILS_SCHEMA_VERSION.\n */\nfunction normalizeSnapshotState(value: unknown): TodoState | undefined {\n\tif (!isRecord(value) || !Array.isArray(value.items) || !isPositiveSafeInteger(value.nextId)) return undefined;\n\tif (value.items.length > TODO_MAX_ITEMS) return undefined;\n\tconst items: TodoItem[] = [];\n\tconst ids = new Set<number>();\n\tlet maxId = 0;\n\tlet activeCount = 0;\n\tfor (const rawItem of value.items) {\n\t\tif (!isRecord(rawItem)) return undefined;\n\t\tconst id = rawItem.id;\n\t\tif (!isPositiveSafeInteger(id) || ids.has(id)) return undefined;\n\t\tconst subject = rawItem.subject;\n\t\tconst description = rawItem.description;\n\t\tconst status = rawItem.status;\n\t\tif (typeof subject !== \"string\" || typeof description !== \"string\") return undefined;\n\t\tif (subject !== normalizeText(subject) || description !== normalizeText(description)) return undefined;\n\t\tif (!subject || subject.length > TODO_MAX_SUBJECT_LENGTH) return undefined;\n\t\tif (!description || description.length > TODO_MAX_DESCRIPTION_LENGTH) return undefined;\n\t\tif (!isTodoStatus(status)) return undefined;\n\t\tids.add(id);\n\t\tif (id > maxId) maxId = id;\n\t\tif (status === \"in_progress\") activeCount++;\n\t\titems.push({ id, subject, description, status });\n\t}\n\tif (activeCount > 1) return undefined;\n\tif (value.nextId <= maxId) return undefined;\n\treturn { items, nextId: value.nextId };\n}\n\n/**\n * Replay the newest valid v3 todo snapshot from a branch, scanning tail to\n * head so a malformed latest snapshot falls back to an earlier valid one.\n * Older schema versions (v1/v2) are ignored: restoring a session written\n * before v3 starts from an empty list.\n */\nexport function replayTodosFromBranch(ctx: { sessionManager: { getBranch(): Iterable<unknown> } }): TodoState {\n\tconst branch = Array.from(ctx.sessionManager.getBranch());\n\tfor (let index = branch.length - 1; index >= 0; index--) {\n\t\t// Session history is external input, so every field read stays inside the\n\t\t// guard: a hostile entry falls through to an earlier snapshot instead of\n\t\t// escaping to the lifecycle handler.\n\t\ttry {\n\t\t\tconst entry = branch[index];\n\t\t\tif (!isRecord(entry) || entry.type !== \"message\") continue;\n\t\t\tconst message = entry.message;\n\t\t\tif (!isRecord(message) || message.role !== \"toolResult\" || message.toolName !== TODO_TOOL_NAME) continue;\n\t\t\tconst details = message.details;\n\t\t\tif (!isRecord(details) || details.schemaVersion !== TODO_DETAILS_SCHEMA_VERSION) continue;\n\t\t\tconst state = normalizeSnapshotState(details.state);\n\t\t\tif (state) return state;\n\t\t} catch {\n\t\t\t// Keep scanning for an earlier valid v3 snapshot.\n\t\t}\n\t}\n\treturn cloneTodoState(EMPTY_TODO_STATE);\n}\n"]}

package/dist/extensions/todo/view.d.ts

@@ -1,36 +0,0 @@
-/**
- * todo/view.ts — v3 presentation: the one-line above-editor widget renderer,
- * tool call/group renderers, the /todos list formatter, and model-facing
- * result text. Wire input (args, details, snapshots) is read defensively and
- * bounded so partial or hostile input cannot grow output without limit.
- */
-import type { AgentToolResult } from "../../core/extensions/types.ts";
-import type { Theme } from "../../modes/interactive/theme/theme.ts";
-import { type TodoChange, type TodoParams, type TodoState, type TodoStatus } from "./schema.ts";
-export declare const STATUS_MARK: Record<TodoStatus, string>;
-/** True while any open task exists; the widget is registered only in that case. */
-export declare function hasOpenTodos(state: TodoState): boolean;
-/** One-line widget: `Todos 2/6 · [>] #4 s  [ ] #5 s  +N more`; only hidden open tasks count in the overflow. */
-export declare function renderWidgetLine(state: TodoState, theme: Theme, width: number): string[];
-/** `Todos: X in progress, Y pending, Z completed` header plus two-line tasks. */
-declare function formatTodoList(state: TodoState): string;
-/** /todos command output: full list, subject line plus indented description per task. */
-export declare const formatCommandList: typeof formatTodoList;
-/**
- * One-line change summary for a completed call, e.g.
- * `Created 1 task: #7: Wire parser (in_progress); Updated #1 (pending -> completed): S; demoted #5 to pending; auto-removed completed #1–#3 to stay within 20`.
- * A call that changed nothing (including `{}`) returns the full list.
- */
-export declare function formatTodoContent(change: TodoChange, state: TodoState): string;
-type TodoCallArgs = Partial<Record<keyof TodoParams, unknown>>;
-/** One-line call summary when collapsed; headline plus details when expanded. */
-export declare function formatTodoCall(args: TodoCallArgs | undefined, theme: Theme, expanded: boolean, result?: AgentToolResult<unknown>): string;
-export interface TodoSummaryContext {
-    isError: boolean;
-    isPartial: boolean;
-    result?: AgentToolResult<unknown>;
-}
-/** Compact result-aware one-line summary of a collapsed todo row. */
-export declare function formatTodoSummary(args: TodoCallArgs | undefined, theme: Theme, context: TodoSummaryContext): string;
-export {};
-//# sourceMappingURL=view.d.ts.map

package/dist/extensions/todo/view.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../src/extensions/todo/view.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wCAAwC,CAAC;AAOpE,OAAO,EAEN,KAAK,UAAU,EAEf,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,UAAU,EACf,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAIlD,CAAC;AAmBF,mFAAmF;AACnF,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAEtD;AAsBD,gHAAgH;AAChH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAwDxF;AAID,iFAAiF;AACjF,iBAAS,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAYhD;AAED,yFAAyF;AACzF,eAAO,MAAM,iBAAiB,uBAAiB,CAAC;AAUhD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,GAAG,MAAM,CA+B9E;AASD,KAAK,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAkR/D,iFAAiF;AACjF,wBAAgB,cAAc,CAC7B,IAAI,EAAE,YAAY,GAAG,SAAS,EAC9B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,OAAO,EACjB,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,GAC/B,MAAM,CAGR;AAiID,MAAM,WAAW,kBAAkB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC;CAClC;AAED,qEAAqE;AACrE,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,GAAG,MAAM,CAyBnH"}