import { z } from 'zod';
export declare const DappHeadObserverTargetZod: z.ZodObject<{
    position: z.ZodNumber;
}, z.core.$strict>;
export declare const DappVerifiedHeadZod: z.ZodObject<{
    sourceHash: z.ZodString;
    position: z.ZodNumber;
    root: z.ZodString;
}, z.core.$strict>;
export declare const DappHeadObserverScopeZod: z.ZodObject<{
    sourceHash: z.ZodString;
    consumerId: z.ZodString;
}, z.core.$strict>;
export declare const DappHeadObserverLeaseZod: z.ZodObject<{
    sourceHash: z.ZodString;
    consumerId: z.ZodString;
    fence: z.ZodNumber;
    generation: z.ZodNumber;
    acquiredAt: z.ZodNumber;
    expiresAt: z.ZodNumber;
}, z.core.$strict>;
export declare const DappHeadObserverSchedulingZod: z.ZodObject<{
    fence: z.ZodNumber;
    generation: z.ZodNumber;
    resendAt: z.ZodNumber;
    status: z.ZodEnum<{
        sending: "sending";
        sent: "sent";
    }>;
}, z.core.$strict>;
export declare const DappHeadObserverStateZod: z.ZodObject<{
    schema: z.ZodLiteral<"network.xyo.dapp.head-observer">;
    schemaVersion: z.ZodLiteral<1>;
    sourceHash: z.ZodString;
    consumerId: z.ZodString;
    dirtyGeneration: z.ZodNumber;
    completedGeneration: z.ZodNumber;
    fence: z.ZodNumber;
    scheduleFence: z.ZodNumber;
    lastRequestedAt: z.ZodNumber;
    requestedTarget: z.ZodOptional<z.ZodObject<{
        position: z.ZodNumber;
    }, z.core.$strict>>;
    latestVerified: z.ZodOptional<z.ZodObject<{
        sourceHash: z.ZodString;
        position: z.ZodNumber;
        root: z.ZodString;
        observedAt: z.ZodNumber;
    }, z.core.$strict>>;
    lease: z.ZodOptional<z.ZodObject<{
        sourceHash: z.ZodString;
        consumerId: z.ZodString;
        fence: z.ZodNumber;
        generation: z.ZodNumber;
        acquiredAt: z.ZodNumber;
        expiresAt: z.ZodNumber;
    }, z.core.$strict>>;
    scheduled: z.ZodOptional<z.ZodObject<{
        fence: z.ZodNumber;
        generation: z.ZodNumber;
        resendAt: z.ZodNumber;
        status: z.ZodEnum<{
            sending: "sending";
            sent: "sent";
        }>;
    }, z.core.$strict>>;
}, z.core.$strict>;
export type DappHeadObserverScope = z.infer<typeof DappHeadObserverScopeZod>;
export type DappHeadObserverTarget = z.infer<typeof DappHeadObserverTargetZod>;
export type DappVerifiedHead = z.infer<typeof DappVerifiedHeadZod>;
export type DappHeadObserverLease = z.infer<typeof DappHeadObserverLeaseZod>;
export type DappHeadObserverState = z.infer<typeof DappHeadObserverStateZod>;
export type DappHeadObserverScheduling = z.infer<typeof DappHeadObserverSchedulingZod>;
export declare function createDappHeadObserverState(scope: unknown, now: number): DappHeadObserverState;
/** Every newly admitted logical hint or independent repair makes current state dirty. */
export declare function requestDappHeadObservation(value: unknown, targetValue: unknown, now: number): DappHeadObserverState;
/** 'running' describes a persisted lease, not evidence of a live invocation. */
export declare function dappHeadObserverStatus(value: unknown): 'idle' | 'pending' | 'running';
export declare function claimDappHeadObservation(value: unknown, now: number, leaseDurationMs: number): DappHeadObserverState;
/** Reserve one disposable Queue wake while dirty; retries are bounded by an explicit resend time. */
export declare function reserveDappHeadObserverScheduling(value: unknown, now: number, resendAfterMs: number): DappHeadObserverState;
/** A late send acknowledgement/failure cannot erase a newer reservation or a consumed callback. */
export declare function finishDappHeadObserverScheduling(value: unknown, reservationValue: unknown, sent: boolean): DappHeadObserverState;
/** Commit only independently verified current-head evidence, preserving arrivals after capture. */
export declare function completeDappHeadObservation(value: unknown, leaseValue: unknown, headValue: unknown, now: number): DappHeadObserverState;
export declare function releaseDappHeadObservation(value: unknown, leaseValue: unknown): DappHeadObserverState;
/** Repair expired leases and request an independent idle-source check after the bound. */
export declare function recoverDappHeadObservation(value: unknown, now: number, refreshAfterMs: number): DappHeadObserverState;
//# sourceMappingURL=headObserver.d.ts.map