things-api 0.5.0

package/dist/write/pre-state.js

@@ -0,0 +1,299 @@
+import { encodePackedDate, localToday } from "../model/dates.js";
+import { TASK_STATUS_FROM_DB } from "../model/entities.js";
+import { byUuid } from "../read/detail.js";
+export function emptyPreState() {
+    return {
+        target: null,
+        destProject: null,
+        destProjectStatus: null,
+        destArea: null,
+        destHeading: null,
+        missingTags: [],
+        parentTag: null,
+        entityTarget: null,
+        childTags: [],
+        openChildren: [],
+        canceledChildren: [],
+        completedChildren: [],
+        checklistCount: 0,
+        trashedCount: 0,
+        existingEntityUuids: [],
+        sameTitleUuids: [],
+        reorder: null,
+    };
+}
+function resolveByTitleOrUuid(db, table, ref) {
+    const byId = db.prepare(`SELECT uuid, title FROM ${table} WHERE uuid = ?`).get(ref);
+    if (byId !== undefined)
+        return { resolved: byId, matches: 1 };
+    const rows = db
+        .prepare(`SELECT uuid, title FROM ${table} WHERE title = ? COLLATE NOCASE`)
+        .all(ref);
+    const first = rows[0];
+    return {
+        resolved: rows.length === 1 && first !== undefined ? first : null,
+        matches: rows.length,
+    };
+}
+export function resolveArea(db, ref) {
+    return resolveByTitleOrUuid(db, "TMArea", ref.uuid ?? ref.title ?? "");
+}
+export function resolveProject(db, ref) {
+    const key = ref.uuid ?? ref.title ?? "";
+    const byId = db
+        .prepare("SELECT uuid, title FROM TMTask WHERE uuid = ? AND type = 1 AND trashed = 0")
+        .get(key);
+    if (byId !== undefined)
+        return { resolved: byId, matches: 1 };
+    const rows = db
+        .prepare("SELECT uuid, title FROM TMTask WHERE title = ? COLLATE NOCASE AND type = 1 AND trashed = 0")
+        .all(key);
+    const first = rows[0];
+    return {
+        resolved: rows.length === 1 && first !== undefined ? first : null,
+        matches: rows.length,
+    };
+}
+export function resolveHeading(db, projectUuid, headingTitle) {
+    const rows = db
+        .prepare("SELECT uuid, title FROM TMTask WHERE type = 2 AND trashed = 0 AND project = ? AND title = ? COLLATE NOCASE")
+        .all(projectUuid, headingTitle);
+    const first = rows[0];
+    return {
+        resolved: rows.length === 1 && first !== undefined ? first : null,
+        matches: rows.length,
+    };
+}
+export function projectStatus(db, uuid) {
+    const row = db.prepare("SELECT status FROM TMTask WHERE uuid = ? AND type = 1").get(uuid);
+    if (row === undefined)
+        return null;
+    return TASK_STATUS_FROM_DB[row.status] ?? null;
+}
+export function missingTagTitles(db, titles) {
+    return titles.filter((t) => db.prepare("SELECT 1 FROM TMTag WHERE title = ? COLLATE NOCASE").get(t) === undefined);
+}
+export function resolveTag(db, ref) {
+    return resolveByTitleOrUuid(db, "TMTag", ref);
+}
+export function loadTarget(db, uuid) {
+    return byUuid(db, uuid);
+}
+export function projectChildren(db, projectUuid) {
+    const rows = db
+        .prepare("SELECT uuid FROM TMTask WHERE type = 0 AND trashed = 0 AND (project = ? OR heading IN " +
+        "(SELECT uuid FROM TMTask WHERE type = 2 AND project = ?))")
+        .all(projectUuid, projectUuid);
+    const todos = [];
+    for (const r of rows) {
+        const t = byUuid(db, r.uuid);
+        if (t !== null && t.type === "to-do")
+            todos.push(t);
+    }
+    return todos;
+}
+/**
+ * Titles of every DESCENDANT tag under the given tag (excluding itself).
+ * Deleting the parent CASCADE-DELETES all of these (P16) — the guard lists
+ * them. UNION (not UNION ALL): a parent cycle must terminate, not hang.
+ */
+export function childTagTitles(db, tagUuid) {
+    const rows = db
+        .prepare(`WITH RECURSIVE d(uuid) AS (
+         SELECT ? UNION SELECT t.uuid FROM TMTag t JOIN d ON t.parent = d.uuid
+       )
+       SELECT t.title FROM TMTag t JOIN d ON t.uuid = d.uuid WHERE t.uuid != ?`)
+        .all(tagUuid, tagUuid);
+    return rows.map((r) => r.title);
+}
+export function trashedCount(db) {
+    const row = db.prepare("SELECT COUNT(*) AS n FROM TMTask WHERE trashed = 1").get();
+    return row.n;
+}
+export function isRepeatingTemplate(task) {
+    return task !== null && task.type !== "heading" && task.repeating.isTemplate;
+}
+const NOT_TEMPLATE_ROW = "(rt1_recurrenceRule IS NULL AND repeater IS NULL)";
+/**
+ * Scope membership + full wire list for `reorder`. Eligibility mirrors the
+ * lab evidence exactly:
+ *  - today:   Today members with raw startBucket=0, to-dos AND projects
+ *             (O01/O03/O12), by todayIndex. Bucket-1 members are listed as
+ *             rejected candidates — including one silently de-evenings it
+ *             (O03), so the guard refuses.
+ *  - evening: raw startBucket=1 AND startDate == today exactly (evening
+ *             membership expires daily), by todayIndex. Bounce-only (O03).
+ *  - project: un-headed open to-do children, by "index" (O04/O09/O11);
+ *             headed children are rejected candidates (O06 rips them out).
+ *  - area:    direct open area to-dos (O05/O10) AND projects (O14), by
+ *             "index" — but only SAME-TYPE requests; mixed wire lists are
+ *             unprobed and the guard rejects them.
+ *  - inbox:   unscheduled to-dos with no container (start=0), by "index"
+ *             (A6/P8a — the command ranks the sent list in order).
+ *  - headings: the HEADING rows (type=2) of a project, by "index" (scf P1 —
+ *             the private command accepts heading uuids; children follow).
+ *  - someday: loose someday to-dos (start=2, no startDate, no container), by
+ *             "index". The Someday list handler is anchor-stacked (P6h/P7e/
+ *             P8b) — the compiler emits the validated two-call protocol.
+ *             Someday PROJECTS moved inconsistently across probes (P7a vs
+ *             P8c) and are rejected candidates until locked.
+ *  - projects: TOP-LEVEL sidebar projects (type=1, no area, start=1,
+ *             undated), by "index". Bounce-only: a when=someday ->
+ *             when=anytime round-trip front-inserts (P8e).
+ */
+export function computeReorderPre(db, params, containerUuid, now) {
+    const todayIso = localToday(now);
+    const packedToday = encodePackedDate(todayIso);
+    const key = params.scope === "today" || params.scope === "evening" ? "todayIndex" : "index";
+    const select = (where, binds, rankCol) => db
+        .prepare(`SELECT uuid, title, ${rankCol} AS rank, startBucket, type FROM TMTask
+         WHERE trashed = 0 AND status = 0 AND ${NOT_TEMPLATE_ROW} AND ${where}
+         ORDER BY ${rankCol} ASC`)
+        .all(...binds);
+    let members = [];
+    const rejectedCandidates = new Map();
+    switch (params.scope) {
+        case "today":
+        case "evening": {
+            const all = select("type IN (0, 1) AND startDate IS NOT NULL AND startDate <= ? AND start IN (1, 2)", [packedToday], "todayIndex");
+            if (params.scope === "today") {
+                members = all.filter((m) => m.startBucket === 0);
+                for (const m of all) {
+                    if (m.startBucket === 1) {
+                        rejectedCandidates.set(m.uuid, "is an evening-bucket item — a native Today reorder would silently de-evening " +
+                            "it (O03); use scope 'evening' for it instead");
+                    }
+                }
+            }
+            else {
+                // Evening membership expires daily: only exact-today bucket-1 rows.
+                members = all.filter((m) => m.startBucket === 1 && rowStartDate(db, m.uuid) === packedToday);
+                for (const m of all) {
+                    if (!members.some((e) => e.uuid === m.uuid)) {
+                        rejectedCandidates.set(m.uuid, m.startBucket === 1
+                            ? "is a STALE evening item (startDate in the past) — it renders in Today " +
+                                "proper; re-schedule it before reordering"
+                            : "is in the Today section, not This Evening — use scope 'today'");
+                    }
+                }
+            }
+            break;
+        }
+        case "project": {
+            members = select("type = 0 AND heading IS NULL AND project = ?", [containerUuid ?? ""], `"index"`);
+            const headed = db
+                .prepare(`SELECT t.uuid FROM TMTask t JOIN TMTask h ON t.heading = h.uuid
+           WHERE t.trashed = 0 AND t.type = 0 AND h.project = ?`)
+                .all(containerUuid ?? "");
+            for (const r of headed) {
+                rejectedCandidates.set(r.uuid, "is inside a heading — a project-scope reorder RIPS headed children out of " +
+                    "their heading (O06); heading-scoped ordering is not automatable");
+            }
+            break;
+        }
+        case "area": {
+            members = select("type IN (0, 1) AND heading IS NULL AND area = ?", [containerUuid ?? ""], `"index"`);
+            break;
+        }
+        case "inbox": {
+            // Inbox = unscheduled to-dos with no container (start=0, A6). Ranks on
+            // "index"; the private command re-ranks the full wire list exactly.
+            members = select("type = 0 AND start = 0", [], `"index"`);
+            break;
+        }
+        case "headings": {
+            members = select("type = 2 AND project = ?", [containerUuid ?? ""], `"index"`);
+            break;
+        }
+        case "someday": {
+            members = select("type = 0 AND start = 2 AND startDate IS NULL AND project IS NULL AND area IS NULL " +
+                "AND heading IS NULL", [], `"index"`);
+            const projects = db
+                .prepare(`SELECT uuid FROM TMTask WHERE trashed = 0 AND status = 0 AND type = 1
+           AND start = 2 AND startDate IS NULL`)
+                .all();
+            for (const r of projects) {
+                rejectedCandidates.set(r.uuid, "is a someday PROJECT — the Someday handler moved projects inconsistently across " +
+                    "probes (P7a/P8c); only loose someday to-dos reorder in this scope");
+            }
+            break;
+        }
+        case "projects": {
+            members = select("type = 1 AND area IS NULL AND start = 1 AND startDate IS NULL", [], `"index"`);
+            const others = db
+                .prepare(`SELECT uuid, area, start, startDate FROM TMTask
+           WHERE trashed = 0 AND status = 0 AND type = 1
+           AND NOT (area IS NULL AND start = 1 AND startDate IS NULL)`)
+                .all();
+            for (const r of others) {
+                rejectedCandidates.set(r.uuid, r.area !== null
+                    ? "lives in an area — use scope 'area' (projects within an area reorder natively, O14)"
+                    : "is not a plain Anytime project — the bounce round-trip (when=someday -> " +
+                        "when=anytime) only preserves state for undated start=anytime projects (P8e)");
+            }
+            break;
+        }
+    }
+    const seen = new Set();
+    const duplicates = [];
+    for (const uuid of params.uuids) {
+        if (seen.has(uuid) && !duplicates.includes(uuid))
+            duplicates.push(uuid);
+        seen.add(uuid);
+    }
+    const memberSet = new Map(members.map((m) => [m.uuid, m]));
+    const rejected = [];
+    const projectMembers = [];
+    for (const uuid of params.uuids) {
+        const member = memberSet.get(uuid);
+        if (member === undefined) {
+            rejected.push({
+                uuid,
+                reason: rejectedCandidates.get(uuid) ?? "is not an open member of this scope",
+            });
+            continue;
+        }
+        if (member.type === 1)
+            projectMembers.push(uuid);
+    }
+    const requestedTypes = new Set(params.uuids.map((u) => memberSet.get(u)?.type).filter((t) => t !== undefined));
+    const mixedTypes = params.scope === "area" && requestedTypes.size > 1;
+    // Area scope pins ONLY the requested type's cohort: to-dos and projects
+    // rank on "index" independently in the sidebar, and a mixed wire list is
+    // unprobed (O05/O10 vs O14) — same-type extension keeps the send inside
+    // validated territory. Other scopes extend with every member (today's
+    // mixed to-do+project wire list IS validated, O12).
+    const uniformType = params.scope === "area" && requestedTypes.size === 1;
+    const requestedType = [...requestedTypes][0];
+    const requested = new Set(params.uuids);
+    const wireList = [
+        ...params.uuids,
+        ...members
+            .filter((m) => !requested.has(m.uuid))
+            .filter((m) => !uniformType || m.type === requestedType)
+            .map((m) => m.uuid),
+    ];
+    return {
+        key,
+        members: members.map((m) => ({
+            uuid: m.uuid,
+            title: m.title,
+            rank: m.rank,
+            startBucket: m.startBucket,
+            type: m.type,
+        })),
+        rejected,
+        duplicates,
+        projectMembers,
+        mixedTypes,
+        wireList,
+    };
+}
+function rowStartDate(db, uuid) {
+    const row = db.prepare("SELECT startDate FROM TMTask WHERE uuid = ?").get(uuid);
+    return row?.startDate ?? null;
+}
+export function projectOf(task) {
+    return task !== null && task.type === "project" ? task : null;
+}
+//# sourceMappingURL=pre-state.js.map

