import type { IdJagDescriptor, IdJagVerifyResult } from './types.js';
/**
 * Verify an ID-JAG binding descriptor for structural soundness. Recomputes
 * delegationChainRoot over chain content and sourceGrantRef over its committed
 * preimage, confirms the preimage carries only provenance and binding-target
 * fields, confirms the caller attestation signature verifies under the caller
 * key, confirms audience is marked unenforced, and confirms no spend unit was
 * silently synthesized. Returns a status that never collapses unchecked external
 * constraints into a safe-for-execution boolean.
 */
export declare function verifyIdJagDescriptor(descriptor: IdJagDescriptor): IdJagVerifyResult;
//# sourceMappingURL=verify.d.ts.map