@interf/compiler 0.9.4 → 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,113 +175,29 @@ 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<{
+        message: z.ZodString;
+        code: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
 }, z.core.$strict>;
-export declare const LocalServiceInstancePointerSchema: z.ZodObject<{
+export declare const LocalServicePointerSchema: z.ZodObject<{
     service_url: z.ZodString;
     host: z.ZodString;
     port: z.ZodNumber;
     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>>;
-        delta: z.ZodNullable<z.ZodNumber>;
-    }, 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;
@@ -208,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";
@@ -254,12 +329,11 @@ export declare const PreparationResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            delta: z.ZodNullable<z.ZodNumber>;
         }, 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";
@@ -303,6 +377,7 @@ export declare const MethodResourceSchema: z.ZodObject<{
     }>>;
     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;
@@ -327,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";
     }>;
@@ -374,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>;
@@ -400,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>;
@@ -463,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>;
@@ -498,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";
@@ -544,12 +619,11 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                delta: z.ZodNullable<z.ZodNumber>;
             }, 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";
@@ -585,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>;
@@ -609,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";
         }>;
@@ -633,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>>;
@@ -666,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>;
@@ -692,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>;
@@ -747,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>;
@@ -773,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>;
@@ -836,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>;
@@ -871,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";
@@ -917,12 +991,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                         run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     }, z.core.$strict>>;
-                    delta: z.ZodNullable<z.ZodNumber>;
                 }, 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";
@@ -958,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>;
@@ -998,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";
@@ -1044,12 +1117,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                delta: z.ZodNullable<z.ZodNumber>;
             }, 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";
@@ -1077,30 +1149,34 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
     }, z.core.$strict>;
 }, z.core.$strict>;
 export declare const LocalJobTypeSchema: z.ZodEnum<{
-    compile: "compile";
     "method-authoring": "method-authoring";
     "method-improvement": "method-improvement";
-    "preparation-setup": "preparation-setup";
-    test: "test";
     "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";
 }>;
 export declare const LocalRunHandlerResultSchema: z.ZodObject<{
     ok: z.ZodBoolean;
     error: z.ZodOptional<z.ZodString>;
-    comparison: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+    readiness_run: z.ZodOptional<z.ZodNullable<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-check-run">;
         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;
@@ -1109,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;
@@ -1119,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;
@@ -1137,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;
@@ -1146,9 +1222,8 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             }, z.core.$strip>;
         }, z.core.$strip>>;
         summary: z.ZodObject<{
-            raw_pass_rate: z.ZodNullable<z.ZodNumber>;
-            compiled_pass_rate: z.ZodNullable<z.ZodNumber>;
-            pass_rate_delta: z.ZodNullable<z.ZodNumber>;
+            source_files_pass_rate: z.ZodNullable<z.ZodNumber>;
+            portable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
         }, z.core.$strip>;
     }, z.core.$strip>>>;
 }, z.core.$strict>;
@@ -1167,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";
     }>;
@@ -1208,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>;
@@ -1223,11 +1298,8 @@ export declare const LocalJobEventSchema: z.ZodObject<{
 }, z.core.$strict>;
 export declare const LocalJobRunCreateRequestSchema: z.ZodObject<{
     job_type: z.ZodEnum<{
-        compile: "compile";
         "method-authoring": "method-authoring";
         "method-improvement": "method-improvement";
-        "preparation-setup": "preparation-setup";
-        test: "test";
         "readiness-check-draft": "readiness-check-draft";
     }>;
     title: z.ZodString;
@@ -1270,22 +1342,124 @@ export declare const PreparationSetupCreateRequestSchema: z.ZodObject<{
         }, z.core.$strict>>>;
     }, z.core.$strict>;
     prepare_after_setup: z.ZodDefault<z.ZodBoolean>;
+    setup_mode: z.ZodDefault<z.ZodEnum<{
+        create: "create";
+        "select-method": "select-method";
+    }>>;
 }, z.core.$strict>;
