@tangram-mover/sdk 0.1.0

package/dist/src/analyzer/invariants.js

@@ -0,0 +1,159 @@
+"use strict";
+/**
+ * Invariant detection logic
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkInflationInvariant = checkInflationInvariant;
+exports.checkAccessControlInvariant = checkAccessControlInvariant;
+exports.checkOwnershipInvariant = checkOwnershipInvariant;
+exports.checkBalanceConsistencyInvariant = checkBalanceConsistencyInvariant;
+const types_1 = require("./types");
+/**
+ * Check for token inflation/deflation violations
+ * Invariant: Sum of balance changes should be <= 0 (excluding mints/burns)
+ */
+function checkInflationInvariant(traceData) {
+    const balanceChanges = traceData.balance_changes;
+    if (!balanceChanges || balanceChanges.length === 0) {
+        return {
+            name: 'inflation',
+            violated: false,
+            message: 'No balance changes detected',
+        };
+    }
+    // Group by coin type and calculate net change
+    const coinTotals = {};
+    for (const change of balanceChanges) {
+        const coinType = change.coinType;
+        const amount = typeof change.amount === 'string'
+            ? parseInt(change.amount)
+            : change.amount;
+        if (!coinTotals[coinType]) {
+            coinTotals[coinType] = 0;
+        }
+        coinTotals[coinType] += amount;
+    }
+    // Check for violations (positive net change = inflation)
+    const violations = [];
+    for (const [coinType, total] of Object.entries(coinTotals)) {
+        if (total > 0) {
+            violations.push({ coinType, netChange: total });
+        }
+    }
+    if (violations.length > 0) {
+        return {
+            name: 'inflation',
+            violated: true,
+            severity: types_1.InvariantSeverity.CRITICAL,
+            message: `Token inflation detected: ${violations.length} coin type(s) with positive net balance change`,
+            details: {
+                violations,
+                coinTotals,
+            },
+        };
+    }
+    return {
+        name: 'inflation',
+        violated: false,
+        message: 'Inflation invariant passed',
+        details: { coinTotals },
+    };
+}
+/**
+ * Check for access control violations
+ * This is a placeholder - actual implementation would need protocol-specific logic
+ */
+function checkAccessControlInvariant(traceData) {
+    // For now, this is a basic check
+    // Real implementation would need to verify:
+    // - Only authorized addresses can perform privileged operations
+    // - Capability objects are properly checked
+    // - Signer requirements are met
+    const moveCalls = traceData.ptb_commands.filter(cmd => cmd.command_type === 'MoveCall');
+    // Basic check: if there are move calls, we assume they're authorized
+    // (This would need protocol-specific validation in a real implementation)
+    return {
+        name: 'access_control',
+        violated: false,
+        message: 'Access control check passed (basic validation)',
+        details: {
+            moveCallsCount: moveCalls.length,
+            note: 'Full access control validation requires protocol-specific logic',
+        },
+    };
+}
+/**
+ * Check for ownership transfer anomalies
+ */
+function checkOwnershipInvariant(traceData) {
+    const objectChanges = traceData.object_changes;
+    if (!objectChanges || objectChanges.length === 0) {
+        return {
+            name: 'ownership',
+            violated: false,
+            message: 'No object changes detected',
+        };
+    }
+    // Check for suspicious ownership transfers
+    const suspiciousTransfers = [];
+    for (const change of objectChanges) {
+        // Check for objects transferred to/from unexpected addresses
+        // This is a simplified check - real implementation would need more context
+        if (change.type === 'mutated' && change.previousOwner && change.owner) {
+            // Basic validation: ownership should be consistent
+            // More sophisticated checks would verify:
+            // - Previous owner had permission to transfer
+            // - New owner is valid
+            // - Transfer follows protocol rules
+        }
+    }
+    if (suspiciousTransfers.length > 0) {
+        return {
+            name: 'ownership',
+            violated: true,
+            severity: types_1.InvariantSeverity.HIGH,
+            message: `Suspicious ownership transfers detected: ${suspiciousTransfers.length}`,
+            details: { suspiciousTransfers },
+        };
+    }
+    return {
+        name: 'ownership',
+        violated: false,
+        message: 'Ownership invariant passed',
+        details: {
+            totalObjectChanges: objectChanges.length,
+        },
+    };
+}
+/**
+ * Check for balance consistency
+ * Verify that balance changes match object changes
+ */
+function checkBalanceConsistencyInvariant(traceData) {
+    const balanceChanges = traceData.balance_changes;
+    const objectChanges = traceData.object_changes;
+    // Basic check: if there are balance changes, there should be corresponding object changes
+    // This is simplified - real implementation would need to match specific objects
+    if (balanceChanges.length > 0 && objectChanges.length === 0) {
+        return {
+            name: 'balance_consistency',
+            violated: true,
+            severity: types_1.InvariantSeverity.MEDIUM,
+            message: 'Balance changes detected without corresponding object changes',
+            details: {
+                balanceChangesCount: balanceChanges.length,
+                objectChangesCount: objectChanges.length,
+            },
+        };
+    }
+    return {
+        name: 'balance_consistency',
+        violated: false,
+        message: 'Balance consistency check passed',
+        details: {
+            balanceChangesCount: balanceChanges.length,
+            objectChangesCount: objectChanges.length,
+        },
+    };
+}
+//# sourceMappingURL=invariants.js.map

