@syv-ai/rulecast 0.1.1 → 0.3.0

package/dist/index.d.ts

@@ -1,787 +1,57 @@
-import { ZodType, ZodTypeDef, z } from 'zod';
+import { A as Adapter, D as Delivery, a as DetectorRuleInput, b as DetectorRun, M as Match, c as Detector, d as AnyDetector, e as AdapterInput, E as Event } from './types-C8b7hrnG.js';
+export { f as AdapterInstall, C as Cache, g as ChangeSet, h as CheckResult, i as CompiledDetector, j as CompiledRule, k as DeliveredReference, l as DetectorCheck, m as DetectorEvent, n as DetectorRegistry, o as DetectorResult, p as DetectorRule, q as DetectorSettings, r as DetectorWarm, s as EventKind, F as Finding, I as InstallScope, L as LLM_PROVIDERS, t as LlmFinding, u as LlmProvider, v as LlmProviderName, w as LlmRequest, x as LlmSettings, y as LlmUnavailableError, O as Omitted, R as ReferenceMode, z as ResolvedReference, B as RuleScope, S as Severity, T as TouchRule, W as WriteIntent, G as createRegistry, H as defaultDetectorSettings, J as emptyDelivery, K as isDetectorRule } from './types-C8b7hrnG.js';
+import 'zod';
+
+declare const claudeCodeAdapter: Adapter;
 
-type EventKind = "touch" | "edit" | "verify" | "prompt" | "reset" | "guard";
-type DetectorEvent = "edit" | "verify";
-type Severity = "error" | "warning";
-type ReferenceMode = "inject" | "read";
 /**
- * What a `guard` event's write would do, as the agent's tool call describes it and before anything
- * has touched the disk. The adapter reports the intent; the pipeline turns it into the file's
- * proposed content, because only the pipeline may read the file it will be applied to.
+ * How much of a rule a repository already owes, per rule and per file.
+ *
+ * Counts, never rates. One codebase went from 61 violations in 80 files to 57 in 194 over eight
+ * months: the rate fell from 76% to 29% and the count did not move, because new code complied and
+ * the old violations were only diluted. A team watching the rate would have believed it was fixing
+ * the problem. So this reports the stock and leaves the division to nobody.
  */
