autrace 0.0.1

package/build/src/AccountUpdateAnalyzer.d.ts

@@ -0,0 +1,17 @@
+import { AccountUpdate } from "o1js";
+import { AccountUpdateRelationship } from "./Interface.js";
+export declare class AccountUpdateAnalyzer {
+    private auRelationships;
+    private currentDepth;
+    private parentStack;
+    constructor();
+    processAccountUpdate(au: AccountUpdate): void;
+    private extractMethodInfo;
+    private extractStateChanges;
+    getRelationships(): Map<string, AccountUpdateRelationship>;
+    getHierarchicalView(): {
+        id: string;
+        label: string;
+        children: any[];
+    }[];
+}

package/build/src/AccountUpdateAnalyzer.js

@@ -0,0 +1,88 @@
+export class AccountUpdateAnalyzer {
+    constructor() {
+        this.currentDepth = 0;
+        this.parentStack = []; // Stack to track parent AUs
+        this.auRelationships = new Map();
+    }
+    processAccountUpdate(au) {
+        const auId = au.id.toString();
+        const callDepth = au.body.callDepth || 0;
+        // Manage parent stack based on call depth
+        while (this.currentDepth >= callDepth && this.parentStack.length > 0) {
+            this.parentStack.pop();
+            this.currentDepth--;
+        }
+        const parentId = this.parentStack.length > 0 ? this.parentStack[this.parentStack.length - 1] : undefined;
+        const methodInfo = this.extractMethodInfo(au);
+        // Create relationship entry
+        const relationship = {
+            id: auId,
+            label: au.label || 'Unnamed Update',
+            parentId,
+            children: [],
+            depth: callDepth,
+            method: this.extractMethodInfo(au),
+            stateChanges: this.extractStateChanges(au)
+        };
+        // Update parent's children array
+        if (parentId) {
+            const parentRelationship = this.auRelationships.get(parentId);
+            if (parentRelationship) {
+                parentRelationship.children.push(auId);
+            }
+        }
+        this.auRelationships.set(auId, relationship);
+        // Update stack for next iterations
+        this.parentStack.push(auId);
+        this.currentDepth = callDepth;
+    }
+    extractMethodInfo(au) {
+        if (!au.label)
+            return undefined;
+        const parts = au.label.split('.');
+        if (parts.length >= 2) {
+            return {
+                contract: parts[0],
+                name: parts[1].replace('()', '')
+            };
+        }
+        return undefined;
+    }
+    extractStateChanges(au) {
+        const changes = [];
+        if (au.body?.update?.appState) {
+            au.body.update.appState.forEach((state, index) => {
+                if (state) {
+                    changes.push({
+                        field: `appState[${index}]`,
+                        value: state
+                    });
+                }
+            });
+        }
+        return changes.length > 0 ? changes : undefined;
+    }
+    getRelationships() {
+        return this.auRelationships;
+    }
+    getHierarchicalView() {
+        // Get root level AUs (those without parents)
+        const roots = Array.from(this.auRelationships.values())
+            .filter(r => !r.parentId);
+        // Recursively build tree
+        const buildTree = (auRelationship) => {
+            return {
+                id: auRelationship.id,
+                label: auRelationship.label,
+                method: auRelationship.method,
+                stateChanges: auRelationship.stateChanges,
+                children: auRelationship.children.map(childId => {
+                    const child = this.auRelationships.get(childId);
+                    return child ? buildTree(child) : null;
+                }).filter(x => x)
+            };
+        };
+        return roots.map(root => buildTree(root));
+    }
+}
+//# sourceMappingURL=AccountUpdateAnalyzer.js.map

