@interf/compiler 0.4.0 → 0.5.0

package/dist/lib/schema.d.ts

@@ -1,39 +1,73 @@
 import { z } from "zod";
 export type RuntimeStatus = "idle" | "running" | "compiled" | "stale" | "failed";
-export type WorkspaceStage = "idle" | "summarize" | "structure" | "shape" | "compiled" | "failed";
+export type CompiledStage = "idle" | "compiled" | "failed" | string;
 export declare const RuntimeTargetTypeSchema: z.ZodEnum<{
-    workspace: "workspace";
+    compiled: "compiled";
 }>;
 export declare const TestTargetTypeSchema: z.ZodEnum<{
+    compiled: "compiled";
     raw: "raw";
-    workspace: "workspace";
 }>;
 export declare const WorkflowIdPattern: RegExp;
 export declare const RuntimeStageSchema: z.ZodString;
-export declare const RuntimeContractTypeSchema: z.ZodEnum<{
-    "workspace-file-evidence": "workspace-file-evidence";
-    "workspace-knowledge-structure": "workspace-knowledge-structure";
-    "workspace-query-shape": "workspace-query-shape";
-}>;
+export declare const RuntimeContractTypeSchema: z.ZodString;
 export declare const WorkflowIdSchema: z.ZodString;
 export declare const WorkflowZoneIdSchema: z.ZodString;
-export declare const WorkflowWorkspaceZoneKindSchema: z.ZodEnum<{
+export declare const WorkflowCompiledZoneKindSchema: z.ZodEnum<{
     runtime: "runtime";
     directory: "directory";
     file: "file";
 }>;
-export declare const WorkspaceStateSchema: z.ZodObject<{
-    version: z.ZodLiteral<1>;
+export declare const CompiledStageStatusSchema: z.ZodEnum<{
+    idle: "idle";
+    running: "running";
+    failed: "failed";
+    succeeded: "succeeded";
+}>;
+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>;
-    summarized: z.ZodNumber;
+    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>>;
+    summarized: z.ZodOptional<z.ZodNumber>;
     structured: z.ZodOptional<z.ZodNumber>;
     shaped: z.ZodOptional<z.ZodNumber>;
-    compiled: z.ZodNumber;
-    last_add: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    compiled: z.ZodOptional<z.ZodNumber>;
     last_summarize: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     last_structure: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     last_shape: 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>;
@@ -66,64 +100,35 @@ export declare const ViewCardSchema: z.ZodObject<{
         timestamp: "timestamp";
     }>;
 }, z.core.$strip>;
-export declare const WorkspaceHealthSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"workspace-health">;
-    version: z.ZodLiteral<1>;
+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";
-        compiled: "compiled";
         stale: "stale";
         failed: "failed";
     }>;
-    stage: z.ZodEnum<{
-        summarize: "summarize";
-        structure: "structure";
-        shape: "shape";
-        idle: "idle";
+    stage: z.ZodUnion<readonly [z.ZodEnum<{
         compiled: "compiled";
+        idle: "idle";
         failed: "failed";
-    }>;
+    }>, z.ZodString]>;
     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>;
+    metrics: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    checks: z.ZodRecord<z.ZodString, z.ZodBoolean>;
 }, z.core.$strip>;
-export declare const WorkspaceViewSpecSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"workspace-view-spec">;
-    version: z.ZodLiteral<1>;
+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.ZodString;
+    default_note: z.ZodNullable<z.ZodString>;
     graph_scope: z.ZodArray<z.ZodString>;
     cards: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -150,8 +155,8 @@ export declare const WorkspaceViewSpecSchema: z.ZodObject<{
         paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strip>>;
 }, z.core.$strip>;
-export declare const WorkspaceRawSnapshotSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"workspace-raw-snapshot">;
+export declare const CompiledRawSnapshotSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"compiled-raw-snapshot">;
     version: z.ZodLiteral<1>;
     generated_at: z.ZodString;
     target_name: z.ZodString;