-interface WriteIntent {
-    /** The whole file, for a tool that supplies it (Write).*/
-    content?: string;
-    /** A replacement inside the current file (Edit). */
-    edit?: {
-        find: string;
-        replace: string;
-        all: boolean;
-    };
-}
-interface Event {
-    kind: EventKind;
-    /** Repo-relative paths (adapters may give absolute ones; the hook command converts them). Empty for prompt and reset. */
-    files: string[];
-    /** guard only: what the agent is about to write to `files[0]`. */
-    intent?: WriteIntent;
-    /** touch from a read: the whole file was read. */
-    completeRead?: boolean;
-    /** verify from the CLI: the commit the baseline is read from (the merge base for --from-ref). */
-    baseCommit?: string;
-    session?: {
-        id: string;
-        agentId?: string;
-    };
-    cwd: string;
-}
-interface Match {
-    file: string;
-    /** 1-based. */
-    line: number;
-    endLine: number;
-    column: number;
-    text: string;
-    /** Exactly the names the detector declared for the rule. */
-    captures: Record<string, string>;
-}
-interface ChangeSet {
-    /** 1-based inclusive ranges in the current file. */
-    changedLines: [start: number, end: number][];
-}
-interface Cache {
-    get<T>(key: string): Promise<T | undefined>;
-    set(key: string, value: unknown): Promise<void>;
-}
-interface ResolvedReference {
-    /** "conventions/api-access.md#frontend-data-flow" */
-    ref: string;
-    content: string;
-}
-declare const LLM_PROVIDERS: readonly ["claude-code", "opencode", "anthropic", "openai-compatible"];
-type LlmProviderName = (typeof LLM_PROVIDERS)[number];
-/** Project-level `llm` settings from .rulecast-config.yaml (spec §6, §12). */
-interface LlmSettings {
-    provider: LlmProviderName;
-    /** Overrides the provider's own endpoint; the only way to reach Azure OpenAI or Ollama. */
-    baseUrl: string | null;
-    apiKeyEnv: string;
-    maxFilesPerVerify: number;
-}
-/** Project settings the core passes to every detector run; only `llm` reads them today. */
-interface DetectorSettings {
-    llm: LlmSettings;
-}
-declare function defaultDetectorSettings(): DetectorSettings;
-interface DetectorRuleInput<Config> {
-    id: string;
-    config: Config;
-    files: string[];
-    context: ResolvedReference[];
-}
-interface DetectorRun<Config> {
-    event: DetectorEvent;
-    rules: DetectorRuleInput<Config>[];
-    /**
-     * The file's content, null when it no longer exists. A detector that can read a file itself must
-     * use this instead: before a write, the content that matters is the one the agent proposed, which
-     * is not on disk and never will be if the write is refused.
-     */
-    read(file: string): Promise<string | null>;
-    /** File absent = no baseline, the whole file is new. */
-    changes: ReadonlyMap<string, ChangeSet>;
-    cache: Cache;
-    /** Project settings from .rulecast-config.yaml; a detector that needs none ignores them. */
-    settings: DetectorSettings;
-    cwd: string;
-    signal: AbortSignal;
-}
-interface DetectorResult {
-    findings: {
-        rule: string;
-        match: Match;
-    }[];
-    /** rule null = the whole run failed. */
-    errors: {
-        rule: string | null;
-        message: string;
-    }[];
-}
-interface DetectorWarm<Config> {
-    /** Every rule of this detector kind in the project. */
-    rules: {
-        id: string;
-        config: Config;
-    }[];
-    cache: Cache;
-    cwd: string;
-    signal: AbortSignal;
-}
-interface DetectorCheck<Config> {
-    /** Every rule of this detector kind in the project. */
+interface BacklogSummary {
+    /** Violations descending, then rule ascending. */
     rules: {
-        id: string;
-        config: Config;
-    }[];
-    /** Project settings from .rulecast-config.yaml; the same value a run gets. */
-    settings: DetectorSettings;
-    /** The process environment, so a check can look for credentials without reaching for process.env. */
-    env: Readonly<Record<string, string | undefined>>;
-    cwd: string;
-    signal: AbortSignal;
-}
-/** One thing `rulecast doctor` asked a detector about, and the answer (spec §5). */
-interface CheckResult {
-    /** What was checked, as a person would name it: "ruff", "ast-grep", `model "haiku"`. */
-    what: string;
-    level: "ok" | "warning" | "error";
-    /** Why: a resolved path when it worked, the reason when it did not. */
-    detail: string;
-    /** The rules this result decides the fate of; empty when it is about the kind as a whole. */
-    rules: string[];
-}
-interface Detector<Config> {
-    kind: string;
-    /** Input is unknown: schemas may apply defaults and refinements. */
-    schema: ZodType<Config, ZodTypeDef, unknown>;
-    captures(config: Config): string[];
-    events(config: Config): DetectorEvent[];
-    /**
-     * Whether this detector reads only through `read`, and so can judge a write before it happens
-     * (`refuse_write`). False for anything that hands a path to another program: the proposed file is
-     * not on disk, so ruff, eslint, ast-grep's CLI or a `command` script would judge the old one.
-     */
-    guards?: boolean;
-    run(input: DetectorRun<Config>): Promise<DetectorResult>;
-    /** Optional: build expensive caches ahead of events (rulecast warm, §13). */
-    warm?(input: DetectorWarm<Config>): Promise<void>;
-    /** Optional: report what this detector's rules need from the environment (rulecast doctor, §5). */
-    check?(input: DetectorCheck<Config>): Promise<CheckResult[]>;
-}
-interface Finding {
-    rule: string;
-    severity: Severity;
-    status: "new" | "preexisting";
-    file: string;
-    line: number;
-    column: number;
-    message: string;
-    count: number;
-    /** The detector's captures and the matched text, for a grouped rendering's per-site line. */
-    captures?: Record<string, string>;
-}
-interface DeliveredReference {
-    ref: string;
-    state: "full" | "pointer" | "read" | "missing";
-    content?: string;
-    reason?: "mode" | "budget" | "tooLarge";
-    /** State "read" of a reference from a rule repo: the absolute path of the file to read. */
-    location?: string;
-}
-/** What the context budget left out. A renderer says how much is missing; it never recomputes it. */
-interface Omitted {
-    /** Findings of a rule that is still delivered, and how many files they were in. */
-    findings: {
         rule: string;
-        count: number;
+        violations: number;
         files: number;
     }[];
-    /** Rules dropped whole, with their findings: only when the floor itself did not fit. */
-    rules: number;
-    preexisting: number;
-}
-interface Delivery {
-    findings: Finding[];
-    preexistingSummary: {
-        rule: string;
-        file: string;
-        count: number;
-    }[];
-    references: DeliveredReference[];
-    touches: string[];
-    stop: "block" | "allow" | "capReached" | null;
-    warnings: string[];
-    /** `message` template per rule with findings: the skeleton a grouped rendering prints once. */
-    templates: Record<string, string>;
-    omitted: Omitted;
-    /** Absolute path of the untrimmed delivery, written when even the floor did not fit; null when it did. */
-    overflowPath: string | null;
-}
-interface AdapterInput {
-    /** The agent's directory; the project root is found from it. */
-    cwd: string;
-    /** null: nothing to run for this input. */
-    event: Event | null;
-    /** Start detector warm-up (§13). */
-    warmup: boolean;
-}
-type InstallScope = "shared" | "personal";
-interface AdapterInstall {
-    /** Paths whose presence means the project uses this agent (init); a trailing "/" means a directory. */
-    markers: string[];
-    /** Settings files, repo-relative, that hooks can be written to. */
-    scopes: {
-        scope: InstallScope;
+    /** Violations descending, then file ascending. */
+    files: {
         file: string;
+        violations: number;
     }[];
-    /** The hook command; local: rulecast is installed in the project's node_modules. */
-    command(local: boolean): string;
-    merge(settings: unknown, command: string, verifyMs: number): {
-        settings: unknown;
-        added: string[];
-    };
-    remove(settings: unknown): {
-        settings: unknown;
-        removed: string[];
-    };
-}
-interface Adapter {
-    name: string;
-    /** Shown to people: "Claude Code". */
-    label: string;
-    /** Budget handed to commit (§9); null = unlimited. */
-    maxContextChars: number | null;
-    /** Recently read or edited files the agent re-attaches to its context after compaction; reset re-delivers their touch context (§9). 0 = none. */
-    restoredFiles: number;
-    /** null: not an input this adapter handles. */
-    parse(input: unknown): AdapterInput | null;
-    format(delivery: Delivery, event: Event, options: {
-        maxMatchesPerRule: number;
-    }): {
-        stdout: string;
-        exitCode: number;
-    };
-    /** null: the agent has no hooks to install. */
-    install: AdapterInstall | null;
+    totalViolations: number;
+    /** Distinct files with at least one violation — not the sum of the per-rule file counts. */
+    totalFiles: number;
 }
-declare function emptyDelivery(): Delivery;
-
-declare const claudeCodeAdapter: Adapter;
+/**
+ * Both halves of a delivery count.
+ *
+ * `--all-files` has no baseline, so every violation arrives as a finding. `--from-ref` classifies
+ * against the merge base, and there most of the backlog is in `preexistingSummary` — which is
+ * exactly the set this exists to give a number to.
+ */
+declare function summarise(delivery: Delivery): BacklogSummary;
+declare function renderBacklog(summary: BacklogSummary, options: {
+    topFiles: number;
+}): string;
 
 /** Every agent adapter rulecast ships. */
 declare const ADAPTERS: readonly Adapter[];
 declare function adapterByName(name: string): Adapter | undefined;
 
-declare const STAGES: readonly ["touch", "edit", "verify"];
-type Stage = (typeof STAGES)[number];
-/** A config entry selecting a rule from a rule repo; every key but id overrides the manifest rule's. */
-declare const overrideSchema: z.ZodObject<{
-    alias: z.ZodOptional<z.ZodString>;
-    name: z.ZodOptional<z.ZodString>;
-    description: z.ZodOptional<z.ZodString>;
-    files: z.ZodOptional<z.ZodString>;
-    exclude: z.ZodOptional<z.ZodString>;
-    types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    types_or: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    exclude_types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    stages: z.ZodOptional<z.ZodArray<z.ZodEnum<["touch", "edit", "verify"]>, "atleastone">>;
-    minimum_rulecast_version: z.ZodOptional<z.ZodString>;
-    severity: z.ZodOptional<z.ZodEnum<["error", "warning"]>>;
-    refuse_write: z.ZodOptional<z.ZodBoolean>;
-    detect: z.ZodOptional<z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>>;
-    message: z.ZodOptional<z.ZodString>;
-    context: z.ZodOptional<z.ZodArray<z.ZodUnion<[z.ZodString, z.ZodObject<{
-        path: z.ZodString;
-        mode: z.ZodOptional<z.ZodEnum<["inject", "read"]>>;
-    }, "strict", z.ZodTypeAny, {
-        path: string;
-        mode?: "inject" | "read" | undefined;
-    }, {
-        path: string;
-        mode?: "inject" | "read" | undefined;
-    }>]>, "many">>;
-    id: z.ZodString;
-}, "strict", z.ZodTypeAny, {
-    id: string;
-    name?: string | undefined;
-    message?: string | undefined;
-    alias?: string | undefined;
-    description?: string | undefined;
-    files?: string | undefined;
-    exclude?: string | undefined;
-    types?: string[] | undefined;
-    types_or?: string[] | undefined;
-    exclude_types?: string[] | undefined;
-    stages?: ["touch" | "edit" | "verify", ...("touch" | "edit" | "verify")[]] | undefined;
-    minimum_rulecast_version?: string | undefined;
-    severity?: "error" | "warning" | undefined;
-    refuse_write?: boolean | undefined;
-    detect?: Record<string, unknown> | undefined;
-    context?: (string | {
-        path: string;
-        mode?: "inject" | "read" | undefined;
-    })[] | undefined;
-}, {
-    id: string;
-    name?: string | undefined;
-    message?: string | undefined;
-    alias?: string | undefined;
-    description?: string | undefined;
-    files?: string | undefined;
-    exclude?: string | undefined;
-    types?: string[] | undefined;
-    types_or?: string[] | undefined;
-    exclude_types?: string[] | undefined;
-    stages?: ["touch" | "edit" | "verify", ...("touch" | "edit" | "verify")[]] | undefined;
-    minimum_rulecast_version?: string | undefined;
-    severity?: "error" | "warning" | undefined;
-    refuse_write?: boolean | undefined;
-    detect?: Record<string, unknown> | undefined;
-    context?: (string | {
-        path: string;
-        mode?: "inject" | "read" | undefined;
-    })[] | undefined;
-}>;
-type RuleEntry = z.infer<typeof overrideSchema>;
-declare const configSchema: z.ZodEffects<z.ZodObject<{
-    repos: z.ZodArray<z.ZodObject<{
-        repo: z.ZodString;
-        rev: z.ZodOptional<z.ZodString>;
-        /** Parsed rule by rule in compile, so one bad rule does not reject the config. */
-        rules: z.ZodArray<z.ZodUnknown, "many">;
-    }, "strict", z.ZodTypeAny, {
-        rules: unknown[];
-        repo: string;
-        rev?: string | undefined;
-    }, {
-        rules: unknown[];
-        repo: string;
-        rev?: string | undefined;
-    }>, "many">;
-    minimum_rulecast_version: z.ZodOptional<z.ZodString>;
-    files: z.ZodDefault<z.ZodString>;
-    exclude: z.ZodDefault<z.ZodString>;
-    default_stages: z.ZodOptional<z.ZodArray<z.ZodEnum<["touch", "edit", "verify"]>, "atleastone">>;
-    context: z.ZodDefault<z.ZodObject<{
-        mode: z.ZodDefault<z.ZodEnum<["inject", "read"]>>;
-        max_bytes: z.ZodDefault<z.ZodNumber>;
-    }, "strict", z.ZodTypeAny, {
-        mode: "inject" | "read";
-        max_bytes: number;
-    }, {
-        mode?: "inject" | "read" | undefined;
-        max_bytes?: number | undefined;
-    }>>;
-    max_matches_per_rule: z.ZodDefault<z.ZodNumber>;
-    timeouts: z.ZodDefault<z.ZodObject<{
-        edit_deadline_ms: z.ZodDefault<z.ZodNumber>;
-        verify_ms: z.ZodDefault<z.ZodNumber>;
-    }, "strict", z.ZodTypeAny, {
-        edit_deadline_ms: number;
-        verify_ms: number;
-    }, {
-        edit_deadline_ms?: number | undefined;
-        verify_ms?: number | undefined;
-    }>>;
-    stop_gate: z.ZodDefault<z.ZodObject<{
-        max_blocks: z.ZodDefault<z.ZodNumber>;
-    }, "strict", z.ZodTypeAny, {
-        max_blocks: number;
-    }, {
-        max_blocks?: number | undefined;
-    }>>;
-    refuse_gate: z.ZodDefault<z.ZodObject<{
-        max_refusals: z.ZodDefault<z.ZodNumber>;
-    }, "strict", z.ZodTypeAny, {
-        max_refusals: number;
-    }, {
-        max_refusals?: number | undefined;
-    }>>;
-    llm: z.ZodDefault<z.ZodObject<{
-        provider: z.ZodDefault<z.ZodEnum<["claude-code", "opencode", "anthropic", "openai-compatible"]>>;
-        base_url: z.ZodDefault<z.ZodNullable<z.ZodString>>;
-        api_key_env: z.ZodDefault<z.ZodString>;
-        max_files_per_verify: z.ZodDefault<z.ZodNumber>;
-    }, "strict", z.ZodTypeAny, {
-        provider: "claude-code" | "opencode" | "anthropic" | "openai-compatible";
-        base_url: string | null;
-        api_key_env: string;
-        max_files_per_verify: number;
-    }, {
-        provider?: "claude-code" | "opencode" | "anthropic" | "openai-compatible" | undefined;
-        base_url?: string | null | undefined;
-        api_key_env?: string | undefined;
-        max_files_per_verify?: number | undefined;
-    }>>;
-}, "strict", z.ZodTypeAny, {
-    llm: {
-        provider: "claude-code" | "opencode" | "anthropic" | "openai-compatible";
-        base_url: string | null;
-        api_key_env: string;
-        max_files_per_verify: number;
-    };
-    repos: {
-        rules: unknown[];
-        repo: string;
-        rev?: string | undefined;
-    }[];
-    files: string;
-    exclude: string;
-    context: {
-        mode: "inject" | "read";
-        max_bytes: number;
-    };
-    max_matches_per_rule: number;
-    timeouts: {
-        edit_deadline_ms: number;
-        verify_ms: number;
-    };
-    stop_gate: {
-        max_blocks: number;
-    };
-    refuse_gate: {
-        max_refusals: number;
-    };
-    minimum_rulecast_version?: string | undefined;
-    default_stages?: ["touch" | "edit" | "verify", ...("touch" | "edit" | "verify")[]] | undefined;
-}, {
-    repos: {
-        rules: unknown[];
-        repo: string;
-        rev?: string | undefined;
-    }[];
-    llm?: {
-        provider?: "claude-code" | "opencode" | "anthropic" | "openai-compatible" | undefined;
-        base_url?: string | null | undefined;
-        api_key_env?: string | undefined;
-        max_files_per_verify?: number | undefined;
-    } | undefined;
-    files?: string | undefined;
-    exclude?: string | undefined;
-    minimum_rulecast_version?: string | undefined;
-    context?: {
-        mode?: "inject" | "read" | undefined;
-        max_bytes?: number | undefined;
-    } | undefined;
-    default_stages?: ["touch" | "edit" | "verify", ...("touch" | "edit" | "verify")[]] | undefined;
-    max_matches_per_rule?: number | undefined;
-    timeouts?: {
-        edit_deadline_ms?: number | undefined;
-        verify_ms?: number | undefined;
-    } | undefined;
-    stop_gate?: {
-        max_blocks?: number | undefined;
-    } | undefined;
-    refuse_gate?: {
-        max_refusals?: number | undefined;
-    } | undefined;
-}>, {
-    repos: {
-        rules: unknown[];
-        repo: string;
-        rev?: string | undefined;
-    }[];
-    minimumRulecastVersion: string | null;
-    files: string;
-    exclude: string;
-    defaultStages: ["touch" | "edit" | "verify", ...("touch" | "edit" | "verify")[]] | null;
-    context: {
-        mode: "inject" | "read";
-        maxBytes: number;
-    };
-    maxMatchesPerRule: number;
-    timeouts: {
-        editDeadlineMs: number;
-        verifyMs: number;
-    };
-    stopGate: {
-        maxBlocks: number;
-    };
-    refuseGate: {
-        maxRefusals: number;
-    };
-    llm: {
-        provider: "claude-code" | "opencode" | "anthropic" | "openai-compatible";
-        baseUrl: string | null;
-        apiKeyEnv: string;
-        maxFilesPerVerify: number;
-    };
-}, {
-    repos: {
-        rules: unknown[];
-        repo: string;
-        rev?: string | undefined;
-    }[];
-    llm?: {
-        provider?: "claude-code" | "opencode" | "anthropic" | "openai-compatible" | undefined;
-        base_url?: string | null | undefined;
-        api_key_env?: string | undefined;
-        max_files_per_verify?: number | undefined;
-    } | undefined;
-    files?: string | undefined;
-    exclude?: string | undefined;
-    minimum_rulecast_version?: string | undefined;
-    context?: {
-        mode?: "inject" | "read" | undefined;
-        max_bytes?: number | undefined;
-    } | undefined;
-    default_stages?: ["touch" | "edit" | "verify", ...("touch" | "edit" | "verify")[]] | undefined;
-    max_matches_per_rule?: number | undefined;
-    timeouts?: {
-        edit_deadline_ms?: number | undefined;
-        verify_ms?: number | undefined;
-    } | undefined;
-    stop_gate?: {
-        max_blocks?: number | undefined;
-    } | undefined;
-    refuse_gate?: {
-        max_refusals?: number | undefined;
-    } | undefined;
-}>;
-type Config = z.output<typeof configSchema>;
-
-type AnyDetector = Detector<any>;
-interface DetectorRegistry {
-    get(kind: string): AnyDetector | undefined;
-    kinds(): string[];
-}
-declare function createRegistry(detectors: AnyDetector[]): DetectorRegistry;
-
-type Checkout = {
-    ok: true;
-    dir: string;
-    label: string;
-} | {
-    ok: false;
-    message: string;
-    missing: boolean;
-};
-/** Where compile finds a pinned rule repo's files. */
-interface RepoProvider {
-    checkout(url: string, rev: string): Promise<Checkout>;
-}
-/** For hooks, which never fetch (spec §4): a repo missing from the cache is reported, not fetched. */
-declare function cachedRepos(home: string): RepoProvider;
-/** For the CLI: fetches repos missing from the cache. */
-declare function fetchingRepos(home: string): RepoProvider;
-/** For try-repo: every repo is `dir`. */
-declare function fixedRepo(dir: string, label: string): RepoProvider;
-
-interface ReferenceSpec {
-    /** Identity and display. Project: "docs/api.md#errors". Rule repo: "syv-ai/rulecast@v0.2.0:docs/api.md#errors". */
-    ref: string;
-    /** Project references: repo-relative with forward slashes. Rule repo references: absolute path in the cache. */
-    path: string;
-    anchor: string | null;
-    mode: ReferenceMode;
-}
-
-interface CompiledDetector {
-    kind: string;
-    config: unknown;
-    captures: string[];
-}
-interface CompiledRule {
-    /** alias when set, else id: the name findings, dedupe and session state use. */
-    id: string;
-    name: string;
-    description: string | null;
-    /** "local", or the rule repo label ("syv-ai/rulecast@v0.2.0"). */
-    source: string;
-    severity: Severity;
-    /** Refuse the agent's write when this rule fires on what it is writing (spec §9, Guard). */
-    refuseWrite: boolean;
-    stages: Stage[];
-    matches(file: string): boolean;
-    detector: CompiledDetector | null;
-    message: string | null;
-    context: ReferenceSpec[];
-}
-
-interface Diagnostic {
-    /** ".rulecast-config.yaml", ".rulecast-rules.yaml", or "<repo url>@<rev>" for a rule repo. */
-    source: string;
-    rule: string | null;
-    message: string;
-    level: "error" | "warning";
-    /** What a hook tells the developer to run; default "rulecast validate". Missing repos: "rulecast install". */
-    hint?: string;
-}
-interface CompiledProject {
-    root: string;
-    config: Config;
-    rules: CompiledRule[];
-    diagnostics: Diagnostic[];
-}
-interface CompileOptions {
-    root: string;
-    registry: DetectorRegistry;
-    repos: RepoProvider;
-    /** Config data to compile instead of the project's .rulecast-config.yaml (try-repo). */
-    configData?: unknown;
-}
-/** The project config and the manifests of its pinned repos → ready rules plus diagnostics (spec §5). */
-declare function compile(options: CompileOptions): Promise<CompiledProject>;
-/** A manifest on its own (validate, the init catalog): references resolve against `dir`. */
-declare function compileManifest(dir: string, registry: DetectorRegistry): Promise<{
-    rules: CompiledRule[];
-    diagnostics: Diagnostic[];
-}>;
-
-declare const CONFIG_FILE = ".rulecast-config.yaml";
-declare const MANIFEST_FILE = ".rulecast-rules.yaml";
-
-interface RenderOptions {
-    maxMatchesPerRule: number;
-}
-declare function renderAgentText(delivery: Delivery, options: RenderOptions): string;
-
-interface CheckOptions {
-    project: CompiledProject;
-    registry: DetectorRegistry;
-    /** Project settings, as a detector run would get them. */
-    settings: DetectorSettings;
-    env: Readonly<Record<string, string | undefined>>;
-    timeoutMs: number;
-}
-/** A check's answer, and which detector gave it. */
-type KindCheckResult = CheckResult & {
-    kind: string;
-};
-/** Detector kinds used by the project's rules whose detector has environment checks. */
-declare function checkableKinds(project: CompiledProject, registry: DetectorRegistry): string[];
-/**
- * Every used detector's own checks (spec §5). Kinds run in parallel; results come back grouped by
- * kind in checkableKinds order, so doctor's output is stable between runs.
- */
-declare function checkDetectors(options: CheckOptions): Promise<KindCheckResult[]>;
-
 /** Turns a per-rule function into a detector run; an error in one rule does not affect the others. */
 declare function perRule<Config>(detect: (rule: DetectorRuleInput<Config>, input: DetectorRun<Config>) => Promise<Match[]>): Detector<Config>["run"];
 
-type Env = Readonly<Record<string, string | undefined>>;
-/** $RULECAST_HOME, else $XDG_CACHE_HOME/rulecast, else ~/.cache/rulecast. Empty values count as unset. */
-declare function cacheHome(env: Env): string;
-/**
- * <home>/projects/<first 16 hex of sha256(realpath(root))>. Keyed by the real path, so separate checkouts and
- * worktrees of one repository get separate directories and a symlinked path shares its target's.
- */
-declare function projectStateDir(home: string, root: string): string;
-
-interface PipelineOptions {
-    /** Compiled by the caller: hooks never fetch rule repos, the CLI does (spec §4). */
-    project: CompiledProject;
-    /** The project's directory in the cache (spec §12): sessions and detector caches. */
-    stateDir: string;
-    event: Event;
-    registry: DetectorRegistry;
-    /** From the adapter; null = unlimited. */
-    maxContextChars: number | null;
-    /** Recently accessed files the agent re-attaches after compaction (adapter.restoredFiles); reset re-delivers their touch context. */
-    restoredFiles?: number;
-    /** Detector kinds to skip entirely (run --no-llm). */
-    skipDetectorKinds?: ReadonlySet<string>;
-    /** Run only these rules (rulecast run RULE_ID); touch rules are unaffected. */
-    onlyRules?: ReadonlySet<string>;
-    /** verify from an agent's stop: decide block / allow / capReached. Needs a session. */
-    stopGate?: boolean;
-    /** Debug log sink. */
-    log?: (line: string) => void;
-}
-interface PipelineResult {
-    delivery: Delivery;
-    /** rulecast itself failed: compile diagnostics, detector errors or verify timeouts. */
-    failed: boolean;
-    /** Detector kinds whose results were dropped at the edit deadline (§13). */
-    deadlineMissed: string[];
-}
-declare function runPipeline(options: PipelineOptions): Promise<PipelineResult>;
-
 /** The running rulecast version. test/core/version.test.ts keeps it equal to package.json. */
-declare const VERSION = "0.1.1";
+declare const VERSION = "0.3.0";
 
 declare const builtinDetectors: readonly AnyDetector[];
 
-declare const MODEL_ALIASES: readonly string[];
-/**
- * The provider's own name for a model. A name that is not an alias is passed through unchanged, so
- * a new model or a local Ollama tag needs no rulecast release. null: a known alias this provider
- * cannot express, which the detector turns into a per-rule error naming both.
- */
-declare function resolveModel(model: string, provider: LlmProviderName): string | null;
-
-/** What the model is asked to answer with (spec §6). */
-declare const responseSchema: z.ZodObject<{
-    findings: z.ZodArray<z.ZodObject<{
-        rule: z.ZodString;
-        line: z.ZodNumber;
-        /** The model's quote of the line. Asked for because quoting sharpens the line number; never rendered. */
-        text: z.ZodOptional<z.ZodString>;
-        reason: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        rule: string;
-        line: number;
-        reason: string;
-        text?: string | undefined;
-    }, {
-        rule: string;
-        line: number;
-        reason: string;
-        text?: string | undefined;
-    }>, "many">;
-}, "strip", z.ZodTypeAny, {
-    findings: {
-        rule: string;
-        line: number;
-        reason: string;
-        text?: string | undefined;
-    }[];
-}, {
-    findings: {
-        rule: string;
-        line: number;
-        reason: string;
-        text?: string | undefined;
-    }[];
-}>;
-type LlmFinding = z.infer<typeof responseSchema>["findings"][number];
-interface LlmRequest {
-    /** The provider's own model name, already resolved from the rule's alias. */
-    model: string;
-    /** The whole prompt: rules, grounding and the marked-up file. */
-    prompt: string;
-    settings: LlmSettings;
-    env: NodeJS.ProcessEnv;
-    cwd: string;
-    signal: AbortSignal;
-}
-/**
- * The backend itself is unusable — no binary, no credentials. Spec §14 makes this a failure of the
- * whole run (every llm rule disabled, one warning), not of one rule. Every other throw is §14's
- * "malformed LLM output": an error for the rules in that call only.
- */
-declare class LlmUnavailableError extends Error {
-}
-/** What `rulecast doctor` learns about a backend without calling it (spec §5). */
-interface LlmAvailability {
-    ok: boolean;
-    /** The resolved binary or the endpoint when ok; why not when it is not. */
-    detail: string;
-}
-interface LlmProvider {
-    name: string;
-    ask(request: LlmRequest): Promise<LlmFinding[]>;
-    /**
-     * Can this backend be reached at all — the binary exists, or the key is set. Environmental, so
-     * it never calls the model: a false answer here is the same situation ask() would report as
-     * LlmUnavailableError, found before anything is spent.
-     */
-    available(input: {
-        settings: LlmSettings;
-        env: NodeJS.ProcessEnv;
-        cwd: string;
-        /** Give up when doctor's deadline passes: a PATH lookup can block on a stalled mount. */
-        signal: AbortSignal;
-    }): Promise<LlmAvailability>;
-}
-
-/**
- * The provider for a configured name. Throws LlmUnavailableError, which spec §14 turns into one
- * warning disabling every llm rule — the guard survives because a config can name a provider a
- * future build has dropped.
- */
-declare function providerByName(name: LlmProviderName): LlmProvider;
-
 /** One contract check. `run` throws (node:assert) when the check fails. */
 interface ContractCase {
     name: string;
@@ -837,4 +107,4 @@ interface DetectorFixture {
  */
 declare function detectorContract(detector: AnyDetector, fixture: DetectorFixture): ContractCase[];
 
-export { ADAPTERS, type Adapter, type AdapterFixture, type AdapterInput, type AdapterInstall, type AnyDetector, CONFIG_FILE, type Cache, type ChangeSet, type CheckResult, type Checkout, type CompileOptions, type CompiledDetector, type CompiledProject, type CompiledRule, type Config, type ContractCase, type DeliveredReference, type Delivery, type Detector, type DetectorCheck, type DetectorEvent, type DetectorFixture, type DetectorRegistry, type DetectorResult, type DetectorRuleInput, type DetectorRun, type DetectorSettings, type DetectorWarm, type Diagnostic, type Env, type Event, type EventKind, type Finding, type InstallScope, type KindCheckResult, LLM_PROVIDERS, type LlmFinding, type LlmProvider, type LlmProviderName, type LlmRequest, type LlmSettings, LlmUnavailableError, MANIFEST_FILE, MODEL_ALIASES, type Match, type Omitted, type PipelineOptions, type PipelineResult, type ReferenceMode, type RepoProvider, type ResolvedReference, type RuleEntry, type Severity, type Stage, VERSION, type WriteIntent, adapterByName, adapterContract, builtinDetectors, cacheHome, cachedRepos, checkDetectors, checkableKinds, claudeCodeAdapter, compile, compileManifest, createRegistry, defaultDetectorSettings, detectorContract, emptyDelivery, fetchingRepos, fixedRepo, perRule, projectStateDir, providerByName, renderAgentText, resolveModel, runPipeline };
+export { ADAPTERS, Adapter, type AdapterFixture, AdapterInput, AnyDetector, type BacklogSummary, type ContractCase, Delivery, Detector, type DetectorFixture, DetectorRuleInput, DetectorRun, Event, Match, VERSION, adapterByName, adapterContract, builtinDetectors, claudeCodeAdapter, detectorContract, perRule, renderBacklog, summarise };