-export declare const ReadinessCheckDraftCreateRequestSchema: z.ZodObject<{
+export declare const PreparationSetupResultSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-preparation-setup-result">;
+    version: z.ZodLiteral<1>;
+    operation: z.ZodEnum<{
+        create: "create";
+        "select-method": "select-method";
+    }>;
     preparation: z.ZodString;
+    method: z.ZodString;
     source_folder_path: z.ZodString;
-    about: z.ZodOptional<z.ZodString>;
-    target_count: z.ZodDefault<z.ZodNumber>;
+    config_path: z.ZodString;
+    portable_context_path: z.ZodString;
+    changed: z.ZodBoolean;
+    message: z.ZodString;
+    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 ReadinessCheckDraftResultSchema: z.ZodObject<{
-    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>>;
+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">;
+    method: z.ZodString;
+    new_method_id: z.ZodString;
+    label: z.ZodOptional<z.ZodString>;
+    hint: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    action_type: z.ZodOptional<z.ZodLiteral<"method-change">>;
+    operation: z.ZodLiteral<"remove">;
+    method: z.ZodString;
+    confirmation: z.ZodString;
+}, z.core.$strict>], "operation">;
+export declare const MethodChangeResultSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-method-change-result">;
+    version: z.ZodLiteral<1>;
+    operation: z.ZodEnum<{
+        duplicate: "duplicate";
+        remove: "remove";
+    }>;
+    method: z.ZodString;
+    new_method_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    updated_preparations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    method_path: z.ZodString;
+    changed: z.ZodBoolean;
+    message: z.ZodString;
+}, z.core.$strict>;
+export declare const PreparationChangeCreateRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    action_type: z.ZodOptional<z.ZodLiteral<"preparation-change">>;
+    operation: z.ZodLiteral<"remove">;
+    preparation: z.ZodString;
+    confirmation: z.ZodString;
+}, z.core.$strict>], "operation">;
+export declare const PreparationChangeResultSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-preparation-change-result">;
+    version: z.ZodLiteral<1>;
+    operation: z.ZodLiteral<"remove">;
+    preparation: z.ZodString;
+    config_path: z.ZodString;
+    portable_context_path: z.ZodString;
+    portable_context_retained: z.ZodBoolean;
+    changed: z.ZodBoolean;
+    message: z.ZodString;
+}, z.core.$strict>;
+export declare const ResetRequestSchema: z.ZodObject<{
+    preparation: z.ZodString;
+    scope: z.ZodEnum<{
+        compile: "compile";
+        all: "all";
+    }>;
+}, z.core.$strict>;
+export declare const ResetResultSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-reset-result">;
+    version: z.ZodLiteral<1>;
+    preparation: z.ZodString;
+    scope: z.ZodEnum<{
+        compile: "compile";
+        all: "all";
+    }>;
+    portable_context_path: z.ZodString;
+    changed: z.ZodBoolean;
+    message: z.ZodString;
+}, z.core.$strict>;
+export declare const ReadinessCheckDraftCreateRequestSchema: z.ZodObject<{
+    preparation: z.ZodString;
+    source_folder_path: z.ZodString;
+    about: z.ZodOptional<z.ZodString>;
+    target_count: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strict>;
+export declare const ReadinessCheckDraftResultSchema: z.ZodObject<{
+    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>>;
@@ -1344,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>;
@@ -1362,17 +1536,14 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     run_id: z.ZodString;
     job_type: z.ZodEnum<{
-        compile: "compile";
         "method-authoring": "method-authoring";
         "method-improvement": "method-improvement";
-        "preparation-setup": "preparation-setup";
-        test: "test";
         "readiness-check-draft": "readiness-check-draft";
     }>;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -1393,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";
         }>;
@@ -1424,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>;
@@ -1441,46 +1612,46 @@ 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;
     portable_context_path: z.ZodNullable<z.ZodString>;
     started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    comparison: z.ZodNullable<z.ZodObject<{
+    readiness_run: z.ZodNullable<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-check-run">;
         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;
@@ -1489,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;
@@ -1499,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;
@@ -1517,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;
@@ -1526,9 +1697,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             }, z.core.$strip>;
         }, z.core.$strip>>;
         summary: z.ZodObject<{
-            raw_pass_rate: z.ZodNullable<z.ZodNumber>;
-            compiled_pass_rate: z.ZodNullable<z.ZodNumber>;
-            pass_rate_delta: z.ZodNullable<z.ZodNumber>;
+            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<{
@@ -1554,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";
@@ -1600,12 +1770,11 @@ export declare const TestRunResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            delta: z.ZodNullable<z.ZodNumber>;
         }, 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";
@@ -1666,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>;
@@ -1692,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>;
@@ -1755,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>;
@@ -1790,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";
@@ -1836,12 +2005,11 @@ export declare const TestRunResourceSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                delta: z.ZodNullable<z.ZodNumber>;
             }, 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";
