@interf/compiler 0.18.0 → 0.22.0

package/dist/packages/engine/lib/schema.d.ts

@@ -55,8 +55,58 @@ export declare const PreparationCreateRequestSchema: z.ZodObject<{
         }>;
         locator: z.ZodString;
     }, z.core.$strict>;
-    method_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     about: z.ZodOptional<z.ZodString>;
+    requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        title: z.ZodString;
+        purpose: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+        }, z.core.$loose>]>>>;
+        output: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+            shape: z.ZodOptional<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>>>>;
+    source_profile: z.ZodOptional<z.ZodObject<{
+        summary: z.ZodOptional<z.ZodString>;
+        items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            path: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+            page_count: z.ZodOptional<z.ZodNumber>;
+            note: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+        observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$loose>>;
     checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
         id: z.ZodOptional<z.ZodString>;
         question: z.ZodString;
@@ -75,7 +125,7 @@ export declare const PreparationCreateRequestSchema: z.ZodObject<{
 }, 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>>;
+    build_plan_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>;
@@ -90,14 +140,65 @@ export declare const PreparationUpdateRequestSchema: z.ZodObject<{
         }, z.core.$strip>>;
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
+    requested_artifacts: z.ZodOptional<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        title: z.ZodString;
+        purpose: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+        }, z.core.$loose>]>>>;
+        output: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+            shape: z.ZodOptional<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>>>>;
+    source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        summary: z.ZodOptional<z.ZodString>;
+        items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            path: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+            page_count: z.ZodOptional<z.ZodNumber>;
+            note: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+        observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$loose>>>;
 }, z.core.$strict>;