package/dist/src/analyzer/invariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.js","sourceRoot":"","sources":["../../../src/analyzer/invariants.ts"],"names":[],"mappings":";AAAA;;GAEG;;AAUH,0DAuDC;AAMD,kEAqBC;AAKD,0DAgDC;AAMD,4EA6BC;AAhLD,mCAA4C;AAE5C;;;GAGG;AACH,SAAgB,uBAAuB,CAAC,SAAoB;IAC1D,MAAM,cAAc,GAAG,SAAS,CAAC,eAAe,CAAC;IAEjD,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,6BAA6B;SACvC,CAAC;IACJ,CAAC;IAED,8CAA8C;IAC9C,MAAM,UAAU,GAA2B,EAAE,CAAC;IAE9C,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QACjC,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;YAC9C,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;YACzB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;QAElB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;QAED,UAAU,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC;IACjC,CAAC;IAED,yDAAyD;IACzD,MAAM,UAAU,GAAmD,EAAE,CAAC;IAEtE,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,yBAAiB,CAAC,QAAQ;YACpC,OAAO,EAAE,6BAA6B,UAAU,CAAC,MAAM,gDAAgD;YACvG,OAAO,EAAE;gBACP,UAAU;gBACV,UAAU;aACX;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,4BAA4B;QACrC,OAAO,EAAE,EAAE,UAAU,EAAE;KACxB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,2BAA2B,CAAC,SAAoB;IAC9D,iCAAiC;IACjC,4CAA4C;IAC5C,gEAAgE;IAChE,4CAA4C;IAC5C,gCAAgC;IAEhC,MAAM,SAAS,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,YAAY,KAAK,UAAU,CAAC,CAAC;IAExF,qEAAqE;IACrE,0EAA0E;IAE1E,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,gDAAgD;QACzD,OAAO,EAAE;YACP,cAAc,EAAE,SAAS,CAAC,MAAM;YAChC,IAAI,EAAE,iEAAiE;SACxE;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CAAC,SAAoB;IAC1D,MAAM,aAAa,GAAG,SAAS,CAAC,cAAc,CAAC;IAE/C,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,4BAA4B;SACtC,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,mBAAmB,GAIpB,EAAE,CAAC;IAER,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,6DAA6D;QAC7D,2EAA2E;QAC3E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACtE,mDAAmD;YACnD,0CAA0C;YAC1C,8CAA8C;YAC9C,uBAAuB;YACvB,oCAAoC;QACtC,CAAC;IACH,CAAC;IAED,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,yBAAiB,CAAC,IAAI;YAChC,OAAO,EAAE,4CAA4C,mBAAmB,CAAC,MAAM,EAAE;YACjF,OAAO,EAAE,EAAE,mBAAmB,EAAE;SACjC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,4BAA4B;QACrC,OAAO,EAAE;YACP,kBAAkB,EAAE,aAAa,CAAC,MAAM;SACzC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,gCAAgC,CAAC,SAAoB;IACnE,MAAM,cAAc,GAAG,SAAS,CAAC,eAAe,CAAC;IACjD,MAAM,aAAa,GAAG,SAAS,CAAC,cAAc,CAAC;IAE/C,0FAA0F;IAC1F,gFAAgF;IAEhF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,yBAAiB,CAAC,MAAM;YAClC,OAAO,EAAE,+DAA+D;YACxE,OAAO,EAAE;gBACP,mBAAmB,EAAE,cAAc,CAAC,MAAM;gBAC1C,kBAAkB,EAAE,aAAa,CAAC,MAAM;aACzC;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,kCAAkC;QAC3C,OAAO,EAAE;YACP,mBAAmB,EAAE,cAAc,CAAC,MAAM;YAC1C,kBAAkB,EAAE,aAAa,CAAC,MAAM;SACzC;KACF,CAAC;AACJ,CAAC"}