package/build/src/AccountUpdateAnalyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AccountUpdateAnalyzer.js","sourceRoot":"","sources":["../../src/AccountUpdateAnalyzer.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,qBAAqB;IAK9B;QAHQ,iBAAY,GAAW,CAAC,CAAC;QACzB,gBAAW,GAAa,EAAE,CAAC,CAAE,4BAA4B;QAG7D,IAAI,CAAC,eAAe,GAAG,IAAI,GAAG,EAAE,CAAC;IACrC,CAAC;IAEM,oBAAoB,CAAC,EAAiB;QACzC,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;QAEzC,0CAA0C;QAC1C,OAAO,IAAI,CAAC,YAAY,IAAI,SAAS,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,YAAY,EAAE,CAAC;QACxB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzG,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAA;QAE7C,4BAA4B;QAC5B,MAAM,YAAY,GAA8B;YAC5C,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,gBAAgB;YACnC,QAAQ;YACR,QAAQ,EAAE,EAAE;YACZ,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAClC,YAAY,EAAE,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;SAC7C,CAAC;QAEF,iCAAiC;QACjC,IAAI,QAAQ,EAAE,CAAC;YACX,MAAM,kBAAkB,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC9D,IAAI,kBAAkB,EAAE,CAAC;gBACrB,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,CAAC;QACL,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAE7C,mCAAmC;QACnC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;IAClC,CAAC;IAEO,iBAAiB,CAAC,EAAiB;QACvC,IAAI,CAAC,EAAE,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAEhC,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACpB,OAAO;gBACH,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE;gBACnB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;aACpC,CAAC;QACN,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAEO,mBAAmB,CAAC,EAAiB;QACzC,MAAM,OAAO,GAAQ,EAAE,CAAC;QAExB,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC5B,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;gBAC7C,IAAI,KAAK,EAAE,CAAC;oBACR,OAAO,CAAC,IAAI,CAAC;wBACT,KAAK,EAAE,YAAY,KAAK,GAAG;wBAC3B,KAAK,EAAE,KAAK;qBACf,CAAC,CAAC;gBACP,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC;QAED,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACpD,CAAC;IAEM,gBAAgB;QACnB,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAEM,mBAAmB;QAKtB,6CAA6C;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;aAClD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAE9B,yBAAyB;QACzB,MAAM,SAAS,GAAQ,CAAC,cAAyC,EAAE,EAAE;YACjE,OAAO;gBACH,EAAE,EAAE,cAAc,CAAC,EAAE;gBACrB,KAAK,EAAE,cAAc,CAAC,KAAK;gBAC3B,MAAM,EAAE,cAAc,CAAC,MAAM;gBAC7B,YAAY,EAAE,cAAc,CAAC,YAAY;gBACzC,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;oBAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAChD,OAAO,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aACpB,CAAC;QACN,CAAC,CAAC;QAEF,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC;CAEJ"}

package/build/src/AccountUpdateTrace.d.ts

@@ -0,0 +1,16 @@
+import { TreeSnapshot, TreeOperation } from './Interface';
+export declare class AccountUpdateTrace {
+    private snapshots;
+    private currentTree;
+    private getLeafNodeValue;
+    private traverseNodesRecursively;
+    private keysUpdated;
+    private deleteFromSet;
+    private keysRemoved;
+    private keysAdded;
+    private getLeafNodeValueRecursive;
+    private traverseFirstLevelNodes;
+    private compareAUTrees;
+    takeSnapshot(transaction: any, operation: TreeOperation): TreeSnapshot;
+    getSnapshots(): TreeSnapshot[];
+}

package/build/src/AccountUpdateTrace.js