-/** Body of `POST /v1/methods` — install a Method package by path. */
-export declare const MethodInstallRequestSchema: z.ZodObject<{
+/** Body of `POST /v1/build-plans` — save a Build Plan definition by path. */
+export declare const BuildPlanSaveRequestSchema: z.ZodObject<{
     source_path: z.ZodString;
+    id: z.ZodOptional<z.ZodString>;
     overwrite: z.ZodDefault<z.ZodBoolean>;
 }, z.core.$strict>;
-export declare const MethodInstallResultSchema: z.ZodObject<{
-    method_id: z.ZodString;
+export declare const BuildPlanSaveResultSchema: z.ZodObject<{
+    build_plan_id: z.ZodString;
     installed: z.ZodBoolean;
     path: z.ZodString;
 }, z.core.$strict>;
@@ -114,10 +215,10 @@ export declare const PreparationWireShapeSchema: z.ZodObject<{
         }>;
         locator: z.ZodString;
     }, z.core.$strict>;
-    method_id: z.ZodNullable<z.ZodString>;
+    build_plan_id: z.ZodNullable<z.ZodString>;
     about: z.ZodNullable<z.ZodString>;
     config_path: z.ZodString;
-    portable_context: z.ZodObject<{
+    verifiable_context: z.ZodObject<{
         kind: z.ZodEnum<{
             "local-path": "local-path";
             "remote-url": "remote-url";
@@ -138,14 +239,64 @@ export declare const PreparationWireShapeSchema: z.ZodObject<{
         }, z.core.$strip>>;
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
+    requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        title: z.ZodString;
+        purpose: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+        }, z.core.$loose>]>>>;
+        output: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+            shape: z.ZodOptional<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>>>>;
+    source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        summary: z.ZodOptional<z.ZodString>;
+        items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            path: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+            page_count: z.ZodOptional<z.ZodNumber>;
+            note: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+        observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$loose>>>;
 }, 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 BuildPlanSaveRequest = z.infer<typeof BuildPlanSaveRequestSchema>;
+export type BuildPlanSaveResult = z.infer<typeof BuildPlanSaveResultSchema>;
 export type PreparationDeleteResponse = z.infer<typeof PreparationDeleteResponseSchema>;
 export type PreparationWireShape = z.infer<typeof PreparationWireShapeSchema>;
 /**
@@ -168,38 +319,23 @@ export declare const LocalServiceConfigSchema: z.ZodObject<{
     host: z.ZodDefault<z.ZodString>;
     port: z.ZodDefault<z.ZodNumber>;
 }, z.core.$strict>;
-export declare const ServiceRegistryWorkspaceSchema: z.ZodObject<{
-    control_path: z.ZodString;
-    registered_at: z.ZodString;
-    last_activity: z.ZodString;
-}, z.core.$strict>;
-export declare const ServiceRegistryEntrySchema: z.ZodObject<{
+export declare const ServiceRegistryEntrySchema: z.ZodPreprocess<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 ServiceRegistrySchema: z.ZodObject<{
-    services: z.ZodDefault<z.ZodArray<z.ZodObject<{
+    services: z.ZodDefault<z.ZodArray<z.ZodPreprocess<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>>>>;
 }, z.core.$strict>;
 export declare const LocalServiceHealthSchema: z.ZodObject<{
     kind: z.ZodLiteral<"interf-local-service-health">;
@@ -213,11 +349,6 @@ export declare const LocalServiceHealthSchema: z.ZodObject<{
     started_at: z.ZodOptional<z.ZodString>;
     package_version: z.ZodOptional<z.ZodString>;
     instance_started_at: z.ZodOptional<z.ZodString>;
-    registered_workspaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        control_path: z.ZodString;
-        registered_at: z.ZodString;
-        last_activity: z.ZodString;
-    }, z.core.$strict>>>;
     active_runs: z.ZodDefault<z.ZodNumber>;
     idle_for_seconds: z.ZodDefault<z.ZodNumber>;
 }, z.core.$strict>;
@@ -227,25 +358,16 @@ export declare const LocalServiceErrorSchema: z.ZodObject<{
         code: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>;
 }, z.core.$strict>;
-export declare const LocalServicePointerSchema: z.ZodObject<{
-    service_url: z.ZodString;
-    host: z.ZodString;
-    port: z.ZodNumber;
-    pid: z.ZodNumber;
-    control_path: z.ZodString;
-    started_at: z.ZodString;
-    auth_token: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>;
-export declare const PortableContextMappingSchema: z.ZodObject<{
+export declare const VerifiableContextMappingSchema: 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>;
+    build_plan_id: z.ZodNullable<z.ZodString>;
+    latest_build_run_id: z.ZodNullable<z.ZodString>;
     latest_test_run_id: z.ZodNullable<z.ZodString>;
 }, z.core.$strict>;
 export declare const PreparationRunLinkageSchema: z.ZodObject<{
-    latest_compile_run_id: z.ZodNullable<z.ZodString>;
+    latest_build_run_id: z.ZodNullable<z.ZodString>;
     latest_test_run_id: z.ZodNullable<z.ZodString>;
 }, z.core.$strict>;
 export declare const PreparationResourceSchema: z.ZodObject<{
@@ -256,7 +378,7 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         name: z.ZodString;
         path: z.ZodString;
         about: z.ZodOptional<z.ZodString>;
-        method: z.ZodOptional<z.ZodString>;
+        build_plan: z.ZodOptional<z.ZodString>;
         max_attempts: z.ZodOptional<z.ZodNumber>;
         max_loops: z.ZodOptional<z.ZodNumber>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -272,9 +394,59 @@ export declare const PreparationResourceSchema: z.ZodObject<{
             }, z.core.$strip>>;
             strictness: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
+        requested_artifacts: z.ZodOptional<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            purpose: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                label: z.ZodString;
+            }, z.core.$loose>]>>>;
+            output: z.ZodOptional<z.ZodObject<{
+                path: z.ZodOptional<z.ZodString>;
+                shape: z.ZodOptional<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>>>>;
+        source_profile: z.ZodOptional<z.ZodObject<{
+            summary: z.ZodOptional<z.ZodString>;
+            items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodOptional<z.ZodString>;
+                path: z.ZodOptional<z.ZodString>;
+                kind: z.ZodOptional<z.ZodString>;
+                page_count: z.ZodOptional<z.ZodNumber>;
+                note: z.ZodOptional<z.ZodString>;
+            }, z.core.$loose>>>;
+            observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$loose>>;
     }, z.core.$strict>;
     source_path: z.ZodString;
-    method_id: z.ZodNullable<z.ZodString>;
+    build_plan_id: z.ZodNullable<z.ZodString>;
     checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
         id: z.ZodOptional<z.ZodString>;
         question: z.ZodString;
@@ -288,16 +460,66 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         }, z.core.$strip>>;
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
-    portable_context: z.ZodObject<{
+    requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        title: z.ZodString;
+        purpose: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+        }, z.core.$loose>]>>>;
+        output: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+            shape: z.ZodOptional<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>>>>;
+    source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        summary: z.ZodOptional<z.ZodString>;
+        items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            path: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+            page_count: z.ZodOptional<z.ZodNumber>;
+            note: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+        observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$loose>>>;
+    verifiable_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>;
+        build_plan_id: z.ZodNullable<z.ZodString>;
+        latest_build_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<{
+    verifiable_context_path: z.ZodNullable<z.ZodString>;
+    readiness: z.ZodPreprocess<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
@@ -315,14 +537,15 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        compile: z.ZodNullable<z.ZodObject<{
+        build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -355,7 +578,7 @@ export declare const PreparationResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            portable_context: z.ZodNullable<z.ZodObject<{
+            verifiable_context: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -367,9 +590,10 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -390,12 +614,12 @@ export declare const PreparationResourceSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>;
+    }, z.core.$strict>>;
     runs: z.ZodObject<{
-        latest_compile_run_id: z.ZodNullable<z.ZodString>;
+        latest_build_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_build_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;
@@ -428,12 +652,23 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         summary: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
-export declare const MethodResourceSchema: z.ZodObject<{
+export declare const BuildPlanResourceSchema: z.ZodObject<{
     id: z.ZodString;
-    method_id: z.ZodString;
+    build_plan_id: z.ZodString;
     path: z.ZodString;
     label: z.ZodOptional<z.ZodString>;
     hint: z.ZodOptional<z.ZodString>;
+    purpose: z.ZodOptional<z.ZodObject<{
+        label: z.ZodString;
+        task_hint: z.ZodString;
+    }, z.core.$strict>>;
+    inputs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        description: z.ZodString;
+        required: z.ZodDefault<z.ZodBoolean>;
+        examples: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
     source_kind: z.ZodDefault<z.ZodEnum<{
         builtin: "builtin";
         local: "local";
@@ -481,9 +716,9 @@ export declare const MethodResourceSchema: z.ZodObject<{
         writes: z.ZodDefault<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
-export declare const CompileRunCreateRequestSchema: z.ZodObject<{
+export declare const BuildRunCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodString;
-    method: z.ZodOptional<z.ZodString>;
+    build_plan: z.ZodOptional<z.ZodString>;
     max_attempts: z.ZodOptional<z.ZodNumber>;
     max_loops: z.ZodOptional<z.ZodNumber>;
     preserve_stage_shells: z.ZodOptional<z.ZodEnum<{
@@ -491,7 +726,7 @@ export declare const CompileRunCreateRequestSchema: z.ZodObject<{
         always: "always";
     }>>;
 }, z.core.$strict>;
-export declare const CompileRunSummarySchema: z.ZodObject<{
+export declare const BuildRunSummarySchema: z.ZodObject<{
     run_id: z.ZodString;
     status: z.ZodEnum<{
         succeeded: "succeeded";
@@ -501,8 +736,8 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         queued: "queued";
     }>;
     preparation: z.ZodString;
-    method: z.ZodString;
-    portable_context_path: z.ZodString;
+    build_plan: z.ZodString;
+    verifiable_context_path: z.ZodString;
     started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     latest_event: z.ZodOptional<z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -511,11 +746,10 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         timestamp: z.ZodString;
         type: z.ZodLiteral<"run.started">;
         preparation: z.ZodString;
-        method: z.ZodString;
-        portable_context_path: z.ZodString;
+        build_plan: z.ZodOptional<z.ZodString>;
+        verifiable_context_path: z.ZodOptional<z.ZodString>;
         backend: z.ZodEnum<{
             native: "native";
-            "workflow-sdk": "workflow-sdk";
         }>;
     }, z.core.$strict>, z.ZodObject<{
         event_id: z.ZodString;
@@ -636,8 +870,8 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         passed: z.ZodNumber;
         total: z.ZodNumber;
         target: z.ZodOptional<z.ZodEnum<{
+            "verifiable-context": "verifiable-context";
             "source-files": "source-files";
-            compiled: "compiled";
         }>>;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         stale: z.ZodOptional<z.ZodBoolean>;
@@ -648,7 +882,7 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         timestamp: z.ZodString;
         type: z.ZodLiteral<"readiness.updated">;
         preparation: z.ZodString;
-        readiness: z.ZodObject<{
+        readiness: z.ZodPreprocess<z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-state">;
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
@@ -666,14 +900,15 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             }>;
             ready: z.ZodBoolean;
             summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
+            latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
+            build: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -706,7 +941,7 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
+                verifiable_context: z.ZodNullable<z.ZodObject<{
                     passed: z.ZodNumber;
                     total: z.ZodNumber;
                     pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -718,9 +953,10 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -741,7 +977,7 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>>;
-        }, z.core.$strict>;
+        }, z.core.$strict>>;
     }, z.core.$strict>], "type">>>;
     latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
         id: z.ZodString;
@@ -771,9 +1007,505 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         }, z.core.$strict>>>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
-export declare const CompileRunResourceSchema: z.ZodObject<{
+export declare const BuildRunSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-build-run">;
+    version: z.ZodLiteral<1>;
+    run_id: z.ZodString;
+    status: z.ZodEnum<{
+        succeeded: "succeeded";
+        failed: "failed";
+        running: "running";
+        cancelled: "cancelled";
+        queued: "queued";
+    }>;
+    preparation: z.ZodString;
+    build_plan: z.ZodString;
+    backend: z.ZodString;
+    source_path: z.ZodString;
+    verifiable_context_path: z.ZodString;
+    created_at: z.ZodString;
+    started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    stages: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        run_id: z.ZodString;
+        stage_id: z.ZodString;
+        stage_label: z.ZodOptional<z.ZodString>;
+        stage_index: z.ZodOptional<z.ZodNumber>;
+        stage_total: z.ZodOptional<z.ZodNumber>;
+        status: z.ZodEnum<{
+            succeeded: "succeeded";
+            failed: "failed";
+            running: "running";
+            queued: "queued";
+        }>;
+        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        contract: z.ZodOptional<z.ZodObject<{
+            stage_label: z.ZodOptional<z.ZodString>;
+            stage_index: z.ZodOptional<z.ZodNumber>;
+            stage_total: z.ZodOptional<z.ZodNumber>;
+            reads: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            writes: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>;
+        executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            kind: z.ZodEnum<{
+                "local-agent": "local-agent";
+                "connected-provider": "connected-provider";
+                managed: "managed";
+            }>;
+            name: z.ZodString;
+            display_name: z.ZodString;
+            command: z.ZodNullable<z.ZodString>;
+            model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        }, z.core.$strip>>>;
+        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            role: z.ZodEnum<{
+                runtime: "runtime";
+                output: "output";
+                source: "source";
+                proof: "proof";
+                test: "test";
+            }>;
+            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            label: z.ZodOptional<z.ZodString>;
+            sha256: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        logs: z.ZodOptional<z.ZodObject<{
+            prompt_path: z.ZodOptional<z.ZodString>;
+            event_stream_path: z.ZodOptional<z.ZodString>;
+            status_path: z.ZodOptional<z.ZodString>;
+            contract_path: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            id: z.ZodString;
+            run_id: z.ZodString;
+            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            generated_at: z.ZodString;
+            summary: z.ZodString;
+            files_processed: z.ZodOptional<z.ZodNumber>;
+            artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                role: z.ZodEnum<{
+                    runtime: "runtime";
+                    output: "output";
+                    source: "source";
+                    proof: "proof";
+                    test: "test";
+                }>;
+                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                label: z.ZodOptional<z.ZodString>;
+                sha256: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                label: z.ZodString;
+                ok: z.ZodBoolean;
+                detail: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>>;
+        failure: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>>>;
+    events: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"run.started">;
+        preparation: z.ZodString;
+        build_plan: z.ZodOptional<z.ZodString>;
+        verifiable_context_path: z.ZodOptional<z.ZodString>;
+        backend: z.ZodEnum<{
+            native: "native";
+        }>;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"stage.started">;
+        stage_id: z.ZodString;
+        stage_index: z.ZodOptional<z.ZodNumber>;
+        stage_total: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"file.processed">;
+        stage_id: z.ZodString;
+        path: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"artifact.written">;
+        stage_id: z.ZodString;
+        artifact: z.ZodObject<{
+            path: z.ZodString;
+            role: z.ZodEnum<{
+                runtime: "runtime";
+                output: "output";
+                source: "source";
+                proof: "proof";
+                test: "test";
+            }>;
+            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            label: z.ZodOptional<z.ZodString>;
+            sha256: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"proof.updated">;
+        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        proof: z.ZodObject<{
+            id: z.ZodString;
+            run_id: z.ZodString;
+            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            generated_at: z.ZodString;
+            summary: z.ZodString;
+            files_processed: z.ZodOptional<z.ZodNumber>;
+            artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                role: z.ZodEnum<{
+                    runtime: "runtime";
+                    output: "output";
+                    source: "source";
+                    proof: "proof";
+                    test: "test";
+                }>;
+                stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                label: z.ZodOptional<z.ZodString>;
+                sha256: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                label: z.ZodString;
+                ok: z.ZodBoolean;
+                detail: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"log.appended">;
+        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        stream: z.ZodEnum<{
+            status: "status";
+            trace: "trace";
+            system: "system";
+        }>;
+        message: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"stage.passed">;
+        stage_id: z.ZodString;
+        summary: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"stage.failed">;
+        stage_id: z.ZodString;
+        error: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"run.completed">;
+        summary: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"run.failed">;
+        error: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"run.cancelled">;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"checks.evaluated">;
+        passed: z.ZodNumber;
+        total: z.ZodNumber;
+        target: z.ZodOptional<z.ZodEnum<{
+            "verifiable-context": "verifiable-context";
+            "source-files": "source-files";
+        }>>;
+        checks_fingerprint: z.ZodOptional<z.ZodString>;
+        stale: z.ZodOptional<z.ZodBoolean>;
+        test_run_id: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodLiteral<"readiness.updated">;
+        preparation: z.ZodString;
+        readiness: z.ZodPreprocess<z.ZodObject<{
+            kind: z.ZodLiteral<"interf-readiness-state">;
+            version: z.ZodLiteral<1>;
+            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";
+                "not-ready": "not-ready";
+                stale: "stale";
+            }>;
+            ready: z.ZodBoolean;
+            summary: z.ZodString;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
+            latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            build: z.ZodNullable<z.ZodObject<{
+                gate: z.ZodEnum<{
+                    "verifiable-context": "verifiable-context";
+                    "preparation-config": "preparation-config";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
+                    "readiness-checks": "readiness-checks";
+                    "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";
+                    "not-ready": "not-ready";
+                    stale: "stale";
+                }>>;
+                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>>;
+                verifiable_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<{
+                    "verifiable-context": "verifiable-context";
+                    "preparation-config": "preparation-config";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
+                    "readiness-checks": "readiness-checks";
+                    "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";
+                    "not-ready": "not-ready";
+                    stale: "stale";
+                }>>;
+                summary: z.ZodString;
+                detail: z.ZodOptional<z.ZodString>;
+                run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>], "type">>>;
+    latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        run_id: z.ZodString;
+        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        generated_at: z.ZodString;
+        summary: z.ZodString;
+        files_processed: z.ZodOptional<z.ZodNumber>;
+        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            role: z.ZodEnum<{
+                runtime: "runtime";
+                output: "output";
+                source: "source";
+                proof: "proof";
+                test: "test";
+            }>;
+            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            label: z.ZodOptional<z.ZodString>;
+            sha256: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+            ok: z.ZodBoolean;
+            detail: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>>;
+    readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
+        kind: z.ZodLiteral<"interf-readiness-state">;
+        version: z.ZodLiteral<1>;
+        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";
+            "not-ready": "not-ready";
+            stale: "stale";
+        }>;
+        ready: z.ZodBoolean;
+        summary: z.ZodString;
+        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build: z.ZodNullable<z.ZodObject<{
+            gate: z.ZodEnum<{
+                "verifiable-context": "verifiable-context";
+                "preparation-config": "preparation-config";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
+                "readiness-checks": "readiness-checks";
+                "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";
+                "not-ready": "not-ready";
+                stale: "stale";
+            }>>;
+            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>>;
+            verifiable_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<{
+                "verifiable-context": "verifiable-context";
+                "preparation-config": "preparation-config";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
+                "readiness-checks": "readiness-checks";
+                "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";
+                "not-ready": "not-ready";
+                stale: "stale";
+            }>>;
+            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>>>>;
+    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 BuildRunResourceSchema: z.ZodObject<{
     run: z.ZodObject<{
-        kind: z.ZodLiteral<"interf-compile-run">;
+        kind: z.ZodLiteral<"interf-build-run">;
         version: z.ZodLiteral<1>;
         run_id: z.ZodString;
         status: z.ZodEnum<{
@@ -784,13 +1516,10 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             queued: "queued";
         }>;
         preparation: z.ZodString;
-        method: z.ZodString;
-        backend: z.ZodEnum<{
-            native: "native";
-            "workflow-sdk": "workflow-sdk";
-        }>;
+        build_plan: z.ZodString;
+        backend: z.ZodString;
         source_path: z.ZodString;
-        portable_context_path: z.ZodString;
+        verifiable_context_path: z.ZodString;
         created_at: z.ZodString;
         started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -884,11 +1613,10 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             timestamp: z.ZodString;
             type: z.ZodLiteral<"run.started">;
             preparation: z.ZodString;
-            method: z.ZodString;
-            portable_context_path: z.ZodString;
+            build_plan: z.ZodOptional<z.ZodString>;
+            verifiable_context_path: z.ZodOptional<z.ZodString>;
             backend: z.ZodEnum<{
                 native: "native";
-                "workflow-sdk": "workflow-sdk";
             }>;
         }, z.core.$strict>, z.ZodObject<{
             event_id: z.ZodString;
@@ -1009,8 +1737,8 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             passed: z.ZodNumber;
             total: z.ZodNumber;
             target: z.ZodOptional<z.ZodEnum<{
+                "verifiable-context": "verifiable-context";
                 "source-files": "source-files";
-                compiled: "compiled";
             }>>;
             checks_fingerprint: z.ZodOptional<z.ZodString>;
             stale: z.ZodOptional<z.ZodBoolean>;
@@ -1021,7 +1749,7 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             timestamp: z.ZodString;
             type: z.ZodLiteral<"readiness.updated">;
             preparation: z.ZodString;
-            readiness: z.ZodObject<{
+            readiness: z.ZodPreprocess<z.ZodObject<{
                 kind: z.ZodLiteral<"interf-readiness-state">;
                 version: z.ZodLiteral<1>;
                 generated_at: z.ZodString;
@@ -1039,14 +1767,15 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 }>;
                 ready: z.ZodBoolean;
                 summary: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-                latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                verifiable_context_path: z.ZodNullable<z.ZodString>;
+                latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                compile: z.ZodNullable<z.ZodObject<{
+                build: z.ZodNullable<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "portable-context": "portable-context";
+                        "verifiable-context": "verifiable-context";
                         "preparation-config": "preparation-config";
-                        "compile-run": "compile-run";
+                        "build-run": "build-run";
+                        "artifact-checks": "artifact-checks";
                         "readiness-checks": "readiness-checks";
                         "checks-current": "checks-current";
                     }>;
@@ -1079,7 +1808,7 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                         run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     }, z.core.$strict>>;
-                    portable_context: z.ZodNullable<z.ZodObject<{
+                    verifiable_context: z.ZodNullable<z.ZodObject<{
                         passed: z.ZodNumber;
                         total: z.ZodNumber;
                         pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -1091,9 +1820,10 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "portable-context": "portable-context";
+                        "verifiable-context": "verifiable-context";
                         "preparation-config": "preparation-config";
-                        "compile-run": "compile-run";
+                        "build-run": "build-run";
+                        "artifact-checks": "artifact-checks";
                         "readiness-checks": "readiness-checks";
                         "checks-current": "checks-current";
                     }>;
@@ -1114,7 +1844,7 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>>;
-            }, z.core.$strict>;
+            }, z.core.$strict>>;
         }, z.core.$strict>], "type">>>;
         latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
             id: z.ZodString;
@@ -1143,7 +1873,7 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 detail: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>>;
         }, z.core.$strict>>>;
-        readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-state">;
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
@@ -1161,14 +1891,15 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             }>;
             ready: z.ZodBoolean;
             summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
+            latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
+            build: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -1201,7 +1932,7 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
+                verifiable_context: z.ZodNullable<z.ZodObject<{
                     passed: z.ZodNumber;
                     total: z.ZodNumber;
                     pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -1213,9 +1944,10 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -1236,7 +1968,7 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>>;
-        }, z.core.$strict>>>;
+        }, z.core.$strict>>>>;
         artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
             artifact_id: z.ZodString;
             status: z.ZodEnum<{
@@ -1270,9 +2002,9 @@ export declare const CompileRunResourceSchema: z.ZodObject<{
     }, z.core.$strict>;
 }, z.core.$strict>;
 export declare const LocalJobTypeSchema: z.ZodEnum<{
-    "method-authoring": "method-authoring";
-    "method-improvement": "method-improvement";
+    "build-plan-improvement": "build-plan-improvement";
     "readiness-check-draft": "readiness-check-draft";
+    "build-plan-draft": "build-plan-draft";
 }>;
 export declare const RunStatusSchema: z.ZodEnum<{
     succeeded: "succeeded";
@@ -1291,20 +2023,20 @@ export declare const LocalJobStatusSchema: z.ZodEnum<{
 export declare const LocalRunHandlerResultSchema: z.ZodObject<{
     ok: z.ZodBoolean;
     error: z.ZodOptional<z.ZodString>;
-    readiness_run: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+    readiness_run: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-check-run">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
         mode: z.ZodEnum<{
+            "verifiable-context": "verifiable-context";
             "source-files": "source-files";
-            compiled: "compiled";
             both: "both";
         }>;
         source_path: z.ZodString;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         preparation: z.ZodObject<{
             name: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
         }, z.core.$strip>;
         source_files: z.ZodNullable<z.ZodObject<{
             label: z.ZodString;
@@ -1316,15 +2048,15 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "verifiable-context": "verifiable-context";
                     "source-files": "source-files";
-                    compiled: "compiled";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
-                method: z.ZodString;
+                build_plan: z.ZodString;
             }, z.core.$strip>;
         }, z.core.$strip>>;
-        compiled: z.ZodNullable<z.ZodObject<{
+        verifiable_context: z.ZodNullable<z.ZodObject<{
             label: z.ZodString;
             run_path: z.ZodString;
             ok: z.ZodBoolean;
@@ -1334,19 +2066,19 @@ export declare const LocalRunHandlerResultSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "verifiable-context": "verifiable-context";
                     "source-files": "source-files";
-                    compiled: "compiled";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
-                method: z.ZodString;
+                build_plan: z.ZodString;
             }, z.core.$strip>;
         }, z.core.$strip>>;
         summary: z.ZodObject<{
             source_files_pass_rate: z.ZodNullable<z.ZodNumber>;
-            portable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
+            verifiable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
         }, z.core.$strip>;
-    }, z.core.$strip>>>;
+    }, z.core.$strip>>>>;
 }, z.core.$strict>;
 export declare const LocalJobAgentSchema: z.ZodObject<{
     name: z.ZodString;
@@ -1419,13 +2151,13 @@ export declare const LocalJobEventSchema: z.ZodObject<{
 }, z.core.$strict>;
 export declare const LocalJobRunCreateRequestSchema: z.ZodObject<{
     job_type: z.ZodEnum<{
-        "method-authoring": "method-authoring";
-        "method-improvement": "method-improvement";
+        "build-plan-improvement": "build-plan-improvement";
         "readiness-check-draft": "readiness-check-draft";
+        "build-plan-draft": "build-plan-draft";
     }>;
     title: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     agent: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -1445,7 +2177,7 @@ export declare const PreparationSetupCreateRequestSchema: z.ZodObject<{
         name: z.ZodString;
         path: z.ZodString;
         about: z.ZodOptional<z.ZodString>;
-        method: z.ZodOptional<z.ZodString>;
+        build_plan: z.ZodOptional<z.ZodString>;
         max_attempts: z.ZodOptional<z.ZodNumber>;
         max_loops: z.ZodOptional<z.ZodNumber>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -1461,11 +2193,61 @@ export declare const PreparationSetupCreateRequestSchema: z.ZodObject<{
             }, z.core.$strip>>;
             strictness: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
+        requested_artifacts: z.ZodOptional<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            purpose: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                label: z.ZodString;
+            }, z.core.$loose>]>>>;
+            output: z.ZodOptional<z.ZodObject<{
+                path: z.ZodOptional<z.ZodString>;
+                shape: z.ZodOptional<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>>>>;
+        source_profile: z.ZodOptional<z.ZodObject<{
+            summary: z.ZodOptional<z.ZodString>;
+            items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodOptional<z.ZodString>;
+                path: z.ZodOptional<z.ZodString>;
+                kind: z.ZodOptional<z.ZodString>;
+                page_count: z.ZodOptional<z.ZodNumber>;
+                note: z.ZodOptional<z.ZodString>;
+            }, z.core.$loose>>>;
+            observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$loose>>;
     }, z.core.$strict>;
-    prepare_after_setup: z.ZodDefault<z.ZodBoolean>;
+    build_after_setup: z.ZodDefault<z.ZodBoolean>;
     setup_mode: z.ZodDefault<z.ZodEnum<{
         create: "create";
-        "select-method": "select-method";
+        "select-build-plan": "select-build-plan";
     }>>;
 }, z.core.$strict>;
 export declare const PreparationSetupResultSchema: z.ZodObject<{
@@ -1473,42 +2255,42 @@ export declare const PreparationSetupResultSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     operation: z.ZodEnum<{
         create: "create";
-        "select-method": "select-method";
+        "select-build-plan": "select-build-plan";
     }>;
     preparation: z.ZodString;
-    method: z.ZodString;
+    build_plan: z.ZodNullable<z.ZodString>;
     source_folder_path: z.ZodString;
     config_path: z.ZodString;
-    portable_context_path: z.ZodString;
+    verifiable_context_path: z.ZodString;
     changed: z.ZodBoolean;
     message: z.ZodString;
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodLiteral<"compile-run">>>;
+    submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodLiteral<"build-run">>>;
 }, z.core.$strict>;
-export declare const MethodChangeCreateRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    action_type: z.ZodOptional<z.ZodLiteral<"method-change">>;
+export declare const BuildPlanChangeCreateRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    action_type: z.ZodOptional<z.ZodLiteral<"build-plan-change">>;
     operation: z.ZodLiteral<"duplicate">;
-    method: z.ZodString;
-    new_method_id: z.ZodString;
+    build_plan: z.ZodString;
+    new_build_plan_id: z.ZodString;
     label: z.ZodOptional<z.ZodString>;
     hint: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>, z.ZodObject<{
-    action_type: z.ZodOptional<z.ZodLiteral<"method-change">>;
+    action_type: z.ZodOptional<z.ZodLiteral<"build-plan-change">>;
     operation: z.ZodLiteral<"remove">;
-    method: z.ZodString;
+    build_plan: z.ZodString;
     confirmation: z.ZodString;
 }, z.core.$strict>], "operation">;
-export declare const MethodChangeResultSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"interf-method-change-result">;
+export declare const BuildPlanChangeResultSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-build-plan-change-result">;
     version: z.ZodLiteral<1>;
     operation: z.ZodEnum<{
         duplicate: "duplicate";
         remove: "remove";
     }>;
-    method: z.ZodString;
-    new_method_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodString;
+    new_build_plan_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     updated_preparations: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    method_path: z.ZodString;
+    build_plan_path: z.ZodString;
     changed: z.ZodBoolean;
     message: z.ZodString;
 }, z.core.$strict>;
@@ -1524,15 +2306,15 @@ export declare const PreparationChangeResultSchema: z.ZodObject<{
     operation: z.ZodLiteral<"remove">;
     preparation: z.ZodString;
     config_path: z.ZodString;
-    portable_context_path: z.ZodString;
-    portable_context_retained: z.ZodBoolean;
+    verifiable_context_path: z.ZodString;
+    verifiable_context_retained: z.ZodBoolean;
     changed: z.ZodBoolean;
     message: z.ZodString;
 }, z.core.$strict>;
 export declare const ResetRequestSchema: z.ZodObject<{
     preparation: z.ZodString;
     scope: z.ZodEnum<{
-        compile: "compile";
+        build: "build";
         all: "all";
     }>;
 }, z.core.$strict>;
@@ -1541,10 +2323,10 @@ export declare const ResetResultSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     preparation: z.ZodString;
     scope: z.ZodEnum<{
-        compile: "compile";
+        build: "build";
         all: "all";
     }>;
-    portable_context_path: z.ZodString;
+    verifiable_context_path: z.ZodString;
     changed: z.ZodBoolean;
     message: z.ZodString;
 }, z.core.$strict>;
@@ -1569,7 +2351,7 @@ export declare const ReadinessCheckDraftResultSchema: z.ZodObject<{
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
-export declare const MethodAuthoringArtifactRequirementSchema: z.ZodObject<{
+export declare const BuildPlanAuthoringArtifactRequirementSchema: z.ZodObject<{
     id: z.ZodString;
     description: z.ZodOptional<z.ZodString>;
     shape: z.ZodObject<{
@@ -1599,12 +2381,12 @@ export declare const MethodAuthoringArtifactRequirementSchema: z.ZodObject<{
     }, z.core.$strict>>>;
     stage_hint: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
-export declare const MethodAuthoringCreateRequestSchema: z.ZodObject<{
+export declare const BuildPlanAuthoringCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     source_folder_path: z.ZodString;
-    base_method_id: z.ZodOptional<z.ZodString>;
-    reference_method_id: z.ZodOptional<z.ZodString>;
-    method_id: z.ZodString;
+    base_build_plan_id: z.ZodOptional<z.ZodString>;
+    reference_build_plan_id: z.ZodOptional<z.ZodString>;
+    build_plan_id: z.ZodString;
     label: z.ZodString;
     hint: z.ZodString;
     task_prompt: z.ZodString;
@@ -1621,6 +2403,56 @@ export declare const MethodAuthoringCreateRequestSchema: z.ZodObject<{
         }, z.core.$strip>>;
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
+    requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        title: z.ZodString;
+        purpose: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+        }, z.core.$loose>]>>>;
+        output: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+            shape: z.ZodOptional<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>>>>;
+    source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        summary: z.ZodOptional<z.ZodString>;
+        items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            path: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+            page_count: z.ZodOptional<z.ZodNumber>;
+            note: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+        observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$loose>>>;
     artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         description: z.ZodOptional<z.ZodString>;
@@ -1652,7 +2484,7 @@ export declare const MethodAuthoringCreateRequestSchema: z.ZodObject<{
         stage_hint: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
-export declare const MethodAuthoringResultSchema: z.ZodObject<{
+export declare const BuildPlanAuthoringResultSchema: z.ZodObject<{
     status: z.ZodEnum<{
         updated: "updated";
         "no-change": "no-change";
@@ -1661,7 +2493,7 @@ export declare const MethodAuthoringResultSchema: z.ZodObject<{
     }>;
     changed: z.ZodBoolean;
     summary: z.ZodString;
-    method_path: z.ZodString;
+    build_plan_path: z.ZodString;
     shell_path: z.ZodString;
     validation: z.ZodOptional<z.ZodNullable<z.ZodUnknown>>;
 }, z.core.$strict>;
@@ -1699,9 +2531,9 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     run_id: z.ZodString;
     job_type: z.ZodEnum<{
-        "method-authoring": "method-authoring";
-        "method-improvement": "method-improvement";
+        "build-plan-improvement": "build-plan-improvement";
         "readiness-check-draft": "readiness-check-draft";
+        "build-plan-draft": "build-plan-draft";
     }>;
     status: z.ZodEnum<{
         succeeded: "succeeded";
@@ -1712,7 +2544,7 @@ export declare const LocalJobRunResourceSchema: z.ZodObject<{
     }>;
     title: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     agent: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -1782,21 +2614,13 @@ export declare const VerifyRunStatusSchema: z.ZodEnum<{
     queued: "queued";
 }>;
 /**
- * 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.
+ * Verify runs choose their judge target.
  */
 export declare const VerifyRunCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodString;
     target: z.ZodDefault<z.ZodEnum<{
+        "verifiable-context": "verifiable-context";
         "source-files": "source-files";
-        compiled: "compiled";
     }>>;
 }, z.core.$strict>;
 export declare const VerifyRunResourceSchema: z.ZodObject<{
@@ -1810,23 +2634,23 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
     }>;
     preparation: z.ZodString;
     source_path: z.ZodString;
