things-api 0.8.0 → 0.10.0

package/dist/write/repeat-rule.js

@@ -0,0 +1,258 @@
+import { WEEKDAYS, } from "./operations.js";
+const FREQUENCIES = ["daily", "weekly", "monthly", "yearly"];
+/** Weekday name → rule encoding (wd 0 = Sunday). */
+export const WEEKDAY_TO_WD = {
+    sunday: 0,
+    monday: 1,
+    tuesday: 2,
+    wednesday: 3,
+    thursday: 4,
+    friday: 5,
+    saturday: 6,
+};
+/** Rule encoding (wd 0..6) → weekday name. */
+export const WD_TO_WEEKDAY = Object.fromEntries(Object.entries(WEEKDAY_TO_WD).map(([name, wd]) => [wd, name]));
+// --------------------------------------------------------------- validation
+function isRecord(v) {
+    return typeof v === "object" && v !== null;
+}
+function assertOrdinal(ordinal, where) {
+    if (ordinal === "last")
+        return;
+    if (!Number.isInteger(ordinal) || ordinal < 1 || ordinal > 5) {
+        throw new RangeError(`invalid ${where} ordinal ${JSON.stringify(ordinal)} — expected 1–5 or "last"`);
+    }
+}
+function assertWeekday(day, where) {
+    if (typeof day !== "string" || !WEEKDAYS.includes(day)) {
+        throw new RangeError(`invalid ${where} weekday ${JSON.stringify(day)} — expected ${WEEKDAYS.join(" | ")}`);
+    }
+}
+/** Validate a month/year day anchor (shared by monthly + yearly). */
+function assertMonthlyAnchor(anchor, where) {
+    if (!isRecord(anchor)) {
+        throw new RangeError(`${where} must be a day-of-month or nth-weekday anchor`);
+    }
+    const hasDay = "day" in anchor;
+    const hasWeekday = "weekday" in anchor || "ordinal" in anchor;
+    if (hasDay && hasWeekday) {
+        throw new RangeError(`${where} names both a day-of-month and a weekday — choose one (a day, OR a weekday + ordinal)`);
+    }
+    if (hasDay) {
+        const day = anchor["day"];
+        if (day === "last")
+            return;
+        if (!Number.isInteger(day) || day < 1 || day > 31) {
+            throw new RangeError(`invalid ${where} day ${JSON.stringify(day)} — expected 1–31 or "last"`);
+        }
+        return;
+    }
+    if (hasWeekday) {
+        assertWeekday(anchor["weekday"], where);
+        assertOrdinal(anchor["ordinal"], where);
+        return;
+    }
+    throw new RangeError(`${where} must name a day-of-month or a weekday + ordinal`);
+}
+function assertEnds(ends) {
+    switch (ends.kind) {
+        case "never":
+            return;
+        case "on-date":
+            if (!/^\d{4}-\d{2}-\d{2}$/.test(ends.date)) {
+                throw new RangeError(`invalid ends date ${JSON.stringify(ends.date)} — expected YYYY-MM-DD`);
+            }
+            return;
+        case "after":
+            if (!Number.isInteger(ends.count) || ends.count < 1 || ends.count > 999) {
+                throw new RangeError(`invalid ends count ${ends.count} — expected an integer 1–999`);
+            }
+            return;
+        default: {
+            const exhaustive = ends;
+            throw new RangeError(`unknown ends bound ${JSON.stringify(exhaustive)}`);
+        }
+    }
+}
+/**
+ * Validate the full extended rule vocabulary. The base `{ frequency, interval }`
+ * is always checked; every optional field is checked and REFUSED when it does
+ * not apply to the chosen frequency (or contradicts another field). Throws a
+ * RangeError with a behavioral message on any violation.
+ */
+export function assertRepeatRule(params) {
+    if (!FREQUENCIES.includes(params.frequency)) {
+        throw new RangeError(`invalid frequency "${params.frequency}" — expected ${FREQUENCIES.join(" | ")}`);
+    }
+    if (!Number.isInteger(params.interval) || params.interval < 1 || params.interval > 99) {
+        throw new RangeError(`invalid interval ${params.interval} — expected an integer 1–99`);
+    }
+    // After-completion has no calendar anchor: the day-of-week / monthly / yearly
+    // placements are meaningless when the next date is "N units after completion".
+    if (params.afterCompletion === true) {
+        if (params.weekdays !== undefined ||
+            params.monthly !== undefined ||
+            params.yearly !== undefined) {
+            throw new RangeError("an after-completion rule has no calendar day — remove weekdays/monthly/yearly, or drop afterCompletion for a fixed schedule");
+        }
+    }
+    if (params.weekdays !== undefined) {
+        if (params.frequency !== "weekly") {
+            throw new RangeError("weekdays apply only to a weekly rule");
+        }
+        if (params.weekdays.length === 0) {
+            throw new RangeError("weekdays must name at least one day");
+        }
+        const seen = new Set();
+        for (const day of params.weekdays) {
+            assertWeekday(day, "weekdays");
+            if (seen.has(day))
+                throw new RangeError(`weekdays repeats "${day}"`);
+            seen.add(day);
+        }
+    }
+    if (params.monthly !== undefined) {
+        if (params.frequency !== "monthly") {
+            throw new RangeError("monthly anchor applies only to a monthly rule");
+        }
+        assertMonthlyAnchor(params.monthly, "monthly");
+    }
+    if (params.yearly !== undefined) {
+        if (params.frequency !== "yearly") {
+            throw new RangeError("yearly anchor applies only to a yearly rule");
+        }
+        const month = params.yearly.month;
+        if (!Number.isInteger(month) || month < 1 || month > 12) {
+            throw new RangeError(`invalid yearly month ${JSON.stringify(month)} — expected 1–12`);
+        }
+        assertMonthlyAnchor(params.yearly, "yearly");
+    }
+    if (params.ends !== undefined)
+        assertEnds(params.ends);
+    if (params.reminder !== undefined) {
+        if (!/^\d{1,2}:\d{2}$/.test(params.reminder)) {
+            throw new RangeError(`invalid reminder ${JSON.stringify(params.reminder)} — expected HH:mm`);
+        }
+        // UIC6-g: the Repeat dialog's reminder-time control is an AXDateTimeArea
+        // whose committed time CANNOT be set through the Accessibility surface —
+        // it ignores AXValue writes (unlike the "ends on date" picker, which
+        // honors them) and silently commits its default instead. Rather than write
+        // a WRONG reminder time, the op refuses. (Set the reminder in the app after
+        // the series exists; every other rule field IS drivable.) See
+        // docs/lab/uic6-rule-vocabulary.md and docs/things-app-oddities.md.
+        throw new RangeError("a repeat reminder time cannot be set through the GUI vector — Things' reminder picker " +
+            "ignores programmatic time entry (UIC6-g); create the series without --reminder and set the " +
+            "reminder in the app");
+    }
+    if (params.startDaysEarlier !== undefined) {
+        if (!Number.isInteger(params.startDaysEarlier) || params.startDaysEarlier < 0) {
+            throw new RangeError(`invalid startDaysEarlier ${params.startDaysEarlier} — expected an integer ≥ 0`);
+        }
+        if (params.startDaysEarlier > 0 && params.deadline === false) {
+            throw new RangeError("startDaysEarlier requires a deadline (it counts days before the deadline)");
+        }
+    }
+}
+/** The mutually-exclusive Ends bound of a decoded rule, or null if inexpressible. */
+function endsOf(rule) {
+    const hasDate = rule.endDate !== null;
+    const hasCount = rule.remainingCount !== null;
+    if (hasDate && hasCount)
+        return null; // dialog's Ends is single-choice
+    if (hasDate)
+        return { ends: { kind: "on-date", date: rule.endDate } };
+    if (hasCount)
+        return { ends: { kind: "after", count: rule.remainingCount } };
+    return { ends: { kind: "never" } };
+}
+function monthlyAnchorOf(offset) {
+    if (offset.weekday !== undefined) {
+        const weekday = WD_TO_WEEKDAY[offset.weekday];
+        if (weekday === undefined)
+            return null;
+        const ord = offset.weekdayOrdinal ?? 1;
+        const ordinal = ord === -1 ? "last" : ord;
+        if (ordinal !== "last" && (ordinal < 1 || ordinal > 5))
+            return null;
+        return { weekday, ordinal };
+    }
+    if (offset.day !== undefined) {
+        return { day: offset.day === -1 ? "last" : offset.day };
+    }
+    return null;
+}
+/**
+ * Map a decoded prior rule (+ the template's deadline flag) back onto the
+ * extended vocabulary, or return null when the rule falls OUTSIDE what the
+ * Repeat dialog can express (the faithfulness boundary — see reversibility.ts).
+ * `reminder` is NOT part of the rule blob, so it is never restored here (a
+ * documented limitation of the reschedule inverse).
+ */
+export function ruleToInverseParams(rule, deadlined) {
+    const fields = { frequency: rule.unit, interval: rule.interval };
+    const ends = endsOf(rule);
+    if (ends === null)
+        return null;
+    if (ends.ends.kind !== "never")
+        fields.ends = ends.ends;
+    const afterCompletion = rule.type === "after-completion";
+    // Calendar anchors from the offsets.
+    const meaningful = rule.offsets.filter((o) => o.day !== undefined || o.weekday !== undefined || o.month !== undefined);
+    if (afterCompletion) {
+        // After-completion has no calendar anchor in the dialog, so the user can
+        // never set one — but Things still writes a NOMINAL offset for the unit
+        // (UIC6-e: a weekly-unit after-completion rule carries of=[{wd:0}], a
+        // monthly one of=[{dy:0}], etc.). That offset is not user-meaningful and is
+        // never round-tripped, so it is IGNORED here (an earlier assumption that
+        // after-completion rules carry no offsets was wrong — it would have made
+        // every after-completion reschedule-undo spuriously irreversible).
+        fields.afterCompletion = true;
+    }
+    else if (rule.unit === "weekly") {
+        const weekdays = [];
+        for (const o of meaningful) {
+            if (o.weekday === undefined)
+                return null;
+            const name = WD_TO_WEEKDAY[o.weekday];
+            if (name === undefined)
+                return null;
+            weekdays.push(name);
+        }
+        if (weekdays.length > 0)
+            fields.weekdays = weekdays;
+    }
+    else if (rule.unit === "monthly") {
+        if (meaningful.length > 1)
+            return null; // dialog sets ONE monthly anchor
+        const only = meaningful[0];
+        if (only !== undefined) {
+            const anchor = monthlyAnchorOf(only);
+            if (anchor === null)
+                return null;
+            fields.monthly = anchor;
+        }
+    }
+    else if (rule.unit === "yearly") {
+        if (meaningful.length > 1)
+            return null;
+        const only = meaningful[0];
+        if (only !== undefined) {
+            if (only.month === undefined)
+                return null;
+            const anchor = monthlyAnchorOf(only);
+            if (anchor === null)
+                return null;
+            fields.yearly = { month: only.month, ...anchor };
+        }
+    }
+    // daily: no offsets.
+    // Deadline + start-earlier: ts ≤ 0 in the rule; deadline-ness from the column.
+    if (deadlined)
+        fields.deadline = true;
+    if (rule.startOffsetDays < 0) {
+        fields.deadline = true;
+        fields.startDaysEarlier = -rule.startOffsetDays;
+    }
+    return fields;
+}
+//# sourceMappingURL=repeat-rule.js.map