@@ -0,0 +1,232 @@
+import { PublicKey } from 'o1js';
+export class AccountUpdateTrace {
+    constructor() {
+        this.snapshots = [];
+        this.getLeafNodeValue = (tree, key) => {
+            //console.log(tree)
+            if (typeof tree !== 'object' || tree === null) {
+                return undefined;
+            }
+            if (tree.hasOwnProperty(key)) {
+                return tree[key];
+            }
+        };
+        this.traverseNodesRecursively = (tree) => {
+            const keys = new Set();
+            for (const key in tree) {
+                keys.add(key);
+                if (typeof tree[key] === 'object' && tree[key] !== null && !Array.isArray(tree[key])) {
+                    const childKeys = this.traverseNodesRecursively(tree[key]);
+                    for (const childKey of childKeys) {
+                        keys.add(`${key}.${childKey}`); // Use dot notation for nested keys
+                    }
+                }
+            }
+            return keys;
+        };
+        this.keysUpdated = (a, b, keyList) => {
+            const keysUpdatedList = [];
+            for (const key of keyList) {
+                let oldValue = this.getLeafNodeValue(a, key);
+                //console.log(`OLD VALUE ${key}: `, oldValue)
+                let newValue = this.getLeafNodeValue(b, key);
+                //console.log(`NEW VALUE ${key}: `, newValue)
+                //console.log(`Type of ${key}: `, typeof(newValue))
+                if (oldValue instanceof PublicKey && newValue instanceof PublicKey) {
+                    oldValue = oldValue.toBase58();
+                    newValue = newValue.toBase58();
+                    //console.log('Public key old value: ', oldValue)
+                    //console.log('Public key new value: ', newValue)
+                }
+                if (newValue !== oldValue) {
+                    keysUpdatedList.push({
+                        field: key,
+                        oldValue: oldValue,
+                        newValue: newValue
+                    });
+                }
+            }
+            return keysUpdatedList;
+        };
+        this.deleteFromSet = (set, toDelete) => {
+            for (const item of toDelete) {
+                set.delete(item);
+            }
+            return set;
+        };
+        this.keysRemoved = (a, b) => {
+            let keysRemovedList = [];
+            for (const key of a) {
+                if (!b.has(key)) {
+                    keysRemovedList.push(key);
+                }
+            }
+            return keysRemovedList;
+        };
+        this.keysAdded = (a, b) => {
+            let keysAddedList = [];
+            for (const key of b) {
+                if (!a.has(key)) {
+                    keysAddedList.push(key);
+                }
+            }
+            return keysAddedList;
+        };
+        this.getLeafNodeValueRecursive = (tree, key) => {
+            const keyParts = key.split('.');
+            let value = tree;
+            for (const part of keyParts) {
+                if (value && typeof value === 'object' && part in value) {
+                    value = value[part];
+                }
+                else {
+                    return undefined; // Key not found
+                }
+            }
+            return value;
+        };
+        this.traverseFirstLevelNodes = (tree) => {
+            const firstLevelKeys = Object.keys(tree);
+            //console.log('First-Level Keys:', firstLevelKeys);      
+            return firstLevelKeys;
+        };
+        /*private compareTxnTree = (treeA: any, treeB: any): ChangeLog => {
+            const changes: ChangeLog = {
+                added: [], removed: [], updated: []
+            }
+    
+            const keysTreeA = this.traverseFirstLevelNodes(treeA)
+            const keysTreeB = this.traverseFirstLevelNodes(treeB)
+    
+            for ( const key of keysTreeB ) {
+                if ( key === 'accountUpdates') {
+                    const oldAUTree = this.getLeafNodeValue(treeA, key)
+                    const newAUtree = this.getLeafNodeValue(treeB, key)
+                    this.compareAUTrees(oldAUTree, newAUtree)
+                }
+                const oldValue = this.getLeafNodeValue(treeA, key)
+                const newValue = this.getLeafNodeValue(treeB, key)
+                if ( oldValue !== newValue ) {
+                    changes.updated.push({
+                        path: 'transaction',
+                        changes: [{
+                            field: key,
+                            oldValue: oldValue,
+                            newValue: newValue
+                        }]
+                    })
+                }
+            }
+            return changes
+        }*/
+        this.compareAUTrees = (oldAUArray, newAUArray, path = 'accountUpdate'
+        //path: string = 'transaction'
+        ) => {
+            const changes = {
+                added: [], removed: [], updated: []
+            };
+            const validOldAUArray = Array.isArray(oldAUArray) ? oldAUArray : [];
+            const validNewAUArray = Array.isArray(newAUArray) ? newAUArray : [];
+            const oldAUMap = new Map((validOldAUArray || []).map((node) => [node.id, node]));
+            const newAUMap = new Map((validNewAUArray || []).map((node) => [node.id, node]));
+            const compareAUItemsRecursive = (a, b, path) => {
+                const keysA = this.traverseNodesRecursively(a);
+                const keysB = this.traverseNodesRecursively(b);
+                //console.log('Keys A: ',keysA)
+                //console.log('Keys B: ',keysB)
+                const keysRemovedList = this.keysRemoved(keysA, keysB);
+                for (const key of keysRemovedList) {
+                    const value = this.getLeafNodeValueRecursive(a, key);
+                    changes.removed.push({
+                        path: `${path}.${key}`,
+                        node: { key, value }
+                    });
+                }
+                const keysAddedList = this.keysAdded(keysA, keysB);
+                for (const key of keysAddedList) {
+                    let value;
+                    if (key.includes('proof')) {
+                        value = this.getLeafNodeValueRecursive(b, key);
+                        //console.log('Value: ', value)
+                        if (value.length > 50) {
+                            value = `${value.slice(0, 50)}...`;
+                        }
+                    }
+                    else {
+                        value = this.getLeafNodeValueRecursive(b, key);
+                    }
+                    changes.added.push({
+                        path: `${path}.${key}`,
+                        node: { key, value }
+                    });
+                }
+                let keysB_modified = keysB;
+                keysB_modified = this.deleteFromSet(keysB_modified, keysAddedList);
+                const keysUpdatedList = this.keysUpdated(a, b, keysB_modified);
+                for (const { field, oldValue, newValue } of keysUpdatedList) {
+                    if (typeof oldValue === 'function' || typeof newValue === 'function') {
+                        continue;
+                    }
+                    if (typeof oldValue !== 'object' || typeof newValue !== 'object') {
+                        /*console.log('Field: ', field)*/
+                        //console.log('Old Value: ', oldValue)
+                        //console.log('New Value: ', newValue)
+                        changes.updated.push({
+                            path: `${path}.${field}`,
+                            changes: [{
+                                    field,
+                                    oldValue,
+                                    newValue: newValue === undefined ? {} : newValue
+                                }],
+                        });
+                    }
+                    else {
+                        compareAUItemsRecursive(oldValue, newValue, `${path}.${field}`);
+                    }
+                }
+            };
+            // Find removed and updated elements
+            if (Array.isArray(oldAUArray) && oldAUArray.length > 0) {
+                for (const oldAUArrayItem of oldAUArray) {
+                    const currentPath = `${path}[${oldAUArray.indexOf(oldAUArrayItem)}]`;
+                    if (!newAUMap.has(oldAUArrayItem.id)) {
+                        changes.removed.push({
+                            path: currentPath,
+                            node: oldAUArrayItem
+                        });
+                    }
+                    else {
+                        const newAUArrayItem = newAUMap.get(oldAUArrayItem.id);
+                        //compareAUItems(oldAUArrayItem, newAUArrayItem, currentPath)
+                        compareAUItemsRecursive(oldAUArrayItem, newAUArrayItem, currentPath);
+                    }
+                }
+            }
+            for (const newAUArrayItem of newAUArray) {
+                const currentPath = `${path}[${newAUArray.indexOf(newAUArrayItem)}]`;
+                if (!oldAUMap.has(newAUArrayItem.id)) {
+                    changes.added.push({
+                        path: currentPath,
+                        node: newAUArrayItem
+                    });
+                }
+            }
+            return changes;
+        };
+    }
+    takeSnapshot(transaction, operation) {
+        const snapshot = {
+            operation,
+            timestamp: Date.now(),
+            tree: transaction,
+            changes: this.compareAUTrees(this.currentTree, transaction)
+        };
+        this.snapshots.push(snapshot);
+        this.currentTree = transaction;
+        return snapshot;
+    }
+    getSnapshots() {
+        return this.snapshots;
+    }
+}
+//# sourceMappingURL=AccountUpdateTrace.js.map

