import { z } from 'zod';
export declare const FailurePatternSchema: z.ZodEnum<{
    "repeated-tool-use": "repeated-tool-use";
    "subagent-block": "subagent-block";
    "closure-anomaly": "closure-anomaly";
    "tool-failure-density": "tool-failure-density";
    "subagent-read-denial": "subagent-read-denial";
}>;
export type FailurePattern = z.infer<typeof FailurePatternSchema>;
export declare const SeveritySchema: z.ZodEnum<{
    low: "low";
    medium: "medium";
    high: "high";
}>;
export type Severity = z.infer<typeof SeveritySchema>;
export declare const CardStatusSchema: z.ZodEnum<{
    open: "open";
    resolved: "resolved";
    deferred: "deferred";
}>;
export type CardStatus = z.infer<typeof CardStatusSchema>;
export declare const FailureEvidenceSchema: z.ZodObject<{
    sessionId: z.ZodString;
    tracePath: z.ZodString;
    eventIndices: z.ZodArray<z.ZodNumber>;
    excerpt: z.ZodString;
    annotation: z.ZodOptional<z.ZodString>;
}, z.core.$strip>;
export type FailureEvidence = z.infer<typeof FailureEvidenceSchema>;
export declare const TriageNoteSchema: z.ZodObject<{
    at: z.ZodString;
    text: z.ZodString;
}, z.core.$strip>;
export type TriageNote = z.infer<typeof TriageNoteSchema>;
export declare const FailureCardSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<1>;
    slug: z.ZodString;
    title: z.ZodString;
    pattern: z.ZodEnum<{
        "repeated-tool-use": "repeated-tool-use";
        "subagent-block": "subagent-block";
        "closure-anomaly": "closure-anomaly";
        "tool-failure-density": "tool-failure-density";
        "subagent-read-denial": "subagent-read-denial";
    }>;
    severity: z.ZodEnum<{
        low: "low";
        medium: "medium";
        high: "high";
    }>;
    status: z.ZodEnum<{
        open: "open";
        resolved: "resolved";
        deferred: "deferred";
    }>;
    firstSeen: z.ZodString;
    lastSeen: z.ZodString;
    occurrenceCount: z.ZodNumber;
    evidence: z.ZodArray<z.ZodObject<{
        sessionId: z.ZodString;
        tracePath: z.ZodString;
        eventIndices: z.ZodArray<z.ZodNumber>;
        excerpt: z.ZodString;
        annotation: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>>;
    detail: z.ZodRecord<z.ZodString, z.ZodUnknown>;
    notes: z.ZodDefault<z.ZodArray<z.ZodObject<{
        at: z.ZodString;
        text: z.ZodString;
    }, z.core.$strip>>>;
}, z.core.$strip>;
export type FailureCard = z.infer<typeof FailureCardSchema>;
export declare const DetectorResultSchema: z.ZodObject<{
    slug: z.ZodString;
    title: z.ZodString;
    pattern: z.ZodEnum<{
        "repeated-tool-use": "repeated-tool-use";
        "subagent-block": "subagent-block";
        "closure-anomaly": "closure-anomaly";
        "tool-failure-density": "tool-failure-density";
        "subagent-read-denial": "subagent-read-denial";
    }>;
    severity: z.ZodEnum<{
        low: "low";
        medium: "medium";
        high: "high";
    }>;
    observedAt: z.ZodString;
    evidence: z.ZodArray<z.ZodObject<{
        sessionId: z.ZodString;
        tracePath: z.ZodString;
        eventIndices: z.ZodArray<z.ZodNumber>;
        excerpt: z.ZodString;
        annotation: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>>;
    detail: z.ZodRecord<z.ZodString, z.ZodUnknown>;
}, z.core.$strip>;
export type DetectorResult = z.infer<typeof DetectorResultSchema>;
export declare const CardIndexEventSchema: z.ZodObject<{
    timestamp: z.ZodString;
    event: z.ZodEnum<{
        created: "created";
        updated: "updated";
        "merged-noop": "merged-noop";
    }>;
    slug: z.ZodString;
    pattern: z.ZodEnum<{
        "repeated-tool-use": "repeated-tool-use";
        "subagent-block": "subagent-block";
        "closure-anomaly": "closure-anomaly";
        "tool-failure-density": "tool-failure-density";
        "subagent-read-denial": "subagent-read-denial";
    }>;
    occurrenceCount: z.ZodNumber;
    evidenceAdded: z.ZodNumber;
}, z.core.$strip>;
export type CardIndexEvent = z.infer<typeof CardIndexEventSchema>;
export declare const RootCauseClassSchema: z.ZodEnum<{
    unknown: "unknown";
    "prompt-defect": "prompt-defect";
    "schema-too-strict": "schema-too-strict";
    "schema-too-loose": "schema-too-loose";
    "tool-output-shape": "tool-output-shape";
    "hook-overreach": "hook-overreach";
    "retry-policy": "retry-policy";
    "timeout-too-low": "timeout-too-low";
    "cost-control": "cost-control";
    "dispatcher-bug": "dispatcher-bug";
    "detector-needs-tuning": "detector-needs-tuning";
}>;
export type RootCauseClass = z.infer<typeof RootCauseClassSchema>;
export declare const RiskTierSchema: z.ZodEnum<{
    high: "high";
    safe: "safe";
    forbidden: "forbidden";
    moderate: "moderate";
}>;
export type RiskTier = z.infer<typeof RiskTierSchema>;
export declare const ConfidenceSchema: z.ZodEnum<{
    low: "low";
    medium: "medium";
    high: "high";
}>;
export type Confidence = z.infer<typeof ConfidenceSchema>;
export declare const ProposalEvidenceRefSchema: z.ZodObject<{
    cardSlug: z.ZodString;
    eventIndices: z.ZodArray<z.ZodNumber>;
    annotation: z.ZodOptional<z.ZodString>;
}, z.core.$strip>;
export type ProposalEvidenceRef = z.infer<typeof ProposalEvidenceRefSchema>;
export declare const LikelyFileSchema: z.ZodObject<{
    path: z.ZodString;
    rationale: z.ZodString;
    riskTier: z.ZodEnum<{
        high: "high";
        safe: "safe";
        forbidden: "forbidden";
        moderate: "moderate";
    }>;
    confidence: z.ZodEnum<{
        low: "low";
        medium: "medium";
        high: "high";
    }>;
}, z.core.$strip>;
export type LikelyFile = z.infer<typeof LikelyFileSchema>;
export declare const ValidationPlanSchema: z.ZodObject<{
    unitTests: z.ZodArray<z.ZodString>;
    evalCases: z.ZodArray<z.ZodString>;
    smokeChecks: z.ZodArray<z.ZodString>;
    manualChecks: z.ZodArray<z.ZodString>;
}, z.core.$strip>;
export type ValidationPlan = z.infer<typeof ValidationPlanSchema>;
export declare const ScopeFreezeSchema: z.ZodObject<{
    forbiddenPaths: z.ZodArray<z.ZodString>;
    requiresExplicitApproval: z.ZodBoolean;
}, z.core.$strip>;
export type ScopeFreeze = z.infer<typeof ScopeFreezeSchema>;
export declare const ProposalStatusSchema: z.ZodEnum<{
    approved: "approved";
    rejected: "rejected";
    draft: "draft";
    superseded: "superseded";
}>;
export type ProposalStatus = z.infer<typeof ProposalStatusSchema>;
export declare const ImprovementProposalSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<1>;
    proposalId: z.ZodString;
    cardSlug: z.ZodString;
    title: z.ZodString;
    hypothesis: z.ZodString;
    rootCauseClass: z.ZodEnum<{
        unknown: "unknown";
        "prompt-defect": "prompt-defect";
        "schema-too-strict": "schema-too-strict";
        "schema-too-loose": "schema-too-loose";
        "tool-output-shape": "tool-output-shape";
        "hook-overreach": "hook-overreach";
        "retry-policy": "retry-policy";
        "timeout-too-low": "timeout-too-low";
        "cost-control": "cost-control";
        "dispatcher-bug": "dispatcher-bug";
        "detector-needs-tuning": "detector-needs-tuning";
    }>;
    evidenceRefs: z.ZodArray<z.ZodObject<{
        cardSlug: z.ZodString;
        eventIndices: z.ZodArray<z.ZodNumber>;
        annotation: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>>;
    fixSketch: z.ZodString;
    likelyFiles: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        rationale: z.ZodString;
        riskTier: z.ZodEnum<{
            high: "high";
            safe: "safe";
            forbidden: "forbidden";
            moderate: "moderate";
        }>;
        confidence: z.ZodEnum<{
            low: "low";
            medium: "medium";
            high: "high";
        }>;
    }, z.core.$strip>>;
    riskLevel: z.ZodEnum<{
        low: "low";
        medium: "medium";
        high: "high";
    }>;
    validationPlan: z.ZodObject<{
        unitTests: z.ZodArray<z.ZodString>;
        evalCases: z.ZodArray<z.ZodString>;
        smokeChecks: z.ZodArray<z.ZodString>;
        manualChecks: z.ZodArray<z.ZodString>;
    }, z.core.$strip>;
    scopeFreeze: z.ZodObject<{
        forbiddenPaths: z.ZodArray<z.ZodString>;
        requiresExplicitApproval: z.ZodBoolean;
    }, z.core.$strip>;
    generatedBy: z.ZodEnum<{
        template: "template";
        llm: "llm";
    }>;
    createdAt: z.ZodString;
    status: z.ZodEnum<{
        approved: "approved";
        rejected: "rejected";
        draft: "draft";
        superseded: "superseded";
    }>;
    notes: z.ZodDefault<z.ZodArray<z.ZodObject<{
        at: z.ZodString;
        text: z.ZodString;
    }, z.core.$strip>>>;
}, z.core.$strip>;
export type ImprovementProposal = z.infer<typeof ImprovementProposalSchema>;
export declare const ProposalIndexEventSchema: z.ZodObject<{
    timestamp: z.ZodString;
    event: z.ZodEnum<{
        created: "created";
        superseded: "superseded";
        triaged: "triaged";
    }>;
    proposalId: z.ZodString;
    cardSlug: z.ZodString;
    generatedBy: z.ZodEnum<{
        template: "template";
        llm: "llm";
    }>;
    riskLevel: z.ZodEnum<{
        low: "low";
        medium: "medium";
        high: "high";
    }>;
}, z.core.$strip>;
export type ProposalIndexEvent = z.infer<typeof ProposalIndexEventSchema>;
export declare const EvalReplaySchema: z.ZodObject<{
    sourceSessionId: z.ZodString;
    sourceTracePath: z.ZodString;
    fixturePath: z.ZodString;
    evidenceRowIndex: z.ZodNumber;
    evidenceEventIndices: z.ZodArray<z.ZodNumber>;
    sliceLineRange: z.ZodObject<{
        startLine: z.ZodNumber;
        endLine: z.ZodNumber;
    }, z.core.$strip>;
    sliceLineCount: z.ZodNumber;
    sliceSha256: z.ZodString;
}, z.core.$strip>;
export type EvalReplay = z.infer<typeof EvalReplaySchema>;
export declare const EvalAssertionSchema: z.ZodObject<{
    kind: z.ZodLiteral<"pattern-absent">;
    patternId: z.ZodEnum<{
        "repeated-tool-use": "repeated-tool-use";
        "subagent-block": "subagent-block";
        "closure-anomaly": "closure-anomaly";
        "tool-failure-density": "tool-failure-density";
        "subagent-read-denial": "subagent-read-denial";
    }>;
    detectorVersion: z.ZodString;
    rationale: z.ZodString;
}, z.core.$strip>;
export type EvalAssertion = z.infer<typeof EvalAssertionSchema>;
export declare const EvalProvenanceSchema: z.ZodObject<{
    detectorAtGeneration: z.ZodString;
    fingerprintAtGeneration: z.ZodNullable<z.ZodString>;
    cardOccurrenceCountAtGeneration: z.ZodNumber;
    cardLastSeenAtGeneration: z.ZodString;
    generatedBy: z.ZodLiteral<"replay-fixture">;
}, z.core.$strip>;
export type EvalProvenance = z.infer<typeof EvalProvenanceSchema>;
export declare const EvalCaseStatusSchema: z.ZodEnum<{
    approved: "approved";
    rejected: "rejected";
    draft: "draft";
    superseded: "superseded";
}>;
export type EvalCaseStatus = z.infer<typeof EvalCaseStatusSchema>;
export declare const EvalCaseSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<1>;
    evalCaseId: z.ZodString;
    cardSlug: z.ZodString;
    proposalId: z.ZodNullable<z.ZodString>;
    title: z.ZodString;
    createdAt: z.ZodString;
    kind: z.ZodLiteral<"replay">;
    replay: z.ZodObject<{
        sourceSessionId: z.ZodString;
        sourceTracePath: z.ZodString;
        fixturePath: z.ZodString;
        evidenceRowIndex: z.ZodNumber;
        evidenceEventIndices: z.ZodArray<z.ZodNumber>;
        sliceLineRange: z.ZodObject<{
            startLine: z.ZodNumber;
            endLine: z.ZodNumber;
        }, z.core.$strip>;
        sliceLineCount: z.ZodNumber;
        sliceSha256: z.ZodString;
    }, z.core.$strip>;
    assertion: z.ZodObject<{
        kind: z.ZodLiteral<"pattern-absent">;
        patternId: z.ZodEnum<{
            "repeated-tool-use": "repeated-tool-use";
            "subagent-block": "subagent-block";
            "closure-anomaly": "closure-anomaly";
            "tool-failure-density": "tool-failure-density";
            "subagent-read-denial": "subagent-read-denial";
        }>;
        detectorVersion: z.ZodString;
        rationale: z.ZodString;
    }, z.core.$strip>;
    provenance: z.ZodObject<{
        detectorAtGeneration: z.ZodString;
        fingerprintAtGeneration: z.ZodNullable<z.ZodString>;
        cardOccurrenceCountAtGeneration: z.ZodNumber;
        cardLastSeenAtGeneration: z.ZodString;
        generatedBy: z.ZodLiteral<"replay-fixture">;
    }, z.core.$strip>;
    status: z.ZodEnum<{
        approved: "approved";
        rejected: "rejected";
        draft: "draft";
        superseded: "superseded";
    }>;
    notes: z.ZodDefault<z.ZodArray<z.ZodObject<{
        at: z.ZodString;
        text: z.ZodString;
    }, z.core.$strip>>>;
}, z.core.$strip>;
export type EvalCase = z.infer<typeof EvalCaseSchema>;
export declare const EvalCaseIndexEventSchema: z.ZodObject<{
    timestamp: z.ZodString;
    event: z.ZodEnum<{
        created: "created";
        superseded: "superseded";
        triaged: "triaged";
    }>;
    evalCaseId: z.ZodString;
    cardSlug: z.ZodString;
    proposalId: z.ZodNullable<z.ZodString>;
    kind: z.ZodLiteral<"replay">;
}, z.core.$strip>;
export type EvalCaseIndexEvent = z.infer<typeof EvalCaseIndexEventSchema>;
export declare const EvalCheckStatusSchema: z.ZodEnum<{
    skipped: "skipped";
    pass: "pass";
    fail: "fail";
}>;
export type EvalCheckStatus = z.infer<typeof EvalCheckStatusSchema>;
export declare const EvalCheckSchema: z.ZodObject<{
    name: z.ZodString;
    description: z.ZodString;
    status: z.ZodEnum<{
        skipped: "skipped";
        pass: "pass";
        fail: "fail";
    }>;
    expected: z.ZodString;
    actual: z.ZodString;
}, z.core.$strip>;
export type EvalCheck = z.infer<typeof EvalCheckSchema>;
export declare const EvalRunEvidenceKindSchema: z.ZodEnum<{
    "config-value": "config-value";
    "observed-behavior": "observed-behavior";
    "source-symbol": "source-symbol";
    fixture: "fixture";
}>;
export type EvalRunEvidenceKind = z.infer<typeof EvalRunEvidenceKindSchema>;
export declare const EvalRunEvidenceRefSchema: z.ZodObject<{
    kind: z.ZodEnum<{
        "config-value": "config-value";
        "observed-behavior": "observed-behavior";
        "source-symbol": "source-symbol";
        fixture: "fixture";
    }>;
    ref: z.ZodString;
    detail: z.ZodString;
}, z.core.$strip>;
export type EvalRunEvidenceRef = z.infer<typeof EvalRunEvidenceRefSchema>;
export declare const EvalRunStatusSchema: z.ZodEnum<{
    error: "error";
    pass: "pass";
    fail: "fail";
    unsupported: "unsupported";
}>;
export type EvalRunStatus = z.infer<typeof EvalRunStatusSchema>;
export declare const EvalRunSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<1>;
    evalRunId: z.ZodString;
    evalCaseId: z.ZodString;
    cardSlug: z.ZodString;
    patternId: z.ZodEnum<{
        "repeated-tool-use": "repeated-tool-use";
        "subagent-block": "subagent-block";
        "closure-anomaly": "closure-anomaly";
        "tool-failure-density": "tool-failure-density";
        "subagent-read-denial": "subagent-read-denial";
    }>;
    contract: z.ZodNullable<z.ZodString>;
    status: z.ZodEnum<{
        error: "error";
        pass: "pass";
        fail: "fail";
        unsupported: "unsupported";
    }>;
    createdAt: z.ZodString;
    durationMs: z.ZodNumber;
    checks: z.ZodArray<z.ZodObject<{
        name: z.ZodString;
        description: z.ZodString;
        status: z.ZodEnum<{
            skipped: "skipped";
            pass: "pass";
            fail: "fail";
        }>;
        expected: z.ZodString;
        actual: z.ZodString;
    }, z.core.$strip>>;
    evidence: z.ZodArray<z.ZodObject<{
        kind: z.ZodEnum<{
            "config-value": "config-value";
            "observed-behavior": "observed-behavior";
            "source-symbol": "source-symbol";
            fixture: "fixture";
        }>;
        ref: z.ZodString;
        detail: z.ZodString;
    }, z.core.$strip>>;
    runner: z.ZodObject<{
        version: z.ZodString;
        mode: z.ZodLiteral<"deterministic">;
    }, z.core.$strip>;
    notes: z.ZodDefault<z.ZodArray<z.ZodObject<{
        at: z.ZodString;
        text: z.ZodString;
    }, z.core.$strip>>>;
}, z.core.$strip>;
export type EvalRun = z.infer<typeof EvalRunSchema>;
export declare const EvalRunIndexEventSchema: z.ZodObject<{
    timestamp: z.ZodString;
    event: z.ZodLiteral<"created">;
    evalRunId: z.ZodString;
    evalCaseId: z.ZodString;
    cardSlug: z.ZodString;
    patternId: z.ZodEnum<{
        "repeated-tool-use": "repeated-tool-use";
        "subagent-block": "subagent-block";
        "closure-anomaly": "closure-anomaly";
        "tool-failure-density": "tool-failure-density";
        "subagent-read-denial": "subagent-read-denial";
    }>;
    contract: z.ZodNullable<z.ZodString>;
    status: z.ZodEnum<{
        error: "error";
        pass: "pass";
        fail: "fail";
        unsupported: "unsupported";
    }>;
}, z.core.$strip>;
export type EvalRunIndexEvent = z.infer<typeof EvalRunIndexEventSchema>;
export declare const DEFAULT_FORBIDDEN_PATH_GLOBS: readonly string[];