@interf/compiler 0.21.0 → 0.22.0

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

@@ -1,12 +1,12 @@
 import { z } from "zod";
-export declare const MethodTraceRunStatusSchema: z.ZodEnum<{
+export declare const RunTraceRunStatusSchema: z.ZodEnum<{
     failed: "failed";
     running: "running";
     pending: "pending";
     completed: "completed";
     cancelled: "cancelled";
 }>;
-export declare const MethodTraceEventTypeSchema: z.ZodEnum<{
+export declare const RunTraceEventTypeSchema: z.ZodEnum<{
     run_created: "run_created";
     run_started: "run_started";
     run_completed: "run_completed";
@@ -24,12 +24,12 @@ export declare const MethodTraceEventTypeSchema: z.ZodEnum<{
     wait_created: "wait_created";
     wait_completed: "wait_completed";
 }>;
-export declare const MethodTraceStructuredErrorSchema: z.ZodObject<{
+export declare const RunTraceStructuredErrorSchema: z.ZodObject<{
     message: z.ZodString;
     stack: z.ZodOptional<z.ZodString>;
     code: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
-export declare const MethodTraceRunSchema: z.ZodObject<{
+export declare const RunTraceRunSchema: z.ZodObject<{
     runId: z.ZodString;
     status: z.ZodEnum<{
         failed: "failed";
@@ -39,7 +39,7 @@ export declare const MethodTraceRunSchema: 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;
@@ -55,7 +55,7 @@ export declare const MethodTraceRunSchema: z.ZodObject<{
     createdAt: z.ZodString;
     updatedAt: z.ZodString;
 }, z.core.$strict>;
-export declare const MethodTraceEventSchema: z.ZodObject<{
+export declare const RunTraceEventSchema: z.ZodObject<{
     runId: z.ZodString;
     eventId: z.ZodString;
     eventType: z.ZodEnum<{
@@ -81,7 +81,7 @@ export declare const MethodTraceEventSchema: z.ZodObject<{
     createdAt: z.ZodString;
     eventData: z.ZodOptional<z.ZodUnknown>;
 }, z.core.$strict>;
-export declare const MethodTraceStreamChunkSchema: z.ZodObject<{
+export declare const RunTraceStreamChunkSchema: z.ZodObject<{
     streamId: z.ZodString;
     chunkId: z.ZodString;
     index: z.ZodNumber;
@@ -89,7 +89,7 @@ export declare const MethodTraceStreamChunkSchema: z.ZodObject<{
     text: z.ZodString;
     data: z.ZodOptional<z.ZodUnknown>;
 }, z.core.$strict>;
-export declare const MethodTraceSchema: z.ZodObject<{
+export declare const RunTraceSchema: z.ZodObject<{
     run: z.ZodObject<{
         runId: z.ZodString;
         status: z.ZodEnum<{
@@ -100,7 +100,7 @@ export declare const MethodTraceSchema: 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;
@@ -152,11 +152,11 @@ export declare const MethodTraceSchema: z.ZodObject<{
     }, z.core.$strict>>>;
 }, z.core.$strict>;
 export declare const ObservableRunTypeSchema: 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";
 }>;
 export declare const ObservableRunStatusSchema: z.ZodEnum<{
@@ -173,9 +173,8 @@ export declare const ObservableRunMetricSchema: z.ZodObject<{
 }, z.core.$strict>;
 export declare const ExecutionBackendKindSchema: z.ZodEnum<{
     native: "native";
-    "workflow-sdk": "workflow-sdk";
 }>;
-export declare const CompileRunStatusSchema: z.ZodEnum<{
+export declare const BuildRunStatusSchema: z.ZodEnum<{
     succeeded: "succeeded";
     failed: "failed";
     running: "running";
@@ -219,11 +218,11 @@ export declare const RunObservabilitySchema: 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;
@@ -235,7 +234,7 @@ export declare const RunObservabilitySchema: 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<{
@@ -280,7 +279,7 @@ export declare const RunObservabilitySchema: 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;
@@ -298,14 +297,14 @@ export declare const RunObservabilitySchema: 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";
@@ -339,7 +338,7 @@ export declare const RunObservabilitySchema: 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>;
@@ -351,9 +350,9 @@ export declare const RunObservabilitySchema: 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";
@@ -375,7 +374,7 @@ export declare const RunObservabilitySchema: 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;
@@ -387,7 +386,7 @@ export declare const RunObservabilitySchema: 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;
@@ -485,11 +484,10 @@ export declare const RunStartedEventSchema: 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>;
 export declare const StageStartedEventSchema: z.ZodObject<{
@@ -621,8 +619,8 @@ export declare const ChecksEvaluatedEventSchema: 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>;
@@ -634,7 +632,7 @@ export declare const ReadinessUpdatedEventSchema: 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;
@@ -652,14 +650,14 @@ export declare const ReadinessUpdatedEventSchema: 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";
@@ -693,7 +691,7 @@ export declare const ReadinessUpdatedEventSchema: 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>;
@@ -705,9 +703,9 @@ export declare const ReadinessUpdatedEventSchema: 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";
@@ -729,7 +727,7 @@ export declare const ReadinessUpdatedEventSchema: 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 InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     event_id: z.ZodString;
@@ -737,11 +735,10 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[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;
@@ -862,8 +859,8 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[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>;
@@ -874,7 +871,7 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[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;
@@ -892,14 +889,14 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[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";
@@ -933,7 +930,7 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[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>;
@@ -945,9 +942,9 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[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";
@@ -969,7 +966,7 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[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">;
 export declare const StageRunSchema: z.ZodObject<{
     run_id: z.ZodString;
@@ -1055,8 +1052,8 @@ export declare const StageRunSchema: z.ZodObject<{
     }, z.core.$strict>>>;
     failure: z.ZodOptional<z.ZodNullable<z.ZodString>>;
 }, z.core.$strict>;
-export declare const CompileRunSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"interf-compile-run">;
+export declare const BuildRunSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-build-run">;
     version: z.ZodLiteral<1>;
     run_id: z.ZodString;
     status: z.ZodEnum<{
@@ -1067,13 +1064,12 @@ export declare const CompileRunSchema: z.ZodObject<{
         queued: "queued";
     }>;
     preparation: z.ZodString;
-    method: z.ZodString;
+    build_plan: z.ZodString;
     backend: z.ZodEnum<{
         native: "native";
-        "workflow-sdk": "workflow-sdk";
     }>;
     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>>;
@@ -1167,11 +1163,10 @@ export declare const CompileRunSchema: 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;
@@ -1292,8 +1287,8 @@ export declare const CompileRunSchema: 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>;
@@ -1304,7 +1299,7 @@ export declare const CompileRunSchema: 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;
@@ -1322,14 +1317,14 @@ export declare const CompileRunSchema: 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";
@@ -1363,7 +1358,7 @@ export declare const CompileRunSchema: 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>;
@@ -1375,9 +1370,9 @@ export declare const CompileRunSchema: 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";
@@ -1399,7 +1394,7 @@ export declare const CompileRunSchema: 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;
@@ -1428,7 +1423,7 @@ export declare const CompileRunSchema: 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;
@@ -1446,14 +1441,14 @@ export declare const CompileRunSchema: 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";
@@ -1487,7 +1482,7 @@ export declare const CompileRunSchema: 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>;
@@ -1499,9 +1494,9 @@ export declare const CompileRunSchema: 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";
@@ -1523,7 +1518,7 @@ export declare const CompileRunSchema: 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<{
@@ -1556,18 +1551,18 @@ export declare const CompileRunSchema: z.ZodObject<{
     }, z.core.$strict>>>;
 }, z.core.$strict>;
 export type ExecutionBackendKind = z.infer<typeof ExecutionBackendKindSchema>;
-export type MethodTraceRunStatus = z.infer<typeof MethodTraceRunStatusSchema>;
-export type MethodTraceEventType = z.infer<typeof MethodTraceEventTypeSchema>;
-export type MethodTraceStructuredError = z.infer<typeof MethodTraceStructuredErrorSchema>;
-export type MethodTraceRun = z.infer<typeof MethodTraceRunSchema>;
-export type MethodTraceEvent = z.infer<typeof MethodTraceEventSchema>;
-export type MethodTraceStreamChunk = z.infer<typeof MethodTraceStreamChunkSchema>;
-export type MethodTrace = z.infer<typeof MethodTraceSchema>;
+export type RunTraceRunStatus = z.infer<typeof RunTraceRunStatusSchema>;
+export type RunTraceEventType = z.infer<typeof RunTraceEventTypeSchema>;
+export type RunTraceStructuredError = z.infer<typeof RunTraceStructuredErrorSchema>;
+export type RunTraceRun = z.infer<typeof RunTraceRunSchema>;
+export type RunTraceEvent = z.infer<typeof RunTraceEventSchema>;
+export type RunTraceStreamChunk = z.infer<typeof RunTraceStreamChunkSchema>;
+export type RunTrace = z.infer<typeof RunTraceSchema>;
 export type ObservableRunType = z.infer<typeof ObservableRunTypeSchema>;
 export type ObservableRunStatus = z.infer<typeof ObservableRunStatusSchema>;
 export type ObservableRunMetric = z.infer<typeof ObservableRunMetricSchema>;
 export type RunObservability = z.infer<typeof RunObservabilitySchema>;
-export type CompileRunStatus = z.infer<typeof CompileRunStatusSchema>;
+export type BuildRunStatus = z.infer<typeof BuildRunStatusSchema>;
 export type StageRunStatus = z.infer<typeof StageRunStatusSchema>;
 export type ArtifactRole = z.infer<typeof ArtifactRoleSchema>;
 export type ArtifactRef = z.infer<typeof ArtifactRefSchema>;
@@ -1577,4 +1572,4 @@ export type StageRunContract = z.infer<typeof StageRunContractSchema>;
 export type StageRunLogs = z.infer<typeof StageRunLogsSchema>;
 export type InterfRunEvent = z.infer<typeof InterfRunEventSchema>;
 export type StageRun = z.infer<typeof StageRunSchema>;
-export type CompileRun = z.infer<typeof CompileRunSchema>;
+export type BuildRun = z.infer<typeof BuildRunSchema>;