@interf/compiler 0.5.1 → 0.6.3

package/dist/packages/compiler/lib/schema.d.ts

@@ -0,0 +1,684 @@
+import { z } from "zod";
+export type RuntimeStatus = "idle" | "running" | "compiled" | "stale" | "failed";
+export type CompiledStage = "idle" | "compiled" | "failed" | string;
+export declare const RuntimeTargetTypeSchema: z.ZodEnum<{
+    compiled: "compiled";
+}>;
+export declare const TestTargetTypeSchema: z.ZodEnum<{
+    compiled: "compiled";
+    raw: "raw";
+}>;
+export declare const WorkflowIdPattern: RegExp;
+export declare const RuntimeStageSchema: z.ZodString;
+export declare const RuntimeContractTypeSchema: z.ZodString;
+export declare const WorkflowIdSchema: z.ZodString;
+export declare const WorkflowZoneIdSchema: z.ZodString;
+export declare const WorkflowCompiledZoneKindSchema: z.ZodEnum<{
+    runtime: "runtime";
+    directory: "directory";
+    file: "file";
+}>;
+export declare const WorkflowZoneRoleSchema: z.ZodEnum<{
+    output: "output";
+    runtime: "runtime";
+    input: "input";
+    working: "working";
+}>;
+export declare const CompiledStageStatusSchema: z.ZodEnum<{
+    idle: "idle";
+    running: "running";
+    failed: "failed";
+    succeeded: "succeeded";
+}>;
+export declare const SourceCompiledMaxAttemptsSchema: z.ZodNumber;
+export declare const SourceCompiledMaxLoopsSchema: z.ZodNumber;
+export declare const CompiledStageStateSchema: z.ZodObject<{
+    contract_type: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<{
+        idle: "idle";
+        running: "running";
+        failed: "failed";
+        succeeded: "succeeded";
+    }>>;
+    started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    zone_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    artifacts: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strip>;
+export declare const CompiledStateSchema: z.ZodObject<{
+    version: z.ZodNumber;
+    pending: z.ZodArray<z.ZodString>;
+    stages: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        contract_type: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodEnum<{
+            idle: "idle";
+            running: "running";
+            failed: "failed";
+            succeeded: "succeeded";
+        }>>;
+        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        zone_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        artifacts: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>>>;
+    last_add: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    last_compile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    warning_count: z.ZodOptional<z.ZodNumber>;
+    error_count: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+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 CompiledHealthSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"compiled-health">;
+    version: z.ZodNumber;
+    generated_at: z.ZodString;
+    target_name: z.ZodString;
+    status: z.ZodEnum<{
+        compiled: "compiled";
+        idle: "idle";
+        running: "running";
+        stale: "stale";
+        failed: "failed";
+    }>;
+    stage: z.ZodUnion<readonly [z.ZodEnum<{
+        compiled: "compiled";
+        idle: "idle";
+        failed: "failed";
+    }>, z.ZodString]>;
+    summary: z.ZodString;
+    metrics: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    checks: z.ZodRecord<z.ZodString, z.ZodBoolean>;
+}, z.core.$strip>;
+export declare const CompiledViewSpecSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"compiled-view-spec">;
+    version: z.ZodNumber;
+    generated_at: z.ZodString;
+    target_name: z.ZodString;
+    health_source: z.ZodString;
+    state_source: z.ZodString;
+    default_note: z.ZodNullable<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 CompiledRawSnapshotSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"compiled-raw-snapshot">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    target_name: z.ZodString;
+    source_root: z.ZodString;
+    raw_root: z.ZodString;
+    source_total: z.ZodNumber;
+    sample_files: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+export declare const WorkflowPurposeSchema: z.ZodObject<{
+    label: z.ZodString;
+    task_hint: z.ZodString;
+}, z.core.$strict>;
+export declare const WorkflowZoneSchema: z.ZodObject<{
+    id: z.ZodString;
+    role: z.ZodEnum<{
+        output: "output";
+        runtime: "runtime";
+        input: "input";
+        working: "working";
+    }>;
+    path: z.ZodString;
+    kind: z.ZodEnum<{
+        runtime: "runtime";
+        directory: "directory";
+        file: "file";
+    }>;
+    required: z.ZodBoolean;
+    owned_by: z.ZodArray<z.ZodString>;
+    description: z.ZodString;
+}, z.core.$strip>;
+export declare const WorkflowCompiledZoneSchema: z.ZodObject<{
+    id: z.ZodString;
+    role: z.ZodEnum<{
+        output: "output";
+        runtime: "runtime";
+        input: "input";
+        working: "working";
+    }>;
+    path: z.ZodString;
+    kind: z.ZodEnum<{
+        runtime: "runtime";
+        directory: "directory";
+        file: "file";
+    }>;
+    required: z.ZodBoolean;
+    owned_by: z.ZodArray<z.ZodString>;
+    description: z.ZodString;
+}, z.core.$strip>;
+export declare const WorkflowSchemaSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"workflow-schema">;
+    version: z.ZodLiteral<1>;
+    target_type: z.ZodLiteral<"compiled">;
+    label: z.ZodString;
+    zones: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            output: "output";
+            runtime: "runtime";
+            input: "input";
+            working: "working";
+        }>;
+        path: z.ZodString;
+        kind: z.ZodEnum<{
+            runtime: "runtime";
+            directory: "directory";
+            file: "file";
+        }>;
+        required: z.ZodBoolean;
+        owned_by: z.ZodArray<z.ZodString>;
+        description: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const WorkflowCompiledSchemaSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"workflow-schema">;
+    version: z.ZodLiteral<1>;
+    target_type: z.ZodLiteral<"compiled">;
+    label: z.ZodString;
+    zones: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            output: "output";
+            runtime: "runtime";
+            input: "input";
+            working: "working";
+        }>;
+        path: z.ZodString;
+        kind: z.ZodEnum<{
+            runtime: "runtime";
+            directory: "directory";
+            file: "file";
+        }>;
+        required: z.ZodBoolean;
+        owned_by: z.ZodArray<z.ZodString>;
+        description: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const WorkflowCompilerApiSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"compiled">;
+    version: z.ZodLiteral<1>;
+}, z.core.$strip>;
+export type WorkflowCompilerApi = z.infer<typeof WorkflowCompilerApiSchema>;
+export declare const WorkflowStageZoneAccessSchema: z.ZodArray<z.ZodString>;
+export declare const ExecutionShellZoneMountSchema: z.ZodObject<{
+    zone_id: z.ZodString;
+    compiled_path: z.ZodString;
+    shell_root_path: z.ZodString;
+    input_mount_path: z.ZodNullable<z.ZodString>;
+    output_mount_path: z.ZodNullable<z.ZodString>;
+}, z.core.$strip>;
+export declare const ExecutionShellPathsSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-execution-shell">;
+    version: z.ZodLiteral<1>;
+    workflow: z.ZodString;
+    stage: z.ZodString;
+    reads: z.ZodArray<z.ZodObject<{
+        zone_id: z.ZodString;
+        compiled_path: z.ZodString;
+        shell_root_path: z.ZodString;
+        input_mount_path: z.ZodNullable<z.ZodString>;
+        output_mount_path: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>>;
+    writes: z.ZodArray<z.ZodObject<{
+        zone_id: z.ZodString;
+        compiled_path: z.ZodString;
+        shell_root_path: z.ZodString;
+        input_mount_path: z.ZodNullable<z.ZodString>;
+        output_mount_path: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>>;
+}, 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<{
+    stage_skill_dir: 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.$strict>;
+export declare const RuntimeStageAcceptanceSchema: z.ZodObject<{
+    artifacts_exist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    stage_truthy: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    stage_equals_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    stage_at_least: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    stage_at_least_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    zone_counts_at_least: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    zone_counts_at_least_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    markdown_frontmatter_valid_zones: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    frontmatter_required_keys_in_zones: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+    markdown_abstract_valid_zones: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    wikilinks_valid_in_zones: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    artifacts_must_not_contain: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+}, z.core.$strict>;
+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<{
+        compiled: "compiled";
+    }>;
+    target_name: z.ZodString;
+    workflow: z.ZodObject<{
+        id: 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.ZodString;
+    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<{
+        stage_skill_dir: 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.$strict>;
+    counts: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    acceptance: z.ZodOptional<z.ZodObject<{
+        artifacts_exist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        stage_truthy: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        stage_equals_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        stage_at_least: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        stage_at_least_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        zone_counts_at_least: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        zone_counts_at_least_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        markdown_frontmatter_valid_zones: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        frontmatter_required_keys_in_zones: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+        markdown_abstract_valid_zones: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        wikilinks_valid_in_zones: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        artifacts_must_not_contain: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+    }, z.core.$strict>>;
+    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<{
+        compiled: "compiled";
+    }>;
+    target_name: z.ZodString;
+    workflow: z.ZodString;
+    stage: z.ZodString;
+    stage_label: z.ZodString;
+    contract_type: z.ZodString;
+    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;
+    execution_path: z.ZodOptional<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 CompiledInventoryEntrySchema: z.ZodObject<{
+    input_zone: z.ZodOptional<z.ZodString>;
+    input_path: z.ZodOptional<z.ZodString>;
+    output_zone: z.ZodString;
+    output_path: z.ZodString;
+    state: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const CompiledInventorySchema: z.ZodObject<{
+    kind: z.ZodOptional<z.ZodLiteral<"compiled-runtime-ledger">>;
+    version: z.ZodOptional<z.ZodNumber>;
+    stage: z.ZodOptional<z.ZodString>;
+    entries: z.ZodArray<z.ZodObject<{
+        input_zone: z.ZodOptional<z.ZodString>;
+        input_path: z.ZodOptional<z.ZodString>;
+        output_zone: z.ZodString;
+        output_path: z.ZodString;
+        state: z.ZodOptional<z.ZodString>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>;
+    total: z.ZodNumber;
+}, z.core.$strip>;
+export declare const TestCaseExpectSchema: z.ZodObject<{
+    must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    must_include_one_of: z.ZodOptional<z.ZodArray<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 WorkflowImprovementLoopSummarySchema: z.ZodObject<{
+    variation: z.ZodNumber;
+    kind: z.ZodEnum<{
+        baseline: "baseline";
+        edited: "edited";
+    }>;
+    attempts_run: z.ZodNumber;
+    passed: z.ZodBoolean;
+    passed_questions: z.ZodNumber;
+    total_questions: z.ZodNumber;
+    failed_stage: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    test_run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    test_sandbox_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    summary: z.ZodString;
+}, z.core.$strip>;
+export declare const WorkflowImprovementContextSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-workflow-improvement-loop">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    target_name: z.ZodString;
+    workflow_id: z.ZodString;
+    loop_index: z.ZodNumber;
+    max_loops: z.ZodNumber;
+    max_attempts: z.ZodNumber;
+    review_paths: z.ZodObject<{
+        workflow_root: z.ZodString;
+        compiled_runtime: z.ZodNullable<z.ZodString>;
+        test_comparisons: z.ZodNullable<z.ZodString>;
+        execution_shells: z.ZodNullable<z.ZodString>;
+        test_runs: z.ZodNullable<z.ZodString>;
+        test_sandboxes: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+    truth_checks: z.ZodObject<{
+        count: z.ZodNumber;
+        questions: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            question: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    previous_variations: z.ZodArray<z.ZodObject<{
+        variation: z.ZodNumber;
+        kind: z.ZodEnum<{
+            baseline: "baseline";
+            edited: "edited";
+        }>;
+        attempts_run: z.ZodNumber;
+        passed: z.ZodBoolean;
+        passed_questions: z.ZodNumber;
+        total_questions: z.ZodNumber;
+        failed_stage: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        test_run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        test_sandbox_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        summary: z.ZodString;
+    }, z.core.$strip>>;
+    latest_failure: z.ZodNullable<z.ZodObject<{
+        variation: z.ZodNumber;
+        kind: z.ZodEnum<{
+            baseline: "baseline";
+            edited: "edited";
+        }>;
+        attempts_run: z.ZodNumber;
+        passed: z.ZodBoolean;
+        passed_questions: z.ZodNumber;
+        total_questions: z.ZodNumber;
+        failed_stage: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        test_run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        test_sandbox_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        summary: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type WorkflowImprovementLoopSummary = z.infer<typeof WorkflowImprovementLoopSummarySchema>;
+export type WorkflowImprovementContext = z.infer<typeof WorkflowImprovementContextSchema>;
+export declare const PreservedShellTypeSchema: z.ZodEnum<{
+    "stage-execution": "stage-execution";
+    "workflow-improvement": "workflow-improvement";
+}>;
+export declare const PreservedShellSnapshotSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-preserved-shell">;
+    version: z.ZodLiteral<1>;
+    shell_type: z.ZodEnum<{
+        "stage-execution": "stage-execution";
+        "workflow-improvement": "workflow-improvement";
+    }>;
+    generated_at: z.ZodString;
+    root_path: z.ZodString;
+    materialized_symlinks: z.ZodNumber;
+}, z.core.$strip>;
+export declare const WorkflowPackageValidationSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    summary: z.ZodString;
+    errors: z.ZodArray<z.ZodString>;
+    counts: z.ZodRecord<z.ZodString, z.ZodNumber>;
+}, z.core.$strip>;
+export declare const WorkflowImprovementLoopRecordSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-workflow-improvement-loop-record">;
+    version: z.ZodLiteral<1>;
+    recorded_at: z.ZodString;
+    run_id: z.ZodString;
+    loop_index: z.ZodNumber;
+    target_name: z.ZodString;
+    workflow_id: z.ZodString;
+    result: z.ZodEnum<{
+        updated: "updated";
+        "no-change": "no-change";
+        invalid: "invalid";
+        "executor-failed": "executor-failed";
+    }>;
+    changed: z.ZodBoolean;
+    applied: z.ZodBoolean;
+    summary: z.ZodString;
+    shell_path: z.ZodString;
+    loop_root_path: z.ZodString;
+    context_path: z.ZodString;
+    workflow_before_path: z.ZodString;
+    workflow_after_path: z.ZodString;
+    prompt_log_path: z.ZodString;
+    event_log_path: z.ZodString;
+    status_log_path: z.ZodString;
+    preserved_shell_manifest_path: z.ZodNullable<z.ZodString>;
+    validation: z.ZodNullable<z.ZodObject<{
+        ok: z.ZodBoolean;
+        summary: z.ZodString;
+        errors: z.ZodArray<z.ZodString>;
+        counts: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const WorkflowImprovementRunLedgerSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-workflow-improvement-run">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    updated_at: z.ZodString;
+    run_id: z.ZodString;
+    target_name: z.ZodString;
+    workflow_id: z.ZodString;
+    max_loops: z.ZodNumber;
+    max_attempts: z.ZodNumber;
+    loops: z.ZodArray<z.ZodObject<{
+        kind: z.ZodLiteral<"interf-workflow-improvement-loop-record">;
+        version: z.ZodLiteral<1>;
+        recorded_at: z.ZodString;
+        run_id: z.ZodString;
+        loop_index: z.ZodNumber;
+        target_name: z.ZodString;
+        workflow_id: z.ZodString;
+        result: z.ZodEnum<{
+            updated: "updated";
+            "no-change": "no-change";
+            invalid: "invalid";
+            "executor-failed": "executor-failed";
+        }>;
+        changed: z.ZodBoolean;
+        applied: z.ZodBoolean;
+        summary: z.ZodString;
+        shell_path: z.ZodString;
+        loop_root_path: z.ZodString;
+        context_path: z.ZodString;
+        workflow_before_path: z.ZodString;
+        workflow_after_path: z.ZodString;
+        prompt_log_path: z.ZodString;
+        event_log_path: z.ZodString;
+        status_log_path: z.ZodString;
+        preserved_shell_manifest_path: z.ZodNullable<z.ZodString>;
+        validation: z.ZodNullable<z.ZodObject<{
+            ok: z.ZodBoolean;
+            summary: z.ZodString;
+            errors: z.ZodArray<z.ZodString>;
+            counts: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type PreservedShellType = z.infer<typeof PreservedShellTypeSchema>;
+export type PreservedShellSnapshot = z.infer<typeof PreservedShellSnapshotSchema>;
+export type WorkflowPackageValidation = z.infer<typeof WorkflowPackageValidationSchema>;
+export type WorkflowImprovementLoopRecord = z.infer<typeof WorkflowImprovementLoopRecordSchema>;
+export type WorkflowImprovementRunLedger = z.infer<typeof WorkflowImprovementRunLedgerSchema>;
+export type CompiledState = z.infer<typeof CompiledStateSchema>;
+export type ViewSection = z.infer<typeof ViewSectionSchema>;
+export type ViewCard = z.infer<typeof ViewCardSchema>;
+export type CompiledHealth = z.infer<typeof CompiledHealthSchema>;
+export type CompiledViewSpec = z.infer<typeof CompiledViewSpecSchema>;
+export type CompiledRawSnapshot = z.infer<typeof CompiledRawSnapshotSchema>;
+export type WorkflowCompiledZone = z.infer<typeof WorkflowCompiledZoneSchema>;
+export type WorkflowCompiledSchema = z.infer<typeof WorkflowCompiledSchemaSchema>;
+export type WorkflowCompiledZoneKind = z.infer<typeof WorkflowCompiledZoneKindSchema>;
+export type WorkflowZoneId = z.infer<typeof WorkflowZoneIdSchema>;
+export type ExecutionShellZoneMount = z.infer<typeof ExecutionShellZoneMountSchema>;
+export type ExecutionShellPaths = z.infer<typeof ExecutionShellPathsSchema>;
+export type RuntimeExecutorInfo = z.infer<typeof RuntimeExecutorInfoSchema>;
+export type RuntimeTargetType = z.infer<typeof RuntimeTargetTypeSchema>;
+export type TestTargetType = z.infer<typeof TestTargetTypeSchema>;
+export type RuntimeStage = z.infer<typeof RuntimeStageSchema>;
+export type RuntimeContractType = z.infer<typeof RuntimeContractTypeSchema>;
+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 CompiledInventoryEntry = z.infer<typeof CompiledInventoryEntrySchema>;
+export type CompiledInventory = z.infer<typeof CompiledInventorySchema>;
+export type TestCaseExpect = z.infer<typeof TestCaseExpectSchema>;