/* tslint:disable */
/* eslint-disable */
export const memory: WebAssembly.Memory;
export const analyze_correction_event: (a: number, b: number, c: number, d: number) => [number, number, number];
export const compute_dependency_graph: (a: number, b: number) => [number, number, number];
export const compute_savings_summary: (a: number, b: number, c: number, d: number) => [number, number, number];
export const ifc_decide: (a: number, b: number, c: number, d: number) => [number, number, number];
export const parse_claude_code_session: (a: number, b: number) => [number, number, number];
export const parse_lineage_chain: (a: number, b: number) => [number, number, number];
export const verify_auction_receipt: (a: number, b: number, c: number, d: number) => [number, number, number];
export const verify_auction_receipt_full: (a: number, b: number, c: number, d: number) => [number, number, number];
export const verify_chain_signatures: (a: number, b: number, c: number, d: number) => [number, number, number];
export const verify_clearing_recompute: (a: number, b: number) => [number, number, number];
export const verify_policy_certificate: (a: number, b: number, c: bigint, d: number, e: number) => [number, number, number];
export const verify_preservation: (a: number, b: number) => [number, number];
export const verify_recomputation_necessity: (a: number, b: number) => [number, number];
export const init: () => void;
export const __wbindgen_malloc: (a: number, b: number) => number;
export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
export const __wbindgen_free: (a: number, b: number, c: number) => void;
export const __wbindgen_exn_store: (a: number) => void;
export const __externref_table_alloc: () => number;
export const __wbindgen_externrefs: WebAssembly.Table;
export const __externref_table_dealloc: (a: number) => void;
export const __wbindgen_start: () => void;