things-api 0.5.0

package/dist/write/verify/delta.d.ts

@@ -0,0 +1,126 @@
+/**
+ * DeltaSpec: what a mutation is expected to change, asserted against
+ * DECODED entities (not raw rows) so one spec serves every vector.
+ * Silent no-ops are first-class failures — `open` exit 0 proves nothing.
+ */
+import type { DatabaseSync } from "node:sqlite";
+import type { AnyTask, TaskType } from "../../model/entities.ts";
+/** Dotted path into a decoded entity; see getField for computed paths. */
+export interface FieldAssertion {
+    field: string;
+    equals: unknown;
+}
+export interface CreateProbe {
+    title: string;
+    type: Extract<TaskType, "to-do" | "project">;
+    /** Only rows created at/after this epoch-seconds instant qualify. */
+    sinceEpoch: number;
+    /**
+     * Alternative discovery for rows whose creationDate is intentionally
+     * BACKDATED (todo.add-logged): ignore sinceEpoch and instead exclude these
+     * pre-existing same-title uuids.
+     */
+    excludeUuids?: string[];
+}
+export type DeltaSpec = {
+    mode: "update";
+    uuid: string;
+    assert: FieldAssertion[];
+} | {
+    mode: "create";
+    probe: CreateProbe;
+    assert: FieldAssertion[];
+} | {
+    mode: "state";
+    uuid: string;
+    assert: FieldAssertion[];
+    cascade?: {
+        uuid: string;
+        assert: FieldAssertion[];
+    }[];
+} | {
+    mode: "gone";
+    entity: "area" | "tag";
+    uuid: string;
+}
+/**
+ * Area/tag creation: TMArea/TMTag have no creationDate, so the probe is
+ * "a row with this title exists whose uuid was not present pre-write".
+ */
+ | {
+    mode: "entity-created";
+    entity: "area" | "tag";
+    title: string;
+    excludeUuids: string[];
+    /** For tags: expected parent uuid (null = must be root). */
+    parentUuid?: string | null;
+} | {
+    mode: "trash-emptied";
+}
+/**
+ * Ordering: the given uuids must read back in strictly ascending rank on
+ * the named key (todayIndex for Today/Evening scopes, index elsewhere).
+ */
+ | {
+    mode: "ordering";
+    key: "index" | "todayIndex";
+    sequence: string[];
+}
+/** Area/tag property updates (TMArea/TMTag rows aren't tasks). */
+ | {
+    mode: "entity-updated";
+    entity: "area" | "tag";
+    uuid: string;
+    assert: FieldAssertion[];
+};
+/** Movement tripwires captured by the pre-read, keyed by uuid. */
+export type PreModDates = Record<string, number | null>;
+export interface DeltaEvaluation {
+    satisfied: boolean;
+    /** Anything at all happened (userModificationDate moved, row appeared/vanished). */
+    movement: boolean;
+    /** An ASSERTED field moved away from its pre-state (partial/contrary write). */
+    assertedMovement: boolean;
+    /** Asserted-field subset observed (best effort). */
+    observed: Record<string, unknown> | null;
+    /** For create mode: uuid of the row that satisfied the probe. */
+    discoveredUuid?: string;
+}
+export interface VerifyReader {
+    taskByUuid(uuid: string): AnyTask | null;
+    areaExists(uuid: string): boolean;
+    tagExists(uuid: string): boolean;
+    areasByTitle(title: string): {
+        uuid: string;
+    }[];
+    tagsByTitle(title: string): {
+        uuid: string;
+        parent: string | null;
+    }[];
+    rankOf(uuid: string, key: "index" | "todayIndex"): number | null;
+    trashedCount(): number;
+    findCreated(probe: CreateProbe): AnyTask[];
+    modDateOf(uuid: string): number | null;
+    /**
+     * Assertable fields of a TMArea/TMTag row: title, tags (areas, sorted
+     * titles), parent (tags, uuid or null), shortcut (tags). Null = row gone.
+     */
+    entityFields(entity: "area" | "tag", uuid: string): Record<string, unknown> | null;
+}
+export declare function createDbReader(db: DatabaseSync): VerifyReader;
+/**
+ * Resolve an assertion path against a decoded entity. Computed paths:
+ * `tags` → sorted direct-tag titles; `checklistTitles` → checklist titles
+ * in order; otherwise a dotted walk (`area.uuid`, `project.title`, …).
+ */
+export declare function getField(entity: AnyTask, path: string): unknown;
+/**
+ * One verification poll: evaluate the spec against fresh reads.
+ * `preModDates` and `preFields` come from the pipeline's pre-read and feed
+ * the movement classification (timeout vs mismatch vs silent-noop).
+ */
+export declare function evaluateDelta(spec: DeltaSpec, reader: VerifyReader, pre: {
+    modDates: PreModDates;
+    fields: Record<string, Record<string, unknown>>;
+    trashedCount?: number;
+}): DeltaEvaluation;

