@rewind-ai/cli 0.6.2

package/dist/src/core/compatibility.js

@@ -0,0 +1,226 @@
+/**
+ * Bidirectional mapping between V2 ActionRecord and V5 Transaction.
+ * On-disk ledger remains act_*.json ActionRecord for FS backwards compatibility.
+ */
+import { SANDBOX_DIR_NAME } from "../paths.js";
+import { actorFromMcpClient, emptyUndoInfo, TRANSACTION_MODEL_VERSION, unknownAuthority, } from "./types.js";
+function emptyAbsent() {
+    return {
+        exists: false,
+        kind: "absent",
+        hash: null,
+        size: 0,
+        mode: null,
+        linkTarget: null,
+        objectId: null,
+    };
+}
+function fsPayload(primary, secondary) {
+    return { kind: "filesystem", primary, secondary };
+}
+function mapReversibility(r) {
+    if (r === "COMPENSABLE")
+        return "COMPENSATABLE";
+    if (r === "IRREVERSIBLE")
+        return "IRREVERSIBLE";
+    return "REVERSIBLE";
+}
+function mapReversibilityBack(r) {
+    if (r === "COMPENSATABLE")
+        return "COMPENSABLE";
+    if (r === "IRREVERSIBLE")
+        return "IRREVERSIBLE";
+    // APPROVAL_REQUIRED is not a v2 reversibility — store as IRREVERSIBLE marker
+    // only if somehow persisted; FS ops use REVERSIBLE.
+    if (r === "APPROVAL_REQUIRED")
+        return "IRREVERSIBLE";
+    return "REVERSIBLE";
+}
+function mapStatus(s) {
+    return s;
+}
+function mapStatusBack(s) {
+    if (s === "AWAITING_APPROVAL" || s === "DENIED" || s === "UNDOING") {
+        // These v5-only statuses are not representable in v2 ActionStatus.
+        // Callers writing to disk for pending approval use Transaction store.
+        if (s === "UNDOING")
+            return "EXECUTING";
+        if (s === "DENIED")
+            return "FAILED";
+        return "PREPARED";
+    }
+    return s;
+}
+function toolToOperation(tool) {
+    switch (tool) {
+        case "rewind_write_file":
+            return "write";
+        case "rewind_create_file":
+            return "create";
+        case "rewind_delete_file":
+            return "delete";
+        case "rewind_move_file":
+            return "move";
+        case "rewind_create_directory":
+            return "create_directory";
+        case "rewind_delete_directory":
+            return "delete_directory";
+        default:
+            return tool;
+    }
+}
+export function operationToTool(operation, createOnly) {
+    switch (operation) {
+        case "write":
+            return "rewind_write_file";
+        case "create":
+            return "rewind_create_file";
+        case "delete":
+            return "rewind_delete_file";
+        case "move":
+            return "rewind_move_file";
+        case "create_directory":
+            return "rewind_create_directory";
+        case "delete_directory":
+            return "rewind_delete_directory";
+        default:
+            return createOnly ? "rewind_create_file" : "rewind_write_file";
+    }
+}
+export function actionRecordToTransaction(action) {
+    const client = "name" in action.client
+        ? action.client
+        : { name: "UNKNOWN_MCP_CLIENT", version: "unknown" };
+    let undoStatus = "NONE";
+    if (action.status === "COMPLETED" && action.reversibility === "REVERSIBLE") {
+        undoStatus = "READY";
+    }
+    else if (action.status === "UNDONE") {
+        undoStatus = "UNDONE";
+    }
+    else if (action.status === "CONFLICTED") {
+        undoStatus = "CONFLICTED";
+    }
+    return {
+        id: action.id,
+        version: TRANSACTION_MODEL_VERSION,
+        sequence: action.sequence,
+        sessionId: action.sessionId,
+        createdAt: action.requestedAt,
+        completedAt: action.completedAt,
+        actor: actorFromMcpClient(client),
+        authority: unknownAuthority(),
+        source: action.source ?? "MCP",
+        adapter: "filesystem",
+        operation: toolToOperation(action.tool),
+        target: {
+            type: action.tool.includes("directory") && !action.tool.includes("file")
+                ? "directory"
+                : "file",
+            resource: action.target,
+            displayName: action.target,
+            secondary: action.targetSecondary,
+        },
+        before: fsPayload(action.before, action.beforeSecondary),
+        after: fsPayload(action.after, action.afterSecondary),
+        reversibility: {
+            class: mapReversibility(action.reversibility),
+            strategy: "restore_snapshot",
+            expectedState: action.after.hash,
+        },
+        permission: {
+            decision: "ALLOW",
+            reason: "legacy_v2_record",
+            policyId: null,
+            evaluatedAt: action.requestedAt,
+        },
+        status: mapStatus(action.status),
+        dependencies: [],
+        undo: {
+            status: undoStatus,
+            attemptedAt: action.undoneAt,
+            result: action.undoVerification
+                ? action.undoVerification.ok
+                    ? "ok"
+                    : "failed"
+                : null,
+            conflict: action.conflict
+                ? {
+                    expected: action.conflict.expectedHash,
+                    actual: action.conflict.actualHash,
+                    message: action.conflict.message,
+                }
+                : null,
+        },
+        error: action.error,
+        sandbox: action.sandbox ?? SANDBOX_DIR_NAME,
+        legacyTool: action.tool,
+        metadata: {},
+    };
+}
+/**
+ * Convert a filesystem Transaction back to ActionRecord for the v2 ledger.
+ * Only valid for adapter === filesystem with filesystem state payloads.
+ */
+export function transactionToActionRecord(txn) {
+    if (txn.adapter !== "filesystem") {
+        throw new Error(`Cannot convert non-filesystem transaction ${txn.id} to ActionRecord`);
+    }
+    const before = txn.before?.kind === "filesystem"
+        ? txn.before.primary
+        : emptyAbsent();
+    const beforeSecondary = txn.before?.kind === "filesystem" ? txn.before.secondary : null;
+    const after = txn.after?.kind === "filesystem" ? txn.after.primary : emptyAbsent();
+    const afterSecondary = txn.after?.kind === "filesystem" ? txn.after.secondary : null;
+    const tool = (txn.legacyTool ??
+        operationToTool(txn.operation));
+    const client = {
+        name: txn.actor.client,
+        version: txn.actor.clientVersion ?? "unknown",
+    };
+    return {
+        id: txn.id,
+        version: 2,
+        sessionId: txn.sessionId,
+        sequence: txn.sequence,
+        source: "MCP",
+        tool,
+        sandbox: txn.sandbox ?? SANDBOX_DIR_NAME,
+        requestedAt: txn.createdAt,
+        completedAt: txn.completedAt,
+        target: txn.target.resource,
+        targetSecondary: txn.target.secondary,
+        before,
+        after,
+        beforeSecondary,
+        afterSecondary,
+        reversibility: mapReversibilityBack(txn.reversibility.class),
+        status: mapStatusBack(txn.status),
+        client,
+        error: txn.error,
+        undoneAt: txn.undo.attemptedAt,
+        undoVerification: txn.undo.result
+            ? {
+                expectedAfterHash: txn.undo.conflict?.expected ?? null,
+                actualBeforeUndoHash: txn.undo.conflict?.actual ?? null,
+                restoredHash: null,
+                ok: txn.undo.result === "ok",
+            }
+            : null,
+        conflict: txn.undo.conflict
+            ? {
+                expectedHash: txn.undo.conflict.expected,
+                actualHash: txn.undo.conflict.actual,
+                message: txn.undo.conflict.message,
+            }
+            : null,
+    };
+}
+export function isActionRecord(raw) {
+    if (!raw || typeof raw !== "object")
+        return false;
+    const o = raw;
+    return o.version === 2 && typeof o.tool === "string" && typeof o.id === "string";
+}
+export { emptyUndoInfo };
+//# sourceMappingURL=compatibility.js.map