package/dist/write/pre-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pre-state.js","sourceRoot":"","sources":["../../src/write/pre-state.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AA6E3C,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,WAAW,EAAE,IAAI;QACjB,iBAAiB,EAAE,IAAI;QACvB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,EAAE;QACf,SAAS,EAAE,IAAI;QACf,YAAY,EAAE,IAAI;QAClB,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,EAAE;QACpB,iBAAiB,EAAE,EAAE;QACrB,cAAc,EAAE,CAAC;QACjB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,EAAE;QACvB,cAAc,EAAE,EAAE;QAClB,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,EAAgB,EAChB,KAAyB,EACzB,GAAW;IAEX,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,2BAA2B,KAAK,iBAAiB,CAAC,CAAC,GAAG,CAAC,GAAG,CAErE,CAAC;IACd,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9D,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CAAC,2BAA2B,KAAK,iCAAiC,CAAC;SAC1E,GAAG,CAAC,GAAG,CAAmC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;QACjE,OAAO,EAAE,IAAI,CAAC,MAAM;KACrB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAgB,EAAE,GAAiB;IAC7D,OAAO,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,EAAgB,EAAE,GAAiB;IAChE,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CAAC,4EAA4E,CAAC;SACrF,GAAG,CAAC,GAAG,CAAkC,CAAC;IAC7C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9D,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,4FAA4F,CAC7F;SACA,GAAG,CAAC,GAAG,CAAmC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;QACjE,OAAO,EAAE,IAAI,CAAC,MAAM;KACrB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,EAAgB,EAChB,WAAmB,EACnB,YAAoB;IAEpB,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,4GAA4G,CAC7G;SACA,GAAG,CAAC,WAAW,EAAE,YAAY,CAAmC,CAAC;IACpE,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;QACjE,OAAO,EAAE,IAAI,CAAC,MAAM;KACrB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAgB,EAAE,IAAY;IAC1D,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,uDAAuD,CAAC,CAAC,GAAG,CAAC,IAAI,CAE3E,CAAC;IACd,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,EAAgB,EAAE,MAAgB;IACjE,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,SAAS,CAC7F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAgB,EAAE,GAAW;IACtD,OAAO,oBAAoB,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAgB,EAAE,IAAY;IACvD,OAAO,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAAgB,EAAE,WAAmB;IACnE,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,wFAAwF;QACtF,2DAA2D,CAC9D;SACA,GAAG,CAAC,WAAW,EAAE,WAAW,CAAuB,CAAC;IACvD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,EAAgB,EAAE,OAAe;IAC9D,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN;;;+EAGyE,CAC1E;SACA,GAAG,CAAC,OAAO,EAAE,OAAO,CAAwB,CAAC;IAChD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAgB;IAC3C,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC,GAAG,EAE/E,CAAC;IACF,OAAO,GAAG,CAAC,CAAC,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAoB;IACtD,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;AAC/E,CAAC;AAED,MAAM,gBAAgB,GAAG,mDAAmD,CAAC;AAU7E;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAgB,EAChB,MAAqB,EACrB,aAA4B,EAC5B,GAAS;IAET,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,WAAW,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,GAAG,GACP,MAAM,CAAC,KAAK,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;IAElF,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,KAA0B,EAAE,OAAe,EAAe,EAAE,CACzF,EAAE;SACC,OAAO,CACN,uBAAuB,OAAO;gDACU,gBAAgB,QAAQ,KAAK;oBACzD,OAAO,MAAM,CAC1B;SACA,GAAG,CAAC,GAAG,KAAK,CAA2B,CAAC;IAE7C,IAAI,OAAO,GAAgB,EAAE,CAAC;IAC9B,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAErD,QAAQ,MAAM,CAAC,KAAK,EAAE,CAAC;QACrB,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,GAAG,GAAG,MAAM,CAChB,iFAAiF,EACjF,CAAC,WAAW,CAAC,EACb,YAAY,CACb,CAAC;YACF,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;gBAC7B,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;gBACjD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;oBACpB,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;wBACxB,kBAAkB,CAAC,GAAG,CACpB,CAAC,CAAC,IAAI,EACN,+EAA+E;4BAC7E,8CAA8C,CACjD,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,oEAAoE;gBACpE,OAAO,GAAG,GAAG,CAAC,MAAM,CAClB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,IAAI,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,WAAW,CACvE,CAAC;gBACF,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;oBACpB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5C,kBAAkB,CAAC,GAAG,CACpB,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,WAAW,KAAK,CAAC;4BACjB,CAAC,CAAC,wEAAwE;gCACtE,0CAA0C;4BAC9C,CAAC,CAAC,+DAA+D,CACpE,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,OAAO,GAAG,MAAM,CACd,8CAA8C,EAC9C,CAAC,aAAa,IAAI,EAAE,CAAC,EACrB,SAAS,CACV,CAAC;YACF,MAAM,MAAM,GAAG,EAAE;iBACd,OAAO,CACN;gEACsD,CACvD;iBACA,GAAG,CAAC,aAAa,IAAI,EAAE,CAAuB,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,kBAAkB,CAAC,GAAG,CACpB,CAAC,CAAC,IAAI,EACN,4EAA4E;oBAC1E,iEAAiE,CACpE,CAAC;YACJ,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,GAAG,MAAM,CACd,iDAAiD,EACjD,CAAC,aAAa,IAAI,EAAE,CAAC,EACrB,SAAS,CACV,CAAC;YACF,MAAM;QACR,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,uEAAuE;YACvE,oEAAoE;YACpE,OAAO,GAAG,MAAM,CAAC,wBAAwB,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAC1D,MAAM;QACR,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,OAAO,GAAG,MAAM,CAAC,0BAA0B,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YAC/E,MAAM;QACR,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,OAAO,GAAG,MAAM,CACd,oFAAoF;gBAClF,qBAAqB,EACvB,EAAE,EACF,SAAS,CACV,CAAC;YACF,MAAM,QAAQ,GAAG,EAAE;iBAChB,OAAO,CACN;+CACqC,CACtC;iBACA,GAAG,EAAwB,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,kBAAkB,CAAC,GAAG,CACpB,CAAC,CAAC,IAAI,EACN,kFAAkF;oBAChF,mEAAmE,CACtE,CAAC;YACJ,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,OAAO,GAAG,MAAM,CACd,+DAA+D,EAC/D,EAAE,EACF,SAAS,CACV,CAAC;YACF,MAAM,MAAM,GAAG,EAAE;iBACd,OAAO,CACN;;sEAE4D,CAC7D;iBACA,GAAG,EAAsF,CAAC;YAC7F,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,kBAAkB,CAAC,GAAG,CACpB,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,IAAI,KAAK,IAAI;oBACb,CAAC,CAAC,qFAAqF;oBACvF,CAAC,CAAC,0EAA0E;wBACxE,6EAA6E,CACpF,CAAC;YACJ,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAuC,EAAE,CAAC;IACxD,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,MAAM,EAAE,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,qCAAqC;aAC9E,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAC/E,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC,CAAC;IAEtE,wEAAwE;IACxE,yEAAyE;IACzE,wEAAwE;IACxE,sEAAsE;IACtE,oDAAoD;IACpD,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG;QACf,GAAG,MAAM,CAAC,KAAK;QACf,GAAG,OAAO;aACP,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;aACvD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACtB,CAAC;IAEF,OAAO;QACL,GAAG;QACH,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,IAAI,EAAE,CAAC,CAAC,IAAI;SACb,CAAC,CAAC;QACH,QAAQ;QACR,UAAU;QACV,cAAc;QACd,UAAU;QACV,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,EAAgB,EAAE,IAAY;IAClD,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC,GAAG,CAAC,IAAI,CAEjE,CAAC;IACd,OAAO,GAAG,EAAE,SAAS,IAAI,IAAI,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAoB;IAC5C,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC"}