package/build/src/AccountUpdateTrace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AccountUpdateTrace.js","sourceRoot":"","sources":["../../src/AccountUpdateTrace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,SAAS,EAAc,MAAM,MAAM,CAAC;AAG5D,MAAM,OAAO,kBAAkB;IAA/B;QACY,cAAS,GAAmB,EAAE,CAAC;QAI/B,qBAAgB,GAAG,CAAC,IAAS,EAAE,GAAW,EAAO,EAAE;YACvD,mBAAmB;YACnB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC9C,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAA;YAClB,CAAC;QACL,CAAC,CAAA;QAEO,6BAAwB,GAAG,CAAC,IAAS,EAAe,EAAE;YAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAE/B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAEb,IAAI,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACrF,MAAM,SAAS,GAAG,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;oBAC1D,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;wBACjC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,mCAAmC;oBACrE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QAChB,CAAC,CAAA;QAEO,gBAAW,GAAG,CAAC,CAAM,EAAE,CAAM,EAAE,OAAoB,EAAO,EAAE;YAChE,MAAM,eAAe,GAIf,EAAE,CAAA;YAER,KAAM,MAAM,GAAG,IAAI,OAAO,EAAG,CAAC;gBAC5B,IAAI,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;gBAC5C,6CAA6C;gBAC7C,IAAI,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;gBAC5C,6CAA6C;gBAC7C,mDAAmD;gBACnD,IAAK,QAAQ,YAAY,SAAS,IAAI,QAAQ,YAAY,SAAS,EAAG,CAAC;oBACrE,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAA;oBAC9B,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAA;oBAC9B,iDAAiD;oBACjD,iDAAiD;gBACnD,CAAC;gBACD,IAAK,QAAQ,KAAK,QAAQ,EAAG,CAAC;oBAC1B,eAAe,CAAC,IAAI,CAAC;wBACnB,KAAK,EAAE,GAAG;wBACV,QAAQ,EAAE,QAAQ;wBAClB,QAAQ,EAAE,QAAQ;qBACnB,CAAC,CAAA;gBACN,CAAC;YACH,CAAC;YACD,OAAO,eAAe,CAAA;QAC1B,CAAC,CAAA;QAEO,kBAAa,GAAG,CAAC,GAAgB,EAAE,QAAkB,EAAe,EAAE;YAC1E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;YACD,OAAO,GAAG,CAAA;QACd,CAAC,CAAA;QAEO,gBAAW,GAAG,CAAC,CAAc,EAAE,CAAc,EAAY,EAAE;YAC/D,IAAI,eAAe,GAAa,EAAE,CAAA;YAClC,KAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAChB,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBAC3B,CAAC;YACH,CAAC;YACD,OAAO,eAAe,CAAA;QAC1B,CAAC,CAAA;QAEO,cAAS,GAAG,CAAC,CAAc,EAAE,CAAc,EAAY,EAAE;YAC7D,IAAI,aAAa,GAAa,EAAE,CAAA;YAChC,KAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAChB,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,aAAa,CAAA;QACxB,CAAC,CAAA;QAEO,8BAAyB,GAAG,CAAC,IAAS,EAAE,GAAW,EAAO,EAAE;YAChE,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAC/B,IAAI,KAAK,GAAG,IAAI,CAAC;YAEjB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;oBACxD,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;gBACtB,CAAC;qBAAM,CAAC;oBACN,OAAO,SAAS,CAAC,CAAC,gBAAgB;gBACpC,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC,CAAA;QAEO,4BAAuB,GAAG,CAAC,IAAS,EAAY,EAAE;YACtD,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,yDAAyD;YACzD,OAAO,cAAc,CAAC;QAC1B,CAAC,CAAA;QAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;WA4BG;QAIK,mBAAc,GAAG,CACrB,UAA8C,EAC9C,UAA8C,EAC9C,OAAe,eAAe;QAC9B,8BAA8B;UACnB,EAAE;YACb,MAAM,OAAO,GAAc;gBACzB,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;aACpC,CAAA;YAED,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAGjF,MAAM,uBAAuB,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAE,IAAY,EAAE,EAAE;gBACnF,MAAM,KAAK,GAAG,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAA;gBAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAA;gBAC9C,+BAA+B;gBAC/B,+BAA+B;gBAC/B,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBACtD,KAAM,MAAM,GAAG,IAAI,eAAe,EAAG,CAAC;oBACpC,MAAM,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;oBACpD,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;wBACnB,IAAI,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE;wBACtB,IAAI,EAAE,EAAC,GAAG,EAAE,KAAK,EAAC;qBACnB,CAAC,CAAA;gBACJ,CAAC;gBAED,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBAClD,KAAM,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;oBACjC,IAAI,KAAa,CAAC;oBAClB,IAAK,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAG,CAAC;wBAC5B,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;wBAC9C,+BAA+B;wBAC/B,IAAK,KAAK,CAAC,MAAM,GAAG,EAAE,EAAG,CAAC;4BACxB,KAAK,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAA;wBACpC,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;oBAChD,CAAC;oBACD,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;wBACjB,IAAI,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE;wBACtB,IAAI,EAAE,EAAC,GAAG,EAAE,KAAK,EAAC;qBACnB,CAAC,CAAA;gBACJ,CAAC;gBAED,IAAI,cAAc,GAAgB,KAAK,CAAA;gBACvC,cAAc,GAAG,IAAI,CAAC,aAAa,CAAC,cAAc,EAAE,aAAa,CAAC,CAAA;gBAElE,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,CAAA;gBAC9D,KAAK,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,eAAe,EAAE,CAAC;oBAC5D,IAAI,OAAO,QAAQ,KAAK,UAAU,IAAI,OAAO,QAAQ,KAAK,UAAU,EAAE,CAAC;wBACrE,SAAS;oBACX,CAAC;oBACD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAG,CAAC;wBAClE,iCAAiC;wBACjC,sCAAsC;wBACtC,sCAAsC;wBACtC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;4BACnB,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE;4BACxB,OAAO,EAAE,CAAC;oCACR,KAAK;oCACL,QAAQ;oCACR,QAAQ,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ;iCACjD,CAAC;yBACH,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,uBAAuB,CACrB,QAAyB,EACzB,QAAyB,EACzB,GAAG,IAAI,IAAI,KAAK,EAAE,CACnB,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC,CAAA;YAED,oCAAoC;YACtC,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvD,KAAK,MAAM,cAAc,IAAI,UAAW,EAAE,CAAC;oBACzC,MAAM,WAAW,GAAG,GAAG,IAAI,IAAI,UAAW,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC;oBACtE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;wBACrC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;4BACnB,IAAI,EAAE,WAAW;4BACjB,IAAI,EAAE,cAAc;yBACrB,CAAC,CAAA;oBACJ,CAAC;yBAAM,CAAC;wBACN,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAE,CAAA;wBACvD,6DAA6D;wBAC7D,uBAAuB,CAAC,cAAc,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC;oBACvE,CAAC;gBACH,CAAC;YACH,CAAC;YAGH,KAAM,MAAM,cAAc,IAAI,UAAW,EAAE,CAAC;gBACtC,MAAM,WAAW,GAAG,GAAG,IAAI,IAAI,UAAW,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAA;gBACrE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;oBACrC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;wBACjB,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,cAAc;qBACrB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAA;QAClB,CAAC,CAAA;IAmBL,CAAC;IAhBU,YAAY,CAAC,WAAgB,EAAE,SAAwB;QAC1D,MAAM,QAAQ,GAAiB;YAC3B,SAAS;YACT,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC;SAC9D,CAAC;QAEF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,SAAS,CAAC;IAC1B,CAAC;CACJ"}