-    portable_context_path: z.ZodNullable<z.ZodString>;
+    verifiable_context_path: z.ZodNullable<z.ZodString>;
     started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    readiness_run: z.ZodNullable<z.ZodObject<{
+    readiness_run: z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-check-run">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
         mode: z.ZodEnum<{
+            "verifiable-context": "verifiable-context";
             "source-files": "source-files";
-            compiled: "compiled";
             both: "both";
         }>;
         source_path: z.ZodString;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         preparation: z.ZodObject<{
             name: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
         }, z.core.$strip>;
         source_files: z.ZodNullable<z.ZodObject<{
             label: z.ZodString;
@@ -1838,15 +2662,15 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "verifiable-context": "verifiable-context";
                     "source-files": "source-files";
-                    compiled: "compiled";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
-                method: z.ZodString;
+                build_plan: z.ZodString;
             }, z.core.$strip>;
         }, z.core.$strip>>;
-        compiled: z.ZodNullable<z.ZodObject<{
+        verifiable_context: z.ZodNullable<z.ZodObject<{
             label: z.ZodString;
             run_path: z.ZodString;
             ok: z.ZodBoolean;
@@ -1856,20 +2680,20 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
             total_checks: z.ZodNumber;
             target: z.ZodObject<{
                 type: z.ZodEnum<{
+                    "verifiable-context": "verifiable-context";
                     "source-files": "source-files";
-                    compiled: "compiled";
                 }>;
                 name: z.ZodString;
                 path: z.ZodString;
-                method: z.ZodString;
+                build_plan: z.ZodString;
             }, z.core.$strip>;
         }, z.core.$strip>>;
         summary: z.ZodObject<{
             source_files_pass_rate: z.ZodNullable<z.ZodNumber>;
-            portable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
+            verifiable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
         }, z.core.$strip>;
-    }, z.core.$strip>>;
-    readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+    }, z.core.$strip>>>;
+    readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
@@ -1887,14 +2711,15 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        compile: z.ZodNullable<z.ZodObject<{
+        build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -1927,7 +2752,7 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
                 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<{
+            verifiable_context: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -1939,9 +2764,10 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -1962,18 +2788,17 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>>>;
+    }, z.core.$strict>>>>;
     events: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
         event_id: z.ZodString;
         run_id: z.ZodString;
         timestamp: z.ZodString;
         type: z.ZodLiteral<"run.started">;
         preparation: z.ZodString;
-        method: z.ZodString;
-        portable_context_path: z.ZodString;
+        build_plan: z.ZodOptional<z.ZodString>;
+        verifiable_context_path: z.ZodOptional<z.ZodString>;
         backend: z.ZodEnum<{
             native: "native";
-            "workflow-sdk": "workflow-sdk";
         }>;
     }, z.core.$strict>, z.ZodObject<{
         event_id: z.ZodString;
@@ -2094,8 +2919,8 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
         passed: z.ZodNumber;
         total: z.ZodNumber;
         target: z.ZodOptional<z.ZodEnum<{
+            "verifiable-context": "verifiable-context";
             "source-files": "source-files";
-            compiled: "compiled";
         }>>;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         stale: z.ZodOptional<z.ZodBoolean>;
@@ -2106,7 +2931,7 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
         timestamp: z.ZodString;
         type: z.ZodLiteral<"readiness.updated">;
         preparation: z.ZodString;
-        readiness: z.ZodObject<{
+        readiness: z.ZodPreprocess<z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-state">;
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
@@ -2124,14 +2949,15 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
             }>;
             ready: z.ZodBoolean;
             summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
+            latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
+            build: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -2164,7 +2990,7 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
                     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<{
+                verifiable_context: z.ZodNullable<z.ZodObject<{
                     passed: z.ZodNumber;
                     total: z.ZodNumber;
                     pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -2176,9 +3002,10 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -2199,7 +3026,7 @@ export declare const VerifyRunResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>>;
-        }, z.core.$strict>;
+        }, z.core.$strict>>;
     }, z.core.$strict>], "type">>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
 }, z.core.$strict>;