@@ -1877,16 +2045,15 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         compile: "compile";
         "method-authoring": "method-authoring";
         "method-improvement": "method-improvement";
-        "preparation-setup": "preparation-setup";
         test: "test";
         "readiness-check-draft": "readiness-check-draft";
         job: "job";
     }>;
     title: z.ZodString;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -1920,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>;
@@ -1959,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";
@@ -2005,12 +2172,11 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            delta: z.ZodNullable<z.ZodNumber>;
         }, 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";
@@ -2098,43 +2264,6 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         }, z.core.$strict>>>;
     }, z.core.$strict>;
 }, z.core.$strict>;
-export declare const RunCreateRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    run_type: z.ZodLiteral<"compile">;
-    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.ZodObject<{
-    run_type: z.ZodLiteral<"prepare">;
-    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.ZodObject<{
-    run_type: z.ZodLiteral<"test">;
-    preparation: z.ZodString;
-    mode: z.ZodDefault<z.ZodEnum<{
-        compiled: "compiled";
-        raw: "raw";
-        both: "both";
-    }>>;
-}, z.core.$strict>, z.ZodObject<{
-    run_type: z.ZodLiteral<"check">;
-    preparation: z.ZodString;
-    mode: z.ZodDefault<z.ZodEnum<{
-        compiled: "compiled";
-        raw: "raw";
-        both: "both";
-    }>>;
-}, z.core.$strict>], "run_type">;
 export declare const LocalExecutorStatusSchema: z.ZodObject<{
     kind: z.ZodLiteral<"interf-local-executor-status">;
     version: z.ZodLiteral<1>;
@@ -2163,11 +2292,21 @@ export declare const ActionProposalTypeSchema: z.ZodEnum<{
     compile: "compile";
     "method-authoring": "method-authoring";
     "method-improvement": "method-improvement";
-    "preparation-setup": "preparation-setup";
     test: "test";
     "readiness-check-draft": "readiness-check-draft";
     clarification: "clarification";
 }>;
+export declare const ActionProposalPlanActionTypeSchema: z.ZodEnum<{
+    compile: "compile";
+    "method-authoring": "method-authoring";
+    "method-improvement": "method-improvement";
+    test: "test";
+    "readiness-check-draft": "readiness-check-draft";
+    "method-change": "method-change";
+    "preparation-change": "preparation-change";
+    clarification: "clarification";
+    "preparation-setup": "preparation-setup";
+}>;
 export declare const ActionProposalStatusSchema: z.ZodEnum<{
     failed: "failed";
     needs_clarification: "needs_clarification";
@@ -2176,9 +2315,25 @@ export declare const ActionProposalStatusSchema: z.ZodEnum<{
     denied: "denied";
     submitted: "submitted";
 }>;
+export declare const ActionClientOriginSchema: z.ZodEnum<{
+    unknown: "unknown";
+    service: "service";
+    "ui-chat": "ui-chat";
+    cli: "cli";
+    "agent-cli": "agent-cli";
+    mcp: "mcp";
+}>;
 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";
+    }>>;
     values: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.core.$strict>;
 export declare const ActionProposalPlanSchema: z.ZodObject<{
@@ -2186,10 +2341,12 @@ export declare const ActionProposalPlanSchema: z.ZodObject<{
         compile: "compile";
         "method-authoring": "method-authoring";
         "method-improvement": "method-improvement";
-        "preparation-setup": "preparation-setup";
         test: "test";
         "readiness-check-draft": "readiness-check-draft";
+        "method-change": "method-change";
+        "preparation-change": "preparation-change";
         clarification: "clarification";
+        "preparation-setup": "preparation-setup";
     }>;
     preparation: z.ZodOptional<z.ZodString>;
     method: z.ZodOptional<z.ZodString>;
@@ -2227,6 +2384,14 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        service: "service";
+        "ui-chat": "ui-chat";
+        cli: "cli";
+        "agent-cli": "agent-cli";
+        mcp: "mcp";
+    }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
     proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -2267,6 +2432,14 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        service: "service";
+        "ui-chat": "ui-chat";
+        cli: "cli";
+        "agent-cli": "agent-cli";
+        mcp: "mcp";
+    }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
     proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -2316,70 +2489,14 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    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<"preparation-setup">;
