@interf/compiler 0.13.0 → 0.16.0

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

@@ -6,11 +6,17 @@ export declare const SourceBindingSchema: z.ZodObject<{
     }>;
     locator: z.ZodString;
 }, z.core.$strict>;
-/** Discriminated locator for an artifact returned by the API. */
+/**
+ * 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>;
@@ -27,6 +33,10 @@ export declare const InstanceResourceSchema: z.ZodObject<{
     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<{
@@ -37,7 +47,7 @@ export declare const PreparationCreateRequestSchema: z.ZodObject<{
         }>;
         locator: z.ZodString;
     }, z.core.$strict>;
-    method_id: z.ZodString;
+    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>;
@@ -55,6 +65,11 @@ export declare const PreparationCreateRequestSchema: z.ZodObject<{
     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;
@@ -73,6 +88,7 @@ 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>;
@@ -129,41 +145,6 @@ export declare const ServiceRegistrySchema: z.ZodObject<{
         }, z.core.$strict>>>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
-export declare const WorkspaceRegistrationRequestSchema: z.ZodObject<{
-    control_path: z.ZodString;
-}, z.core.$strict>;
-export declare const WorkspaceRegistrationResponseSchema: z.ZodObject<{
-    workspace: z.ZodObject<{
-        control_path: z.ZodString;
-        registered_at: z.ZodString;
-        last_activity: z.ZodString;
-    }, z.core.$strict>;
-    service: z.ZodObject<{
-        pid: z.ZodNumber;
-        host: z.ZodString;
-        port: z.ZodNumber;
-        url: z.ZodString;
-        started_at: z.ZodString;
-        auth_token: z.ZodOptional<z.ZodString>;
-        workspaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            control_path: z.ZodString;
-            registered_at: z.ZodString;
-            last_activity: z.ZodString;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>;
-}, z.core.$strict>;
-export declare const WorkspaceListResponseSchema: z.ZodObject<{
-    workspaces: z.ZodArray<z.ZodObject<{
-        control_path: z.ZodString;
-        registered_at: z.ZodString;
-        last_activity: z.ZodString;
-    }, z.core.$strict>>;
-}, z.core.$strict>;
-export declare const WorkspaceDeregisterResponseSchema: z.ZodObject<{
-    deregistered: z.ZodBoolean;
-    control_path: z.ZodString;
-    remaining_workspaces: z.ZodNumber;
-}, z.core.$strict>;
 export declare const LocalServiceHealthSchema: z.ZodObject<{
     kind: z.ZodLiteral<"interf-local-service-health">;
     version: z.ZodLiteral<1>;
@@ -287,8 +268,6 @@ export declare const PreparationResourceSchema: z.ZodObject<{
                 "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;
@@ -336,8 +315,6 @@ export declare const PreparationResourceSchema: z.ZodObject<{
                 "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;
@@ -384,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>>;
@@ -577,8 +555,6 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
                     "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;
@@ -626,8 +602,6 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
                     "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;
@@ -949,8 +923,6 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                         "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;
@@ -998,8 +970,6 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                         "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;
@@ -1075,8 +1045,6 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                     "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;
@@ -1124,8 +1092,6 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                     "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;
@@ -1364,24 +1330,6 @@ export declare const PreparationSetupResultSchema: z.ZodObject<{
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodLiteral<"compile-run">>>;
 }, z.core.$strict>;
-export declare const WorkspaceBootstrapCreateRequestSchema: z.ZodObject<{
-    source_folder: z.ZodOptional<z.ZodObject<{
-        path: z.ZodString;
-    }, z.core.$strict>>;
-    seed_default_method: z.ZodDefault<z.ZodBoolean>;
-}, z.core.$strict>;
-export declare const WorkspaceBootstrapResultSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"interf-workspace-bootstrap-result">;
-    version: z.ZodLiteral<1>;
-    control_path: z.ZodString;
-    config_path: z.ZodString;
-    source_folder_path: z.ZodNullable<z.ZodString>;
-    preparations: z.ZodNumber;
-    seeded_default_method: z.ZodBoolean;
-    default_method_id: z.ZodNullable<z.ZodString>;
-    changed: z.ZodBoolean;
-    message: z.ZodString;
-}, z.core.$strict>;
 export declare const MethodChangeCreateRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     action_type: z.ZodOptional<z.ZodLiteral<"method-change">>;
     operation: z.ZodLiteral<"duplicate">;
@@ -1611,22 +1559,26 @@ 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";
     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<{
-        "source-files": "source-files";
-        compiled: "compiled";
-        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";
@@ -1636,11 +1588,6 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         queued: "queued";
     }>;
     preparation: z.ZodString;
-    mode: z.ZodEnum<{
-        "source-files": "source-files";
-        compiled: "compiled";
-        both: "both";
-    }>;
     source_path: z.ZodString;
     portable_context_path: z.ZodNullable<z.ZodString>;
     started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1728,8 +1675,6 @@ export declare const TestRunResourceSchema: z.ZodObject<{
                 "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;
@@ -1777,8 +1722,6 @@ export declare const TestRunResourceSchema: z.ZodObject<{
                 "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;
@@ -1963,8 +1906,6 @@ export declare const TestRunResourceSchema: z.ZodObject<{
                     "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;
@@ -2012,8 +1953,6 @@ export declare const TestRunResourceSchema: z.ZodObject<{
                     "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;
@@ -2045,7 +1984,7 @@ 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";
     }>;
@@ -2130,8 +2069,6 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
                 "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;
@@ -2179,8 +2116,6 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
                 "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;
@@ -2292,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";
@@ -2317,22 +2252,22 @@ export declare const ActionProposalStatusSchema: z.ZodEnum<{
 }>;
 export declare const ActionClientOriginSchema: z.ZodEnum<{
     unknown: "unknown";
-    service: "service";
+    mcp: "mcp";
     "ui-chat": "ui-chat";
     cli: "cli";
     "agent-cli": "agent-cli";
-    mcp: "mcp";
+    service: "service";
 }>;
 export declare const ActionProposalCreateRequestSchema: z.ZodObject<{
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodString>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        service: "service";
+        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>>;
 }, z.core.$strict>;
@@ -2341,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";
@@ -2386,11 +2321,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        service: "service";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
+        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2407,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>>;
@@ -2434,11 +2369,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        service: "service";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
+        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2455,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>>;
@@ -2491,11 +2426,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        service: "service";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
+        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2512,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<{
-            "source-files": "source-files";
-            compiled: "compiled";
-            both: "both";
-        }>>;
     }, z.core.$strict>;
 }, z.core.$strict>, z.ZodObject<{
     kind: z.ZodLiteral<"interf-action-proposal">;
@@ -2546,11 +2476,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        service: "service";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
+        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2567,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>>;
@@ -2599,11 +2529,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        service: "service";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
+        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2620,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>>;
@@ -2669,11 +2599,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        service: "service";
+        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
-        mcp: "mcp";
+        service: "service";
     }>>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
@@ -2690,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>>;
@@ -2750,8 +2680,6 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
                 "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;
@@ -2799,8 +2727,6 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
                 "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;
@@ -2865,8 +2791,6 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
             "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;
@@ -2914,8 +2838,6 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
             "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;
@@ -2970,9 +2892,10 @@ export declare const LocalServiceDiscoverySchema: z.ZodObject<{
         method_authoring_runs: z.ZodString;
         method_improvement_runs: z.ZodString;
         compile_runs: z.ZodString;
-        test_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>;
@@ -3061,8 +2984,6 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
                     "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;
@@ -3110,8 +3031,6 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
                     "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;
@@ -3160,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>>;
@@ -3439,8 +3359,6 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                             "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;
@@ -3488,8 +3406,6 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                             "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;
@@ -3565,8 +3481,6 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                         "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;
@@ -3614,8 +3528,6 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                         "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;
@@ -3721,8 +3633,8 @@ 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";
@@ -3732,11 +3644,6 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             queued: "queued";
         }>;
         preparation: z.ZodString;
-        mode: z.ZodEnum<{
-            "source-files": "source-files";
-            compiled: "compiled";
-            both: "both";
-        }>;
         source_path: z.ZodString;
         portable_context_path: z.ZodNullable<z.ZodString>;
         started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -3824,8 +3731,6 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                     "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;
@@ -3873,8 +3778,6 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                     "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;
@@ -4059,8 +3962,6 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                         "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;
@@ -4108,8 +4009,6 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                         "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;
@@ -4143,7 +4042,7 @@ 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";
         }>;
@@ -4228,8 +4127,6 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
                     "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;
@@ -4277,8 +4174,6 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
                     "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;
@@ -4385,11 +4280,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            service: "service";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
+            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -4406,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>>;
@@ -4433,11 +4328,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            service: "service";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
+            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -4454,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>>;
@@ -4490,11 +4385,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            service: "service";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
+            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -4511,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<{
-                "source-files": "source-files";
-                compiled: "compiled";
-                both: "both";
-            }>>;
         }, z.core.$strict>;
     }, z.core.$strict>, z.ZodObject<{
         kind: z.ZodLiteral<"interf-action-proposal">;
@@ -4545,11 +4435,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            service: "service";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
+            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -4566,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>>;
@@ -4598,11 +4488,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            service: "service";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
+            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -4619,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>>;
@@ -4668,11 +4558,11 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            service: "service";
+            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
-            mcp: "mcp";
+            service: "service";
         }>>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
@@ -4689,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>>;
@@ -4751,8 +4641,6 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
                     "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;
@@ -4800,8 +4688,6 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
                     "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;
@@ -4868,8 +4754,6 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
                 "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;
@@ -4917,8 +4801,6 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
                 "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;
@@ -4982,8 +4864,6 @@ export type LocalJobEvent = z.infer<typeof LocalJobEventSchema>;
 export type LocalJobRunCreateRequest = z.infer<typeof LocalJobRunCreateRequestSchema>;
 export type PreparationSetupCreateRequest = z.infer<typeof PreparationSetupCreateRequestSchema>;
 export type PreparationSetupResult = z.infer<typeof PreparationSetupResultSchema>;
-export type WorkspaceBootstrapCreateRequest = z.infer<typeof WorkspaceBootstrapCreateRequestSchema>;
-export type WorkspaceBootstrapResult = z.infer<typeof WorkspaceBootstrapResultSchema>;
 export type MethodChangeCreateRequest = z.infer<typeof MethodChangeCreateRequestSchema>;
 export type MethodChangeResult = z.infer<typeof MethodChangeResultSchema>;
 export type PreparationChangeCreateRequest = z.infer<typeof PreparationChangeCreateRequestSchema>;
@@ -4996,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>;
@@ -5019,7 +4899,7 @@ export type PreparationListResponse = z.infer<typeof PreparationListResponseSche
 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>;
@@ -5029,7 +4909,3 @@ export type WorkspaceFileListResponse = z.infer<typeof WorkspaceFileListResponse
 export type ServiceRegistryWorkspace = z.infer<typeof ServiceRegistryWorkspaceSchema>;
 export type ServiceRegistryEntry = z.infer<typeof ServiceRegistryEntrySchema>;
 export type ServiceRegistry = z.infer<typeof ServiceRegistrySchema>;
-export type WorkspaceRegistrationRequest = z.infer<typeof WorkspaceRegistrationRequestSchema>;
-export type WorkspaceRegistrationResponse = z.infer<typeof WorkspaceRegistrationResponseSchema>;
-export type WorkspaceListResponse = z.infer<typeof WorkspaceListResponseSchema>;
-export type WorkspaceDeregisterResponse = z.infer<typeof WorkspaceDeregisterResponseSchema>;