@@ -2208,11 +3035,11 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     run_id: z.ZodString;
     run_type: z.ZodEnum<{
-        compile: "compile";
-        "method-authoring": "method-authoring";
-        "method-improvement": "method-improvement";
+        build: "build";
+        "build-plan-improvement": "build-plan-improvement";
         verify: "verify";
         "readiness-check-draft": "readiness-check-draft";
+        "build-plan-draft": "build-plan-draft";
         job: "job";
     }>;
     title: z.ZodString;
@@ -2224,7 +3051,7 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         queued: "queued";
     }>;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -2269,7 +3096,7 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         ok: z.ZodBoolean;
         detail: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
-    readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+    readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
@@ -2287,14 +3114,15 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        compile: z.ZodNullable<z.ZodObject<{
+        build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -2327,7 +3155,7 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            portable_context: z.ZodNullable<z.ZodObject<{
+            verifiable_context: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -2339,9 +3167,10 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -2362,7 +3191,7 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>>>;
+    }, z.core.$strict>>>>;
     trace: z.ZodObject<{
         run: z.ZodObject<{
             runId: z.ZodString;
@@ -2374,7 +3203,7 @@ export declare const RunObservabilityResourceSchema: z.ZodObject<{
                 cancelled: "cancelled";
             }>;
             deploymentId: z.ZodString;
-            methodName: z.ZodString;
+            traceName: z.ZodString;
             specVersion: z.ZodLiteral<1>;
             executionContext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
             input: z.ZodUnknown;
@@ -2451,20 +3280,20 @@ export declare const LocalExecutorSelectRequestSchema: z.ZodObject<{
     agent: z.ZodString;
 }, z.core.$strict>;
 export declare const ActionProposalTypeSchema: z.ZodEnum<{
-    compile: "compile";
-    "method-authoring": "method-authoring";
-    "method-improvement": "method-improvement";
+    build: "build";
+    "build-plan-improvement": "build-plan-improvement";
     "readiness-check-draft": "readiness-check-draft";
+    "build-plan-draft": "build-plan-draft";
     test: "test";
     clarification: "clarification";
 }>;
 export declare const ActionProposalPlanActionTypeSchema: z.ZodEnum<{
-    compile: "compile";
-    "method-authoring": "method-authoring";
-    "method-improvement": "method-improvement";
+    build: "build";
+    "build-plan-improvement": "build-plan-improvement";
     "readiness-check-draft": "readiness-check-draft";
+    "build-plan-draft": "build-plan-draft";
     test: "test";
-    "method-change": "method-change";
+    "build-plan-change": "build-plan-change";
     "preparation-change": "preparation-change";
     clarification: "clarification";
     "preparation-setup": "preparation-setup";
@@ -2479,10 +3308,10 @@ export declare const ActionProposalStatusSchema: z.ZodEnum<{
 }>;
 export declare const ActionClientOriginSchema: z.ZodEnum<{
     unknown: "unknown";
-    mcp: "mcp";
     "ui-chat": "ui-chat";
     cli: "cli";
     "agent-cli": "agent-cli";
+    mcp: "mcp";
     service: "service";
 }>;
 export declare const ActionProposalCreateRequestSchema: z.ZodObject<{
@@ -2490,28 +3319,28 @@ export declare const ActionProposalCreateRequestSchema: z.ZodObject<{
     preparation: z.ZodOptional<z.ZodString>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
+        mcp: "mcp";
         service: "service";
     }>>;
     values: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.core.$strict>;
 export declare const ActionProposalPlanSchema: z.ZodObject<{
     action_type: z.ZodEnum<{
-        compile: "compile";
-        "method-authoring": "method-authoring";
-        "method-improvement": "method-improvement";
+        build: "build";
+        "build-plan-improvement": "build-plan-improvement";
         "readiness-check-draft": "readiness-check-draft";
+        "build-plan-draft": "build-plan-draft";
         test: "test";
-        "method-change": "method-change";
+        "build-plan-change": "build-plan-change";
         "preparation-change": "preparation-change";
         clarification: "clarification";
         "preparation-setup": "preparation-setup";
     }>;
     preparation: z.ZodOptional<z.ZodString>;
-    method: z.ZodOptional<z.ZodString>;
+    build_plan: z.ZodOptional<z.ZodString>;
     values: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
     title: z.ZodOptional<z.ZodString>;
     summary: z.ZodOptional<z.ZodString>;
@@ -2545,13 +3374,13 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     command_preview: z.ZodOptional<z.ZodString>;
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
+        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2568,7 +3397,7 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     }, z.core.$strict>>>;
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-        "compile-run": "compile-run";
+        "build-run": "build-run";
         "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
@@ -2593,13 +3422,13 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     command_preview: z.ZodOptional<z.ZodString>;
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
+        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2616,15 +3445,15 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     }, z.core.$strict>>>;
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-        "compile-run": "compile-run";
+        "build-run": "build-run";
         "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    action_type: z.ZodLiteral<"compile">;
+    action_type: z.ZodLiteral<"build">;
     request: z.ZodObject<{
         preparation: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
+        build_plan: z.ZodOptional<z.ZodString>;
         max_attempts: z.ZodOptional<z.ZodNumber>;
         max_loops: z.ZodOptional<z.ZodNumber>;
         preserve_stage_shells: z.ZodOptional<z.ZodEnum<{
@@ -2650,13 +3479,13 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     command_preview: z.ZodOptional<z.ZodString>;
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
+        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2673,7 +3502,7 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     }, z.core.$strict>>>;
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-        "compile-run": "compile-run";
+        "build-run": "build-run";
         "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
@@ -2682,8 +3511,8 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     request: z.ZodObject<{
         preparation: z.ZodString;
         target: z.ZodDefault<z.ZodEnum<{
+            "verifiable-context": "verifiable-context";
             "source-files": "source-files";
-            compiled: "compiled";
         }>>;
     }, z.core.$strict>;
 }, z.core.$strict>, z.ZodObject<{
@@ -2704,13 +3533,13 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     command_preview: z.ZodOptional<z.ZodString>;
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
+        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2727,7 +3556,7 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     }, z.core.$strict>>>;
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-        "compile-run": "compile-run";
+        "build-run": "build-run";
         "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
@@ -2757,13 +3586,13 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     command_preview: z.ZodOptional<z.ZodString>;
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
+        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2780,18 +3609,18 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     }, z.core.$strict>>>;
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-        "compile-run": "compile-run";
+        "build-run": "build-run";
         "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    action_type: z.ZodLiteral<"method-authoring">;
+    action_type: z.ZodLiteral<"build-plan-draft">;
     request: z.ZodObject<{
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         source_folder_path: z.ZodString;
-        base_method_id: z.ZodOptional<z.ZodString>;
-        reference_method_id: z.ZodOptional<z.ZodString>;
-        method_id: z.ZodString;
+        base_build_plan_id: z.ZodOptional<z.ZodString>;
+        reference_build_plan_id: z.ZodOptional<z.ZodString>;
+        build_plan_id: z.ZodString;
         label: z.ZodString;
         hint: z.ZodString;
         task_prompt: z.ZodString;
@@ -2808,6 +3637,56 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
             }, z.core.$strip>>;
             strictness: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
+        requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            purpose: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                label: z.ZodString;
+            }, z.core.$loose>]>>>;
+            output: z.ZodOptional<z.ZodObject<{
+                path: z.ZodOptional<z.ZodString>;
+                shape: z.ZodOptional<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>>>>;
+        source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            summary: z.ZodOptional<z.ZodString>;
+            items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodOptional<z.ZodString>;
+                path: z.ZodOptional<z.ZodString>;
+                kind: z.ZodOptional<z.ZodString>;
+                page_count: z.ZodOptional<z.ZodNumber>;
+                note: z.ZodOptional<z.ZodString>;
+            }, z.core.$loose>>>;
+            observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$loose>>>;
         artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
             id: z.ZodString;
             description: z.ZodOptional<z.ZodString>;
@@ -2857,13 +3736,13 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     command_preview: z.ZodOptional<z.ZodString>;
     message: z.ZodString;
     preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     client_origin: z.ZodDefault<z.ZodEnum<{
         unknown: "unknown";
-        mcp: "mcp";
         "ui-chat": "ui-chat";
         cli: "cli";
         "agent-cli": "agent-cli";
+        mcp: "mcp";
         service: "service";
     }>>;
     created_at: z.ZodString;
@@ -2880,18 +3759,18 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
     }, z.core.$strict>>>;
     submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-        "compile-run": "compile-run";