-    request: z.ZodObject<{
-        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>;
-        prepare_after_setup: z.ZodDefault<z.ZodBoolean>;
-    }, 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";
+        service: "service";
+        "ui-chat": "ui-chat";
+        cli: "cli";
+        "agent-cli": "agent-cli";
+        mcp: "mcp";
+    }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
     proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -2403,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>;
@@ -2427,6 +2544,14 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        service: "service";
+        "ui-chat": "ui-chat";
+        cli: "cli";
+        "agent-cli": "agent-cli";
+        mcp: "mcp";
+    }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
     proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -2472,6 +2597,14 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        service: "service";
+        "ui-chat": "ui-chat";
+        cli: "cli";
+        "agent-cli": "agent-cli";
+        mcp: "mcp";
+    }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
     proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -2534,6 +2667,14 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        service: "service";
+        "ui-chat": "ui-chat";
+        cli: "cli";
+        "agent-cli": "agent-cli";
+        mcp: "mcp";
+    }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
     proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -2605,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";
@@ -2651,12 +2792,11 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            delta: z.ZodNullable<z.ZodNumber>;
         }, 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";
@@ -2687,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>;
@@ -2721,2144 +2861,129 @@ 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";
             "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>>;
-        delta: z.ZodNullable<z.ZodNumber>;
-    }, 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;
-        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>>;
-                delta: z.ZodNullable<z.ZodNumber>;
-            }, 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>>;
-        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>>;
-                        delta: z.ZodNullable<z.ZodNumber>;
-                    }, 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>>;
-                    delta: z.ZodNullable<z.ZodNumber>;
-                }, 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<{
-            compile: "compile";
-            "method-authoring": "method-authoring";
-            "method-improvement": "method-improvement";
-            "preparation-setup": "preparation-setup";
-            test: "test";
-            "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>>;
-        comparison: 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<{
-                raw_pass_rate: z.ZodNullable<z.ZodNumber>;
-                compiled_pass_rate: z.ZodNullable<z.ZodNumber>;
-                pass_rate_delta: 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>>;
-                delta: z.ZodNullable<z.ZodNumber>;
-            }, 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>>;
-                    delta: z.ZodNullable<z.ZodNumber>;
-                }, 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";
-            "preparation-setup": "preparation-setup";
-            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>>;
-                delta: z.ZodNullable<z.ZodNumber>;
-            }, 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>>;
-        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>>;
-        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>>;
-        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<"preparation-setup">;
-        request: z.ZodObject<{
-            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>;
-            prepare_after_setup: z.ZodDefault<z.ZodBoolean>;
-        }, 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>>;
-        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>>;
-        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>>;
-        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>>;
-        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>>;
-                delta: z.ZodNullable<z.ZodNumber>;
-            }, 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<{
-            "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>>;
-            delta: z.ZodNullable<z.ZodNumber>;
-        }, 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>;
+        }>;
+        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>>;
-            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;
+            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>;
-}, 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>;
+    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";
+            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;
+        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;
@@ -4932,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";
@@ -4978,12 +3103,11 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                delta: z.ZodNullable<z.ZodNumber>;
             }, 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";