@@ -160,7 +165,7 @@ export declare const WorkspaceRawSnapshotSchema: z.ZodObject<{
     source_total: z.ZodNumber;
     sample_files: z.ZodArray<z.ZodString>;
 }, z.core.$strip>;
-export declare const WorkflowWorkspaceZoneSchema: z.ZodObject<{
+export declare const WorkflowCompiledZoneSchema: z.ZodObject<{
     id: z.ZodString;
     path: z.ZodString;
     kind: z.ZodEnum<{
@@ -172,10 +177,10 @@ export declare const WorkflowWorkspaceZoneSchema: z.ZodObject<{
     owned_by: z.ZodArray<z.ZodString>;
     description: z.ZodString;
 }, z.core.$strip>;
-export declare const WorkflowWorkspaceSchemaSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"workspace-schema">;
+export declare const WorkflowCompiledSchemaSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"compiled-schema">;
     version: z.ZodLiteral<1>;
-    target_type: z.ZodLiteral<"workspace">;
+    target_type: z.ZodLiteral<"compiled">;
     label: z.ZodString;
     zones: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -191,14 +196,14 @@ export declare const WorkflowWorkspaceSchemaSchema: z.ZodObject<{
     }, z.core.$strip>>;
 }, z.core.$strip>;
 export declare const WorkflowCompilerApiSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"workspace">;
+    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;
-    workspace_path: 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>;
@@ -210,14 +215,14 @@ export declare const ExecutionShellPathsSchema: z.ZodObject<{
     stage: z.ZodString;
     reads: z.ZodArray<z.ZodObject<{
         zone_id: z.ZodString;
-        workspace_path: 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;
-        workspace_path: 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>;
@@ -237,8 +242,8 @@ export declare const RuntimeExecutorInfoSchema: z.ZodObject<{
     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;
+export declare const RuntimeStageInstructionsSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+    stage_skill_dir: z.ZodString;
     effective_mode: z.ZodEnum<{
         builtin: "builtin";
         extend: "extend";
@@ -250,21 +255,27 @@ export declare const RuntimeStageInstructionsSchema: z.ZodObject<{
     }>>;
     local_docs: z.ZodArray<z.ZodString>;
     mode_sources: z.ZodArray<z.ZodString>;
-}, z.core.$strip>;
-export declare const RuntimeStageAcceptanceSchema: z.ZodObject<{
+}, z.core.$strip>>;
+export declare const RuntimeStageAcceptanceSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, 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>;
+    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>>;
+    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.$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<{
-        workspace: "workspace";
+        compiled: "compiled";
     }>;
     target_name: z.ZodString;
     workflow: z.ZodObject<{
@@ -275,11 +286,7 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
     }, z.core.$strip>;
     stage: z.ZodString;
     stage_label: z.ZodString;
-    contract_type: z.ZodEnum<{
-        "workspace-file-evidence": "workspace-file-evidence";
-        "workspace-knowledge-structure": "workspace-knowledge-structure";
-        "workspace-query-shape": "workspace-query-shape";
-    }>;
+    contract_type: z.ZodString;
     executor: z.ZodObject<{
         kind: z.ZodEnum<{
             "local-agent": "local-agent";
@@ -294,8 +301,8 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
         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;
+    instructions: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+        stage_skill_dir: z.ZodString;
         effective_mode: z.ZodEnum<{
             builtin: "builtin";
             extend: "extend";
@@ -307,15 +314,21 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
         }>>;
         local_docs: z.ZodArray<z.ZodString>;
         mode_sources: z.ZodArray<z.ZodString>;
-    }, z.core.$strip>;
+    }, z.core.$strip>>;
     counts: z.ZodRecord<z.ZodString, z.ZodNumber>;
-    acceptance: z.ZodOptional<z.ZodObject<{
+    acceptance: z.ZodOptional<z.ZodPipe<z.ZodTransform<unknown, unknown>, 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>>;
+        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>>;
+        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.$strip>>>;
     artifacts: z.ZodObject<{
         reads: z.ZodArray<z.ZodString>;
         writes: z.ZodArray<z.ZodString>;
@@ -340,17 +353,13 @@ export declare const RuntimeRunSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     run_id: z.ZodString;
     target_type: z.ZodEnum<{
-        workspace: "workspace";
+        compiled: "compiled";
     }>;
     target_name: z.ZodString;
     workflow: z.ZodString;
     stage: z.ZodString;
     stage_label: z.ZodString;
-    contract_type: z.ZodEnum<{
-        "workspace-file-evidence": "workspace-file-evidence";
-        "workspace-knowledge-structure": "workspace-knowledge-structure";
-        "workspace-query-shape": "workspace-query-shape";
-    }>;
+    contract_type: z.ZodString;
     status: z.ZodEnum<{
         running: "running";
         failed: "failed";
@@ -386,21 +395,28 @@ export declare const RuntimeRunSchema: z.ZodObject<{
     exit_code: z.ZodNullable<z.ZodNumber>;
     error: z.ZodNullable<z.ZodString>;
 }, z.core.$strip>;
-export declare const WorkspaceInventorySchema: z.ZodUnion<readonly [z.ZodObject<{
+export declare const CompiledInventoryEntrySchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+    input_zone: z.ZodString;
+    input_path: 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.$strip>>;
+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.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+        input_zone: z.ZodString;
+        input_path: 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.$strip>>>;
     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>, z.ZodObject<{
-    items: z.ZodArray<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    total: z.ZodOptional<z.ZodNumber>;
-    summary_total: z.ZodOptional<z.ZodNumber>;
-}, z.core.$strip>]>;
+}, 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>>>;
@@ -424,8 +440,8 @@ export declare const TestCaseSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>,
 }, z.core.$strip>>;
 export declare const TestSpecSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
     type: z.ZodEnum<{
+        compiled: "compiled";
         raw: "raw";
-        workspace: "workspace";
     }>;
     name: z.ZodString;
     description: z.ZodOptional<z.ZodString>;
@@ -457,11 +473,13 @@ export declare const SourceTruthCheckSchema: z.ZodObject<{
     }, z.core.$strip>>;
     strictness: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
-export declare const SourceWorkspaceMaxAttemptsSchema: z.ZodNumber;
-export declare const SourceWorkspaceMaxLoopsSchema: z.ZodNumber;
-export declare const SourceWorkspaceConfigSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+export declare const SourceCompiledMaxAttemptsSchema: z.ZodNumber;
+export declare const SourceCompiledMaxLoopsSchema: z.ZodNumber;
+export declare const DatasetNameSchema: z.ZodString;
+export declare const SourceDatasetConfigSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
     id: z.ZodOptional<z.ZodString>;
     name: z.ZodString;
+    path: z.ZodString;
     about: z.ZodOptional<z.ZodString>;
     workflow: z.ZodOptional<z.ZodString>;
     max_attempts: z.ZodOptional<z.ZodNumber>;
@@ -480,8 +498,8 @@ export declare const SourceWorkspaceConfigSchema: z.ZodPipe<z.ZodTransform<unkno
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
 }, z.core.$strict>>;
-export declare const WorkspaceInterfConfigSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
-    type: z.ZodLiteral<"workspace">;
+export declare const CompiledInterfConfigSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+    type: z.ZodLiteral<"compiled">;
     name: z.ZodString;
     about: z.ZodOptional<z.ZodString>;
     workflow: z.ZodOptional<z.ZodString>;
@@ -507,10 +525,11 @@ export declare const WorkspaceInterfConfigSchema: z.ZodPipe<z.ZodTransform<unkno
     source: z.ZodObject<{
         path: z.ZodString;
         control_path: z.ZodOptional<z.ZodString>;
+        dataset_path: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
 }, z.core.$loose>>;
 export declare const InterfConfigSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
-    type: z.ZodLiteral<"workspace">;
+    type: z.ZodLiteral<"compiled">;
     name: z.ZodString;
     about: z.ZodOptional<z.ZodString>;
     workflow: z.ZodOptional<z.ZodString>;
@@ -536,6 +555,7 @@ export declare const InterfConfigSchema: z.ZodPipe<z.ZodTransform<unknown, unkno
     source: z.ZodObject<{
         path: z.ZodString;
         control_path: z.ZodOptional<z.ZodString>;
+        dataset_path: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
 }, z.core.$loose>>;
 export declare const WorkflowImprovementLoopSummarySchema: z.ZodObject<{
@@ -564,7 +584,7 @@ export declare const WorkflowImprovementContextSchema: z.ZodObject<{
     max_attempts: z.ZodNumber;
     review_paths: z.ZodObject<{
         workflow_root: z.ZodString;
-        workspace_runtime: z.ZodNullable<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>;
@@ -714,9 +734,10 @@ export type WorkflowPackageValidation = z.infer<typeof WorkflowPackageValidation
 export type WorkflowImprovementLoopRecord = z.infer<typeof WorkflowImprovementLoopRecordSchema>;
 export type WorkflowImprovementRunLedger = z.infer<typeof WorkflowImprovementRunLedgerSchema>;
 export declare const SourceFolderConfigSchema: z.ZodObject<{
-    workspaces: z.ZodOptional<z.ZodArray<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+    datasets: z.ZodOptional<z.ZodArray<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
         id: z.ZodOptional<z.ZodString>;
         name: z.ZodString;
+        path: z.ZodString;
         about: z.ZodOptional<z.ZodString>;
         workflow: z.ZodOptional<z.ZodString>;
         max_attempts: z.ZodOptional<z.ZodNumber>;
@@ -760,8 +781,8 @@ export declare const TestCaseResultSchema: z.ZodObject<{
 export declare const TestTargetResultSchema: z.ZodObject<{
     target: z.ZodObject<{
         type: z.ZodEnum<{
+            compiled: "compiled";
             raw: "raw";
-            workspace: "workspace";
         }>;
         name: z.ZodString;
         path: z.ZodString;
@@ -798,8 +819,8 @@ export declare const TestTargetRunSchema: z.ZodObject<{
         id: z.ZodString;
         name: z.ZodString;
         type: z.ZodEnum<{
+            compiled: "compiled";
             raw: "raw";
-            workspace: "workspace";
         }>;
         file: z.ZodString;
         description: z.ZodOptional<z.ZodString>;
@@ -838,8 +859,8 @@ export declare const TestTargetRunSchema: z.ZodObject<{
     results: z.ZodArray<z.ZodObject<{
         target: z.ZodObject<{
             type: z.ZodEnum<{
+                compiled: "compiled";
                 raw: "raw";
-                workspace: "workspace";
             }>;
             name: z.ZodString;
             path: z.ZodString;
@@ -870,8 +891,8 @@ export declare const TestTargetRunSchema: z.ZodObject<{
     }, z.core.$strip>>;
 }, z.core.$strip>;
 export declare const TestRunModeSchema: z.ZodEnum<{
+    compiled: "compiled";
     raw: "raw";
-    workspace: "workspace";
     both: "both";
 }>;
 export declare const TestRunTargetSummarySchema: z.ZodObject<{
@@ -884,8 +905,8 @@ export declare const TestRunTargetSummarySchema: z.ZodObject<{
     total_checks: z.ZodNumber;
     target: z.ZodObject<{
         type: z.ZodEnum<{
+            compiled: "compiled";
             raw: "raw";
-            workspace: "workspace";
         }>;
         name: z.ZodString;
         path: z.ZodString;
@@ -897,14 +918,15 @@ export declare const TestRunComparisonSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     generated_at: z.ZodString;
     mode: z.ZodEnum<{
+        compiled: "compiled";
         raw: "raw";
-        workspace: "workspace";
         both: "both";
     }>;
     source_path: z.ZodString;
-    workspace: z.ZodObject<{
+    checks_fingerprint: z.ZodOptional<z.ZodString>;
+    dataset: z.ZodObject<{
         name: z.ZodString;
-        path: z.ZodString;
+        compiled_path: z.ZodNullable<z.ZodString>;
     }, z.core.$strip>;
     raw: z.ZodNullable<z.ZodObject<{
         label: z.ZodString;
@@ -916,15 +938,15 @@ export declare const TestRunComparisonSchema: z.ZodObject<{
         total_checks: z.ZodNumber;
         target: z.ZodObject<{
             type: z.ZodEnum<{
+                compiled: "compiled";
                 raw: "raw";
-                workspace: "workspace";
             }>;
             name: z.ZodString;
             path: z.ZodString;
             workflow: z.ZodString;
         }, z.core.$strip>;
     }, z.core.$strip>>;
-    compiled_workspace: z.ZodNullable<z.ZodObject<{
+    compiled: z.ZodNullable<z.ZodObject<{
         label: z.ZodString;
         run_path: z.ZodString;
         ok: z.ZodBoolean;
@@ -934,8 +956,8 @@ export declare const TestRunComparisonSchema: z.ZodObject<{
         total_checks: z.ZodNumber;
         target: z.ZodObject<{
             type: z.ZodEnum<{
+                compiled: "compiled";
                 raw: "raw";
-                workspace: "workspace";
             }>;
             name: z.ZodString;
             path: z.ZodString;
@@ -959,15 +981,15 @@ export declare const InterfUserConfigSchema: z.ZodObject<{
     initialized: z.ZodString;
 }, z.core.$strip>;
 export type InterfConfig = z.infer<typeof InterfConfigSchema>;
-export type WorkspaceState = z.infer<typeof WorkspaceStateSchema>;
+export type CompiledState = z.infer<typeof CompiledStateSchema>;
 export type ViewSection = z.infer<typeof ViewSectionSchema>;
 export type ViewCard = z.infer<typeof ViewCardSchema>;
-export type WorkspaceHealth = z.infer<typeof WorkspaceHealthSchema>;
-export type WorkspaceViewSpec = z.infer<typeof WorkspaceViewSpecSchema>;
-export type WorkspaceRawSnapshot = z.infer<typeof WorkspaceRawSnapshotSchema>;
-export type WorkflowWorkspaceZone = z.infer<typeof WorkflowWorkspaceZoneSchema>;
-export type WorkflowWorkspaceSchema = z.infer<typeof WorkflowWorkspaceSchemaSchema>;
-export type WorkflowWorkspaceZoneKind = z.infer<typeof WorkflowWorkspaceZoneKindSchema>;
+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>;
@@ -983,12 +1005,13 @@ export type RuntimeStageInstructions = z.infer<typeof RuntimeStageInstructionsSc
 export type RuntimeStageAcceptance = z.infer<typeof RuntimeStageAcceptanceSchema>;
 export type RuntimeStageContract = z.infer<typeof RuntimeStageContractSchema>;
 export type RuntimeRun = z.infer<typeof RuntimeRunSchema>;
-export type WorkspaceInventory = z.infer<typeof WorkspaceInventorySchema>;
+export type CompiledInventoryEntry = z.infer<typeof CompiledInventoryEntrySchema>;
+export type CompiledInventory = z.infer<typeof CompiledInventorySchema>;
 export type TestCaseExpect = z.infer<typeof TestCaseExpectSchema>;
 export type TestCase = z.infer<typeof TestCaseSchema>;
 export type TestSpec = z.infer<typeof TestSpecSchema>;
 export type SourceTruthCheck = z.infer<typeof SourceTruthCheckSchema>;
-export type SourceWorkspaceConfig = z.infer<typeof SourceWorkspaceConfigSchema>;
+export type SourceDatasetConfig = z.infer<typeof SourceDatasetConfigSchema>;
 export type SourceFolderConfig = z.infer<typeof SourceFolderConfigSchema>;
 export type TestCheckResult = z.infer<typeof TestCheckResultSchema>;
 export type TestCaseResult = z.infer<typeof TestCaseResultSchema>;