import type { BehavioralDriftWindowVerifyResult } from './types.js';
/**
 * Verify the Ed25519 signature on an envelope plus structural and
 * cross-field invariants. Returns `{ valid: true }` only when every
 * check passes AND the signature verifies against `envelope.observer_id`.
 * A failure carries a `reason` naming the specific shape, invariant, or
 * cryptographic failure. Reason codes are listed in `types.ts` on
 * {@link BehavioralDriftWindowVerifyResult}.
 *
 * Order of checks is fixed: shape first, then field-format and
 * cross-field invariants, then signature. Earlier failures short-circuit
 * later ones so the reason code identifies the most-upstream cause.
 */
export declare function verifyBehavioralDriftWindow(envelope: unknown): BehavioralDriftWindowVerifyResult;
//# sourceMappingURL=verify.d.ts.map