import { Context, Service } from '@deepseek-ai/cordis';
import type { TaskAcceptanceContract, TaskVerificationReceipt } from '@dsh-enhanced/task-acceptance-contract';
import { Config } from './config.js';
import type { AcceptanceProfile } from './config.js';
import type { TaskAcceptanceRegistration, VerifierEvaluationRegistration } from './host.js';
import type { Execution } from './store.js';
import { type SourceReviewInput, type SourceReviewSelection } from './source-review.js';
import type { MemoryReviewAvailability } from './memory-review.js';
import type { MemoryLearningOwner, MemoryLearningReviewRequest } from '@dsh-enhanced/assistant-growth-contract';
import type { PluginCreationVerificationRequest, PluginCreationVerificationResult, PluginRevisionVerificationRequest, PluginRevisionVerificationResult, PluginRevisionRegressionRequest, PluginRevisionRegressionResult } from '@dsh-enhanced/assistant-growth-contract';
import type { CreationReviewConfig, CreationReviewAuthorityInspection } from './creation-review.js';
import type { RevisionReviewConfig, RevisionReviewAuthorityInspection } from './revision-review.js';
import type { RevisionRegressionReviewConfig, RevisionRegressionReviewAuthorityInspection } from './revision-regression-review.js';
export { Config } from './config.js';
/** Exact Host-owned key used to inspect a configured acceptance profile. */
export interface AcceptanceProfileSelection extends Pick<AcceptanceProfile, 'scope' | 'owner' | 'objective' | 'taskKind'> {
}
/** Exact Host-owned boundary used to discover configured objective text. */
export type AcceptanceObjectivesSelection = Omit<AcceptanceProfileSelection, 'objective'>;
/** Immutable, configuration-only profile inspection result. */
export interface AcceptanceProfileInspection {
    readonly profile: AcceptanceProfile;
    readonly digest: string;
}
declare module '@deepseek-ai/cordis' {
    interface Context {
        assistantVerifier: AssistantVerifierService;
    }
    interface Events {
        /** Post-commit nudge only; consumers must reread current evidence and authority. */
        'assistant-verifier/receipt'(notice: Readonly<{
            contractId: string;
            contractDigest: string;
            receiptId: string;
            receiptDigest: string;
            taskKind: TaskAcceptanceContract['task']['kind'];
        }>): void;
    }
}
/** Host-only verification. There is intentionally no model trusted-write tool. */
export declare class AssistantVerifierService extends Service<Config> {
    #private;
    static Config: import("@deepseek-ai/schemastery").default<Config>;
    constructor(ctx: Context, config: Config, options?: {
        now?: () => number;
    });
    /** Frozen public acceptance authority; unavailable until the private Host peers are active. */
    inspectCreationAcceptanceAuthority: (input: {
        owner: CreationReviewConfig["owner"];
    }) => CreationReviewAuthorityInspection | undefined;
    /** Private Host continuation only. Source, artifact and owner are re-read through Control Plane. */
    verifyPluginCreation: (request: PluginCreationVerificationRequest, signal?: AbortSignal) => Promise<PluginCreationVerificationResult>;
    /** Frozen revision authority; independent of the creation grant and quota. */
    inspectRevisionAcceptanceAuthority: (input: {
        owner: RevisionReviewConfig["owner"];
    }) => RevisionReviewAuthorityInspection | undefined;
    /** Private Host continuation for a new task's candidate revision. It grants no execution authority. */
    verifyPluginRevision: (request: PluginRevisionVerificationRequest, signal?: AbortSignal) => Promise<PluginRevisionVerificationResult>;
    /** Host-only parent behavior regression; no candidate execution or version switch authority. */
    inspectRevisionRegressionAcceptanceAuthority: (input: {
        owner: RevisionRegressionReviewConfig["owner"];
    }) => RevisionRegressionReviewAuthorityInspection | undefined;
    verifyPluginRevisionRegression: (request: PluginRevisionRegressionRequest, signal?: AbortSignal) => Promise<PluginRevisionRegressionResult>;
    /** Host-only review. Source text and verdicts cannot be supplied by the caller. */
    reviewMemoryLearning: (request: MemoryLearningReviewRequest, signal?: AbortSignal) => Promise<import("./memory-review.js").MemoryReviewReceipt>;
    lookupMemoryLearningReview: (request: MemoryLearningReviewRequest) => import("./memory-review.js").MemoryReviewReceipt | undefined;
    /** Host-only read of current authority and unclaimed review capacity. */
    inspectMemoryLearningReviewAvailability: (input: {
        owner: MemoryLearningOwner;
    }) => MemoryReviewAvailability | undefined;
    /** Host-only capability probe, including the exact decision directory. */
    canReviewSourceRepair: (input: SourceReviewSelection) => boolean;
    /** No model tool exposes this entry or the private decision writer. */
    reviewSourceRepair: (input: SourceReviewInput) => Promise<import("./source-review.js").SourceReviewResult>;
    ownsTaskAcceptanceRegistration: (registration: TaskAcceptanceRegistration) => boolean;
    trustedVerificationProducerGeneration: () => string;
    /**
     * Host-only configuration inspection for preflight. It never creates a
     * contract, registers a producer, or authorizes/starts execution.
     */
    supportsPreauthorizedGoalAcceptance: (selection: AcceptanceProfileSelection) => boolean;
    /** Host-only binding: the caller cannot supply a contract, grant or replacement target. */
    inspectRepositoryReadbackAuthority: (contractId: string, authorityId: string, authorityDigest: string) => {
        contract: TaskAcceptanceContract;
        authority: import("./drivers.js").RepositoryReadbackAuthority | import("./drivers.js").RepositoryCommitReadbackAuthority;
    };
    inspectAcceptanceProfile: (selection: AcceptanceProfileSelection) => Readonly<AcceptanceProfileInspection> | null;
    /**
     * Host-only objective discovery for preflight. It only returns configured
     * objective text within the exact scope, owner, and task-kind boundary.
     */
    inspectAcceptanceObjectives: (selection: AcceptanceObjectivesSelection) => readonly string[];
    registerTrustedVerifierEvaluationSink: (registration: VerifierEvaluationRegistration) => (() => void);
    /** Inspection contains explicit pending work; an execution completion is not a success verdict. */
    inspect: (contractId: string) => import("./store.js").AcceptanceState | null;
    /** Exact immutable contract plus its current validated state for Host feedback loops. */
    inspectAcceptedTask: (contractId: string) => Readonly<{
        contract: TaskAcceptanceContract;
        state: "awaiting-execution" | "pending" | "verifying" | "done" | "needs-attention";
        attempts: number;
        reason: string | null;
        receipt: TaskVerificationReceipt | null;
        execution: Execution | null;
    }> | null;
    continuations: () => readonly import("./store.js").AttentionState[];
    health: () => Readonly<{
        awaitingExecution: number;
        pendingVerification: number;
        pendingReceipts: number;
        expiredReceipts: number;
        needsAttention: number;
        ready: true;
        profiles: number;
        requireAcceptance: boolean;
        hostProducers: readonly ("assistantDelivery" | "assistantAutomations" | "assistantGoals")[];
        evaluationConnected: boolean;
    }>;
    tick: () => Promise<void>;
}
//# sourceMappingURL=service.d.ts.map