package/dist/write/reopen.d.ts

@@ -0,0 +1,29 @@
+/**
+ * project.reopen orchestrator. The bare op reopens ONLY the project row
+ * (P02/P05 — the app leaves cascade-resolved children resolved). With
+ * restoreChildren, children that were resolved BY THE CASCADE are reopened
+ * too, identified by the P03-validated timing window: same resolved status
+ * as the project and a stopDate within CASCADE_WINDOW_SECONDS of the
+ * project's. Each child reopen is a full verified mutation.
+ */
+import { type MutationResult, type WriteDeps, type WriteOptions } from "./pipeline.ts";
+/** P03: cascade writes stamp children within <2s of the project row. */
+export declare const CASCADE_WINDOW_SECONDS = 2;
+export interface ProjectReopenResult {
+    project: MutationResult;
+    /** Per-child verified reopen results (restoreChildren only). */
+    children: {
+        uuid: string;
+        title: string;
+        result: MutationResult;
+    }[];
+}
+export interface ProjectReopenOptions extends WriteOptions {
+    /**
+     * Also reopen children the completion/cancellation cascade resolved —
+     * detected via the stopDate window. Children resolved at other times
+     * (e.g. finished days earlier) are never touched (P04 semantics).
+     */
+    restoreChildren?: boolean;
+}
+export declare function runProjectReopen(deps: WriteDeps, uuid: string, options?: ProjectReopenOptions): Promise<ProjectReopenResult>;

