import type { NativePortablePhase, NativePortableSpecChange, NativePortableState, NativePortableWorkspace, NativeSupervisorCoordinationMode } from './native-portable-types.js';
import type { CometProjectConfig, NativeProjectPaths } from './native-types.js';
import type { NativeArtifactValidation, NativeFinding } from './native-types.js';
import type { NativeWorkspaceBinding } from './native-workspace.js';
export declare const NATIVE_PORTABLE_BRIEF_TEMPLATE: string;
export declare function formatNativeDocumentConstraintFindings(findings: readonly NativeFinding[], options: {
    change: string;
    phase: NativePortablePhase;
}): string;
export declare function validateNativePortableDocuments(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    specChanges?: readonly NativePortableSpecChange[];
}): Promise<NativeArtifactValidation>;
export declare function assertNativePortableDocuments(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    specChanges?: readonly NativePortableSpecChange[];
}): Promise<void>;
export type NativePortableExpectedContinuationAction = 'prepare-shape-confirmation' | 'confirm-shape' | 'accept-result' | 'confirm-verifier-unavailable' | 'revise-implementation' | 'revise-requirements' | 'retry-verifier' | 'resolve-verifier-blocker' | 'disassociate-capability';
export interface NativePortableExpectedContinuation {
    stateVersion: number;
    action: NativePortableExpectedContinuationAction;
}
export declare function assertNativePortableExpectedContinuationLocked(options: {
    state: NativePortableState;
    expected?: NativePortableExpectedContinuation;
    action: NativePortableExpectedContinuationAction;
}): void;
export declare function createNativePortableChange(options: {
    paths: NativeProjectPaths;
    name: string;
    language: 'en' | 'zh-CN';
    workspaceBinding?: NativeWorkspaceBinding;
    initialProjectConfig?: CometProjectConfig;
    now?: Date;
}): Promise<NativePortableState>;
export declare function discoverNativePortableSpecChanges(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
}): Promise<NativePortableSpecChange[]>;
/**
 * Rebase independent canonical edits into the active delta before Verify is
 * restarted. The caller must hold the Native mutation lock.
 */
export declare function rebaseNativePortableDeltasLocked(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
}): Promise<{
    state: NativePortableState;
    rebased: boolean;
    capabilities: string[];
}>;
/** Rebase and return a passed Native change to the final Verify boundary. */
export declare function rebaseNativePortableDeltas(options: {
    paths: NativeProjectPaths;
    name: string;
    reason?: string;
}): Promise<NativePortableState>;
export declare function readNativePortableAcceptance(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    specChanges: readonly NativePortableSpecChange[];
}): Promise<{
    acceptance: import("./native-portable-acceptance.js").NativePortableAcceptanceCriterion[];
    formalHash: string;
}>;
export declare function nativePortableShapeConfirmationHash(options: {
    formalHash: string;
    childrenHash: string | null;
    coordinationMode: NativeSupervisorCoordinationMode | undefined;
}): string;
export declare function prepareNativePortableShapeConfirmation(options: {
    paths: NativeProjectPaths;
    name: string;
    coordinationMode?: NativeSupervisorCoordinationMode;
    expectedContinuation?: NativePortableExpectedContinuation;
    enforceDocumentConstraints?: boolean;
}): Promise<NativePortableState>;
export declare function inspectNativePortableAcceptanceDrift(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    ignoreSpecOperationFor?: ReadonlySet<string>;
}): Promise<{
    drifted: boolean;
    reason: string | null;
}>;
export declare function recoverNativePortableShapeConfirmationDrift(options: {
    paths: NativeProjectPaths;
    name: string;
}): Promise<{
    state: NativePortableState;
    repaired: boolean;
    reason: string | null;
}>;
export declare function ensureNativePortableAcceptanceCurrentLocked(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
}): Promise<void>;
/** Only link destinations may change; prose, examples and acceptance remain confirmed. */
export declare function syncNativePortableSpecReferences(options: {
    paths: NativeProjectPaths;
    name: string;
    capability: string;
    reason: string;
    actor: string;
    expectedStateVersion: number;
    affectedAcceptanceIds: string[];
    replacements: Array<{
        from: string;
        to: string;
    }>;
}): Promise<NativePortableState>;
export declare function markNativePortableSpecRemoval(options: {
    paths: NativeProjectPaths;
    name: string;
    capability: string;
}): Promise<NativePortableState>;
/** Revoke a capability association through Runtime and invalidate its confirmation. */
export declare function disassociateNativePortableCapability(options: {
    paths: NativeProjectPaths;
    name: string;
    expectedContinuation: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function setNativePortableWorkspaceFinish(options: {
    paths: NativeProjectPaths;
    name: string;
    finish: NonNullable<NativePortableWorkspace['finish']>;
    expectedStateVersion?: number;
}): Promise<NativePortableState>;
export declare function returnNativePortableChangeToShape(options: {
    paths: NativeProjectPaths;
    name: string;
    reason: string;
    allowedPhases?: readonly NativePortablePhase[];
    expectedContinuation?: NativePortableExpectedContinuation;
    keepFailureBudget?: boolean;
}): Promise<NativePortableState>;
export declare function returnNativePortableStateToShapeLocked(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    reason: string;
    keepFailureBudget?: boolean;
}): Promise<NativePortableState>;
//# sourceMappingURL=native-portable-requirements.d.ts.map