package/dist/write/verify/delta.js

@@ -0,0 +1,281 @@
+import { byUuid } from "../../read/detail.js";
+export function createDbReader(db) {
+    return {
+        taskByUuid: (uuid) => byUuid(db, uuid),
+        areaExists(uuid) {
+            return db.prepare("SELECT 1 FROM TMArea WHERE uuid = ?").get(uuid) !== undefined;
+        },
+        tagExists(uuid) {
+            return db.prepare("SELECT 1 FROM TMTag WHERE uuid = ?").get(uuid) !== undefined;
+        },
+        areasByTitle(title) {
+            return db.prepare("SELECT uuid FROM TMArea WHERE title = ? COLLATE NOCASE").all(title);
+        },
+        tagsByTitle(title) {
+            return db
+                .prepare("SELECT uuid, parent FROM TMTag WHERE title = ? COLLATE NOCASE")
+                .all(title);
+        },
+        rankOf(uuid, key) {
+            const column = key === "todayIndex" ? "todayIndex" : `"index"`;
+            const row = db.prepare(`SELECT ${column} AS rank FROM TMTask WHERE uuid = ?`).get(uuid);
+            return row?.rank ?? null;
+        },
+        trashedCount() {
+            const row = db.prepare("SELECT COUNT(*) AS n FROM TMTask WHERE trashed = 1").get();
+            return row.n;
+        },
+        findCreated(probe) {
+            const excluded = new Set(probe.excludeUuids ?? []);
+            const rows = db
+                .prepare("SELECT uuid FROM TMTask WHERE title = ? AND type = ? AND creationDate >= ? " +
+                "ORDER BY creationDate DESC LIMIT 25")
+                .all(probe.title, probe.type === "project" ? 1 : 0, probe.excludeUuids === undefined ? probe.sinceEpoch : 0).filter((r) => !excluded.has(r.uuid));
+            const tasks = [];
+            for (const r of rows) {
+                const task = byUuid(db, r.uuid);
+                if (task !== null)
+                    tasks.push(task);
+            }
+            return tasks;
+        },
+        modDateOf(uuid) {
+            const row = db.prepare("SELECT userModificationDate FROM TMTask WHERE uuid = ?").get(uuid);
+            return row?.userModificationDate ?? null;
+        },
+        entityFields(entity, uuid) {
+            if (entity === "area") {
+                const row = db.prepare("SELECT title FROM TMArea WHERE uuid = ?").get(uuid);
+                if (row === undefined)
+                    return null;
+                const tags = db
+                    .prepare("SELECT t.title FROM TMAreaTag at JOIN TMTag t ON at.tags = t.uuid WHERE at.areas = ?")
+                    .all(uuid);
+                return { title: row.title ?? "", tags: tags.map((t) => t.title).toSorted() };
+            }
+            const row = db
+                .prepare("SELECT title, parent, shortcut FROM TMTag WHERE uuid = ?")
+                .get(uuid);
+            if (row === undefined)
+                return null;
+            return { title: row.title ?? "", parent: row.parent, shortcut: row.shortcut };
+        },
+    };
+}
+/**
+ * Resolve an assertion path against a decoded entity. Computed paths:
+ * `tags` → sorted direct-tag titles; `checklistTitles` → checklist titles
+ * in order; otherwise a dotted walk (`area.uuid`, `project.title`, …).
+ */
+export function getField(entity, path) {
+    // Day-precision views of the stored timestamps (backdating asserts these;
+    // Date objects never compare === so the raw fields are not assertable).
+    if (path === "stoppedDate" && "stopped" in entity) {
+        return entity.stopped === null ? null : localIsoDate(entity.stopped);
+    }
+    if (path === "createdDate" && "created" in entity) {
+        return localIsoDate(entity.created);
+    }
+    if (path === "tags" && "tags" in entity) {
+        return entity.tags.map((t) => t.title).toSorted();
+    }
+    if (path === "checklistTitles" && entity.type === "to-do") {
+        return (entity.checklist ?? []).map((c) => c.title);
+    }
+    if (path === "checklistStates" && entity.type === "to-do") {
+        return (entity.checklist ?? []).map((c) => c.status);
+    }
+    let current = entity;
+    for (const part of path.split(".")) {
+        if (current === null || current === undefined || typeof current !== "object")
+            return undefined;
+        current = current[part];
+    }
+    return current;
+}
+function localIsoDate(d) {
+    const p = (n) => String(n).padStart(2, "0");
+    return `${d.getFullYear()}-${p(d.getMonth() + 1)}-${p(d.getDate())}`;
+}
+function valuesEqual(a, b) {
+    if (Array.isArray(a) && Array.isArray(b))
+        return JSON.stringify(a) === JSON.stringify(b);
+    return a === b || (a === undefined && b === null) || (a === null && b === undefined);
+}
+function checkAssertions(entity, assertions) {
+    const observed = {};
+    if (entity === null)
+        return { pass: assertions.length === 0, observed };
+    let pass = true;
+    for (const a of assertions) {
+        const actual = getField(entity, a.field);
+        observed[a.field] = actual === undefined ? null : actual;
+        if (!valuesEqual(actual, a.equals))
+            pass = false;
+    }
+    return { pass, observed };
+}
+/**
+ * One verification poll: evaluate the spec against fresh reads.
+ * `preModDates` and `preFields` come from the pipeline's pre-read and feed
+ * the movement classification (timeout vs mismatch vs silent-noop).
+ */
+export function evaluateDelta(spec, reader, pre) {
+    switch (spec.mode) {
+        case "update":
+        case "state": {
+            const entity = reader.taskByUuid(spec.uuid);
+            const { pass, observed } = checkAssertions(entity, spec.assert);
+            let satisfied = entity !== null && pass;
+            let cascadeObserved = {};
+            if (spec.mode === "state" && spec.cascade !== undefined) {
+                for (const c of spec.cascade) {
+                    const child = reader.taskByUuid(c.uuid);
+                    const result = checkAssertions(child, c.assert);
+                    if (child === null || !result.pass)
+                        satisfied = false;
+                    for (const [k, v] of Object.entries(result.observed)) {
+                        cascadeObserved[`${c.uuid}.${k}`] = v;
+                    }
+                }
+            }
+            const movement = movedSince(spec.uuid, reader, pre);
+            const preFields = pre.fields[spec.uuid] ?? {};
+            const assertedMovement = Object.entries(observed).some(([field, value]) => field in preFields && !valuesEqual(preFields[field], value));
+            return {
+                satisfied,
+                movement,
+                assertedMovement,
+                observed: { ...observed, ...cascadeObserved },
+            };
+        }
+        case "create": {
+            const candidates = reader.findCreated(spec.probe);
+            for (const candidate of candidates) {
+                const { pass, observed } = checkAssertions(candidate, spec.assert);
+                if (pass) {
+                    return {
+                        satisfied: true,
+                        movement: true,
+                        assertedMovement: true,
+                        observed,
+                        discoveredUuid: candidate.uuid,
+                    };
+                }
+            }
+            const nearest = candidates[0];
+            return {
+                satisfied: false,
+                movement: candidates.length > 0,
+                assertedMovement: candidates.length > 0,
+                observed: nearest ? checkAssertions(nearest, spec.assert).observed : null,
+            };
+        }
+        case "gone": {
+            const exists = spec.entity === "area" ? reader.areaExists(spec.uuid) : reader.tagExists(spec.uuid);
+            return {
+                satisfied: !exists,
+                movement: !exists,
+                assertedMovement: !exists,
+                observed: { exists },
+            };
+        }
+        case "entity-created": {
+            const rows = spec.entity === "area" ? reader.areasByTitle(spec.title) : reader.tagsByTitle(spec.title);
+            const fresh = rows.filter((r) => !spec.excludeUuids.includes(r.uuid));
+            const match = fresh.find((r) => {
+                if (spec.parentUuid === undefined || spec.entity === "area")
+                    return true;
+                return (r.parent ?? null) === spec.parentUuid;
+            });
+            if (match !== undefined) {
+                return {
+                    satisfied: true,
+                    movement: true,
+                    assertedMovement: true,
+                    observed: { uuid: match.uuid, title: spec.title },
+                    discoveredUuid: match.uuid,
+                };
+            }
+            return {
+                satisfied: false,
+                movement: fresh.length > 0,
+                assertedMovement: fresh.length > 0,
+                observed: null,
+            };
+        }
+        case "ordering": {
+            const ranks = spec.sequence.map((uuid) => ({ uuid, rank: reader.rankOf(uuid, spec.key) }));
+            const observed = {};
+            for (const r of ranks)
+                observed[r.uuid] = r.rank;
+            const missing = ranks.some((r) => r.rank === null);
+            let sorted = !missing;
+            for (let i = 1; i < ranks.length && sorted; i++) {
+                const prev = ranks[i - 1]?.rank;
+                const curr = ranks[i]?.rank;
+                if (prev === null ||
+                    prev === undefined ||
+                    curr === null ||
+                    curr === undefined ||
+                    prev >= curr) {
+                    sorted = false;
+                }
+            }
+            // Movement: any rank differs from the captured pre-state.
+            const preRanks = pre.fields["__ordering__"] ?? {};
+            const moved = ranks.some((r) => preRanks[r.uuid] !== undefined && preRanks[r.uuid] !== r.rank);
+            return {
+                satisfied: sorted,
+                movement: moved,
+                assertedMovement: moved,
+                observed,
+            };
+        }
+        case "entity-updated": {
+            const fields = reader.entityFields(spec.entity, spec.uuid);
+            const observed = {};
+            let pass = fields !== null;
+            for (const a of spec.assert) {
+                const actual = fields?.[a.field];
+                observed[a.field] = actual === undefined ? null : actual;
+                if (!valuesEqual(actual, a.equals))
+                    pass = false;
+            }
+            // TMArea/TMTag carry no modification date: movement = any asserted
+            // field departed from its captured pre-value.
+            const preFields = pre.fields[spec.uuid] ?? {};
+            const moved = Object.entries(observed).some(([field, value]) => field in preFields && !valuesEqual(preFields[field], value));
+            return {
+                satisfied: pass,
+                movement: moved || fields === null,
+                assertedMovement: moved,
+                observed,
+            };
+        }
+        case "trash-emptied": {
+            const remaining = reader.trashedCount();
+            const hadTrash = (pre.trashedCount ?? 0) > 0;
+            return {
+                satisfied: remaining === 0,
+                movement: hadTrash ? remaining < (pre.trashedCount ?? 0) : true,
+                assertedMovement: remaining !== (pre.trashedCount ?? remaining),
+                observed: { trashedCount: remaining },
+            };
+        }
+        default: {
+            const exhaustive = spec;
+            throw new Error(`unknown delta mode: ${JSON.stringify(exhaustive)}`);
+        }
+    }
+}
+function movedSince(uuid, reader, pre) {
+    const now = reader.modDateOf(uuid);
+    const before = pre.modDates[uuid];
+    if (before === undefined)
+        return now !== null; // row appeared
+    if (now === null && before !== null)
+        return true; // row vanished
+    return now !== before;
+}
+//# sourceMappingURL=delta.js.map

