@interf/compiler 0.1.8

package/dist/lib/schema.d.ts

@@ -0,0 +1,705 @@
+import { z } from "zod";
+export declare const RuntimeTargetTypeSchema: z.ZodEnum<{
+    "knowledge-base": "knowledge-base";
+    interface: "interface";
+}>;
+export declare const RuntimeStageSchema: z.ZodString;
+export declare const RuntimeContractTypeSchema: z.ZodEnum<{
+    "kb-file-evidence": "kb-file-evidence";
+    "kb-knowledge-layer": "kb-knowledge-layer";
+    "interface-plan": "interface-plan";
+    "interface-retrieval": "interface-retrieval";
+    "interface-analysis": "interface-analysis";
+    "interface-output": "interface-output";
+}>;
+export declare const KnowledgeBaseWorkflowIdSchema: z.ZodString;
+export declare const InterfaceWorkflowIdSchema: z.ZodString;
+export declare const WorkflowIdSchema: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+export declare const KnowledgeBaseInterfConfigSchema: z.ZodObject<{
+    type: z.ZodLiteral<"knowledge-base">;
+    name: z.ZodString;
+    workflow: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$loose>;
+export declare const InterfaceInterfConfigSchema: z.ZodObject<{
+    type: z.ZodLiteral<"interface">;
+    name: z.ZodString;
+    workflow: z.ZodOptional<z.ZodString>;
+    knowledge_base: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$loose>;
+export declare const InterfConfigSchema: z.ZodUnion<readonly [z.ZodObject<{
+    type: z.ZodLiteral<"knowledge-base">;
+    name: z.ZodString;
+    workflow: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$loose>, z.ZodObject<{
+    type: z.ZodLiteral<"interface">;
+    name: z.ZodString;
+    workflow: z.ZodOptional<z.ZodString>;
+    knowledge_base: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$loose>]>;
+export declare const KnowledgeBaseStateSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    pending: z.ZodArray<z.ZodString>;
+    summarized: z.ZodNumber;
+    compiled: z.ZodNumber;
+    last_add: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    last_summarize: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    last_compile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    inventory_complete: z.ZodOptional<z.ZodBoolean>;
+    abstracts_read: z.ZodOptional<z.ZodNumber>;
+    full_reads: z.ZodOptional<z.ZodNumber>;
+    entity_count: z.ZodOptional<z.ZodNumber>;
+    claim_count: z.ZodOptional<z.ZodNumber>;
+    warning_count: z.ZodOptional<z.ZodNumber>;
+    error_count: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const InterfaceStateSchema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    retrieve_complete: z.ZodBoolean;
+    analyze_complete: z.ZodBoolean;
+    compile_complete: z.ZodBoolean;
+    coverage_complete: z.ZodBoolean;
+    frontmatter_scanned: z.ZodNumber;
+    candidate_count: z.ZodNumber;
+    abstracts_read: z.ZodNumber;
+    expansion_passes: z.ZodNumber;
+    relevant_count: z.ZodNumber;
+    rejected_count: z.ZodNumber;
+    delta_count: z.ZodNumber;
+    delta_files: z.ZodArray<z.ZodString>;
+    last_retrieve: z.ZodNullable<z.ZodString>;
+    last_analyze: z.ZodNullable<z.ZodString>;
+    last_compile: z.ZodNullable<z.ZodString>;
+    knowledge_base_summary_count_at_last_compile: z.ZodNumber;
+    extracted_entities: z.ZodNumber;
+    extracted_claims: z.ZodNumber;
+    entity_count: z.ZodNumber;
+    claim_count: z.ZodNumber;
+    output_count: z.ZodNumber;
+    warning_count: z.ZodNumber;
+    error_count: z.ZodNumber;
+}, z.core.$strip>;
+export declare const ViewSectionSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodEnum<{
+        status: "status";
+        cards: "cards";
+        graph: "graph";
+        documents: "documents";
+        table: "table";
+    }>;
+    title: z.ZodString;
+    path: z.ZodOptional<z.ZodString>;
+    paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export declare const ViewCardSchema: z.ZodObject<{
+    id: z.ZodString;
+    label: z.ZodString;
+    metric: z.ZodString;
+    denominator_metric: z.ZodOptional<z.ZodString>;
+    format: z.ZodEnum<{
+        number: "number";
+        fraction: "fraction";
+        timestamp: "timestamp";
+    }>;
+}, z.core.$strip>;
+export declare const KnowledgeBaseHealthSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"knowledge-base-health">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    target_name: z.ZodString;
+    status: z.ZodEnum<{
+        compiled: "compiled";
+        idle: "idle";
+        running: "running";
+        stale: "stale";
+        failed: "failed";
+    }>;
+    stage: z.ZodEnum<{
+        compiled: "compiled";
+        idle: "idle";
+        failed: "failed";
+        summarize: "summarize";
+        compile: "compile";
+    }>;
+    summary: z.ZodString;
+    metrics: z.ZodObject<{
+        source_total: z.ZodNumber;
+        source_covered: z.ZodNumber;
+        summarized: z.ZodNumber;
+        to_summarize: z.ZodNumber;
+        compiled: z.ZodNumber;
+        to_compile: z.ZodNumber;
+        entities: z.ZodNumber;
+        claims: z.ZodNumber;
+        outputs: z.ZodNumber;
+        invalid_frontmatter: z.ZodNumber;
+        short_abstracts: z.ZodNumber;
+        broken_links: z.ZodNumber;
+        warnings: z.ZodNumber;
+        errors: z.ZodNumber;
+    }, z.core.$strip>;
+    checks: z.ZodObject<{
+        config_present: z.ZodBoolean;
+        config_valid: z.ZodBoolean;
+        config_type_match: z.ZodBoolean;
+        summaries_present: z.ZodBoolean;
+        inventory_present: z.ZodBoolean;
+        outputs_present: z.ZodBoolean;
+        home_present: z.ZodBoolean;
+        summary_frontmatter_valid: z.ZodBoolean;
+        abstracts_valid: z.ZodBoolean;
+        links_valid: z.ZodBoolean;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export declare const InterfaceHealthSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interface-health">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    interface_name: z.ZodString;
+    status: z.ZodEnum<{
+        compiled: "compiled";
+        idle: "idle";
+        running: "running";
+        stale: "stale";
+        failed: "failed";
+    }>;
+    stage: z.ZodEnum<{
+        compiled: "compiled";
+        idle: "idle";
+        failed: "failed";
+        compile: "compile";
+        create: "create";
+        retrieve: "retrieve";
+        analyze: "analyze";
+    }>;
+    summary: z.ZodString;
+    metrics: z.ZodObject<{
+        knowledge_base_total: z.ZodNumber;
+        knowledge_base_compiled: z.ZodNumber;
+        to_compile: z.ZodNumber;
+        frontmatter_scanned: z.ZodNumber;
+        candidate_count: z.ZodNumber;
+        abstracts_read: z.ZodNumber;
+        expansion_passes: z.ZodNumber;
+        relevant: z.ZodNumber;
+        rejected: z.ZodNumber;
+        delta: z.ZodNumber;
+        entities: z.ZodNumber;
+        claims: z.ZodNumber;
+        outputs: z.ZodNumber;
+        broken_links: z.ZodNumber;
+        warnings: z.ZodNumber;
+        errors: z.ZodNumber;
+    }, z.core.$strip>;
+    checks: z.ZodObject<{
+        config_present: z.ZodBoolean;
+        config_valid: z.ZodBoolean;
+        config_type_match: z.ZodBoolean;
+        knowledge_base_path_valid: z.ZodBoolean;
+        coverage_proof: z.ZodBoolean;
+        coverage_complete: z.ZodBoolean;
+        retrieved_set: z.ZodBoolean;
+        analysis_pending: z.ZodBoolean;
+        outputs_present: z.ZodBoolean;
+        home_present: z.ZodBoolean;
+        links_valid: z.ZodBoolean;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export declare const KnowledgeBaseViewSpecSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"knowledge-base-view-spec">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    target_name: z.ZodString;
+    health_source: z.ZodString;
+    state_source: z.ZodString;
+    default_note: z.ZodString;
+    graph_scope: z.ZodArray<z.ZodString>;
+    cards: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        metric: z.ZodString;
+        denominator_metric: z.ZodOptional<z.ZodString>;
+        format: z.ZodEnum<{
+            number: "number";
+            fraction: "fraction";
+            timestamp: "timestamp";
+        }>;
+    }, z.core.$strip>>;
+    sections: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodEnum<{
+            status: "status";
+            cards: "cards";
+            graph: "graph";
+            documents: "documents";
+            table: "table";
+        }>;
+        title: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const InterfaceViewSpecSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interface-view-spec">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    interface_name: z.ZodString;
+    health_source: z.ZodString;
+    state_source: z.ZodString;
+    default_note: z.ZodString;
+    graph_scope: z.ZodArray<z.ZodString>;
+    cards: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        metric: z.ZodString;
+        denominator_metric: z.ZodOptional<z.ZodString>;
+        format: z.ZodEnum<{
+            number: "number";
+            fraction: "fraction";
+            timestamp: "timestamp";
+        }>;
+    }, z.core.$strip>>;
+    sections: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodEnum<{
+            status: "status";
+            cards: "cards";
+            graph: "graph";
+            documents: "documents";
+            table: "table";
+        }>;
+        title: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const KnowledgeBaseSourceAccessSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"knowledge-base-source-access">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    target_name: z.ZodString;
+    source_root: z.ZodString;
+    source_total: z.ZodNumber;
+    sample_files: z.ZodArray<z.ZodString>;
+    suggested_checks: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+export declare const RuntimeExecutorInfoSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        "local-agent": "local-agent";
+        "connected-provider": "connected-provider";
+        managed: "managed";
+    }>;
+    name: z.ZodString;
+    display_name: z.ZodString;
+    command: z.ZodNullable<z.ZodString>;
+    model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+}, z.core.$strip>;
+export declare const RuntimeStageInstructionsSchema: z.ZodObject<{
+    bundled_skill: z.ZodString;
+    effective_mode: z.ZodEnum<{
+        builtin: "builtin";
+        extend: "extend";
+        override: "override";
+    }>;
+    local_mode: z.ZodNullable<z.ZodEnum<{
+        extend: "extend";
+        override: "override";
+    }>>;
+    local_docs: z.ZodArray<z.ZodString>;
+    mode_sources: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+export declare const RuntimeStageAcceptanceSchema: z.ZodObject<{
+    artifacts_exist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    state_truthy: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    state_equals_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    state_at_least: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    state_at_least_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+}, z.core.$strip>;
+export declare const RuntimeStageContractSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-stage-contract">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    run_id: z.ZodString;
+    target_type: z.ZodEnum<{
+        "knowledge-base": "knowledge-base";
+        interface: "interface";
+    }>;
+    target_name: z.ZodString;
+    workflow: z.ZodObject<{
+        id: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+        stage_index: z.ZodNullable<z.ZodNumber>;
+        stage_total: z.ZodNumber;
+        stages: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+    stage: z.ZodString;
+    stage_label: z.ZodString;
+    contract_type: z.ZodEnum<{
+        "kb-file-evidence": "kb-file-evidence";
+        "kb-knowledge-layer": "kb-knowledge-layer";
+        "interface-plan": "interface-plan";
+        "interface-retrieval": "interface-retrieval";
+        "interface-analysis": "interface-analysis";
+        "interface-output": "interface-output";
+    }>;
+    executor: z.ZodObject<{
+        kind: z.ZodEnum<{
+            "local-agent": "local-agent";
+            "connected-provider": "connected-provider";
+            managed: "managed";
+        }>;
+        name: z.ZodString;
+        display_name: z.ZodString;
+        command: z.ZodNullable<z.ZodString>;
+        model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    }, z.core.$strip>;
+    instructions: z.ZodObject<{
+        bundled_skill: z.ZodString;
+        effective_mode: z.ZodEnum<{
+            builtin: "builtin";
+            extend: "extend";
+            override: "override";
+        }>;
+        local_mode: z.ZodNullable<z.ZodEnum<{
+            extend: "extend";
+            override: "override";
+        }>>;
+        local_docs: z.ZodArray<z.ZodString>;
+        mode_sources: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+    counts: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    acceptance: z.ZodOptional<z.ZodObject<{
+        artifacts_exist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        state_truthy: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        state_equals_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        state_at_least: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        state_at_least_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, z.core.$strip>>;
+    artifacts: z.ZodObject<{
+        reads: z.ZodArray<z.ZodString>;
+        writes: z.ZodArray<z.ZodString>;
+        verifies: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+    policies: z.ZodObject<{
+        execution_mode: z.ZodLiteral<"deterministic">;
+        status_prefixes: z.ZodArray<z.ZodString>;
+        notes: z.ZodArray<z.ZodString>;
+        evidence_weighting: z.ZodOptional<z.ZodObject<{
+            required_fields: z.ZodArray<z.ZodString>;
+            preserve_tiers: z.ZodBoolean;
+        }, z.core.$strip>>;
+        working_set: z.ZodOptional<z.ZodObject<{
+            target_context_fraction: z.ZodNumber;
+            strategy: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export declare const RuntimeRunSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-run">;
+    version: z.ZodLiteral<1>;
+    run_id: z.ZodString;
+    target_type: z.ZodEnum<{
+        "knowledge-base": "knowledge-base";
+        interface: "interface";
+    }>;
+    target_name: z.ZodString;
+    workflow: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    stage: z.ZodString;
+    stage_label: z.ZodString;
+    contract_type: z.ZodEnum<{
+        "kb-file-evidence": "kb-file-evidence";
+        "kb-knowledge-layer": "kb-knowledge-layer";
+        "interface-plan": "interface-plan";
+        "interface-retrieval": "interface-retrieval";
+        "interface-analysis": "interface-analysis";
+        "interface-output": "interface-output";
+    }>;
+    status: z.ZodEnum<{
+        running: "running";
+        failed: "failed";
+        succeeded: "succeeded";
+    }>;
+    executor: z.ZodObject<{
+        kind: z.ZodEnum<{
+            "local-agent": "local-agent";
+            "connected-provider": "connected-provider";
+            managed: "managed";
+        }>;
+        name: z.ZodString;
+        display_name: z.ZodString;
+        command: z.ZodNullable<z.ZodString>;
+        model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    }, z.core.$strip>;
+    started_at: z.ZodString;
+    updated_at: z.ZodString;
+    finished_at: z.ZodNullable<z.ZodString>;
+    contract_path: z.ZodString;
+    counts: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    output_artifacts: z.ZodArray<z.ZodString>;
+    logs: z.ZodOptional<z.ZodObject<{
+        prompt_path: z.ZodString;
+        event_stream_path: z.ZodString;
+        status_path: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    summary: z.ZodString;
+    exit_code: z.ZodNullable<z.ZodNumber>;
+    error: z.ZodNullable<z.ZodString>;
+}, z.core.$strip>;
+export declare const KnowledgeBaseInventorySchema: z.ZodUnion<readonly [z.ZodObject<{
+    total: z.ZodNumber;
+    files: z.ZodArray<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strip>, z.ZodObject<{
+    summary_total: z.ZodNumber;
+    summaries: z.ZodArray<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strip>, z.ZodObject<{
+    entries: z.ZodArray<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    total: z.ZodOptional<z.ZodNumber>;
+    summary_total: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>]>;
+export declare const InterfaceRelevantSchema: z.ZodUnion<readonly [z.ZodObject<{
+    generated_at: z.ZodString;
+    knowledge_base_summary_count: z.ZodNumber;
+    relevant_files: z.ZodArray<z.ZodString>;
+    delta_files: z.ZodArray<z.ZodString>;
+}, z.core.$loose>, z.ZodObject<{
+    query_timestamp: z.ZodString;
+    relevant: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+    }, z.core.$loose>>;
+    rejected: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+    }, z.core.$loose>>;
+    total_scanned: z.ZodNumber;
+    total_relevant: z.ZodNumber;
+    total_rejected: z.ZodNumber;
+}, z.core.$loose>]>;
+export declare const InterfaceCoverageSchema: z.ZodUnion<readonly [z.ZodObject<{
+    generated_at: z.ZodString;
+    knowledge_base_summary_count: z.ZodNumber;
+    frontmatter_scanned: z.ZodNumber;
+    expansion_passes: z.ZodNumber;
+    candidate_files: z.ZodArray<z.ZodString>;
+    abstract_reviewed_files: z.ZodArray<z.ZodString>;
+    selected_files: z.ZodArray<z.ZodString>;
+    rejected_files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+    }, z.core.$loose>>;
+}, z.core.$loose>, z.ZodObject<{
+    generated_at: z.ZodString;
+    knowledge_base_summary_total: z.ZodNumber;
+    frontmatter_scanned: z.ZodNumber;
+    candidates_after_frontmatter: z.ZodNumber;
+    abstracts_reviewed: z.ZodNumber;
+    relevant_selected: z.ZodNumber;
+    rejected: z.ZodNumber;
+    expansion_passes: z.ZodNumber;
+    coverage_complete: z.ZodBoolean;
+    proof: z.ZodObject<{
+        scanned: z.ZodArray<z.ZodString>;
+        reviewed: z.ZodArray<z.ZodString>;
+        retrieved: z.ZodArray<z.ZodString>;
+        excluded: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$loose>, z.ZodObject<{
+    query_timestamp: z.ZodString;
+    coverage_complete: z.ZodBoolean;
+    entities: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    comparators: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    gaps: z.ZodArray<z.ZodUnknown>;
+}, z.core.$loose>]>;
+export declare const BenchmarkCaseExpectSchema: z.ZodObject<{
+    must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    min_words: z.ZodOptional<z.ZodNumber>;
+    max_words: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const BenchmarkCaseSchema: z.ZodObject<{
+    id: z.ZodString;
+    question: z.ZodString;
+    file: z.ZodString;
+    expect: z.ZodOptional<z.ZodObject<{
+        must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        min_words: z.ZodOptional<z.ZodNumber>;
+        max_words: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const BenchmarkSpecSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        "knowledge-base": "knowledge-base";
+        interface: "interface";
+    }>;
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    cases: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        question: z.ZodString;
+        file: z.ZodString;
+        expect: z.ZodOptional<z.ZodObject<{
+            must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            min_words: z.ZodOptional<z.ZodNumber>;
+            max_words: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const BenchmarkCheckResultSchema: z.ZodObject<{
+    label: z.ZodString;
+    ok: z.ZodBoolean;
+    detail: z.ZodString;
+}, z.core.$strip>;
+export declare const BenchmarkCaseResultSchema: z.ZodObject<{
+    caseId: z.ZodString;
+    question: z.ZodString;
+    file: z.ZodString;
+    ok: z.ZodBoolean;
+    wordCount: z.ZodNumber;
+    passedChecks: z.ZodNumber;
+    totalChecks: z.ZodNumber;
+    checks: z.ZodArray<z.ZodObject<{
+        label: z.ZodString;
+        ok: z.ZodBoolean;
+        detail: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const BenchmarkTargetResultSchema: z.ZodObject<{
+    target: z.ZodObject<{
+        type: z.ZodEnum<{
+            "knowledge-base": "knowledge-base";
+            interface: "interface";
+        }>;
+        name: z.ZodString;
+        path: z.ZodString;
+        workflow: z.ZodString;
+        knowledgeBaseName: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    ok: z.ZodBoolean;
+    passedCases: z.ZodNumber;
+    totalCases: z.ZodNumber;
+    passedChecks: z.ZodNumber;
+    totalChecks: z.ZodNumber;
+    caseResults: z.ZodArray<z.ZodObject<{
+        caseId: z.ZodString;
+        question: z.ZodString;
+        file: z.ZodString;
+        ok: z.ZodBoolean;
+        wordCount: z.ZodNumber;
+        passedChecks: z.ZodNumber;
+        totalChecks: z.ZodNumber;
+        checks: z.ZodArray<z.ZodObject<{
+            label: z.ZodString;
+            ok: z.ZodBoolean;
+            detail: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const BenchmarkRunResultSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-benchmark-run">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    benchmark: z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        type: z.ZodEnum<{
+            "knowledge-base": "knowledge-base";
+            interface: "interface";
+        }>;
+        file: z.ZodString;
+    }, z.core.$strip>;
+    source_path: z.ZodString;
+    target_count: z.ZodNumber;
+    results: z.ZodArray<z.ZodObject<{
+        target: z.ZodObject<{
+            type: z.ZodEnum<{
+                "knowledge-base": "knowledge-base";
+                interface: "interface";
+            }>;
+            name: z.ZodString;
+            path: z.ZodString;
+            workflow: z.ZodString;
+            knowledgeBaseName: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        ok: z.ZodBoolean;
+        passedCases: z.ZodNumber;
+        totalCases: z.ZodNumber;
+        passedChecks: z.ZodNumber;
+        totalChecks: z.ZodNumber;
+        caseResults: z.ZodArray<z.ZodObject<{
+            caseId: z.ZodString;
+            question: z.ZodString;
+            file: z.ZodString;
+            ok: z.ZodBoolean;
+            wordCount: z.ZodNumber;
+            passedChecks: z.ZodNumber;
+            totalChecks: z.ZodNumber;
+            checks: z.ZodArray<z.ZodObject<{
+                label: z.ZodString;
+                ok: z.ZodBoolean;
+                detail: z.ZodString;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const InterfUserConfigSchema: z.ZodObject<{
+    agent: z.ZodString;
+    agentCommand: z.ZodString;
+    skillsInstalled: z.ZodBoolean;
+    viewer: z.ZodOptional<z.ZodEnum<{
+        plain: "plain";
+        obsidian: "obsidian";
+    }>>;
+    initialized: z.ZodString;
+}, z.core.$strip>;
+export type KnowledgeBaseState = z.infer<typeof KnowledgeBaseStateSchema>;
+export type InterfConfig = z.infer<typeof InterfConfigSchema>;
+export type InterfaceState = z.infer<typeof InterfaceStateSchema>;
+export type ViewSection = z.infer<typeof ViewSectionSchema>;
+export type ViewCard = z.infer<typeof ViewCardSchema>;
+export type KnowledgeBaseHealth = z.infer<typeof KnowledgeBaseHealthSchema>;
+export type InterfaceHealth = z.infer<typeof InterfaceHealthSchema>;
+export type KnowledgeBaseViewSpec = z.infer<typeof KnowledgeBaseViewSpecSchema>;
+export type InterfaceViewSpec = z.infer<typeof InterfaceViewSpecSchema>;
+export type KnowledgeBaseSourceAccess = z.infer<typeof KnowledgeBaseSourceAccessSchema>;
+export type RuntimeExecutorInfo = z.infer<typeof RuntimeExecutorInfoSchema>;
+export type RuntimeTargetType = z.infer<typeof RuntimeTargetTypeSchema>;
+export type RuntimeStage = z.infer<typeof RuntimeStageSchema>;
+export type RuntimeContractType = z.infer<typeof RuntimeContractTypeSchema>;
+export type KnowledgeBaseWorkflowId = z.infer<typeof KnowledgeBaseWorkflowIdSchema>;
+export type InterfaceWorkflowId = z.infer<typeof InterfaceWorkflowIdSchema>;
+export type WorkflowId = z.infer<typeof WorkflowIdSchema>;
+export type LocalInstructionMode = "extend" | "override";
+export type RuntimeInstructionMode = "builtin" | LocalInstructionMode;
+export type RuntimeStageInstructions = z.infer<typeof RuntimeStageInstructionsSchema>;
+export type RuntimeStageAcceptance = z.infer<typeof RuntimeStageAcceptanceSchema>;
+export type RuntimeStageContract = z.infer<typeof RuntimeStageContractSchema>;
+export type RuntimeRun = z.infer<typeof RuntimeRunSchema>;
+export type KnowledgeBaseInventory = z.infer<typeof KnowledgeBaseInventorySchema>;
+export type InterfaceRelevant = z.infer<typeof InterfaceRelevantSchema>;
+export type InterfaceCoverage = z.infer<typeof InterfaceCoverageSchema>;
+export type BenchmarkCaseExpect = z.infer<typeof BenchmarkCaseExpectSchema>;
+export type BenchmarkCase = z.infer<typeof BenchmarkCaseSchema>;
+export type BenchmarkSpec = z.infer<typeof BenchmarkSpecSchema>;
+export type BenchmarkCheckResult = z.infer<typeof BenchmarkCheckResultSchema>;
+export type BenchmarkCaseResult = z.infer<typeof BenchmarkCaseResultSchema>;
+export type BenchmarkTargetResult = z.infer<typeof BenchmarkTargetResultSchema>;
+export type BenchmarkRunResult = z.infer<typeof BenchmarkRunResultSchema>;
+export type InterfUserConfig = z.infer<typeof InterfUserConfigSchema>;
+//# sourceMappingURL=schema.d.ts.map