package/dist/src/core/compatibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compatibility.js","sourceRoot":"","sources":["../../../src/core/compatibility.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,yBAAyB,EACzB,gBAAgB,GAMjB,MAAM,YAAY,CAAC;AAEpB,SAAS,WAAW;IAClB,OAAO;QACL,MAAM,EAAE,KAAK;QACb,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,OAAsB,EACtB,SAA+B;IAE/B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,gBAAgB,CACvB,CAAgC;IAEhC,IAAI,CAAC,KAAK,aAAa;QAAE,OAAO,eAAe,CAAC;IAChD,IAAI,CAAC,KAAK,cAAc;QAAE,OAAO,cAAc,CAAC;IAChD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,oBAAoB,CAC3B,CAAqB;IAErB,IAAI,CAAC,KAAK,eAAe;QAAE,OAAO,aAAa,CAAC;IAChD,IAAI,CAAC,KAAK,cAAc;QAAE,OAAO,cAAc,CAAC;IAChD,6EAA6E;IAC7E,oDAAoD;IACpD,IAAI,CAAC,KAAK,mBAAmB;QAAE,OAAO,cAAc,CAAC;IACrD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,SAAS,CAAC,CAAe;IAChC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,CAAoB;IACzC,IAAI,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACnE,mEAAmE;QACnE,sEAAsE;QACtE,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QACxC,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,QAAQ,CAAC;QACpC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,eAAe,CAAC,IAAgB;IACvC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC;QACjB,KAAK,oBAAoB;YACvB,OAAO,QAAQ,CAAC;QAClB,KAAK,oBAAoB;YACvB,OAAO,QAAQ,CAAC;QAClB,KAAK,kBAAkB;YACrB,OAAO,MAAM,CAAC;QAChB,KAAK,yBAAyB;YAC5B,OAAO,kBAAkB,CAAC;QAC5B,KAAK,yBAAyB;YAC5B,OAAO,kBAAkB,CAAC;QAC5B;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,SAAiB,EACjB,UAAoB;IAEpB,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,oBAAoB,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,oBAAoB,CAAC;QAC9B,KAAK,MAAM;YACT,OAAO,kBAAkB,CAAC;QAC5B,KAAK,kBAAkB;YACrB,OAAO,yBAAyB,CAAC;QACnC,KAAK,kBAAkB;YACrB,OAAO,yBAAyB,CAAC;QACnC;YACE,OAAO,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAoB;IAC5D,MAAM,MAAM,GACV,MAAM,IAAI,MAAM,CAAC,MAAM;QACrB,CAAC,CAAC,MAAM,CAAC,MAAM;QACf,CAAC,CAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,SAAS,EAAoB,CAAC;IAE5E,IAAI,UAAU,GAAkC,MAAM,CAAC;IACvD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,aAAa,KAAK,YAAY,EAAE,CAAC;QAC3E,UAAU,GAAG,OAAO,CAAC;IACvB,CAAC;SAAM,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACtC,UAAU,GAAG,QAAQ,CAAC;IACxB,CAAC;SAAM,IAAI,MAAM,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAC1C,UAAU,GAAG,YAAY,CAAC;IAC5B,CAAC;IAED,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,OAAO,EAAE,yBAAyB;QAClC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,SAAS,EAAE,MAAM,CAAC,WAAW;QAC7B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC;QACjC,SAAS,EAAE,gBAAgB,EAAE;QAC7B,MAAM,EAAG,MAAM,CAAC,MAA4B,IAAI,KAAK;QACrD,OAAO,EAAE,YAAY;QACrB,SAAS,EAAE,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;QACvC,MAAM,EAAE;YACN,IAAI,EACF,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAChE,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,MAAM;YACZ,QAAQ,EAAE,MAAM,CAAC,MAAM;YACvB,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,SAAS,EAAE,MAAM,CAAC,eAAe;SAClC;QACD,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC;QACxD,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC;QACrD,aAAa,EAAE;YACb,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,aAAa,CAAC;YAC7C,QAAQ,EAAE,kBAAkB;YAC5B,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI;SACjC;QACD,UAAU,EAAE;YACV,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,kBAAkB;YAC1B,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC;QACD,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;QAChC,YAAY,EAAE,EAAE;QAChB,IAAI,EAAE;YACJ,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,MAAM,CAAC,QAAQ;YAC5B,MAAM,EAAE,MAAM,CAAC,gBAAgB;gBAC7B,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE;oBAC1B,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,QAAQ;gBACZ,CAAC,CAAC,IAAI;YACR,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACvB,CAAC,CAAC;oBACE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY;oBACtC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;oBAClC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO;iBACjC;gBACH,CAAC,CAAC,IAAI;SACT;QACD,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,gBAAgB;QAC3C,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAgB;IACxD,IAAI,GAAG,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,6CAA6C,GAAG,CAAC,EAAE,kBAAkB,CACtE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GACV,GAAG,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY;QAC/B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO;QACpB,CAAC,CAAC,WAAW,EAAE,CAAC;IACpB,MAAM,eAAe,GACnB,GAAG,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,MAAM,KAAK,GACT,GAAG,CAAC,KAAK,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACvE,MAAM,cAAc,GAClB,GAAG,CAAC,KAAK,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAEhE,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU;QAC1B,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAe,CAAC;IAEhD,MAAM,MAAM,GAA2B;QACrC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM;QACtB,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,aAAa,IAAI,SAAS;KAC9C,CAAC;IAEF,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,MAAM,EAAE,KAAK;QACb,IAAI;QACJ,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,gBAAgB;QACxC,WAAW,EAAE,GAAG,CAAC,SAAS;QAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;QAC3B,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS;QACrC,MAAM;QACN,KAAK;QACL,eAAe;QACf,cAAc;QACd,aAAa,EAAE,oBAAoB,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC;QAC5D,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC;QACjC,MAAM;QACN,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW;QAC9B,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM;YAC/B,CAAC,CAAC;gBACE,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,IAAI,IAAI;gBACtD,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,IAAI,IAAI;gBACvD,YAAY,EAAE,IAAI;gBAClB,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI;aAC7B;YACH,CAAC,CAAC,IAAI;QACR,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ;YACzB,CAAC,CAAC;gBACE,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBACxC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM;gBACpC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO;aACnC;YACH,CAAC,CAAC,IAAI;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAY;IACzC,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,CAAC,GAAG,GAA8B,CAAC;IACzC,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC;AACnF,CAAC;AAED,OAAO,EAAE,aAAa,EAAE,CAAC"}

