@interf/compiler 0.9.5 → 0.16.0

package/dist/packages/{local-service → engine}/lib/schema.d.ts

@@ -1,10 +1,150 @@
 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. Aliases the
+ * canonical `LocatorSchema` from contracts so all three kinds —
+ * `local-path`, `remote-url`, `api-served` — flow through the same
+ * resource-access pattern.
+ */
+export declare const ArtifactLocatorSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        "local-path": "local-path";
+        "remote-url": "remote-url";
+        "api-served": "api-served";
+    }>;
+    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;
+    connection_kind: z.ZodOptional<z.ZodEnum<{
+        local: "local";
+        remote: "remote";
+    }>>;
+}, 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.ZodOptional<z.ZodNullable<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 `PATCH /v1/preparations/<id>` — update mutable preparation fields. */
+export declare const PreparationUpdateRequestSchema: z.ZodObject<{
+    method_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    about: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, 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 PreparationUpdateRequest = z.infer<typeof PreparationUpdateRequestSchema>;
+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 LocalServiceHealthSchema: z.ZodObject<{
     kind: z.ZodLiteral<"interf-local-service-health">;
     version: z.ZodLiteral<1>;
@@ -16,6 +156,14 @@ export declare const LocalServiceHealthSchema: z.ZodObject<{
     source_folder_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     started_at: z.ZodOptional<z.ZodString>;
     package_version: z.ZodOptional<z.ZodString>;
+    instance_started_at: z.ZodOptional<z.ZodString>;
+    registered_workspaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        control_path: z.ZodString;
+        registered_at: z.ZodString;
+        last_activity: z.ZodString;
+    }, z.core.$strict>>>;
+    active_runs: z.ZodDefault<z.ZodNumber>;
+    idle_for_seconds: z.ZodDefault<z.ZodNumber>;
 }, z.core.$strict>;
 export declare const LocalServiceErrorSchema: z.ZodObject<{
     error: z.ZodObject<{
@@ -30,104 +178,7 @@ export declare const LocalServicePointerSchema: z.ZodObject<{
     pid: z.ZodNumber;
     control_path: z.ZodString;
     started_at: z.ZodString;
-}, z.core.$strict>;
-export declare const PreparationReadinessStateSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"interf-readiness-state">;
-    version: z.ZodLiteral<1>;
-    generated_at: z.ZodString;
-    preparation: z.ZodString;
-    status: z.ZodEnum<{
-        "not-configured": "not-configured";
-        "not-built": "not-built";
-        building: "building";
-        built: "built";
-        checking: "checking";
-        ready: "ready";
-        "not-ready": "not-ready";
-        stale: "stale";
-        failed: "failed";
-    }>;
-    ready: z.ZodBoolean;
-    summary: z.ZodString;
-    portable_context_path: z.ZodNullable<z.ZodString>;
-    latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    compile: z.ZodNullable<z.ZodObject<{
-        gate: z.ZodEnum<{
-            "preparation-config": "preparation-config";
-            "portable-context": "portable-context";
-            "compile-run": "compile-run";
-            "readiness-checks": "readiness-checks";
-            "source-baseline": "source-baseline";
-            "portable-context-check": "portable-context-check";
-            "checks-current": "checks-current";
-        }>;
-        ok: z.ZodBoolean;
-        status: z.ZodOptional<z.ZodEnum<{
-            "not-configured": "not-configured";
-            "not-built": "not-built";
-            building: "building";
-            built: "built";
-            checking: "checking";
-            ready: "ready";
-            "not-ready": "not-ready";
-            stale: "stale";
-            failed: "failed";
-        }>>;
-        summary: z.ZodString;
-        detail: z.ZodOptional<z.ZodString>;
-        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>>;
-    check_results: z.ZodObject<{
-        configured: z.ZodNumber;
-        fingerprint: z.ZodNullable<z.ZodString>;
-        source_files: z.ZodNullable<z.ZodObject<{
-            passed: z.ZodNumber;
-            total: z.ZodNumber;
-            pass_rate: z.ZodNullable<z.ZodNumber>;
-            checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            stale: z.ZodDefault<z.ZodBoolean>;
-            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-        portable_context: z.ZodNullable<z.ZodObject<{
-            passed: z.ZodNumber;
-            total: z.ZodNumber;
-            pass_rate: z.ZodNullable<z.ZodNumber>;
-            checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            stale: z.ZodDefault<z.ZodBoolean>;
-            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>;
-    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        gate: z.ZodEnum<{
-            "preparation-config": "preparation-config";
-            "portable-context": "portable-context";
-            "compile-run": "compile-run";
-            "readiness-checks": "readiness-checks";
-            "source-baseline": "source-baseline";
-            "portable-context-check": "portable-context-check";
-            "checks-current": "checks-current";
-        }>;
-        ok: z.ZodBoolean;
-        status: z.ZodOptional<z.ZodEnum<{
-            "not-configured": "not-configured";
-            "not-built": "not-built";
-            building: "building";
-            built: "built";
-            checking: "checking";
-            ready: "ready";
-            "not-ready": "not-ready";
-            stale: "stale";
-            failed: "failed";
-        }>>;
-        summary: z.ZodString;
-        detail: z.ZodOptional<z.ZodString>;
-        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>>>;
+    auth_token: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
 export declare const PortableContextMappingSchema: z.ZodObject<{
     preparation: z.ZodString;
@@ -213,12 +264,10 @@ 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";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -262,12 +311,10 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -314,6 +361,7 @@ export declare const MethodResourceSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         contract_type: z.ZodString;
         skill_dir: z.ZodString;
+        role: z.ZodDefault<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>>;
@@ -332,9 +380,9 @@ export declare const CompileRunCreateRequestSchema: z.ZodObject<{
 export declare const CompileRunSummarySchema: z.ZodObject<{
     run_id: z.ZodString;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -379,11 +427,11 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         artifact: z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -405,11 +453,11 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -468,8 +516,8 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         passed: z.ZodNumber;
         total: z.ZodNumber;
         target: z.ZodOptional<z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
         }>>;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         stale: z.ZodOptional<z.ZodBoolean>;
@@ -503,12 +551,10 @@ 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";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -552,12 +598,10 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -589,11 +633,11 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -613,9 +657,9 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         run_id: z.ZodString;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -637,9 +681,9 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             stage_index: z.ZodOptional<z.ZodNumber>;
             stage_total: z.ZodOptional<z.ZodNumber>;
             status: z.ZodEnum<{
+                succeeded: "succeeded";
                 failed: "failed";
                 running: "running";
-                succeeded: "succeeded";
                 queued: "queued";
             }>;
             started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -670,11 +714,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -696,11 +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>;
@@ -751,11 +795,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             artifact: z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -777,11 +821,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -840,8 +884,8 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             passed: z.ZodNumber;
             total: z.ZodNumber;
             target: z.ZodOptional<z.ZodEnum<{
+                "source-files": "source-files";
                 compiled: "compiled";
-                raw: "raw";
             }>>;
             checks_fingerprint: z.ZodOptional<z.ZodString>;
             stale: z.ZodOptional<z.ZodBoolean>;
@@ -875,12 +919,10 @@ 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";
-                        "portable-context-check": "portable-context-check";
                         "checks-current": "checks-current";
                     }>;
                     ok: z.ZodBoolean;
@@ -924,12 +966,10 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
                         "checks-current": "checks-current";
                     }>;
                     ok: z.ZodBoolean;
@@ -961,11 +1001,11 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -1001,12 +1041,10 @@ 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";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -1050,12 +1088,10 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -1083,10 +1119,17 @@ export declare const LocalJobTypeSchema: z.ZodEnum<{
     "method-improvement": "method-improvement";
     "readiness-check-draft": "readiness-check-draft";
 }>;
-export declare const LocalJobStatusSchema: z.ZodEnum<{
+export declare const RunStatusSchema: z.ZodEnum<{
+    succeeded: "succeeded";
     failed: "failed";
     running: "running";
+    cancelled: "cancelled";
+    queued: "queued";
+}>;
+export declare const LocalJobStatusSchema: z.ZodEnum<{
     succeeded: "succeeded";
+    failed: "failed";
+    running: "running";
     cancelled: "cancelled";
     queued: "queued";
 }>;
@@ -1098,8 +1141,8 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
         mode: z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
             both: "both";
         }>;
         source_path: z.ZodString;
@@ -1108,7 +1151,7 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             name: z.ZodString;
             portable_context_path: z.ZodNullable<z.ZodString>;
         }, z.core.$strip>;
-        raw: z.ZodNullable<z.ZodObject<{
+        source_files: z.ZodNullable<z.ZodObject<{
             label: z.ZodString;
             run_path: z.ZodString;
             ok: z.ZodBoolean;
@@ -1118,8 +1161,8 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
@@ -1136,8 +1179,8 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
@@ -1165,9 +1208,9 @@ export declare const LocalJobStepSchema: z.ZodObject<{
     id: z.ZodString;
     label: z.ZodString;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -1206,11 +1249,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>;
@@ -1423,11 +1466,11 @@ export declare const LocalJobEventAppendRequestSchema: z.ZodObject<{
     artifact: z.ZodOptional<z.ZodObject<{
         path: z.ZodString;
         role: z.ZodEnum<{
-            output: "output";
             runtime: "runtime";
+            output: "output";
             source: "source";
-            test: "test";
             proof: "proof";
+            test: "test";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -1446,9 +1489,9 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
         "readiness-check-draft": "readiness-check-draft";
     }>;
     status: z.ZodEnum<{
+        succeeded: "succeeded";
         failed: "failed";
         running: "running";
-        succeeded: "succeeded";
         cancelled: "cancelled";
         queued: "queued";
     }>;
@@ -1469,9 +1512,9 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
         id: z.ZodString;
         label: z.ZodString;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -1500,11 +1543,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>;
@@ -1516,36 +1559,35 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
     result: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
 }, z.core.$strict>;
-export declare const TestRunStatusSchema: z.ZodEnum<{
+export declare const VerifyRunStatusSchema: z.ZodEnum<{
+    succeeded: "succeeded";
     failed: "failed";
     running: "running";
-    succeeded: "succeeded";
     cancelled: "cancelled";
     queued: "queued";
 }>;
-export declare const TestRunCreateRequestSchema: z.ZodObject<{
+/**
+ * 0.15 cleanup — `mode` was a 0.13 hold-over from when verify could
+ * judge against either the source-files baseline or the compiled
+ * portable context. 0.13.1 redirected every verify run to compiled-
+ * only, which made `mode` a vestigial field. We drop it here so the
+ * wire shape matches the runtime behavior. Older clients sending
+ * `mode` get it ignored by the strict-but-tolerant runtime parser
+ * upstream.
+ */
+export declare const VerifyRunCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodString;
-    mode: z.ZodDefault<z.ZodEnum<{
-        compiled: "compiled";
-        raw: "raw";
-        both: "both";
-    }>>;
 }, z.core.$strict>;
-export declare const TestRunResourceSchema: z.ZodObject<{
+export declare const VerifyRunResourceSchema: 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<{
-        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>>;
@@ -1555,8 +1597,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
         mode: z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
             both: "both";
         }>;
         source_path: z.ZodString;
@@ -1565,7 +1607,7 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             name: z.ZodString;
             portable_context_path: z.ZodNullable<z.ZodString>;
         }, z.core.$strip>;
-        raw: z.ZodNullable<z.ZodObject<{
+        source_files: z.ZodNullable<z.ZodObject<{
             label: z.ZodString;
             run_path: z.ZodString;
             ok: z.ZodBoolean;
@@ -1575,8 +1617,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
@@ -1593,8 +1635,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
@@ -1629,12 +1671,10 @@ 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";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -1678,12 +1718,10 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -1740,11 +1778,11 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         artifact: z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -1766,11 +1804,11 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -1829,8 +1867,8 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         passed: z.ZodNumber;
         total: z.ZodNumber;
         target: z.ZodOptional<z.ZodEnum<{
+            "source-files": "source-files";
             compiled: "compiled";
-            raw: "raw";
         }>>;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         stale: z.ZodOptional<z.ZodBoolean>;
@@ -1864,12 +1902,10 @@ 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";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -1913,12 +1949,10 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -1950,15 +1984,15 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         compile: "compile";
         "method-authoring": "method-authoring";
         "method-improvement": "method-improvement";
-        test: "test";
+        verify: "verify";
         "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";
     }>;
@@ -1992,11 +2026,11 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
         path: z.ZodString;
         role: z.ZodEnum<{
-            output: "output";
             runtime: "runtime";
+            output: "output";
             source: "source";
-            test: "test";
             proof: "proof";
+            test: "test";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -2031,12 +2065,10 @@ 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";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -2080,12 +2112,10 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -2197,16 +2227,16 @@ export declare const ActionProposalTypeSchema: z.ZodEnum<{
     compile: "compile";
     "method-authoring": "method-authoring";
     "method-improvement": "method-improvement";
-    test: "test";
     "readiness-check-draft": "readiness-check-draft";
+    test: "test";
     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";
+    test: "test";
     "method-change": "method-change";
     "preparation-change": "preparation-change";
     clarification: "clarification";
@@ -2222,10 +2252,10 @@ export declare const ActionProposalStatusSchema: z.ZodEnum<{
 }>;
 export declare const ActionClientOriginSchema: z.ZodEnum<{
     unknown: "unknown";
+    mcp: "mcp";
     "ui-chat": "ui-chat";
     cli: "cli";
     "agent-cli": "agent-cli";
-    mcp: "mcp";
     service: "service";
 }>;
 export declare const ActionProposalCreateRequestSchema: z.ZodObject<{
@@ -2233,10 +2263,10 @@ export declare const ActionProposalCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodOptional<z.ZodString>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
         service: "service";
     }>>;
     values: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
@@ -2246,8 +2276,8 @@ export declare const ActionProposalPlanSchema: z.ZodObject<{
         compile: "compile";
         "method-authoring": "method-authoring";
         "method-improvement": "method-improvement";
-        test: "test";
         "readiness-check-draft": "readiness-check-draft";
+        test: "test";
         "method-change": "method-change";
         "preparation-change": "preparation-change";
         clarification: "clarification";
@@ -2291,10 +2321,10 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2312,7 +2342,7 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -2339,10 +2369,10 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2360,7 +2390,7 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -2396,10 +2426,10 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2417,18 +2447,13 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        "verify-run": "verify-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">;
@@ -2451,10 +2476,10 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2472,7 +2497,7 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -2504,10 +2529,10 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2525,7 +2550,7 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -2574,10 +2599,10 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2595,7 +2620,7 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     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";
+        "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -2651,12 +2676,10 @@ 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";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -2700,12 +2723,10 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -2732,11 +2753,11 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
         path: z.ZodString;
         role: z.ZodEnum<{
-            output: "output";
             runtime: "runtime";
+            output: "output";
             source: "source";
-            test: "test";
             proof: "proof";
+            test: "test";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -2766,12 +2787,10 @@ 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;
@@ -2812,1967 +2831,17 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>;
-    }, z.core.$strict>;
-    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        gate: z.ZodEnum<{
-            "preparation-config": "preparation-config";
-            "portable-context": "portable-context";
-            "compile-run": "compile-run";
-            "readiness-checks": "readiness-checks";
-            "source-baseline": "source-baseline";
-            "portable-context-check": "portable-context-check";
-            "checks-current": "checks-current";
-        }>;
-        ok: z.ZodBoolean;
-        status: z.ZodOptional<z.ZodEnum<{
-            "not-configured": "not-configured";
-            "not-built": "not-built";
-            building: "building";
-            built: "built";
-            checking: "checking";
-            ready: "ready";
-            "not-ready": "not-ready";
-            stale: "stale";
-            failed: "failed";
-        }>>;
-        summary: z.ZodString;
-        detail: z.ZodOptional<z.ZodString>;
-        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>>>;
-}, z.core.$strict>;
-export declare const SourceFileResourceSchema: z.ZodObject<{
-    preparation: z.ZodString;
-    path: z.ZodString;
-    absolute_path: z.ZodString;
-    size_bytes: z.ZodNumber;
-    modified_at: z.ZodNullable<z.ZodString>;
-    source_folder_path: z.ZodString;
-}, z.core.$strict>;
-export declare const WorkspaceFileResourceSchema: z.ZodObject<{
-    path: z.ZodString;
-    absolute_path: z.ZodString;
-    size_bytes: z.ZodNumber;
-    modified_at: z.ZodNullable<z.ZodString>;
-}, z.core.$strict>;
-export declare const LocalServiceDiscoverySchema: z.ZodObject<{
-    kind: z.ZodLiteral<"interf-local-service-discovery">;
-    version: z.ZodLiteral<1>;
-    resources: z.ZodObject<{
-        preparations: z.ZodString;
-        methods: z.ZodString;
-        runs: z.ZodString;
-        readiness: z.ZodString;
-        portable_contexts: z.ZodString;
-        source_files: z.ZodString;
-        workspace_files: z.ZodString;
-        action_proposals: z.ZodString;
-        preparation_setups: z.ZodString;
-        preparation_changes: z.ZodString;
-        method_changes: z.ZodString;
-        readiness_check_drafts: z.ZodString;
-        method_authoring_runs: z.ZodString;
-        method_improvement_runs: z.ZodString;
-        compile_runs: z.ZodString;
-        test_runs: z.ZodString;
-        reset: z.ZodString;
-        executor: z.ZodString;
-    }, z.core.$strict>;
-}, z.core.$strict>;
-export declare const OpenPathRequestSchema: z.ZodObject<{
-    path: z.ZodString;
-}, z.core.$strict>;
-export declare const OpenPathResponseSchema: z.ZodObject<{
-    opened: z.ZodBoolean;
-    path: z.ZodString;
-}, z.core.$strict>;
-export declare const LocalServiceResourceSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    kind: z.ZodLiteral<"preparation">;
-    value: z.ZodObject<{
-        id: z.ZodString;
-        name: z.ZodString;
-        preparation: z.ZodObject<{
-            id: z.ZodOptional<z.ZodString>;
-            name: z.ZodString;
-            path: z.ZodString;
-            about: z.ZodOptional<z.ZodString>;
-            method: z.ZodOptional<z.ZodString>;
-            max_attempts: z.ZodOptional<z.ZodNumber>;
-            max_loops: z.ZodOptional<z.ZodNumber>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                id: z.ZodOptional<z.ZodString>;
-                question: z.ZodString;
-                answer: z.ZodOptional<z.ZodString>;
-                expect: z.ZodOptional<z.ZodObject<{
-                    must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                    must_include_one_of: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodString>>>;
-                    must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                    min_words: z.ZodOptional<z.ZodNumber>;
-                    max_words: z.ZodOptional<z.ZodNumber>;
-                }, z.core.$strip>>;
-                strictness: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-        source_path: z.ZodString;
-        method_id: z.ZodNullable<z.ZodString>;
-        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodOptional<z.ZodString>;
-            question: z.ZodString;
-            answer: z.ZodOptional<z.ZodString>;
-            expect: z.ZodOptional<z.ZodObject<{
-                must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                must_include_one_of: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodString>>>;
-                must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                min_words: z.ZodOptional<z.ZodNumber>;
-                max_words: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strip>>;
-            strictness: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        portable_context: z.ZodObject<{
-            preparation: z.ZodString;
-            path: z.ZodNullable<z.ZodString>;
-            exists: z.ZodBoolean;
-            method_id: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodNullable<z.ZodString>;
-            latest_test_run_id: z.ZodNullable<z.ZodString>;
-        }, z.core.$strict>;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        readiness: z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-state">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            preparation: z.ZodString;
-            status: z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>;
-            ready: z.ZodBoolean;
-            summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-        runs: z.ZodObject<{
-            latest_compile_run_id: z.ZodNullable<z.ZodString>;
-            latest_test_run_id: z.ZodNullable<z.ZodString>;
-        }, z.core.$strict>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"method">;
-    value: z.ZodObject<{
-        id: z.ZodString;
-        method_id: z.ZodString;
-        path: z.ZodString;
-        label: z.ZodOptional<z.ZodString>;
-        hint: z.ZodOptional<z.ZodString>;
-        source_kind: z.ZodDefault<z.ZodEnum<{
-            builtin: "builtin";
-            local: "local";
-        }>>;
-        built_in: z.ZodDefault<z.ZodBoolean>;
-        active_for_preparations: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        output_paths: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        stages: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            description: z.ZodOptional<z.ZodString>;
-            contract_type: z.ZodString;
-            skill_dir: z.ZodString;
-            reads: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            writes: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            acceptance: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"compile-run">;
-    value: z.ZodObject<{
-        run: z.ZodObject<{
-            kind: z.ZodLiteral<"interf-compile-run">;
-            version: z.ZodLiteral<1>;
-            run_id: z.ZodString;
-            status: z.ZodEnum<{
-                failed: "failed";
-                running: "running";
-                succeeded: "succeeded";
-                cancelled: "cancelled";
-                queued: "queued";
-            }>;
-            preparation: z.ZodString;
-            method: z.ZodString;
-            backend: z.ZodEnum<{
-                native: "native";
-                "workflow-sdk": "workflow-sdk";
-            }>;
-            source_path: z.ZodString;
-            portable_context_path: z.ZodString;
-            created_at: z.ZodString;
-            started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            stages: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                run_id: z.ZodString;
-                stage_id: z.ZodString;
-                stage_label: z.ZodOptional<z.ZodString>;
-                stage_index: z.ZodOptional<z.ZodNumber>;
-                stage_total: z.ZodOptional<z.ZodNumber>;
-                status: z.ZodEnum<{
-                    failed: "failed";
-                    running: "running";
-                    succeeded: "succeeded";
-                    queued: "queued";
-                }>;
-                started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                contract: z.ZodOptional<z.ZodObject<{
-                    stage_label: z.ZodOptional<z.ZodString>;
-                    stage_index: z.ZodOptional<z.ZodNumber>;
-                    stage_total: z.ZodOptional<z.ZodNumber>;
-                    reads: z.ZodDefault<z.ZodArray<z.ZodString>>;
-                    writes: z.ZodDefault<z.ZodArray<z.ZodString>>;
-                    acceptance: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-                }, z.core.$strict>>;
-                executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                    kind: z.ZodEnum<{
-                        "local-agent": "local-agent";
-                        "connected-provider": "connected-provider";
-                        managed: "managed";
-                    }>;
-                    name: z.ZodString;
-                    display_name: z.ZodString;
-                    command: z.ZodNullable<z.ZodString>;
-                    model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
-                }, z.core.$strip>>>;
-                artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    path: z.ZodString;
-                    role: z.ZodEnum<{
-                        output: "output";
-                        runtime: "runtime";
-                        source: "source";
-                        test: "test";
-                        proof: "proof";
-                    }>;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    label: z.ZodOptional<z.ZodString>;
-                    sha256: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-                logs: z.ZodOptional<z.ZodObject<{
-                    prompt_path: z.ZodOptional<z.ZodString>;
-                    event_stream_path: z.ZodOptional<z.ZodString>;
-                    status_path: z.ZodOptional<z.ZodString>;
-                    contract_path: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>;
-                latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                    id: z.ZodString;
-                    run_id: z.ZodString;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    generated_at: z.ZodString;
-                    summary: z.ZodString;
-                    files_processed: z.ZodOptional<z.ZodNumber>;
-                    artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        path: z.ZodString;
-                        role: z.ZodEnum<{
-                            output: "output";
-                            runtime: "runtime";
-                            source: "source";
-                            test: "test";
-                            proof: "proof";
-                        }>;
-                        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        label: z.ZodOptional<z.ZodString>;
-                        sha256: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strict>>>;
-                    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        id: z.ZodString;
-                        label: z.ZodString;
-                        ok: z.ZodBoolean;
-                        detail: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strict>>>;
-                }, z.core.$strict>>>;
-                failure: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-            events: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"run.started">;
-                preparation: z.ZodString;
-                method: z.ZodString;
-                portable_context_path: z.ZodString;
-                backend: z.ZodEnum<{
-                    native: "native";
-                    "workflow-sdk": "workflow-sdk";
-                }>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"stage.started">;
-                stage_id: z.ZodString;
-                stage_index: z.ZodOptional<z.ZodNumber>;
-                stage_total: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"file.processed">;
-                stage_id: z.ZodString;
-                path: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"artifact.written">;
-                stage_id: z.ZodString;
-                artifact: z.ZodObject<{
-                    path: z.ZodString;
-                    role: z.ZodEnum<{
-                        output: "output";
-                        runtime: "runtime";
-                        source: "source";
-                        test: "test";
-                        proof: "proof";
-                    }>;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    label: z.ZodOptional<z.ZodString>;
-                    sha256: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"proof.updated">;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                proof: z.ZodObject<{
-                    id: z.ZodString;
-                    run_id: z.ZodString;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    generated_at: z.ZodString;
-                    summary: z.ZodString;
-                    files_processed: z.ZodOptional<z.ZodNumber>;
-                    artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        path: z.ZodString;
-                        role: z.ZodEnum<{
-                            output: "output";
-                            runtime: "runtime";
-                            source: "source";
-                            test: "test";
-                            proof: "proof";
-                        }>;
-                        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        label: z.ZodOptional<z.ZodString>;
-                        sha256: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strict>>>;
-                    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        id: z.ZodString;
-                        label: z.ZodString;
-                        ok: z.ZodBoolean;
-                        detail: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strict>>>;
-                }, z.core.$strict>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"log.appended">;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                stream: z.ZodEnum<{
-                    status: "status";
-                    trace: "trace";
-                    system: "system";
-                }>;
-                message: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"stage.passed">;
-                stage_id: z.ZodString;
-                summary: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"stage.failed">;
-                stage_id: z.ZodString;
-                error: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"run.completed">;
-                summary: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"run.failed">;
-                error: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"checks.evaluated">;
-                passed: z.ZodNumber;
-                total: z.ZodNumber;
-                target: z.ZodOptional<z.ZodEnum<{
-                    compiled: "compiled";
-                    raw: "raw";
-                }>>;
-                checks_fingerprint: z.ZodOptional<z.ZodString>;
-                stale: z.ZodOptional<z.ZodBoolean>;
-                test_run_id: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>, z.ZodObject<{
-                event_id: z.ZodString;
-                run_id: z.ZodString;
-                timestamp: z.ZodString;
-                type: z.ZodLiteral<"readiness.updated">;
-                preparation: z.ZodString;
-                readiness: z.ZodObject<{
-                    kind: z.ZodLiteral<"interf-readiness-state">;
-                    version: z.ZodLiteral<1>;
-                    generated_at: z.ZodString;
-                    preparation: z.ZodString;
-                    status: z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>;
-                    ready: z.ZodBoolean;
-                    summary: z.ZodString;
-                    portable_context_path: z.ZodNullable<z.ZodString>;
-                    latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    compile: z.ZodNullable<z.ZodObject<{
-                        gate: z.ZodEnum<{
-                            "preparation-config": "preparation-config";
-                            "portable-context": "portable-context";
-                            "compile-run": "compile-run";
-                            "readiness-checks": "readiness-checks";
-                            "source-baseline": "source-baseline";
-                            "portable-context-check": "portable-context-check";
-                            "checks-current": "checks-current";
-                        }>;
-                        ok: z.ZodBoolean;
-                        status: z.ZodOptional<z.ZodEnum<{
-                            "not-configured": "not-configured";
-                            "not-built": "not-built";
-                            building: "building";
-                            built: "built";
-                            checking: "checking";
-                            ready: "ready";
-                            "not-ready": "not-ready";
-                            stale: "stale";
-                            failed: "failed";
-                        }>>;
-                        summary: z.ZodString;
-                        detail: z.ZodOptional<z.ZodString>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                    check_results: z.ZodObject<{
-                        configured: z.ZodNumber;
-                        fingerprint: z.ZodNullable<z.ZodString>;
-                        source_files: z.ZodNullable<z.ZodObject<{
-                            passed: z.ZodNumber;
-                            total: z.ZodNumber;
-                            pass_rate: z.ZodNullable<z.ZodNumber>;
-                            checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                            stale: z.ZodDefault<z.ZodBoolean>;
-                            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                            run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        }, z.core.$strict>>;
-                        portable_context: z.ZodNullable<z.ZodObject<{
-                            passed: z.ZodNumber;
-                            total: z.ZodNumber;
-                            pass_rate: z.ZodNullable<z.ZodNumber>;
-                            checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                            stale: z.ZodDefault<z.ZodBoolean>;
-                            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                            run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        }, z.core.$strict>>;
-                    }, z.core.$strict>;
-                    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                        gate: z.ZodEnum<{
-                            "preparation-config": "preparation-config";
-                            "portable-context": "portable-context";
-                            "compile-run": "compile-run";
-                            "readiness-checks": "readiness-checks";
-                            "source-baseline": "source-baseline";
-                            "portable-context-check": "portable-context-check";
-                            "checks-current": "checks-current";
-                        }>;
-                        ok: z.ZodBoolean;
-                        status: z.ZodOptional<z.ZodEnum<{
-                            "not-configured": "not-configured";
-                            "not-built": "not-built";
-                            building: "building";
-                            built: "built";
-                            checking: "checking";
-                            ready: "ready";
-                            "not-ready": "not-ready";
-                            stale: "stale";
-                            failed: "failed";
-                        }>>;
-                        summary: z.ZodString;
-                        detail: z.ZodOptional<z.ZodString>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>>;
-                }, z.core.$strict>;
-            }, z.core.$strict>], "type">>>;
-            latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                id: z.ZodString;
-                run_id: z.ZodString;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                generated_at: z.ZodString;
-                summary: z.ZodString;
-                files_processed: z.ZodOptional<z.ZodNumber>;
-                artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    path: z.ZodString;
-                    role: z.ZodEnum<{
-                        output: "output";
-                        runtime: "runtime";
-                        source: "source";
-                        test: "test";
-                        proof: "proof";
-                    }>;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    label: z.ZodOptional<z.ZodString>;
-                    sha256: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    id: z.ZodString;
-                    label: z.ZodString;
-                    ok: z.ZodBoolean;
-                    detail: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-            }, z.core.$strict>>>;
-            readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                kind: z.ZodLiteral<"interf-readiness-state">;
-                version: z.ZodLiteral<1>;
-                generated_at: z.ZodString;
-                preparation: z.ZodString;
-                status: z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>;
-                ready: z.ZodBoolean;
-                summary: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-                latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                compile: z.ZodNullable<z.ZodObject<{
-                    gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
-                        "portable-context": "portable-context";
-                        "compile-run": "compile-run";
-                        "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
-                        "checks-current": "checks-current";
-                    }>;
-                    ok: z.ZodBoolean;
-                    status: z.ZodOptional<z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>>;
-                    summary: z.ZodString;
-                    detail: z.ZodOptional<z.ZodString>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                check_results: z.ZodObject<{
-                    configured: z.ZodNumber;
-                    fingerprint: z.ZodNullable<z.ZodString>;
-                    source_files: z.ZodNullable<z.ZodObject<{
-                        passed: z.ZodNumber;
-                        total: z.ZodNumber;
-                        pass_rate: z.ZodNullable<z.ZodNumber>;
-                        checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        stale: z.ZodDefault<z.ZodBoolean>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                    portable_context: z.ZodNullable<z.ZodObject<{
-                        passed: z.ZodNumber;
-                        total: z.ZodNumber;
-                        pass_rate: z.ZodNullable<z.ZodNumber>;
-                        checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        stale: z.ZodDefault<z.ZodBoolean>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                }, z.core.$strict>;
-                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
-                        "portable-context": "portable-context";
-                        "compile-run": "compile-run";
-                        "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
-                        "checks-current": "checks-current";
-                    }>;
-                    ok: z.ZodBoolean;
-                    status: z.ZodOptional<z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>>;
-                    summary: z.ZodString;
-                    detail: z.ZodOptional<z.ZodString>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"job-run">;
-    value: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-local-job-run">;
-        version: z.ZodLiteral<1>;
-        run_id: z.ZodString;
-        job_type: z.ZodEnum<{
-            "method-authoring": "method-authoring";
-            "method-improvement": "method-improvement";
-            "readiness-check-draft": "readiness-check-draft";
-        }>;
-        status: z.ZodEnum<{
-            failed: "failed";
-            running: "running";
-            succeeded: "succeeded";
-            cancelled: "cancelled";
-            queued: "queued";
-        }>;
-        title: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        agent: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        created_at: z.ZodString;
-        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            status: z.ZodEnum<{
-                failed: "failed";
-                running: "running";
-                succeeded: "succeeded";
-                cancelled: "cancelled";
-                queued: "queued";
-            }>;
-            started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-            output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-        }, z.core.$strict>>>;
-        events: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodEnum<{
-                "artifact.written": "artifact.written";
-                "log.appended": "log.appended";
-                "job.started": "job.started";
-                "step.started": "step.started";
-                "step.completed": "step.completed";
-                "step.failed": "step.failed";
-                "job.completed": "job.completed";
-                "job.failed": "job.failed";
-            }>;
-            step_id: z.ZodOptional<z.ZodString>;
-            message: z.ZodOptional<z.ZodString>;
-            artifact: z.ZodOptional<z.ZodObject<{
-                path: z.ZodString;
-                role: z.ZodEnum<{
-                    output: "output";
-                    runtime: "runtime";
-                    source: "source";
-                    test: "test";
-                    proof: "proof";
-                }>;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                label: z.ZodOptional<z.ZodString>;
-                sha256: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>;
-            input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-            output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-        }, z.core.$strict>>>;
-        result: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"test-run">;
-    value: z.ZodObject<{
-        run_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            running: "running";
-            succeeded: "succeeded";
-            cancelled: "cancelled";
-            queued: "queued";
-        }>;
-        preparation: z.ZodString;
-        mode: z.ZodEnum<{
-            compiled: "compiled";
-            raw: "raw";
-            both: "both";
-        }>;
-        source_path: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        readiness_run: z.ZodNullable<z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-check-run">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            mode: z.ZodEnum<{
-                compiled: "compiled";
-                raw: "raw";
-                both: "both";
-            }>;
-            source_path: z.ZodString;
-            checks_fingerprint: z.ZodOptional<z.ZodString>;
-            preparation: z.ZodObject<{
-                name: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-            }, z.core.$strip>;
-            raw: z.ZodNullable<z.ZodObject<{
-                label: z.ZodString;
-                run_path: z.ZodString;
-                ok: z.ZodBoolean;
-                passed_cases: z.ZodNumber;
-                total_cases: z.ZodNumber;
-                passed_checks: z.ZodNumber;
-                total_checks: z.ZodNumber;
-                target: z.ZodObject<{
-                    type: z.ZodEnum<{
-                        compiled: "compiled";
-                        raw: "raw";
-                    }>;
-                    name: z.ZodString;
-                    path: z.ZodString;
-                    method: z.ZodString;
-                }, z.core.$strip>;
-            }, z.core.$strip>>;
-            compiled: z.ZodNullable<z.ZodObject<{
-                label: z.ZodString;
-                run_path: z.ZodString;
-                ok: z.ZodBoolean;
-                passed_cases: z.ZodNumber;
-                total_cases: z.ZodNumber;
-                passed_checks: z.ZodNumber;
-                total_checks: z.ZodNumber;
-                target: z.ZodObject<{
-                    type: z.ZodEnum<{
-                        compiled: "compiled";
-                        raw: "raw";
-                    }>;
-                    name: z.ZodString;
-                    path: z.ZodString;
-                    method: z.ZodString;
-                }, z.core.$strip>;
-            }, z.core.$strip>>;
-            summary: z.ZodObject<{
-                source_files_pass_rate: z.ZodNullable<z.ZodNumber>;
-                portable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
-            }, z.core.$strip>;
-        }, z.core.$strip>>;
-        readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-state">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            preparation: z.ZodString;
-            status: z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>;
-            ready: z.ZodBoolean;
-            summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>>>;
-        events: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"run.started">;
-            preparation: z.ZodString;
-            method: z.ZodString;
-            portable_context_path: z.ZodString;
-            backend: z.ZodEnum<{
-                native: "native";
-                "workflow-sdk": "workflow-sdk";
-            }>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"stage.started">;
-            stage_id: z.ZodString;
-            stage_index: z.ZodOptional<z.ZodNumber>;
-            stage_total: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"file.processed">;
-            stage_id: z.ZodString;
-            path: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"artifact.written">;
-            stage_id: z.ZodString;
-            artifact: z.ZodObject<{
-                path: z.ZodString;
-                role: z.ZodEnum<{
-                    output: "output";
-                    runtime: "runtime";
-                    source: "source";
-                    test: "test";
-                    proof: "proof";
-                }>;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                label: z.ZodOptional<z.ZodString>;
-                sha256: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"proof.updated">;
-            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            proof: z.ZodObject<{
-                id: z.ZodString;
-                run_id: z.ZodString;
-                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                generated_at: z.ZodString;
-                summary: z.ZodString;
-                files_processed: z.ZodOptional<z.ZodNumber>;
-                artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    path: z.ZodString;
-                    role: z.ZodEnum<{
-                        output: "output";
-                        runtime: "runtime";
-                        source: "source";
-                        test: "test";
-                        proof: "proof";
-                    }>;
-                    stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    label: z.ZodOptional<z.ZodString>;
-                    sha256: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    id: z.ZodString;
-                    label: z.ZodString;
-                    ok: z.ZodBoolean;
-                    detail: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>>;
-            }, z.core.$strict>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"log.appended">;
-            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            stream: z.ZodEnum<{
-                status: "status";
-                trace: "trace";
-                system: "system";
-            }>;
-            message: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"stage.passed">;
-            stage_id: z.ZodString;
-            summary: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"stage.failed">;
-            stage_id: z.ZodString;
-            error: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"run.completed">;
-            summary: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"run.failed">;
-            error: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"checks.evaluated">;
-            passed: z.ZodNumber;
-            total: z.ZodNumber;
-            target: z.ZodOptional<z.ZodEnum<{
-                compiled: "compiled";
-                raw: "raw";
-            }>>;
-            checks_fingerprint: z.ZodOptional<z.ZodString>;
-            stale: z.ZodOptional<z.ZodBoolean>;
-            test_run_id: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>, z.ZodObject<{
-            event_id: z.ZodString;
-            run_id: z.ZodString;
-            timestamp: z.ZodString;
-            type: z.ZodLiteral<"readiness.updated">;
-            preparation: z.ZodString;
-            readiness: z.ZodObject<{
-                kind: z.ZodLiteral<"interf-readiness-state">;
-                version: z.ZodLiteral<1>;
-                generated_at: z.ZodString;
-                preparation: z.ZodString;
-                status: z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>;
-                ready: z.ZodBoolean;
-                summary: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-                latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                compile: z.ZodNullable<z.ZodObject<{
-                    gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
-                        "portable-context": "portable-context";
-                        "compile-run": "compile-run";
-                        "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
-                        "checks-current": "checks-current";
-                    }>;
-                    ok: z.ZodBoolean;
-                    status: z.ZodOptional<z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>>;
-                    summary: z.ZodString;
-                    detail: z.ZodOptional<z.ZodString>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                check_results: z.ZodObject<{
-                    configured: z.ZodNumber;
-                    fingerprint: z.ZodNullable<z.ZodString>;
-                    source_files: z.ZodNullable<z.ZodObject<{
-                        passed: z.ZodNumber;
-                        total: z.ZodNumber;
-                        pass_rate: z.ZodNullable<z.ZodNumber>;
-                        checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        stale: z.ZodDefault<z.ZodBoolean>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                    portable_context: z.ZodNullable<z.ZodObject<{
-                        passed: z.ZodNumber;
-                        total: z.ZodNumber;
-                        pass_rate: z.ZodNullable<z.ZodNumber>;
-                        checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        stale: z.ZodDefault<z.ZodBoolean>;
-                        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                        run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    }, z.core.$strict>>;
-                }, z.core.$strict>;
-                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                    gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
-                        "portable-context": "portable-context";
-                        "compile-run": "compile-run";
-                        "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
-                        "checks-current": "checks-current";
-                    }>;
-                    ok: z.ZodBoolean;
-                    status: z.ZodOptional<z.ZodEnum<{
-                        "not-configured": "not-configured";
-                        "not-built": "not-built";
-                        building: "building";
-                        built: "built";
-                        checking: "checking";
-                        ready: "ready";
-                        "not-ready": "not-ready";
-                        stale: "stale";
-                        failed: "failed";
-                    }>>;
-                    summary: z.ZodString;
-                    detail: z.ZodOptional<z.ZodString>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>>;
-            }, z.core.$strict>;
-        }, z.core.$strict>], "type">>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"run-observability">;
-    value: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-run-observability">;
-        version: z.ZodLiteral<1>;
-        run_id: z.ZodString;
-        run_type: z.ZodEnum<{
-            compile: "compile";
-            "method-authoring": "method-authoring";
-            "method-improvement": "method-improvement";
-            test: "test";
-            "readiness-check-draft": "readiness-check-draft";
-            job: "job";
-        }>;
-        title: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            running: "running";
-            succeeded: "succeeded";
-            cancelled: "cancelled";
-            queued: "queued";
-        }>;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            kind: z.ZodEnum<{
-                "local-agent": "local-agent";
-                "connected-provider": "connected-provider";
-                managed: "managed";
-            }>;
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodNullable<z.ZodString>;
-            model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
-        }, z.core.$strip>>>;
-        agent_label: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        created_at: z.ZodString;
-        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        metrics: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            label: z.ZodString;
-            value: z.ZodString;
-            detail: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            path: z.ZodString;
-            role: z.ZodEnum<{
-                output: "output";
-                runtime: "runtime";
-                source: "source";
-                test: "test";
-                proof: "proof";
-            }>;
-            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            label: z.ZodOptional<z.ZodString>;
-            sha256: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        proof: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            ok: z.ZodBoolean;
-            detail: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-state">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            preparation: z.ZodString;
-            status: z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>;
-            ready: z.ZodBoolean;
-            summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>>>;
-        trace: z.ZodObject<{
-            run: z.ZodObject<{
-                runId: z.ZodString;
-                status: z.ZodEnum<{
-                    failed: "failed";
-                    running: "running";
-                    pending: "pending";
-                    completed: "completed";
-                    cancelled: "cancelled";
-                }>;
-                deploymentId: z.ZodString;
-                methodName: z.ZodString;
-                specVersion: z.ZodLiteral<1>;
-                executionContext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-                input: z.ZodUnknown;
-                output: z.ZodOptional<z.ZodUnknown>;
-                error: z.ZodOptional<z.ZodObject<{
-                    message: z.ZodString;
-                    stack: z.ZodOptional<z.ZodString>;
-                    code: z.ZodOptional<z.ZodString>;
-                }, z.core.$strict>>;
-                expiredAt: z.ZodOptional<z.ZodString>;
-                startedAt: z.ZodOptional<z.ZodString>;
-                completedAt: z.ZodOptional<z.ZodString>;
-                createdAt: z.ZodString;
-                updatedAt: z.ZodString;
-            }, z.core.$strict>;
-            events: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                runId: z.ZodString;
-                eventId: z.ZodString;
-                eventType: z.ZodEnum<{
-                    run_created: "run_created";
-                    run_started: "run_started";
-                    run_completed: "run_completed";
-                    run_failed: "run_failed";
-                    run_cancelled: "run_cancelled";
-                    step_created: "step_created";
-                    step_started: "step_started";
-                    step_completed: "step_completed";
-                    step_failed: "step_failed";
-                    step_retrying: "step_retrying";
-                    hook_created: "hook_created";
-                    hook_received: "hook_received";
-                    hook_disposed: "hook_disposed";
-                    hook_conflict: "hook_conflict";
-                    wait_created: "wait_created";
-                    wait_completed: "wait_completed";
-                }>;
-                correlationId: z.ZodOptional<z.ZodString>;
-                specVersion: z.ZodLiteral<1>;
-                createdAt: z.ZodString;
-                eventData: z.ZodOptional<z.ZodUnknown>;
-            }, z.core.$strict>>>;
-            streams: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                streamId: z.ZodString;
-                chunkId: z.ZodString;
-                index: z.ZodNumber;
-                createdAt: z.ZodString;
-                text: z.ZodString;
-                data: z.ZodOptional<z.ZodUnknown>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"executor-status">;
-    value: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-local-executor-status">;
-        version: z.ZodLiteral<1>;
-        status: z.ZodEnum<{
-            connected: "connected";
-            unavailable: "unavailable";
-        }>;
-        checked_at: z.ZodString;
-        executor: z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-        available_executors: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            current: z.ZodBoolean;
-        }, z.core.$strict>>>;
-        message: z.ZodString;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"action-proposal">;
-    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"clarification">;
-        request: z.ZodRecord<z.ZodString, z.ZodUnknown>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"compile">;
-        request: z.ZodObject<{
-            preparation: z.ZodString;
-            method: z.ZodOptional<z.ZodString>;
-            max_attempts: z.ZodOptional<z.ZodNumber>;
-            max_loops: z.ZodOptional<z.ZodNumber>;
-            preserve_stage_shells: z.ZodOptional<z.ZodEnum<{
-                "on-failure": "on-failure";
-                always: "always";
-            }>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"test">;
-        request: z.ZodObject<{
-            preparation: z.ZodString;
-            mode: z.ZodDefault<z.ZodEnum<{
-                compiled: "compiled";
-                raw: "raw";
-                both: "both";
-            }>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"readiness-check-draft">;
-        request: z.ZodObject<{
-            preparation: z.ZodString;
-            source_folder_path: z.ZodString;
-            about: z.ZodOptional<z.ZodString>;
-            target_count: z.ZodDefault<z.ZodNumber>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"method-authoring">;
-        request: z.ZodObject<{
-            preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            source_folder_path: z.ZodString;
-            base_method_id: z.ZodOptional<z.ZodString>;
-            reference_method_id: z.ZodOptional<z.ZodString>;
-            method_id: z.ZodString;
-            label: z.ZodString;
-            hint: z.ZodString;
-            task_prompt: z.ZodString;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                id: z.ZodOptional<z.ZodString>;
-                question: z.ZodString;
-                answer: z.ZodOptional<z.ZodString>;
-                expect: z.ZodOptional<z.ZodObject<{
-                    must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                    must_include_one_of: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodString>>>;
-                    must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                    min_words: z.ZodOptional<z.ZodNumber>;
-                    max_words: z.ZodOptional<z.ZodNumber>;
-                }, z.core.$strip>>;
-                strictness: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"interf-action-proposal">;
-        version: z.ZodLiteral<1>;
-        proposal_id: z.ZodString;
-        status: z.ZodEnum<{
-            failed: "failed";
-            needs_clarification: "needs_clarification";
-            awaiting_approval: "awaiting_approval";
-            approved: "approved";
-            denied: "denied";
-            submitted: "submitted";
-        }>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        assistant_message: z.ZodOptional<z.ZodString>;
-        command_preview: z.ZodOptional<z.ZodString>;
-        message: z.ZodString;
-        preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        client_origin: z.ZodDefault<z.ZodEnum<{
-            unknown: "unknown";
-            "ui-chat": "ui-chat";
-            cli: "cli";
-            "agent-cli": "agent-cli";
-            mcp: "mcp";
-            service: "service";
-        }>>;
-        created_at: z.ZodString;
-        updated_at: z.ZodString;
-        proposed_by_executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            name: z.ZodString;
-            display_name: z.ZodString;
-            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-        approval: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-            approved: z.ZodBoolean;
-            decided_at: z.ZodString;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
-            "test-run": "test-run";
-            "job-run": "job-run";
-        }>>>;
-        error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"method-improvement">;
-        request: z.ZodObject<{
-            preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            source_folder_path: z.ZodString;
-            base_method_id: z.ZodOptional<z.ZodString>;
-            reference_method_id: z.ZodOptional<z.ZodString>;
-            method_id: z.ZodString;
-            label: z.ZodString;
-            hint: z.ZodString;
-            task_prompt: z.ZodString;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                id: z.ZodOptional<z.ZodString>;
-                question: z.ZodString;
-                answer: z.ZodOptional<z.ZodString>;
-                expect: z.ZodOptional<z.ZodObject<{
-                    must_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                    must_include_one_of: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodString>>>;
-                    must_not_include: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                    min_words: z.ZodOptional<z.ZodNumber>;
-                    max_words: z.ZodOptional<z.ZodNumber>;
-                }, z.core.$strip>>;
-                strictness: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>], "action_type">;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"portable-context">;
-    value: z.ZodObject<{
-        preparation: z.ZodString;
-        path: z.ZodString;
-        exists: z.ZodBoolean;
-        readiness: z.ZodObject<{
-            kind: z.ZodLiteral<"interf-readiness-state">;
-            version: z.ZodLiteral<1>;
-            generated_at: z.ZodString;
-            preparation: z.ZodString;
-            status: z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>;
-            ready: z.ZodBoolean;
-            summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
-                    "portable-context": "portable-context";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            path: z.ZodString;
-            role: z.ZodEnum<{
-                output: "output";
-                runtime: "runtime";
-                source: "source";
-                test: "test";
-                proof: "proof";
-            }>;
-            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            label: z.ZodOptional<z.ZodString>;
-            sha256: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"readiness">;
-    value: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-readiness-state">;
-        version: z.ZodLiteral<1>;
-        generated_at: z.ZodString;
-        preparation: z.ZodString;
-        status: z.ZodEnum<{
+    }, z.core.$strict>;
+    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";
+            "checks-current": "checks-current";
+        }>;
+        ok: z.ZodBoolean;
+        status: z.ZodOptional<z.ZodEnum<{
             "not-configured": "not-configured";
             "not-built": "not-built";
             building: "building";
@@ -4782,108 +2851,62 @@ export declare const LocalServiceResourceSchema: z.ZodDiscriminatedUnion<[z.ZodO
             "not-ready": "not-ready";
             stale: "stale";
             failed: "failed";
-        }>;
-        ready: z.ZodBoolean;
+        }>>;
         summary: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        compile: z.ZodNullable<z.ZodObject<{
-            gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
-                "portable-context": "portable-context";
-                "compile-run": "compile-run";
-                "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
-                "checks-current": "checks-current";
-            }>;
-            ok: z.ZodBoolean;
-            status: z.ZodOptional<z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>>;
-            summary: z.ZodString;
-            detail: z.ZodOptional<z.ZodString>;
-            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>;
-        check_results: z.ZodObject<{
-            configured: z.ZodNumber;
-            fingerprint: z.ZodNullable<z.ZodString>;
-            source_files: z.ZodNullable<z.ZodObject<{
-                passed: z.ZodNumber;
-                total: z.ZodNumber;
-                pass_rate: z.ZodNullable<z.ZodNumber>;
-                checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                stale: z.ZodDefault<z.ZodBoolean>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            portable_context: z.ZodNullable<z.ZodObject<{
-                passed: z.ZodNumber;
-                total: z.ZodNumber;
-                pass_rate: z.ZodNullable<z.ZodNumber>;
-                checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                stale: z.ZodDefault<z.ZodBoolean>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-        }, z.core.$strict>;
-        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
-                "portable-context": "portable-context";
-                "compile-run": "compile-run";
-                "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
-                "checks-current": "checks-current";
-            }>;
-            ok: z.ZodBoolean;
-            status: z.ZodOptional<z.ZodEnum<{
-                "not-configured": "not-configured";
-                "not-built": "not-built";
-                building: "building";
-                built: "built";
-                checking: "checking";
-                ready: "ready";
-                "not-ready": "not-ready";
-                stale: "stale";
-                failed: "failed";
-            }>>;
-            summary: z.ZodString;
-            detail: z.ZodOptional<z.ZodString>;
-            run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"source-file">;
-    value: z.ZodObject<{
-        preparation: z.ZodString;
-        path: z.ZodString;
-        absolute_path: z.ZodString;
-        size_bytes: z.ZodNumber;
-        modified_at: z.ZodNullable<z.ZodString>;
-        source_folder_path: z.ZodString;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"workspace-file">;
-    value: z.ZodObject<{
-        path: z.ZodString;
-        absolute_path: z.ZodString;
-        size_bytes: z.ZodNumber;
-        modified_at: z.ZodNullable<z.ZodString>;
+        detail: z.ZodOptional<z.ZodString>;
+        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const SourceFileResourceSchema: z.ZodObject<{
+    preparation: z.ZodString;
+    path: z.ZodString;
+    absolute_path: z.ZodString;
+    size_bytes: z.ZodNumber;
+    modified_at: z.ZodNullable<z.ZodString>;
+    source_folder_path: z.ZodString;
+}, z.core.$strict>;
+export declare const WorkspaceFileResourceSchema: z.ZodObject<{
+    path: z.ZodString;
+    absolute_path: z.ZodString;
+    size_bytes: z.ZodNumber;
+    modified_at: z.ZodNullable<z.ZodString>;
+}, z.core.$strict>;
+export declare const LocalServiceDiscoverySchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-local-service-discovery">;
+    version: z.ZodLiteral<1>;
+    resources: z.ZodObject<{
+        preparations: z.ZodString;
+        methods: z.ZodString;
+        runs: z.ZodString;
+        readiness: z.ZodString;
+        portable_contexts: z.ZodString;
+        source_files: z.ZodString;
+        workspace_files: z.ZodString;
+        action_proposals: z.ZodString;
+        preparation_setups: z.ZodString;
+        preparation_changes: z.ZodString;
+        method_changes: z.ZodString;
+        workspace_bootstraps: z.ZodOptional<z.ZodString>;
+        readiness_check_drafts: z.ZodString;
+        method_authoring_runs: z.ZodString;
+        method_improvement_runs: z.ZodString;
+        compile_runs: z.ZodString;
+        verify_runs: z.ZodString;
+        reset: z.ZodString;
+        executor: z.ZodString;
+        agents: z.ZodOptional<z.ZodString>;
+        workspaces: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>;
-}, z.core.$strict>], "kind">;
+}, z.core.$strict>;
+export declare const OpenPathRequestSchema: z.ZodObject<{
+    path: z.ZodString;
+}, z.core.$strict>;
+export declare const OpenPathResponseSchema: z.ZodObject<{
+    opened: z.ZodBoolean;
+    path: z.ZodString;
+}, z.core.$strict>;
 export declare const PreparationListResponseSchema: z.ZodObject<{
     preparations: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -4957,12 +2980,10 @@ 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";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -5006,12 +3027,10 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -5060,6 +3079,7 @@ export declare const MethodListResponseSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             contract_type: z.ZodString;
             skill_dir: z.ZodString;
+            role: z.ZodDefault<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>>;
@@ -5073,9 +3093,9 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
             version: z.ZodLiteral<1>;
             run_id: z.ZodString;
             status: z.ZodEnum<{
+                succeeded: "succeeded";
                 failed: "failed";
                 running: "running";
-                succeeded: "succeeded";
                 cancelled: "cancelled";
                 queued: "queued";
             }>;
@@ -5097,9 +3117,9 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 stage_index: z.ZodOptional<z.ZodNumber>;
                 stage_total: z.ZodOptional<z.ZodNumber>;
                 status: z.ZodEnum<{
+                    succeeded: "succeeded";
                     failed: "failed";
                     running: "running";
-                    succeeded: "succeeded";
                     queued: "queued";
                 }>;
                 started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -5130,11 +3150,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -5156,11 +3176,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         path: z.ZodString;
                         role: z.ZodEnum<{
-                            output: "output";
                             runtime: "runtime";
+                            output: "output";
                             source: "source";
-                            test: "test";
                             proof: "proof";
+                            test: "test";
                         }>;
                         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         label: z.ZodOptional<z.ZodString>;
@@ -5211,11 +3231,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 artifact: z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -5237,11 +3257,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         path: z.ZodString;
                         role: z.ZodEnum<{
-                            output: "output";
                             runtime: "runtime";
+                            output: "output";
                             source: "source";
-                            test: "test";
                             proof: "proof";
+                            test: "test";
                         }>;
                         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         label: z.ZodOptional<z.ZodString>;
@@ -5300,8 +3320,8 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 target: z.ZodOptional<z.ZodEnum<{
+                    "source-files": "source-files";
                     compiled: "compiled";
-                    raw: "raw";
                 }>>;
                 checks_fingerprint: z.ZodOptional<z.ZodString>;
                 stale: z.ZodOptional<z.ZodBoolean>;
@@ -5335,12 +3355,10 @@ 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";
-                            "portable-context-check": "portable-context-check";
                             "checks-current": "checks-current";
                         }>;
                         ok: z.ZodBoolean;
@@ -5384,12 +3402,10 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     }, z.core.$strict>;
                     checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         gate: z.ZodEnum<{
-                            "preparation-config": "preparation-config";
                             "portable-context": "portable-context";
+                            "preparation-config": "preparation-config";
                             "compile-run": "compile-run";
                             "readiness-checks": "readiness-checks";
-                            "source-baseline": "source-baseline";
-                            "portable-context-check": "portable-context-check";
                             "checks-current": "checks-current";
                         }>;
                         ok: z.ZodBoolean;
@@ -5421,11 +3437,11 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -5461,12 +3477,10 @@ 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";
-                        "portable-context-check": "portable-context-check";
                         "checks-current": "checks-current";
                     }>;
                     ok: z.ZodBoolean;
@@ -5510,12 +3524,10 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
                         "checks-current": "checks-current";
                     }>;
                     ok: z.ZodBoolean;
@@ -5550,9 +3562,9 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
             "readiness-check-draft": "readiness-check-draft";
         }>;
         status: z.ZodEnum<{
+            succeeded: "succeeded";
             failed: "failed";
             running: "running";
-            succeeded: "succeeded";
             cancelled: "cancelled";
             queued: "queued";
         }>;
@@ -5573,9 +3585,9 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
             id: z.ZodString;
             label: z.ZodString;
             status: z.ZodEnum<{
+                succeeded: "succeeded";
                 failed: "failed";
                 running: "running";
-                succeeded: "succeeded";
                 cancelled: "cancelled";
                 queued: "queued";
             }>;
@@ -5604,11 +3616,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>;
@@ -5621,22 +3633,17 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
-export declare const TestRunListResponseSchema: z.ZodObject<{
-    test_runs: z.ZodArray<z.ZodObject<{
+export declare const VerifyRunListResponseSchema: z.ZodObject<{
+    verify_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<{
-            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>>;
@@ -5646,8 +3653,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
             mode: z.ZodEnum<{
+                "source-files": "source-files";
                 compiled: "compiled";
-                raw: "raw";
                 both: "both";
             }>;
             source_path: z.ZodString;
@@ -5656,7 +3663,7 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 name: z.ZodString;
                 portable_context_path: z.ZodNullable<z.ZodString>;
             }, z.core.$strip>;
-            raw: z.ZodNullable<z.ZodObject<{
+            source_files: z.ZodNullable<z.ZodObject<{
                 label: z.ZodString;
                 run_path: z.ZodString;
                 ok: z.ZodBoolean;
@@ -5666,8 +3673,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 total_checks: z.ZodNumber;
                 target: z.ZodObject<{
                     type: z.ZodEnum<{
+                        "source-files": "source-files";
                         compiled: "compiled";
-                        raw: "raw";
                     }>;
                     name: z.ZodString;
                     path: z.ZodString;
@@ -5684,8 +3691,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 total_checks: z.ZodNumber;
                 target: z.ZodObject<{
                     type: z.ZodEnum<{
+                        "source-files": "source-files";
                         compiled: "compiled";
-                        raw: "raw";
                     }>;
                     name: z.ZodString;
                     path: z.ZodString;
@@ -5720,12 +3727,10 @@ 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";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -5769,12 +3774,10 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -5831,11 +3834,11 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             artifact: z.ZodObject<{
                 path: z.ZodString;
                 role: z.ZodEnum<{
-                    output: "output";
                     runtime: "runtime";
+                    output: "output";
                     source: "source";
-                    test: "test";
                     proof: "proof";
+                    test: "test";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -5857,11 +3860,11 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     role: z.ZodEnum<{
-                        output: "output";
                         runtime: "runtime";
+                        output: "output";
                         source: "source";
-                        test: "test";
                         proof: "proof";
+                        test: "test";
                     }>;
                     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     label: z.ZodOptional<z.ZodString>;
@@ -5920,8 +3923,8 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             passed: z.ZodNumber;
             total: z.ZodNumber;
             target: z.ZodOptional<z.ZodEnum<{
+                "source-files": "source-files";
                 compiled: "compiled";
-                raw: "raw";
             }>>;
             checks_fingerprint: z.ZodOptional<z.ZodString>;
             stale: z.ZodOptional<z.ZodBoolean>;
@@ -5955,12 +3958,10 @@ 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";
-                        "portable-context-check": "portable-context-check";
                         "checks-current": "checks-current";
                     }>;
                     ok: z.ZodBoolean;
@@ -6004,12 +4005,10 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "preparation-config": "preparation-config";
                         "portable-context": "portable-context";
+                        "preparation-config": "preparation-config";
                         "compile-run": "compile-run";
                         "readiness-checks": "readiness-checks";
-                        "source-baseline": "source-baseline";
-                        "portable-context-check": "portable-context-check";
                         "checks-current": "checks-current";
                     }>;
                     ok: z.ZodBoolean;
@@ -6043,15 +4042,15 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             compile: "compile";
             "method-authoring": "method-authoring";
             "method-improvement": "method-improvement";
-            test: "test";
+            verify: "verify";
             "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";
         }>;
@@ -6085,11 +4084,11 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
         artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -6124,12 +4123,10 @@ 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";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -6173,12 +4170,10 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -6285,10 +4280,10 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -6306,7 +4301,7 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -6333,10 +4328,10 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -6354,7 +4349,7 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -6390,10 +4385,10 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -6411,18 +4406,13 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            "verify-run": "verify-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">;
@@ -6445,10 +4435,10 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -6466,7 +4456,7 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -6498,10 +4488,10 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -6519,7 +4509,7 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -6568,10 +4558,10 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -6589,7 +4579,7 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         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";
+            "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -6647,12 +4637,10 @@ 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";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -6696,12 +4684,10 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "preparation-config": "preparation-config";
                     "portable-context": "portable-context";
+                    "preparation-config": "preparation-config";
                     "compile-run": "compile-run";
                     "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
                     "checks-current": "checks-current";
                 }>;
                 ok: z.ZodBoolean;
@@ -6728,11 +4714,11 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
         artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
             role: z.ZodEnum<{
-                output: "output";
                 runtime: "runtime";
+                output: "output";
                 source: "source";
-                test: "test";
                 proof: "proof";
+                test: "test";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -6764,12 +4750,10 @@ 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";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -6813,12 +4797,10 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "preparation-config": "preparation-config";
                 "portable-context": "portable-context";
+                "preparation-config": "preparation-config";
                 "compile-run": "compile-run";
                 "readiness-checks": "readiness-checks";
-                "source-baseline": "source-baseline";
-                "portable-context-check": "portable-context-check";
                 "checks-current": "checks-current";
             }>;
             ok: z.ZodBoolean;
@@ -6862,7 +4844,7 @@ export type LocalServiceConfig = z.infer<typeof LocalServiceConfigSchema>;
 export type LocalServiceError = z.infer<typeof LocalServiceErrorSchema>;
 export type LocalServiceHealth = z.infer<typeof LocalServiceHealthSchema>;
 export type LocalServicePointer = z.infer<typeof LocalServicePointerSchema>;
-export type PreparationReadinessState = z.infer<typeof PreparationReadinessStateSchema>;
+export type LocalServiceAuthToken = z.infer<typeof LocalServiceAuthTokenSchema>;
 export type PortableContextMapping = z.infer<typeof PortableContextMappingSchema>;
 export type PreparationRunLinkage = z.infer<typeof PreparationRunLinkageSchema>;
 export type PreparationResource = z.infer<typeof PreparationResourceSchema>;
@@ -6894,9 +4876,9 @@ export type MethodAuthoringCreateRequest = z.infer<typeof MethodAuthoringCreateR
 export type MethodAuthoringResult = z.infer<typeof MethodAuthoringResultSchema>;
 export type LocalJobEventAppendRequest = z.infer<typeof LocalJobEventAppendRequestSchema>;
 export type LocalJobRunResource = z.infer<typeof LocalJobRunResourceSchema>;
-export type TestRunStatus = z.infer<typeof TestRunStatusSchema>;
-export type TestRunCreateRequest = z.infer<typeof TestRunCreateRequestSchema>;
-export type TestRunResource = z.infer<typeof TestRunResourceSchema>;
+export type VerifyRunStatus = z.infer<typeof VerifyRunStatusSchema>;
+export type VerifyRunCreateRequest = z.infer<typeof VerifyRunCreateRequestSchema>;
+export type VerifyRunResource = z.infer<typeof VerifyRunResourceSchema>;
 export type RunObservabilityResource = z.infer<typeof RunObservabilityResourceSchema>;
 export type LocalExecutorStatus = z.infer<typeof LocalExecutorStatusSchema>;
 export type ActionProposalType = z.infer<typeof ActionProposalTypeSchema>;
@@ -6913,15 +4895,17 @@ 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>;
 export type LocalJobRunListResponse = z.infer<typeof LocalJobRunListResponseSchema>;
-export type TestRunListResponse = z.infer<typeof TestRunListResponseSchema>;
+export type VerifyRunListResponse = z.infer<typeof VerifyRunListResponseSchema>;
 export type RunObservabilityListResponse = z.infer<typeof RunObservabilityListResponseSchema>;
 export type ActionProposalListResponse = z.infer<typeof ActionProposalListResponseSchema>;
 export type PortableContextListResponse = z.infer<typeof PortableContextListResponseSchema>;
 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>;