svm: Settle verification

import { createSauceSvmClient } from "@eco-incorp/sauce/svm";

export declare function verifySvmSettleProgram(bytecode: Uint8Array, manifest: SettleManifestLike, expected: SvmSettleExpectation): SvmSettleVerification;

export declare function decodeSvmSettleExecution(input: SvmSettleExecutionInput): DecodedSvmSettleExecution;

export declare function verifySvmSettleExecution(input: SvmSettleExecutionVerifyInput): SvmSettleExecutionVerification;

export interface SvmSettleExpectation {
    minOut: bigint;
    splCount: bigint;
}

export interface SettleManifestLike {
    accounts: readonly {
        kind: string;
        name?: string;
    }[];
}

export interface SvmSettleVerification {
    genuine: boolean;
    escrowCount: number | null;
    refs: string[];
    mismatch?: string;
}

export type SvmExecutionWireFormat = "gated-v1" | "legacy-ungated";

export type SvmSettleAccountLike = string | {
    address?: string;
    pubkey?: string;
    ref?: string;
};

export interface SvmSettleExecutionInput {
    instructionData: Uint8Array;
    accounts: readonly SvmSettleAccountLike[];
    wireFormat?: SvmExecutionWireFormat;
}

export interface SvmExecutionGate {
    owner: Address;
    salt: Uint8Array;
    bump: number;
    pot: Address;
}

export interface DecodedSvmSettleExecution {
    instruction: "execute" | "execute_from_account";
    wireFormat: SvmExecutionWireFormat;
    gate?: SvmExecutionGate;
    codeAccount?: Address;
    escrowCount: number;
    refs: string[];
    accounts: Record<string, Address>;
    hadBufferAccount: boolean;
    labeledRefsConsistent: boolean | null;
}

export interface SvmSettleExecutionVerifyInput extends SvmSettleExecutionInput, SvmSettleExpectation {
    bytecode?: Uint8Array;
    pin?: Uint8Array;
}

export type SvmSettleVerifiedBy = "inline-bytecode" | "bytecode" | "caller-asserted-pin" | "none";

export interface SvmSettleExecutionVerification extends DecodedSvmSettleExecution {
    genuine: boolean;
    verifiedBy: SvmSettleVerifiedBy;
    pinMatchesCanonical: boolean | null;
    pinMatchesBytecode: boolean | null;
    bytecodeMatchesCanonical: boolean | null;
    mismatch?: string;
}