package/dist/write/verify/delta.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delta.js","sourceRoot":"","sources":["../../../src/write/verify/delta.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAoF9C,MAAM,UAAU,cAAc,CAAC,EAAgB;IAC7C,OAAO;QACL,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC;QACtC,UAAU,CAAC,IAAI;YACb,OAAO,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;QACnF,CAAC;QACD,SAAS,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;QAClF,CAAC;QACD,YAAY,CAAC,KAAK;YAChB,OAAO,EAAE,CAAC,OAAO,CAAC,wDAAwD,CAAC,CAAC,GAAG,CAAC,KAAK,CAElF,CAAC;QACN,CAAC;QACD,WAAW,CAAC,KAAK;YACf,OAAO,EAAE;iBACN,OAAO,CAAC,+DAA+D,CAAC;iBACxE,GAAG,CAAC,KAAK,CAA8C,CAAC;QAC7D,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,GAAG;YACd,MAAM,MAAM,GAAG,GAAG,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/D,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,MAAM,qCAAqC,CAAC,CAAC,GAAG,CAAC,IAAI,CAEzE,CAAC;YACd,OAAO,GAAG,EAAE,IAAI,IAAI,IAAI,CAAC;QAC3B,CAAC;QACD,YAAY;YACV,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC,GAAG,EAE/E,CAAC;YACF,OAAO,GAAG,CAAC,CAAC,CAAC;QACf,CAAC;QACD,WAAW,CAAC,KAAK;YACf,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;YACnD,MAAM,IAAI,GACR,EAAE;iBACC,OAAO,CACN,6EAA6E;gBAC3E,qCAAqC,CACxC;iBACA,GAAG,CACF,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAChC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAE5D,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvC,MAAM,KAAK,GAAc,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,IAAI,KAAK,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,SAAS,CAAC,IAAI;YACZ,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,wDAAwD,CAAC,CAAC,GAAG,CAAC,IAAI,CAE5E,CAAC;YACd,OAAO,GAAG,EAAE,oBAAoB,IAAI,IAAI,CAAC;QAC3C,CAAC;QACD,YAAY,CAAC,MAAM,EAAE,IAAI;YACvB,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC,GAAG,CAAC,IAAI,CAE7D,CAAC;gBACd,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC;gBACnC,MAAM,IAAI,GAAG,EAAE;qBACZ,OAAO,CACN,sFAAsF,CACvF;qBACA,GAAG,CAAC,IAAI,CAAwB,CAAC;gBACpC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;YAC/E,CAAC;YACD,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CAAC,0DAA0D,CAAC;iBACnE,GAAG,CAAC,IAAI,CAEE,CAAC;YACd,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChF,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAe,EAAE,IAAY;IACpD,0EAA0E;IAC1E,wEAAwE;IACxE,IAAI,IAAI,KAAK,aAAa,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,IAAI,KAAK,aAAa,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;QAClD,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;QACxC,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1D,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1D,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,OAAO,GAAY,MAAM,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC/F,OAAO,GAAI,OAAmC,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CAAC,CAAO;IAC3B,MAAM,CAAC,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,OAAO,GAAG,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,CAAU;IACzC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzF,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,eAAe,CACtB,MAAsB,EACtB,UAA4B;IAE5B,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IACxE,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACzC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;QACzD,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC;IACnD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAe,EACf,MAAoB,EACpB,GAIC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAChE,IAAI,SAAS,GAAG,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC;YACxC,IAAI,eAAe,GAA4B,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBACxD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACxC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;oBAChD,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI;wBAAE,SAAS,GAAG,KAAK,CAAC;oBACtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACrD,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;oBACxC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YACpD,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9C,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CACpD,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,SAAS,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAChF,CAAC;YACF,OAAO;gBACL,SAAS;gBACT,QAAQ;gBACR,gBAAgB;gBAChB,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,eAAe,EAAE;aAC9C,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;gBACnE,IAAI,IAAI,EAAE,CAAC;oBACT,OAAO;wBACL,SAAS,EAAE,IAAI;wBACf,QAAQ,EAAE,IAAI;wBACd,gBAAgB,EAAE,IAAI;wBACtB,QAAQ;wBACR,cAAc,EAAE,SAAS,CAAC,IAAI;qBAC/B,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC9B,OAAO;gBACL,SAAS,EAAE,KAAK;gBAChB,QAAQ,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC;gBAC/B,gBAAgB,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC;gBACvC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;aAC1E,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GACV,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtF,OAAO;gBACL,SAAS,EAAE,CAAC,MAAM;gBAClB,QAAQ,EAAE,CAAC,MAAM;gBACjB,gBAAgB,EAAE,CAAC,MAAM;gBACzB,QAAQ,EAAE,EAAE,MAAM,EAAE;aACrB,CAAC;QACJ,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GACR,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5F,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC7B,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;oBAAE,OAAO,IAAI,CAAC;gBACzE,OAAO,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC;YAChD,CAAC,CAAC,CAAC;YACH,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,QAAQ,EAAE,IAAI;oBACd,gBAAgB,EAAE,IAAI;oBACtB,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;oBACjD,cAAc,EAAE,KAAK,CAAC,IAAI;iBAC3B,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,SAAS,EAAE,KAAK;gBAChB,QAAQ,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC;gBAC1B,gBAAgB,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC;gBAClC,QAAQ,EAAE,IAAI;aACf,CAAC;QACJ,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3F,MAAM,QAAQ,GAA4B,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;YACjD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACnD,IAAI,MAAM,GAAG,CAAC,OAAO,CAAC;YACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;gBAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;gBAC5B,IACE,IAAI,KAAK,IAAI;oBACb,IAAI,KAAK,SAAS;oBAClB,IAAI,KAAK,IAAI;oBACb,IAAI,KAAK,SAAS;oBAClB,IAAI,IAAI,IAAI,EACZ,CAAC;oBACD,MAAM,GAAG,KAAK,CAAC;gBACjB,CAAC;YACH,CAAC;YACD,0DAA0D;YAC1D,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CACrE,CAAC;YACF,OAAO;gBACL,SAAS,EAAE,MAAM;gBACjB,QAAQ,EAAE,KAAK;gBACf,gBAAgB,EAAE,KAAK;gBACvB,QAAQ;aACT,CAAC;QACJ,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,QAAQ,GAA4B,EAAE,CAAC;YAC7C,IAAI,IAAI,GAAG,MAAM,KAAK,IAAI,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACjC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;gBACzD,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;oBAAE,IAAI,GAAG,KAAK,CAAC;YACnD,CAAC;YACD,mEAAmE;YACnE,8CAA8C;YAC9C,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CACzC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,SAAS,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAChF,CAAC;YACF,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,KAAK,IAAI,MAAM,KAAK,IAAI;gBAClC,gBAAgB,EAAE,KAAK;gBACvB,QAAQ;aACT,CAAC;QACJ,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAC7C,OAAO;gBACL,SAAS,EAAE,SAAS,KAAK,CAAC;gBAC1B,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC/D,gBAAgB,EAAE,SAAS,KAAK,CAAC,GAAG,CAAC,YAAY,IAAI,SAAS,CAAC;gBAC/D,QAAQ,EAAE,EAAE,YAAY,EAAE,SAAS,EAAE;aACtC,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,MAAoB,EAAE,GAA8B;IACpF,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,eAAe;IAC9D,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,eAAe;IACjE,OAAO,GAAG,KAAK,MAAM,CAAC;AACxB,CAAC"}