package/dist/write/repeat-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repeat-rule.js","sourceRoot":"","sources":["../../src/write/repeat-rule.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,QAAQ,GAQT,MAAM,iBAAiB,CAAC;AAEzB,MAAM,WAAW,GAA+B,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;AAEzF,oDAAoD;AACpD,MAAM,CAAC,MAAM,aAAa,GAA4B;IACpD,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;IACT,OAAO,EAAE,CAAC;IACV,SAAS,EAAE,CAAC;IACZ,QAAQ,EAAE,CAAC;IACX,MAAM,EAAE,CAAC;IACT,QAAQ,EAAE,CAAC;CACZ,CAAC;AAEF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,aAAa,GAA4B,MAAM,CAAC,WAAW,CACrE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAC5D,CAAC;AAE7B,6EAA6E;AAE7E,SAAS,QAAQ,CAAC,CAAU;IAC1B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC;AAC7C,CAAC;AAED,SAAS,aAAa,CAAC,OAAgB,EAAE,KAAa;IACpD,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO;IAC/B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAK,OAAkB,GAAG,CAAC,IAAK,OAAkB,GAAG,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,UAAU,CAClB,WAAW,KAAK,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,2BAA2B,CAC/E,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,GAAY,EAAE,KAAa;IAChD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAc,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,UAAU,CAClB,WAAW,KAAK,YAAY,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CACrF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAS,mBAAmB,CAAC,MAAe,EAAE,KAAa;IACzD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,+CAA+C,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,IAAI,MAAM,CAAC;IAC/B,MAAM,UAAU,GAAG,SAAS,IAAI,MAAM,IAAI,SAAS,IAAI,MAAM,CAAC;IAC9D,IAAI,MAAM,IAAI,UAAU,EAAE,CAAC;QACzB,MAAM,IAAI,UAAU,CAClB,GAAG,KAAK,uFAAuF,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,GAAG,KAAK,MAAM;YAAE,OAAO;QAC3B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAK,GAAc,GAAG,CAAC,IAAK,GAAc,GAAG,EAAE,EAAE,CAAC;YAC1E,MAAM,IAAI,UAAU,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;QAChG,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACf,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;QACxC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;QACxC,OAAO;IACT,CAAC;IACD,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,kDAAkD,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB;IAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO;QACT,KAAK,SAAS;YACZ,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,MAAM,IAAI,UAAU,CAClB,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,CACvE,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,OAAO;YACV,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC;gBACxE,MAAM,IAAI,UAAU,CAAC,sBAAsB,IAAI,CAAC,KAAK,8BAA8B,CAAC,CAAC;YACvF,CAAC;YACD,OAAO;QACT,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,MAAM,IAAI,UAAU,CAAC,sBAAsB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAsC;IACrE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAClB,sBAAsB,MAAM,CAAC,SAAS,gBAAgB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAChF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,GAAG,EAAE,EAAE,CAAC;QACtF,MAAM,IAAI,UAAU,CAAC,oBAAoB,MAAM,CAAC,QAAQ,6BAA6B,CAAC,CAAC;IACzF,CAAC;IAED,8EAA8E;IAC9E,+EAA+E;IAC/E,IAAI,MAAM,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACpC,IACE,MAAM,CAAC,QAAQ,KAAK,SAAS;YAC7B,MAAM,CAAC,OAAO,KAAK,SAAS;YAC5B,MAAM,CAAC,MAAM,KAAK,SAAS,EAC3B,CAAC;YACD,MAAM,IAAI,UAAU,CAClB,6HAA6H,CAC9H,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,UAAU,CAAC,sCAAsC,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,UAAU,CAAC,qCAAqC,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAClC,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,GAAG,GAAG,CAAC,CAAC;YACrE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;QACxE,CAAC;QACD,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,UAAU,CAAC,6CAA6C,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,KAAK,GAAI,MAAM,CAAC,MAA8B,CAAC,KAAK,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC,IAAK,KAAgB,GAAG,EAAE,EAAE,CAAC;YAChF,MAAM,IAAI,UAAU,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACxF,CAAC;QACD,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEvD,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,UAAU,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;QAC/F,CAAC;QACD,yEAAyE;QACzE,yEAAyE;QACzE,qEAAqE;QACrE,2EAA2E;QAC3E,4EAA4E;QAC5E,8DAA8D;QAC9D,oEAAoE;QACpE,MAAM,IAAI,UAAU,CAClB,wFAAwF;YACtF,6FAA6F;YAC7F,qBAAqB,CACxB,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,MAAM,CAAC,gBAAgB,GAAG,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,UAAU,CAClB,4BAA4B,MAAM,CAAC,gBAAgB,4BAA4B,CAChF,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,gBAAgB,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC7D,MAAM,IAAI,UAAU,CAClB,2EAA2E,CAC5E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAgBD,qFAAqF;AACrF,SAAS,MAAM,CAAC,IAAgB;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC;IAC9C,IAAI,OAAO,IAAI,QAAQ;QAAE,OAAO,IAAI,CAAC,CAAC,iCAAiC;IACvE,IAAI,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,OAAkB,EAAE,EAAE,CAAC;IACjF,IAAI,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,cAAwB,EAAE,EAAE,CAAC;IACvF,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,eAAe,CAAC,MAAoB;IAC3C,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC;QACvC,MAAM,OAAO,GAAmB,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,GAAsB,CAAC;QAC9E,IAAI,OAAO,KAAK,MAAM,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAgB,EAChB,SAAkB;IAElB,MAAM,MAAM,GAAsB,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IAEpF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAExD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC;IAEzD,qCAAqC;IACrC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAC/E,CAAC;IACF,IAAI,eAAe,EAAE,CAAC;QACpB,yEAAyE;QACzE,wEAAwE;QACxE,sEAAsE;QACtE,4EAA4E;QAC5E,yEAAyE;QACzE,yEAAyE;QACzE,mEAAmE;QACnE,MAAM,CAAC,eAAe,GAAG,IAAI,CAAC;IAChC,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACzC,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC;IACtD,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,iCAAiC;QACzE,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACjC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC;QAC1B,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACjC,MAAM,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,MAAM,EAAkB,CAAC;QACnE,CAAC;IACH,CAAC;IACD,qBAAqB;IAErB,+EAA+E;IAC/E,IAAI,SAAS;QAAE,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,eAAe,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,MAAM,CAAC,gBAAgB,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC;IAClD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/write/reversibility.js

