import type { OccEntityDiffObligations, OccEntityDiffResult } from './api-types.js';
import type { EntityDiagnostic } from './types.js';
import type { EntityImpactContext } from './impact.js';
export type EntityObligationsContext = EntityImpactContext;
export interface EntityObligationsComputation {
    obligations: OccEntityDiffObligations;
    diagnostics: EntityDiagnostic[];
}
/**
 * Compose semantic diff, reverse impact traversal, and static seams into
 * verification obligations. No history prior or risk scalar participates.
 */
export declare function computeEntityObligations(diff: OccEntityDiffResult, context: EntityObligationsContext): EntityObligationsComputation;
