autrace 0.0.1

package/build/src/Visualiser.js

@@ -0,0 +1,450 @@
+import { promises as fs } from 'fs';
+import child_process from 'child_process';
+import util from 'util';
+const exec = util.promisify(child_process.exec);
+export class AUVisualizer {
+    constructor(stateHistory) {
+        this.getUniqueNodeId = (id, stateIndex) => {
+            return `N${id.replace(/[^0-9]/g, '')}${stateIndex}`;
+        };
+        /*private getUniqueNodeId(id: string): string {
+            return `N${id.replace(/[^0-9]/g, '')}`;
+        }*/
+        this.formatLabel = (relationship) => {
+            return relationship?.label?.replace(/[()]/g, '') || 'Unknown';
+        };
+        this.extractOperationDetails = (operation) => {
+            try {
+                const parts = operation.split(',').map(p => p.trim());
+                let sequence = '', type = '';
+                parts.forEach(part => {
+                    if (part.toLowerCase().includes('sequence')) {
+                        sequence = part.split(':')[1]?.trim() || '';
+                    }
+                    if (part.toLowerCase().includes('type')) {
+                        type = part.split(':')[1]?.trim() || '';
+                    }
+                });
+                return { sequence, type };
+            }
+            catch (error) {
+                return { sequence: '', type: operation };
+            }
+        };
+        this.hasConnections = (nodeId, state) => {
+            // Check if node is source or target of any edge
+            return state.edges?.some((edge) => edge.fromNode === nodeId || edge.toNode === nodeId) || false;
+        };
+        this.generateStateSubgraph = (state, stateIndex, isFirstState) => {
+            let subgraph = `    subgraph State${stateIndex}\n`;
+            const nodeIds = new Map();
+            // Add nodes that have connections or are in first state
+            state.nodes.forEach((node, id) => {
+                if (isFirstState || this.hasConnections(id, state)) {
+                    const nodeId = this.getUniqueNodeId(id, stateIndex);
+                    nodeIds.set(id, nodeId);
+                    const relationship = state.relationships.get(id);
+                    const label = this.formatLabel(relationship);
+                    const color = (node.type === 'account') ? '#lightblue' : '#purple';
+                    subgraph += `        ${nodeId}["${label}"]\n`;
+                    subgraph += `        style ${nodeId} fill:${color},width:300px,height:50px\n`;
+                }
+            });
+            // Add edges
+            if (Array.isArray(state.edges)) {
+                state.edges.forEach((edge) => {
+                    if (edge.fromNode && edge.toNode) {
+                        const fromId = nodeIds.get(edge.fromNode);
+                        const toId = nodeIds.get(edge.toNode);
+                        if (fromId && toId) {
+                            const { sequence, type } = this.extractOperationDetails(edge.operation);
+                            const label = sequence && type ? `${sequence}] ${type}` : '';
+                            subgraph += `        ${fromId} -->|"${label}"| ${toId}\n`;
+                        }
+                    }
+                });
+            }
+            subgraph += '    end\n\n';
+            return subgraph;
+        };
+        this.generateMermaidCode = () => {
+            let mermaidCode = `%%{init: {
+            'theme': 'base',
+            'themeVariables': {
+                'fontSize': '15px',
+                'fontFamily': '"Helvetica Neue", Arial, sans-serif',
+                'nodeSpacing': 200,
+                'rankSpacing': 150,
+                'labelBackground': '#ffffff',
+                'fontWeight': 600,
+                'wrap': true,
+                'useMaxWidth': false
+            },
+            'securityLevel': 'loose',
+            'flowchart': {
+                'htmlLabels': true,
+                'curve': 'basis',
+                'padding': 30,
+                'useMaxWidth': false,
+                'diagramPadding': 50
+            }
+        }}%%\n`;
+            mermaidCode += 'flowchart TB\n';
+            mermaidCode += '    %% Global styles\n';
+            mermaidCode += '    classDef accountNode fill:#lightblue,stroke:#333,stroke-width:2px\n';
+            mermaidCode += '    classDef contractNode fill:#purple,stroke:#333,stroke-width:2px\n\n';
+            // Generate state subgraphs
+            this.stateHistory.forEach((state, index) => {
+                if (state.nodes && state.nodes.size > 0) {
+                    mermaidCode += this.generateStateSubgraph(state, index, index === 0);
+                }
+            });
+            return mermaidCode;
+        };
+        this.stateHistory = stateHistory;
+        this.entities = new Map();
+        this.processEntities();
+    }
+    getNodeStyle(node) {
+        switch (node.type) {
+            case 'account':
+                return 'fill:#B3E0FF,stroke:#333,stroke-width:2px';
+            case 'contract':
+                return 'fill:#DDA0DD,stroke:#333,stroke-width:2px';
+            default:
+                return 'fill:#90EE90,stroke:#333,stroke-width:2px';
+        }
+    }
+    formatEdgeLabel(operation) {
+        try {
+            const parts = operation.split(',').map(p => p.trim());
+            let sequence = '', type = '', amount = '', fee = '';
+            parts.forEach(part => {
+                if (part.toLowerCase().includes('sequence')) {
+                    sequence = part.split(':')[1]?.trim() || '';
+                }
+                if (part.toLowerCase().includes('type')) {
+                    type = part.split(':')[1]?.trim() || '';
+                }
+                if (part.toLowerCase().includes('amount')) {
+                    amount = part.split(':')[1]?.trim() || '';
+                }
+                if (part.toLowerCase().includes('fee')) {
+                    fee = part.split(':')[1]?.trim() || '';
+                }
+            });
+            let label = `${sequence})${type}`;
+            if (amount)
+                label += ` ${amount}`;
+            if (fee)
+                label += ` fee: ${fee}`;
+            return label;
+        }
+        catch (error) {
+            return operation;
+        }
+    }
+    processEntities() {
+        this.stateHistory.forEach(state => {
+            if (state.nodes) {
+                state.nodes.forEach((node) => {
+                    if (!this.entities.has(node.publicKey)) {
+                        this.entities.set(node.publicKey, {
+                            id: node.id,
+                            type: node.type,
+                            name: this.extractEntityName(node.label),
+                            operations: new Set(),
+                            publicKey: node.publicKey,
+                            contractType: node.contractType,
+                            labels: new Set([node.label])
+                        });
+                    }
+                    const entity = this.entities.get(node.publicKey);
+                    entity.operations.add(this.extractOperation(node.label));
+                    entity.labels.add(node.label);
+                });
+            }
+        });
+    }
+    extractEntityName(label) {
+        return label.split('.')[0];
+    }
+    extractOperation(label) {
+        return label.split('.')[1]?.replace(/[()]/g, '') || 'unknown';
+    }
+    generateEntityRegistry() {
+        let md = '## Entity Registry\n\n';
+        const groupedEntities = new Map();
+        this.entities.forEach(entity => {
+            if (!groupedEntities.has(entity.type)) {
+                groupedEntities.set(entity.type, []);
+            }
+            groupedEntities.get(entity.type).push(entity);
+        });
+        groupedEntities.forEach((entities, type) => {
+            md += `### ${type.charAt(0).toUpperCase() + type.slice(1)}s\n`;
+            entities.forEach(entity => {
+                md += `- **${entity.name}**\n`;
+                md += `  - Public Key: \`${entity.publicKey}\`\n`;
+                if (entity.contractType) {
+                    md += `  - Contract Type: ${entity.contractType}\n`;
+                }
+                if (entity.operations.size > 0) {
+                    md += `  - Operations: ${Array.from(entity.operations).join(', ')}\n`;
+                }
+                md += '\n';
+            });
+        });
+        return md;
+    }
+    processStateOperations(state) {
+        const operations = [];
+        if (state.edges) {
+            state.edges.forEach((edge) => {
+                const fromNode = state.nodes.get(edge.fromNode);
+                const toNode = state.nodes.get(edge.toNode);
+                if (fromNode && toNode) {
+                    const operation = this.extractOperationDetails(edge.operation);
+                    operations.push({
+                        from: this.extractEntityName(fromNode.label),
+                        to: this.extractEntityName(toNode.label),
+                        action: operation.type,
+                        fee: state.metadata?.totalFees,
+                        status: edge.operation.includes('REJECTED') ? 'REJECTED' : 'success'
+                    });
+                }
+            });
+        }
+        return operations;
+    }
+    generateASCIIFlow(operations) {
+        let flow = '';
+        operations.forEach((op, index) => {
+            // Determine the arrow type based on status
+            const arrow = op.status === 'REJECTED' ? '╳' : '→';
+            flow += `${op.from} ${arrow} ${op.to}\n`;
+            if (op.action) {
+                flow += `│  └─ Action: ${op.action}\n`;
+            }
+            if (op.fee && op.fee !== '0') {
+                flow += `│  └─ Fee: ${op.fee}\n`;
+            }
+            if (op.status === 'REJECTED') {
+                flow += `│  └─ Status: ${op.status}\n`;
+            }
+            if (op.parameters) {
+                flow += `│  └─ Parameters:\n`;
+                Object.entries(op.parameters).forEach(([key, value]) => {
+                    flow += `│     - ${key}: ${value}\n`;
+                });
+            }
+            // Add separator between operations
+            if (index < operations.length - 1) {
+                flow += '│\n';
+            }
+        });
+        return flow;
+    }
+    generateTransactionFlow() {
+        let md = '## Transaction Flow\n\n';
+        this.stateHistory.forEach((state, index) => {
+            const operations = this.processStateOperations(state);
+            if (operations.length > 0) {
+                md += `### State ${index}\n`;
+                md += this.generateASCIIFlow(operations);
+                md += '\n\n';
+            }
+        });
+        return md;
+    }
+    generateMetadata() {
+        let md = '## Transaction Metadata\n\n';
+        this.stateHistory.forEach((state, index) => {
+            md += `### State ${index}\n`;
+            if (state.metadata) {
+                Object.entries(state.metadata).forEach(([key, value]) => {
+                    md += `- ${key}: ${value}\n`;
+                });
+            }
+            md += '\n';
+        });
+        return md;
+    }
+    /*public generateMermaidCode(): string {
+        let mermaidCode = `%%{init: {
+            'theme': 'base',
+            'themeVariables': {
+                'fontSize': '14px',
+                'fontFamily': 'arial',
+                'nodeSpacing': 150,
+                'rankSpacing': 100
+            }
+        }}%%\n`;
+        mermaidCode += 'flowchart LR\n';
+
+        const processedNodes = new Set();
+        const edges: string[] = [];
+
+        // Process all states
+        this.stateHistory.forEach(state => {
+            // Add nodes
+            state.nodes.forEach((node: any, id: string) => {
+                if (!processedNodes.has(id)) {
+                    const nodeId = this.getUniqueNodeId(id);
+                    const relationship = state.relationships.get(id);
+                    const label = this.formatLabel(relationship);
+                    const style = this.getNodeStyle(node);
+                    
+                    mermaidCode += `    ${nodeId}["${label}\\n${node.publicKey?.substring(0, 10)}..."]\n`;
+                    mermaidCode += `    style ${nodeId} ${style}\n`;
+                    processedNodes.add(id);
+                }
+            });
+
+            // Collect edges
+            if (Array.isArray(state.edges)) {
+                state.edges.forEach((edge: any) => {
+                    const fromId = this.getUniqueNodeId(edge.fromNode);
+                    const toId = this.getUniqueNodeId(edge.toNode);
+                    const label = this.formatEdgeLabel(edge.operation);
+                    edges.push(`    ${fromId} -->|"${label}"| ${toId}\n`);
+                });
+            }
+        });
+
+        // Add all edges after nodes
+        edges.forEach(edge => {
+            mermaidCode += edge;
+        });
+
+        return mermaidCode;
+    }*/
+    generateMarkdown() {
+        let markdown = '# Account Update State History\n\n';
+        markdown += this.generateEntityRegistry();
+        markdown += this.generateTransactionFlow();
+        markdown += this.generateMetadata();
+        return markdown;
+    }
+    async openInBrowser(filePath) {
+        // Convert to absolute path for browser
+        const absolutePath = require('path').resolve(filePath);
+        const fileUrl = `file://${absolutePath}`;
+        try {
+            // Different commands for different operating systems
+            let command;
+            switch (process.platform) {
+                case 'darwin': // macOS
+                    command = `open -a "Google Chrome" "${fileUrl}"`;
+                    break;
+                case 'win32': // Windows
+                    command = `start chrome "${fileUrl}"`;
+                    break;
+                default: // Linux and others
+                    command = `google-chrome "${fileUrl}"`;
+                    break;
+            }
+            await exec(command);
+        }
+        catch (firstError) {
+            try {
+                // Fallback to default browser if Chrome isn't available
+                let fallbackCommand;
+                switch (process.platform) {
+                    case 'darwin': // macOS
+                        fallbackCommand = `open "${fileUrl}"`;
+                        break;
+                    case 'win32': // Windows
+                        fallbackCommand = `start "" "${fileUrl}"`;
+                        break;
+                    default: // Linux and others
+                        fallbackCommand = `xdg-open "${fileUrl}"`;
+                        break;
+                }
+                await exec(fallbackCommand);
+            }
+            catch (error) {
+                console.error('Error opening SVG in browser:', error);
+                throw error;
+            }
+        }
+    }
+    async generateSVG(outputPath = 'transaction_flow.svg') {
+        try {
+            const mermaidCode = this.generateMermaidCode();
+            const tempFile = 'temp_diagram.mmd';
+            await fs.writeFile(tempFile, mermaidCode);
+            const config = {
+                width: 3840,
+                height: 2160,
+                backgroundColor: '#ffffff',
+                scale: 1.0, // Scale can be 1.0 for SVG since it's vector-based
+                puppeteerConfig: {
+                    deviceScaleFactor: 1.0
+                }
+            };
+            // Generate SVG
+            const command = `mmdc -i ${tempFile} -o ${outputPath} ` +
+                `-w ${config.width} ` +
+                `-H ${config.height} ` +
+                `-b ${config.backgroundColor}`;
+            await exec(command);
+            // Clean up temporary file
+            await fs.unlink(tempFile);
+            console.log(`Successfully generated SVG at: ${outputPath}`);
+            //await this.openInBrowser(outputPath);
+        }
+        catch (error) {
+            console.error('Error generating SVG:', error);
+            throw error;
+        }
+    }
+    async generatePNG(outputPath = 'transaction_flow.png') {
+        try {
+            const mermaidCode = this.generateMermaidCode();
+            const tempFile = 'temp_diagram.mmd';
+            await fs.writeFile(tempFile, mermaidCode);
+            const config = {
+                width: 3840, // 4K width
+                height: 2160, // 4K height
+                backgroundColor: '#ffffff',
+                scale: 8.0, // Increased scale for better text quality
+                puppeteerConfig: {
+                    deviceScaleFactor: 4.0,
+                    defaultViewport: {
+                        width: 3840,
+                        height: 2160,
+                        deviceScaleFactor: 4.0
+                    }
+                }
+            };
+            const command = `mmdc -i ${tempFile} -o ${outputPath} ` +
+                `-w ${config.width} ` +
+                `-H ${config.height} ` +
+                `-b ${config.backgroundColor} ` +
+                `-s ${config.scale} ` +
+                `--puppeteerConfig '{"deviceScaleFactor": ${config.puppeteerConfig.deviceScaleFactor}, ` +
+                `"defaultViewport": {"width": ${config.width}, "height": ${config.height}, ` +
+                `"deviceScaleFactor": ${config.puppeteerConfig.deviceScaleFactor}}}'`;
+            await exec(command);
+            await fs.unlink(tempFile);
+            console.log(`Successfully generated PNG at: ${outputPath}`);
+        }
+        catch (error) {
+            console.error('Error generating PNG:', error);
+            throw error;
+        }
+    }
+    async generateMarkdownFile(outputPath = 'state_history.md') {
+        try {
+            const markdown = this.generateMarkdown();
+            await fs.writeFile(outputPath, markdown);
+            console.log(`Successfully generated Markdown at: ${outputPath}`);
+        }
+        catch (error) {
+            console.error('Error generating Markdown:', error);
+            throw error;
+        }
+    }
+}
+//# sourceMappingURL=Visualiser.js.map