package/build/src/AsciiVisualiser.d.ts

@@ -0,0 +1,12 @@
+import { TreeSnapshot } from "./Interface";
+export declare class ASCIITreeVisualizer {
+    private readonly INDENT;
+    private readonly COLORS;
+    private readonly SYMBOLS;
+    private formatValue;
+    private stringifyWithBigInt;
+    private visualizeChanges;
+    visualizeChangeSummary(snapshots: TreeSnapshot[]): string;
+    private formatHeader;
+    private formatPhase;
+}

package/build/src/AsciiVisualiser.js

@@ -0,0 +1,130 @@
+export class ASCIITreeVisualizer {
+    constructor() {
+        this.INDENT = '  ';
+        this.COLORS = {
+            reset: '\x1b[0m',
+            green: '\x1b[32m',
+            red: '\x1b[31m',
+            blue: '\x1b[34m',
+            yellow: '\x1b[33m',
+            purple: '\x1b[35m',
+            gray: '\x1b[90m',
+            white: '\x1b[37m',
+            bold: '\x1b[1m'
+        };
+        this.SYMBOLS = {
+            added: '+',
+            removed: '-',
+            modified: '•',
+            arrow: '→',
+            bullet: '∙',
+            branch: '├',
+            leaf: '└',
+            vertical: '│',
+        };
+        this.stringifyWithBigInt = (obj) => {
+            return JSON.stringify(obj, (key, value) => (typeof value === 'bigint' ? value.toString() : value));
+        };
+    }
+    formatValue(value) {
+        if (value === null || value === undefined)
+            return 'null';
+        if (Array.isArray(value)) {
+            return `[${value.map(v => this.formatValue(v)).join(', ')}]`;
+        }
+        if (typeof value === 'object') {
+            if (value._value !== undefined) {
+                return value._value.toString();
+            }
+            // Handle special cases
+            if (value.hash) {
+                return `{hash: "${value.hash.substring(0, 8)}..."}`;
+            }
+            const str = JSON.stringify(value);
+            if (str.length > 50) {
+                return `${str.substring(0, 47)}...`;
+            }
+            return str;
+        }
+        const str = value.toString();
+        if (str.length > 50) {
+            if (str.startsWith('B62')) {
+                return `${str.substring(0, 8)}...`;
+            }
+            return `${str.substring(0, 47)}...`;
+        }
+        return str;
+    }
+    visualizeChanges(changes) {
+        let result = '';
+        if (changes.added.length > 0) {
+            result += `${this.COLORS.green}${this.SYMBOLS.branch} Added:${this.COLORS.reset}\n`;
+            changes.added.forEach((item, i) => {
+                const isLast = i === changes.added.length - 1;
+                const prefix = isLast ? this.SYMBOLS.leaf : this.SYMBOLS.branch;
+                result += `${this.COLORS.green}${prefix} ${this.SYMBOLS.added} ${item.path}${this.COLORS.reset}\n`;
+                const addPrefix = isLast ? this.SYMBOLS.leaf : this.SYMBOLS.branch;
+                result += `${this.COLORS.green}    ${addPrefix} ${this.stringifyWithBigInt(item.node)} ${this.COLORS.reset}\n`;
+            });
+        }
+        if (changes.updated.length > 0) {
+            if (changes.added.length > 0)
+                result += '\n';
+            result += `${this.COLORS.yellow}${this.SYMBOLS.branch} Modified:${this.COLORS.reset}\n`;
+            changes.updated.forEach((mod, i) => {
+                const isLast = i === changes.updated.length - 1;
+                const prefix = isLast ? this.SYMBOLS.leaf : this.SYMBOLS.branch;
+                result += `${this.COLORS.yellow}${prefix} ${this.SYMBOLS.modified} ${mod.path}${this.COLORS.reset}\n`;
+                mod.changes.forEach((change, j) => {
+                    const changePrefix = j === mod.changes.length - 1 ? this.SYMBOLS.leaf : this.SYMBOLS.branch;
+                    result += `${this.COLORS.gray}    ${changePrefix} ${change.field}: ${this.COLORS.reset}` +
+                        `${this.formatValue(change.oldValue)} ${this.SYMBOLS.arrow} ${this.formatValue(change.newValue)}\n`;
+                });
+            });
+        }
+        if (changes.removed.length > 0) {
+            if (changes.added.length > 0 || changes.updated.length > 0)
+                result += '\n';
+            result += `${this.COLORS.red}${this.SYMBOLS.branch} Removed:${this.COLORS.reset}\n`;
+            changes.removed.forEach((item, i) => {
+                const isLast = i === changes.removed.length - 1;
+                const prefix = isLast ? this.SYMBOLS.leaf : this.SYMBOLS.branch;
+                result += `${this.COLORS.red}${prefix} ${this.SYMBOLS.removed} ${item.path}${this.COLORS.reset}\n`;
+                const removePrefix = i === changes.removed.length - 1 ? this.SYMBOLS.leaf : this.SYMBOLS.branch;
+                result += `${this.COLORS.red}    ${removePrefix} ${this.stringifyWithBigInt(item.node)} ${this.COLORS.reset}\n`;
+                //result += `${this.COLORS.red}${prefix} ${this.SYMBOLS.removed} ${item}${this.COLORS.reset}\n`;
+            });
+        }
+        return result;
+    }
+    visualizeChangeSummary(snapshots) {
+        let result = this.formatHeader('Transaction Evolution Summary');
+        snapshots.forEach((snapshot, index) => {
+            result += this.formatPhase(snapshot.operation, snapshot.timestamp);
+            if (index === 0) {
+                const accountUpdates = Array.isArray(snapshot.tree) ? snapshot.tree.length : 0;
+                result += `${this.COLORS.gray}${this.SYMBOLS.bullet} Created transaction with ${accountUpdates} account updates${this.COLORS.reset}\n`;
+            }
+            else {
+                const hasChanges = Object.values(snapshot.changes).some(arr => arr.length > 0);
+                if (hasChanges) {
+                    result += this.visualizeChanges(snapshot.changes);
+                }
+                else {
+                    result += `${this.COLORS.gray}${this.SYMBOLS.bullet} No changes${this.COLORS.reset}\n`;
+                }
+            }
+            result += '\n';
+        });
+        return result;
+    }
+    formatHeader(text) {
+        const line = '═'.repeat(text.length + 4);
+        return `${this.COLORS.blue}╔${line}╗\n║  ${text}  ║\n╚${line}╝${this.COLORS.reset}\n`;
+    }
+    formatPhase(phase, timestamp) {
+        const date = new Date(timestamp).toLocaleTimeString();
+        return `${this.COLORS.bold}${this.COLORS.purple}▶ ${phase.toUpperCase()} ${this.COLORS.gray}(${date})${this.COLORS.reset}\n`;
+    }
+}
+//# sourceMappingURL=AsciiVisualiser.js.map