package/dist/src/analyzer/types.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Type definitions for invariant analysis
+ */
+/**
+ * Severity level of an invariant violation
+ */
+export declare enum InvariantSeverity {
+    /** Critical violation - immediate action required */
+    CRITICAL = "critical",
+    /** High severity - likely exploit */
+    HIGH = "high",
+    /** Medium severity - suspicious but may be legitimate */
+    MEDIUM = "medium",
+    /** Low severity - minor anomaly */
+    LOW = "low"
+}
+/**
+ * Result of checking a single invariant
+ */
+export interface InvariantResult {
+    /** Name of the invariant check */
+    name: string;
+    /** Whether a violation was detected */
+    violated: boolean;
+    /** Severity of the violation (if violated) */
+    severity?: InvariantSeverity;
+    /** Human-readable message describing the violation */
+    message?: string;
+    /** Additional details about the violation */
+    details?: Record<string, any>;
+}
+/**
+ * Complete analysis result for a transaction
+ */
+export interface AnalysisResult {
+    /** Transaction digest */
+    digest: string;
+    /** Timestamp of analysis */
+    timestamp: string;
+    /** Overall status */
+    status: 'safe' | 'violations_detected' | 'error';
+    /** List of invariant check results */
+    invariants: InvariantResult[];
+    /** Summary statistics */
+    summary: {
+        /** Total number of checks performed */
+        total_checks: number;
+        /** Number of violations detected */
+        violations: number;
+        /** Number of critical violations */
+        critical_violations: number;
+    };
+}
+/**
+ * Combined trace and analysis result
+ */
+export interface TraceAndAnalysisResult {
+    /** Transaction trace data */
+    trace: import('../tracer/types').TraceData;
+    /** Analysis result */
+    analysis: AnalysisResult;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/src/analyzer/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/analyzer/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,oBAAY,iBAAiB;IAC3B,qDAAqD;IACrD,QAAQ,aAAa;IACrB,qCAAqC;IACrC,IAAI,SAAS;IACb,yDAAyD;IACzD,MAAM,WAAW;IACjB,mCAAmC;IACnC,GAAG,QAAQ;CACZ;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,uCAAuC;IACvC,QAAQ,EAAE,OAAO,CAAC;IAClB,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,sDAAsD;IACtD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,6CAA6C;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,yBAAyB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,4BAA4B;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,qBAAqB;IACrB,MAAM,EAAE,MAAM,GAAG,qBAAqB,GAAG,OAAO,CAAC;IACjD,sCAAsC;IACtC,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,yBAAyB;IACzB,OAAO,EAAE;QACP,uCAAuC;QACvC,YAAY,EAAE,MAAM,CAAC;QACrB,oCAAoC;QACpC,UAAU,EAAE,MAAM,CAAC;QACnB,oCAAoC;QACpC,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,6BAA6B;IAC7B,KAAK,EAAE,OAAO,iBAAiB,EAAE,SAAS,CAAC;IAC3C,sBAAsB;IACtB,QAAQ,EAAE,cAAc,CAAC;CAC1B"}

package/dist/src/analyzer/types.js

@@ -0,0 +1,21 @@
+"use strict";
+/**
+ * Type definitions for invariant analysis
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.InvariantSeverity = void 0;
+/**
+ * Severity level of an invariant violation
+ */
+var InvariantSeverity;
+(function (InvariantSeverity) {
+    /** Critical violation - immediate action required */
+    InvariantSeverity["CRITICAL"] = "critical";
+    /** High severity - likely exploit */
+    InvariantSeverity["HIGH"] = "high";
+    /** Medium severity - suspicious but may be legitimate */
+    InvariantSeverity["MEDIUM"] = "medium";
+    /** Low severity - minor anomaly */
+    InvariantSeverity["LOW"] = "low";
+})(InvariantSeverity || (exports.InvariantSeverity = InvariantSeverity = {}));
+//# sourceMappingURL=types.js.map

package/dist/src/analyzer/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/analyzer/types.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH;;GAEG;AACH,IAAY,iBASX;AATD,WAAY,iBAAiB;IAC3B,qDAAqD;IACrD,0CAAqB,CAAA;IACrB,qCAAqC;IACrC,kCAAa,CAAA;IACb,yDAAyD;IACzD,sCAAiB,CAAA;IACjB,mCAAmC;IACnC,gCAAW,CAAA;AACb,CAAC,EATW,iBAAiB,iCAAjB,iBAAiB,QAS5B"}

package/dist/src/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Tangram Mover TypeScript SDK
+ * Main entry point - exports all public APIs
+ */
+export { TangramMover } from './tangram-mover';
+export { Tracer } from './tracer/tracer';
+export * from './tracer/types';
+export { Analyzer } from './analyzer/analyzer';
+export * from './analyzer/types';
+export * from './analyzer/invariants';
+export { RpcClient } from './utils/rpc-client';
+export * from './types';
+export { SuiKit } from '@scallop-io/sui-kit';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG/C,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAG/B,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC;AAGtC,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAG/C,cAAc,SAAS,CAAC;AAGxB,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/src/index.js

@@ -0,0 +1,42 @@
+"use strict";
+/**
+ * Tangram Mover TypeScript SDK
+ * Main entry point - exports all public APIs
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SuiKit = exports.RpcClient = exports.Analyzer = exports.Tracer = exports.TangramMover = void 0;
+// Main SDK class
+var tangram_mover_1 = require("./tangram-mover");
+Object.defineProperty(exports, "TangramMover", { enumerable: true, get: function () { return tangram_mover_1.TangramMover; } });
+// Tracer exports
+var tracer_1 = require("./tracer/tracer");
+Object.defineProperty(exports, "Tracer", { enumerable: true, get: function () { return tracer_1.Tracer; } });
+__exportStar(require("./tracer/types"), exports);
+// Analyzer exports
+var analyzer_1 = require("./analyzer/analyzer");
+Object.defineProperty(exports, "Analyzer", { enumerable: true, get: function () { return analyzer_1.Analyzer; } });
+__exportStar(require("./analyzer/types"), exports);
+__exportStar(require("./analyzer/invariants"), exports);
+// Utility exports
+var rpc_client_1 = require("./utils/rpc-client");
+Object.defineProperty(exports, "RpcClient", { enumerable: true, get: function () { return rpc_client_1.RpcClient; } });
+// Type exports
+__exportStar(require("./types"), exports);
+// Re-export SuiKit for convenience
+var sui_kit_1 = require("@scallop-io/sui-kit");
+Object.defineProperty(exports, "SuiKit", { enumerable: true, get: function () { return sui_kit_1.SuiKit; } });
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;AAEH,iBAAiB;AACjB,iDAA+C;AAAtC,6GAAA,YAAY,OAAA;AAErB,iBAAiB;AACjB,0CAAyC;AAAhC,gGAAA,MAAM,OAAA;AACf,iDAA+B;AAE/B,mBAAmB;AACnB,gDAA+C;AAAtC,oGAAA,QAAQ,OAAA;AACjB,mDAAiC;AACjC,wDAAsC;AAEtC,kBAAkB;AAClB,iDAA+C;AAAtC,uGAAA,SAAS,OAAA;AAElB,eAAe;AACf,0CAAwB;AAExB,mCAAmC;AACnC,+CAA6C;AAApC,iGAAA,MAAM,OAAA"}

package/dist/src/tangram-mover.d.ts

@@ -0,0 +1,95 @@
+/**
+ * Main TangramMover SDK class
+ * Integrates transaction tracing, invariant analysis, and transaction execution
+ */
+import type { TangramMoverOptions, TransactionResult } from './types';
+import type { TraceData } from './tracer/types';
+import type { AnalysisResult, TraceAndAnalysisResult } from './analyzer/types';
+/**
+ * Main SDK class for Tangram Mover
+ */
+export declare class TangramMover {
+    private suiKit;
+    private rpcClient;
+    private tracer;
+    private analyzer;
+    /**
+     * Initialize TangramMover with options
+     */
+    constructor(options?: TangramMoverOptions);
+    /**
+     * Get the current address
+     */
+    getCurrentAddress(): string;
+    /**
+     * Get address for a specific account index (HD wallet)
+     */
+    getAddress(options?: {
+        accountIndex?: number;
+    }): string;
+    /**
+     * Trace a single transaction
+     */
+    traceTransaction(digest: string): Promise<TraceData>;
+    /**
+     * Trace multiple transactions
+     */
+    traceTransactions(digests: string[]): Promise<TraceData[]>;
+    /**
+     * Analyze a single transaction
+     */
+    analyzeTransaction(digest: string): Promise<AnalysisResult>;
+    /**
+     * Analyze multiple transactions
+     */
+    analyzeTransactions(digests: string[]): Promise<AnalysisResult[]>;
+    /**
+     * Trace and analyze a transaction in one call
+     */
+    traceAndAnalyze(digest: string): Promise<TraceAndAnalysisResult>;
+    /**
+     * Transfer SUI to a recipient
+     */
+    transferSui(recipient: string, amount: number, options?: {
+        accountIndex?: number;
+    }): Promise<TransactionResult>;
+    /**
+     * Transfer SUI to multiple recipients
+     */
+    transferSuiToMany(recipients: string[], amounts: number[], options?: {
+        accountIndex?: number;
+    }): Promise<TransactionResult>;
+    /**
+     * Transfer custom coin to a recipient
+     */
+    transferCoin(recipient: string, amount: number, coinType: string, options?: {
+        accountIndex?: number;
+    }): Promise<TransactionResult>;
+    /**
+     * Transfer custom coin to multiple recipients
+     */
+    transferCoinToMany(recipients: string[], amounts: number[], coinType: string, options?: {
+        accountIndex?: number;
+    }): Promise<TransactionResult>;
+    /**
+     * Call a Move function
+     */
+    moveCall(target: string, args: any[], typeArguments?: string[], options?: {
+        accountIndex?: number;
+    }): Promise<TransactionResult>;
+    /**
+     * Transfer objects
+     */
+    transferObjects(objectIds: string[], recipient: string, options?: {
+        accountIndex?: number;
+    }): Promise<TransactionResult>;
+    /**
+     * Get balance for a coin type
+     */
+    getBalance(coinType?: string, options?: {
+        accountIndex?: number;
+    }): Promise<{
+        totalBalance: string;
+    }>;
+}
+//# sourceMappingURL=tangram-mover.d.ts.map

package/dist/src/tangram-mover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tangram-mover.d.ts","sourceRoot":"","sources":["../../src/tangram-mover.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAMH,OAAO,KAAK,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AACtE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE/E;;GAEG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,QAAQ,CAAW;IAE3B;;OAEG;gBACS,OAAO,GAAE,mBAAwB;IAiC7C;;OAEG;IACH,iBAAiB,IAAI,MAAM;IAI3B;;OAEG;IACH,UAAU,CAAC,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM;IAIvD;;OAEG;IACG,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IAI1D;;OAEG;IACG,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAIhE;;OAEG;IACG,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC;IAKjE;;OAEG;IACG,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAKvE;;OAEG;IACG,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC;IAUtE;;OAEG;IACG,WAAW,CACf,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAClC,OAAO,CAAC,iBAAiB,CAAC;IAsB7B;;OAEG;IACG,iBAAiB,CACrB,UAAU,EAAE,MAAM,EAAE,EACpB,OAAO,EAAE,MAAM,EAAE,EACjB,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAClC,OAAO,CAAC,iBAAiB,CAAC;IAsB7B;;OAEG;IACG,YAAY,CAChB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAClC,OAAO,CAAC,iBAAiB,CAAC;IAsB7B;;OAEG;IACG,kBAAkB,CACtB,UAAU,EAAE,MAAM,EAAE,EACpB,OAAO,EAAE,MAAM,EAAE,EACjB,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAClC,OAAO,CAAC,iBAAiB,CAAC;IAsB7B;;OAEG;IACG,QAAQ,CACZ,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,GAAG,EAAE,EACX,aAAa,CAAC,EAAE,MAAM,EAAE,EACxB,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAClC,OAAO,CAAC,iBAAiB,CAAC;IA2B7B;;OAEG;IACG,eAAe,CACnB,SAAS,EAAE,MAAM,EAAE,EACnB,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAClC,OAAO,CAAC,iBAAiB,CAAC;IAsB7B;;OAEG;IACG,UAAU,CACd,QAAQ,GAAE,MAAwB,EAClC,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAClC,OAAO,CAAC;QAAE,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CAMrC"}

package/dist/src/tangram-mover.js

@@ -0,0 +1,254 @@
+"use strict";
+/**
+ * Main TangramMover SDK class
+ * Integrates transaction tracing, invariant analysis, and transaction execution
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TangramMover = void 0;
+const sui_kit_1 = require("@scallop-io/sui-kit");
+const rpc_client_1 = require("./utils/rpc-client");
+const tracer_1 = require("./tracer/tracer");
+const analyzer_1 = require("./analyzer/analyzer");
+/**
+ * Main SDK class for Tangram Mover
+ */
+class TangramMover {
+    /**
+     * Initialize TangramMover with options
+     */
+    constructor(options = {}) {
+        // Initialize SuiKit
+        const suiKitOptions = {};
+        if (options.secretKey) {
+            suiKitOptions.secretKey = options.secretKey;
+        }
+        else if (options.mnemonics) {
+            suiKitOptions.mnemonics = options.mnemonics;
+        }
+        if (options.networkType) {
+            suiKitOptions.networkType = options.networkType;
+        }
+        if (options.fullnodeUrls) {
+            suiKitOptions.fullnodeUrls = options.fullnodeUrls;
+        }
+        if (options.faucetUrl) {
+            suiKitOptions.faucetUrl = options.faucetUrl;
+        }
+        this.suiKit = new sui_kit_1.SuiKit(suiKitOptions);
+        // Initialize RPC client with rate limiting
+        const rateLimitMs = options.rateLimitMs || 1000;
+        this.rpcClient = new rpc_client_1.RpcClient(this.suiKit, rateLimitMs);
+        // Initialize tracer and analyzer
+        this.tracer = new tracer_1.Tracer(this.rpcClient);
+        this.analyzer = new analyzer_1.Analyzer();
+    }
+    /**
+     * Get the current address
+     */
+    getCurrentAddress() {
+        return this.suiKit.currentAddress;
+    }
+    /**
+     * Get address for a specific account index (HD wallet)
+     */
+    getAddress(options) {
+        return this.suiKit.getAddress(options);
+    }
+    /**
+     * Trace a single transaction
+     */
+    async traceTransaction(digest) {
+        return this.tracer.fetchTrace(digest);
+    }
+    /**
+     * Trace multiple transactions
+     */
+    async traceTransactions(digests) {
+        return this.tracer.fetchTraces(digests);
+    }
+    /**
+     * Analyze a single transaction
+     */
+    async analyzeTransaction(digest) {
+        const traceData = await this.traceTransaction(digest);
+        return this.analyzer.analyze(traceData);
+    }
+    /**
+     * Analyze multiple transactions
+     */
+    async analyzeTransactions(digests) {
+        const traceDataArray = await this.traceTransactions(digests);
+        return this.analyzer.analyzeMultiple(traceDataArray);
+    }
+    /**
+     * Trace and analyze a transaction in one call
+     */
+    async traceAndAnalyze(digest) {
+        const traceData = await this.traceTransaction(digest);
+        const analysis = await this.analyzer.analyze(traceData);
+        return {
+            trace: traceData,
+            analysis,
+        };
+    }
+    /**
+     * Transfer SUI to a recipient
+     */
+    async transferSui(recipient, amount, options) {
+        try {
+            const result = await this.suiKit.transferSui(recipient, amount, options);
+            return {
+                digest: result.digest || '',
+                status: 'success',
+                gasUsed: result.effects?.gasUsed ? {
+                    computationCost: parseInt(result.effects.gasUsed.computationCost) || 0,
+                    storageCost: parseInt(result.effects.gasUsed.storageCost) || 0,
+                    storageRebate: parseInt(result.effects.gasUsed.storageRebate) || 0,
+                } : undefined,
+            };
+        }
+        catch (error) {
+            return {
+                digest: '',
+                status: 'failure',
+                error: error.message || 'Unknown error',
+            };
+        }
+    }
+    /**
+     * Transfer SUI to multiple recipients
+     */
+    async transferSuiToMany(recipients, amounts, options) {
+        try {
+            const result = await this.suiKit.transferSuiToMany(recipients, amounts, options);
+            return {
+                digest: result.digest || '',
+                status: 'success',
+                gasUsed: result.effects?.gasUsed ? {
+                    computationCost: parseInt(result.effects.gasUsed.computationCost) || 0,
+                    storageCost: parseInt(result.effects.gasUsed.storageCost) || 0,
+                    storageRebate: parseInt(result.effects.gasUsed.storageRebate) || 0,
+                } : undefined,
+            };
+        }
+        catch (error) {
+            return {
+                digest: '',
+                status: 'failure',
+                error: error.message || 'Unknown error',
+            };
+        }
+    }
+    /**
+     * Transfer custom coin to a recipient
+     */
+    async transferCoin(recipient, amount, coinType, options) {
+        try {
+            const result = await this.suiKit.transferCoin(recipient, amount, coinType, options);
+            return {
+                digest: result.digest || '',
+                status: 'success',
+                gasUsed: result.effects?.gasUsed ? {
+                    computationCost: parseInt(result.effects.gasUsed.computationCost) || 0,
+                    storageCost: parseInt(result.effects.gasUsed.storageCost) || 0,
+                    storageRebate: parseInt(result.effects.gasUsed.storageRebate) || 0,
+                } : undefined,
+            };
+        }
+        catch (error) {
+            return {
+                digest: '',
+                status: 'failure',
+                error: error.message || 'Unknown error',
+            };
+        }
+    }
+    /**
+     * Transfer custom coin to multiple recipients
+     */
+    async transferCoinToMany(recipients, amounts, coinType, options) {
+        try {
+            const result = await this.suiKit.transferCoinToMany(recipients, amounts, coinType, options);
+            return {
+                digest: result.digest || '',
+                status: 'success',
+                gasUsed: result.effects?.gasUsed ? {
+                    computationCost: parseInt(result.effects.gasUsed.computationCost) || 0,
+                    storageCost: parseInt(result.effects.gasUsed.storageCost) || 0,
+                    storageRebate: parseInt(result.effects.gasUsed.storageRebate) || 0,
+                } : undefined,
+            };
+        }
+        catch (error) {
+            return {
+                digest: '',
+                status: 'failure',
+                error: error.message || 'Unknown error',
+            };
+        }
+    }
+    /**
+     * Call a Move function
+     */
+    async moveCall(target, args, typeArguments, options) {
+        try {
+            const result = await this.suiKit.moveCall({
+                target,
+                arguments: args,
+                typeArguments: typeArguments || [],
+                ...options,
+            });
+            return {
+                digest: result.digest || '',
+                status: 'success',
+                gasUsed: result.effects?.gasUsed ? {
+                    computationCost: parseInt(result.effects.gasUsed.computationCost) || 0,
+                    storageCost: parseInt(result.effects.gasUsed.storageCost) || 0,
+                    storageRebate: parseInt(result.effects.gasUsed.storageRebate) || 0,
+                } : undefined,
+            };
+        }
+        catch (error) {
+            return {
+                digest: '',
+                status: 'failure',
+                error: error.message || 'Unknown error',
+            };
+        }
+    }
+    /**
+     * Transfer objects
+     */
+    async transferObjects(objectIds, recipient, options) {
+        try {
+            const result = await this.suiKit.transferObjects(objectIds, recipient, options);
+            return {
+                digest: result.digest || '',
+                status: 'success',
+                gasUsed: result.effects?.gasUsed ? {
+                    computationCost: parseInt(result.effects.gasUsed.computationCost) || 0,
+                    storageCost: parseInt(result.effects.gasUsed.storageCost) || 0,
+                    storageRebate: parseInt(result.effects.gasUsed.storageRebate) || 0,
+                } : undefined,
+            };
+        }
+        catch (error) {
+            return {
+                digest: '',
+                status: 'failure',
+                error: error.message || 'Unknown error',
+            };
+        }
+    }
+    /**
+     * Get balance for a coin type
+     */
+    async getBalance(coinType = '0x2::sui::SUI', options) {
+        const result = await this.suiKit.getBalance(coinType, options);
+        return {
+            totalBalance: result.totalBalance.toString(),
+        };
+    }
+}
+exports.TangramMover = TangramMover;
+//# sourceMappingURL=tangram-mover.js.map