+        "build-run": "build-run";
         "verify-run": "verify-run";
         "job-run": "job-run";
     }>>>;
     error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    action_type: z.ZodLiteral<"method-improvement">;
+    action_type: z.ZodLiteral<"build-plan-improvement">;
     request: z.ZodObject<{
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         source_folder_path: z.ZodString;
-        base_method_id: z.ZodOptional<z.ZodString>;
-        reference_method_id: z.ZodOptional<z.ZodString>;
-        method_id: z.ZodString;
+        base_build_plan_id: z.ZodOptional<z.ZodString>;
+        reference_build_plan_id: z.ZodOptional<z.ZodString>;
+        build_plan_id: z.ZodString;
         label: z.ZodString;
         hint: z.ZodString;
         task_prompt: z.ZodString;
@@ -2908,6 +3787,56 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
             }, z.core.$strip>>;
             strictness: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
+        requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            purpose: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                label: z.ZodString;
+            }, z.core.$loose>]>>>;
+            output: z.ZodOptional<z.ZodObject<{
+                path: z.ZodOptional<z.ZodString>;
+                shape: z.ZodOptional<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>>>>;
+        source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            summary: z.ZodOptional<z.ZodString>;
+            items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodOptional<z.ZodString>;
+                path: z.ZodOptional<z.ZodString>;
+                kind: z.ZodOptional<z.ZodString>;
+                page_count: z.ZodOptional<z.ZodNumber>;
+                note: z.ZodOptional<z.ZodString>;
+            }, z.core.$loose>>>;
+            observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$loose>>>;
         artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
             id: z.ZodString;
             description: z.ZodOptional<z.ZodString>;
@@ -2940,11 +3869,11 @@ export declare const ActionProposalResourceSchema: z.ZodDiscriminatedUnion<[z.Zo
         }, z.core.$strict>>>;
     }, z.core.$strict>;
 }, z.core.$strict>], "action_type">;
