import { PledgeErrorCode, CreatePledgeInput, PledgeEnvelope, VerifyPledgeInput, VerifyPledgeResult, PledgeCanonicalInput, CreateOutcomeInput, OutcomeEnvelope, VerifyOutcomeInput, VerifyOutcomeResult, OutcomeCanonicalInput, CreateAbandonmentInput, AbandonmentEnvelope, VerifyAbandonmentInput, VerifyAbandonmentResult, AbandonmentCanonicalInput, ClassifyStateInput, PledgeState, VerifyBondInput, VerifyBondResult, ResolutionMechanism, DelegationLookupResult } from './types.js';
export { AbandonmentSignature, AttestationLookup, AttestationLookupResult, Bip322Signer, DelegationLookup, DisputeMechanism, ENVELOPE_VERSION, OutcomeEvidence, OutcomeKind, OutcomeSignature, PledgeBond, PledgeDispute, PledgeResolution, PledgeResolvesAt, PledgeSignature, PledgeSwearer, RESOLUTION_MECHANISMS, VerifyAbandonmentOk, VerifyBip322, VerifyBondErr, VerifyBondOk, VerifyErr, VerifyOutcomeOk, VerifyPledgeOk } from './types.js';
export { JsonValue, ValidateResult, canonicalAbandonmentMessage, canonicalAbandonmentMessageBytes, canonicalOutcomeMessage, canonicalOutcomeMessageBytes, canonicalPledgeMessage, canonicalPledgeMessageBytes, canonicalize, canonicalizeAbandonmentEnvelope, canonicalizeOutcomeEnvelope, canonicalizePledgeEnvelope, computeAbandonmentId, computeOutcomeId, computePledgeId, generateNonce, hexEncode, sha256Hex, validateAbandonmentInput, validateOutcomeInput, validatePledgeInput } from './canonical.js';

declare class PledgeError extends Error {
    code: PledgeErrorCode;
    constructor(code: PledgeErrorCode, message: string);
}
declare function createPledge(input: CreatePledgeInput): Promise<PledgeEnvelope>;
declare function wrapPledgeEnvelope(input: PledgeCanonicalInput, sigValue: string, opts?: {
    sigPubkey?: string;
    viaDelegation?: {
        delegationId: string;
        agentAddress: string;
    };
}): PledgeEnvelope;
declare function verifyPledge(input: VerifyPledgeInput): Promise<VerifyPledgeResult>;

declare function outcomeRequiresSignature(input: {
    resolved_by: string;
}): boolean;
declare function createOutcome(input: CreateOutcomeInput): Promise<OutcomeEnvelope>;
declare function wrapOutcomeEnvelope(input: OutcomeCanonicalInput, sigValue?: string): OutcomeEnvelope;
declare function verifyOutcome(input: VerifyOutcomeInput): Promise<VerifyOutcomeResult>;

declare function createAbandonment(input: CreateAbandonmentInput): Promise<AbandonmentEnvelope>;
declare function wrapAbandonmentEnvelope(input: AbandonmentCanonicalInput, sigValue: string, swearerAddress: string): AbandonmentEnvelope;
declare function verifyAbandonment(input: VerifyAbandonmentInput): Promise<VerifyAbandonmentResult>;

declare function classifyState(input: ClassifyStateInput): PledgeState;
declare function outcomesContradict(a: OutcomeEnvelope, b: OutcomeEnvelope): boolean;

declare function verifyBond(input: VerifyBondInput): Promise<VerifyBondResult>;
declare function bondConstraints(pledge: PledgeEnvelope): {
    attestation_id: string;
    min_sats: number;
    min_days: number;
};

type ResolutionValidateResult = {
    ok: true;
    mechanism: ResolutionMechanism;
} | {
    ok: false;
    code: 'E_RESOLUTION_UNKNOWN' | 'E_RESOLUTION_NONDETERMINISTIC';
    reason: string;
};
declare function validateResolutionQuery(mechanism: string, query: string): ResolutionValidateResult;

interface ScopeCheckOk {
    ok: true;
    matched_scope: string;
}
interface ScopeCheckErr {
    ok: false;
    code: Extract<PledgeErrorCode, 'E_DELEGATION_SCOPE_VIOLATED' | 'E_DELEGATION_NOT_FOUND'>;
    reason: string;
}
type ScopeCheckResult = ScopeCheckOk | ScopeCheckErr;
declare function checkPledgeCreateScope(pledge: PledgeEnvelope, delegation: DelegationLookupResult): ScopeCheckResult;
declare function parsePledgeCreateScope(scope: string): Record<string, string> | null;
declare function isoUtcGreaterThan(a: string, b: string): boolean;

export { AbandonmentCanonicalInput, AbandonmentEnvelope, ClassifyStateInput, CreateAbandonmentInput, CreateOutcomeInput, CreatePledgeInput, DelegationLookupResult, OutcomeCanonicalInput, OutcomeEnvelope, PledgeCanonicalInput, PledgeEnvelope, PledgeError, PledgeErrorCode, PledgeState, ResolutionMechanism, type ResolutionValidateResult, type ScopeCheckResult, VerifyAbandonmentInput, VerifyAbandonmentResult, VerifyBondInput, VerifyBondResult, VerifyOutcomeInput, VerifyOutcomeResult, VerifyPledgeInput, VerifyPledgeResult, bondConstraints, checkPledgeCreateScope, classifyState, createAbandonment, createOutcome, createPledge, isoUtcGreaterThan, outcomeRequiresSignature, outcomesContradict, parsePledgeCreateScope, validateResolutionQuery, verifyAbandonment, verifyBond, verifyOutcome, verifyPledge, wrapAbandonmentEnvelope, wrapOutcomeEnvelope, wrapPledgeEnvelope };