import { z } from 'zod';
import { a as DocBridgeIndexV1 } from './knowledge-BSFT4d03.js';

declare const FindingV1Schema: z.ZodObject<{
    type: z.ZodLiteral<"finding">;
    schemaVersion: z.ZodLiteral<1>;
    id: z.ZodString;
    category: z.ZodString;
    assertion: z.ZodObject<{
        document: z.ZodString;
        key: z.ZodString;
    }, z.core.$strict>;
    evidenceHash: z.ZodString;
    status: z.ZodLazy<z.ZodEnum<{
        "not-analyzed": "not-analyzed";
        confirmed: "confirmed";
        undocumented: "undocumented";
        "stale-or-unverified": "stale-or-unverified";
        conflict: "conflict";
        unresolved: "unresolved";
    }>>;
    layer: z.ZodEnum<{
        L0: "L0";
        L1: "L1";
        L2: "L2";
    }>;
    confidence: z.ZodNumber;
    severity: z.ZodLazy<z.ZodEnum<{
        error: "error";
        off: "off";
        info: "info";
        warn: "warn";
    }>>;
    entities: z.ZodArray<z.ZodString>;
    evidence: z.ZodArray<z.ZodLazy<z.ZodObject<{
        source: z.ZodEnum<{
            agent: "agent";
            documentation: "documentation";
            code: "code";
            configuration: "configuration";
            derived: "derived";
        }>;
        path: z.ZodString;
        lineStart: z.ZodOptional<z.ZodNumber>;
        lineEnd: z.ZodOptional<z.ZodNumber>;
        contentHash: z.ZodOptional<z.ZodString>;
        context: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>>;
    routing: z.ZodEnum<{
        proposed: "proposed";
        excluded: "excluded";
        "routed-to-L2": "routed-to-L2";
        "pending-version": "pending-version";
    }>;
    documentationUpdate: z.ZodOptional<z.ZodLiteral<"updated-in-this-change">>;
    priority: z.ZodOptional<z.ZodLiteral<"low">>;
    changedDescendantPaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
    generator: z.ZodOptional<z.ZodString>;
    coverage: z.ZodArray<z.ZodLazy<z.ZodObject<{
        analyzer: z.ZodString;
        analyzerVersion: z.ZodOptional<z.ZodString>;
        scope: z.ZodString;
        status: z.ZodEnum<{
            complete: "complete";
            partial: "partial";
            "not-analyzed": "not-analyzed";
            "not-applicable": "not-applicable";
        }>;
        reason: z.ZodOptional<z.ZodString>;
        evidence: z.ZodOptional<z.ZodArray<z.ZodObject<{
            source: z.ZodEnum<{
                agent: "agent";
                documentation: "documentation";
                code: "code";
                configuration: "configuration";
                derived: "derived";
            }>;
            path: z.ZodString;
            lineStart: z.ZodOptional<z.ZodNumber>;
            lineEnd: z.ZodOptional<z.ZodNumber>;
            contentHash: z.ZodOptional<z.ZodString>;
            context: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>>>;
    }, z.core.$strict>>>;
    provenance: z.ZodObject<{
        repository: z.ZodString;
        revision: z.ZodString;
        configurationHash: z.ZodString;
    }, z.core.$strict>;
}, z.core.$strict>;
type FindingV1 = z.infer<typeof FindingV1Schema>;
declare const DecisionV1Schema: z.ZodObject<{
    type: z.ZodLiteral<"decision">;
    schemaVersion: z.ZodLiteral<1>;
    target: z.ZodObject<{
        kind: z.ZodEnum<{
            remediation: "remediation";
            finding: "finding";
        }>;
        id: z.ZodString;
    }, z.core.$strict>;
    by: z.ZodString;
    reason: z.ZodEnum<{
        "not-a-divergence": "not-a-divergence";
        "wrong-fix": "wrong-fix";
        "code-should-change": "code-should-change";
        "out-of-scope": "out-of-scope";
    }>;
    evidenceHash: z.ZodString;
}, z.core.$strict>;
type DecisionV1 = z.infer<typeof DecisionV1Schema>;
declare const RegionEditSchema: z.ZodObject<{
    path: z.ZodString;
    range: z.ZodObject<{
        start: z.ZodNumber;
        end: z.ZodNumber;
    }, z.core.$strict>;
    expectedRegionHash: z.ZodString;
    original: z.ZodString;
    replacement: z.ZodString;
    anchors: z.ZodOptional<z.ZodObject<{
        before: z.ZodString;
        after: z.ZodString;
        search: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strict>;
    }, z.core.$strict>>;
    lineStart: z.ZodNumber;
    lineEnd: z.ZodNumber;
}, z.core.$strict>;
declare const RemediationV1Schema: z.ZodObject<{
    type: z.ZodLiteral<"remediation">;
    schemaVersion: z.ZodLiteral<1>;
    id: z.ZodString;
    findingId: z.ZodString;
    evidenceHash: z.ZodString;
    regionHashAlgo: z.ZodLiteral<"sha256-bytes-v1">;
    coordinates: z.ZodLiteral<"utf8-byte-half-open-v1">;
    baseRevision: z.ZodString;
    configurationHash: z.ZodString;
    edits: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        range: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strict>;
        expectedRegionHash: z.ZodString;
        original: z.ZodString;
        replacement: z.ZodString;
        anchors: z.ZodOptional<z.ZodObject<{
            before: z.ZodString;
            after: z.ZodString;
            search: z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strict>;
        }, z.core.$strict>>;
        lineStart: z.ZodNumber;
        lineEnd: z.ZodNumber;
    }, z.core.$strict>>;
    diff: z.ZodString;
    status: z.ZodEnum<{
        proposed: "proposed";
        stale: "stale";
        superseded: "superseded";
        rejected: "rejected";
        "in-review": "in-review";
        merged: "merged";
    }>;
    binding: z.ZodObject<{
        revision: z.ZodString;
        evidenceHash: z.ZodString;
        configurationHash: z.ZodString;
        artifactHash: z.ZodString;
    }, z.core.$strict>;
    revalidation: z.ZodOptional<z.ZodObject<{
        fromRevision: z.ZodString;
        toRevision: z.ZodString;
        evidenceHash: z.ZodString;
        configurationHash: z.ZodString;
    }, z.core.$strict>>;
    approval: z.ZodOptional<z.ZodObject<{
        by: z.ZodString;
        bindingHash: z.ZodString;
    }, z.core.$strict>>;
    presentation: z.ZodOptional<z.ZodObject<{
        revision: z.ZodString;
        artifactHash: z.ZodString;
    }, z.core.$strict>>;
}, z.core.$strict>;
type RemediationV1 = z.infer<typeof RemediationV1Schema>;
type RegionEdit = z.infer<typeof RegionEditSchema>;

declare const KNOWLEDGE_ENTITY_SCHEMA_VERSION: 1;
declare const KnowledgeEntityEvidenceV1Schema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    kind: z.ZodLiteral<"document-region">;
    path: z.ZodString;
    lineStart: z.ZodNumber;
    lineEnd: z.ZodNumber;
    regionHash: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"commit">;
    sha: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"fact">;
    factId: z.ZodString;
}, z.core.$strict>], "kind">;
declare const KnowledgeEntityLinkV1Schema: z.ZodObject<{
    kind: z.ZodEnum<{
        "affected-path": "affected-path";
        "affected-fact": "affected-fact";
        "defines-symbol": "defines-symbol";
        supersedes: "supersedes";
        "superseded-by": "superseded-by";
    }>;
    target: z.ZodString;
    symbol: z.ZodOptional<z.ZodString>;
}, z.core.$strict>;
declare const KnowledgeEntityV1Schema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<1>;
    id: z.ZodString;
    kind: z.ZodEnum<{
        change: "change";
        decision: "decision";
        concept: "concept";
    }>;
    name: z.ZodString;
    aliases: z.ZodArray<z.ZodString>;
    evidence: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"document-region">;
        path: z.ZodString;
        lineStart: z.ZodNumber;
        lineEnd: z.ZodNumber;
        regionHash: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"commit">;
        sha: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"fact">;
        factId: z.ZodString;
    }, z.core.$strict>], "kind">>;
    links: z.ZodArray<z.ZodObject<{
        kind: z.ZodEnum<{
            "affected-path": "affected-path";
            "affected-fact": "affected-fact";
            "defines-symbol": "defines-symbol";
            supersedes: "supersedes";
            "superseded-by": "superseded-by";
        }>;
        target: z.ZodString;
        symbol: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    status: z.ZodOptional<z.ZodString>;
    date: z.ZodOptional<z.ZodString>;
    conventional: z.ZodOptional<z.ZodObject<{
        type: z.ZodString;
        scope: z.ZodOptional<z.ZodString>;
        breaking: z.ZodBoolean;
    }, z.core.$strict>>;
}, z.core.$strict>;
declare const MemoryEntityRelationV1Schema: z.ZodObject<{
    kind: z.ZodLiteral<"memory-supports">;
    candidateId: z.ZodString;
    target: z.ZodString;
    evidence: z.ZodObject<{
        kind: z.ZodEnum<{
            path: "path";
            id: "id";
            alias: "alias";
        }>;
        value: z.ZodString;
        rawPath: z.ZodOptional<z.ZodString>;
        factHash: z.ZodString;
    }, z.core.$strict>;
}, z.core.$strict>;
type MemoryEntityRelationV1 = z.infer<typeof MemoryEntityRelationV1Schema>;
declare const KnowledgeEntitiesV1Schema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<1>;
    entities: z.ZodArray<z.ZodObject<{
        schemaVersion: z.ZodLiteral<1>;
        id: z.ZodString;
        kind: z.ZodEnum<{
            change: "change";
            decision: "decision";
            concept: "concept";
        }>;
        name: z.ZodString;
        aliases: z.ZodArray<z.ZodString>;
        evidence: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"document-region">;
            path: z.ZodString;
            lineStart: z.ZodNumber;
            lineEnd: z.ZodNumber;
            regionHash: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"commit">;
            sha: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"fact">;
            factId: z.ZodString;
        }, z.core.$strict>], "kind">>;
        links: z.ZodArray<z.ZodObject<{
            kind: z.ZodEnum<{
                "affected-path": "affected-path";
                "affected-fact": "affected-fact";
                "defines-symbol": "defines-symbol";
                supersedes: "supersedes";
                "superseded-by": "superseded-by";
            }>;
            target: z.ZodString;
            symbol: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>>;
        status: z.ZodOptional<z.ZodString>;
        date: z.ZodOptional<z.ZodString>;
        conventional: z.ZodOptional<z.ZodObject<{
            type: z.ZodString;
            scope: z.ZodOptional<z.ZodString>;
            breaking: z.ZodBoolean;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
    memoryRelations: z.ZodOptional<z.ZodArray<z.ZodObject<{
        kind: z.ZodLiteral<"memory-supports">;
        candidateId: z.ZodString;
        target: z.ZodString;
        evidence: z.ZodObject<{
            kind: z.ZodEnum<{
                path: "path";
                id: "id";
                alias: "alias";
            }>;
            value: z.ZodString;
            rawPath: z.ZodOptional<z.ZodString>;
            factHash: z.ZodString;
        }, z.core.$strict>;
    }, z.core.$strict>>>;
    coverage: z.ZodArray<z.ZodObject<{
        analyzer: z.ZodString;
        analyzerVersion: z.ZodOptional<z.ZodString>;
        scope: z.ZodString;
        status: z.ZodEnum<{
            complete: "complete";
            partial: "partial";
            "not-analyzed": "not-analyzed";
            "not-applicable": "not-applicable";
        }>;
        reason: z.ZodOptional<z.ZodString>;
        evidence: z.ZodOptional<z.ZodArray<z.ZodObject<{
            source: z.ZodEnum<{
                agent: "agent";
                documentation: "documentation";
                code: "code";
                configuration: "configuration";
                derived: "derived";
            }>;
            path: z.ZodString;
            lineStart: z.ZodOptional<z.ZodNumber>;
            lineEnd: z.ZodOptional<z.ZodNumber>;
            contentHash: z.ZodOptional<z.ZodString>;
            context: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>>>;
    }, z.core.$strict>>;
}, z.core.$strict>;
type KnowledgeEntityV1 = z.infer<typeof KnowledgeEntityV1Schema>;
type KnowledgeEntityEvidenceV1 = z.infer<typeof KnowledgeEntityEvidenceV1Schema>;
type KnowledgeEntityLinkV1 = z.infer<typeof KnowledgeEntityLinkV1Schema>;
type KnowledgeEntitiesV1 = z.infer<typeof KnowledgeEntitiesV1Schema>;

declare const MEMORY_CANDIDATE_SCHEMA_VERSION: 1;
declare const MemoryCandidateV1Schema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<1>;
    id: z.ZodString;
    source: z.ZodEnum<{
        manual: "manual";
        cursor: "cursor";
        claude: "claude";
        codex: "codex";
        copilot: "copilot";
        "agent-memory": "agent-memory";
    }>;
    rawPath: z.ZodOptional<z.ZodString>;
    fact: z.ZodString;
    why: z.ZodOptional<z.ZodString>;
    howToApply: z.ZodOptional<z.ZodString>;
    suggestedType: z.ZodEnum<{
        unknown: "unknown";
        project: "project";
        user: "user";
        feedback: "feedback";
        reference: "reference";
    }>;
    confidence: z.ZodNumber;
    references: z.ZodArray<z.ZodString>;
}, z.core.$strict>;
type MemoryCandidateV1 = z.infer<typeof MemoryCandidateV1Schema>;

type MemoryRoute = 'agent' | 'human' | 'playbook' | 'discard';
type MemoryClassification = {
    readonly candidate: MemoryCandidateV1;
    readonly route: MemoryRoute;
    readonly reason: string;
    readonly target?: string;
    readonly entityRelations?: readonly MemoryEntityRelationV1[];
    readonly duplicateOf?: string;
};
type SafetyFinding = {
    readonly candidateId: string;
    readonly kind: 'secret' | 'private-email';
    readonly message: string;
};
type MemoryPromotionDraft = {
    readonly ok: boolean;
    readonly title: string;
    readonly body: string;
    readonly findings: SafetyFinding[];
    readonly classifications: MemoryClassification[];
};
/** Explicit, exact references only; a shared alias/path never chooses an arbitrary entity. */
declare const linkMemoryToEntities: (candidates: readonly MemoryCandidateV1[], section: KnowledgeEntitiesV1) => MemoryEntityRelationV1[];
declare const classifyMemoryCandidates: (candidates: readonly MemoryCandidateV1[], index: DocBridgeIndexV1) => MemoryClassification[];
declare const scanMemorySafety: (classifications: readonly MemoryClassification[]) => SafetyFinding[];
declare const draftMemoryPromotion: (classifications: readonly MemoryClassification[]) => MemoryPromotionDraft;

type GithubPrOptions = {
    readonly dryRun?: boolean;
    readonly force?: boolean;
    readonly branch?: string;
    readonly base?: string;
};
type GithubPrResult = {
    readonly ok: boolean;
    readonly dryRun: boolean;
    readonly draftPath: string;
    readonly branch: string;
    readonly prUrl?: string;
    readonly previewUrl?: string;
    readonly commands: readonly string[];
    readonly message: string;
};
declare const defaultPromotionDraftPath: (root: string) => string;
declare const writePromotionDraft: (root: string, draft: MemoryPromotionDraft, path?: string) => string;
declare const promoteMemoryToGithubPr: (root: string, draft: MemoryPromotionDraft, options?: GithubPrOptions) => GithubPrResult;

export { scanMemorySafety as A, writePromotionDraft as B, type DecisionV1 as D, type FindingV1 as F, type GithubPrResult as G, type KnowledgeEntitiesV1 as K, type MemoryCandidateV1 as M, type RemediationV1 as R, type SafetyFinding as S, DecisionV1Schema as a, FindingV1Schema as b, type GithubPrOptions as c, KNOWLEDGE_ENTITY_SCHEMA_VERSION as d, KnowledgeEntitiesV1Schema as e, type KnowledgeEntityEvidenceV1 as f, KnowledgeEntityEvidenceV1Schema as g, type KnowledgeEntityLinkV1 as h, KnowledgeEntityLinkV1Schema as i, type KnowledgeEntityV1 as j, KnowledgeEntityV1Schema as k, MEMORY_CANDIDATE_SCHEMA_VERSION as l, MemoryCandidateV1Schema as m, type MemoryClassification as n, type MemoryEntityRelationV1 as o, MemoryEntityRelationV1Schema as p, type MemoryPromotionDraft as q, type MemoryRoute as r, type RegionEdit as s, RegionEditSchema as t, RemediationV1Schema as u, classifyMemoryCandidates as v, defaultPromotionDraftPath as w, draftMemoryPromotion as x, linkMemoryToEntities as y, promoteMemoryToGithubPr as z };