-export declare const PortableContextResourceSchema: z.ZodObject<{
+export declare const VerifiableContextResourceSchema: z.ZodObject<{
     preparation: z.ZodString;
     path: z.ZodString;
     exists: z.ZodBoolean;
-    readiness: z.ZodObject<{
+    readiness: z.ZodPreprocess<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
@@ -2962,14 +3891,15 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        compile: z.ZodNullable<z.ZodObject<{
+        build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -3002,7 +3932,7 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            portable_context: z.ZodNullable<z.ZodObject<{
+            verifiable_context: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -3014,9 +3944,10 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -3037,9 +3968,9 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>;
-    method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
         path: z.ZodString;
@@ -3055,7 +3986,7 @@ export declare const PortableContextResourceSchema: z.ZodObject<{
         sha256: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
-export declare const ReadinessResourceSchema: z.ZodObject<{
+export declare const ReadinessResourceSchema: z.ZodPreprocess<z.ZodObject<{
     kind: z.ZodLiteral<"interf-readiness-state">;
     version: z.ZodLiteral<1>;
     generated_at: z.ZodString;
@@ -3073,14 +4004,15 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
     }>;
     ready: z.ZodBoolean;
     summary: z.ZodString;
-    portable_context_path: z.ZodNullable<z.ZodString>;
-    latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    verifiable_context_path: z.ZodNullable<z.ZodString>;
+    latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    compile: z.ZodNullable<z.ZodObject<{
+    build: z.ZodNullable<z.ZodObject<{
         gate: z.ZodEnum<{
-            "portable-context": "portable-context";
+            "verifiable-context": "verifiable-context";
             "preparation-config": "preparation-config";
-            "compile-run": "compile-run";
+            "build-run": "build-run";
+            "artifact-checks": "artifact-checks";
             "readiness-checks": "readiness-checks";
             "checks-current": "checks-current";
         }>;
@@ -3113,7 +4045,7 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>;
-        portable_context: z.ZodNullable<z.ZodObject<{
+        verifiable_context: z.ZodNullable<z.ZodObject<{
             passed: z.ZodNumber;
             total: z.ZodNumber;
             pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -3125,9 +4057,10 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
     }, z.core.$strict>;
     checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
         gate: z.ZodEnum<{
-            "portable-context": "portable-context";
+            "verifiable-context": "verifiable-context";
             "preparation-config": "preparation-config";
-            "compile-run": "compile-run";
+            "build-run": "build-run";
+            "artifact-checks": "artifact-checks";
             "readiness-checks": "readiness-checks";
             "checks-current": "checks-current";
         }>;
@@ -3148,7 +4081,7 @@ export declare const ReadinessResourceSchema: z.ZodObject<{
         run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     }, z.core.$strict>>>;
-}, z.core.$strict>;
+}, z.core.$strict>>;
 export declare const SourceFileResourceSchema: z.ZodObject<{
     preparation: z.ZodString;
     path: z.ZodString;
@@ -3157,37 +4090,30 @@ export declare const SourceFileResourceSchema: z.ZodObject<{
     modified_at: z.ZodNullable<z.ZodString>;
     source_folder_path: z.ZodString;
 }, z.core.$strict>;
-export declare const WorkspaceFileResourceSchema: z.ZodObject<{
-    path: z.ZodString;
-    absolute_path: z.ZodString;
-    size_bytes: z.ZodNumber;
-    modified_at: z.ZodNullable<z.ZodString>;
-}, z.core.$strict>;
 export declare const LocalServiceDiscoverySchema: z.ZodObject<{
     kind: z.ZodLiteral<"interf-local-service-discovery">;
     version: z.ZodLiteral<1>;
     resources: z.ZodObject<{
+        instance: z.ZodString;
         preparations: z.ZodString;
-        methods: z.ZodString;
+        build_plans: z.ZodString;
+        build_runs: z.ZodString;
         runs: z.ZodString;
-        readiness: z.ZodString;
-        portable_contexts: z.ZodString;
-        source_files: z.ZodString;
-        workspace_files: z.ZodString;
         action_proposals: z.ZodString;
-        preparation_setups: z.ZodString;
-        preparation_changes: z.ZodString;
-        method_changes: z.ZodString;
-        workspace_bootstraps: z.ZodOptional<z.ZodString>;
-        readiness_check_drafts: z.ZodString;
-        method_authoring_runs: z.ZodString;
-        method_improvement_runs: z.ZodString;
-        compile_runs: z.ZodString;
-        verify_runs: z.ZodString;
-        reset: z.ZodString;
         executor: z.ZodString;
+        open_path: z.ZodString;
         agents: z.ZodOptional<z.ZodString>;
-        workspaces: z.ZodOptional<z.ZodString>;
+        readiness: z.ZodOptional<z.ZodString>;
+        verifiable_contexts: z.ZodOptional<z.ZodString>;
+        source_files: z.ZodOptional<z.ZodString>;
+        preparation_setups: z.ZodOptional<z.ZodString>;
+        preparation_changes: z.ZodOptional<z.ZodString>;
+        build_plan_changes: z.ZodOptional<z.ZodString>;
+        readiness_check_drafts: z.ZodOptional<z.ZodString>;
+        build_plan_draft_runs: z.ZodOptional<z.ZodString>;
+        build_plan_improvement_runs: z.ZodOptional<z.ZodString>;
+        verify_runs: z.ZodOptional<z.ZodString>;
+        reset: z.ZodOptional<z.ZodString>;
         status: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>;
 }, z.core.$strict>;
@@ -3208,10 +4134,10 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
             }>;
             locator: z.ZodString;
         }, z.core.$strict>;
-        method_id: z.ZodNullable<z.ZodString>;
+        build_plan_id: z.ZodNullable<z.ZodString>;
         about: z.ZodNullable<z.ZodString>;
         config_path: z.ZodString;
-        portable_context: z.ZodObject<{
+        verifiable_context: z.ZodObject<{
             kind: z.ZodEnum<{
                 "local-path": "local-path";
                 "remote-url": "remote-url";
@@ -3232,15 +4158,76 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
             }, z.core.$strip>>;
             strictness: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
+        requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            purpose: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                label: z.ZodString;
+            }, z.core.$loose>]>>>;
+            output: z.ZodOptional<z.ZodObject<{
+                path: z.ZodOptional<z.ZodString>;
+                shape: z.ZodOptional<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>>>>;
+        source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            summary: z.ZodOptional<z.ZodString>;
+            items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodOptional<z.ZodString>;
+                path: z.ZodOptional<z.ZodString>;
+                kind: z.ZodOptional<z.ZodString>;
+                page_count: z.ZodOptional<z.ZodNumber>;
+                note: z.ZodOptional<z.ZodString>;
+            }, z.core.$loose>>>;
+            observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$loose>>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
-export declare const MethodListResponseSchema: z.ZodObject<{
-    methods: z.ZodArray<z.ZodObject<{
+export declare const BuildPlanListResponseSchema: z.ZodObject<{
+    build_plans: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
-        method_id: z.ZodString;
+        build_plan_id: z.ZodString;
         path: z.ZodString;
         label: z.ZodOptional<z.ZodString>;
         hint: z.ZodOptional<z.ZodString>;
+        purpose: z.ZodOptional<z.ZodObject<{
+            label: z.ZodString;
+            task_hint: z.ZodString;
+        }, z.core.$strict>>;
+        inputs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+            description: z.ZodString;
+            required: z.ZodDefault<z.ZodBoolean>;
+            examples: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>>;
         source_kind: z.ZodDefault<z.ZodEnum<{
             builtin: "builtin";
             local: "local";
@@ -3289,10 +4276,10 @@ export declare const MethodListResponseSchema: z.ZodObject<{
         }, z.core.$strict>>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
-export declare const CompileRunListResponseSchema: z.ZodObject<{
-    compile_runs: z.ZodArray<z.ZodObject<{
+export declare const BuildRunListResponseSchema: z.ZodObject<{
+    build_runs: z.ZodArray<z.ZodObject<{
         run: z.ZodObject<{
-            kind: z.ZodLiteral<"interf-compile-run">;
+            kind: z.ZodLiteral<"interf-build-run">;
             version: z.ZodLiteral<1>;
             run_id: z.ZodString;
             status: z.ZodEnum<{
@@ -3303,13 +4290,10 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 queued: "queued";
             }>;
             preparation: z.ZodString;
-            method: z.ZodString;
-            backend: z.ZodEnum<{
-                native: "native";
-                "workflow-sdk": "workflow-sdk";
-            }>;
+            build_plan: z.ZodString;
+            backend: z.ZodString;
             source_path: z.ZodString;
-            portable_context_path: z.ZodString;
+            verifiable_context_path: z.ZodString;
             created_at: z.ZodString;
             started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -3403,11 +4387,10 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 timestamp: z.ZodString;
                 type: z.ZodLiteral<"run.started">;
                 preparation: z.ZodString;
-                method: z.ZodString;
-                portable_context_path: z.ZodString;
+                build_plan: z.ZodOptional<z.ZodString>;
+                verifiable_context_path: z.ZodOptional<z.ZodString>;
                 backend: z.ZodEnum<{
                     native: "native";
-                    "workflow-sdk": "workflow-sdk";
                 }>;
             }, z.core.$strict>, z.ZodObject<{
                 event_id: z.ZodString;
@@ -3528,8 +4511,8 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 target: z.ZodOptional<z.ZodEnum<{
+                    "verifiable-context": "verifiable-context";
                     "source-files": "source-files";
-                    compiled: "compiled";
                 }>>;
                 checks_fingerprint: z.ZodOptional<z.ZodString>;
                 stale: z.ZodOptional<z.ZodBoolean>;
@@ -3540,7 +4523,7 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 timestamp: z.ZodString;
                 type: z.ZodLiteral<"readiness.updated">;
                 preparation: z.ZodString;
-                readiness: z.ZodObject<{
+                readiness: z.ZodPreprocess<z.ZodObject<{
                     kind: z.ZodLiteral<"interf-readiness-state">;
                     version: z.ZodLiteral<1>;
                     generated_at: z.ZodString;
@@ -3558,14 +4541,15 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     }>;
                     ready: z.ZodBoolean;
                     summary: z.ZodString;
-                    portable_context_path: z.ZodNullable<z.ZodString>;
-                    latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                    verifiable_context_path: z.ZodNullable<z.ZodString>;
+                    latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                    compile: z.ZodNullable<z.ZodObject<{
+                    build: z.ZodNullable<z.ZodObject<{
                         gate: z.ZodEnum<{
-                            "portable-context": "portable-context";
+                            "verifiable-context": "verifiable-context";
                             "preparation-config": "preparation-config";
-                            "compile-run": "compile-run";
+                            "build-run": "build-run";
+                            "artifact-checks": "artifact-checks";
                             "readiness-checks": "readiness-checks";
                             "checks-current": "checks-current";
                         }>;
@@ -3598,7 +4582,7 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                             run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         }, z.core.$strict>>;
-                        portable_context: z.ZodNullable<z.ZodObject<{
+                        verifiable_context: z.ZodNullable<z.ZodObject<{
                             passed: z.ZodNumber;
                             total: z.ZodNumber;
                             pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -3610,9 +4594,10 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     }, z.core.$strict>;
                     checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                         gate: z.ZodEnum<{
-                            "portable-context": "portable-context";
+                            "verifiable-context": "verifiable-context";
                             "preparation-config": "preparation-config";
-                            "compile-run": "compile-run";
+                            "build-run": "build-run";
+                            "artifact-checks": "artifact-checks";
                             "readiness-checks": "readiness-checks";
                             "checks-current": "checks-current";
                         }>;
@@ -3633,7 +4618,7 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                         run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     }, z.core.$strict>>>;
-                }, z.core.$strict>;
+                }, z.core.$strict>>;
             }, z.core.$strict>], "type">>>;
             latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
                 id: z.ZodString;
@@ -3662,7 +4647,7 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>>;
             }, z.core.$strict>>>;
-            readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
                 kind: z.ZodLiteral<"interf-readiness-state">;
                 version: z.ZodLiteral<1>;
                 generated_at: z.ZodString;
@@ -3680,14 +4665,15 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 }>;
                 ready: z.ZodBoolean;
                 summary: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-                latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                verifiable_context_path: z.ZodNullable<z.ZodString>;
+                latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                compile: z.ZodNullable<z.ZodObject<{
+                build: z.ZodNullable<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "portable-context": "portable-context";
+                        "verifiable-context": "verifiable-context";
                         "preparation-config": "preparation-config";
-                        "compile-run": "compile-run";
+                        "build-run": "build-run";
+                        "artifact-checks": "artifact-checks";
                         "readiness-checks": "readiness-checks";
                         "checks-current": "checks-current";
                     }>;
@@ -3720,7 +4706,7 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                         run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                         run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     }, z.core.$strict>>;
-                    portable_context: z.ZodNullable<z.ZodObject<{
+                    verifiable_context: z.ZodNullable<z.ZodObject<{
                         passed: z.ZodNumber;
                         total: z.ZodNumber;
                         pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -3732,9 +4718,10 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "portable-context": "portable-context";
+                        "verifiable-context": "verifiable-context";
                         "preparation-config": "preparation-config";
-                        "compile-run": "compile-run";
+                        "build-run": "build-run";
+                        "artifact-checks": "artifact-checks";
                         "readiness-checks": "readiness-checks";
                         "checks-current": "checks-current";
                     }>;
@@ -3755,7 +4742,7 @@ export declare const CompileRunListResponseSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>>;
-            }, z.core.$strict>>>;
+            }, z.core.$strict>>>>;
             artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 artifact_id: z.ZodString;
                 status: z.ZodEnum<{
@@ -3795,9 +4782,9 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         run_id: z.ZodString;
         job_type: z.ZodEnum<{
-            "method-authoring": "method-authoring";
-            "method-improvement": "method-improvement";
+            "build-plan-improvement": "build-plan-improvement";
             "readiness-check-draft": "readiness-check-draft";
+            "build-plan-draft": "build-plan-draft";
         }>;
         status: z.ZodEnum<{
             succeeded: "succeeded";
@@ -3808,7 +4795,7 @@ export declare const LocalJobRunListResponseSchema: z.ZodObject<{
         }>;
         title: z.ZodString;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         agent: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -3883,23 +4870,23 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
         }>;
         preparation: z.ZodString;
         source_path: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
+        verifiable_context_path: z.ZodNullable<z.ZodString>;
         started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        readiness_run: z.ZodNullable<z.ZodObject<{
+        readiness_run: z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-check-run">;
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
             mode: z.ZodEnum<{
+                "verifiable-context": "verifiable-context";
                 "source-files": "source-files";
-                compiled: "compiled";
                 both: "both";
             }>;
             source_path: z.ZodString;
             checks_fingerprint: z.ZodOptional<z.ZodString>;
             preparation: z.ZodObject<{
                 name: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
+                verifiable_context_path: z.ZodNullable<z.ZodString>;
             }, z.core.$strip>;
             source_files: z.ZodNullable<z.ZodObject<{
                 label: z.ZodString;
@@ -3911,15 +4898,15 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
                 total_checks: z.ZodNumber;
                 target: z.ZodObject<{
                     type: z.ZodEnum<{
+                        "verifiable-context": "verifiable-context";
                         "source-files": "source-files";
-                        compiled: "compiled";
                     }>;
                     name: z.ZodString;
                     path: z.ZodString;
-                    method: z.ZodString;
+                    build_plan: z.ZodString;
                 }, z.core.$strip>;
             }, z.core.$strip>>;
-            compiled: z.ZodNullable<z.ZodObject<{
+            verifiable_context: z.ZodNullable<z.ZodObject<{
                 label: z.ZodString;
                 run_path: z.ZodString;
                 ok: z.ZodBoolean;
@@ -3929,20 +4916,20 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
                 total_checks: z.ZodNumber;
                 target: z.ZodObject<{
                     type: z.ZodEnum<{
+                        "verifiable-context": "verifiable-context";
                         "source-files": "source-files";
-                        compiled: "compiled";
                     }>;
                     name: z.ZodString;
                     path: z.ZodString;
-                    method: z.ZodString;
+                    build_plan: z.ZodString;
                 }, z.core.$strip>;
             }, z.core.$strip>>;
             summary: z.ZodObject<{
                 source_files_pass_rate: z.ZodNullable<z.ZodNumber>;
-                portable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
+                verifiable_context_pass_rate: z.ZodNullable<z.ZodNumber>;
             }, z.core.$strip>;
-        }, z.core.$strip>>;
-        readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        }, z.core.$strip>>>;
+        readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-state">;
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
@@ -3960,14 +4947,15 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
             }>;
             ready: z.ZodBoolean;
             summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
+            latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
+            build: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -4000,7 +4988,7 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
                     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<{
+                verifiable_context: z.ZodNullable<z.ZodObject<{
                     passed: z.ZodNumber;
                     total: z.ZodNumber;
                     pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -4012,9 +5000,10 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -4035,18 +5024,17 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>>;
-        }, z.core.$strict>>>;
+        }, z.core.$strict>>>>;
         events: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
             event_id: z.ZodString;
             run_id: z.ZodString;
             timestamp: z.ZodString;
             type: z.ZodLiteral<"run.started">;
             preparation: z.ZodString;
-            method: z.ZodString;
-            portable_context_path: z.ZodString;
+            build_plan: z.ZodOptional<z.ZodString>;
+            verifiable_context_path: z.ZodOptional<z.ZodString>;
             backend: z.ZodEnum<{
                 native: "native";
-                "workflow-sdk": "workflow-sdk";
             }>;
         }, z.core.$strict>, z.ZodObject<{
             event_id: z.ZodString;
@@ -4167,8 +5155,8 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
             passed: z.ZodNumber;
             total: z.ZodNumber;
             target: z.ZodOptional<z.ZodEnum<{
+                "verifiable-context": "verifiable-context";
                 "source-files": "source-files";
-                compiled: "compiled";
             }>>;
             checks_fingerprint: z.ZodOptional<z.ZodString>;
             stale: z.ZodOptional<z.ZodBoolean>;
@@ -4179,7 +5167,7 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
             timestamp: z.ZodString;
             type: z.ZodLiteral<"readiness.updated">;
             preparation: z.ZodString;
-            readiness: z.ZodObject<{
+            readiness: z.ZodPreprocess<z.ZodObject<{
                 kind: z.ZodLiteral<"interf-readiness-state">;
                 version: z.ZodLiteral<1>;
                 generated_at: z.ZodString;
@@ -4197,14 +5185,15 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
                 }>;
                 ready: z.ZodBoolean;
                 summary: z.ZodString;
-                portable_context_path: z.ZodNullable<z.ZodString>;
-                latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                verifiable_context_path: z.ZodNullable<z.ZodString>;
+                latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                compile: z.ZodNullable<z.ZodObject<{
+                build: z.ZodNullable<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "portable-context": "portable-context";
+                        "verifiable-context": "verifiable-context";
                         "preparation-config": "preparation-config";
-                        "compile-run": "compile-run";
+                        "build-run": "build-run";
+                        "artifact-checks": "artifact-checks";
                         "readiness-checks": "readiness-checks";
                         "checks-current": "checks-current";
                     }>;
@@ -4237,7 +5226,7 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
                         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<{
+                    verifiable_context: z.ZodNullable<z.ZodObject<{
                         passed: z.ZodNumber;
                         total: z.ZodNumber;
                         pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -4249,9 +5238,10 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
                 }, z.core.$strict>;
                 checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                     gate: z.ZodEnum<{
-                        "portable-context": "portable-context";
+                        "verifiable-context": "verifiable-context";
                         "preparation-config": "preparation-config";
-                        "compile-run": "compile-run";
+                        "build-run": "build-run";
+                        "artifact-checks": "artifact-checks";
                         "readiness-checks": "readiness-checks";
                         "checks-current": "checks-current";
                     }>;
@@ -4272,7 +5262,7 @@ export declare const VerifyRunListResponseSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>>;
-            }, z.core.$strict>;
+            }, z.core.$strict>>;
         }, z.core.$strict>], "type">>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     }, z.core.$strict>>;
@@ -4283,11 +5273,11 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
         version: z.ZodLiteral<1>;
         run_id: z.ZodString;
         run_type: z.ZodEnum<{
-            compile: "compile";
-            "method-authoring": "method-authoring";
-            "method-improvement": "method-improvement";
+            build: "build";
+            "build-plan-improvement": "build-plan-improvement";
             verify: "verify";
             "readiness-check-draft": "readiness-check-draft";
+            "build-plan-draft": "build-plan-draft";
             job: "job";
         }>;
         title: z.ZodString;
@@ -4299,7 +5289,7 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             queued: "queued";
         }>;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
@@ -4344,7 +5334,7 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             ok: z.ZodBoolean;
             detail: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
-        readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-state">;
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
@@ -4362,14 +5352,15 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             }>;
             ready: z.ZodBoolean;
             summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
+            latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
+            build: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -4402,7 +5393,7 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
+                verifiable_context: z.ZodNullable<z.ZodObject<{
                     passed: z.ZodNumber;
                     total: z.ZodNumber;
                     pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -4414,9 +5405,10 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -4437,7 +5429,7 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>>;
-        }, z.core.$strict>>>;
+        }, z.core.$strict>>>>;
         trace: z.ZodObject<{
             run: z.ZodObject<{
                 runId: z.ZodString;
@@ -4449,7 +5441,7 @@ export declare const RunObservabilityListResponseSchema: z.ZodObject<{
                     cancelled: "cancelled";
                 }>;
                 deploymentId: z.ZodString;
-                methodName: z.ZodString;
+                traceName: z.ZodString;
                 specVersion: z.ZodLiteral<1>;
                 executionContext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                 input: z.ZodUnknown;
@@ -4521,13 +5513,13 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         command_preview: z.ZodOptional<z.ZodString>;
         message: z.ZodString;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
+            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -4544,7 +5536,7 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         }, z.core.$strict>>>;
         submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
+            "build-run": "build-run";
             "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
@@ -4569,13 +5561,13 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         command_preview: z.ZodOptional<z.ZodString>;
         message: z.ZodString;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
+            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -4592,15 +5584,15 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         }, z.core.$strict>>>;
         submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
+            "build-run": "build-run";
             "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"compile">;
+        action_type: z.ZodLiteral<"build">;
         request: z.ZodObject<{
             preparation: z.ZodString;
-            method: z.ZodOptional<z.ZodString>;
+            build_plan: z.ZodOptional<z.ZodString>;
             max_attempts: z.ZodOptional<z.ZodNumber>;
             max_loops: z.ZodOptional<z.ZodNumber>;
             preserve_stage_shells: z.ZodOptional<z.ZodEnum<{
@@ -4626,13 +5618,13 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         command_preview: z.ZodOptional<z.ZodString>;
         message: z.ZodString;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
+            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -4649,7 +5641,7 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         }, z.core.$strict>>>;
         submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
+            "build-run": "build-run";
             "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
@@ -4658,8 +5650,8 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         request: z.ZodObject<{
             preparation: z.ZodString;
             target: z.ZodDefault<z.ZodEnum<{
+                "verifiable-context": "verifiable-context";
                 "source-files": "source-files";
-                compiled: "compiled";
             }>>;
         }, z.core.$strict>;
     }, z.core.$strict>, z.ZodObject<{
@@ -4680,13 +5672,13 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         command_preview: z.ZodOptional<z.ZodString>;
         message: z.ZodString;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
+            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -4703,7 +5695,7 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         }, z.core.$strict>>>;
         submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
+            "build-run": "build-run";
             "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
@@ -4733,13 +5725,13 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         command_preview: z.ZodOptional<z.ZodString>;
         message: z.ZodString;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
+            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -4756,18 +5748,18 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         }, z.core.$strict>>>;
         submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
+            "build-run": "build-run";
             "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"method-authoring">;
+        action_type: z.ZodLiteral<"build-plan-draft">;
         request: z.ZodObject<{
             preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             source_folder_path: z.ZodString;
-            base_method_id: z.ZodOptional<z.ZodString>;
-            reference_method_id: z.ZodOptional<z.ZodString>;
-            method_id: z.ZodString;
+            base_build_plan_id: z.ZodOptional<z.ZodString>;
+            reference_build_plan_id: z.ZodOptional<z.ZodString>;
+            build_plan_id: z.ZodString;
             label: z.ZodString;
             hint: z.ZodString;
             task_prompt: z.ZodString;
@@ -4784,6 +5776,56 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
                 }, z.core.$strip>>;
                 strictness: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>>;
+            requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+                id: z.ZodOptional<z.ZodString>;
+                title: z.ZodString;
+                purpose: z.ZodOptional<z.ZodString>;
+                description: z.ZodOptional<z.ZodString>;
+                checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                    label: z.ZodString;
+                }, z.core.$loose>]>>>;
+                output: z.ZodOptional<z.ZodObject<{
+                    path: z.ZodOptional<z.ZodString>;
+                    shape: z.ZodOptional<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>>>>;
+            source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                summary: z.ZodOptional<z.ZodString>;
+                items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    name: z.ZodOptional<z.ZodString>;
+                    path: z.ZodOptional<z.ZodString>;
+                    kind: z.ZodOptional<z.ZodString>;
+                    page_count: z.ZodOptional<z.ZodNumber>;
+                    note: z.ZodOptional<z.ZodString>;
+                }, z.core.$loose>>>;
+                observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            }, z.core.$loose>>>;
             artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 description: z.ZodOptional<z.ZodString>;
@@ -4833,13 +5875,13 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         command_preview: z.ZodOptional<z.ZodString>;
         message: z.ZodString;
         preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         client_origin: z.ZodDefault<z.ZodEnum<{
             unknown: "unknown";
-            mcp: "mcp";
             "ui-chat": "ui-chat";
             cli: "cli";
             "agent-cli": "agent-cli";
+            mcp: "mcp";
             service: "service";
         }>>;
         created_at: z.ZodString;
@@ -4856,18 +5898,18 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         }, z.core.$strict>>>;
         submitted_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         submitted_run_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-            "compile-run": "compile-run";