package/build/src/AsciiVisualiser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AsciiVisualiser.js","sourceRoot":"","sources":["../../src/AsciiVisualiser.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,mBAAmB;IAAhC;QACqB,WAAM,GAAG,IAAI,CAAC;QACd,WAAM,GAAG;YACtB,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE,UAAU;YACjB,GAAG,EAAE,UAAU;YACf,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,UAAU;YAClB,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,UAAU;YACjB,IAAI,EAAE,SAAS;SAClB,CAAC;QAEe,YAAO,GAAG;YACvB,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,GAAG;YACb,KAAK,EAAE,GAAG;YACV,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,GAAG;YACT,QAAQ,EAAE,GAAG;SAChB,CAAC;QAoCM,wBAAmB,GAAG,CAAC,GAAQ,EAAU,EAAE;YAC/C,OAAO,IAAI,CAAC,SAAS,CACnB,GAAG,EACH,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CACvE,CAAA;QACL,CAAC,CAAC;IAsFN,CAAC;IA7HW,WAAW,CAAC,KAAU;QAC1B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAEzD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjE,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACnC,CAAC;YAED,uBAAuB;YACvB,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACb,OAAO,WAAW,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC;YACxD,CAAC;YAED,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;gBAClB,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC;YACxC,CAAC;YACD,OAAO,GAAG,CAAC;QACf,CAAC;QAED,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAClB,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC;YACvC,CAAC;YACD,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC;QACxC,CAAC;QACD,OAAO,GAAG,CAAC;IACf,CAAC;IASO,gBAAgB,CAAC,OAAkB;QACvC,IAAI,MAAM,GAAG,EAAE,CAAC;QAEhB,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;YAEpF,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAC9B,MAAM,MAAM,GAAG,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBAChE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;gBAEnG,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBACnE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,OAAO,SAAS,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAA;YAClH,CAAC,CAAC,CAAC;QACP,CAAC;QAED,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,IAAI,CAAC;YAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,aAAa,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;YAExF,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC/B,MAAM,MAAM,GAAG,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBAChE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;gBAEtG,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;oBAC9B,MAAM,YAAY,GAAG,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;oBAC5F,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,OAAO,YAAY,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE;wBAC/E,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACjH,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;QACP,CAAC;QAED,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,IAAI,CAAC;YAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,YAAY,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;YAEpF,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAChC,MAAM,MAAM,GAAG,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBAChE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;gBAEnG,MAAM,YAAY,GAAG,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBAChG,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,OAAO,YAAY,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAA;gBAC/G,gGAAgG;YACpG,CAAC,CAAC,CAAC;QACP,CAAC;QAED,OAAO,MAAM,CAAC;IAClB,CAAC;IAEM,sBAAsB,CAAC,SAAyB;QACnD,IAAI,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,+BAA+B,CAAC,CAAC;QAEhE,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;YAClC,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;YAEnE,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACd,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,6BAA6B,cAAc,mBAAmB,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;YAC3I,CAAC;iBAAM,CAAC;gBACJ,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/E,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACtD,CAAC;qBAAM,CAAC;oBACJ,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,cAAc,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;gBAC3F,CAAC;YACL,CAAC;YAED,MAAM,IAAI,IAAI,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC;IAClB,CAAC;IAEO,YAAY,CAAC,IAAY;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,SAAS,IAAI,SAAS,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;IAC1F,CAAC;IAEO,WAAW,CAAC,KAAa,EAAE,SAAiB;QAChD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,kBAAkB,EAAE,CAAC;QACtD,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;IACjI,CAAC;CACJ"}

package/build/src/ContractAnalyser.d.ts

@@ -0,0 +1,26 @@
+import { SmartContract } from "o1js";
+import { ContractAnalysis } from "./Interface.js";
+export declare class SmartContractAnalyzer {
+    private contracts;
+    constructor();
+    analyzeContractInstance: (instance: SmartContract) => void;
+    getContracts(): Map<string, ContractAnalysis>;
+    getContract(contractName: string): ContractAnalysis | undefined;
+    private extractStateFields;
+    private extractMethods;
+    private extractChildCalls;
+    private extractStateChanges;
+    private extractPermissions;
+    buildRelationshipGraph: () => Map<string, {
+        parents: string[];
+        children: Array<{
+            contract?: string;
+            method: string;
+        }>;
+        stateAccess: Array<{
+            field: string;
+            operations: ("get" | "set")[];
+        }>;
+        state: string;
+    }>;
+}