@fraction12/deepclean 0.1.0-alpha.0 → 0.1.0-alpha.2

package/dist/types.d.ts

@@ -1,6 +1,6 @@
 import { z } from "zod";
 export declare const schemaVersion: "0.1.0";
-export declare const candidateStatuses: readonly ["open", "investigating", "handed-off", "ignored", "false-positive", "stale"];
+export declare const candidateStatuses: readonly ["open", "investigating", "handed-off", "ignored", "false-positive", "stale", "fixed", "superseded"];
 export declare const candidateCategories: readonly ["architecture", "complexity", "duplication", "testability", "dead-weight", "ai-slop", "domain-drift", "diagnostic"];
 export declare const priorities: readonly ["P0", "P1", "P2", "P3"];
 export declare const confidenceLevels: readonly ["low", "medium", "high"];
@@ -8,6 +8,16 @@ export declare const effortLevels: readonly ["small", "medium", "large"];
 export declare const impactLevels: readonly ["local", "feature", "cross-cutting"];
 export declare const riskLevels: readonly ["safe", "moderate", "design-needed"];
 export declare const clusterActionability: readonly ["bounded", "too-broad"];
+export declare const identityConfidenceLevels: readonly ["low", "medium", "high"];
+export declare const lifecycleEventKinds: readonly ["created", "observed", "triaged", "suppressed", "revalidated", "changed", "fixed", "stale", "superseded", "fix-attempted", "verification-passed", "verification-failed"];
+export declare const lifecycleStates: readonly ["open", "suppressed", "stale", "fixed", "superseded", "inconclusive"];
+export declare const revalidationOutcomes: readonly ["unchanged", "changed", "fixed", "stale", "superseded", "inconclusive"];
+export declare const baselineStatuses: readonly ["new", "existing", "worsened", "improved", "fixed", "unknown"];
+export declare const evidenceFreshnessStates: readonly ["fresh", "baseline", "reused", "stale"];
+export declare const fixAttemptStatuses: readonly ["planned", "previewed", "applied", "passed", "failed", "unverified"];
+export declare const synthesisValidationStatuses: readonly ["accepted", "rejected"];
+export declare const ciRunStatuses: readonly ["passed", "failed", "policy-failed", "error"];
+export declare const featureKinds: readonly ["package-script", "route", "component", "module", "python-module", "test-suite", "config"];
 export declare const diagnosticSchema: z.ZodObject<{
     level: z.ZodEnum<{
         error: "error";
@@ -28,7 +38,19 @@ export declare const configSchema: z.ZodObject<{
         provider: z.ZodLiteral<"codex">;
         command: z.ZodString;
         model: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
         timeoutMs: z.ZodNumber;
+        retries: z.ZodNumber;
+        rpm: z.ZodNumber;
+        concurrency: z.ZodNumber;
+        tokenBudget: z.ZodNumber;
+        excerptBudget: z.ZodNumber;
+        offline: z.ZodBoolean;
+        privacyMode: z.ZodEnum<{
+            metadata: "metadata";
+            "local-only": "local-only";
+            "source-ok": "source-ok";
+        }>;
         maxCandidates: z.ZodNumber;
     }, z.core.$strip>;
     candidateCaps: z.ZodObject<{
@@ -64,6 +86,10 @@ export declare const configSchema: z.ZodObject<{
         allowSourceInModel: z.ZodBoolean;
         allowWebResearch: z.ZodBoolean;
     }, z.core.$strip>;
+    fixExecution: z.ZodObject<{
+        enabled: z.ZodBoolean;
+        verificationCommands: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
 }, z.core.$strip>;
 export type DeepcleanConfig = z.infer<typeof configSchema>;
 export declare const fileReferenceSchema: z.ZodObject<{
@@ -72,6 +98,23 @@ export declare const fileReferenceSchema: z.ZodObject<{
     endLine: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
 export type FileReference = z.infer<typeof fileReferenceSchema>;
+export declare const findingSignatureSchema: z.ZodObject<{
+    version: z.ZodLiteral<"1">;
+    value: z.ZodString;
+    components: z.ZodObject<{
+        category: z.ZodString;
+        normalizedTitle: z.ZodString;
+        evidenceKinds: z.ZodArray<z.ZodString>;
+        primaryAnchors: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            startLine: z.ZodOptional<z.ZodNumber>;
+            endLine: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        graphNeighborhood: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        analyzerRuleIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export type FindingSignature = z.infer<typeof findingSignatureSchema>;
 export declare const evidenceRecordSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<"0.1.0">;
     recordType: z.ZodLiteral<"evidence">;
@@ -95,11 +138,97 @@ export declare const evidenceRecordSchema: z.ZodObject<{
     createdAt: z.ZodString;
 }, z.core.$strip>;
 export type EvidenceRecord = z.infer<typeof evidenceRecordSchema>;
+export declare const featureRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"feature">;
+    featureId: z.ZodString;
+    runId: z.ZodString;
+    title: z.ZodString;
+    summary: z.ZodString;
+    kind: z.ZodEnum<{
+        config: "config";
+        "package-script": "package-script";
+        route: "route";
+        component: "component";
+        module: "module";
+        "python-module": "python-module";
+        "test-suite": "test-suite";
+    }>;
+    source: z.ZodString;
+    confidence: z.ZodEnum<{
+        medium: "medium";
+        low: "low";
+        high: "high";
+    }>;
+    entrypoints: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    ownedFiles: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    contextFiles: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    testFiles: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    verification: z.ZodArray<z.ZodString>;
+    tags: z.ZodArray<z.ZodString>;
+    createdAt: z.ZodString;
+    updatedAt: z.ZodString;
+}, z.core.$strip>;
+export type FeatureRecord = z.infer<typeof featureRecordSchema>;
 export declare const candidateRecordSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<"0.1.0">;
     recordType: z.ZodLiteral<"candidate">;
     id: z.ZodString;
     runId: z.ZodString;
+    findingId: z.ZodOptional<z.ZodString>;
+    signature: z.ZodOptional<z.ZodObject<{
+        version: z.ZodLiteral<"1">;
+        value: z.ZodString;
+        components: z.ZodObject<{
+            category: z.ZodString;
+            normalizedTitle: z.ZodString;
+            evidenceKinds: z.ZodArray<z.ZodString>;
+            primaryAnchors: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                startLine: z.ZodOptional<z.ZodNumber>;
+                endLine: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            graphNeighborhood: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            analyzerRuleIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>;
+    }, z.core.$strip>>;
+    identityConfidence: z.ZodOptional<z.ZodEnum<{
+        medium: "medium";
+        low: "low";
+        high: "high";
+    }>>;
+    lifecycleState: z.ZodOptional<z.ZodEnum<{
+        fixed: "fixed";
+        open: "open";
+        stale: "stale";
+        superseded: "superseded";
+        suppressed: "suppressed";
+        inconclusive: "inconclusive";
+    }>>;
+    baselineStatus: z.ZodOptional<z.ZodEnum<{
+        fixed: "fixed";
+        unknown: "unknown";
+        new: "new";
+        existing: "existing";
+        worsened: "worsened";
+        improved: "improved";
+    }>>;
     title: z.ZodString;
     category: z.ZodEnum<{
         architecture: "architecture";
@@ -112,12 +241,14 @@ export declare const candidateRecordSchema: z.ZodObject<{
         diagnostic: "diagnostic";
     }>;
     status: z.ZodEnum<{
+        fixed: "fixed";
         open: "open";
         investigating: "investigating";
         "handed-off": "handed-off";
         ignored: "ignored";
         "false-positive": "false-positive";
         stale: "stale";
+        superseded: "superseded";
     }>;
     priority: z.ZodEnum<{
         P0: "P0";
@@ -155,6 +286,12 @@ export declare const candidateRecordSchema: z.ZodObject<{
     likelyRootCause: z.ZodString;
     suggestedDirection: z.ZodString;
     verification: z.ZodArray<z.ZodString>;
+    fixReadiness: z.ZodOptional<z.ZodObject<{
+        minimumFixScope: z.ZodString;
+        suggestedRegressionTest: z.ZodString;
+        whyCurrentTestsMissIt: z.ZodString;
+        confidenceDowngradeReasons: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
     provenance: z.ZodObject<{
         source: z.ZodEnum<{
             "local-evidence": "local-evidence";
@@ -163,12 +300,399 @@ export declare const candidateRecordSchema: z.ZodObject<{
         provider: z.ZodOptional<z.ZodString>;
         model: z.ZodOptional<z.ZodString>;
         promptVersion: z.ZodOptional<z.ZodString>;
+        synthesisAttemptId: z.ZodOptional<z.ZodString>;
+        validationId: z.ZodOptional<z.ZodString>;
         reviewers: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        runtime: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
     }, z.core.$strip>;
     createdAt: z.ZodString;
     updatedAt: z.ZodString;
 }, z.core.$strip>;
 export type CandidateRecord = z.infer<typeof candidateRecordSchema>;
+export declare const synthesisAttemptRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"synthesis_attempt">;
+    id: z.ZodString;
+    runId: z.ZodString;
+    provider: z.ZodString;
+    model: z.ZodOptional<z.ZodString>;
+    promptVersion: z.ZodString;
+    promptBytes: z.ZodNumber;
+    runtime: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    reviewerIds: z.ZodArray<z.ZodString>;
+    evidenceManifest: z.ZodObject<{
+        evidenceCount: z.ZodNumber;
+        includedEvidenceIds: z.ZodArray<z.ZodString>;
+        includedFileRefs: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            startLine: z.ZodOptional<z.ZodNumber>;
+            endLine: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        omittedEvidenceIds: z.ZodArray<z.ZodString>;
+        includeSource: z.ZodBoolean;
+        tokenBudget: z.ZodNumber;
+        excerptBudget: z.ZodNumber;
+    }, z.core.$strip>;
+    rawCandidateCount: z.ZodNumber;
+    acceptedCandidateCount: z.ZodNumber;
+    rejectedCandidateCount: z.ZodNumber;
+    rejectedEvidenceIds: z.ZodArray<z.ZodString>;
+    notes: z.ZodArray<z.ZodString>;
+    validations: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        status: z.ZodEnum<{
+            rejected: "rejected";
+            accepted: "accepted";
+        }>;
+        draftTitle: z.ZodString;
+        candidateId: z.ZodOptional<z.ZodString>;
+        evidenceIds: z.ZodArray<z.ZodString>;
+        fileRefs: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            startLine: z.ZodOptional<z.ZodNumber>;
+            endLine: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        diagnostics: z.ZodArray<z.ZodObject<{
+            level: z.ZodEnum<{
+                error: "error";
+                info: "info";
+                warning: "warning";
+            }>;
+            code: z.ZodString;
+            message: z.ZodString;
+            adapter: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        fixReadiness: z.ZodOptional<z.ZodObject<{
+            minimumFixScope: z.ZodString;
+            suggestedRegressionTest: z.ZodString;
+            whyCurrentTestsMissIt: z.ZodString;
+            confidenceDowngradeReasons: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    diagnostics: z.ZodArray<z.ZodObject<{
+        level: z.ZodEnum<{
+            error: "error";
+            info: "info";
+            warning: "warning";
+        }>;
+        code: z.ZodString;
+        message: z.ZodString;
+        adapter: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    createdAt: z.ZodString;
+}, z.core.$strip>;
+export type SynthesisAttemptRecord = z.infer<typeof synthesisAttemptRecordSchema>;
+export declare const findingRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"finding">;
+    id: z.ZodString;
+    signature: z.ZodObject<{
+        version: z.ZodLiteral<"1">;
+        value: z.ZodString;
+        components: z.ZodObject<{
+            category: z.ZodString;
+            normalizedTitle: z.ZodString;
+            evidenceKinds: z.ZodArray<z.ZodString>;
+            primaryAnchors: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                startLine: z.ZodOptional<z.ZodNumber>;
+                endLine: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            graphNeighborhood: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            analyzerRuleIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+    identityConfidence: z.ZodEnum<{
+        medium: "medium";
+        low: "low";
+        high: "high";
+    }>;
+    title: z.ZodString;
+    category: z.ZodEnum<{
+        architecture: "architecture";
+        complexity: "complexity";
+        duplication: "duplication";
+        testability: "testability";
+        "dead-weight": "dead-weight";
+        "ai-slop": "ai-slop";
+        "domain-drift": "domain-drift";
+        diagnostic: "diagnostic";
+    }>;
+    status: z.ZodEnum<{
+        fixed: "fixed";
+        open: "open";
+        investigating: "investigating";
+        "handed-off": "handed-off";
+        ignored: "ignored";
+        "false-positive": "false-positive";
+        stale: "stale";
+        superseded: "superseded";
+    }>;
+    lifecycleState: z.ZodEnum<{
+        fixed: "fixed";
+        open: "open";
+        stale: "stale";
+        superseded: "superseded";
+        suppressed: "suppressed";
+        inconclusive: "inconclusive";
+    }>;
+    priority: z.ZodEnum<{
+        P0: "P0";
+        P1: "P1";
+        P2: "P2";
+        P3: "P3";
+    }>;
+    confidence: z.ZodEnum<{
+        medium: "medium";
+        low: "low";
+        high: "high";
+    }>;
+    impact: z.ZodEnum<{
+        local: "local";
+        feature: "feature";
+        "cross-cutting": "cross-cutting";
+    }>;
+    effort: z.ZodEnum<{
+        small: "small";
+        medium: "medium";
+        large: "large";
+    }>;
+    risk: z.ZodEnum<{
+        safe: "safe";
+        moderate: "moderate";
+        "design-needed": "design-needed";
+    }>;
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    evidenceIds: z.ZodArray<z.ZodString>;
+    observationIds: z.ZodArray<z.ZodString>;
+    currentObservationId: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    updatedAt: z.ZodString;
+}, z.core.$strip>;
+export type FindingRecord = z.infer<typeof findingRecordSchema>;
+export declare const candidateObservationRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"candidate_observation">;
+    id: z.ZodString;
+    findingId: z.ZodString;
+    candidateId: z.ZodString;
+    runId: z.ZodString;
+    signature: z.ZodObject<{
+        version: z.ZodLiteral<"1">;
+        value: z.ZodString;
+        components: z.ZodObject<{
+            category: z.ZodString;
+            normalizedTitle: z.ZodString;
+            evidenceKinds: z.ZodArray<z.ZodString>;
+            primaryAnchors: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                startLine: z.ZodOptional<z.ZodNumber>;
+                endLine: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            graphNeighborhood: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            analyzerRuleIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+    identityConfidence: z.ZodEnum<{
+        medium: "medium";
+        low: "low";
+        high: "high";
+    }>;
+    baselineStatus: z.ZodOptional<z.ZodEnum<{
+        fixed: "fixed";
+        unknown: "unknown";
+        new: "new";
+        existing: "existing";
+        worsened: "worsened";
+        improved: "improved";
+    }>>;
+    evidenceFreshness: z.ZodEnum<{
+        reused: "reused";
+        stale: "stale";
+        fresh: "fresh";
+        baseline: "baseline";
+    }>;
+    observedAt: z.ZodString;
+}, z.core.$strip>;
+export type CandidateObservationRecord = z.infer<typeof candidateObservationRecordSchema>;
+export declare const lifecycleEventRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"lifecycle_event">;
+    id: z.ZodString;
+    targetType: z.ZodEnum<{
+        theme: "theme";
+        finding: "finding";
+        report: "report";
+        plan: "plan";
+        handoff: "handoff";
+        revalidation: "revalidation";
+        fix_attempt: "fix_attempt";
+    }>;
+    targetId: z.ZodString;
+    findingId: z.ZodOptional<z.ZodString>;
+    runId: z.ZodOptional<z.ZodString>;
+    kind: z.ZodEnum<{
+        fixed: "fixed";
+        stale: "stale";
+        superseded: "superseded";
+        created: "created";
+        observed: "observed";
+        triaged: "triaged";
+        suppressed: "suppressed";
+        revalidated: "revalidated";
+        changed: "changed";
+        "fix-attempted": "fix-attempted";
+        "verification-passed": "verification-passed";
+        "verification-failed": "verification-failed";
+    }>;
+    fromState: z.ZodOptional<z.ZodString>;
+    toState: z.ZodOptional<z.ZodString>;
+    note: z.ZodOptional<z.ZodString>;
+    actor: z.ZodOptional<z.ZodString>;
+    command: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    data: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strip>;
+export type LifecycleEventRecord = z.infer<typeof lifecycleEventRecordSchema>;
+export declare const revalidationRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"revalidation">;
+    id: z.ZodString;
+    targetType: z.ZodEnum<{
+        theme: "theme";
+        finding: "finding";
+        all: "all";
+    }>;
+    targetId: z.ZodOptional<z.ZodString>;
+    runId: z.ZodString;
+    outcome: z.ZodEnum<{
+        fixed: "fixed";
+        stale: "stale";
+        superseded: "superseded";
+        changed: "changed";
+        inconclusive: "inconclusive";
+        unchanged: "unchanged";
+    }>;
+    evidenceIds: z.ZodArray<z.ZodString>;
+    previousObservationId: z.ZodOptional<z.ZodString>;
+    newObservationId: z.ZodOptional<z.ZodString>;
+    supersededByFindingId: z.ZodOptional<z.ZodString>;
+    diagnostics: z.ZodArray<z.ZodObject<{
+        level: z.ZodEnum<{
+            error: "error";
+            info: "info";
+            warning: "warning";
+        }>;
+        code: z.ZodString;
+        message: z.ZodString;
+        adapter: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    createdAt: z.ZodString;
+}, z.core.$strip>;
+export type RevalidationRecord = z.infer<typeof revalidationRecordSchema>;
+export declare const ciRunRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"ci_run">;
+    id: z.ZodString;
+    runId: z.ZodOptional<z.ZodString>;
+    baselineRef: z.ZodOptional<z.ZodString>;
+    status: z.ZodEnum<{
+        error: "error";
+        passed: "passed";
+        failed: "failed";
+        "policy-failed": "policy-failed";
+    }>;
+    policy: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    blockingFindingIds: z.ZodArray<z.ZodString>;
+    artifactPaths: z.ZodObject<{
+        json: z.ZodOptional<z.ZodString>;
+        markdown: z.ZodOptional<z.ZodString>;
+        sarif: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    diagnostics: z.ZodArray<z.ZodObject<{
+        level: z.ZodEnum<{
+            error: "error";
+            info: "info";
+            warning: "warning";
+        }>;
+        code: z.ZodString;
+        message: z.ZodString;
+        adapter: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    createdAt: z.ZodString;
+}, z.core.$strip>;
+export type CiRunRecord = z.infer<typeof ciRunRecordSchema>;
+export declare const lockRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"lock">;
+    id: z.ZodString;
+    owner: z.ZodString;
+    pid: z.ZodNumber;
+    command: z.ZodString;
+    statePath: z.ZodString;
+    createdAt: z.ZodString;
+    expiresAt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type LockRecord = z.infer<typeof lockRecordSchema>;
+export declare const retentionManifestRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"retention_manifest">;
+    id: z.ZodString;
+    dryRun: z.ZodBoolean;
+    keepRuns: z.ZodOptional<z.ZodNumber>;
+    keepDays: z.ZodOptional<z.ZodNumber>;
+    deletePaths: z.ZodArray<z.ZodString>;
+    retainedPaths: z.ZodArray<z.ZodString>;
+    blockedPaths: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strip>>;
+    privacyNotes: z.ZodArray<z.ZodString>;
+    createdAt: z.ZodString;
+}, z.core.$strip>;
+export type RetentionManifestRecord = z.infer<typeof retentionManifestRecordSchema>;
+export declare const fixAttemptRecordSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1.0">;
+    recordType: z.ZodLiteral<"fix_attempt">;
+    id: z.ZodString;
+    findingId: z.ZodString;
+    planId: z.ZodOptional<z.ZodString>;
+    status: z.ZodEnum<{
+        planned: "planned";
+        previewed: "previewed";
+        applied: "applied";
+        passed: "passed";
+        failed: "failed";
+        unverified: "unverified";
+    }>;
+    dryRun: z.ZodBoolean;
+    changedFiles: z.ZodArray<z.ZodString>;
+    patchPreviewPath: z.ZodOptional<z.ZodString>;
+    verificationCommands: z.ZodArray<z.ZodString>;
+    verificationResults: z.ZodArray<z.ZodObject<{
+        command: z.ZodString;
+        exitCode: z.ZodOptional<z.ZodNumber>;
+        passed: z.ZodBoolean;
+        outputPath: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    diagnostics: z.ZodArray<z.ZodObject<{
+        level: z.ZodEnum<{
+            error: "error";
+            info: "info";
+            warning: "warning";
+        }>;
+        code: z.ZodString;
+        message: z.ZodString;
+        adapter: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    createdAt: z.ZodString;
+    updatedAt: z.ZodString;
+}, z.core.$strip>;
+export type FixAttemptRecord = z.infer<typeof fixAttemptRecordSchema>;
 export declare const clusterRecordSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<"0.1.0">;
     recordType: z.ZodLiteral<"cluster">;
@@ -187,12 +711,14 @@ export declare const clusterRecordSchema: z.ZodObject<{
         diagnostic: "diagnostic";
     }>;
     status: z.ZodEnum<{
+        fixed: "fixed";
         open: "open";
         investigating: "investigating";
         "handed-off": "handed-off";
         ignored: "ignored";
         "false-positive": "false-positive";
         stale: "stale";
+        superseded: "superseded";
     }>;
     priority: z.ZodEnum<{
         P0: "P0";
@@ -247,6 +773,7 @@ export declare const runRecordSchema: z.ZodObject<{
     root: z.ZodString;
     startedAt: z.ZodString;
     completedAt: z.ZodString;
+    featureCount: z.ZodOptional<z.ZodNumber>;
     evidenceCount: z.ZodNumber;
     candidateCount: z.ZodNumber;
     clusterCount: z.ZodOptional<z.ZodNumber>;
@@ -254,7 +781,24 @@ export declare const runRecordSchema: z.ZodObject<{
         requested: z.ZodBoolean;
         provider: z.ZodOptional<z.ZodString>;
         candidateCount: z.ZodNumber;
+        attemptId: z.ZodOptional<z.ZodString>;
+        acceptedCandidateCount: z.ZodOptional<z.ZodNumber>;
+        rejectedCandidateCount: z.ZodOptional<z.ZodNumber>;
+        runtime: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
     }, z.core.$strip>;
+    scope: z.ZodOptional<z.ZodObject<{
+        incremental: z.ZodBoolean;
+        since: z.ZodOptional<z.ZodString>;
+        mergeBase: z.ZodOptional<z.ZodString>;
+        includeDirty: z.ZodBoolean;
+        paths: z.ZodArray<z.ZodString>;
+        changedPaths: z.ZodArray<z.ZodString>;
+        categories: z.ZodArray<z.ZodString>;
+        reviewers: z.ZodArray<z.ZodString>;
+        onlyExisting: z.ZodBoolean;
+        newOnly: z.ZodBoolean;
+        dirtyPaths: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
     diagnostics: z.ZodArray<z.ZodObject<{
         level: z.ZodEnum<{
             error: "error";
@@ -273,20 +817,24 @@ export declare const triageRecordSchema: z.ZodObject<{
     id: z.ZodString;
     candidateId: z.ZodString;
     fromStatus: z.ZodEnum<{
+        fixed: "fixed";
         open: "open";
         investigating: "investigating";
         "handed-off": "handed-off";
         ignored: "ignored";
         "false-positive": "false-positive";
         stale: "stale";
+        superseded: "superseded";
     }>;
     toStatus: z.ZodEnum<{
+        fixed: "fixed";
         open: "open";
         investigating: "investigating";
         "handed-off": "handed-off";
         ignored: "ignored";
         "false-positive": "false-positive";
         stale: "stale";
+        superseded: "superseded";
     }>;
     note: z.ZodString;
     createdAt: z.ZodString;
@@ -308,8 +856,8 @@ export declare const reportRecordSchema: z.ZodObject<{
         startHere: z.ZodOptional<z.ZodObject<{
             id: z.ZodString;
             type: z.ZodEnum<{
-                candidate: "candidate";
                 theme: "theme";
+                candidate: "candidate";
             }>;
             reason: z.ZodString;
         }, z.core.$strip>>;