export declare const ONBOARD_CLIENT_PUBLIC_COMMAND = "onboard-client station70-copy";
export interface PublicCommandStrategy {
    hypothesis: string;
    errorClassification: string;
    primitive: string;
    target: string;
    semanticInputs: Record<string, unknown>;
    preconditions: string[];
    expectedDelta: string;
    verificationVector: string;
    effectIdentity: string;
    citedObservationIds: string[];
    citedLearningIds: string[];
}
export interface PublicCommandFailedObservation {
    observationId: string;
    outcome: "failed" | "uncertain";
    effectIdentity: string;
    persisted: boolean;
}
export type PublicCommandMutationGateResult<T> = {
    allowed: true;
    callbackInvoked: true;
    previousStrategyFingerprint: string;
    nextStrategyFingerprint: string;
    previousMaterialFingerprint: string;
    nextMaterialFingerprint: string;
    result: T;
} | {
    allowed: false;
    callbackInvoked: false;
    code: "failed_observation_not_persisted" | "failed_observation_effect_mismatch" | "failed_observation_not_cited" | "strategy_unchanged" | "strategy_materially_unchanged";
    previousStrategyFingerprint: string;
    nextStrategyFingerprint: string;
    previousMaterialFingerprint: string;
    nextMaterialFingerprint: string;
};
export declare function publicCommandStrategyFingerprint(strategy: PublicCommandStrategy): string;
export declare function publicCommandMaterialFingerprint(strategy: PublicCommandStrategy): string;
export declare function runPublicCommandMutation<T>(input: {
    failedObservation: PublicCommandFailedObservation;
    previousStrategy: PublicCommandStrategy;
    nextStrategy: PublicCommandStrategy;
}, callback: () => Promise<T>): Promise<PublicCommandMutationGateResult<T>>;
export interface PublicCommandActingResult {
    command: string;
    sourceDigest: string;
    runId: string;
    packetHash: string;
    authorizationStateHash: string;
    workspaceEffectIdentity: string;
    privateReceiptHash: string;
    welcomeState: "not_needed" | "drafted_unsent";
    forbiddenEffects: number;
    hermes_host: "not_run";
}
export interface PublicCommandIndependentProof extends PublicCommandActingResult {
    verifierIdentity: string;
    passed: boolean;
    preApprovalCallbackCount: number;
}
export declare function evaluatePublicCommandClosure(input: {
    actingResult: PublicCommandActingResult;
    independentProof?: PublicCommandIndependentProof;
    regressionState: "pending" | "regression_proven";
}): {
    publicCommandProof: boolean;
    rowComplete: boolean;
    code: "independent_proof_required" | "independent_proof_mismatch" | "regression_required" | "complete";
};
export type PublicCommandLearningState = "candidate" | "recovery_observed" | "regression_proven" | "verified";
export interface PublicCommandLearning {
    learningId: string;
    state: PublicCommandLearningState;
    statement: string;
    applicability: string;
    nonApplicability: string;
}
export type PublicCommandLearningTransitionCode = "independent_proof_required" | "independent_proof_mismatch" | "recovery_observed" | "regression_required" | "regression_proven" | "verified" | "already_verified";
export declare function advancePublicCommandLearning(input: {
    learning: PublicCommandLearning;
    actingResult: PublicCommandActingResult;
    independentProof?: PublicCommandIndependentProof;
    regressionState: "pending" | "regression_proven";
}): {
    learning: PublicCommandLearning;
    changed: boolean;
    code: PublicCommandLearningTransitionCode;
};
export declare function isolatedApprovalCanSatisfyPhase05LiveApproval(input: {
    fixtureId: string;
    environment: string;
    controllerIdentity: string;
}): false;