package/dist/write/reopen.js

@@ -0,0 +1,63 @@
+/**
+ * project.reopen orchestrator. The bare op reopens ONLY the project row
+ * (P02/P05 — the app leaves cascade-resolved children resolved). With
+ * restoreChildren, children that were resolved BY THE CASCADE are reopened
+ * too, identified by the P03-validated timing window: same resolved status
+ * as the project and a stopDate within CASCADE_WINDOW_SECONDS of the
+ * project's. Each child reopen is a full verified mutation.
+ */
+import { runMutation } from "./pipeline.js";
+/** P03: cascade writes stamp children within <2s of the project row. */
+export const CASCADE_WINDOW_SECONDS = 2;
+function cascadeCandidates(deps, projectUuid) {
+    return deps.db
+        .prepare(`SELECT c.uuid, c.title FROM TMTask c
+       JOIN TMTask p ON p.uuid = ?
+       WHERE c.trashed = 0 AND c.type = 0 AND c.status = p.status AND c.status != 0
+         AND c.stopDate IS NOT NULL AND p.stopDate IS NOT NULL
+         AND abs(c.stopDate - p.stopDate) < ?
+         AND (c.project = p.uuid OR c.heading IN
+              (SELECT uuid FROM TMTask WHERE type = 2 AND project = p.uuid))`)
+        .all(projectUuid, CASCADE_WINDOW_SECONDS);
+}
+export async function runProjectReopen(deps, uuid, options = {}) {
+    const { restoreChildren, ...writeOptions } = options;
+    // Candidates must be computed BEFORE the reopen clears the project's
+    // stopDate (the window is relative to it).
+    const candidates = restoreChildren === true ? cascadeCandidates(deps, uuid) : [];
+    const project = await runMutation(deps, "project.reopen", { uuid }, writeOptions);
+    const children = [];
+    if (project.kind === "ok" || project.kind === "dry-run") {
+        for (const child of candidates) {
+            if (project.kind === "dry-run") {
+                children.push({
+                    uuid: child.uuid,
+                    title: child.title,
+                    result: {
+                        kind: "dry-run",
+                        op: "todo.reopen",
+                        plan: {
+                            op: "todo.reopen",
+                            vector: "applescript",
+                            tier: 0,
+                            invocation: `(cascade restore) reopen ${child.title}`,
+                            expectedDelta: {
+                                mode: "state",
+                                uuid: child.uuid,
+                                assert: [{ field: "status", equals: "open" }],
+                            },
+                            hazardsChecked: [],
+                        },
+                    },
+                });
+                continue;
+            }
+            const result = await runMutation(deps, "todo.reopen", { uuid: child.uuid }, writeOptions);
+            children.push({ uuid: child.uuid, title: child.title, result });
+            if (result.kind !== "ok")
+                break; // stop compounding on a failed leg
+        }
+    }
+    return { project, children };
+}
+//# sourceMappingURL=reopen.js.map