+            "build-run": "build-run";
             "verify-run": "verify-run";
             "job-run": "job-run";
         }>>>;
         error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        action_type: z.ZodLiteral<"method-improvement">;
+        action_type: z.ZodLiteral<"build-plan-improvement">;
         request: z.ZodObject<{
             preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             source_folder_path: z.ZodString;
-            base_method_id: z.ZodOptional<z.ZodString>;
-            reference_method_id: z.ZodOptional<z.ZodString>;
-            method_id: z.ZodString;
+            base_build_plan_id: z.ZodOptional<z.ZodString>;
+            reference_build_plan_id: z.ZodOptional<z.ZodString>;
+            build_plan_id: z.ZodString;
             label: z.ZodString;
             hint: z.ZodString;
             task_prompt: z.ZodString;
@@ -4884,6 +5926,56 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
                 }, z.core.$strip>>;
                 strictness: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>>;
+            requested_artifacts: z.ZodDefault<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+                id: z.ZodOptional<z.ZodString>;
+                title: z.ZodString;
+                purpose: z.ZodOptional<z.ZodString>;
+                description: z.ZodOptional<z.ZodString>;
+                checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                    label: z.ZodString;
+                }, z.core.$loose>]>>>;
+                output: z.ZodOptional<z.ZodObject<{
+                    path: z.ZodOptional<z.ZodString>;
+                    shape: z.ZodOptional<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>>>>;
+            source_profile: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                summary: z.ZodOptional<z.ZodString>;
+                items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    name: z.ZodOptional<z.ZodString>;
+                    path: z.ZodOptional<z.ZodString>;
+                    kind: z.ZodOptional<z.ZodString>;
+                    page_count: z.ZodOptional<z.ZodNumber>;
+                    note: z.ZodOptional<z.ZodString>;
+                }, z.core.$loose>>>;
+                observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            }, z.core.$loose>>>;
             artifact_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 description: z.ZodOptional<z.ZodString>;
