import { e as GraphDef } from '../types-BynPp5kU.cjs';
export { C as ContributionDiagnostic, a as ContributionDiagnosticState, b as ContributionRepairEntry, c as ContributionRepairResult } from '../types-BynPp5kU.cjs';
import { c as HistoryStore } from '../store-3nfPQK5j.cjs';
export { B as BatchReadBuilder, C as CompiledOneStatementRead } from '../store-3nfPQK5j.cjs';
import 'zod';
import '../searchable-C7Xt6g45.cjs';
import '../resolve-CoYqHqno.cjs';

type NodeKind<G extends GraphDef> = Extract<keyof G["nodes"], string>;
type EdgeKind<G extends GraphDef> = Extract<keyof G["edges"], string>;
type ProvenanceNodeRef<G extends GraphDef = GraphDef, K extends NodeKind<G> = NodeKind<G>> = Readonly<{
    kind: K;
    id: string;
}>;
type ProvenanceJustificationRef<G extends GraphDef = GraphDef, K extends NodeKind<G> = NodeKind<G>> = ProvenanceNodeRef<G, K>;
type ProvenanceFactRef<G extends GraphDef = GraphDef, K extends NodeKind<G> = NodeKind<G>> = ProvenanceNodeRef<G, K>;
type ProvenanceSourceConfig<G extends GraphDef = GraphDef> = Readonly<{
    kind: NodeKind<G>;
    retractedField?: string;
}> | Readonly<{
    kinds: readonly NodeKind<G>[];
    retractedField?: string;
}>;
type ProvenanceRetractionConfig<G extends GraphDef = GraphDef> = Readonly<{
    source: ProvenanceSourceConfig<G>;
    justification: Readonly<{
        kind: NodeKind<G>;
    }>;
    fact: Readonly<{
        kinds: readonly NodeKind<G>[];
    }>;
    premiseOf: Readonly<{
        kind: EdgeKind<G>;
    }>;
    derives: Readonly<{
        kind: EdgeKind<G>;
    }>;
}>;
/**
 * Extracts the node kind(s) referenced by a provenance role config, whether
 * declared as a single `{ kind }` or a `{ kinds }` array. Falls back to the
 * full `NodeKind<G>` union when neither shape is present (e.g. a role config
 * that also carries unrelated fields, matched structurally).
 */
type KindsFromRef<G extends GraphDef, Ref> = Ref extends Readonly<{
    kind: infer K;
}> ? Extract<K, NodeKind<G>> : Ref extends Readonly<{
    kinds: readonly (infer K)[];
}> ? Extract<K, NodeKind<G>> : NodeKind<G>;
type SourceKindsFromConfig<G extends GraphDef, C extends ProvenanceRetractionConfig<G>> = KindsFromRef<G, C["source"]>;
type FactKindsFromConfig<G extends GraphDef, C extends ProvenanceRetractionConfig<G>> = KindsFromRef<G, C["fact"]>;
type JustificationKindFromConfig<G extends GraphDef, C extends ProvenanceRetractionConfig<G>> = KindsFromRef<G, C["justification"]>;
type SurvivedVia<G extends GraphDef = GraphDef, FactKind extends NodeKind<G> = NodeKind<G>, JustificationKind extends NodeKind<G> = NodeKind<G>> = Readonly<{
    fact: ProvenanceFactRef<G, FactKind>;
    via: readonly ProvenanceJustificationRef<G, JustificationKind>[];
}>;
type RetractionReport<G extends GraphDef = GraphDef, FactKind extends NodeKind<G> = NodeKind<G>, JustificationKind extends NodeKind<G> = NodeKind<G>> = Readonly<{
    died: readonly ProvenanceFactRef<G, FactKind>[];
    survivedVia: readonly SurvivedVia<G, FactKind, JustificationKind>[];
    unaffected: readonly ProvenanceFactRef<G, FactKind>[];
}>;
type RetractionCapability<G extends GraphDef = GraphDef, SourceKind extends NodeKind<G> = NodeKind<G>, FactKind extends NodeKind<G> = NodeKind<G>, JustificationKind extends NodeKind<G> = NodeKind<G>> = Readonly<{
    retract: (source: ProvenanceNodeRef<G, SourceKind>) => Promise<RetractionReport<G, FactKind, JustificationKind>>;
    retractMany: (sources: readonly ProvenanceNodeRef<G, SourceKind>[]) => Promise<RetractionReport<G, FactKind, JustificationKind>>;
    unRetract: (source: ProvenanceNodeRef<G, SourceKind>) => Promise<RetractionReport<G, FactKind, JustificationKind>>;
    unRetractMany: (sources: readonly ProvenanceNodeRef<G, SourceKind>[]) => Promise<RetractionReport<G, FactKind, JustificationKind>>;
    holding: () => Promise<readonly ProvenanceFactRef<G, FactKind>[]>;
}>;
declare function createRetractionCapability<G extends GraphDef, const C extends ProvenanceRetractionConfig<G>>(store: HistoryStore<G>, config: C): RetractionCapability<G, SourceKindsFromConfig<G, C>, FactKindsFromConfig<G, C>, JustificationKindFromConfig<G, C>>;

export { type ProvenanceFactRef, type ProvenanceJustificationRef, type ProvenanceNodeRef, type ProvenanceRetractionConfig, type RetractionCapability, type RetractionReport, type SurvivedVia, createRetractionCapability };