import { z } from "zod";
import { type PackageGraphSource, type PackageGraphSourceDigest } from "../schema.js";
declare const DiscoveredSurfaceFactSchema: z.ZodObject<{
    id: z.ZodString;
    kind: z.ZodEnum<{
        mcp: "mcp";
        skill: "skill";
    }>;
    rootKind: z.ZodEnum<{
        machine: "machine";
        promoted: "promoted";
        quarantine: "quarantine";
        repo: "repo";
    }>;
    source: z.ZodOptional<z.ZodObject<{
        provider: z.ZodString;
        repository: z.ZodString;
    }, z.core.$strict>>;
    sourceDigest: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
        algorithm: z.ZodLiteral<"git-sha1">;
        value: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        algorithm: z.ZodLiteral<"sha256">;
        value: z.ZodString;
    }, z.core.$strict>], "algorithm">>;
}, z.core.$strict>;
export type DiscoveredSurfaceFact = z.infer<typeof DiscoveredSurfaceFactSchema>;
export interface ClassifiedImmutableSurface {
    id: string;
    kind: DiscoveredSurfaceFact["kind"];
    rootKind: DiscoveredSurfaceFact["rootKind"];
    source: PackageGraphSource;
    sourceDigest: PackageGraphSourceDigest;
    authorityIds: string[];
}
export interface UndeclaredImmutableSurface {
    id: string;
    kind: DiscoveredSurfaceFact["kind"];
    rootKind: DiscoveredSurfaceFact["rootKind"];
    source: PackageGraphSource;
    sourceDigest: PackageGraphSourceDigest;
}
export type UnsupportedSurfaceReason = "missing-source" | "missing-source-digest" | "missing-source-and-digest";
export interface UnsupportedDiscoveredSurface {
    id: string;
    kind: DiscoveredSurfaceFact["kind"];
    rootKind: DiscoveredSurfaceFact["rootKind"];
    reason: UnsupportedSurfaceReason;
}
export interface PackageGraphResidueClassification {
    registered: ClassifiedImmutableSurface[];
    catalogOnly: ClassifiedImmutableSurface[];
    undeclared: UndeclaredImmutableSurface[];
    divergent: ClassifiedImmutableSurface[];
    unsupported: UnsupportedDiscoveredSurface[];
}
/**
 * Classify physical observations against graph membership without creating claims.
 * Only an immutable match from a lock or receipt authority counts as registered.
 */
export declare function classifyPackageGraphResidue(indexInput: unknown, discoveredInput: unknown): PackageGraphResidueClassification;
export {};