@@ -4917,12 +6009,12 @@ export declare const ActionProposalListResponseSchema: z.ZodObject<{
         }, z.core.$strict>;
     }, z.core.$strict>], "action_type">>;
 }, z.core.$strict>;
-export declare const PortableContextListResponseSchema: z.ZodObject<{
-    portable_contexts: z.ZodArray<z.ZodObject<{
+export declare const VerifiableContextListResponseSchema: z.ZodObject<{
+    verifiable_contexts: z.ZodArray<z.ZodObject<{
         preparation: z.ZodString;
         path: z.ZodString;
         exists: z.ZodBoolean;
-        readiness: z.ZodObject<{
+        readiness: z.ZodPreprocess<z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-state">;
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
@@ -4940,14 +6032,15 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
             }>;
             ready: z.ZodBoolean;
             summary: z.ZodString;
-            portable_context_path: z.ZodNullable<z.ZodString>;
-            latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            verifiable_context_path: z.ZodNullable<z.ZodString>;
+            latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            compile: z.ZodNullable<z.ZodObject<{
+            build: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -4980,7 +6073,7 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                portable_context: z.ZodNullable<z.ZodObject<{
+                verifiable_context: z.ZodNullable<z.ZodObject<{
                     passed: z.ZodNumber;
                     total: z.ZodNumber;
                     pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -4992,9 +6085,10 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "portable-context": "portable-context";
+                    "verifiable-context": "verifiable-context";
                     "preparation-config": "preparation-config";
-                    "compile-run": "compile-run";
+                    "build-run": "build-run";
+                    "artifact-checks": "artifact-checks";
                     "readiness-checks": "readiness-checks";
                     "checks-current": "checks-current";
                 }>;
@@ -5015,9 +6109,9 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>>;
-        }, z.core.$strict>;
-        method: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        }, z.core.$strict>>;
+        build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
@@ -5035,7 +6129,7 @@ export declare const PortableContextListResponseSchema: z.ZodObject<{
     }, z.core.$strict>>;
 }, z.core.$strict>;
 export declare const ReadinessListResponseSchema: z.ZodObject<{
-    readiness: z.ZodArray<z.ZodObject<{
+    readiness: z.ZodArray<z.ZodPreprocess<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
@@ -5053,14 +6147,15 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        portable_context_path: z.ZodNullable<z.ZodString>;
-        latest_compile_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        compile: z.ZodNullable<z.ZodObject<{
+        build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -5093,7 +6188,7 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            portable_context: z.ZodNullable<z.ZodObject<{
+            verifiable_context: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -5105,9 +6200,10 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "portable-context": "portable-context";
+                "verifiable-context": "verifiable-context";
                 "preparation-config": "preparation-config";
-                "compile-run": "compile-run";
+                "build-run": "build-run";
+                "artifact-checks": "artifact-checks";
                 "readiness-checks": "readiness-checks";
                 "checks-current": "checks-current";
             }>;
@@ -5128,7 +6224,7 @@ export declare const ReadinessListResponseSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>>;
+    }, z.core.$strict>>>;
 }, z.core.$strict>;
 export declare const SourceFileListResponseSchema: z.ZodObject<{
     source_files: z.ZodArray<z.ZodObject<{
@@ -5140,28 +6236,18 @@ export declare const SourceFileListResponseSchema: z.ZodObject<{
         source_folder_path: z.ZodString;
     }, z.core.$strict>>;
 }, z.core.$strict>;
-export declare const WorkspaceFileListResponseSchema: z.ZodObject<{
-    workspace_files: z.ZodArray<z.ZodObject<{
-        path: z.ZodString;
-        absolute_path: z.ZodString;
-        size_bytes: z.ZodNumber;
-        modified_at: z.ZodNullable<z.ZodString>;
-    }, z.core.$strict>>;
-}, z.core.$strict>;
 export type LocalServiceConfig = z.infer<typeof LocalServiceConfigSchema>;
 export type LocalServiceError = z.infer<typeof LocalServiceErrorSchema>;
 export type LocalServiceHealth = z.infer<typeof LocalServiceHealthSchema>;
-export type LocalServicePointer = z.infer<typeof LocalServicePointerSchema>;
 export type LocalServiceAuthToken = z.infer<typeof LocalServiceAuthTokenSchema>;
-export type PortableContextMapping = z.infer<typeof PortableContextMappingSchema>;
+export type VerifiableContextMapping = z.infer<typeof VerifiableContextMappingSchema>;
 export type PreparationRunLinkage = z.infer<typeof PreparationRunLinkageSchema>;
 export type PreparationResource = z.infer<typeof PreparationResourceSchema>;
-export type MethodResource = z.infer<typeof MethodResourceSchema>;
+export type BuildPlanResource = z.infer<typeof BuildPlanResourceSchema>;
 export type SourceFileResource = z.infer<typeof SourceFileResourceSchema>;
-export type WorkspaceFileResource = z.infer<typeof WorkspaceFileResourceSchema>;
-export type CompileRunCreateRequest = z.infer<typeof CompileRunCreateRequestSchema>;
-export type CompileRunSummary = z.infer<typeof CompileRunSummarySchema>;
-export type CompileRunResource = z.infer<typeof CompileRunResourceSchema>;
+export type BuildRunCreateRequest = z.infer<typeof BuildRunCreateRequestSchema>;
+export type BuildRunSummary = z.infer<typeof BuildRunSummarySchema>;
+export type BuildRunResource = z.infer<typeof BuildRunResourceSchema>;
 export type LocalJobType = z.infer<typeof LocalJobTypeSchema>;
 export type LocalJobStatus = z.infer<typeof LocalJobStatusSchema>;
 export type LocalRunHandlerResult = z.infer<typeof LocalRunHandlerResultSchema>;
@@ -5172,17 +6258,17 @@ 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 MethodChangeCreateRequest = z.infer<typeof MethodChangeCreateRequestSchema>;
-export type MethodChangeResult = z.infer<typeof MethodChangeResultSchema>;
+export type BuildPlanChangeCreateRequest = z.infer<typeof BuildPlanChangeCreateRequestSchema>;
+export type BuildPlanChangeResult = z.infer<typeof BuildPlanChangeResultSchema>;
 export type PreparationChangeCreateRequest = z.infer<typeof PreparationChangeCreateRequestSchema>;
 export type PreparationChangeResult = z.infer<typeof PreparationChangeResultSchema>;
 export type ResetRequest = z.infer<typeof ResetRequestSchema>;
 export type ResetResult = z.infer<typeof ResetResultSchema>;
 export type ReadinessCheckDraftCreateRequest = z.infer<typeof ReadinessCheckDraftCreateRequestSchema>;
 export type ReadinessCheckDraftResult = z.infer<typeof ReadinessCheckDraftResultSchema>;
-export type MethodAuthoringArtifactRequirement = z.infer<typeof MethodAuthoringArtifactRequirementSchema>;
-export type MethodAuthoringCreateRequest = z.infer<typeof MethodAuthoringCreateRequestSchema>;
-export type MethodAuthoringResult = z.infer<typeof MethodAuthoringResultSchema>;
+export type BuildPlanAuthoringArtifactRequirement = z.infer<typeof BuildPlanAuthoringArtifactRequirementSchema>;
+export type BuildPlanAuthoringCreateRequest = z.infer<typeof BuildPlanAuthoringCreateRequestSchema>;
+export type BuildPlanAuthoringResult = z.infer<typeof BuildPlanAuthoringResultSchema>;
 export type LocalJobEventAppendRequest = z.infer<typeof LocalJobEventAppendRequestSchema>;
 export type LocalJobRunResource = z.infer<typeof LocalJobRunResourceSchema>;
 export type VerifyRunStatus = z.infer<typeof VerifyRunStatusSchema>;
@@ -5199,22 +6285,20 @@ export type ActionProposalPlan = z.infer<typeof ActionProposalPlanSchema>;
 export type ActionProposalApprovalRequest = z.infer<typeof ActionProposalApprovalRequestSchema>;
 export type ActionProposalApproval = z.infer<typeof ActionProposalApprovalSchema>;
 export type ActionProposalResource = z.infer<typeof ActionProposalResourceSchema>;
-export type PortableContextResource = z.infer<typeof PortableContextResourceSchema>;
+export type VerifiableContextResource = z.infer<typeof VerifiableContextResourceSchema>;
 export type ReadinessResource = z.infer<typeof ReadinessResourceSchema>;
 export type OpenPathRequest = z.infer<typeof OpenPathRequestSchema>;
 export type OpenPathResponse = z.infer<typeof OpenPathResponseSchema>;
 export type LocalServiceDiscovery = z.infer<typeof LocalServiceDiscoverySchema>;
 export type PreparationListResponse = z.infer<typeof PreparationListResponseSchema>;
-export type MethodListResponse = z.infer<typeof MethodListResponseSchema>;
-export type CompileRunListResponse = z.infer<typeof CompileRunListResponseSchema>;
+export type BuildPlanListResponse = z.infer<typeof BuildPlanListResponseSchema>;
+export type BuildRunListResponse = z.infer<typeof BuildRunListResponseSchema>;
 export type LocalJobRunListResponse = z.infer<typeof LocalJobRunListResponseSchema>;
 export type VerifyRunListResponse = z.infer<typeof VerifyRunListResponseSchema>;
 export type RunObservabilityListResponse = z.infer<typeof RunObservabilityListResponseSchema>;
 export type ActionProposalListResponse = z.infer<typeof ActionProposalListResponseSchema>;
-export type PortableContextListResponse = z.infer<typeof PortableContextListResponseSchema>;
+export type VerifiableContextListResponse = z.infer<typeof VerifiableContextListResponseSchema>;
 export type ReadinessListResponse = z.infer<typeof ReadinessListResponseSchema>;
 export type SourceFileListResponse = z.infer<typeof SourceFileListResponseSchema>;
-export type WorkspaceFileListResponse = z.infer<typeof WorkspaceFileListResponseSchema>;
-export type ServiceRegistryWorkspace = z.infer<typeof ServiceRegistryWorkspaceSchema>;
 export type ServiceRegistryEntry = z.infer<typeof ServiceRegistryEntrySchema>;
 export type ServiceRegistry = z.infer<typeof ServiceRegistrySchema>;