package/dist/src/core/engine.d.ts

@@ -0,0 +1,33 @@
+/**
+ * V5 transaction engine — single authoritative mediated execution path.
+ *
+ * MCP / CLI / API → prepare → permission → adapter → before → mutate → after
+ */
+import { type Transaction, type TransactionIntent } from "./types.js";
+import type { ActionRecord } from "../action/types.js";
+export declare class TransactionEngineError extends Error {
+    readonly code: "DENIED" | "AWAITING_APPROVAL" | "VALIDATION" | "CONFLICT" | "ENTITLEMENT" | "NOT_FOUND" | "INVALID_STATE";
+    readonly transaction?: Transaction | undefined;
+    readonly name = "TransactionEngineError";
+    constructor(message: string, code: "DENIED" | "AWAITING_APPROVAL" | "VALIDATION" | "CONFLICT" | "ENTITLEMENT" | "NOT_FOUND" | "INVALID_STATE", transaction?: Transaction | undefined);
+}
+export declare function loadTransaction(id: string, projectRoot?: string): Promise<Transaction>;
+export interface ExecuteOptions {
+    throwOnDeny?: boolean;
+    existingId?: string;
+    fromApproval?: boolean;
+}
+/**
+ * Execute a mediated transaction through the V5 core.
+ */
+export declare function executeTransaction(rawIntent: TransactionIntent, projectRoot?: string, options?: ExecuteOptions): Promise<Transaction>;
+export declare function approvePending(approvalId: string, projectRoot?: string): Promise<Transaction>;
+export declare function denyPending(approvalId: string, projectRoot?: string): Promise<Transaction>;
+export declare function undoTransaction(id: string, projectRoot?: string): Promise<{
+    ok: boolean;
+    conflict: boolean;
+    transaction: Transaction;
+    message: string;
+}>;
+export declare function recoverIncompleteTransactions(projectRoot?: string): Promise<number>;
+export declare function transactionToLegacyAction(txn: Transaction): ActionRecord;