@@ -125,6 +125,10 @@ export const REVERSIBILITY = {
         class: "conditional",
         note: "invertible when pre-ranks were captured (native reorders + bounce summaries that recorded pre-ranks); irreversible for bounce summaries with no recorded pre-ranks",
     },
+    "area.reorder": {
+        class: "conditional",
+        note: "invertible when the pre-move area order was fully determined (the full ordered area list is captured; the inverse drags the area back before its old successor — order is the invariant that round-trips, index values are not, AXDRAG1-f); irreversible when areas were still unranked (all-zero index) before the move",
+    },
     // ---- headings -----------------------------------------------------------
     "heading.archive": {
         class: "reversible-with-loss",
@@ -156,6 +160,51 @@ export const REVERSIBILITY = {
         class: "irreversible",
         note: "a created heading has no headless delete surface (heading delete is interactive-only) — archive it in the app instead",
     },
+    "todo.make-repeating": {
+        class: "irreversible",
+        note: "making a to-do repeat is an identity REPLACEMENT (UI2-a): the original uuid is destroyed and a new template row is born — there is no un-repeat that restores the original",
+    },
+    "todo.convert-to-project": {
+        class: "irreversible",
+        note: "converting a to-do to a project is an identity REPLACEMENT (UI2-d): the to-do uuid is destroyed and a new project uuid is born (notes preserved); the app offers no convert-back",
+    },
+    "project.make-repeating": {
+        class: "irreversible",
+        note: "making a project repeat is an identity REPLACEMENT (UIC4-b): the original project uuid is destroyed and a new template project is born (area preserved, start normalized to someday) — there is no un-repeat that restores the original",
+    },
+    "project.create-repeating": {
+        class: "irreversible",
+        note: "the composite CREATES a project then promotes it (identity replacement, UIC4-b): the created uuid is destroyed by the promote and a new repeating template is born — no automated inverse captures it; delete the resulting repeating project in the app",
+    },
+    "heading.convert-to-project": {
+        class: "irreversible",
+        note: "converting a heading to a project is an identity REPLACEMENT (UI2-d): the heading uuid is destroyed, a new project is promoted into the parent's area and children reparent; no convert-back",
+    },
+    "todo.reschedule-repeat": {
+        class: "conditional",
+        note: "the rule mutates in place (identity preserved, UI2-b); the FULL rule vocabulary re-drives reschedule with the captured prior rule (weekday set, monthly/yearly anchor, ends bound, deadline/start-offset all restored) — invertible whenever the prior rule was captured, decodable, and within the Repeat dialog's vocabulary; irreversible for a rule the dialog itself cannot produce (two end bounds, a multi-anchor month/year rule, or an after-completion rule with a calendar day). A per-instance reminder time is not part of the captured rule and is not restored",
+    },
+    "project.reschedule-repeat": {
+        class: "conditional",
+        note: "the project's rule mutates in place (identity preserved, UIC2-a); re-drives reschedule with the captured prior rule (same faithfulness boundary as todo.reschedule-repeat) — invertible when the prior rule was captured, decodable, and dialog-expressible; irreversible otherwise. A per-instance reminder time is not restored",
+    },
+    // ---- ui-vector reversible pairs -----------------------------------------
+    "todo.pause-repeat": {
+        class: "reversible",
+        note: "inverse resumes the repeat (UI2-c): pause sets instance-creation paused, keeping the template and rule; resume clears it",
+    },
+    "todo.resume-repeat": {
+        class: "reversible",
+        note: "inverse pauses the repeat (UI2-c): the reversible cessation toggle — resume clears the paused flag, pause re-sets it",
+    },
+    "project.pause-repeat": {
+        class: "reversible",
+        note: "inverse resumes the project's repeat (UIC2-a): pause sets instance-creation paused, keeping the template and rule; resume clears it",
+    },
+    "project.resume-repeat": {
+        class: "reversible",
+        note: "inverse pauses the project's repeat (UIC2-a): resume clears the paused flag, pause re-sets it",
+    },
 };
 /** The ops whose class is `irreversible` — must equal undo.ts's IRREVERSIBLE keys. */
 export function irreversibleOps() {

package/dist/write/reversibility.js.map

@@ -1 +1 @@
-{"version":3,"file":"reversibility.js","sourceRoot":"","sources":["../../src/write/reversibility.ts"],"names":[],"mappings":"AA0CA;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAA8C;IACtE,4EAA4E;IAC5E,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,uHAAuH;KAC9H;IACD,iBAAiB,EAAE;QACjB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,2GAA2G;KAClH;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,kGAAkG;KACzG;IACD,aAAa,EAAE;QACb,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,wEAAwE;KAC/E;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,qDAAqD;KAC5D;IACD,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,GAAG,EAAE,WAAW;QAChB,IAAI,EAAE,qGAAqG;KAC5G;IACD,SAAS,EAAE;QACT,KAAK,EAAE,YAAY;QACnB,GAAG,EAAE,WAAW;QAChB,IAAI,EAAE,mGAAmG;KAC1G;IAED,4EAA4E;IAC5E,eAAe,EAAE;QACf,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,yFAAyF;KAChG;IACD,aAAa,EAAE;QACb,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,0DAA0D;KACjE;IACD,aAAa,EAAE;QACb,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,mEAAmE;KAC1E;IACD,kBAAkB,EAAE;QAClB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,+FAA+F;KACtG;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,2FAA2F;KAClG;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,2HAA2H;KAClI;IAED,4EAA4E;IAC5E,aAAa,EAAE;QACb,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,oIAAoI;KAC3I;IACD,cAAc,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,2CAA2C,EAAE;IAC1F,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,uFAAuF;KAC9F;IACD,iBAAiB,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,6CAA6C,EAAE;IAE/F,4EAA4E;IAC5E,aAAa,EAAE;QACb,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,oLAAoL;KAC3L;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,wHAAwH;KAC/H;IACD,eAAe,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,8CAA8C,EAAE;IAC9F,kBAAkB,EAAE;QAClB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,8CAA8C;KACrD;IACD,aAAa,EAAE;QACb,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,iDAAiD;KACxD;IACD,YAAY,EAAE;QACZ,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,sGAAsG;KAC7G;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,+DAA+D;KACtE;IACD,eAAe,EAAE;QACf,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,kIAAkI;KACzI;IAED,4EAA4E;IAC5E,WAAW,EAAE;QACX,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,yMAAyM;KAChN;IACD,cAAc,EAAE;QACd,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,iIAAiI;KACxI;IAED,4EAA4E;IAC5E,wBAAwB,EAAE;QACxB,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,iBAAiB;QACtB,IAAI,EAAE,yMAAyM;KAChN;IACD,0BAA0B,EAAE;QAC1B,KAAK,EAAE,aAAa;QACpB,GAAG,EAAE,iBAAiB;QACtB,IAAI,EAAE,0OAA0O;KACjP;IAED,4EAA4E;IAC5E,OAAO,EAAE;QACP,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,oKAAoK;KAC3K;IAED,4EAA4E;IAC5E,iBAAiB,EAAE;QACjB,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,iMAAiM;KACxM;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,uGAAuG;KAC9G;IAED,4EAA4E;IAC5E,2BAA2B,EAAE;QAC3B,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,sPAAsP;KAC7P;IAED,4EAA4E;IAC5E,aAAa,EAAE;QACb,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,mEAAmE;KAC1E;IACD,YAAY,EAAE;QACZ,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,mEAAmE;KAC1E;IACD,aAAa,EAAE;QACb,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,sEAAsE;KAC7E;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,uHAAuH;KAC9H;CACF,CAAC;AAEF,sFAAsF;AACtF,MAAM,UAAU,eAAe;IAC7B,OAAQ,MAAM,CAAC,IAAI,CAAC,aAAa,CAAqB,CAAC,MAAM,CAC3D,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,cAAc,CACnD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"reversibility.js","sourceRoot":"","sources":["../../src/write/reversibility.ts"],"names":[],"mappings":"AA0CA;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAA8C;IACtE,4EAA4E;IAC5E,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,uHAAuH;KAC9H;IACD,iBAAiB,EAAE;QACjB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,2GAA2G;KAClH;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,kGAAkG;KACzG;IACD,aAAa,EAAE;QACb,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,wEAAwE;KAC/E;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,qDAAqD;KAC5D;IACD,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,GAAG,EAAE,WAAW;QAChB,IAAI,EAAE,qGAAqG;KAC5G;IACD,SAAS,EAAE;QACT,KAAK,EAAE,YAAY;QACnB,GAAG,EAAE,WAAW;QAChB,IAAI,EAAE,mGAAmG;KAC1G;IAED,4EAA4E;IAC5E,eAAe,EAAE;QACf,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,yFAAyF;KAChG;IACD,aAAa,EAAE;QACb,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,0DAA0D;KACjE;IACD,aAAa,EAAE;QACb,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,mEAAmE;KAC1E;IACD,kBAAkB,EAAE;QAClB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,+FAA+F;KACtG;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,2FAA2F;KAClG;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,2HAA2H;KAClI;IAED,4EAA4E;IAC5E,aAAa,EAAE;QACb,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,oIAAoI;KAC3I;IACD,cAAc,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,2CAA2C,EAAE;IAC1F,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,uFAAuF;KAC9F;IACD,iBAAiB,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,6CAA6C,EAAE;IAE/F,4EAA4E;IAC5E,aAAa,EAAE;QACb,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,oLAAoL;KAC3L;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,wHAAwH;KAC/H;IACD,eAAe,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,8CAA8C,EAAE;IAC9F,kBAAkB,EAAE;QAClB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,8CAA8C;KACrD;IACD,aAAa,EAAE;QACb,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,iDAAiD;KACxD;IACD,YAAY,EAAE;QACZ,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,sGAAsG;KAC7G;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,+DAA+D;KACtE;IACD,eAAe,EAAE;QACf,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,kIAAkI;KACzI;IAED,4EAA4E;IAC5E,WAAW,EAAE;QACX,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,yMAAyM;KAChN;IACD,cAAc,EAAE;QACd,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,iIAAiI;KACxI;IAED,4EAA4E;IAC5E,wBAAwB,EAAE;QACxB,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,iBAAiB;QACtB,IAAI,EAAE,yMAAyM;KAChN;IACD,0BAA0B,EAAE;QAC1B,KAAK,EAAE,aAAa;QACpB,GAAG,EAAE,iBAAiB;QACtB,IAAI,EAAE,0OAA0O;KACjP;IAED,4EAA4E;IAC5E,OAAO,EAAE;QACP,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,oKAAoK;KAC3K;IACD,cAAc,EAAE;QACd,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,0TAA0T;KACjU;IAED,4EAA4E;IAC5E,iBAAiB,EAAE;QACjB,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,iMAAiM;KACxM;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,uGAAuG;KAC9G;IAED,4EAA4E;IAC5E,2BAA2B,EAAE;QAC3B,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,sPAAsP;KAC7P;IAED,4EAA4E;IAC5E,aAAa,EAAE;QACb,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,mEAAmE;KAC1E;IACD,YAAY,EAAE;QACZ,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,mEAAmE;KAC1E;IACD,aAAa,EAAE;QACb,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,sEAAsE;KAC7E;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,uHAAuH;KAC9H;IACD,qBAAqB,EAAE;QACrB,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,4KAA4K;KACnL;IACD,yBAAyB,EAAE;QACzB,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,kLAAkL;KACzL;IACD,wBAAwB,EAAE;QACxB,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,yOAAyO;KAChP;IACD,0BAA0B,EAAE;QAC1B,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,0PAA0P;KACjQ;IACD,4BAA4B,EAAE;QAC5B,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,8LAA8L;KACrM;IACD,wBAAwB,EAAE;QACxB,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,+iBAA+iB;KACtjB;IACD,2BAA2B,EAAE;QAC3B,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,mUAAmU;KAC1U;IAED,4EAA4E;IAC5E,mBAAmB,EAAE;QACnB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,0HAA0H;KACjI;IACD,oBAAoB,EAAE;QACpB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,sHAAsH;KAC7H;IACD,sBAAsB,EAAE;QACtB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,qIAAqI;KAC5I;IACD,uBAAuB,EAAE;QACvB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,+FAA+F;KACtG;CACF,CAAC;AAEF,sFAAsF;AACtF,MAAM,UAAU,eAAe;IAC7B,OAAQ,MAAM,CAAC,IAAI,CAAC,aAAa,CAAqB,CAAC,MAAM,CAC3D,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,cAAc,CACnD,CAAC;AACJ,CAAC"}

package/dist/write/tag-refs.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Tag-reference resolution for the tag-accepting write ops (todo.add,
+ * todo.set-tags, project.set-tags, area.add, area.update).
+ *
+ * A tag value is a NAME — either a plain TITLE or a PATH-qualified
+ * `parent/child` name. Tag uuids are a fully internal implementation detail
+ * (like checklist ids) and are neither accepted here nor surfaced anywhere.
+ *
+ * Precedence is LITERAL-OVER-PATH (TAGW1-d: `/` is a legal literal in a tag
+ * title, `sl/ash` stored + matched literally): an exact literal title match
+ * wins even when the ref contains `/`; only otherwise is the ref split on `/`
+ * and resolved as a parent-child chain.
+ *
+ * The resolver's only job is an EXISTENCE check. Tags are applied by passing
+ * the NAME to the app's own write vector (`tags=Name` / `set tag names`), so
+ * the APP resolves the name exactly as its GUI does — we never pick a uuid. A
+ * name matching ≥1 tag is "known" (the name passes through); a name matching
+ * none is reported as missing (the H-UNKNOWN-TAG guard refuses on it). A
+ * duplicate-name pair (a Cloud-sync-only pathological state we delegate to the
+ * app, matching the GUI) needs no special handling — both share the name.
+ */
+import type { DatabaseSync } from "node:sqlite";
+export interface TagResolution {
+    /**
+     * Resolved leaf titles to apply, de-duplicated, in first-seen order. Only
+     * COMPLETE (one per input ref) when `missing` is empty; on a refusal the
+     * H-UNKNOWN-TAG guard blocks before these titles are used.
+     */
+    titles: string[];
+    /** Refs that resolved to nothing (unknown tags). */
+    missing: string[];
+}
+/** One creation step for `--create-tags`: a `make new tag`, optionally nested. */
+export interface TagCreationStep {
+    title: string;
+    /** Existing (or already-planned) parent tag title to nest under. */
+    parent?: string;
+}
+export declare function resolveTagRefs(db: DatabaseSync, refs: string[]): TagResolution;
+/**
+ * Ordered `make new tag` steps to satisfy `--create-tags`: only the tags that
+ * are genuinely MISSING, with mkdir-p intermediates for a `parent/child` path
+ * (parents first so each child's parent resolves). A ref that already resolves
+ * yields no step (idempotent — the TAGW1-c coalesce also makes re-creation a
+ * no-op).
+ */
+export declare function planTagCreation(db: DatabaseSync, refs: string[]): TagCreationStep[];

package/dist/write/tag-refs.js

@@ -0,0 +1,126 @@
+import { normalizeNameKey, stripThingsUri } from "../read/queries.js";
+function allTags(db) {
+    return db.prepare("SELECT uuid, title, parent FROM TMTag").all();
+}
+/** Dedup key for a per-parent planned title (parent title + title). */
+function planKey(parentTitle, title) {
+    return `${parentTitle ?? ""}${title}`;
+}
+/**
+ * Title-match tiers within a candidate row set: exact -> case-insensitive ->
+ * normalized (dash/space-forgiving). Returns the rows of the FIRST tier that
+ * matches at all.
+ */
+function titleMatches(rows, title) {
+    const exact = rows.filter((r) => r.title === title);
+    if (exact.length > 0)
+        return exact;
+    const lower = title.toLowerCase();
+    const ci = rows.filter((r) => r.title.toLowerCase() === lower);
+    if (ci.length > 0)
+        return ci;
+    const key = normalizeNameKey(title);
+    if (key === "")
+        return [];
+    return rows.filter((r) => normalizeNameKey(r.title) === key);
+}
+function resolveOne(rows, refRaw) {
+    const ref = stripThingsUri(refRaw);
+    // Literal title (literal-over-path: this matches `sl/ash` as a whole). A name
+    // matching ≥1 tag is "known" — pass the NAME through; the app resolves it.
+    const literal = titleMatches(rows, ref);
+    if (literal.length >= 1)
+        return { kind: "title", title: literal[0].title };
+    // Path-qualified `parent/child` — resolve the chain from the root. Duplicate
+    // names never refuse: descend into the first match at each level.
+    if (ref.includes("/")) {
+        const segs = ref.split("/").map((s) => s.trim());
+        if (segs.some((s) => s === ""))
+            return { kind: "missing" };
+        let scope = rows.filter((r) => r.parent === null);
+        let leaf = null;
+        for (const seg of segs) {
+            const hits = titleMatches(scope, seg);
+            if (hits.length === 0)
+                return { kind: "missing" };
+            leaf = hits[0];
+            scope = rows.filter((r) => r.parent === leaf.uuid);
+        }
+        if (leaf !== null)
+            return { kind: "title", title: leaf.title };
+    }
+    return { kind: "missing" };
+}
+export function resolveTagRefs(db, refs) {
+    const rows = allTags(db);
+    const titles = [];
+    const seen = new Set();
+    const missing = [];
+    for (const ref of refs) {
+        const r = resolveOne(rows, ref);
+        if (r.kind === "title") {
+            if (!seen.has(r.title)) {
+                seen.add(r.title);
+                titles.push(r.title);
+            }
+        }
+        else {
+            missing.push(ref);
+        }
+    }
+    return { titles, missing };
+}
+/**
+ * Ordered `make new tag` steps to satisfy `--create-tags`: only the tags that
+ * are genuinely MISSING, with mkdir-p intermediates for a `parent/child` path
+ * (parents first so each child's parent resolves). A ref that already resolves
+ * yields no step (idempotent — the TAGW1-c coalesce also makes re-creation a
+ * no-op).
+ */
+export function planTagCreation(db, refs) {
+    const rows = allTags(db);
+    const steps = [];
+    // Titles known to exist OR already planned this call, per hierarchy level,
+    // so a repeated segment across refs is planned once.
+    const planned = new Set();
+    for (const refRaw of refs) {
+        const ref = stripThingsUri(refRaw);
+        if (resolveOne(rows, ref).kind === "title")
+            continue;
+        if (ref.includes("/")) {
+            const segs = ref.split("/").map((s) => s.trim());
+            if (segs.some((s) => s === ""))
+                continue;
+            let scope = rows.filter((r) => r.parent === null);
+            let parentTitle;
+            for (const seg of segs) {
+                const hits = titleMatches(scope, seg);
+                if (hits.length >= 1) {
+                    const hit = hits[0];
+                    parentTitle = hit.title;
+                    scope = rows.filter((r) => r.parent === hit.uuid);
+                }
+                else {
+                    // Missing -> plan it and descend into a now-empty scope so the
+                    // remaining segments are all created too.
+                    const k = planKey(parentTitle, seg);
+                    if (!planned.has(k)) {
+                        planned.add(k);
+                        steps.push(parentTitle === undefined ? { title: seg } : { title: seg, parent: parentTitle });
+                    }
+                    parentTitle = seg;
+                    scope = [];
+                }
+            }
+        }
+        else {
+            const k = planKey(undefined, ref);
+            if (!planned.has(k)) {
+                planned.add(k);
+                steps.push({ title: ref });
+            }
+        }
+    }
+    return steps;
+}
+//# sourceMappingURL=tag-refs.js.map

package/dist/write/tag-refs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tag-refs.js","sourceRoot":"","sources":["../../src/write/tag-refs.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AA0BtE,SAAS,OAAO,CAAC,EAAgB;IAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC,GAAG,EAAyB,CAAC;AAC1F,CAAC;AAED,uEAAuE;AACvE,SAAS,OAAO,CAAC,WAA+B,EAAE,KAAa;IAC7D,OAAO,GAAG,WAAW,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,IAAc,EAAE,KAAa;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACpD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IAClC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;IAC/D,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAC1B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;AAC/D,CAAC;AAID,SAAS,UAAU,CAAC,IAAc,EAAE,MAAc;IAChD,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAEnC,8EAA8E;IAC9E,2EAA2E;IAC3E,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAG,OAAO,CAAC,CAAC,CAAY,CAAC,KAAK,EAAE,CAAC;IAEvF,6EAA6E;IAC7E,kEAAkE;IAClE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC3D,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;QAClD,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAClD,IAAI,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;YACzB,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAM,IAAe,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACjE,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,EAAgB,EAAE,IAAc;IAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACzB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,EAAgB,EAAE,IAAc;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACzB,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,2EAA2E;IAC3E,qDAAqD;IACrD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QAErD,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACjD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;gBAAE,SAAS;YACzC,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;YAClD,IAAI,WAA+B,CAAC;YACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACtC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACrB,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;oBAC9B,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC;oBACxB,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpD,CAAC;qBAAM,CAAC;oBACN,+DAA+D;oBAC/D,0CAA0C;oBAC1C,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;oBACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBACpB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBACf,KAAK,CAAC,IAAI,CACR,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,CACjF,CAAC;oBACJ,CAAC;oBACD,WAAW,GAAG,GAAG,CAAC;oBAClB,KAAK,GAAG,EAAE,CAAC;gBACb,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAClC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/write/undo.d.ts

@@ -1,6 +1,6 @@
-import type { AuditRecord } from "../audit/schema.ts";
+import { type AuditRecord } from "../audit/schema.ts";
 import type { AnyTask } from "../model/entities.ts";
-import type { OperationKind } from "./operations.ts";
+import { type OperationKind } from "./operations.ts";
 import { type MutationResult, type WriteDeps } from "./pipeline.ts";
 import { type ReorderResult } from "./reorder.ts";
 export interface UndoStep {
@@ -21,6 +21,18 @@ export interface UndoStep {
             detail: string;
             remediation: string;
         };
+        /**
+         * STRUCTURAL axes this step overwrites (getField paths into the decoded
+         * target: `status`, `trashed`, `project`/`project.uuid`, `area`/`area.uuid`,
+         * `heading.uuid`, `start`/`startDate`/`todaySection`). Before executing,
+         * `checkStepPrecondition` verifies the target's CURRENT value on each still
+         * equals the recorded `observed` after-value — an out-of-band move/status/
+         * schedule change already there blocks rather than being clobbered. Set only
+         * for the PRIMARY-target step and only for axes whose after-state `observed`
+         * captured (fields absent from `observed` are skipped). Content fields stay
+         * on the separate CLOBBER_FIELDS path; the two are checked together.
+         */
+        guardFields?: string[];
     };
 }
 export interface UndoPlan {
@@ -30,6 +42,7 @@ export interface UndoPlan {
         op: string;
         uuid: string | null;
         actor: string;
+        token: string;
     };
     kind: "invertible" | "irreversible";
     steps: UndoStep[];
@@ -47,19 +60,75 @@ export interface UndoItemResult {
 export interface UndoOptions {
     /** How many trailing mutations to undo (default 1). */
     last?: number;
+    /**
+     * SELECTION filter — undo only mutations recorded under this actor. An exact
+     * actor string (e.g. "mcp:claude-code", "mike") or "*" for all actors.
+     * Undefined means all (the CLI's global default); the MCP surface defaults it
+     * to the connecting client's own derived actor (`mcp:<client>`).
+     *
+     * Matching is EXACT: `by: "mike"` selects records whose actor is exactly
+     * "mike" and never an undo record (`undo:mike`) — inverse mutations are their
+     * own actor and are never themselves undo targets. NOT the same as `actor`
+     * below, which names who the NEW inverse mutation is attributed to.
+     */
+    by?: string;
+    /**
+     * EXACT selection by undo token (from a mutation result's `undoToken`).
+     * Undoes precisely that one record, immune to interleaving. Mutually
+     * exclusive with `last`/`by` (enforced at the call surfaces).
+     */
+    txn?: string;
     dryRun?: boolean;
     /** Required for inverses that delete areas/tags permanently. */
     dangerouslyPermanent?: boolean;
+    /**
+     * Proceed even when the target changed OUTSIDE things-api since the recorded
+     * change — bypasses the precondition guard uniformly (both the content-field
+     * and the structural axis checks), overwriting whatever an out-of-band edit
+     * left. Does NOT bypass the checklist item-level refusal (a separate plan-time
+     * mechanism with no faithful forced inverse). "The world moved, overwrite
+     * anyway."
+     */
+    acknowledgeOutOfBandChanges?: boolean;
     verifyTimeoutMs?: number;
+    /** Author RECORDED for the inverse mutation (as `undo:<actor>`); see `by`. */
     actor?: string;
 }
 /** Parse every audit record from the monthly JSONL files, oldest first. */
 export declare function readAuditRecords(dir: string): AuditRecord[];
+export interface UndoSelector {
+    /** How many trailing targets to take (default 1); ignored when `txn` is set. */
+    last?: number;
+    /** Actor filter: exact actor string, or "*"/undefined for all. */
+    by?: string;
+    /** Exact undo-token selection: returns the single matching target (or none). */
+    txn?: string;
+}
+export interface AuditIntegrity {
+    /** Intent records with no later matching final record — a write MAY have landed unrecorded. */
+    orphanedIntents: number;
+    /** Newest orphaned intent's timestamp (ISO), or null when there are none. */
+    newestOrphanIntent: string | null;
+}
+/**
+ * Detect crashed writes: INTENT records left without a matching final record.
+ * A mutation writes an intent immediately before touching the app and a final
+ * record after read-after-write; the two share ts+op+actor+host. An intent
+ * with no non-intent sibling on that key means the process died mid-write — the
+ * app may have applied the change, but no result was recorded, so the change is
+ * invisible to undo. Surfaced by `things doctor` so the user can reconcile.
+ */
+export declare function scanAuditIntegrity(records: AuditRecord[]): AuditIntegrity;
 /**
- * The last N undoable targets, NEWEST FIRST (undo unwinds a stack). Only
- * successful mutations qualify; inverse mutations (actor `undo:…`) never do.
+ * The undoable targets to unwind, NEWEST FIRST (undo unwinds a stack).
+ *
+ *  - `txn` wins when present: the ONE record whose undo token matches (or an
+ *    empty array — the caller distinguishes not-found from already-undone).
+ *  - otherwise the last `last` records, optionally narrowed to actor `by`
+ *    (exact match; "*"/undefined = every actor). `by` NEVER matches an
+ *    `undo:<actor>` record — those are excluded from undoability entirely.
  */
-export declare function selectUndoTargets(records: AuditRecord[], last: number): AuditRecord[];
+export declare function selectUndoTargets(records: AuditRecord[], selector?: UndoSelector): AuditRecord[];
 /**
  * Operations with NO validated inverse surface — reported irreversible on
  * sight, before any per-record analysis. The reversibility matrix cross-checks