@interf/compiler 0.18.0 → 0.22.0

package/dist/packages/engine/execution/lib/schema.js

@@ -1,15 +1,15 @@
 import { z } from "zod";
-import { ArtifactStatusSchema, RuntimeExecutorInfoSchema, RuntimeStageSchema, MethodIdSchema, ReadinessSchema, PreparationNameSchema, } from "../../../contracts/lib/schema.js";
+import { ArtifactStatusSchema, RuntimeExecutorInfoSchema, RuntimeStageSchema, BuildPlanIdSchema, ReadinessSchema, PreparationNameSchema, } from "../../../contracts/lib/schema.js";
 const RunIdSchema = z.string().min(1);
 const JsonObjectSchema = z.record(z.string(), z.unknown());
-export const MethodTraceRunStatusSchema = z.enum([
+export const RunTraceRunStatusSchema = z.enum([
     "pending",
     "running",
     "completed",
     "failed",
     "cancelled",
 ]);
-export const MethodTraceEventTypeSchema = z.enum([
+export const RunTraceEventTypeSchema = z.enum([
     "run_created",
     "run_started",
     "run_completed",
@@ -27,37 +27,37 @@ export const MethodTraceEventTypeSchema = z.enum([
     "wait_created",
     "wait_completed",
 ]);
-export const MethodTraceStructuredErrorSchema = z.object({
+export const RunTraceStructuredErrorSchema = z.object({
     message: z.string().min(1),
     stack: z.string().min(1).optional(),
     code: z.string().min(1).optional(),
 }).strict();
-export const MethodTraceRunSchema = z.object({
+export const RunTraceRunSchema = z.object({
     runId: RunIdSchema,
-    status: MethodTraceRunStatusSchema,
+    status: RunTraceRunStatusSchema,
     deploymentId: z.string().min(1),
-    methodName: z.string().min(1),
+    traceName: z.string().min(1),
     specVersion: z.literal(1),
     executionContext: JsonObjectSchema.optional(),
     input: z.unknown(),
     output: z.unknown().optional(),
-    error: MethodTraceStructuredErrorSchema.optional(),
+    error: RunTraceStructuredErrorSchema.optional(),
     expiredAt: z.string().min(1).optional(),
     startedAt: z.string().min(1).optional(),
     completedAt: z.string().min(1).optional(),
     createdAt: z.string().min(1),
     updatedAt: z.string().min(1),
 }).strict();
-export const MethodTraceEventSchema = z.object({
+export const RunTraceEventSchema = z.object({
     runId: RunIdSchema,
     eventId: z.string().min(1),
-    eventType: MethodTraceEventTypeSchema,
+    eventType: RunTraceEventTypeSchema,
     correlationId: z.string().min(1).optional(),
     specVersion: z.literal(1),
     createdAt: z.string().min(1),
     eventData: z.unknown().optional(),
 }).strict();
-export const MethodTraceStreamChunkSchema = z.object({
+export const RunTraceStreamChunkSchema = z.object({
     streamId: z.string().min(1),
     chunkId: z.string().min(1),
     index: z.number().int().min(0),
@@ -65,17 +65,17 @@ export const MethodTraceStreamChunkSchema = z.object({
     text: z.string(),
     data: z.unknown().optional(),
 }).strict();
-export const MethodTraceSchema = z.object({
-    run: MethodTraceRunSchema,
-    events: z.array(MethodTraceEventSchema).default([]),
-    streams: z.array(MethodTraceStreamChunkSchema).default([]),
+export const RunTraceSchema = z.object({
+    run: RunTraceRunSchema,
+    events: z.array(RunTraceEventSchema).default([]),
+    streams: z.array(RunTraceStreamChunkSchema).default([]),
 }).strict();
 export const ObservableRunTypeSchema = z.enum([
-    "compile",
+    "build",
     "verify",
     "readiness-check-draft",
-    "method-authoring",
-    "method-improvement",
+    "build-plan-draft",
+    "build-plan-improvement",
     "job",
 ]);
 export const ObservableRunStatusSchema = z.enum([
@@ -92,9 +92,8 @@ export const ObservableRunMetricSchema = z.object({
 }).strict();
 export const ExecutionBackendKindSchema = z.enum([
     "native",
-    "workflow-sdk",
 ]);
-export const CompileRunStatusSchema = z.enum([
+export const BuildRunStatusSchema = z.enum([
     "queued",
     "running",
     "succeeded",
@@ -135,7 +134,7 @@ export const RunObservabilitySchema = z.object({
     title: z.string().min(1),
     status: ObservableRunStatusSchema,
     preparation: PreparationNameSchema.nullable().optional(),
-    method: MethodIdSchema.nullable().optional(),
+    build_plan: BuildPlanIdSchema.nullable().optional(),
     source_path: z.string().min(1).nullable().optional(),
     output_path: z.string().min(1).nullable().optional(),
     executor: RuntimeExecutorInfoSchema.nullable().optional(),
@@ -147,7 +146,7 @@ export const RunObservabilitySchema = z.object({
     artifacts: z.array(ArtifactRefSchema).default([]),
     proof: z.array(ProofCheckSchema).default([]),
     readiness: ReadinessSchema.nullable().optional(),
-    trace: MethodTraceSchema,
+    trace: RunTraceSchema,
 }).strict();
 export const ProofRecordSchema = z.object({
     id: z.string().min(1),
@@ -180,8 +179,8 @@ const RunEventBaseSchema = z.object({
 export const RunStartedEventSchema = RunEventBaseSchema.extend({
     type: z.literal("run.started"),
     preparation: PreparationNameSchema,
-    method: MethodIdSchema,
-    portable_context_path: z.string().min(1),
+    build_plan: BuildPlanIdSchema.optional(),
+    verifiable_context_path: z.string().min(1).optional(),
     backend: ExecutionBackendKindSchema,
 }).strict();
 export const StageStartedEventSchema = RunEventBaseSchema.extend({
@@ -237,7 +236,7 @@ export const ChecksEvaluatedEventSchema = RunEventBaseSchema.extend({
     type: z.literal("checks.evaluated"),
     passed: z.number().int().min(0),
     total: z.number().int().min(0),
-    target: z.enum(["source-files", "compiled"]).optional(),
+    target: z.enum(["source-files", "verifiable-context"]).optional(),
     checks_fingerprint: z.string().min(1).optional(),
     stale: z.boolean().optional(),
     test_run_id: z.string().min(1).optional(),
@@ -279,16 +278,16 @@ export const StageRunSchema = z.object({
     latest_proof: ProofRecordSchema.nullable().optional(),
     failure: z.string().nullable().optional(),
 }).strict();
-export const CompileRunSchema = z.object({
-    kind: z.literal("interf-compile-run"),
+const BuildRunRecordSchema = z.object({
+    kind: z.literal("interf-build-run"),
     version: z.literal(1),
     run_id: RunIdSchema,
-    status: CompileRunStatusSchema,
+    status: BuildRunStatusSchema,
     preparation: PreparationNameSchema,
-    method: MethodIdSchema,
+    build_plan: BuildPlanIdSchema,
     backend: ExecutionBackendKindSchema,
     source_path: z.string().min(1),
-    portable_context_path: z.string().min(1),
+    verifiable_context_path: z.string().min(1),
     created_at: z.string().min(1),
     started_at: z.string().nullable().optional(),
     finished_at: z.string().nullable().optional(),
@@ -296,8 +295,9 @@ export const CompileRunSchema = z.object({
     events: z.array(InterfRunEventSchema).default([]),
     latest_proof: ProofRecordSchema.nullable().optional(),
     readiness: ReadinessSchema.nullable().optional(),
-    // Per-Artifact status records when the Method declares an
+    // Per-Artifact status records when the Build Plan declares an
     // `artifacts[]` block. Computed
     // once the run reaches a terminal status; `not_ready` while running.
     artifacts: z.array(ArtifactStatusSchema).default([]),
 }).strict();
+export const BuildRunSchema = BuildRunRecordSchema;

package/dist/packages/engine/index.d.ts

@@ -5,16 +5,16 @@ export * as routes from "./routes.js";
 export * as client from "./client.js";
 export * as runtime from "./runtime.js";
 export * as server from "./server.js";
-export type { CompileRunCreateRequest, CompileRunResource, CompileRunSummary, LocalServiceDiscovery, PortableContextMapping, PreparationRunLinkage, PreparationResource, PreparationWireShape, MethodResource, LocalJobAgent, LocalJobEvent, LocalJobEventAppendRequest, LocalJobEventType, LocalJobRunCreateRequest, LocalJobRunResource, LocalJobStatus, LocalRunHandlerResult, LocalJobStep, LocalJobType, LocalServiceConfig, LocalServiceError, LocalServiceHealth, LocalExecutorStatus, ActionClientOrigin, ActionProposalApproval, ActionProposalApprovalRequest, ActionProposalCreateRequest, ActionProposalListResponse, ActionProposalPlan, ActionProposalPlanActionType, ActionProposalResource, ActionProposalStatus, ActionProposalType, MethodChangeResult, PreparationChangeResult, PreparationSetupResult, ResetRequest, ResetResult, PortableContextResource, ReadinessResource, SourceFileResource, ReadinessCheckDraftCreateRequest, ReadinessCheckDraftResult, VerifyRunCreateRequest, VerifyRunResource, VerifyRunStatus, RunObservabilityListResponse, RunObservabilityResource, MethodAuthoringCreateRequest, MethodAuthoringResult, PreparationListResponse, MethodListResponse, PortableContextListResponse, SourceFileListResponse, OpenPathRequest, OpenPathResponse, WorkspaceFileResource, } from "./lib/schema.js";
-export { CompileRunCreateRequestSchema, CompileRunResourceSchema, CompileRunSummarySchema, LocalServiceDiscoverySchema, PortableContextMappingSchema, PreparationRunLinkageSchema, PreparationResourceSchema, PreparationWireShapeSchema, MethodResourceSchema, LocalJobAgentSchema, LocalJobEventAppendRequestSchema, LocalJobEventSchema, LocalJobEventTypeSchema, LocalJobRunCreateRequestSchema, LocalJobRunResourceSchema, LocalJobStatusSchema, LocalRunHandlerResultSchema, LocalJobStepSchema, LocalJobTypeSchema, LocalServiceConfigSchema, LocalServiceErrorSchema, LocalServiceHealthSchema, PortableContextResourceSchema, ReadinessResourceSchema, SourceFileResourceSchema, ReadinessCheckDraftCreateRequestSchema, ReadinessCheckDraftResultSchema, VerifyRunCreateRequestSchema, VerifyRunResourceSchema, VerifyRunStatusSchema, RunObservabilityResourceSchema, RunObservabilityListResponseSchema, LocalExecutorStatusSchema, ActionClientOriginSchema, ActionProposalApprovalRequestSchema, ActionProposalApprovalSchema, ActionProposalCreateRequestSchema, ActionProposalListResponseSchema, ActionProposalPlanSchema, ActionProposalPlanActionTypeSchema, ActionProposalResourceSchema, ActionProposalStatusSchema, ActionProposalTypeSchema, ResetRequestSchema, ResetResultSchema, MethodAuthoringCreateRequestSchema, MethodAuthoringResultSchema, PreparationListResponseSchema, MethodListResponseSchema, PortableContextListResponseSchema, SourceFileListResponseSchema, OpenPathRequestSchema, OpenPathResponseSchema, } from "./lib/schema.js";
+export type { BuildRunCreateRequest, BuildRunResource, BuildRunSummary, LocalServiceDiscovery, VerifiableContextMapping, PreparationRunLinkage, PreparationResource, PreparationWireShape, BuildPlanResource, LocalJobAgent, LocalJobEvent, LocalJobEventAppendRequest, LocalJobEventType, LocalJobRunCreateRequest, LocalJobRunResource, LocalJobStatus, LocalRunHandlerResult, LocalJobStep, LocalJobType, LocalServiceConfig, LocalServiceError, LocalServiceHealth, LocalExecutorStatus, ActionClientOrigin, ActionProposalApproval, ActionProposalApprovalRequest, ActionProposalCreateRequest, ActionProposalListResponse, ActionProposalPlan, ActionProposalPlanActionType, ActionProposalResource, ActionProposalStatus, ActionProposalType, BuildPlanChangeResult, PreparationChangeResult, PreparationSetupResult, ResetRequest, ResetResult, VerifiableContextResource, ReadinessResource, SourceFileResource, ReadinessCheckDraftCreateRequest, ReadinessCheckDraftResult, VerifyRunCreateRequest, VerifyRunResource, VerifyRunStatus, RunObservabilityListResponse, RunObservabilityResource, BuildPlanAuthoringCreateRequest, BuildPlanAuthoringResult, PreparationListResponse, BuildPlanListResponse, VerifiableContextListResponse, BuildRunListResponse, SourceFileListResponse, OpenPathRequest, OpenPathResponse, } from "./lib/schema.js";
+export { BuildRunCreateRequestSchema, BuildRunResourceSchema, BuildRunSummarySchema, LocalServiceDiscoverySchema, VerifiableContextMappingSchema, PreparationRunLinkageSchema, PreparationResourceSchema, PreparationWireShapeSchema, BuildPlanResourceSchema, LocalJobAgentSchema, LocalJobEventAppendRequestSchema, LocalJobEventSchema, LocalJobEventTypeSchema, LocalJobRunCreateRequestSchema, LocalJobRunResourceSchema, LocalJobStatusSchema, LocalRunHandlerResultSchema, LocalJobStepSchema, LocalJobTypeSchema, LocalServiceConfigSchema, LocalServiceErrorSchema, LocalServiceHealthSchema, VerifiableContextResourceSchema, ReadinessResourceSchema, SourceFileResourceSchema, ReadinessCheckDraftCreateRequestSchema, ReadinessCheckDraftResultSchema, VerifyRunCreateRequestSchema, VerifyRunResourceSchema, VerifyRunStatusSchema, RunObservabilityResourceSchema, RunObservabilityListResponseSchema, LocalExecutorStatusSchema, ActionClientOriginSchema, ActionProposalApprovalRequestSchema, ActionProposalApprovalSchema, ActionProposalCreateRequestSchema, ActionProposalListResponseSchema, ActionProposalPlanSchema, ActionProposalPlanActionTypeSchema, ActionProposalResourceSchema, ActionProposalStatusSchema, ActionProposalTypeSchema, ResetRequestSchema, ResetResultSchema, BuildPlanAuthoringCreateRequestSchema, BuildPlanAuthoringResultSchema, PreparationListResponseSchema, BuildPlanListResponseSchema, VerifiableContextListResponseSchema, BuildRunListResponseSchema, SourceFileListResponseSchema, OpenPathRequestSchema, OpenPathResponseSchema, } from "./lib/schema.js";
 export { LOCAL_SERVICE_DEFAULT_HOST, LOCAL_SERVICE_DEFAULT_PORT, LOCAL_SERVICE_ROUTES, buildLocalServiceUrl, } from "./routes.js";
-export type { ServiceRegistry, ServiceRegistryEntry, ServiceRegistryWorkspace, } from "./lib/schema.js";
-export { ServiceRegistrySchema, ServiceRegistryEntrySchema, ServiceRegistryWorkspaceSchema, } from "./lib/schema.js";
+export type { ServiceRegistry, ServiceRegistryEntry, } from "./lib/schema.js";
+export { ServiceRegistrySchema, ServiceRegistryEntrySchema, } from "./lib/schema.js";
 export { readServiceRegistry, registerServiceLocally, unregisterService, writeServiceRegistry, serviceRegistryPath, } from "./service-registry.js";
 export type { LocalServiceJobSubmission, LocalServiceJobSubmitted, LocalServiceConnection, } from "./client.js";
-export type { LocalCompileRunCancelResult, } from "./client.js";
-export { approveActionProposalInLocalService, cancelLocalCompileRun, configuredLocalServiceUrl, resolveLocalServiceAuthToken, createActionProposalInLocalService, decideActionProposalInLocalService, findLocalService, getLocalJobRun, getLocalCompileRun, getLocalServiceHealth, getLocalVerifyRun, submitCompileRunToLocalService, submitReadinessCheckDraftToLocalService, submitResetToLocalService, submitVerifyRunToLocalService, submitMethodAuthoringRunToLocalService, waitForLocalJobRun, waitForLocalCompileRun, waitForLocalVerifyRun, } from "./client.js";
-export type { LocalServiceActionPlanningContext, LocalServiceCompileRunContext, LocalServiceJobRunContext, LocalServiceRunHandlers, LocalServiceRuntimeOptions, LocalServiceVerifyRunContext, PreparationContext, } from "./runtime.js";
+export type { LocalBuildRunCancelResult, } from "./client.js";
+export { approveActionProposalInLocalService, cancelLocalBuildRun, configuredLocalServiceUrl, resolveLocalServiceAuthToken, createActionProposalInLocalService, decideActionProposalInLocalService, findLocalService, getLocalJobRun, getLocalBuildRun, getLocalServiceHealth, getLocalVerifyRun, submitBuildRunToLocalService, submitReadinessCheckDraftToLocalService, submitResetToLocalService, submitVerifyRunToLocalService, submitBuildPlanAuthoringRunToLocalService, waitForLocalJobRun, waitForLocalBuildRun, waitForLocalVerifyRun, } from "./client.js";
+export type { LocalServiceActionPlanningContext, LocalServiceBuildRunContext, LocalServiceJobRunContext, LocalServiceRunHandlers, LocalServiceRuntimeOptions, LocalServiceVerifyRunContext, PreparationContext, } from "./runtime.js";
 export { LocalServiceRuntime, createLocalServiceRuntime, } from "./runtime.js";
 export type { StartedLocalService, StartLocalServiceOptions, } from "./server.js";
 export { createLocalServiceServer, createLocalServiceAuthToken, startLocalService, } from "./server.js";

package/dist/packages/engine/index.js

@@ -5,11 +5,11 @@ export * as routes from "./routes.js";
 export * as client from "./client.js";
 export * as runtime from "./runtime.js";
 export * as server from "./server.js";
-export { CompileRunCreateRequestSchema, CompileRunResourceSchema, CompileRunSummarySchema, LocalServiceDiscoverySchema, PortableContextMappingSchema, PreparationRunLinkageSchema, PreparationResourceSchema, PreparationWireShapeSchema, MethodResourceSchema, LocalJobAgentSchema, LocalJobEventAppendRequestSchema, LocalJobEventSchema, LocalJobEventTypeSchema, LocalJobRunCreateRequestSchema, LocalJobRunResourceSchema, LocalJobStatusSchema, LocalRunHandlerResultSchema, LocalJobStepSchema, LocalJobTypeSchema, LocalServiceConfigSchema, LocalServiceErrorSchema, LocalServiceHealthSchema, PortableContextResourceSchema, ReadinessResourceSchema, SourceFileResourceSchema, ReadinessCheckDraftCreateRequestSchema, ReadinessCheckDraftResultSchema, VerifyRunCreateRequestSchema, VerifyRunResourceSchema, VerifyRunStatusSchema, RunObservabilityResourceSchema, RunObservabilityListResponseSchema, LocalExecutorStatusSchema, ActionClientOriginSchema, ActionProposalApprovalRequestSchema, ActionProposalApprovalSchema, ActionProposalCreateRequestSchema, ActionProposalListResponseSchema, ActionProposalPlanSchema, ActionProposalPlanActionTypeSchema, ActionProposalResourceSchema, ActionProposalStatusSchema, ActionProposalTypeSchema, ResetRequestSchema, ResetResultSchema, MethodAuthoringCreateRequestSchema, MethodAuthoringResultSchema, PreparationListResponseSchema, MethodListResponseSchema, PortableContextListResponseSchema, SourceFileListResponseSchema, OpenPathRequestSchema, OpenPathResponseSchema, } from "./lib/schema.js";
+export { BuildRunCreateRequestSchema, BuildRunResourceSchema, BuildRunSummarySchema, LocalServiceDiscoverySchema, VerifiableContextMappingSchema, PreparationRunLinkageSchema, PreparationResourceSchema, PreparationWireShapeSchema, BuildPlanResourceSchema, LocalJobAgentSchema, LocalJobEventAppendRequestSchema, LocalJobEventSchema, LocalJobEventTypeSchema, LocalJobRunCreateRequestSchema, LocalJobRunResourceSchema, LocalJobStatusSchema, LocalRunHandlerResultSchema, LocalJobStepSchema, LocalJobTypeSchema, LocalServiceConfigSchema, LocalServiceErrorSchema, LocalServiceHealthSchema, VerifiableContextResourceSchema, ReadinessResourceSchema, SourceFileResourceSchema, ReadinessCheckDraftCreateRequestSchema, ReadinessCheckDraftResultSchema, VerifyRunCreateRequestSchema, VerifyRunResourceSchema, VerifyRunStatusSchema, RunObservabilityResourceSchema, RunObservabilityListResponseSchema, LocalExecutorStatusSchema, ActionClientOriginSchema, ActionProposalApprovalRequestSchema, ActionProposalApprovalSchema, ActionProposalCreateRequestSchema, ActionProposalListResponseSchema, ActionProposalPlanSchema, ActionProposalPlanActionTypeSchema, ActionProposalResourceSchema, ActionProposalStatusSchema, ActionProposalTypeSchema, ResetRequestSchema, ResetResultSchema, BuildPlanAuthoringCreateRequestSchema, BuildPlanAuthoringResultSchema, PreparationListResponseSchema, BuildPlanListResponseSchema, VerifiableContextListResponseSchema, BuildRunListResponseSchema, SourceFileListResponseSchema, OpenPathRequestSchema, OpenPathResponseSchema, } from "./lib/schema.js";
 export { LOCAL_SERVICE_DEFAULT_HOST, LOCAL_SERVICE_DEFAULT_PORT, LOCAL_SERVICE_ROUTES, buildLocalServiceUrl, } from "./routes.js";
-export { ServiceRegistrySchema, ServiceRegistryEntrySchema, ServiceRegistryWorkspaceSchema, } from "./lib/schema.js";
+export { ServiceRegistrySchema, ServiceRegistryEntrySchema, } from "./lib/schema.js";
 export { readServiceRegistry, registerServiceLocally, unregisterService, writeServiceRegistry, serviceRegistryPath, } from "./service-registry.js";
-export { approveActionProposalInLocalService, cancelLocalCompileRun, configuredLocalServiceUrl, resolveLocalServiceAuthToken, createActionProposalInLocalService, decideActionProposalInLocalService, findLocalService, getLocalJobRun, getLocalCompileRun, getLocalServiceHealth, getLocalVerifyRun, submitCompileRunToLocalService, submitReadinessCheckDraftToLocalService, submitResetToLocalService, submitVerifyRunToLocalService, submitMethodAuthoringRunToLocalService, waitForLocalJobRun, waitForLocalCompileRun, waitForLocalVerifyRun, } from "./client.js";
+export { approveActionProposalInLocalService, cancelLocalBuildRun, configuredLocalServiceUrl, resolveLocalServiceAuthToken, createActionProposalInLocalService, decideActionProposalInLocalService, findLocalService, getLocalJobRun, getLocalBuildRun, getLocalServiceHealth, getLocalVerifyRun, submitBuildRunToLocalService, submitReadinessCheckDraftToLocalService, submitResetToLocalService, submitVerifyRunToLocalService, submitBuildPlanAuthoringRunToLocalService, waitForLocalJobRun, waitForLocalBuildRun, waitForLocalVerifyRun, } from "./client.js";
 export { LocalServiceRuntime, createLocalServiceRuntime, } from "./runtime.js";
 export { createLocalServiceServer, createLocalServiceAuthToken, startLocalService, } from "./server.js";
 export { createNativeLocalServiceRunHandlers, } from "./native-run-handlers.js";

package/dist/packages/engine/instance-paths.d.ts

@@ -1,19 +1,25 @@
 /**
- * Source of truth for every Interf path on disk in 0.13.
+ * Interf Home path helpers used by the local service.
  *
- * The instance is a black box that owns its preparation state. Storage lives
+ * The instance is the opaque owner of its preparation state. Storage lives
  * under `~/.interf/`. The CLI never opens these files directly — it asks the
  * API where things are and reads from the locator the API returns.
  *
+ * Current preparation config and verifiable-context paths live in
+ * `contracts/lib/preparation-paths.ts` and are bridged by
+ * `preparation-store.ts` for the existing Build runtime. Keep the old
+ * `config.json` / `verifiable-context` constants below as a migration boundary
+ * only; do not cite them as current user-visible layout.
+ *
  * Layout:
  *   ~/.interf/
  *     connection.json            ← single CLI connection record
  *     services.json              ← internal stop-lookup registry
- *     methods/<id>/              ← user-installed methods (cross-preparation)
+ *     build-plans/<id>/              ← user-installed Build Plans (cross-preparation)
  *     preparations/<prep-id>/    ← per-preparation state owned by the engine
- *       config.json              ← preparation config (id, source, method, …)
- *       portable-context/        ← compiled portable context output
- *         .interf/               ← per-preparation runtime/method/tests state
+ *       interf.json              ← current preparation config bridge
+ *       <prep-id>/               ← current verifiable context output
+ *         .interf/               ← per-preparation runtime/build-plan/tests state
  *       runs/                    ← persisted run records
  *       jobs/                    ← service job runs
  *       proposals/               ← chat/wizard action proposals
@@ -25,8 +31,8 @@ export type InterfHomeRoot = string & {
 export type PreparationDataDir = string & {
     readonly __brand: "PreparationDataDir";
 };
-export type PortableContextPath = string & {
-    readonly __brand: "PortableContextPath";
+export type VerifiableContextPath = string & {
+    readonly __brand: "VerifiableContextPath";
 };
 export type SourceFolderPath = string & {
     readonly __brand: "SourceFolderPath";
@@ -34,22 +40,22 @@ export type SourceFolderPath = string & {
 export declare const INTERF_USER_HOME_ENV = "INTERF_USER_HOME";
 export declare const INTERF_HOME_DIR = ".interf";
 export declare const PREPARATIONS_DIR = "preparations";
-export declare const METHODS_DIR = "methods";
+export declare const BUILD_PLANS_DIR = "build-plans";
 export declare const SERVICE_REGISTRY_FILENAME = "services.json";
 export declare const CONNECTION_CONFIG_FILENAME = "connection.json";
 export declare const PREPARATION_CONFIG_FILENAME = "config.json";
-export declare const PREPARATION_PORTABLE_CONTEXT_DIR = "portable-context";
+export declare const PREPARATION_VERIFIABLE_CONTEXT_DIR = "verifiable-context";
 export declare const PREPARATION_RUNS_DIR = "runs";
 export declare const PREPARATION_JOBS_DIR = "jobs";
 export declare const PREPARATION_PROPOSALS_DIR = "proposals";
 export declare const PREPARATION_TESTS_DIR = "tests";
-export declare const PREPARATION_METHOD_DIR = "method";
-export declare const PORTABLE_CONTEXT_STATE_DIR = ".interf";
-export declare const PORTABLE_CONTEXT_RUNTIME_DIR = "runtime";
-export declare const PORTABLE_CONTEXT_METHOD_DIR = "method";
-export declare const PORTABLE_CONTEXT_TESTS_DIR = "tests";
+export declare const PREPARATION_BUILD_PLAN_DIR = "build-plan";
+export declare const VERIFIABLE_CONTEXT_STATE_DIR = ".interf";
+export declare const VERIFIABLE_CONTEXT_RUNTIME_DIR = "runtime";
+export declare const VERIFIABLE_CONTEXT_BUILD_PLAN_DIR = "build-plan";
+export declare const VERIFIABLE_CONTEXT_TESTS_DIR = "tests";
 export declare function asPreparationDataDir(path: string): PreparationDataDir;
-export declare function asPortableContextPath(path: string): PortableContextPath;
+export declare function asVerifiableContextPath(path: string): VerifiableContextPath;
 export declare function asSourceFolderPath(path: string): SourceFolderPath;
 /** `~/.interf/` — overridable via INTERF_USER_HOME for tests. */
 export declare function interfHomeRoot(): InterfHomeRoot;
@@ -57,19 +63,19 @@ export declare function interfHomeRoot(): InterfHomeRoot;
 export declare function connectionConfigPath(): string;
 /** `~/.interf/services.json` — internal `interf web stop` lookup registry. */
 export declare function serviceRegistryPath(): string;
-/** `~/.interf/methods/` — user-installed methods (cross-preparation). */
-export declare function userMethodsRoot(): string;
-/** `~/.interf/methods/<id>/` — a specific user-library method package. */
-export declare function userMethodPackagePath(methodId: string): string;
+/** `~/.interf/build-plans/` — user-installed Build Plans (cross-preparation). */
+export declare function userBuildPlansRoot(): string;
+/** `~/.interf/build-plans/<id>/` — a specific user-library Build Plan package. */
+export declare function userBuildPlanPackagePath(buildPlanId: string): string;
 /** `~/.interf/preparations/` — root for all preparation state. */
 export declare function preparationsRoot(): string;
 /** `~/.interf/preparations/<prep-id>/` — one preparation's state dir. */
 export declare function preparationDataDir(prepId: string): PreparationDataDir;
-/** `<prep-data>/config.json` — preparation config source of truth. */
+/** Legacy planned path: `<prep-data>/config.json`. Current runtime uses `interf.json`. */
 export declare function preparationConfigPath(prepId: string): string;
-/** `<prep-data>/portable-context/` — compiled portable context output. */
-export declare function preparationPortableContextDir(prepId: string): PortableContextPath;
-/** `<prep-data>/runs/` — compile/test run records. */
+/** Legacy planned path: `<prep-data>/verifiable-context/`. Current runtime uses `<prep-data>/<prep-id>/`. */
+export declare function preparationVerifiableContextDir(prepId: string): VerifiableContextPath;
+/** `<prep-data>/runs/` — build/test run records. */
 export declare function preparationRunsRoot(prepId: string): string;
 /** `<prep-data>/jobs/` — service job runs (drafts, improvements, etc). */
 export declare function preparationJobsRoot(prepId: string): string;
@@ -77,24 +83,24 @@ export declare function preparationJobsRoot(prepId: string): string;
 export declare function preparationProposalsRoot(prepId: string): string;
 /** `<prep-data>/tests/` — saved readiness check specs. */
 export declare function preparationTestsRoot(prepId: string): string;
-/** `<prep-data>/method/` — preparation-draft method package (if any). */
-export declare function preparationMethodDraftPath(prepId: string): string;
-/** `<portable-context>/.interf/`. */
-export declare function portableContextStateRoot(portableContext: PortableContextPath): string;
-/** `<portable-context>/.interf/method/`. */
-export declare function portableContextMethodPath(portableContext: PortableContextPath): string;
-/** `<portable-context>/.interf/runtime/`. */
-export declare function portableContextRuntimeRoot(portableContext: PortableContextPath): string;
-/** `<portable-context>/.interf/tests/`. */
-export declare function portableContextTestsRoot(portableContext: PortableContextPath): string;
-export type PreparationTestTargetLabel = "source-files" | "compiled";
-/** `<prep-data>/portable-context/.interf/tests/<target>/runs/`. */
+/** `<prep-data>/build-plan/` — preparation-draft Build Plan package (if any). */
+export declare function preparationBuildPlanDraftPath(prepId: string): string;
+/** `<verifiable-context>/.interf/`. */
+export declare function verifiableContextStateRoot(verifiableContext: VerifiableContextPath): string;
+/** `<verifiable-context>/.interf/build-plan/`. */
+export declare function verifiableContextBuildPlanPath(verifiableContext: VerifiableContextPath): string;
+/** `<verifiable-context>/.interf/runtime/`. */
+export declare function verifiableContextRuntimeRoot(verifiableContext: VerifiableContextPath): string;
+/** `<verifiable-context>/.interf/tests/`. */
+export declare function verifiableContextTestsRoot(verifiableContext: VerifiableContextPath): string;
+export type PreparationTestTargetLabel = "source-files" | "verifiable-context";
+/** Legacy planned path: `<prep-data>/verifiable-context/.interf/tests/<target>/runs/`. */
 export declare function preparationTestRunsRoot(prepId: string, target: PreparationTestTargetLabel): string;
-/** `<prep-data>/portable-context/.interf/tests/latest.json`. */
+/** Legacy planned path: `<prep-data>/verifiable-context/.interf/tests/latest.json`. */
 export declare function preparationLatestReadinessRunPath(prepId: string): string;
-/** `<prep-data>/portable-context/.interf/tests/latest.md`. */
+/** Legacy planned path: `<prep-data>/verifiable-context/.interf/tests/latest.md`. */
 export declare function preparationLatestReadinessSummaryPath(prepId: string): string;
 /** Normalize a free-form string into a stable kebab-cased id (≤80 chars). */
 export declare function normalizePreparationTestRunId(input: string): string;
-/** `<prep-data>/portable-context/.interf/tests/<target>/runs/<timestamp>-<run-id>[-<suffix>].json`. */
+/** Legacy planned path: `<prep-data>/verifiable-context/.interf/tests/<target>/runs/<timestamp>-<run-id>[-<suffix>].json`. */
 export declare function preparationTestRunPath(prepId: string, target: PreparationTestTargetLabel, generatedAt: string, runId: string, runSuffix?: string | null): string;

package/dist/packages/engine/instance-paths.js

@@ -1,19 +1,25 @@
 /**
- * Source of truth for every Interf path on disk in 0.13.
+ * Interf Home path helpers used by the local service.
  *
- * The instance is a black box that owns its preparation state. Storage lives
+ * The instance is the opaque owner of its preparation state. Storage lives
  * under `~/.interf/`. The CLI never opens these files directly — it asks the
  * API where things are and reads from the locator the API returns.
  *
+ * Current preparation config and verifiable-context paths live in
+ * `contracts/lib/preparation-paths.ts` and are bridged by
+ * `preparation-store.ts` for the existing Build runtime. Keep the old
+ * `config.json` / `verifiable-context` constants below as a migration boundary
+ * only; do not cite them as current user-visible layout.
+ *
  * Layout:
  *   ~/.interf/
  *     connection.json            ← single CLI connection record
  *     services.json              ← internal stop-lookup registry
- *     methods/<id>/              ← user-installed methods (cross-preparation)
+ *     build-plans/<id>/              ← user-installed Build Plans (cross-preparation)
  *     preparations/<prep-id>/    ← per-preparation state owned by the engine
- *       config.json              ← preparation config (id, source, method, …)
- *       portable-context/        ← compiled portable context output
- *         .interf/               ← per-preparation runtime/method/tests state
+ *       interf.json              ← current preparation config bridge
+ *       <prep-id>/               ← current verifiable context output
+ *         .interf/               ← per-preparation runtime/build-plan/tests state
  *       runs/                    ← persisted run records
  *       jobs/                    ← service job runs
  *       proposals/               ← chat/wizard action proposals
@@ -27,27 +33,27 @@ import { join } from "node:path";
 export const INTERF_USER_HOME_ENV = "INTERF_USER_HOME";
 export const INTERF_HOME_DIR = ".interf";
 export const PREPARATIONS_DIR = "preparations";
-export const METHODS_DIR = "methods";
+export const BUILD_PLANS_DIR = "build-plans";
 export const SERVICE_REGISTRY_FILENAME = "services.json";
 export const CONNECTION_CONFIG_FILENAME = "connection.json";
 export const PREPARATION_CONFIG_FILENAME = "config.json";
-export const PREPARATION_PORTABLE_CONTEXT_DIR = "portable-context";
+export const PREPARATION_VERIFIABLE_CONTEXT_DIR = "verifiable-context";
 export const PREPARATION_RUNS_DIR = "runs";
 export const PREPARATION_JOBS_DIR = "jobs";
 export const PREPARATION_PROPOSALS_DIR = "proposals";
 export const PREPARATION_TESTS_DIR = "tests";
-export const PREPARATION_METHOD_DIR = "method";
-export const PORTABLE_CONTEXT_STATE_DIR = ".interf";
-export const PORTABLE_CONTEXT_RUNTIME_DIR = "runtime";
-export const PORTABLE_CONTEXT_METHOD_DIR = "method";
-export const PORTABLE_CONTEXT_TESTS_DIR = "tests";
+export const PREPARATION_BUILD_PLAN_DIR = "build-plan";
+export const VERIFIABLE_CONTEXT_STATE_DIR = ".interf";
+export const VERIFIABLE_CONTEXT_RUNTIME_DIR = "runtime";
+export const VERIFIABLE_CONTEXT_BUILD_PLAN_DIR = "build-plan";
+export const VERIFIABLE_CONTEXT_TESTS_DIR = "tests";
 // ───────────────────────────────────────────────────────────────────────────
 // Brand constructors
 // ───────────────────────────────────────────────────────────────────────────
 export function asPreparationDataDir(path) {
     return path;
 }
-export function asPortableContextPath(path) {
+export function asVerifiableContextPath(path) {
     return path;
 }
 export function asSourceFolderPath(path) {
@@ -71,13 +77,13 @@ export function connectionConfigPath() {
 export function serviceRegistryPath() {
     return join(interfHomeRoot(), SERVICE_REGISTRY_FILENAME);
 }
-/** `~/.interf/methods/` — user-installed methods (cross-preparation). */
-export function userMethodsRoot() {
-    return join(interfHomeRoot(), METHODS_DIR);
+/** `~/.interf/build-plans/` — user-installed Build Plans (cross-preparation). */
+export function userBuildPlansRoot() {
+    return join(interfHomeRoot(), BUILD_PLANS_DIR);
 }
-/** `~/.interf/methods/<id>/` — a specific user-library method package. */
-export function userMethodPackagePath(methodId) {
-    return join(userMethodsRoot(), methodId);
+/** `~/.interf/build-plans/<id>/` — a specific user-library Build Plan package. */
+export function userBuildPlanPackagePath(buildPlanId) {
+    return join(userBuildPlansRoot(), buildPlanId);
 }
 // ───────────────────────────────────────────────────────────────────────────
 // Preparation data dirs
@@ -90,15 +96,15 @@ export function preparationsRoot() {
 export function preparationDataDir(prepId) {
     return asPreparationDataDir(join(preparationsRoot(), prepId));
 }
-/** `<prep-data>/config.json` — preparation config source of truth. */
+/** Legacy planned path: `<prep-data>/config.json`. Current runtime uses `interf.json`. */
 export function preparationConfigPath(prepId) {
     return join(preparationDataDir(prepId), PREPARATION_CONFIG_FILENAME);
 }
-/** `<prep-data>/portable-context/` — compiled portable context output. */
-export function preparationPortableContextDir(prepId) {
-    return asPortableContextPath(join(preparationDataDir(prepId), PREPARATION_PORTABLE_CONTEXT_DIR));
+/** Legacy planned path: `<prep-data>/verifiable-context/`. Current runtime uses `<prep-data>/<prep-id>/`. */
+export function preparationVerifiableContextDir(prepId) {
+    return asVerifiableContextPath(join(preparationDataDir(prepId), PREPARATION_VERIFIABLE_CONTEXT_DIR));
 }
-/** `<prep-data>/runs/` — compile/test run records. */
+/** `<prep-data>/runs/` — build/test run records. */
 export function preparationRunsRoot(prepId) {
     return join(preparationDataDir(prepId), PREPARATION_RUNS_DIR);
 }
@@ -114,40 +120,40 @@ export function preparationProposalsRoot(prepId) {
 export function preparationTestsRoot(prepId) {
     return join(preparationDataDir(prepId), PREPARATION_TESTS_DIR);
 }
-/** `<prep-data>/method/` — preparation-draft method package (if any). */
-export function preparationMethodDraftPath(prepId) {
-    return join(preparationDataDir(prepId), PREPARATION_METHOD_DIR);
+/** `<prep-data>/build-plan/` — preparation-draft Build Plan package (if any). */
+export function preparationBuildPlanDraftPath(prepId) {
+    return join(preparationDataDir(prepId), PREPARATION_BUILD_PLAN_DIR);
 }
 // ───────────────────────────────────────────────────────────────────────────
-// Portable context state (per-preparation, lives under preparation data dir)
+// Verifiable-context state (per-preparation, lives under preparation data dir)
 // ───────────────────────────────────────────────────────────────────────────
-/** `<portable-context>/.interf/`. */
-export function portableContextStateRoot(portableContext) {
-    return join(portableContext, PORTABLE_CONTEXT_STATE_DIR);
+/** `<verifiable-context>/.interf/`. */
+export function verifiableContextStateRoot(verifiableContext) {
+    return join(verifiableContext, VERIFIABLE_CONTEXT_STATE_DIR);
 }
-/** `<portable-context>/.interf/method/`. */
-export function portableContextMethodPath(portableContext) {
-    return join(portableContextStateRoot(portableContext), PORTABLE_CONTEXT_METHOD_DIR);
+/** `<verifiable-context>/.interf/build-plan/`. */
+export function verifiableContextBuildPlanPath(verifiableContext) {
+    return join(verifiableContextStateRoot(verifiableContext), VERIFIABLE_CONTEXT_BUILD_PLAN_DIR);
 }
-/** `<portable-context>/.interf/runtime/`. */
-export function portableContextRuntimeRoot(portableContext) {
-    return join(portableContextStateRoot(portableContext), PORTABLE_CONTEXT_RUNTIME_DIR);
+/** `<verifiable-context>/.interf/runtime/`. */
+export function verifiableContextRuntimeRoot(verifiableContext) {
+    return join(verifiableContextStateRoot(verifiableContext), VERIFIABLE_CONTEXT_RUNTIME_DIR);
 }
-/** `<portable-context>/.interf/tests/`. */
-export function portableContextTestsRoot(portableContext) {
-    return join(portableContextStateRoot(portableContext), PORTABLE_CONTEXT_TESTS_DIR);
+/** `<verifiable-context>/.interf/tests/`. */
+export function verifiableContextTestsRoot(verifiableContext) {
+    return join(verifiableContextStateRoot(verifiableContext), VERIFIABLE_CONTEXT_TESTS_DIR);
 }
-/** `<prep-data>/portable-context/.interf/tests/<target>/runs/`. */
+/** Legacy planned path: `<prep-data>/verifiable-context/.interf/tests/<target>/runs/`. */
 export function preparationTestRunsRoot(prepId, target) {
-    return join(portableContextTestsRoot(preparationPortableContextDir(prepId)), target, "runs");
+    return join(verifiableContextTestsRoot(preparationVerifiableContextDir(prepId)), target, "runs");
 }
-/** `<prep-data>/portable-context/.interf/tests/latest.json`. */
+/** Legacy planned path: `<prep-data>/verifiable-context/.interf/tests/latest.json`. */
 export function preparationLatestReadinessRunPath(prepId) {
-    return join(portableContextTestsRoot(preparationPortableContextDir(prepId)), "latest.json");
+    return join(verifiableContextTestsRoot(preparationVerifiableContextDir(prepId)), "latest.json");
 }
-/** `<prep-data>/portable-context/.interf/tests/latest.md`. */
+/** Legacy planned path: `<prep-data>/verifiable-context/.interf/tests/latest.md`. */
 export function preparationLatestReadinessSummaryPath(prepId) {
-    return join(portableContextTestsRoot(preparationPortableContextDir(prepId)), "latest.md");
+    return join(verifiableContextTestsRoot(preparationVerifiableContextDir(prepId)), "latest.md");
 }
 /** Normalize a free-form string into a stable kebab-cased id (≤80 chars). */
 export function normalizePreparationTestRunId(input) {
@@ -158,7 +164,7 @@ export function normalizePreparationTestRunId(input) {
         .replace(/^-+|-+$/g, "")
         .slice(0, 80);
 }
-/** `<prep-data>/portable-context/.interf/tests/<target>/runs/<timestamp>-<run-id>[-<suffix>].json`. */
+/** Legacy planned path: `<prep-data>/verifiable-context/.interf/tests/<target>/runs/<timestamp>-<run-id>[-<suffix>].json`. */
 export function preparationTestRunPath(prepId, target, generatedAt, runId, runSuffix) {
     const suffix = runSuffix ? `-${normalizePreparationTestRunId(runSuffix)}` : "";
     return join(preparationTestRunsRoot(prepId, target), `${generatedAt.replace(/[:.]/g, "-")}-${runId}${suffix}.json`);