@interf/compiler 0.9.5 → 0.13.0

package/dist/packages/local-service/lib/schema.d.ts

@@ -1,10 +1,169 @@
 import { z } from "zod";
+/** Source binding shape on the API (only `local-folder` ships in 0.13). */
+export declare const SourceBindingSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        "local-folder": "local-folder";
+    }>;
+    locator: z.ZodString;
+}, z.core.$strict>;
+/** Discriminated locator for an artifact returned by the API. */
+export declare const ArtifactLocatorSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        "local-path": "local-path";
+        "remote-url": "remote-url";
+    }>;
+    value: z.ZodString;
+}, z.core.$strict>;
+/** Per-instance metadata from `GET /v1/instance` (replaces /v1/status). */
+export declare const InstanceResourceSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-instance">;
+    version: z.ZodLiteral<1>;
+    url: z.ZodString;
+    host: z.ZodString;
+    port: z.ZodNumber;
+    started_at: z.ZodString;
+    package_version: z.ZodOptional<z.ZodString>;
+    preparation_count: z.ZodNumber;
+    active_run_count: z.ZodNumber;
+    idle_for_seconds: z.ZodNumber;
+    auth_required: z.ZodBoolean;
+}, z.core.$strict>;
+/** Body of `POST /v1/preparations` — the 0.13 preparation create request. */
+export declare const PreparationCreateRequestSchema: z.ZodObject<{
+    id: z.ZodString;
+    source: z.ZodObject<{
+        kind: z.ZodEnum<{
+            "local-folder": "local-folder";
+        }>;
+        locator: z.ZodString;
+    }, z.core.$strict>;
+    method_id: z.ZodString;
+    about: z.ZodOptional<z.ZodString>;
+    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        question: z.ZodString;
+        answer: z.ZodOptional<z.ZodString>;
+        expect: z.ZodOptional<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>>;
+        strictness: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
+    max_attempts: z.ZodOptional<z.ZodNumber>;
+    max_loops: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+/** Body of `POST /v1/methods` — install a Method package by path. */
+export declare const MethodInstallRequestSchema: z.ZodObject<{
+    source_path: z.ZodString;
+    overwrite: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strict>;
+export declare const MethodInstallResultSchema: z.ZodObject<{
+    method_id: z.ZodString;
+    installed: z.ZodBoolean;
+    path: z.ZodString;
+}, z.core.$strict>;
+export declare const PreparationDeleteResponseSchema: z.ZodObject<{
+    deleted: z.ZodBoolean;
+    id: z.ZodString;
+}, z.core.$strict>;
+export type SourceBinding = z.infer<typeof SourceBindingSchema>;
+export type ArtifactLocator = z.infer<typeof ArtifactLocatorSchema>;
+export type InstanceResource = z.infer<typeof InstanceResourceSchema>;
+export type PreparationCreateRequest = z.infer<typeof PreparationCreateRequestSchema>;
+export type MethodInstallRequest = z.infer<typeof MethodInstallRequestSchema>;
+export type MethodInstallResult = z.infer<typeof MethodInstallResultSchema>;
+export type PreparationDeleteResponse = z.infer<typeof PreparationDeleteResponseSchema>;
+/**
+ * The local service must only ever bind to a loopback interface. Any other
+ * host (LAN IP, 0.0.0.0, public address) lets a remote browser tab POST at
+ * the service, which is the CSRF model we are explicitly rejecting. Keep
+ * the allowlist literal — refactoring to a `.refine()` over `z.string()`
+ * would lose the static type narrowing.
+ */
+export declare const LOCAL_SERVICE_LOOPBACK_HOSTS: readonly ["127.0.0.1", "localhost", "::1"];
 export declare const LocalServiceHostSchema: z.ZodString;
 export declare const LocalServicePortSchema: z.ZodNumber;
+/**
+ * Per-instance bearer token. Generated at startup with crypto.randomBytes(32)
+ * and rendered as a 64-char hex string. Any deviation should fail validation
+ * loud and early.
+ */
+export declare const LocalServiceAuthTokenSchema: z.ZodString;
 export declare const LocalServiceConfigSchema: z.ZodObject<{
     host: z.ZodDefault<z.ZodString>;
     port: z.ZodDefault<z.ZodNumber>;
 }, z.core.$strict>;
+export declare const ServiceRegistryWorkspaceSchema: z.ZodObject<{
+    control_path: z.ZodString;
+    registered_at: z.ZodString;
+    last_activity: z.ZodString;
+}, z.core.$strict>;
+export declare const ServiceRegistryEntrySchema: z.ZodObject<{
+    pid: z.ZodNumber;
+    host: z.ZodString;
+    port: z.ZodNumber;
+    url: z.ZodString;
+    started_at: z.ZodString;
+    auth_token: z.ZodOptional<z.ZodString>;
+    workspaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        control_path: z.ZodString;
+        registered_at: z.ZodString;
+        last_activity: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const ServiceRegistrySchema: z.ZodObject<{
+    services: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        pid: z.ZodNumber;
+        host: z.ZodString;
+        port: z.ZodNumber;
+        url: z.ZodString;
+        started_at: z.ZodString;
+        auth_token: z.ZodOptional<z.ZodString>;
+        workspaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            control_path: z.ZodString;
+            registered_at: z.ZodString;
+            last_activity: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const WorkspaceRegistrationRequestSchema: z.ZodObject<{
+    control_path: z.ZodString;
+}, z.core.$strict>;
+export declare const WorkspaceRegistrationResponseSchema: z.ZodObject<{
+    workspace: z.ZodObject<{
+        control_path: z.ZodString;
+        registered_at: z.ZodString;
+        last_activity: z.ZodString;
+    }, z.core.$strict>;
+    service: z.ZodObject<{
+        pid: z.ZodNumber;
+        host: z.ZodString;
+        port: z.ZodNumber;
+        url: z.ZodString;
+        started_at: z.ZodString;
+        auth_token: z.ZodOptional<z.ZodString>;
+        workspaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            control_path: z.ZodString;
+            registered_at: z.ZodString;
+            last_activity: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const WorkspaceListResponseSchema: z.ZodObject<{
+    workspaces: z.ZodArray<z.ZodObject<{
+        control_path: z.ZodString;
+        registered_at: z.ZodString;
+        last_activity: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const WorkspaceDeregisterResponseSchema: z.ZodObject<{
+    deregistered: z.ZodBoolean;
+    control_path: z.ZodString;
+    remaining_workspaces: z.ZodNumber;
+}, z.core.$strict>;
 export declare const LocalServiceHealthSchema: z.ZodObject<{
     kind: z.ZodLiteral<"interf-local-service-health">;
     version: z.ZodLiteral<1>;
@@ -16,6 +175,14 @@ export declare const LocalServiceHealthSchema: z.ZodObject<{
     source_folder_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     started_at: z.ZodOptional<z.ZodString>;
     package_version: z.ZodOptional<z.ZodString>;
+    instance_started_at: z.ZodOptional<z.ZodString>;
+    registered_workspaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        control_path: z.ZodString;
+        registered_at: z.ZodString;
+        last_activity: z.ZodString;
+    }, z.core.$strict>>>;
+    active_runs: z.ZodDefault<z.ZodNumber>;
+    idle_for_seconds: z.ZodDefault<z.ZodNumber>;
 }, z.core.$strict>;
 export declare const LocalServiceErrorSchema: z.ZodObject<{
     error: z.ZodObject<{
@@ -30,104 +197,7 @@ export declare const LocalServicePointerSchema: z.ZodObject<{
     pid: z.ZodNumber;
     control_path: z.ZodString;
     started_at: z.ZodString;
-}, z.core.$strict>;
-export declare const PreparationReadinessStateSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"interf-readiness-state">;
-    version: z.ZodLiteral<1>;
-    generated_at: z.ZodString;
-    preparation: z.ZodString;
-    status: z.ZodEnum<{
-        "not-configured": "not-configured";
-        "not-built": "not-built";
-        building: "building";
-        built: "built";
-        checking: "checking";
-        ready: "ready";
-        "not-ready": "not-ready";
-        stale: "stale";
-        failed: "failed";
-    }>;
-    ready: z.ZodBoolean;
-    summary: z.ZodString;
-    portable_context_path: z.ZodNullable<z.ZodString>;
-    latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    compile: z.ZodNullable<z.ZodObject<{
-        gate: z.ZodEnum<{
-            "preparation-config": "preparation-config";
-            "portable-context": "portable-context";
-            "compile-run": "compile-run";
-            "readiness-checks": "readiness-checks";
-            "source-baseline": "source-baseline";
-            "portable-context-check": "portable-context-check";
-            "checks-current": "checks-current";
-        }>;
-        ok: z.ZodBoolean;
-        status: z.ZodOptional<z.ZodEnum<{
-            "not-configured": "not-configured";
-            "not-built": "not-built";
-            building: "building";
-            built: "built";
-            checking: "checking";
-            ready: "ready";
-            "not-ready": "not-ready";
-            stale: "stale";
-            failed: "failed";
-        }>>;
-        summary: z.ZodString;
-        detail: z.ZodOptional<z.ZodString>;
-        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>>;
-    check_results: z.ZodObject<{
-        configured: z.ZodNumber;
-        fingerprint: z.ZodNullable<z.ZodString>;
-        source_files: z.ZodNullable<z.ZodObject<{
-            passed: z.ZodNumber;
-            total: z.ZodNumber;
-            pass_rate: z.ZodNullable<z.ZodNumber>;
-            checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            stale: z.ZodDefault<z.ZodBoolean>;
-            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-        portable_context: z.ZodNullable<z.ZodObject<{
-            passed: z.ZodNumber;
-            total: z.ZodNumber;
-            pass_rate: z.ZodNullable<z.ZodNumber>;
-            checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            stale: z.ZodDefault<z.ZodBoolean>;
-            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>;
-    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        gate: z.ZodEnum<{
-            "preparation-config": "preparation-config";
-            "portable-context": "portable-context";
-            "compile-run": "compile-run";
-            "readiness-checks": "readiness-checks";
-            "source-baseline": "source-baseline";
-            "portable-context-check": "portable-context-check";
-            "checks-current": "checks-current";
-        }>;
-        ok: z.ZodBoolean;
-        status: z.ZodOptional<z.ZodEnum<{
-            "not-configured": "not-configured";
-            "not-built": "not-built";
-            building: "building";
-            built: "built";
-            checking: "checking";
-            ready: "ready";
-            "not-ready": "not-ready";
-            stale: "stale";
-            failed: "failed";
-        }>>;
-        summary: z.ZodString;
-        detail: z.ZodOptional<z.ZodString>;
-        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>>>;
+    auth_token: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
 export declare const PortableContextMappingSchema: z.ZodObject<{
     preparation: z.ZodString;
@@ -213,8 +283,8 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         compile: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -262,8 +332,8 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -332,9 +402,9 @@ export declare const CompileRunCreateRequestSchema: z.ZodObject<{
 export declare const CompileRunSummarySchema: z.ZodObject<{
     run_id: z.ZodString;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -379,11 +449,11 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         artifact: z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -405,11 +475,11 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -468,8 +538,8 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         passed: z.ZodNumber;
         total: z.ZodNumber;
         target: z.ZodOptional<z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
         }>>;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         stale: z.ZodOptional<z.ZodBoolean>;
@@ -503,8 +573,8 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             compile: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -552,8 +622,8 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -589,11 +659,11 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -613,9 +683,9 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         run_id: z.ZodString;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -637,9 +707,9 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             stage_index: z.ZodOptional<z.ZodNumber>;
             stage_total: z.ZodOptional<z.ZodNumber>;
             status: z.ZodEnum<{
+                succeeded: "succeeded";
                 failed: "failed";
                 running: "running";
-                succeeded: "succeeded";
                 queued: "queued";
             }>;
             started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -670,11 +740,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -696,11 +766,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -751,11 +821,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             artifact: z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -777,11 +847,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -840,8 +910,8 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             passed: z.ZodNumber;
             total: z.ZodNumber;
             target: z.ZodOptional<z.ZodEnum<{
+                "source-files": "source-files";
                 compiled: "compiled";
-                raw: "raw";
             }>>;
             checks_fingerprint: z.ZodOptional<z.ZodString>;
             stale: z.ZodOptional<z.ZodBoolean>;
@@ -875,8 +945,8 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 compile: z.ZodNullable<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
                         "source-baseline": "source-baseline";
@@ -924,8 +994,8 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
                         "source-baseline": "source-baseline";
@@ -961,11 +1031,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -1001,8 +1071,8 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             compile: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -1050,8 +1120,8 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -1083,10 +1153,17 @@ export declare const LocalJobTypeSchema: z.ZodEnum<{
     "method-improvement": "method-improvement";
     "readiness-check-draft": "readiness-check-draft";
 }>;
-export declare const LocalJobStatusSchema: z.ZodEnum<{
+export declare const RunStatusSchema: z.ZodEnum<{
+    succeeded: "succeeded";
     failed: "failed";
     running: "running";
+    cancelled: "cancelled";
+    queued: "queued";
+}>;
+export declare const LocalJobStatusSchema: z.ZodEnum<{
     succeeded: "succeeded";
+    failed: "failed";
+    running: "running";
     cancelled: "cancelled";
     queued: "queued";
 }>;
@@ -1098,8 +1175,8 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
         mode: z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
             both: "both";
         }>;
         source_path: z.ZodString;
@@ -1108,7 +1185,7 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             name: z.ZodString;
             portable_context_path: z.ZodNullable<z.ZodString>;
         }, z.core.$strip>;
-        raw: z.ZodNullable<z.ZodObject<{
+        source_files: z.ZodNullable<z.ZodObject<{
             label: z.ZodString;
             run_path: z.ZodString;
             ok: z.ZodBoolean;
@@ -1118,8 +1195,8 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
@@ -1136,8 +1213,8 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
@@ -1165,9 +1242,9 @@ export declare const LocalJobStepSchema: z.ZodObject<{
     id: z.ZodString;
     label: z.ZodString;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -1206,11 +1283,11 @@ export declare const LocalJobEventSchema: z.ZodObject<{
     artifact: z.ZodOptional<z.ZodObject<{
         path: z.ZodString;
         role: z.ZodEnum<{
-            output: "output";
             runtime: "runtime";
+            output: "output";
             source: "source";
-            test: "test";
             proof: "proof";
+            test: "test";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -1287,6 +1364,24 @@ export declare const PreparationSetupResultSchema: z.ZodObject<{
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodLiteral<"compile-run">>>;
 }, z.core.$strict>;
+export declare const WorkspaceBootstrapCreateRequestSchema: z.ZodObject<{
+    source_folder: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+    }, z.core.$strict>>;
+    seed_default_method: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strict>;
+export declare const WorkspaceBootstrapResultSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-workspace-bootstrap-result">;
+    version: z.ZodLiteral<1>;
+    control_path: z.ZodString;
+    config_path: z.ZodString;
+    source_folder_path: z.ZodNullable<z.ZodString>;
+    preparations: z.ZodNumber;
+    seeded_default_method: z.ZodBoolean;
+    default_method_id: z.ZodNullable<z.ZodString>;
+    changed: z.ZodBoolean;
+    message: z.ZodString;
+}, z.core.$strict>;
 export declare const MethodChangeCreateRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     action_type: z.ZodOptional<z.ZodLiteral<"method-change">>;
     operation: z.ZodLiteral<"duplicate">;
@@ -1423,11 +1518,11 @@ export declare const LocalJobEventAppendRequestSchema: z.ZodObject<{
     artifact: z.ZodOptional<z.ZodObject<{
         path: z.ZodString;
         role: z.ZodEnum<{
-            output: "output";
             runtime: "runtime";
+            output: "output";
             source: "source";
-            test: "test";
             proof: "proof";
+            test: "test";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -1446,9 +1541,9 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
         "readiness-check-draft": "readiness-check-draft";
     }>;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -1469,9 +1564,9 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
         id: z.ZodString;
         label: z.ZodString;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -1500,11 +1595,11 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
         artifact: z.ZodOptional<z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -1517,33 +1612,33 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
 }, z.core.$strict>;
 export declare const TestRunStatusSchema: z.ZodEnum<{
+    succeeded: "succeeded";
     failed: "failed";
     running: "running";
-    succeeded: "succeeded";
     cancelled: "cancelled";
     queued: "queued";
 }>;
 export declare const TestRunCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodString;
     mode: z.ZodDefault<z.ZodEnum<{
+        "source-files": "source-files";
         compiled: "compiled";
-        raw: "raw";
         both: "both";
     }>>;
 }, z.core.$strict>;
 export declare const TestRunResourceSchema: z.ZodObject<{
     run_id: z.ZodString;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
     preparation: z.ZodString;
     mode: z.ZodEnum<{
+        "source-files": "source-files";
         compiled: "compiled";
-        raw: "raw";
         both: "both";
     }>;
     source_path: z.ZodString;
@@ -1555,8 +1650,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
         mode: z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
             both: "both";
         }>;
         source_path: z.ZodString;
@@ -1565,7 +1660,7 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             name: z.ZodString;
             portable_context_path: z.ZodNullable<z.ZodString>;
         }, z.core.$strip>;
-        raw: z.ZodNullable<z.ZodObject<{
+        source_files: z.ZodNullable<z.ZodObject<{
             label: z.ZodString;
             run_path: z.ZodString;
             ok: z.ZodBoolean;
@@ -1575,8 +1670,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
@@ -1593,8 +1688,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
@@ -1629,8 +1724,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         compile: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -1678,8 +1773,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -1740,11 +1835,11 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         artifact: z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -1766,11 +1861,11 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -1829,8 +1924,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         passed: z.ZodNumber;
         total: z.ZodNumber;
         target: z.ZodOptional<z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
         }>>;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         stale: z.ZodOptional<z.ZodBoolean>;
@@ -1864,8 +1959,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             compile: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -1913,8 +2008,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -1956,9 +2051,9 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
     }>;
     title: z.ZodString;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -1992,11 +2087,11 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
         path: z.ZodString;
         role: z.ZodEnum<{
-            output: "output";
             runtime: "runtime";
+            output: "output";
             source: "source";
-            test: "test";
             proof: "proof";
+            test: "test";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -2031,8 +2126,8 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         compile: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -2080,8 +2175,8 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -2222,22 +2317,22 @@ export declare const ActionProposalStatusSchema: z.ZodEnum<{
 }>;
 export declare const ActionClientOriginSchema: z.ZodEnum<{
     unknown: "unknown";
+    service: "service";
     "ui-chat": "ui-chat";
     cli: "cli";
     "agent-cli": "agent-cli";
     mcp: "mcp";
-    service: "service";
 }>;
 export declare const ActionProposalCreateRequestSchema: z.ZodObject<{
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodString>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        service: "service";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
         mcp: "mcp";
-        service: "service";
     }>>;
     values: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.core.$strict>;
@@ -2291,11 +2386,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        service: "service";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
         mcp: "mcp";
-        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2339,11 +2434,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        service: "service";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
         mcp: "mcp";
-        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2396,11 +2491,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        service: "service";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
         mcp: "mcp";
-        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2425,8 +2520,8 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     request: z.ZodObject<{
         preparation: z.ZodString;
         mode: z.ZodDefault<z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
             both: "both";
         }>>;
     }, z.core.$strict>;
@@ -2451,11 +2546,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        service: "service";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
         mcp: "mcp";
-        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2504,11 +2599,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        service: "service";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
         mcp: "mcp";
-        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2574,11 +2669,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        service: "service";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
         mcp: "mcp";
-        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2651,8 +2746,8 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         compile: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -2700,8 +2795,8 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -2732,11 +2827,11 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
         path: z.ZodString;
         role: z.ZodEnum<{
-            output: "output";
             runtime: "runtime";
+            output: "output";
             source: "source";
-            test: "test";
             proof: "proof";
+            test: "test";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -2766,8 +2861,8 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
     latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     compile: z.ZodNullable<z.ZodObject<{
         gate: z.ZodEnum<{
-            "preparation-config": "preparation-config";
             "portable-context": "portable-context";
+            "preparation-config": "preparation-config";
             "compile-run": "compile-run";
             "readiness-checks": "readiness-checks";
             "source-baseline": "source-baseline";
@@ -2811,1968 +2906,20 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
             stale: z.ZodDefault<z.ZodBoolean>;
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>;
-    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        gate: z.ZodEnum<{
-            "preparation-config": "preparation-config";
-            "portable-context": "portable-context";
-            "compile-run": "compile-run";
-            "readiness-checks": "readiness-checks";
-            "source-baseline": "source-baseline";
-            "portable-context-check": "portable-context-check";
-            "checks-current": "checks-current";
-        }>;
-        ok: z.ZodBoolean;
-        status: z.ZodOptional<z.ZodEnum<{
-            "not-configured": "not-configured";
-            "not-built": "not-built";
-            building: "building";
-            built: "built";
-            checking: "checking";
-            ready: "ready";
-            "not-ready": "not-ready";
-            stale: "stale";
-            failed: "failed";
-        }>>;
-        summary: z.ZodString;
-        detail: z.ZodOptional<z.ZodString>;
-        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>>>;
-}, z.core.$strict>;
-export declare const SourceFileResourceSchema: z.ZodObject<{
-    preparation: z.ZodString;
-    path: z.ZodString;
-    absolute_path: z.ZodString;
-    size_bytes: z.ZodNumber;
-    modified_at: z.ZodNullable<z.ZodString>;
-    source_folder_path: z.ZodString;
-}, z.core.$strict>;
-export declare const WorkspaceFileResourceSchema: z.ZodObject<{
-    path: z.ZodString;
-    absolute_path: z.ZodString;
-    size_bytes: z.ZodNumber;
-    modified_at: z.ZodNullable<z.ZodString>;
-}, z.core.$strict>;
-export declare const LocalServiceDiscoverySchema: z.ZodObject<{
-    kind: z.ZodLiteral<"interf-local-service-discovery">;
-    version: z.ZodLiteral<1>;
-    resources: z.ZodObject<{
-        preparations: z.ZodString;
-        methods: z.ZodString;
-        runs: z.ZodString;
-        readiness: z.ZodString;
-        portable_contexts: z.ZodString;
-        source_files: z.ZodString;
-        workspace_files: z.ZodString;
-        action_proposals: z.ZodString;
-        preparation_setups: z.ZodString;
-        preparation_changes: z.ZodString;
-        method_changes: z.ZodString;
-        readiness_check_drafts: z.ZodString;
-        method_authoring_runs: z.ZodString;
-        method_improvement_runs: z.ZodString;
-        compile_runs: z.ZodString;
-        test_runs: z.ZodString;
-        reset: z.ZodString;
-        executor: z.ZodString;
-    }, z.core.$strict>;
-}, z.core.$strict>;
-export declare const OpenPathRequestSchema: z.ZodObject<{
-    path: z.ZodString;
-}, z.core.$strict>;
-export declare const OpenPathResponseSchema: z.ZodObject<{
-    opened: z.ZodBoolean;
-    path: z.ZodString;
-}, z.core.$strict>;
-export declare const LocalServiceResourceSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    kind: z.ZodLiteral<"preparation">;
-    value: z.ZodObject<{
-        id: z.ZodString;
-        name: z.ZodString;
-        preparation: z.ZodObject<{
-            id: z.ZodOptional<z.ZodString>;
-            name: z.ZodString;
-            path: z.ZodString;
-            about: z.ZodOptional<z.ZodString>;
-            method: z.ZodOptional<z.ZodString>;
-            max_attempts: z.ZodOptional<z.ZodNumber>;
-            max_loops: z.ZodOptional<z.ZodNumber>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                id: z.ZodOptional<z.ZodString>;
-                question: z.ZodString;
-                answer: z.ZodOptional<z.ZodString>;
-                expect: z.ZodOptional<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>>;
-                strictness: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-        source_path: z.ZodString;
-        method_id: z.ZodNullable<z.ZodString>;
-        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodOptional<z.ZodString>;
-            question: z.ZodString;
-            answer: z.ZodOptional<z.ZodString>;
-            expect: z.ZodOptional<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>>;
-            strictness: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        portable_context: z.ZodObject<{
-            preparation: z.ZodString;
-            path: z.ZodNullable<z.ZodString>;
-            exists: z.ZodBoolean;
-            method_id: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodNullable<z.ZodString>;
-            latest_test_run_id: z.ZodNullable<z.ZodString>;
-        }, z.core.$strict>;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        readiness: z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-state">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            preparation: z.ZodString;
-            status: z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>;
-            ready: z.ZodBoolean;
-            summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-        runs: z.ZodObject<{
-            latest_compile_run_id: z.ZodNullable<z.ZodString>;
-            latest_test_run_id: z.ZodNullable<z.ZodString>;
-        }, z.core.$strict>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"method">;
-    value: z.ZodObject<{
-        id: z.ZodString;
-        method_id: z.ZodString;
-        path: z.ZodString;
-        label: z.ZodOptional<z.ZodString>;
-        hint: z.ZodOptional<z.ZodString>;
-        source_kind: z.ZodDefault<z.ZodEnum<{
-            builtin: "builtin";
-            local: "local";
-        }>>;
-        built_in: z.ZodDefault<z.ZodBoolean>;
-        active_for_preparations: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        output_paths: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        stages: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            description: z.ZodOptional<z.ZodString>;
-            contract_type: z.ZodString;
-            skill_dir: z.ZodString;
-            reads: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            writes: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            acceptance: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"compile-run">;
-    value: z.ZodObject<{
-        run: z.ZodObject<{
-            kind: z.ZodLiteral<"interf-compile-run">;
-            version: z.ZodLiteral<1>;
-            run_id: z.ZodString;
-            status: z.ZodEnum<{
-                failed: "failed";
-                running: "running";
-                succeeded: "succeeded";
-                cancelled: "cancelled";
-                queued: "queued";
-            }>;
-            preparation: z.ZodString;
-            method: z.ZodString;
-            backend: z.ZodEnum<{
-                native: "native";
-                "workflow-sdk": "workflow-sdk";
-            }>;
-            source_path: z.ZodString;
-            portable_context_path: z.ZodString;
-            created_at: z.ZodString;
-            started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            stages: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                run_id: z.ZodString;
-                stage_id: z.ZodString;
-                stage_label: z.ZodOptional<z.ZodString>;
-                stage_index: z.ZodOptional<z.ZodNumber>;
-                stage_total: z.ZodOptional<z.ZodNumber>;
-                status: z.ZodEnum<{
-                    failed: "failed";
-                    running: "running";
-                    succeeded: "succeeded";
-                    queued: "queued";
-                }>;
-                started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                contract: z.ZodOptional<z.ZodObject<{
-                    stage_label: z.ZodOptional<z.ZodString>;
-                    stage_index: z.ZodOptional<z.ZodNumber>;
-                    stage_total: z.ZodOptional<z.ZodNumber>;
-                    reads: z.ZodDefault<z.ZodArray<z.ZodString>>;
-                    writes: z.ZodDefault<z.ZodArray<z.ZodString>>;
-                    acceptance: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-                }, z.core.$strict>>;
-                executor: z.ZodOptional<z.ZodNullable<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>>>;
-                artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    path: z.ZodString;
-                    role: z.ZodEnum<{
-                        output: "output";
-                        runtime: "runtime";
-                        source: "source";
-                        test: "test";
-                        proof: "proof";
-                    }>;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    label: z.ZodOptional<z.ZodString>;
-                    sha256: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-                logs: z.ZodOptional<z.ZodObject<{
-                    prompt_path: z.ZodOptional<z.ZodString>;
-                    event_stream_path: z.ZodOptional<z.ZodString>;
-                    status_path: z.ZodOptional<z.ZodString>;
-                    contract_path: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>;
-                latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                    id: z.ZodString;
-                    run_id: z.ZodString;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    generated_at: z.ZodString;
-                    summary: z.ZodString;
-                    files_processed: z.ZodOptional<z.ZodNumber>;
-                    artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        path: z.ZodString;
-                        role: z.ZodEnum<{
-                            output: "output";
-                            runtime: "runtime";
-                            source: "source";
-                            test: "test";
-                            proof: "proof";
-                        }>;
-                        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        label: z.ZodOptional<z.ZodString>;
-                        sha256: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strict>>>;
-                    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        id: z.ZodString;
-                        label: z.ZodString;
-                        ok: z.ZodBoolean;
-                        detail: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strict>>>;
-                }, z.core.$strict>>>;
-                failure: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-            events: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"run.started">;
-                preparation: z.ZodString;
-                method: z.ZodString;
-                portable_context_path: z.ZodString;
-                backend: z.ZodEnum<{
-                    native: "native";
-                    "workflow-sdk": "workflow-sdk";
-                }>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"stage.started">;
-                stage_id: z.ZodString;
-                stage_index: z.ZodOptional<z.ZodNumber>;
-                stage_total: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"file.processed">;
-                stage_id: z.ZodString;
-                path: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"artifact.written">;
-                stage_id: z.ZodString;
-                artifact: z.ZodObject<{
-                    path: z.ZodString;
-                    role: z.ZodEnum<{
-                        output: "output";
-                        runtime: "runtime";
-                        source: "source";
-                        test: "test";
-                        proof: "proof";
-                    }>;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    label: z.ZodOptional<z.ZodString>;
-                    sha256: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"proof.updated">;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                proof: z.ZodObject<{
-                    id: z.ZodString;
-                    run_id: z.ZodString;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    generated_at: z.ZodString;
-                    summary: z.ZodString;
-                    files_processed: z.ZodOptional<z.ZodNumber>;
-                    artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        path: z.ZodString;
-                        role: z.ZodEnum<{
-                            output: "output";
-                            runtime: "runtime";
-                            source: "source";
-                            test: "test";
-                            proof: "proof";
-                        }>;
-                        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        label: z.ZodOptional<z.ZodString>;
-                        sha256: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strict>>>;
-                    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        id: z.ZodString;
-                        label: z.ZodString;
-                        ok: z.ZodBoolean;
-                        detail: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strict>>>;
-                }, z.core.$strict>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"log.appended">;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                stream: z.ZodEnum<{
-                    status: "status";
-                    trace: "trace";
-                    system: "system";
-                }>;
-                message: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"stage.passed">;
-                stage_id: z.ZodString;
-                summary: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"stage.failed">;
-                stage_id: z.ZodString;
-                error: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"run.completed">;
-                summary: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"run.failed">;
-                error: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"checks.evaluated">;
-                passed: z.ZodNumber;
-                total: z.ZodNumber;
-                target: z.ZodOptional<z.ZodEnum<{
-                    compiled: "compiled";
-                    raw: "raw";
-                }>>;
-                checks_fingerprint: z.ZodOptional<z.ZodString>;
-                stale: z.ZodOptional<z.ZodBoolean>;
-                test_run_id: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"readiness.updated">;
-                preparation: z.ZodString;
-                readiness: z.ZodObject<{
-                    kind: z.ZodLiteral<"interf-readiness-state">;
-                    version: z.ZodLiteral<1>;
-                    generated_at: z.ZodString;
-                    preparation: z.ZodString;
-                    status: z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>;
-                    ready: z.ZodBoolean;
-                    summary: z.ZodString;
-                    portable_context_path: z.ZodNullable<z.ZodString>;
-                    latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    compile: z.ZodNullable<z.ZodObject<{
-                        gate: z.ZodEnum<{
-                            "preparation-config": "preparation-config";
-                            "portable-context": "portable-context";
-                            "compile-run": "compile-run";
-                            "readiness-checks": "readiness-checks";
-                            "source-baseline": "source-baseline";
-                            "portable-context-check": "portable-context-check";
-                            "checks-current": "checks-current";
-                        }>;
-                        ok: z.ZodBoolean;
-                        status: z.ZodOptional<z.ZodEnum<{
-                            "not-configured": "not-configured";
-                            "not-built": "not-built";
-                            building: "building";
-                            built: "built";
-                            checking: "checking";
-                            ready: "ready";
-                            "not-ready": "not-ready";
-                            stale: "stale";
-                            failed: "failed";
-                        }>>;
-                        summary: z.ZodString;
-                        detail: z.ZodOptional<z.ZodString>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                    check_results: z.ZodObject<{
-                        configured: z.ZodNumber;
-                        fingerprint: z.ZodNullable<z.ZodString>;
-                        source_files: z.ZodNullable<z.ZodObject<{
-                            passed: z.ZodNumber;
-                            total: z.ZodNumber;
-                            pass_rate: z.ZodNullable<z.ZodNumber>;
-                            checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                            stale: z.ZodDefault<z.ZodBoolean>;
-                            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                            run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        }, z.core.$strict>>;
-                        portable_context: z.ZodNullable<z.ZodObject<{
-                            passed: z.ZodNumber;
-                            total: z.ZodNumber;
-                            pass_rate: z.ZodNullable<z.ZodNumber>;
-                            checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                            stale: z.ZodDefault<z.ZodBoolean>;
-                            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                            run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        }, z.core.$strict>>;
-                    }, z.core.$strict>;
-                    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        gate: z.ZodEnum<{
-                            "preparation-config": "preparation-config";
-                            "portable-context": "portable-context";
-                            "compile-run": "compile-run";
-                            "readiness-checks": "readiness-checks";
-                            "source-baseline": "source-baseline";
-                            "portable-context-check": "portable-context-check";
-                            "checks-current": "checks-current";
-                        }>;
-                        ok: z.ZodBoolean;
-                        status: z.ZodOptional<z.ZodEnum<{
-                            "not-configured": "not-configured";
-                            "not-built": "not-built";
-                            building: "building";
-                            built: "built";
-                            checking: "checking";
-                            ready: "ready";
-                            "not-ready": "not-ready";
-                            stale: "stale";
-                            failed: "failed";
-                        }>>;
-                        summary: z.ZodString;
-                        detail: z.ZodOptional<z.ZodString>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>>;
-                }, z.core.$strict>;
-            }, z.core.$strict>], "type">>>;
-            latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                id: z.ZodString;
-                run_id: z.ZodString;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                generated_at: z.ZodString;
-                summary: z.ZodString;
-                files_processed: z.ZodOptional<z.ZodNumber>;
-                artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    path: z.ZodString;
-                    role: z.ZodEnum<{
-                        output: "output";
-                        runtime: "runtime";
-                        source: "source";
-                        test: "test";
-                        proof: "proof";
-                    }>;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    label: z.ZodOptional<z.ZodString>;
-                    sha256: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    id: z.ZodString;
-                    label: z.ZodString;
-                    ok: z.ZodBoolean;
-                    detail: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-            }, z.core.$strict>>>;
-            readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                kind: z.ZodLiteral<"interf-readiness-state">;
-                version: z.ZodLiteral<1>;
-                generated_at: z.ZodString;
-                preparation: z.ZodString;
-                status: z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>;
-                ready: z.ZodBoolean;
-                summary: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-                latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                compile: z.ZodNullable<z.ZodObject<{
-                    gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
-                        "portable-context": "portable-context";
-                        "compile-run": "compile-run";
-                        "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
-                        "checks-current": "checks-current";
-                    }>;
-                    ok: z.ZodBoolean;
-                    status: z.ZodOptional<z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>>;
-                    summary: z.ZodString;
-                    detail: z.ZodOptional<z.ZodString>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                check_results: z.ZodObject<{
-                    configured: z.ZodNumber;
-                    fingerprint: z.ZodNullable<z.ZodString>;
-                    source_files: z.ZodNullable<z.ZodObject<{
-                        passed: z.ZodNumber;
-                        total: z.ZodNumber;
-                        pass_rate: z.ZodNullable<z.ZodNumber>;
-                        checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        stale: z.ZodDefault<z.ZodBoolean>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                    portable_context: z.ZodNullable<z.ZodObject<{
-                        passed: z.ZodNumber;
-                        total: z.ZodNumber;
-                        pass_rate: z.ZodNullable<z.ZodNumber>;
-                        checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        stale: z.ZodDefault<z.ZodBoolean>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                }, z.core.$strict>;
-                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
-                        "portable-context": "portable-context";
-                        "compile-run": "compile-run";
-                        "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
-                        "checks-current": "checks-current";
-                    }>;
-                    ok: z.ZodBoolean;
-                    status: z.ZodOptional<z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>>;
-                    summary: z.ZodString;
-                    detail: z.ZodOptional<z.ZodString>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"job-run">;
-    value: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-local-job-run">;
-        version: z.ZodLiteral<1>;
-        run_id: z.ZodString;
-        job_type: z.ZodEnum<{
-            "method-authoring": "method-authoring";
-            "method-improvement": "method-improvement";
-            "readiness-check-draft": "readiness-check-draft";
-        }>;
-        status: z.ZodEnum<{
-            failed: "failed";
-            running: "running";
-            succeeded: "succeeded";
-            cancelled: "cancelled";
-            queued: "queued";
-        }>;
-        title: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        agent: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        created_at: z.ZodString;
-        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            status: z.ZodEnum<{
-                failed: "failed";
-                running: "running";
-                succeeded: "succeeded";
-                cancelled: "cancelled";
-                queued: "queued";
-            }>;
-            started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-            output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-        }, z.core.$strict>>>;
-        events: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodEnum<{
-                "artifact.written": "artifact.written";
-                "log.appended": "log.appended";
-                "job.started": "job.started";
-                "step.started": "step.started";
-                "step.completed": "step.completed";
-                "step.failed": "step.failed";
-                "job.completed": "job.completed";
-                "job.failed": "job.failed";
-            }>;
-            step_id: z.ZodOptional<z.ZodString>;
-            message: z.ZodOptional<z.ZodString>;
-            artifact: z.ZodOptional<z.ZodObject<{
-                path: z.ZodString;
-                role: z.ZodEnum<{
-                    output: "output";
-                    runtime: "runtime";
-                    source: "source";
-                    test: "test";
-                    proof: "proof";
-                }>;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                label: z.ZodOptional<z.ZodString>;
-                sha256: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>;
-            input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-            output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-        }, z.core.$strict>>>;
-        result: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"test-run">;
-    value: z.ZodObject<{
-        run_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            running: "running";
-            succeeded: "succeeded";
-            cancelled: "cancelled";
-            queued: "queued";
-        }>;
-        preparation: z.ZodString;
-        mode: z.ZodEnum<{
-            compiled: "compiled";
-            raw: "raw";
-            both: "both";
-        }>;
-        source_path: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        readiness_run: z.ZodNullable<z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-check-run">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            mode: z.ZodEnum<{
-                compiled: "compiled";
-                raw: "raw";
-                both: "both";
-            }>;
-            source_path: z.ZodString;
-            checks_fingerprint: z.ZodOptional<z.ZodString>;
-            preparation: z.ZodObject<{
-                name: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-            }, z.core.$strip>;
-            raw: z.ZodNullable<z.ZodObject<{
-                label: z.ZodString;
-                run_path: z.ZodString;
-                ok: z.ZodBoolean;
-                passed_cases: z.ZodNumber;
-                total_cases: z.ZodNumber;
-                passed_checks: z.ZodNumber;
-                total_checks: z.ZodNumber;
-                target: z.ZodObject<{
-                    type: z.ZodEnum<{
-                        compiled: "compiled";
-                        raw: "raw";
-                    }>;
-                    name: z.ZodString;
-                    path: z.ZodString;
-                    method: z.ZodString;
-                }, z.core.$strip>;
-            }, z.core.$strip>>;
-            compiled: z.ZodNullable<z.ZodObject<{
-                label: z.ZodString;
-                run_path: z.ZodString;
-                ok: z.ZodBoolean;
-                passed_cases: z.ZodNumber;
-                total_cases: z.ZodNumber;
-                passed_checks: z.ZodNumber;
-                total_checks: z.ZodNumber;
-                target: z.ZodObject<{
-                    type: z.ZodEnum<{
-                        compiled: "compiled";
-                        raw: "raw";
-                    }>;
-                    name: z.ZodString;
-                    path: z.ZodString;
-                    method: z.ZodString;
-                }, z.core.$strip>;
-            }, z.core.$strip>>;
-            summary: z.ZodObject<{
-                source_files_pass_rate: z.ZodNullable<z.ZodNumber>;
-                portable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
-            }, z.core.$strip>;
-        }, z.core.$strip>>;
-        readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-state">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            preparation: z.ZodString;
-            status: z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>;
-            ready: z.ZodBoolean;
-            summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>>>;
-        events: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"run.started">;
-            preparation: z.ZodString;
-            method: z.ZodString;
-            portable_context_path: z.ZodString;
-            backend: z.ZodEnum<{
-                native: "native";
-                "workflow-sdk": "workflow-sdk";
-            }>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"stage.started">;
-            stage_id: z.ZodString;
-            stage_index: z.ZodOptional<z.ZodNumber>;
-            stage_total: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"file.processed">;
-            stage_id: z.ZodString;
-            path: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"artifact.written">;
-            stage_id: z.ZodString;
-            artifact: z.ZodObject<{
-                path: z.ZodString;
-                role: z.ZodEnum<{
-                    output: "output";
-                    runtime: "runtime";
-                    source: "source";
-                    test: "test";
-                    proof: "proof";
-                }>;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                label: z.ZodOptional<z.ZodString>;
-                sha256: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"proof.updated">;
-            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            proof: z.ZodObject<{
-                id: z.ZodString;
-                run_id: z.ZodString;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                generated_at: z.ZodString;
-                summary: z.ZodString;
-                files_processed: z.ZodOptional<z.ZodNumber>;
-                artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    path: z.ZodString;
-                    role: z.ZodEnum<{
-                        output: "output";
-                        runtime: "runtime";
-                        source: "source";
-                        test: "test";
-                        proof: "proof";
-                    }>;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    label: z.ZodOptional<z.ZodString>;
-                    sha256: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    id: z.ZodString;
-                    label: z.ZodString;
-                    ok: z.ZodBoolean;
-                    detail: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-            }, z.core.$strict>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"log.appended">;
-            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            stream: z.ZodEnum<{
-                status: "status";
-                trace: "trace";
-                system: "system";
-            }>;
-            message: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"stage.passed">;
-            stage_id: z.ZodString;
-            summary: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"stage.failed">;
-            stage_id: z.ZodString;
-            error: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"run.completed">;
-            summary: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"run.failed">;
-            error: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"checks.evaluated">;
-            passed: z.ZodNumber;
-            total: z.ZodNumber;
-            target: z.ZodOptional<z.ZodEnum<{
-                compiled: "compiled";
-                raw: "raw";
-            }>>;
-            checks_fingerprint: z.ZodOptional<z.ZodString>;
-            stale: z.ZodOptional<z.ZodBoolean>;
-            test_run_id: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"readiness.updated">;
-            preparation: z.ZodString;
-            readiness: z.ZodObject<{
-                kind: z.ZodLiteral<"interf-readiness-state">;
-                version: z.ZodLiteral<1>;
-                generated_at: z.ZodString;
-                preparation: z.ZodString;
-                status: z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>;
-                ready: z.ZodBoolean;
-                summary: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-                latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                compile: z.ZodNullable<z.ZodObject<{
-                    gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
-                        "portable-context": "portable-context";
-                        "compile-run": "compile-run";
-                        "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
-                        "checks-current": "checks-current";
-                    }>;
-                    ok: z.ZodBoolean;
-                    status: z.ZodOptional<z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>>;
-                    summary: z.ZodString;
-                    detail: z.ZodOptional<z.ZodString>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                check_results: z.ZodObject<{
-                    configured: z.ZodNumber;
-                    fingerprint: z.ZodNullable<z.ZodString>;
-                    source_files: z.ZodNullable<z.ZodObject<{
-                        passed: z.ZodNumber;
-                        total: z.ZodNumber;
-                        pass_rate: z.ZodNullable<z.ZodNumber>;
-                        checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        stale: z.ZodDefault<z.ZodBoolean>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                    portable_context: z.ZodNullable<z.ZodObject<{
-                        passed: z.ZodNumber;
-                        total: z.ZodNumber;
-                        pass_rate: z.ZodNullable<z.ZodNumber>;
-                        checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        stale: z.ZodDefault<z.ZodBoolean>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                }, z.core.$strict>;
-                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
-                        "portable-context": "portable-context";
-                        "compile-run": "compile-run";
-                        "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
-                        "checks-current": "checks-current";
-                    }>;
-                    ok: z.ZodBoolean;
-                    status: z.ZodOptional<z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>>;
-                    summary: z.ZodString;
-                    detail: z.ZodOptional<z.ZodString>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>>;
-            }, z.core.$strict>;
-        }, z.core.$strict>], "type">>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"run-observability">;
-    value: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-run-observability">;
-        version: z.ZodLiteral<1>;
-        run_id: z.ZodString;
-        run_type: z.ZodEnum<{
-            compile: "compile";
-            "method-authoring": "method-authoring";
-            "method-improvement": "method-improvement";
-            test: "test";
-            "readiness-check-draft": "readiness-check-draft";
-            job: "job";
-        }>;
-        title: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            running: "running";
-            succeeded: "succeeded";
-            cancelled: "cancelled";
-            queued: "queued";
-        }>;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        executor: z.ZodOptional<z.ZodNullable<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>>>;
-        agent_label: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        created_at: z.ZodString;
-        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        metrics: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            label: z.ZodString;
-            value: z.ZodString;
-            detail: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            path: z.ZodString;
-            role: z.ZodEnum<{
-                output: "output";
-                runtime: "runtime";
-                source: "source";
-                test: "test";
-                proof: "proof";
-            }>;
-            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            label: z.ZodOptional<z.ZodString>;
-            sha256: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        proof: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            ok: z.ZodBoolean;
-            detail: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-state">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            preparation: z.ZodString;
-            status: z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>;
-            ready: z.ZodBoolean;
-            summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>>>;
-        trace: z.ZodObject<{
-            run: z.ZodObject<{
-                runId: z.ZodString;
-                status: z.ZodEnum<{
-                    failed: "failed";
-                    running: "running";
-                    pending: "pending";
-                    completed: "completed";
-                    cancelled: "cancelled";
-                }>;
-                deploymentId: z.ZodString;
-                methodName: z.ZodString;
-                specVersion: z.ZodLiteral<1>;
-                executionContext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-                input: z.ZodUnknown;
-                output: z.ZodOptional<z.ZodUnknown>;
-                error: z.ZodOptional<z.ZodObject<{
-                    message: z.ZodString;
-                    stack: z.ZodOptional<z.ZodString>;
-                    code: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>;
-                expiredAt: z.ZodOptional<z.ZodString>;
-                startedAt: z.ZodOptional<z.ZodString>;
-                completedAt: z.ZodOptional<z.ZodString>;
-                createdAt: z.ZodString;
-                updatedAt: z.ZodString;
-            }, z.core.$strict>;
-            events: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                runId: z.ZodString;
-                eventId: z.ZodString;
-                eventType: z.ZodEnum<{
-                    run_created: "run_created";
-                    run_started: "run_started";
-                    run_completed: "run_completed";
-                    run_failed: "run_failed";
-                    run_cancelled: "run_cancelled";
-                    step_created: "step_created";
-                    step_started: "step_started";
-                    step_completed: "step_completed";
-                    step_failed: "step_failed";
-                    step_retrying: "step_retrying";
-                    hook_created: "hook_created";
-                    hook_received: "hook_received";
-                    hook_disposed: "hook_disposed";
-                    hook_conflict: "hook_conflict";
-                    wait_created: "wait_created";
-                    wait_completed: "wait_completed";
-                }>;
-                correlationId: z.ZodOptional<z.ZodString>;
-                specVersion: z.ZodLiteral<1>;
-                createdAt: z.ZodString;
-                eventData: z.ZodOptional<z.ZodUnknown>;
-            }, z.core.$strict>>>;
-            streams: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                streamId: z.ZodString;
-                chunkId: z.ZodString;
-                index: z.ZodNumber;
-                createdAt: z.ZodString;
-                text: z.ZodString;
-                data: z.ZodOptional<z.ZodUnknown>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"executor-status">;
-    value: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-local-executor-status">;
-        version: z.ZodLiteral<1>;
-        status: z.ZodEnum<{
-            connected: "connected";
-            unavailable: "unavailable";
-        }>;
-        checked_at: z.ZodString;
-        executor: z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-        available_executors: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            current: z.ZodBoolean;
-        }, z.core.$strict>>>;
-        message: z.ZodString;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"action-proposal">;
-    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"clarification">;
-        request: z.ZodRecord<z.ZodString, z.ZodUnknown>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"compile">;
-        request: z.ZodObject<{
-            preparation: z.ZodString;
-            method: z.ZodOptional<z.ZodString>;
-            max_attempts: z.ZodOptional<z.ZodNumber>;
-            max_loops: z.ZodOptional<z.ZodNumber>;
-            preserve_stage_shells: z.ZodOptional<z.ZodEnum<{
-                "on-failure": "on-failure";
-                always: "always";
-            }>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"test">;
-        request: z.ZodObject<{
-            preparation: z.ZodString;
-            mode: z.ZodDefault<z.ZodEnum<{
-                compiled: "compiled";
-                raw: "raw";
-                both: "both";
-            }>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"readiness-check-draft">;
-        request: z.ZodObject<{
-            preparation: z.ZodString;
-            source_folder_path: z.ZodString;
-            about: z.ZodOptional<z.ZodString>;
-            target_count: z.ZodDefault<z.ZodNumber>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"method-authoring">;
-        request: z.ZodObject<{
-            preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            source_folder_path: z.ZodString;
-            base_method_id: z.ZodOptional<z.ZodString>;
-            reference_method_id: z.ZodOptional<z.ZodString>;
-            method_id: z.ZodString;
-            label: z.ZodString;
-            hint: z.ZodString;
-            task_prompt: z.ZodString;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                id: z.ZodOptional<z.ZodString>;
-                question: z.ZodString;
-                answer: z.ZodOptional<z.ZodString>;
-                expect: z.ZodOptional<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>>;
-                strictness: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"method-improvement">;
-        request: z.ZodObject<{
-            preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            source_folder_path: z.ZodString;
-            base_method_id: z.ZodOptional<z.ZodString>;
-            reference_method_id: z.ZodOptional<z.ZodString>;
-            method_id: z.ZodString;
-            label: z.ZodString;
-            hint: z.ZodString;
-            task_prompt: z.ZodString;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                id: z.ZodOptional<z.ZodString>;
-                question: z.ZodString;
-                answer: z.ZodOptional<z.ZodString>;
-                expect: z.ZodOptional<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>>;
-                strictness: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>], "action_type">;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"portable-context">;
-    value: z.ZodObject<{
-        preparation: z.ZodString;
-        path: z.ZodString;
-        exists: z.ZodBoolean;
-        readiness: z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-state">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            preparation: z.ZodString;
-            status: z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>;
-            ready: z.ZodBoolean;
-            summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            path: z.ZodString;
-            role: z.ZodEnum<{
-                output: "output";
-                runtime: "runtime";
-                source: "source";
-                test: "test";
-                proof: "proof";
-            }>;
-            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            label: z.ZodOptional<z.ZodString>;
-            sha256: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"readiness">;
-    value: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-readiness-state">;
-        version: z.ZodLiteral<1>;
-        generated_at: z.ZodString;
-        preparation: z.ZodString;
-        status: z.ZodEnum<{
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        gate: z.ZodEnum<{
+            "portable-context": "portable-context";
+            "preparation-config": "preparation-config";
+            "compile-run": "compile-run";
+            "readiness-checks": "readiness-checks";
+            "source-baseline": "source-baseline";
+            "portable-context-check": "portable-context-check";
+            "checks-current": "checks-current";
+        }>;
+        ok: z.ZodBoolean;
+        status: z.ZodOptional<z.ZodEnum<{
             "not-configured": "not-configured";
             "not-built": "not-built";
             building: "building";
@@ -4782,108 +2929,61 @@ export declare const LocalServiceResourceSchema: z.ZodDiscriminatedUnion<[z.ZodO
             "not-ready": "not-ready";
             stale: "stale";
             failed: "failed";
-        }>;
-        ready: z.ZodBoolean;
+        }>>;
         summary: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        compile: z.ZodNullable<z.ZodObject<{
-            gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
-                "portable-context": "portable-context";
-                "compile-run": "compile-run";
-                "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
-                "checks-current": "checks-current";
-            }>;
-            ok: z.ZodBoolean;
-            status: z.ZodOptional<z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>>;
-            summary: z.ZodString;
-            detail: z.ZodOptional<z.ZodString>;
-            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-        check_results: z.ZodObject<{
-            configured: z.ZodNumber;
-            fingerprint: z.ZodNullable<z.ZodString>;
-            source_files: z.ZodNullable<z.ZodObject<{
-                passed: z.ZodNumber;
-                total: z.ZodNumber;
-                pass_rate: z.ZodNullable<z.ZodNumber>;
-                checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                stale: z.ZodDefault<z.ZodBoolean>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            portable_context: z.ZodNullable<z.ZodObject<{
-                passed: z.ZodNumber;
-                total: z.ZodNumber;
-                pass_rate: z.ZodNullable<z.ZodNumber>;
-                checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                stale: z.ZodDefault<z.ZodBoolean>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-        }, z.core.$strict>;
-        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
-                "portable-context": "portable-context";
-                "compile-run": "compile-run";
-                "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
-                "checks-current": "checks-current";
-            }>;
-            ok: z.ZodBoolean;
-            status: z.ZodOptional<z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>>;
-            summary: z.ZodString;
-            detail: z.ZodOptional<z.ZodString>;
-            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"source-file">;
-    value: z.ZodObject<{
-        preparation: z.ZodString;
-        path: z.ZodString;
-        absolute_path: z.ZodString;
-        size_bytes: z.ZodNumber;
-        modified_at: z.ZodNullable<z.ZodString>;
-        source_folder_path: z.ZodString;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"workspace-file">;
-    value: z.ZodObject<{
-        path: z.ZodString;
-        absolute_path: z.ZodString;
-        size_bytes: z.ZodNumber;
-        modified_at: z.ZodNullable<z.ZodString>;
+        detail: z.ZodOptional<z.ZodString>;
+        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const SourceFileResourceSchema: z.ZodObject<{
+    preparation: z.ZodString;
+    path: z.ZodString;
+    absolute_path: z.ZodString;
+    size_bytes: z.ZodNumber;
+    modified_at: z.ZodNullable<z.ZodString>;
+    source_folder_path: z.ZodString;
+}, z.core.$strict>;
+export declare const WorkspaceFileResourceSchema: z.ZodObject<{
+    path: z.ZodString;
+    absolute_path: z.ZodString;
+    size_bytes: z.ZodNumber;
+    modified_at: z.ZodNullable<z.ZodString>;
+}, z.core.$strict>;
+export declare const LocalServiceDiscoverySchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-local-service-discovery">;
+    version: z.ZodLiteral<1>;
+    resources: z.ZodObject<{
+        preparations: z.ZodString;
+        methods: z.ZodString;
+        runs: z.ZodString;
+        readiness: z.ZodString;
+        portable_contexts: z.ZodString;
+        source_files: z.ZodString;
+        workspace_files: z.ZodString;
+        action_proposals: z.ZodString;
+        preparation_setups: z.ZodString;
+        preparation_changes: z.ZodString;
+        method_changes: z.ZodString;
+        workspace_bootstraps: z.ZodOptional<z.ZodString>;
+        readiness_check_drafts: z.ZodString;
+        method_authoring_runs: z.ZodString;
+        method_improvement_runs: z.ZodString;
+        compile_runs: z.ZodString;
+        test_runs: z.ZodString;
+        reset: z.ZodString;
+        executor: z.ZodString;
+        workspaces: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>;
-}, z.core.$strict>], "kind">;
+}, z.core.$strict>;
+export declare const OpenPathRequestSchema: z.ZodObject<{
+    path: z.ZodString;
+}, z.core.$strict>;
+export declare const OpenPathResponseSchema: z.ZodObject<{
+    opened: z.ZodBoolean;
+    path: z.ZodString;
+}, z.core.$strict>;
 export declare const PreparationListResponseSchema: z.ZodObject<{
     preparations: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -4957,8 +3057,8 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             compile: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -5006,8 +3106,8 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -5073,9 +3173,9 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
             version: z.ZodLiteral<1>;
             run_id: z.ZodString;
             status: z.ZodEnum<{
+                succeeded: "succeeded";
                 failed: "failed";
                 running: "running";
-                succeeded: "succeeded";
                 cancelled: "cancelled";
                 queued: "queued";
             }>;
@@ -5097,9 +3197,9 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 stage_index: z.ZodOptional<z.ZodNumber>;
                 stage_total: z.ZodOptional<z.ZodNumber>;
                 status: z.ZodEnum<{
+                    succeeded: "succeeded";
                     failed: "failed";
                     running: "running";
-                    succeeded: "succeeded";
                     queued: "queued";
                 }>;
                 started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -5130,11 +3230,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -5156,11 +3256,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         path: z.ZodString;
                         role: z.ZodEnum<{
-                            output: "output";
                             runtime: "runtime";
+                            output: "output";
                             source: "source";
-                            test: "test";
                             proof: "proof";
+                            test: "test";
                         }>;
                         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         label: z.ZodOptional<z.ZodString>;
@@ -5211,11 +3311,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 artifact: z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -5237,11 +3337,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         path: z.ZodString;
                         role: z.ZodEnum<{
-                            output: "output";
                             runtime: "runtime";
+                            output: "output";
                             source: "source";
-                            test: "test";
                             proof: "proof";
+                            test: "test";
                         }>;
                         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         label: z.ZodOptional<z.ZodString>;
@@ -5300,8 +3400,8 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 target: z.ZodOptional<z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>>;
                 checks_fingerprint: z.ZodOptional<z.ZodString>;
                 stale: z.ZodOptional<z.ZodBoolean>;
@@ -5335,8 +3435,8 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     compile: z.ZodNullable<z.ZodObject<{
                         gate: z.ZodEnum<{
-                            "preparation-config": "preparation-config";
                             "portable-context": "portable-context";
+                            "preparation-config": "preparation-config";
                             "compile-run": "compile-run";
                             "readiness-checks": "readiness-checks";
                             "source-baseline": "source-baseline";
@@ -5384,8 +3484,8 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     }, z.core.$strict>;
                     checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         gate: z.ZodEnum<{
-                            "preparation-config": "preparation-config";
                             "portable-context": "portable-context";
+                            "preparation-config": "preparation-config";
                             "compile-run": "compile-run";
                             "readiness-checks": "readiness-checks";
                             "source-baseline": "source-baseline";
@@ -5421,11 +3521,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -5461,8 +3561,8 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 compile: z.ZodNullable<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
                         "source-baseline": "source-baseline";
@@ -5510,8 +3610,8 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
                         "source-baseline": "source-baseline";
@@ -5550,9 +3650,9 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
             "readiness-check-draft": "readiness-check-draft";
         }>;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -5573,9 +3673,9 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
             id: z.ZodString;
             label: z.ZodString;
             status: z.ZodEnum<{
+                succeeded: "succeeded";
                 failed: "failed";
                 running: "running";
-                succeeded: "succeeded";
                 cancelled: "cancelled";
                 queued: "queued";
             }>;
@@ -5604,11 +3704,11 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
             artifact: z.ZodOptional<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -5625,16 +3725,16 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
     test_runs: z.ZodArray<z.ZodObject<{
         run_id: z.ZodString;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
         preparation: z.ZodString;
         mode: z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
             both: "both";
         }>;
         source_path: z.ZodString;
@@ -5646,8 +3746,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
             mode: z.ZodEnum<{
+                "source-files": "source-files";
                 compiled: "compiled";
-                raw: "raw";
                 both: "both";
             }>;
             source_path: z.ZodString;
@@ -5656,7 +3756,7 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 name: z.ZodString;
                 portable_context_path: z.ZodNullable<z.ZodString>;
             }, z.core.$strip>;
-            raw: z.ZodNullable<z.ZodObject<{
+            source_files: z.ZodNullable<z.ZodObject<{
                 label: z.ZodString;
                 run_path: z.ZodString;
                 ok: z.ZodBoolean;
@@ -5666,8 +3766,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 total_checks: z.ZodNumber;
                 target: z.ZodObject<{
                     type: z.ZodEnum<{
+                        "source-files": "source-files";
                         compiled: "compiled";
-                        raw: "raw";
                     }>;
                     name: z.ZodString;
                     path: z.ZodString;
@@ -5684,8 +3784,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 total_checks: z.ZodNumber;
                 target: z.ZodObject<{
                     type: z.ZodEnum<{
+                        "source-files": "source-files";
                         compiled: "compiled";
-                        raw: "raw";
                     }>;
                     name: z.ZodString;
                     path: z.ZodString;
@@ -5720,8 +3820,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             compile: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -5769,8 +3869,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -5831,11 +3931,11 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             artifact: z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -5857,11 +3957,11 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -5920,8 +4020,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             passed: z.ZodNumber;
             total: z.ZodNumber;
             target: z.ZodOptional<z.ZodEnum<{
+                "source-files": "source-files";
                 compiled: "compiled";
-                raw: "raw";
             }>>;
             checks_fingerprint: z.ZodOptional<z.ZodString>;
             stale: z.ZodOptional<z.ZodBoolean>;
@@ -5955,8 +4055,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 compile: z.ZodNullable<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
                         "source-baseline": "source-baseline";
@@ -6004,8 +4104,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
                         "source-baseline": "source-baseline";
@@ -6049,9 +4149,9 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
         }>;
         title: z.ZodString;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -6085,11 +4185,11 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
         artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -6124,8 +4224,8 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             compile: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -6173,8 +4273,8 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -6285,11 +4385,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            service: "service";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
             mcp: "mcp";
-            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -6333,11 +4433,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            service: "service";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
             mcp: "mcp";
-            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -6390,11 +4490,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            service: "service";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
             mcp: "mcp";
-            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -6419,8 +4519,8 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         request: z.ZodObject<{
             preparation: z.ZodString;
             mode: z.ZodDefault<z.ZodEnum<{
+                "source-files": "source-files";
                 compiled: "compiled";
-                raw: "raw";
                 both: "both";
             }>>;
         }, z.core.$strict>;
@@ -6445,11 +4545,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            service: "service";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
             mcp: "mcp";
-            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -6498,11 +4598,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            service: "service";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
             mcp: "mcp";
-            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -6568,11 +4668,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            service: "service";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
             mcp: "mcp";
-            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -6647,8 +4747,8 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             compile: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -6696,8 +4796,8 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
                     "source-baseline": "source-baseline";
@@ -6728,11 +4828,11 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
         artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -6764,8 +4864,8 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         compile: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -6813,8 +4913,8 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
                 "source-baseline": "source-baseline";
@@ -6862,7 +4962,7 @@ export type LocalServiceConfig = z.infer<typeof LocalServiceConfigSchema>;
 export type LocalServiceError = z.infer<typeof LocalServiceErrorSchema>;
 export type LocalServiceHealth = z.infer<typeof LocalServiceHealthSchema>;
 export type LocalServicePointer = z.infer<typeof LocalServicePointerSchema>;
-export type PreparationReadinessState = z.infer<typeof PreparationReadinessStateSchema>;
+export type LocalServiceAuthToken = z.infer<typeof LocalServiceAuthTokenSchema>;
 export type PortableContextMapping = z.infer<typeof PortableContextMappingSchema>;
 export type PreparationRunLinkage = z.infer<typeof PreparationRunLinkageSchema>;
 export type PreparationResource = z.infer<typeof PreparationResourceSchema>;
@@ -6882,6 +4982,8 @@ export type LocalJobEvent = z.infer<typeof LocalJobEventSchema>;
 export type LocalJobRunCreateRequest = z.infer<typeof LocalJobRunCreateRequestSchema>;
 export type PreparationSetupCreateRequest = z.infer<typeof PreparationSetupCreateRequestSchema>;
 export type PreparationSetupResult = z.infer<typeof PreparationSetupResultSchema>;
+export type WorkspaceBootstrapCreateRequest = z.infer<typeof WorkspaceBootstrapCreateRequestSchema>;
+export type WorkspaceBootstrapResult = z.infer<typeof WorkspaceBootstrapResultSchema>;
 export type MethodChangeCreateRequest = z.infer<typeof MethodChangeCreateRequestSchema>;
 export type MethodChangeResult = z.infer<typeof MethodChangeResultSchema>;
 export type PreparationChangeCreateRequest = z.infer<typeof PreparationChangeCreateRequestSchema>;
@@ -6913,7 +5015,6 @@ export type ReadinessResource = z.infer<typeof ReadinessResourceSchema>;
 export type OpenPathRequest = z.infer<typeof OpenPathRequestSchema>;
 export type OpenPathResponse = z.infer<typeof OpenPathResponseSchema>;
 export type LocalServiceDiscovery = z.infer<typeof LocalServiceDiscoverySchema>;
-export type LocalServiceResource = z.infer<typeof LocalServiceResourceSchema>;
 export type PreparationListResponse = z.infer<typeof PreparationListResponseSchema>;
 export type MethodListResponse = z.infer<typeof MethodListResponseSchema>;
 export type CompileRunListResponse = z.infer<typeof CompileRunListResponseSchema>;
@@ -6925,3 +5026,10 @@ export type PortableContextListResponse = z.infer<typeof PortableContextListResp
 export type ReadinessListResponse = z.infer<typeof ReadinessListResponseSchema>;
 export type SourceFileListResponse = z.infer<typeof SourceFileListResponseSchema>;
 export type WorkspaceFileListResponse = z.infer<typeof WorkspaceFileListResponseSchema>;
+export type ServiceRegistryWorkspace = z.infer<typeof ServiceRegistryWorkspaceSchema>;
+export type ServiceRegistryEntry = z.infer<typeof ServiceRegistryEntrySchema>;
+export type ServiceRegistry = z.infer<typeof ServiceRegistrySchema>;
+export type WorkspaceRegistrationRequest = z.infer<typeof WorkspaceRegistrationRequestSchema>;
+export type WorkspaceRegistrationResponse = z.infer<typeof WorkspaceRegistrationResponseSchema>;
+export type WorkspaceListResponse = z.infer<typeof WorkspaceListResponseSchema>;
+export type WorkspaceDeregisterResponse = z.infer<typeof WorkspaceDeregisterResponseSchema>;