package/build/src/Visualiser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Visualiser.js","sourceRoot":"","sources":["../../src/Visualiser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,IAAI,CAAC;AACpC,OAAO,aAAa,MAAM,eAAe,CAAC;AAC1C,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;AAEhD,MAAM,OAAO,YAAY;IAIrB,YAAY,YAAmB;QAMvB,oBAAe,GAAG,CAAC,EAAU,EAAE,UAAkB,EAAU,EAAE;YACjE,OAAO,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC;QACxD,CAAC,CAAA;QACD;;WAEG;QACK,gBAAW,GAAG,CAAC,YAAiB,EAAU,EAAE;YAChD,OAAO,YAAY,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC;QAClE,CAAC,CAAA;QA0CO,4BAAuB,GAAG,CAAC,SAAiB,EAAsC,EAAE;YACxF,IAAI,CAAC;gBACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtD,IAAI,QAAQ,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC;gBAC7B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;oBACjB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;wBAC1C,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;oBAChD,CAAC;oBACD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;wBACtC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;oBAC5C,CAAC;gBACL,CAAC,CAAC,CAAC;gBACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YAC9B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC7C,CAAC;QACL,CAAC,CAAA;QAEO,mBAAc,GAAG,CAAC,MAAc,EAAE,KAAU,EAAW,EAAE;YAC7D,gDAAgD;YAChD,OAAO,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAS,EAAE,EAAE,CACnC,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CACrD,IAAI,KAAK,CAAC;QACf,CAAC,CAAA;QAEO,0BAAqB,GAAG,CAAC,KAAU,EAAE,UAAkB,EAAE,YAAqB,EAAU,EAAE;YAC9F,IAAI,QAAQ,GAAG,qBAAqB,UAAU,IAAI,CAAC;YACnD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;YAE1B,wDAAwD;YACxD,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAS,EAAE,EAAU,EAAE,EAAE;gBAC1C,IAAI,YAAY,IAAI,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;oBACjD,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;oBACpD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;oBACxB,MAAM,YAAY,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;oBAC7C,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;oBAEnE,QAAQ,IAAI,WAAW,MAAM,KAAK,KAAK,MAAM,CAAC;oBAC9C,QAAQ,IAAI,iBAAiB,MAAM,SAAS,KAAK,4BAA4B,CAAC;gBAClF,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,YAAY;YACZ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAS,EAAE,EAAE;oBAC9B,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;wBAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;wBAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBACtC,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;4BACjB,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;4BACxE,MAAM,KAAK,GAAG,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC7D,QAAQ,IAAI,WAAW,MAAM,SAAS,KAAK,MAAM,IAAI,IAAI,CAAC;wBAC9D,CAAC;oBACL,CAAC;gBACL,CAAC,CAAC,CAAC;YACP,CAAC;YAED,QAAQ,IAAI,aAAa,CAAC;YAC1B,OAAO,QAAQ,CAAC;QACpB,CAAC,CAAA;QA4JM,wBAAmB,GAAG,GAAW,EAAE;YACtC,IAAI,WAAW,GAAG;;;;;;;;;;;;;;;;;;;;eAoBX,CAAC;YACR,WAAW,IAAI,gBAAgB,CAAC;YAChC,WAAW,IAAI,wBAAwB,CAAC;YACxC,WAAW,IAAI,yEAAyE,CAAC;YACzF,WAAW,IAAI,yEAAyE,CAAC;YAEzF,2BAA2B;YAC3B,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;gBACvC,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBACtC,WAAW,IAAI,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC;gBACzE,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,OAAO,WAAW,CAAC;QACvB,CAAC,CAAA;QAlTG,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,eAAe,EAAE,CAAC;IAC3B,CAAC;IAYO,YAAY,CAAC,IAAS;QAC1B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,SAAS;gBACV,OAAO,2CAA2C,CAAC;YACvD,KAAK,UAAU;gBACX,OAAO,2CAA2C,CAAC;YACvD;gBACI,OAAO,2CAA2C,CAAC;QAC3D,CAAC;IACL,CAAC;IAEO,eAAe,CAAC,SAAiB;QACrC,IAAI,CAAC;YACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACtD,IAAI,QAAQ,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC;YAEpD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gBACjB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC1C,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAChD,CAAC;gBACD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBACtC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC5C,CAAC;gBACD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACxC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC9C,CAAC;gBACD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC3C,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,IAAI,KAAK,GAAG,GAAG,QAAQ,IAAI,IAAI,EAAE,CAAC;YAClC,IAAI,MAAM;gBAAE,KAAK,IAAI,IAAI,MAAM,EAAE,CAAC;YAClC,IAAI,GAAG;gBAAE,KAAK,IAAI,SAAS,GAAG,EAAE,CAAC;YACjC,OAAO,KAAK,CAAC;QACjB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,SAAS,CAAC;QACrB,CAAC;IACL,CAAC;IAgEO,eAAe;QACnB,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;YAC9B,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBACd,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAS,EAAE,EAAE;oBAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;wBACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE;4BAC9B,EAAE,EAAE,IAAI,CAAC,EAAE;4BACX,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,IAAI,EAAE,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;4BACxC,UAAU,EAAE,IAAI,GAAG,EAAE;4BACrB,SAAS,EAAE,IAAI,CAAC,SAAS;4BACzB,YAAY,EAAE,IAAI,CAAC,YAAY;4BAC/B,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;yBAChC,CAAC,CAAC;oBACP,CAAC;oBACD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAE,CAAC;oBAClD,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBACzD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClC,CAAC,CAAC,CAAC;YACP,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAEO,iBAAiB,CAAC,KAAa;QACnC,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IAChC,CAAC;IAEO,gBAAgB,CAAC,KAAa;QAClC,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC;IAClE,CAAC;IAEO,sBAAsB;QAC1B,IAAI,EAAE,GAAG,wBAAwB,CAAC;QAElC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAwB,CAAC;QACxD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;YAC3B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACzC,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,eAAe,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE;YACvC,EAAE,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/D,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBACtB,EAAE,IAAI,OAAO,MAAM,CAAC,IAAI,MAAM,CAAC;gBAC/B,EAAE,IAAI,qBAAqB,MAAM,CAAC,SAAS,MAAM,CAAC;gBAClD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;oBACtB,EAAE,IAAI,sBAAsB,MAAM,CAAC,YAAY,IAAI,CAAC;gBACxD,CAAC;gBACD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBAC7B,EAAE,IAAI,mBAAmB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1E,CAAC;gBACD,EAAE,IAAI,IAAI,CAAC;YACf,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,CAAC;IACd,CAAC;IAEO,sBAAsB,CAAC,KAAU;QACrC,MAAM,UAAU,GAAoB,EAAE,CAAC;QAEvC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YACd,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAS,EAAE,EAAE;gBAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAE5C,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;oBACrB,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC/D,UAAU,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC;wBAC5C,EAAE,EAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC;wBACxC,MAAM,EAAE,SAAS,CAAC,IAAI;wBACtB,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE,SAAS;wBAC9B,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;qBACvE,CAAC,CAAC;gBACP,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;IAEO,iBAAiB,CAAC,UAA2B;QACjD,IAAI,IAAI,GAAG,EAAE,CAAC;QAEd,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YAC7B,2CAA2C;YAC3C,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAEnD,IAAI,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC;YAEzC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;gBACZ,IAAI,IAAI,iBAAiB,EAAE,CAAC,MAAM,IAAI,CAAC;YAC3C,CAAC;YAED,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;gBAC3B,IAAI,IAAI,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC;YACrC,CAAC;YAED,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC3B,IAAI,IAAI,iBAAiB,EAAE,CAAC,MAAM,IAAI,CAAC;YAC3C,CAAC;YAED,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;gBAChB,IAAI,IAAI,qBAAqB,CAAC;gBAC9B,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;oBACnD,IAAI,IAAI,WAAW,GAAG,KAAK,KAAK,IAAI,CAAC;gBACzC,CAAC,CAAC,CAAC;YACP,CAAC;YAED,mCAAmC;YACnC,IAAI,KAAK,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,IAAI,IAAI,KAAK,CAAC;YAClB,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,uBAAuB;QAC3B,IAAI,EAAE,GAAG,yBAAyB,CAAC;QAEnC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACvC,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;YACtD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,EAAE,IAAI,aAAa,KAAK,IAAI,CAAC;gBAC7B,EAAE,IAAI,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;gBACzC,EAAE,IAAI,MAAM,CAAC;YACjB,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,CAAC;IACd,CAAC;IAIO,gBAAgB;QACpB,IAAI,EAAE,GAAG,6BAA6B,CAAC;QAEvC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACvC,EAAE,IAAI,aAAa,KAAK,IAAI,CAAC;YAC7B,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACjB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;oBACpD,EAAE,IAAI,KAAK,GAAG,KAAK,KAAK,IAAI,CAAC;gBACjC,CAAC,CAAC,CAAC;YACP,CAAC;YACD,EAAE,IAAI,IAAI,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,CAAC;IACd,CAAC;IAuCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgDG;IAGI,gBAAgB;QACnB,IAAI,QAAQ,GAAG,oCAAoC,CAAC;QACpD,QAAQ,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC1C,QAAQ,IAAI,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAC3C,QAAQ,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,KAAK,CAAC,aAAa,CAAC,QAAgB;QACvC,uCAAuC;QACvC,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,UAAU,YAAY,EAAE,CAAC;QAEzC,IAAI,CAAC;YACD,qDAAqD;YACrD,IAAI,OAAe,CAAC;YACpB,QAAQ,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACvB,KAAK,QAAQ,EAAG,QAAQ;oBACpB,OAAO,GAAG,4BAA4B,OAAO,GAAG,CAAC;oBACjD,MAAM;gBACV,KAAK,OAAO,EAAI,UAAU;oBACtB,OAAO,GAAG,iBAAiB,OAAO,GAAG,CAAC;oBACtC,MAAM;gBACV,SAAgB,mBAAmB;oBAC/B,OAAO,GAAG,kBAAkB,OAAO,GAAG,CAAC;oBACvC,MAAM;YACd,CAAC;YAED,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;QAAC,OAAO,UAAU,EAAE,CAAC;YAClB,IAAI,CAAC;gBACD,wDAAwD;gBACxD,IAAI,eAAuB,CAAC;gBAC5B,QAAQ,OAAO,CAAC,QAAQ,EAAE,CAAC;oBACvB,KAAK,QAAQ,EAAG,QAAQ;wBACpB,eAAe,GAAG,SAAS,OAAO,GAAG,CAAC;wBACtC,MAAM;oBACV,KAAK,OAAO,EAAI,UAAU;wBACtB,eAAe,GAAG,aAAa,OAAO,GAAG,CAAC;wBAC1C,MAAM;oBACV,SAAgB,mBAAmB;wBAC/B,eAAe,GAAG,aAAa,OAAO,GAAG,CAAC;wBAC1C,MAAM;gBACd,CAAC;gBACD,MAAM,IAAI,CAAC,eAAe,CAAC,CAAC;YAChC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAE,KAAK,CAAC,CAAC;gBACtD,MAAM,KAAK,CAAC;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IAEM,KAAK,CAAC,WAAW,CAAC,aAAqB,sBAAsB;QAChE,IAAI,CAAC;YACD,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAE/C,MAAM,QAAQ,GAAG,kBAAkB,CAAC;YACpC,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;YAE1C,MAAM,MAAM,GAAG;gBACX,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,IAAI;gBACZ,eAAe,EAAE,SAAS;gBAC1B,KAAK,EAAE,GAAG,EAAG,mDAAmD;gBAChE,eAAe,EAAE;oBACb,iBAAiB,EAAE,GAAG;iBACzB;aACJ,CAAC;YAEF,eAAe;YACf,MAAM,OAAO,GAAG,WAAW,QAAQ,OAAO,UAAU,GAAG;gBACnD,MAAM,MAAM,CAAC,KAAK,GAAG;gBACrB,MAAM,MAAM,CAAC,MAAM,GAAG;gBACtB,MAAM,MAAM,CAAC,eAAe,EAAE,CAAC;YAEnC,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;YAEpB,0BAA0B;YAC1B,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAE1B,OAAO,CAAC,GAAG,CAAC,kCAAkC,UAAU,EAAE,CAAC,CAAC;YAC5D,uCAAuC;QAC3C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAC;YAC9C,MAAM,KAAK,CAAC;QAChB,CAAC;IACL,CAAC;IAEM,KAAK,CAAC,WAAW,CAAC,aAAqB,sBAAsB;QAEhE,IAAI,CAAC;YACD,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAE/C,MAAM,QAAQ,GAAG,kBAAkB,CAAC;YACpC,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;YAE1C,MAAM,MAAM,GAAG;gBACX,KAAK,EAAE,IAAI,EAAW,WAAW;gBACjC,MAAM,EAAE,IAAI,EAAU,YAAY;gBAClC,eAAe,EAAE,SAAS;gBAC1B,KAAK,EAAE,GAAG,EAAY,0CAA0C;gBAChE,eAAe,EAAE;oBACb,iBAAiB,EAAE,GAAG;oBACtB,eAAe,EAAE;wBACb,KAAK,EAAE,IAAI;wBACX,MAAM,EAAE,IAAI;wBACZ,iBAAiB,EAAE,GAAG;qBACzB;iBACJ;aACJ,CAAC;YAEF,MAAM,OAAO,GAAG,WAAW,QAAQ,OAAO,UAAU,GAAG;gBACvD,MAAM,MAAM,CAAC,KAAK,GAAG;gBACrB,MAAM,MAAM,CAAC,MAAM,GAAG;gBACtB,MAAM,MAAM,CAAC,eAAe,GAAG;gBAC/B,MAAM,MAAM,CAAC,KAAK,GAAG;gBACrB,4CAA4C,MAAM,CAAC,eAAe,CAAC,iBAAiB,IAAI;gBACxF,gCAAgC,MAAM,CAAC,KAAK,eAAe,MAAM,CAAC,MAAM,IAAI;gBAC5E,wBAAwB,MAAM,CAAC,eAAe,CAAC,iBAAiB,KAAK,CAAC;YAEtE,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;YAEpB,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAE1B,OAAO,CAAC,GAAG,CAAC,kCAAkC,UAAU,EAAE,CAAC,CAAC;QAChE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAC;YAC9C,MAAM,KAAK,CAAC;QAChB,CAAC;IACL,CAAC;IAEM,KAAK,CAAC,oBAAoB,CAAC,aAAqB,kBAAkB;QACrE,IAAI,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACzC,MAAM,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,uCAAuC,UAAU,EAAE,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,4BAA4B,EAAE,KAAK,CAAC,CAAC;YACnD,MAAM,KAAK,CAAC;QAChB,CAAC;IACL,CAAC;CACJ"}

package/build/src/autrace.d.ts

@@ -0,0 +1,27 @@
+import { SmartContract } from 'o1js';
+import { TransactionState, ContractAnalysis } from './Interface.js';
+export declare class AUTrace {
+    private transactionState;
+    private contractAnalyzer;
+    private contractAnalysis;
+    private auAnalyzer;
+    private transactionSnapshots;
+    constructor();
+    initializeContracts(contracts: SmartContract[]): void;
+    getContractAnalysis(): Map<string, ContractAnalysis>;
+    getContractAnalysisFor(contractName: string): ContractAnalysis | undefined;
+    private traverseTransaction;
+    private processAccountUpdate;
+    private extractAUMetadata;
+    private getTotalFeesInMina;
+    private determineAuthorizationType;
+    private extractContractType;
+    private determineNodeType;
+    private isContractAccount;
+    private updateBalanceState;
+    private buildEdgesFromRelationships;
+    clearTransactionState: () => void;
+    getTransactionState: (transaction: any) => TransactionState;
+    getTransactions: (...transactionStates: any[]) => void;
+    getStateHistory(): any[];
+}