npm - @interf/compiler - Versions diffs - 0.13.0 → 0.18.0 - Mend

@interf/compiler 0.13.0 → 0.18.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (320) hide show

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

@@ -1,16 +1,29 @@
 import { z } from "zod";
-/** Source binding shape on the API (only `local-folder` ships in 0.13). */
+/**
+ * Source binding shape on the API. `local-folder` is the only kind the
+ * local binary accepts in 0.17; `remote-folder` rides in the type
+ * plumbing for the future cloud variant (B4.4 cloud-variant seam) and
+ * is rejected at the validator branch in server.ts. See `TODO(cloud)`
+ * marker there.
+ */
 export declare const SourceBindingSchema: z.ZodObject<{
     kind: z.ZodEnum<{
         "local-folder": "local-folder";
+        "remote-folder": "remote-folder";
     }>;
     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 +40,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<{
@@ -34,10 +51,11 @@ export declare const PreparationCreateRequestSchema: z.ZodObject<{
     source: z.ZodObject<{
         kind: z.ZodEnum<{
             "local-folder": "local-folder";
+            "remote-folder": "remote-folder";
         }>;
         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 +73,24 @@ 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>>;
+    checks: z.ZodOptional<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>;
 /** Body of `POST /v1/methods` — install a Method package by path. */
 export declare const MethodInstallRequestSchema: z.ZodObject<{
     source_path: z.ZodString;
@@ -69,13 +105,49 @@ export declare const PreparationDeleteResponseSchema: z.ZodObject<{
     deleted: z.ZodBoolean;
     id: z.ZodString;
 }, z.core.$strict>;
+export declare const PreparationWireShapeSchema: z.ZodObject<{
+    id: z.ZodString;
+    source: z.ZodObject<{
+        kind: z.ZodEnum<{
+            "local-folder": "local-folder";
+            "remote-folder": "remote-folder";
+        }>;
+        locator: z.ZodString;
+    }, z.core.$strict>;
+    method_id: z.ZodNullable<z.ZodString>;
+    about: z.ZodNullable<z.ZodString>;
+    config_path: z.ZodString;
+    portable_context: z.ZodObject<{
+        kind: z.ZodEnum<{
+            "local-path": "local-path";
+            "remote-url": "remote-url";
+            "api-served": "api-served";
+        }>;
+        value: z.ZodString;
+    }, z.core.$strict>;
+    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>;
 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>;
+export type PreparationWireShape = z.infer<typeof PreparationWireShapeSchema>;
 /**
  * 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
@@ -129,41 +201,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>;
@@ -266,15 +303,15 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         generated_at: z.ZodString;
         preparation: z.ZodString;
         status: z.ZodEnum<{
+            ready: "ready";
+            failed: "failed";
             "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;
@@ -287,21 +324,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -336,21 +371,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -364,6 +397,36 @@ export declare const PreparationResourceSchema: z.ZodObject<{
     }, z.core.$strict>;
     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<{
+        artifact_id: z.ZodString;
+        status: z.ZodEnum<{
+            ready: "ready";
+            not_ready: "not_ready";
+            failed: "failed";
+            skipped: "skipped";
+        }>;
+        built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        proofs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            check_id: z.ZodString;
+            kind: z.ZodEnum<{
+                file_exists: "file_exists";
+                min_file_count: "min_file_count";
+                min_file_count_matches_source: "min_file_count_matches_source";
+                frontmatter_valid: "frontmatter_valid";
+                frontmatter_required_keys: "frontmatter_required_keys";
+                wikilinks_valid: "wikilinks_valid";
+                must_not_contain: "must_not_contain";
+                must_contain: "must_contain";
+                qa_match: "qa_match";
+            }>;
+            passed: z.ZodBoolean;
+            required: z.ZodBoolean;
+            summary: z.ZodString;
+            details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            evaluated_at: z.ZodString;
+        }, z.core.$strict>>>;
+        summary: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
 }, z.core.$strict>;
 export declare const MethodResourceSchema: z.ZodObject<{
     id: z.ZodString;
@@ -377,16 +440,45 @@ export declare const MethodResourceSchema: z.ZodObject<{
     }>>;
     built_in: z.ZodDefault<z.ZodBoolean>;
     active_for_preparations: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    output_paths: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodString;
+        shape: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"path">;
+            path: z.ZodString;
+            artifact_kind: z.ZodEnum<{
+                file: "file";
+                directory: "directory";
+            }>;
+        }, z.core.$strict>], "kind">;
+        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                file_exists: "file_exists";
+                min_file_count: "min_file_count";
+                min_file_count_matches_source: "min_file_count_matches_source";
+                frontmatter_valid: "frontmatter_valid";
+                frontmatter_required_keys: "frontmatter_required_keys";
+                wikilinks_valid: "wikilinks_valid";
+                must_not_contain: "must_not_contain";
+                must_contain: "must_contain";
+                qa_match: "qa_match";
+            }>;
+            description: z.ZodOptional<z.ZodString>;
+            params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            required: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strict>>>;
+        built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
     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;
+        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>>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
 export declare const CompileRunCreateRequestSchema: z.ZodObject<{
@@ -530,6 +622,12 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         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<"run.cancelled">;
+        reason: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>, z.ZodObject<{
         event_id: z.ZodString;
         run_id: z.ZodString;
@@ -556,15 +654,15 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             generated_at: z.ZodString;
             preparation: z.ZodString;
             status: z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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;
@@ -577,21 +675,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -626,21 +722,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -721,7 +815,6 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 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<{
@@ -902,6 +995,12 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             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<"run.cancelled">;
+            reason: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>, z.ZodObject<{
             event_id: z.ZodString;
             run_id: z.ZodString;
@@ -928,15 +1027,15 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 generated_at: z.ZodString;
                 preparation: z.ZodString;
                 status: z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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;
@@ -949,21 +1048,19 @@ 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;
                     status: z.ZodOptional<z.ZodEnum<{
+                        ready: "ready";
+                        failed: "failed";
                         "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>;
@@ -998,21 +1095,19 @@ 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;
                     status: z.ZodOptional<z.ZodEnum<{
+                        ready: "ready";
+                        failed: "failed";
                         "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>;
@@ -1054,15 +1149,15 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             generated_at: z.ZodString;
             preparation: z.ZodString;
             status: z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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;
@@ -1075,21 +1170,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -1124,21 +1217,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -1146,6 +1237,36 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>>;
         }, z.core.$strict>>>;
+        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            artifact_id: z.ZodString;
+            status: z.ZodEnum<{
+                ready: "ready";
+                not_ready: "not_ready";
+                failed: "failed";
+                skipped: "skipped";
+            }>;
+            built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            proofs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                check_id: z.ZodString;
+                kind: z.ZodEnum<{
+                    file_exists: "file_exists";
+                    min_file_count: "min_file_count";
+                    min_file_count_matches_source: "min_file_count_matches_source";
+                    frontmatter_valid: "frontmatter_valid";
+                    frontmatter_required_keys: "frontmatter_required_keys";
+                    wikilinks_valid: "wikilinks_valid";
+                    must_not_contain: "must_not_contain";
+                    must_contain: "must_contain";
+                    qa_match: "qa_match";
+                }>;
+                passed: z.ZodBoolean;
+                required: z.ZodBoolean;
+                summary: z.ZodString;
+                details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                evaluated_at: z.ZodString;
+            }, z.core.$strict>>>;
+            summary: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
     }, z.core.$strict>;
 }, z.core.$strict>;
 export declare const LocalJobTypeSchema: z.ZodEnum<{
@@ -1364,24 +1485,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">;
@@ -1466,6 +1569,36 @@ export declare const ReadinessCheckDraftResultSchema: z.ZodObject<{
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
+export declare const MethodAuthoringArtifactRequirementSchema: z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    shape: z.ZodObject<{
+        kind: z.ZodLiteral<"path">;
+        path: z.ZodString;
+        artifact_kind: z.ZodEnum<{
+            file: "file";
+            directory: "directory";
+        }>;
+    }, z.core.$strict>;
+    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            file_exists: "file_exists";
+            min_file_count: "min_file_count";
+            min_file_count_matches_source: "min_file_count_matches_source";
+            frontmatter_valid: "frontmatter_valid";
+            frontmatter_required_keys: "frontmatter_required_keys";
+            wikilinks_valid: "wikilinks_valid";
+            must_not_contain: "must_not_contain";
+            must_contain: "must_contain";
+            qa_match: "qa_match";
+        }>;
+        description: z.ZodOptional<z.ZodString>;
+        params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strict>>>;
+    stage_hint: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
 export declare const MethodAuthoringCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     source_folder_path: z.ZodString;
@@ -1488,6 +1621,36 @@ export declare const MethodAuthoringCreateRequestSchema: z.ZodObject<{
         }, z.core.$strip>>;
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
+    artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        shape: z.ZodObject<{
+            kind: z.ZodLiteral<"path">;
+            path: z.ZodString;
+            artifact_kind: z.ZodEnum<{
+                file: "file";
+                directory: "directory";
+            }>;
+        }, z.core.$strict>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                file_exists: "file_exists";
+                min_file_count: "min_file_count";
+                min_file_count_matches_source: "min_file_count_matches_source";
+                frontmatter_valid: "frontmatter_valid";
+                frontmatter_required_keys: "frontmatter_required_keys";
+                wikilinks_valid: "wikilinks_valid";
+                must_not_contain: "must_not_contain";
+                must_contain: "must_contain";
+                qa_match: "qa_match";
+            }>;
+            description: z.ZodOptional<z.ZodString>;
+            params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            required: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strict>>>;
+        stage_hint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
 }, z.core.$strict>;
 export declare const MethodAuthoringResultSchema: z.ZodObject<{
     status: z.ZodEnum<{
@@ -1611,22 +1774,32 @@ 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.17 — verify runs choose their judge target. `compiled` (default)
+ * judges against the latest portable-context output; `source-files`
+ * judges against the raw source folder for a baseline that reveals
+ * how much value the Method actually adds. The 0.15 cleanup made
+ * verify compiled-only on the wire because the source-files branch
+ * had been retired in 0.13.1; 0.17 restores it because the QA tab and
+ * `verify/README.md` have always claimed the option exists, and the
+ * sandbox + spec builders for source-files have remained in tree
+ * since 0.13.
+ */
+export declare const VerifyRunCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodString;
-    mode: z.ZodDefault<z.ZodEnum<{
+    target: 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 +1809,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>>;
@@ -1707,15 +1875,15 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         generated_at: z.ZodString;
         preparation: z.ZodString;
         status: z.ZodEnum<{
+            ready: "ready";
+            failed: "failed";
             "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;
@@ -1728,21 +1896,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -1777,21 +1943,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -1916,6 +2080,12 @@ export declare const TestRunResourceSchema: z.ZodObject<{
         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<"run.cancelled">;
+        reason: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>, z.ZodObject<{
         event_id: z.ZodString;
         run_id: z.ZodString;
@@ -1942,15 +2112,15 @@ export declare const TestRunResourceSchema: z.ZodObject<{
             generated_at: z.ZodString;
             preparation: z.ZodString;
             status: z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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;
@@ -1963,21 +2133,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -2012,21 +2180,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -2045,7 +2211,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";
     }>;
@@ -2109,15 +2275,15 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         generated_at: z.ZodString;
         preparation: z.ZodString;
         status: z.ZodEnum<{
+            ready: "ready";
+            failed: "failed";
             "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;
@@ -2130,21 +2296,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -2179,21 +2343,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -2292,16 +2454,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 +2479,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 +2503,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 +2548,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 +2569,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 +2596,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 +2617,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 +2653,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,17 +2674,16 @@ 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<{
+        target: z.ZodDefault<z.ZodEnum<{
             "source-files": "source-files";
             compiled: "compiled";
-            both: "both";
         }>>;
     }, z.core.$strict>;
 }, z.core.$strict>, z.ZodObject<{
@@ -2546,11 +2707,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 +2728,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 +2760,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 +2781,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>>;
@@ -2647,6 +2808,36 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
             }, z.core.$strip>>;
             strictness: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
+        artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            description: z.ZodOptional<z.ZodString>;
+            shape: z.ZodObject<{
+                kind: z.ZodLiteral<"path">;
+                path: z.ZodString;
+                artifact_kind: z.ZodEnum<{
+                    file: "file";
+                    directory: "directory";
+                }>;
+            }, z.core.$strict>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                kind: z.ZodEnum<{
+                    file_exists: "file_exists";
+                    min_file_count: "min_file_count";
+                    min_file_count_matches_source: "min_file_count_matches_source";
+                    frontmatter_valid: "frontmatter_valid";
+                    frontmatter_required_keys: "frontmatter_required_keys";
+                    wikilinks_valid: "wikilinks_valid";
+                    must_not_contain: "must_not_contain";
+                    must_contain: "must_contain";
+                    qa_match: "qa_match";
+                }>;
+                description: z.ZodOptional<z.ZodString>;
+                params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                required: z.ZodDefault<z.ZodBoolean>;
+            }, z.core.$strict>>>;
+            stage_hint: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
     }, z.core.$strict>;
 }, z.core.$strict>, z.ZodObject<{
     kind: z.ZodLiteral<"interf-action-proposal">;
@@ -2669,11 +2860,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 +2881,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>>;
@@ -2717,6 +2908,36 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
             }, z.core.$strip>>;
             strictness: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
+        artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            description: z.ZodOptional<z.ZodString>;
+            shape: z.ZodObject<{
+                kind: z.ZodLiteral<"path">;
+                path: z.ZodString;
+                artifact_kind: z.ZodEnum<{
+                    file: "file";
+                    directory: "directory";
+                }>;
+            }, z.core.$strict>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                kind: z.ZodEnum<{
+                    file_exists: "file_exists";
+                    min_file_count: "min_file_count";
+                    min_file_count_matches_source: "min_file_count_matches_source";
+                    frontmatter_valid: "frontmatter_valid";
+                    frontmatter_required_keys: "frontmatter_required_keys";
+                    wikilinks_valid: "wikilinks_valid";
+                    must_not_contain: "must_not_contain";
+                    must_contain: "must_contain";
+                    qa_match: "qa_match";
+                }>;
+                description: z.ZodOptional<z.ZodString>;
+                params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                required: z.ZodDefault<z.ZodBoolean>;
+            }, z.core.$strict>>>;
+            stage_hint: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
     }, z.core.$strict>;
 }, z.core.$strict>], "action_type">;
 export declare const PortableContextResourceSchema: z.ZodObject<{
@@ -2729,15 +2950,15 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
         generated_at: z.ZodString;
         preparation: z.ZodString;
         status: z.ZodEnum<{
+            ready: "ready";
+            failed: "failed";
             "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;
@@ -2750,21 +2971,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -2799,21 +3018,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -2844,15 +3061,15 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
     generated_at: z.ZodString;
     preparation: z.ZodString;
     status: z.ZodEnum<{
+        ready: "ready";
+        failed: "failed";
         "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;
@@ -2865,21 +3082,19 @@ 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;
         status: z.ZodOptional<z.ZodEnum<{
+            ready: "ready";
+            failed: "failed";
             "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>;
@@ -2914,21 +3129,19 @@ 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;
         status: z.ZodOptional<z.ZodEnum<{
+            ready: "ready";
+            failed: "failed";
             "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>;
@@ -2970,9 +3183,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>;
@@ -2987,31 +3201,24 @@ export declare const OpenPathResponseSchema: z.ZodObject<{
 export declare const PreparationListResponseSchema: z.ZodObject<{
     preparations: z.ZodArray<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>>>;
+        source: z.ZodObject<{
+            kind: z.ZodEnum<{
+                "local-folder": "local-folder";
+                "remote-folder": "remote-folder";
+            }>;
+            locator: z.ZodString;
         }, z.core.$strict>;
-        source_path: z.ZodString;
         method_id: z.ZodNullable<z.ZodString>;
+        about: z.ZodNullable<z.ZodString>;
+        config_path: z.ZodString;
+        portable_context: z.ZodObject<{
+            kind: z.ZodEnum<{
+                "local-path": "local-path";
+                "remote-url": "remote-url";
+                "api-served": "api-served";
+            }>;
+            value: z.ZodString;
+        }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             id: z.ZodOptional<z.ZodString>;
             question: z.ZodString;
@@ -3025,119 +3232,6 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
             }, 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<{
-                    "portable-context": "portable-context";
-                    "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    built: "built";
-                    checking: "checking";
-                    ready: "ready";
-                    "not-ready": "not-ready";
-                    stale: "stale";
-                    failed: "failed";
-                }>>;
-                summary: z.ZodString;
-                detail: z.ZodOptional<z.ZodString>;
-                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            }, z.core.$strict>>;
-            check_results: z.ZodObject<{
-                configured: z.ZodNumber;
-                fingerprint: z.ZodNullable<z.ZodString>;
-                source_files: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
-                    passed: z.ZodNumber;
-                    total: z.ZodNumber;
-                    pass_rate: z.ZodNullable<z.ZodNumber>;
-                    checks_fingerprint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    stale: z.ZodDefault<z.ZodBoolean>;
-                    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                }, z.core.$strict>>;
-            }, z.core.$strict>;
-            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
-                    "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
-                    "readiness-checks": "readiness-checks";
-                    "source-baseline": "source-baseline";
-                    "portable-context-check": "portable-context-check";
-                    "checks-current": "checks-current";
-                }>;
-                ok: z.ZodBoolean;
-                status: z.ZodOptional<z.ZodEnum<{
-                    "not-configured": "not-configured";
-                    "not-built": "not-built";
-                    building: "building";
-                    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>;
 export declare const MethodListResponseSchema: z.ZodObject<{
@@ -3153,16 +3247,45 @@ export declare const MethodListResponseSchema: z.ZodObject<{
         }>>;
         built_in: z.ZodDefault<z.ZodBoolean>;
         active_for_preparations: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        output_paths: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            description: z.ZodString;
+            shape: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"path">;
+                path: z.ZodString;
+                artifact_kind: z.ZodEnum<{
+                    file: "file";
+                    directory: "directory";
+                }>;
+            }, z.core.$strict>], "kind">;
+            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                kind: z.ZodEnum<{
+                    file_exists: "file_exists";
+                    min_file_count: "min_file_count";
+                    min_file_count_matches_source: "min_file_count_matches_source";
+                    frontmatter_valid: "frontmatter_valid";
+                    frontmatter_required_keys: "frontmatter_required_keys";
+                    wikilinks_valid: "wikilinks_valid";
+                    must_not_contain: "must_not_contain";
+                    must_contain: "must_contain";
+                    qa_match: "qa_match";
+                }>;
+                description: z.ZodOptional<z.ZodString>;
+                params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                required: z.ZodDefault<z.ZodBoolean>;
+            }, z.core.$strict>>>;
+            built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>>;
         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;
+            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>>;
         }, z.core.$strict>>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
@@ -3211,7 +3334,6 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     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<{
@@ -3392,6 +3514,12 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 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<"run.cancelled">;
+                reason: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>, z.ZodObject<{
                 event_id: z.ZodString;
                 run_id: z.ZodString;
@@ -3418,15 +3546,15 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     generated_at: z.ZodString;
                     preparation: z.ZodString;
                     status: z.ZodEnum<{
+                        ready: "ready";
+                        failed: "failed";
                         "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;
@@ -3439,21 +3567,19 @@ 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;
                         status: z.ZodOptional<z.ZodEnum<{
+                            ready: "ready";
+                            failed: "failed";
                             "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>;
@@ -3488,21 +3614,19 @@ 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;
                         status: z.ZodOptional<z.ZodEnum<{
+                            ready: "ready";
+                            failed: "failed";
                             "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>;
@@ -3544,15 +3668,15 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 generated_at: z.ZodString;
                 preparation: z.ZodString;
                 status: z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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;
@@ -3565,21 +3689,19 @@ 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;
                     status: z.ZodOptional<z.ZodEnum<{
+                        ready: "ready";
+                        failed: "failed";
                         "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>;
@@ -3614,21 +3736,19 @@ 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;
                     status: z.ZodOptional<z.ZodEnum<{
+                        ready: "ready";
+                        failed: "failed";
                         "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>;
@@ -3636,6 +3756,36 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>>;
             }, z.core.$strict>>>;
+            artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                artifact_id: z.ZodString;
+                status: z.ZodEnum<{
+                    ready: "ready";
+                    not_ready: "not_ready";
+                    failed: "failed";
+                    skipped: "skipped";
+                }>;
+                built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                proofs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    check_id: z.ZodString;
+                    kind: z.ZodEnum<{
+                        file_exists: "file_exists";
+                        min_file_count: "min_file_count";
+                        min_file_count_matches_source: "min_file_count_matches_source";
+                        frontmatter_valid: "frontmatter_valid";
+                        frontmatter_required_keys: "frontmatter_required_keys";
+                        wikilinks_valid: "wikilinks_valid";
+                        must_not_contain: "must_not_contain";
+                        must_contain: "must_contain";
+                        qa_match: "qa_match";
+                    }>;
+                    passed: z.ZodBoolean;
+                    required: z.ZodBoolean;
+                    summary: z.ZodString;
+                    details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                    evaluated_at: z.ZodString;
+                }, z.core.$strict>>>;
+                summary: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
         }, z.core.$strict>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
@@ -3721,8 +3871,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 +3882,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>>;
@@ -3803,15 +3948,15 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             generated_at: z.ZodString;
             preparation: z.ZodString;
             status: z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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;
@@ -3824,21 +3969,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -3873,21 +4016,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -4012,6 +4153,12 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
             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<"run.cancelled">;
+            reason: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>, z.ZodObject<{
             event_id: z.ZodString;
             run_id: z.ZodString;
@@ -4038,15 +4185,15 @@ export declare const TestRunListResponseSchema: z.ZodObject<{
                 generated_at: z.ZodString;
                 preparation: z.ZodString;
                 status: z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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;
@@ -4059,21 +4206,19 @@ 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;
                     status: z.ZodOptional<z.ZodEnum<{
+                        ready: "ready";
+                        failed: "failed";
                         "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>;
@@ -4108,21 +4253,19 @@ 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;
                     status: z.ZodOptional<z.ZodEnum<{
+                        ready: "ready";
+                        failed: "failed";
                         "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>;
@@ -4143,7 +4286,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";
         }>;
@@ -4207,15 +4350,15 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             generated_at: z.ZodString;
             preparation: z.ZodString;
             status: z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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;
@@ -4228,21 +4371,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -4277,21 +4418,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -4385,11 +4524,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 +4545,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 +4572,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 +4593,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 +4629,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,17 +4650,16 @@ 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<{
+            target: z.ZodDefault<z.ZodEnum<{
                 "source-files": "source-files";
                 compiled: "compiled";
-                both: "both";
             }>>;
         }, z.core.$strict>;
     }, z.core.$strict>, z.ZodObject<{
@@ -4545,11 +4683,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 +4704,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 +4736,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 +4757,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>>;
@@ -4646,6 +4784,36 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
                 }, z.core.$strip>>;
                 strictness: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>>;
+            artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                description: z.ZodOptional<z.ZodString>;
+                shape: z.ZodObject<{
+                    kind: z.ZodLiteral<"path">;
+                    path: z.ZodString;
+                    artifact_kind: z.ZodEnum<{
+                        file: "file";
+                        directory: "directory";
+                    }>;
+                }, z.core.$strict>;
+                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    kind: z.ZodEnum<{
+                        file_exists: "file_exists";
+                        min_file_count: "min_file_count";
+                        min_file_count_matches_source: "min_file_count_matches_source";
+                        frontmatter_valid: "frontmatter_valid";
+                        frontmatter_required_keys: "frontmatter_required_keys";
+                        wikilinks_valid: "wikilinks_valid";
+                        must_not_contain: "must_not_contain";
+                        must_contain: "must_contain";
+                        qa_match: "qa_match";
+                    }>;
+                    description: z.ZodOptional<z.ZodString>;
+                    params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                    required: z.ZodDefault<z.ZodBoolean>;
+                }, z.core.$strict>>>;
+                stage_hint: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
         }, z.core.$strict>;
     }, z.core.$strict>, z.ZodObject<{
         kind: z.ZodLiteral<"interf-action-proposal">;
@@ -4668,11 +4836,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 +4857,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>>;
@@ -4716,6 +4884,36 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
                 }, z.core.$strip>>;
                 strictness: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>>;
+            artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                description: z.ZodOptional<z.ZodString>;
+                shape: z.ZodObject<{
+                    kind: z.ZodLiteral<"path">;
+                    path: z.ZodString;
+                    artifact_kind: z.ZodEnum<{
+                        file: "file";
+                        directory: "directory";
+                    }>;
+                }, z.core.$strict>;
+                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    kind: z.ZodEnum<{
+                        file_exists: "file_exists";
+                        min_file_count: "min_file_count";
+                        min_file_count_matches_source: "min_file_count_matches_source";
+                        frontmatter_valid: "frontmatter_valid";
+                        frontmatter_required_keys: "frontmatter_required_keys";
+                        wikilinks_valid: "wikilinks_valid";
+                        must_not_contain: "must_not_contain";
+                        must_contain: "must_contain";
+                        qa_match: "qa_match";
+                    }>;
+                    description: z.ZodOptional<z.ZodString>;
+                    params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                    required: z.ZodDefault<z.ZodBoolean>;
+                }, z.core.$strict>>>;
+                stage_hint: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
         }, z.core.$strict>;
     }, z.core.$strict>], "action_type">>;
 }, z.core.$strict>;
@@ -4730,15 +4928,15 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
             generated_at: z.ZodString;
             preparation: z.ZodString;
             status: z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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;
@@ -4751,21 +4949,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -4800,21 +4996,19 @@ 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;
                 status: z.ZodOptional<z.ZodEnum<{
+                    ready: "ready";
+                    failed: "failed";
                     "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>;
@@ -4847,15 +5041,15 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
         generated_at: z.ZodString;
         preparation: z.ZodString;
         status: z.ZodEnum<{
+            ready: "ready";
+            failed: "failed";
             "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;
@@ -4868,21 +5062,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -4917,21 +5109,19 @@ 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;
             status: z.ZodOptional<z.ZodEnum<{
+                ready: "ready";
+                failed: "failed";
                 "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>;
@@ -4982,8 +5172,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>;
@@ -4992,13 +5180,14 @@ export type ResetRequest = z.infer<typeof ResetRequestSchema>;
 export type ResetResult = z.infer<typeof ResetResultSchema>;
 export type ReadinessCheckDraftCreateRequest = z.infer<typeof ReadinessCheckDraftCreateRequestSchema>;
 export type ReadinessCheckDraftResult = z.infer<typeof ReadinessCheckDraftResultSchema>;
+export type MethodAuthoringArtifactRequirement = z.infer<typeof MethodAuthoringArtifactRequirementSchema>;
 export type MethodAuthoringCreateRequest = z.infer<typeof MethodAuthoringCreateRequestSchema>;
 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 +5208,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 +5218,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>;