package/dist/write/verify/poller.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Verification polling loop. Each poll is a discrete auto-commit read (fresh
+ * WAL snapshot — never wrap polls in a transaction). Cadence: immediate,
+ * then every 100ms for 2s, then every 300ms until deadline.
+ *
+ * Deadline classification (design §4):
+ *   satisfied            → ok
+ *   asserted field moved → mismatch   (partial or contrary write)
+ *   only tripwire moved  → timeout    (something happened, not what we asked)
+ *   nothing moved        → silent-noop
+ */
+import type { DeltaEvaluation } from "./delta.ts";
+export interface PollOutcome {
+    kind: "ok" | "timeout" | "mismatch" | "silent-noop";
+    attempts: number;
+    elapsedMs: number;
+    observed: Record<string, unknown> | null;
+    discoveredUuid?: string;
+}
+export interface PollerDeps {
+    now?: () => number;
+    sleep?: (ms: number) => Promise<void>;
+}
+export declare function pollUntilVerified(evaluate: () => DeltaEvaluation, timeoutMs: number, deps?: PollerDeps): Promise<PollOutcome>;

package/dist/write/verify/poller.js

@@ -0,0 +1,28 @@
+export async function pollUntilVerified(evaluate, timeoutMs, deps = {}) {
+    const now = deps.now ?? (() => Date.now());
+    const sleep = deps.sleep ?? ((ms) => new Promise((r) => setTimeout(r, ms)));
+    const started = now();
+    const deadline = started + timeoutMs;
+    let attempts = 0;
+    let last = null;
+    for (;;) {
+        attempts += 1;
+        last = evaluate();
+        if (last.satisfied) {
+            return {
+                kind: "ok",
+                attempts,
+                elapsedMs: now() - started,
+                observed: last.observed,
+                ...(last.discoveredUuid !== undefined && { discoveredUuid: last.discoveredUuid }),
+            };
+        }
+        const elapsed = now() - started;
+        if (now() >= deadline) {
+            const kind = last.assertedMovement ? "mismatch" : last.movement ? "timeout" : "silent-noop";
+            return { kind, attempts, elapsedMs: elapsed, observed: last.observed };
+        }
+        await sleep(elapsed < 2000 ? 100 : 300);
+    }
+}
+//# sourceMappingURL=poller.js.map

