import type { ProofBundlePayload } from './types.js';
/**
 * Compile a proof bundle into a deterministic semantic trace string.
 * Privacy-preserving: uses only structural metadata, never content.
 */
export declare function compileSemanticTrace(bundle: ProofBundlePayload): string;
//# sourceMappingURL=trace-compiler.d.ts.map