midnight-mcp 0.1.16 → 0.1.18

package/dist/tools/repository/validation.d.ts

@@ -0,0 +1,628 @@
+/**
+ * Contract validation handlers
+ * Pre-compilation validation for Compact contracts using the Compact CLI
+ */
+import type { ValidateContractInput, ExtractContractStructureInput } from "./schemas.js";
+/**
+ * Validate a Compact contract by running the compiler
+ * This provides pre-compilation validation with detailed error diagnostics
+ */
+export declare function validateContract(input: ValidateContractInput): Promise<{
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string | undefined;
+        solution: string;
+        example: {
+            filePath: string;
+            withCode?: undefined;
+            withFile?: undefined;
+            instead?: undefined;
+            use?: undefined;
+        };
+        isUserFault: boolean;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        isUserFault: boolean;
+        example?: undefined;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        details: string | undefined;
+        isUserFault: boolean;
+        example?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        example: {
+            withCode: {
+                code: string;
+            };
+            withFile: {
+                filePath: string;
+            };
+            filePath?: undefined;
+            instead?: undefined;
+            use?: undefined;
+        };
+        isUserFault: boolean;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        detectedIncludes: string[];
+        example: {
+            instead: string;
+            use: string;
+            filePath?: undefined;
+            withCode?: undefined;
+            withFile?: undefined;
+        };
+        isUserFault: boolean;
+        details?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        example: string;
+        isUserFault?: undefined;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        example?: undefined;
+        isUserFault?: undefined;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        fix: string;
+        example: string;
+        isUserFault?: undefined;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues: string[];
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    compilerInstalled: boolean;
+    error: string;
+    message: string;
+    installation: {
+        message: string;
+        command: string;
+        postInstall: string[];
+        docs: string;
+    };
+    userAction: {
+        problem: string;
+        solution: string;
+        isUserFault: boolean;
+        example?: undefined;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    compilerVersion?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    compilerInstalled: boolean;
+    compilerVersion: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        command: string;
+        isUserFault: boolean;
+        example?: undefined;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        possibleCauses?: undefined;
+    };
+    detectedIssues?: undefined;
+    installation?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    systemError: {
+        code: string | undefined;
+        details: string | undefined;
+        problem: string;
+        solution: string;
+        isUserFault: boolean;
+    };
+    userAction?: undefined;
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    error: string;
+    message: string;
+    systemError: {
+        code: string | undefined;
+        details: string | undefined;
+        isUserFault: boolean;
+        problem?: undefined;
+        solution?: undefined;
+    };
+    userAction?: undefined;
+    detectedIssues?: undefined;
+    compilerInstalled?: undefined;
+    installation?: undefined;
+    compilerVersion?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: null;
+    compilerInstalled: boolean;
+    compilerVersion: string;
+    compilerPath: string;
+    message: string;
+    output: string;
+    warnings: string[];
+    localIncludes: string[] | undefined;
+    contractInfo: {
+        filename: string;
+        codeLength: number;
+        lineCount: number;
+    };
+    nextSteps: string[];
+    error?: undefined;
+    userAction?: undefined;
+    detectedIssues?: undefined;
+    installation?: undefined;
+    systemError?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    compilerInstalled: boolean;
+    compilerVersion: string;
+    error: string;
+    message: string;
+    userAction: {
+        problem: string;
+        solution: string;
+        possibleCauses: string[];
+        isUserFault: boolean;
+        example?: undefined;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+    };
+    detectedIssues?: undefined;
+    installation?: undefined;
+    systemError?: undefined;
+    compilerPath?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    contractInfo?: undefined;
+    nextSteps?: undefined;
+    errorCategory?: undefined;
+    errors?: undefined;
+    errorCount?: undefined;
+    rawOutput?: undefined;
+    suggestions?: undefined;
+    commonFixes?: undefined;
+} | {
+    success: boolean;
+    errorType: string;
+    errorCategory: {
+        category: string;
+        title: string;
+        explanation: string;
+        solution: string;
+    };
+    compilerInstalled: boolean;
+    compilerVersion: string;
+    compilerPath: string;
+    message: string;
+    errors: {
+        line?: number;
+        column?: number;
+        message: string;
+        severity: "error" | "warning";
+        context?: string;
+    }[];
+    errorCount: number;
+    rawOutput: string;
+    contractInfo: {
+        filename: string;
+        codeLength: number;
+        lineCount: number;
+    };
+    userAction: {
+        problem: string;
+        solution: string;
+        isUserFault: boolean;
+        example?: undefined;
+        details?: undefined;
+        detectedIncludes?: undefined;
+        fix?: undefined;
+        command?: undefined;
+        possibleCauses?: undefined;
+    };
+    suggestions: string[];
+    commonFixes: {
+        pattern: string;
+        fix: string;
+    }[];
+    error?: undefined;
+    detectedIssues?: undefined;
+    installation?: undefined;
+    systemError?: undefined;
+    output?: undefined;
+    warnings?: undefined;
+    localIncludes?: undefined;
+    nextSteps?: undefined;
+}>;
+/**
+ * Extract the structure of a Compact contract (circuits, witnesses, ledger, etc.)
+ * This helps agents understand what a contract does without parsing it themselves
+ */
+export declare function extractContractStructure(input: ExtractContractStructureInput): Promise<{
+    success: boolean;
+    error: string;
+    message: string | undefined;
+    details?: undefined;
+    filename?: undefined;
+    languageVersion?: undefined;
+    imports?: undefined;
+    structure?: undefined;
+    exports?: undefined;
+    stats?: undefined;
+    summary?: undefined;
+} | {
+    success: boolean;
+    error: string;
+    message: string;
+    details: string | undefined;
+    filename?: undefined;
+    languageVersion?: undefined;
+    imports?: undefined;
+    structure?: undefined;
+    exports?: undefined;
+    stats?: undefined;
+    summary?: undefined;
+} | {
+    success: boolean;
+    filename: string;
+    languageVersion: string | null;
+    imports: string[];
+    structure: {
+        circuits: {
+            name: string;
+            params: string[];
+            returnType: string;
+            isExport: boolean;
+            line: number;
+        }[];
+        witnesses: {
+            name: string;
+            type: string;
+            isExport: boolean;
+            line: number;
+        }[];
+        ledgerItems: {
+            name: string;
+            type: string;
+            isExport: boolean;
+            line: number;
+        }[];
+        types: {
+            name: string;
+            definition: string;
+            line: number;
+        }[];
+        structs: {
+            name: string;
+            fields: string[];
+            line: number;
+        }[];
+        enums: {
+            name: string;
+            variants: string[];
+            line: number;
+        }[];
+    };
+    exports: {
+        circuits: string[];
+        witnesses: string[];
+        ledger: string[];
+    };
+    stats: {
+        lineCount: number;
+        circuitCount: number;
+        witnessCount: number;
+        ledgerCount: number;
+        typeCount: number;
+        structCount: number;
+        enumCount: number;
+        exportedCircuits: number;
+        exportedWitnesses: number;
+        exportedLedger: number;
+    };
+    summary: string;
+    message: string;
+    error?: undefined;
+    details?: undefined;
+}>;
+//# sourceMappingURL=validation.d.ts.map