package/dist/write/reopen.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reopen.js","sourceRoot":"","sources":["../../src/write/reopen.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,WAAW,EAA0D,MAAM,eAAe,CAAC;AAEpG,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAsBxC,SAAS,iBAAiB,CAAC,IAAe,EAAE,WAAmB;IAC7D,OAAO,IAAI,CAAC,EAAE;SACX,OAAO,CACN;;;;;;6EAMuE,CACxE;SACA,GAAG,CAAC,WAAW,EAAE,sBAAsB,CAAkC,CAAC;AAC/E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAe,EACf,IAAY,EACZ,UAAgC,EAAE;IAElC,MAAM,EAAE,eAAe,EAAE,GAAG,YAAY,EAAE,GAAG,OAAO,CAAC;IACrD,qEAAqE;IACrE,2CAA2C;IAC3C,MAAM,UAAU,GAAG,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEjF,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IAClF,MAAM,QAAQ,GAAoC,EAAE,CAAC;IACrD,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACxD,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,MAAM,EAAE;wBACN,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,aAAa;wBACjB,IAAI,EAAE;4BACJ,EAAE,EAAE,aAAa;4BACjB,MAAM,EAAE,aAAa;4BACrB,IAAI,EAAE,CAAC;4BACP,UAAU,EAAE,4BAA4B,KAAK,CAAC,KAAK,EAAE;4BACrD,aAAa,EAAE;gCACb,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,KAAK,CAAC,IAAI;gCAChB,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;6BAC9C;4BACD,cAAc,EAAE,EAAE;yBACnB;qBACF;iBACF,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YAChE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,MAAM,CAAC,mCAAmC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC"}

package/dist/write/reorder.d.ts

@@ -0,0 +1,19 @@
+import type { ReorderParams } from "./operations.ts";
+import { type MutationResult, type WriteDeps, type WriteOptions } from "./pipeline.ts";
+/**
+ * Bounce cost is 2 verified mutations per item; beyond this the today scope
+ * should use the native strategy and the evening scope should be re-thought.
+ */
+export declare const BOUNCE_MAX_ITEMS = 10;
+export type ReorderResult = MutationResult | {
+    kind: "bounce-aborted";
+    op: "reorder";
+    detail: string;
+    /** Uuids already placed (they ARE at the top, in requested order). */
+    placed: string[];
+    /** Uuids not yet placed (still in their prior positions). */
+    remaining: string[];
+    /** The failing leg's result when a mutation failed (null = state check). */
+    cause: MutationResult | null;
+};
+export declare function runReorder(deps: WriteDeps, params: ReorderParams, options?: WriteOptions): Promise<ReorderResult>;