@@ -5029,6 +3153,7 @@ export declare const MethodListResponseSchema: z.ZodObject<{
         }>>;
         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;
@@ -5048,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";
             }>;
@@ -5072,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>>;
@@ -5105,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>;
@@ -5131,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>;
@@ -5186,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>;
@@ -5212,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>;
@@ -5275,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>;
@@ -5310,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";
@@ -5356,12 +3481,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                             run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         }, z.core.$strict>>;
-                        delta: z.ZodNullable<z.ZodNumber>;
                     }, 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";
@@ -5397,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>;
@@ -5437,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";
@@ -5483,12 +3607,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                         run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     }, z.core.$strict>>;
-                    delta: z.ZodNullable<z.ZodNumber>;
                 }, 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";
@@ -5522,17 +3645,14 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         run_id: z.ZodString;
         job_type: z.ZodEnum<{
-            compile: "compile";
             "method-authoring": "method-authoring";
             "method-improvement": "method-improvement";
-            "preparation-setup": "preparation-setup";
-            test: "test";
             "readiness-check-draft": "readiness-check-draft";
         }>;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -5553,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";
             }>;
@@ -5584,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>;
@@ -5605,29 +3725,29 @@ 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;
         portable_context_path: z.ZodNullable<z.ZodString>;
         started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        comparison: z.ZodNullable<z.ZodObject<{
+        readiness_run: z.ZodNullable<z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-check-run">;
             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;
@@ -5636,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;
@@ -5646,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;
@@ -5664,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;
@@ -5673,9 +3793,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 }, z.core.$strip>;
             }, z.core.$strip>>;
             summary: z.ZodObject<{
-                raw_pass_rate: z.ZodNullable<z.ZodNumber>;
-                compiled_pass_rate: z.ZodNullable<z.ZodNumber>;
-                pass_rate_delta: z.ZodNullable<z.ZodNumber>;
+                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<{
@@ -5701,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";
@@ -5747,12 +3866,11 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                delta: z.ZodNullable<z.ZodNumber>;
             }, 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";
@@ -5813,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>;
@@ -5839,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>;
@@ -5902,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>;
@@ -5937,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";
@@ -5983,12 +4101,11 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                         run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     }, z.core.$strict>>;
-                    delta: z.ZodNullable<z.ZodNumber>;
                 }, 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";
@@ -6026,16 +4143,15 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             compile: "compile";
             "method-authoring": "method-authoring";
             "method-improvement": "method-improvement";
-            "preparation-setup": "preparation-setup";
             test: "test";
             "readiness-check-draft": "readiness-check-draft";
             job: "job";
         }>;
         title: z.ZodString;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -6069,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>;
@@ -6108,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";
@@ -6154,12 +4270,11 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                delta: z.ZodNullable<z.ZodNumber>;
             }, 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";
@@ -6268,6 +4383,14 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            service: "service";
+            "ui-chat": "ui-chat";
+            cli: "cli";
+            "agent-cli": "agent-cli";
+            mcp: "mcp";
+        }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
         proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -6308,6 +4431,14 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            service: "service";
+            "ui-chat": "ui-chat";
+            cli: "cli";
+            "agent-cli": "agent-cli";
+            mcp: "mcp";
+        }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
         proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -6357,70 +4488,14 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         message: z.ZodString;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        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<"preparation-setup">;
-        request: z.ZodObject<{
-            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>;
-            prepare_after_setup: z.ZodDefault<z.ZodBoolean>;
-        }, 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";
+            service: "service";
+            "ui-chat": "ui-chat";
+            cli: "cli";
+            "agent-cli": "agent-cli";
+            mcp: "mcp";
+        }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
         proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -6444,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>;