package/dist/write/verify/poller.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"poller.js","sourceRoot":"","sources":["../../../src/write/verify/poller.ts"],"names":[],"mappings":"AA0BA,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,QAA+B,EAC/B,SAAiB,EACjB,OAAmB,EAAE;IAErB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,OAAO,CAAO,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;IACrC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,IAAI,GAA2B,IAAI,CAAC;IAExC,SAAS,CAAC;QACR,QAAQ,IAAI,CAAC,CAAC;QACd,IAAI,GAAG,QAAQ,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,QAAQ;gBACR,SAAS,EAAE,GAAG,EAAE,GAAG,OAAO;gBAC1B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,GAAG,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC;aAClF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,GAAG,EAAE,GAAG,OAAO,CAAC;QAChC,IAAI,GAAG,EAAE,IAAI,QAAQ,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC;YAC5F,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzE,CAAC;QACD,MAAM,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC"}

package/package.json

@@ -0,0 +1,52 @@
+{
+  "name": "things-api",
+  "version": "0.5.0",
+  "description": "Typed TypeScript library + CLI for Things 3 (Cultured Code) — verified writes, audit trail, schema-drift detection",
+  "license": "MIT",
+  "bin": {
+    "things": "bin/things.js"
+  },
+  "files": [
+    "bin",
+    "dist"
+  ],
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "prepublishOnly": "npm run check && npm run build",
+    "smoke:pack": "bash scripts/pack-smoke.sh",
+    "typecheck": "tsc --noEmit",
+    "lint": "oxlint",
+    "fmt": "oxfmt",
+    "fmt:check": "oxfmt --check",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "lab:run": "node lab/runner/main.ts run",
+    "lab:compare": "node lab/runner/main.ts compare",
+    "lab:gc": "node lab/runner/main.ts gc",
+    "lab:regress": "bash lab/scripts/regress.sh",
+    "check": "npm run typecheck && npm run lint && npm run fmt:check && npm run test"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.29.0",
+    "commander": "^14.0.3",
+    "zod": "^4.4.3"
+  },
+  "devDependencies": {
+    "@types/node": "^24.13.2",
+    "oxfmt": "^0.57.0",
+    "oxlint": "^1.72.0",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.9"
+  },
+  "engines": {
+    "node": ">=24"
+  }
+}