@interf/compiler 0.21.0 → 0.22.0

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

@@ -55,7 +55,7 @@ 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>;
@@ -125,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>;
@@ -191,13 +191,14 @@ export declare const PreparationUpdateRequestSchema: z.ZodObject<{
         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>;
@@ -214,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";
@@ -294,8 +295,8 @@ 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>;
 /**
@@ -318,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">;
@@ -363,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>;
@@ -377,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<{
@@ -406,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<{
@@ -474,7 +446,7 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         }, 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;
@@ -538,16 +510,16 @@ export declare const PreparationResourceSchema: z.ZodObject<{
         observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
         limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
     }, z.core.$loose>>>;
-    portable_context: z.ZodObject<{
+    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;
@@ -565,14 +537,14 @@ 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";
@@ -606,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>;
@@ -618,9 +590,9 @@ 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";
@@ -642,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;
@@ -680,9 +652,9 @@ 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>;
@@ -744,17 +716,300 @@ 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<{
-    preparation: z.ZodString;
-    method: z.ZodOptional<z.ZodString>;
-    max_attempts: z.ZodOptional<z.ZodNumber>;
-    max_loops: z.ZodOptional<z.ZodNumber>;
-    preserve_stage_shells: z.ZodOptional<z.ZodEnum<{
-        "on-failure": "on-failure";
-        always: "always";
-    }>>;
-}, z.core.$strict>;
-export declare const CompileRunSummarySchema: z.ZodObject<{
+export declare const BuildRunCreateRequestSchema: z.ZodObject<{
+    preparation: 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<{
+        "on-failure": "on-failure";
+        always: "always";
+    }>>;
+}, z.core.$strict>;
+export declare const BuildRunSummarySchema: z.ZodObject<{
+    run_id: z.ZodString;
+    status: z.ZodEnum<{
+        succeeded: "succeeded";
+        failed: "failed";
+        running: "running";
+        cancelled: "cancelled";
+        queued: "queued";
+    }>;
+    preparation: 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<{
+        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>>>;
+}, z.core.$strict>;
+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";
@@ -764,21 +1019,107 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
         queued: "queued";
     }>;
     preparation: z.ZodString;
-    method: z.ZodString;
-    portable_context_path: 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>>;
-    latest_event: z.ZodOptional<z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
+    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;
-        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;
@@ -899,8 +1240,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>;
@@ -911,7 +1252,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;
@@ -929,14 +1270,14 @@ 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";
@@ -970,7 +1311,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>;
@@ -982,9 +1323,9 @@ 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";
@@ -1006,7 +1347,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;
@@ -1035,10 +1376,136 @@ export declare const CompileRunSummarySchema: z.ZodObject<{
             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 CompileRunResourceSchema: z.ZodObject<{
+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<{
@@ -1049,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>>;
@@ -1149,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;
@@ -1274,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>;
@@ -1286,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;
@@ -1304,14 +1767,14 @@ 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";
@@ -1345,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>;
@@ -1357,9 +1820,9 @@ 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";
@@ -1381,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;
@@ -1410,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;
@@ -1428,14 +1891,14 @@ 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";
@@ -1469,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>;
@@ -1481,9 +1944,9 @@ 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";
@@ -1505,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<{
@@ -1539,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";
@@ -1560,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;
@@ -1585,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;
@@ -1603,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;
@@ -1688,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<{
@@ -1714,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<{
@@ -1781,10 +2244,10 @@ export declare const PreparationSetupCreateRequestSchema: z.ZodObject<{
             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<{
@@ -1792,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.ZodNullable<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>;
@@ -1843,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>;
@@ -1860,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>;
@@ -1888,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<{
@@ -1918,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;
@@ -2021,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";
@@ -2030,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>;
@@ -2068,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";
@@ -2081,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<{
@@ -2151,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 readiness-check UI 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<{
@@ -2179,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;
@@ -2207,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;
@@ -2225,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;
@@ -2256,14 +2711,14 @@ 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";
@@ -2297,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>;
@@ -2309,9 +2764,9 @@ 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";
@@ -2333,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;
@@ -2465,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>;
@@ -2477,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;
@@ -2495,14 +2949,14 @@ 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";
@@ -2536,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>;
@@ -2548,9 +3002,9 @@ 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";
@@ -2572,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>;
@@ -2581,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;
@@ -2597,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<{
@@ -2642,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;
@@ -2660,14 +3114,14 @@ 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";
@@ -2701,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>;
@@ -2713,9 +3167,9 @@ 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";
@@ -2737,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;
@@ -2749,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;
@@ -2826,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";
@@ -2875,18 +3329,18 @@ export declare const ActionProposalCreateRequestSchema: z.ZodObject<{
 }, 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>;
@@ -2920,7 +3374,7 @@ 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";
         "ui-chat": "ui-chat";
@@ -2943,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";
     }>>>;
@@ -2968,7 +3422,7 @@ 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";
         "ui-chat": "ui-chat";
@@ -2991,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<{
@@ -3025,7 +3479,7 @@ 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";
         "ui-chat": "ui-chat";
@@ -3048,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";
     }>>>;
@@ -3057,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<{
@@ -3079,7 +3533,7 @@ 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";
         "ui-chat": "ui-chat";
@@ -3102,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";
     }>>>;
@@ -3132,7 +3586,7 @@ 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";
         "ui-chat": "ui-chat";
@@ -3155,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;
@@ -3282,7 +3736,7 @@ 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";
         "ui-chat": "ui-chat";
@@ -3305,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;
@@ -3415,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;
@@ -3437,14 +3891,14 @@ 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";
@@ -3478,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>;
@@ -3490,9 +3944,9 @@ 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";
@@ -3514,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;
@@ -3532,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;
@@ -3550,14 +4004,14 @@ 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";
@@ -3591,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>;
@@ -3603,9 +4057,9 @@ 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";
@@ -3627,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;
@@ -3636,39 +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;
         action_proposals: z.ZodString;
         executor: z.ZodString;
         open_path: z.ZodString;
         agents: z.ZodOptional<z.ZodString>;
         readiness: z.ZodOptional<z.ZodString>;
-        portable_contexts: z.ZodOptional<z.ZodString>;
+        verifiable_contexts: z.ZodOptional<z.ZodString>;
         source_files: z.ZodOptional<z.ZodString>;
-        workspace_files: z.ZodOptional<z.ZodString>;
         preparation_setups: z.ZodOptional<z.ZodString>;
         preparation_changes: z.ZodOptional<z.ZodString>;
-        method_changes: z.ZodOptional<z.ZodString>;
-        workspace_bootstraps: z.ZodOptional<z.ZodString>;
+        build_plan_changes: z.ZodOptional<z.ZodString>;
         readiness_check_drafts: z.ZodOptional<z.ZodString>;
-        method_authoring_runs: z.ZodOptional<z.ZodString>;
-        method_improvement_runs: z.ZodOptional<z.ZodString>;
-        compile_runs: 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>;
-        workspaces: z.ZodOptional<z.ZodString>;
         status: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>;
 }, z.core.$strict>;
@@ -3689,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";
@@ -3765,10 +4210,10 @@ export declare const PreparationListResponseSchema: z.ZodObject<{
         }, 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>;
@@ -3831,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<{
@@ -3845,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>>;
@@ -3945,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;
@@ -4070,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>;
@@ -4082,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;
@@ -4100,14 +4541,14 @@ 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";
@@ -4141,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>;
@@ -4153,9 +4594,9 @@ 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";
@@ -4177,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;
@@ -4206,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;
@@ -4224,14 +4665,14 @@ 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";
@@ -4265,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>;
@@ -4277,9 +4718,9 @@ 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";
@@ -4301,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<{
@@ -4341,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";
@@ -4354,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<{
@@ -4429,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;
@@ -4457,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;
@@ -4475,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;
@@ -4506,14 +4947,14 @@ 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";
@@ -4547,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>;
@@ -4559,9 +5000,9 @@ 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";
@@ -4583,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;
@@ -4715,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>;
@@ -4727,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;
@@ -4745,14 +5185,14 @@ 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";
@@ -4786,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>;
@@ -4798,9 +5238,9 @@ 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";
@@ -4822,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>>;
@@ -4833,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;
@@ -4849,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<{
@@ -4894,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;
@@ -4912,14 +5352,14 @@ 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";
@@ -4953,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>;
@@ -4965,9 +5405,9 @@ 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";
@@ -4989,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;
@@ -5001,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;
@@ -5073,7 +5513,7 @@ 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";
             "ui-chat": "ui-chat";
@@ -5096,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";
         }>>>;
@@ -5121,7 +5561,7 @@ 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";
             "ui-chat": "ui-chat";
@@ -5144,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<{
@@ -5178,7 +5618,7 @@ 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";
             "ui-chat": "ui-chat";
@@ -5201,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";
         }>>>;
@@ -5210,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<{
@@ -5232,7 +5672,7 @@ 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";
             "ui-chat": "ui-chat";
@@ -5255,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";
         }>>>;
@@ -5285,7 +5725,7 @@ 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";
             "ui-chat": "ui-chat";
@@ -5308,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;
@@ -5435,7 +5875,7 @@ 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";
             "ui-chat": "ui-chat";
@@ -5458,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;
@@ -5569,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;
@@ -5592,14 +6032,14 @@ 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";
@@ -5633,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>;
@@ -5645,9 +6085,9 @@ 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";
@@ -5669,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;
@@ -5689,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;
@@ -5707,14 +6147,14 @@ 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";
@@ -5748,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>;
@@ -5760,9 +6200,9 @@ 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";
@@ -5784,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<{
@@ -5796,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>;
@@ -5828,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>;
@@ -5855,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>;