@@ -6468,6 +4543,14 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            service: "service";
+            "ui-chat": "ui-chat";
+            cli: "cli";
+            "agent-cli": "agent-cli";
+            mcp: "mcp";
+        }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
         proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -6513,6 +4596,14 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            service: "service";
+            "ui-chat": "ui-chat";
+            cli: "cli";
+            "agent-cli": "agent-cli";
+            mcp: "mcp";
+        }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
         proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -6575,6 +4666,14 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            service: "service";
+            "ui-chat": "ui-chat";
+            cli: "cli";
+            "agent-cli": "agent-cli";
+            mcp: "mcp";
+        }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
         proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -6648,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";
@@ -6694,12 +4793,11 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                delta: z.ZodNullable<z.ZodNumber>;
             }, 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";
@@ -6730,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>;
@@ -6766,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";
@@ -6812,12 +4910,11 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            delta: z.ZodNullable<z.ZodNumber>;
         }, 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,9 +4959,10 @@ export declare const WorkspaceFileListResponseSchema: z.ZodObject<{
     }, z.core.$strict>>;
 }, z.core.$strict>;
 export type LocalServiceConfig = z.infer<typeof LocalServiceConfigSchema>;
+export type LocalServiceError = z.infer<typeof LocalServiceErrorSchema>;
 export type LocalServiceHealth = z.infer<typeof LocalServiceHealthSchema>;
-export type LocalServiceInstancePointer = z.infer<typeof LocalServiceInstancePointerSchema>;
-export type PreparationReadinessState = z.infer<typeof PreparationReadinessStateSchema>;
+export type LocalServicePointer = z.infer<typeof LocalServicePointerSchema>;
+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>;
@@ -6883,6 +4981,15 @@ export type LocalJobEventType = z.infer<typeof LocalJobEventTypeSchema>;
 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>;
+export type PreparationChangeResult = z.infer<typeof PreparationChangeResultSchema>;
+export type ResetRequest = z.infer<typeof ResetRequestSchema>;
+export type ResetResult = z.infer<typeof ResetResultSchema>;
 export type ReadinessCheckDraftCreateRequest = z.infer<typeof ReadinessCheckDraftCreateRequestSchema>;
 export type ReadinessCheckDraftResult = z.infer<typeof ReadinessCheckDraftResultSchema>;
 export type MethodAuthoringCreateRequest = z.infer<typeof MethodAuthoringCreateRequestSchema>;
@@ -6893,11 +5000,12 @@ export type TestRunStatus = z.infer<typeof TestRunStatusSchema>;
 export type TestRunCreateRequest = z.infer<typeof TestRunCreateRequestSchema>;
 export type TestRunResource = z.infer<typeof TestRunResourceSchema>;
 export type RunObservabilityResource = z.infer<typeof RunObservabilityResourceSchema>;
-export type RunCreateRequest = z.infer<typeof RunCreateRequestSchema>;
 export type LocalExecutorStatus = z.infer<typeof LocalExecutorStatusSchema>;
 export type ActionProposalType = z.infer<typeof ActionProposalTypeSchema>;
+export type ActionProposalPlanActionType = z.infer<typeof ActionProposalPlanActionTypeSchema>;
 export type ActionProposalStatus = z.infer<typeof ActionProposalStatusSchema>;
-export type ActionProposalCreateRequest = z.infer<typeof ActionProposalCreateRequestSchema>;
+export type ActionClientOrigin = z.infer<typeof ActionClientOriginSchema>;
+export type ActionProposalCreateRequest = z.input<typeof ActionProposalCreateRequestSchema>;
 export type ActionProposalPlan = z.infer<typeof ActionProposalPlanSchema>;
 export type ActionProposalApprovalRequest = z.infer<typeof ActionProposalApprovalRequestSchema>;
 export type ActionProposalApproval = z.infer<typeof ActionProposalApprovalSchema>;
@@ -6907,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>;
@@ -6919,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>;