import { type NativeCheckPlan } from './native-check-executor.js';
import { type NativeBuilderCandidateInput } from './native-loop-runtime.js';
import type { NativeLocalExecutionState, NativePortableCheckSummary, NativePortablePhase, NativePortableState, NativePortableWorkspace } from './native-portable-types.js';
import { type NativeTrustedVerifierEnvelope } from './native-runner-protocol.js';
import { type NativeVerifierResponse } from './native-verifier-protocol.js';
import type { CometProjectConfig, NativeProjectPaths } from './native-types.js';
import type { NativeWorkspaceBinding } from './native-workspace.js';
export declare const NATIVE_PORTABLE_STATE_FILE = "comet-state.yaml";
export declare const NATIVE_LOCAL_EXECUTION_FILE = "state.json";
export declare const NATIVE_PORTABLE_BRIEF_TEMPLATE = "# Outcome\n\n# Scope\n\n# Non-goals\n\n# Acceptance examples\n\n# Constraints and invariants\n\n# Decisions\n\n# Open questions\n\n# Verification expectations\n";
export type NativePortableExpectedContinuationAction = 'confirm-shape' | 'accept-result' | 'confirm-verifier-unavailable' | 'revise-implementation' | 'revise-requirements' | 'retry-verifier' | 'resolve-verifier-blocker';
export interface NativePortableExpectedContinuation {
    stateVersion: number;
    action: NativePortableExpectedContinuationAction;
}
export declare function nativePortableChangeDir(paths: NativeProjectPaths, name: string): string;
export declare function nativePortableStateFile(paths: NativeProjectPaths, name: string): string;
export declare function nativeLocalExecutionFile(paths: NativeProjectPaths, name: string): string;
export declare function isNativePortableChange(paths: NativeProjectPaths, name: string): Promise<boolean>;
export declare function createNativePortableChange(options: {
    paths: NativeProjectPaths;
    name: string;
    language: 'en' | 'zh-CN';
    workspaceBinding?: NativeWorkspaceBinding;
    initialProjectConfig?: CometProjectConfig;
    now?: Date;
}): Promise<NativePortableState>;
export declare function readNativePortableChange(paths: NativeProjectPaths, name: string): Promise<NativePortableState>;
export declare function confirmNativePortableShape(options: {
    paths: NativeProjectPaths;
    name: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function inspectNativePortableAcceptanceDrift(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    ignoreSpecOperationFor?: ReadonlySet<string>;
}): Promise<{
    drifted: boolean;
    reason: string | null;
}>;
export declare function ensureNativePortableAcceptanceCurrentLocked(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
}): Promise<void>;
export declare function submitNativePortableBuilderCandidate(options: {
    paths: NativeProjectPaths;
    name: string;
    input: NativeBuilderCandidateInput;
}): Promise<NativePortableState>;
export declare function completeNativePortableParentBuild(options: {
    paths: NativeProjectPaths;
    name: string;
    summary: string;
}): Promise<NativePortableState>;
export interface NativeVerifierAttemptBinding {
    stateVersion: number;
    iteration: number;
    attempt: number;
    verifierExecutionRef: string;
}
export declare function executeNativePortableCheckPlan(options: {
    paths: NativeProjectPaths;
    name: string;
    plans: NativeCheckPlan[];
}): Promise<{
    state: NativePortableState;
    checks: NativePortableCheckSummary[];
}>;
export interface NativePortableRequestChecksOutcome {
    round: number;
    reusedCheckIds: string[];
    executedCheckIds: string[];
}
export declare function dispatchNativePortableVerifier(options: {
    paths: NativeProjectPaths;
    name: string;
    checks: NativePortableCheckSummary[];
    verifierExecutionId?: string | null;
}): Promise<NativePortableState>;
export declare function submitNativePortableVerifierResult(options: {
    paths: NativeProjectPaths;
    name: string;
    envelope: NativeTrustedVerifierEnvelope<unknown> | unknown;
    checks: NativePortableCheckSummary[];
    maxVerifyFailures: number;
}): Promise<{
    state: NativePortableState;
    response: NativeVerifierResponse;
    checks: NativePortableCheckSummary[];
    requestChecks: NativePortableRequestChecksOutcome | null;
}>;
export declare function recordNativePortableVerifierFailure(options: {
    paths: NativeProjectPaths;
    name: string;
    summary: string;
    expected: NativeVerifierAttemptBinding;
    requireSkillCoordination?: boolean;
}): Promise<NativePortableState>;
export declare function recordNativePortableVerifierUnavailable(options: {
    paths: NativeProjectPaths;
    name: string;
    summary: string;
    expected: NativeVerifierAttemptBinding;
    requireSkillCoordination?: boolean;
}): Promise<NativePortableState>;
export declare function confirmNativePortableSkillCoordinatedPass(options: {
    paths: NativeProjectPaths;
    name: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function confirmNativePortableVerifierUnavailable(options: {
    paths: NativeProjectPaths;
    name: string;
    summary: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function resolveNativePortableVerifierBlocker(options: {
    paths: NativeProjectPaths;
    name: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function retryNativePortableVerifier(options: {
    paths: NativeProjectPaths;
    name: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function returnNativePortableChangeToBuild(options: {
    paths: NativeProjectPaths;
    name: string;
    reason: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function markNativePortableSpecRemoval(options: {
    paths: NativeProjectPaths;
    name: string;
    capability: string;
}): Promise<NativePortableState>;
export declare function setNativePortableWorkspaceFinish(options: {
    paths: NativeProjectPaths;
    name: string;
    finish: NonNullable<NativePortableWorkspace['finish']>;
}): Promise<NativePortableState>;
export declare function returnNativePortableChangeToShape(options: {
    paths: NativeProjectPaths;
    name: string;
    reason: string;
    allowedPhases?: readonly NativePortablePhase[];
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function returnNativePortableStateToShapeLocked(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    reason: string;
}): Promise<NativePortableState>;
export declare function ensureNativePortableReport(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
}): Promise<'aligned' | 'rebuilt' | 'not-applicable'>;
export declare function readNativePortableRuntime(options: {
    paths: NativeProjectPaths;
    name: string;
}): Promise<{
    state: NativePortableState;
    local: NativeLocalExecutionState | null;
    localStatus: 'available' | 'missing' | 'invalid' | 'stale';
}>;
//# sourceMappingURL=native-portable-runtime.d.ts.map