@interf/compiler 0.21.0 → 0.22.0

package/dist/packages/contracts/lib/schema.js

@@ -4,22 +4,22 @@ import { z } from "zod";
 // ───────────────────────────────────────────────────────────────────────────
 export const InterfIdPattern = /^[a-z0-9][a-z0-9-]{0,79}$/;
 export const PreparationNamePattern = /^[a-z0-9][a-z0-9-]*$/;
-const RESERVED_PREPARATION_NAMES = new Set(["tests", "methods"]);
+const RESERVED_PREPARATION_NAMES = new Set(["tests", "build-plans"]);
 export const PreparationNameSchema = z
     .string()
     .regex(PreparationNamePattern, "Preparation names must use lowercase letters, numbers, and dashes only.")
     .refine((value) => !RESERVED_PREPARATION_NAMES.has(value), "Preparation name is reserved.");
-export const MethodIdSchema = z.string().regex(InterfIdPattern);
+export const BuildPlanIdSchema = z.string().regex(InterfIdPattern);
 /**
- * Method-declared artifact identifier. Same shape as `MethodIdSchema`
+ * Build Plan-declared artifact identifier. Same shape as `BuildPlanIdSchema`
  * but conceptually distinct — it identifies a produced thing inside
- * one Method, while `MethodIdSchema` identifies the Method itself.
+ * one Build Plan, while `BuildPlanIdSchema` identifies the Build Plan itself.
  */
 export const ArtifactIdSchema = z.string().regex(InterfIdPattern);
 export const RuntimeStageSchema = z.string().regex(InterfIdPattern);
 export const RuntimeContractTypeSchema = z.string().regex(InterfIdPattern);
-export const RuntimeTargetTypeSchema = z.enum(["compiled"]);
-export const TestTargetTypeSchema = z.enum(["compiled", "source-files"]);
+export const RuntimeTargetTypeSchema = z.enum(["verifiable-context"]);
+export const TestTargetTypeSchema = z.enum(["verifiable-context", "source-files"]);
 // ───────────────────────────────────────────────────────────────────────────
 // Path validation
 //
@@ -102,14 +102,14 @@ export const StageInputsSchema = z.object({
     version: z.literal(1),
     generated_at: z.string().min(1),
     run_id: z.string().min(1).nullable(),
-    method: MethodIdSchema,
+    build_plan: BuildPlanIdSchema,
     stage: RuntimeStageSchema,
     source_snapshot_id: z.string().min(1),
     input_total: z.number().int().min(0),
     inputs: z.array(StageInputSchema),
 }).strict();
-export const SourceCompiledMaxAttemptsSchema = z.number().int().min(1).max(5);
-export const SourceCompiledMaxLoopsSchema = z.number().int().min(1).max(3);
+export const SourceBuildMaxAttemptsSchema = z.number().int().min(1).max(5);
+export const SourceBuildMaxLoopsSchema = z.number().int().min(1).max(3);
 // ───────────────────────────────────────────────────────────────────────────
 // Check / Proof / Ready — the locked verification vocabulary
 //
@@ -119,18 +119,18 @@ export const SourceCompiledMaxLoopsSchema = z.number().int().min(1).max(3);
 //   - Ready: aggregate verdict (`ready` or `not_ready`)
 //
 // A check has a SCOPE (where it's declared), not a different name:
-//   - stage check    — Method-declared per stage; runs end-of-stage
-//   - artifact check — Method-declared per artifact; runs end-of-compile
+//   - stage check    — Build Plan-declared per stage; runs end-of-stage
+//   - artifact check — Build Plan-declared per artifact; runs end-of-build
 //   - user check     — Preparation-declared; runs on `interf test`
 //
 // Same `Check` primitive across all three scopes. Same `CheckKind`
-// canonical list — methods/users/engine pick from it.
+// canonical list - Build Plans, users, and engine code pick from it.
 // ───────────────────────────────────────────────────────────────────────────
 /**
  * Canonical check kinds the engine knows how to evaluate.
  *
  * Adding a new kind requires an engine release (the evaluator must
- * implement it). Methods and user checks pick from this list; they
+ * implement it). Build Plans and user checks pick from this list; they
  * cannot invent custom kinds.
  *
  *   file_exists                    — file is present and non-empty
@@ -194,8 +194,8 @@ export const ProofSchema = z.object({
  */
 export const ReadyVerdictSchema = z.enum(["ready", "not_ready", "failed", "skipped"]);
 /**
- * Standard frontmatter key list used by Methods that emit markdown
- * summaries of source files. Method authors that adopt this evidence
+ * Standard frontmatter key list used by Build Plans that emit markdown
+ * summaries of source files. Build Plan authors that adopt this evidence
  * convention reference this constant in `frontmatter_required_keys`
  * check params rather than re-typing the list.
  */
@@ -209,7 +209,7 @@ export const STANDARD_EVIDENCE_FRONTMATTER_KEYS = [
 // ───────────────────────────────────────────────────────────────────────────
 // Artifact — a produced thing the user can see and verify
 //
-// Every output of a Method is an Artifact. No internal/working/output
+// Every output of a Build Plan is an Artifact. No internal/working/output
 // distinction — if it's named, it's an Artifact. The engine reserves
 // `.interf/runtime/` as its own namespace by convention; those paths
 // are not artifacts.
@@ -217,14 +217,14 @@ export const STANDARD_EVIDENCE_FRONTMATTER_KEYS = [
 /**
  * Where an Artifact materializes. Discriminated union so future kinds
  * (literal value, remote handle, confirmation-only) slot in without a
- * schema break. `path` is always relative to the portable-context root,
+ * schema break. `path` is always relative to the verifiable-context root,
  * and `artifact_kind` tells consumers whether the target materializes
  * as a file or directory.
  */
 export const ArtifactPathShapeSchema = z.object({
     kind: z.literal("path"),
     path: z.string().min(1).refine(isInterfRelativePath, {
-        message: "Artifact paths must stay inside the portable-context root (no `..`, no absolute paths).",
+        message: "Artifact paths must stay inside the verifiable-context root (no `..`, no absolute paths).",
     }),
     artifact_kind: z.enum(["file", "directory"]),
 }).strict();
@@ -232,11 +232,11 @@ export const ArtifactShapeSchema = z.discriminatedUnion("kind", [
     ArtifactPathShapeSchema,
 ]);
 /**
- * Method-declared Artifact — a produced thing.
+ * Build Plan-declared Artifact — a produced thing.
  *
  * `checks[]` is the locked vocabulary: an array of `Check` (with
  * `kind` from `CHECK_KINDS`). The runtime evaluates them via the
- * shared check evaluator and produces `Proof[]` on each compile run.
+ * shared check evaluator and produces `Proof[]` on each Build run.
  */
 export const ArtifactSchema = z.object({
     id: ArtifactIdSchema,
@@ -246,7 +246,7 @@ export const ArtifactSchema = z.object({
     built_by_stages: z.array(z.string().regex(InterfIdPattern)).default([]),
 }).strict();
 /**
- * Per-Artifact runtime status. Lives on compile-run resources and on
+ * Per-Artifact runtime status. Lives on Build run resources and on
  * preparation resources. `proofs[]` carries the structured evidence
  * emitted by the shared check evaluator.
  */
@@ -262,7 +262,7 @@ export const ArtifactStatusSchema = z.object({
 // Readiness — preparation-level aggregate verdict
 //
 // Rolls up artifact statuses + user-check results + engine-level gates
-// (is the prep configured, has compile run, etc.) into a single
+// (is the prep configured, has a Build run, etc.) into a single
 // `ready` / `not_ready` answer for the ICP.
 // ───────────────────────────────────────────────────────────────────────────
 export const ReadinessStatusSchema = z.enum([
@@ -278,16 +278,16 @@ export const ReadinessStatusSchema = z.enum([
 ]);
 export const ReadinessGateSchema = z.enum([
     "preparation-config",
-    "portable-context",
-    "compile-run",
+    "verifiable-context",
+    "build-run",
     "artifact-checks",
     "readiness-checks",
     "checks-current",
 ]);
 /**
  * Per-gate status — one row in the readiness summary. A gate is a
- * high-level layer (is config valid? is portable context built? did
- * latest compile succeed?). Gate failures are aggregated alongside
+ * high-level layer (is config valid? is verifiable context built? did
+ * latest Build run succeed?). Gate failures are aggregated alongside
  * artifact-check failures into the overall `Readiness` verdict.
  */
 export const GateStatusSchema = z.object({
@@ -315,7 +315,15 @@ export const VerifyTargetResultSchema = z.object({
  * (`latest_test_run_id`, `check_results`, `checks`). The exported type
  * name is `Readiness`.
  */
-export const ReadinessSchema = z.object({
+function mapReadinessRecord(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        return value;
+    const record = value;
+    return {
+        ...record,
+    };
+}
+export const ReadinessSchema = z.preprocess(mapReadinessRecord, z.object({
     kind: z.literal("interf-readiness-state"),
     version: z.literal(1),
     generated_at: z.string().min(1),
@@ -323,18 +331,18 @@ export const ReadinessSchema = z.object({
     status: ReadinessStatusSchema,
     ready: z.boolean(),
     summary: z.string().min(1),
-    portable_context_path: z.string().min(1).nullable(),
-    latest_compile_run_id: z.string().min(1).nullable().optional(),
+    verifiable_context_path: z.string().min(1).nullable(),
+    latest_build_run_id: z.string().min(1).nullable().optional(),
     latest_test_run_id: z.string().min(1).nullable().optional(),
-    compile: GateStatusSchema.nullable(),
+    build: GateStatusSchema.nullable(),
     check_results: z.object({
         configured: z.number().int().min(0),
         fingerprint: z.string().min(1).nullable(),
         source_files: VerifyTargetResultSchema.nullable(),
-        portable_context: VerifyTargetResultSchema.nullable(),
+        verifiable_context: VerifyTargetResultSchema.nullable(),
     }).strict(),
     checks: z.array(GateStatusSchema).default([]),
-}).strict();
+}).strict());
 // ───────────────────────────────────────────────────────────────────────────
 // User-defined verification (Q/A pairs) — the "user check" scope
 // ───────────────────────────────────────────────────────────────────────────
@@ -372,7 +380,7 @@ export const RuntimeExecutorInfoSchema = z.object({
 // Connected agents + roles (0.15)
 // ───────────────────────────────────────────────────────────────────────────
 /**
- * The 5 canonical roles a Method stage can declare. Methods MAY declare
+ * The 5 canonical roles a Build Plan stage can declare. Build Plans MAY declare
  * custom role names; the engine treats any unknown role as `general`.
  */
 export const CANONICAL_ROLES = [
@@ -383,7 +391,7 @@ export const CANONICAL_ROLES = [
     "general",
 ];
 /**
- * Open-ended role identifier. Methods invent role names freely; the
+ * Open-ended role identifier. Build Plans invent role names freely; the
  * role-router maps unknown names to `general` at run time.
  */
 export const RoleSchema = z.string().min(1);

package/dist/packages/engine/action-definitions.d.ts

@@ -62,7 +62,7 @@ export declare const PreparationSetupActionValuesSchema: z.ZodObject<{
     name: z.ZodString;
     path: z.ZodString;
     about: z.ZodString;
-    method: z.ZodOptional<z.ZodString>;
+    build_plan: z.ZodOptional<z.ZodString>;
     checks: z.ZodOptional<z.ZodArray<z.ZodObject<{
         question: z.ZodString;
         answer: z.ZodOptional<z.ZodString>;
@@ -120,20 +120,20 @@ export declare const PreparationSetupActionValuesSchema: z.ZodObject<{
     max_attempts: z.ZodOptional<z.ZodNumber>;
     max_loops: z.ZodOptional<z.ZodNumber>;
     readiness_notes: z.ZodOptional<z.ZodString>;
-    prepare_after_setup: z.ZodOptional<z.ZodBoolean>;
+    build_after_setup: z.ZodOptional<z.ZodBoolean>;
     setup_mode: z.ZodOptional<z.ZodEnum<{
         create: "create";
-        "select-method": "select-method";
+        "select-build-plan": "select-build-plan";
     }>>;
 }, z.core.$strict>;
-export declare const MethodAuthoringActionValuesSchema: z.ZodObject<{
-    method_id: z.ZodOptional<z.ZodString>;
-    base_method_id: z.ZodOptional<z.ZodString>;
-    reference_method_id: z.ZodOptional<z.ZodString>;
+export declare const BuildPlanAuthoringActionValuesSchema: z.ZodObject<{
+    build_plan_id: z.ZodOptional<z.ZodString>;
+    base_build_plan_id: z.ZodOptional<z.ZodString>;
+    reference_build_plan_id: z.ZodOptional<z.ZodString>;
     label: z.ZodOptional<z.ZodString>;
     hint: z.ZodOptional<z.ZodString>;
     task_prompt: z.ZodString;
-    portable_output: z.ZodOptional<z.ZodString>;
+    requested_artifacts_description: z.ZodOptional<z.ZodString>;
     requested_artifacts: z.ZodOptional<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
         id: z.ZodOptional<z.ZodString>;
         title: z.ZodString;
@@ -187,7 +187,7 @@ export declare const MethodAuthoringActionValuesSchema: z.ZodObject<{
     readiness_notes: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
 export type PreparationSetupActionValues = z.infer<typeof PreparationSetupActionValuesSchema>;
-export type MethodAuthoringActionValues = z.infer<typeof MethodAuthoringActionValuesSchema>;
+export type BuildPlanAuthoringActionValues = z.infer<typeof BuildPlanAuthoringActionValuesSchema>;
 export type SourceReadinessCheckActionValue = z.infer<typeof SourceReadinessCheckActionValueSchema>;
 export declare const INTERF_SERVICE_ACTIONS: {
     readonly createPreparation: {
@@ -196,27 +196,27 @@ export declare const INTERF_SERVICE_ACTIONS: {
         readonly title: "Create Preparation";
         readonly description: "Save a Source, requested Artifacts, Build Plan, and run history under one Preparation.";
     };
-    readonly compileRun: {
-        readonly id: "compile-run";
-        readonly serviceAction: "compile";
-        readonly title: "Compile Artifacts";
-        readonly description: "Run the saved Build Plan against this Source and write portable context.";
+    readonly buildRun: {
+        readonly id: "build-run";
+        readonly serviceAction: "build";
+        readonly title: "Build Artifacts";
+        readonly description: "Run the saved Build Plan against this Source and write verifiable context.";
     };
-    readonly selectMethod: {
-        readonly id: "select-method";
+    readonly selectBuildPlan: {
+        readonly id: "select-build-plan";
         readonly serviceAction: "preparation-setup";
         readonly title: "Select Build Plan";
-        readonly description: "Choose the Build Plan that will compile this Preparation's requested Artifacts.";
+        readonly description: "Choose the Build Plan that will build this Preparation's requested Artifacts.";
     };
-    readonly createMethod: {
-        readonly id: "create-method";
-        readonly serviceAction: "method-authoring";
+    readonly createBuildPlan: {
+        readonly id: "build-plan-draft";
+        readonly serviceAction: "build-plan-draft";
         readonly title: "Draft Build Plan";
-        readonly description: "Draft a Build Plan for the Artifacts this Preparation should compile.";
+        readonly description: "Draft a Build Plan for the Artifacts this Preparation should build.";
     };
-    readonly methodChange: {
-        readonly id: "method-change";
-        readonly serviceAction: "method-change";
+    readonly buildPlanChange: {
+        readonly id: "build-plan-change";
+        readonly serviceAction: "build-plan-change";
         readonly title: "Build Plan Change";
         readonly description: "Modify, duplicate, or remove an existing Build Plan.";
     };
@@ -246,14 +246,14 @@ export declare const INTERF_SERVICE_ACTIONS: {
     };
     readonly improvePreparation: {
         readonly id: "improve-preparation";
-        readonly serviceAction: "method-improvement";
+        readonly serviceAction: "build-plan-improvement";
         readonly title: "Improve Build Plan";
         readonly description: "Use readiness evidence to refine the Build Plan this Preparation uses.";
     };
 };
 export type InterfServiceActionKey = keyof typeof INTERF_SERVICE_ACTIONS;
 export type InterfServiceActionId = typeof INTERF_SERVICE_ACTIONS[InterfServiceActionKey]["id"];
-export declare function methodAuthoringTaskPrompt(values: MethodAuthoringActionValues): string;
+export declare function buildPlanAuthoringTaskPrompt(values: BuildPlanAuthoringActionValues): string;
 export type ActionInputValues = Record<string, string>;
 export type ActionValues = Record<string, unknown>;
 export type ActionInputDraft = {
@@ -291,55 +291,55 @@ export type ActionInputDefinition = {
     validateRequest?: (values: ActionInputValues) => Record<string, string>;
     valuesPreview: (values: ActionInputValues) => ActionValues;
 };
-export type MethodActionChoice = {
+export type BuildPlanActionChoice = {
     id: string;
     label?: string | null;
 };
 export type CreatePreparationActionContext = {
     existingNames: string[];
-    methods: MethodActionChoice[];
+    buildPlans: BuildPlanActionChoice[];
     prepDataDir: string;
     suggestedName: string;
 };
-export type CompileRunActionContext = {
+export type BuildRunActionContext = {
     about: string;
-    methodId: string;
+    buildPlanId: string;
     name: string;
     sourceFolderPath: string;
 };
-export type SelectMethodActionContext = {
+export type SelectBuildPlanActionContext = {
     about: string;
     checks?: SourceReadinessCheckActionValue[];
-    currentMethodId?: string | null;
+    currentBuildPlanId?: string | null;
     maxAttempts?: number;
     maxLoops?: number;
-    methods: MethodActionChoice[];
+    buildPlans: BuildPlanActionChoice[];
     name: string;
     requestedArtifacts?: RequestedArtifact[];
     sourceProfile?: SourceProfile | null;
     sourceFolderPath: string;
 };
-export type CreateMethodActionContext = {
+export type CreateBuildPlanActionContext = {
     defaultPreparation: string;
-    existingMethodIds: string[];
-    suggestedMethodId: string;
+    existingBuildPlanIds: string[];
+    suggestedBuildPlanId: string;
 };
-export type MethodChangeAction = "modify" | "duplicate" | "remove";
+export type BuildPlanChangeAction = "modify" | "duplicate" | "remove";
 export type PreparationChangeAction = "modify" | "duplicate" | "remove";
 export type ReadinessAction = "check" | "draft-checks" | "improve";
-export type MethodChangeActionContext = {
-    action: MethodChangeAction;
-    existingMethodIds: string[];
+export type BuildPlanChangeActionContext = {
+    action: BuildPlanChangeAction;
+    existingBuildPlanIds: string[];
     hint?: string | null;
     label?: string | null;
-    methodId: string;
+    buildPlanId: string;
     preparation: string;
 };
 export type PreparationChangeActionContext = {
     about?: string | null;
     action: PreparationChangeAction;
     existingNames: string[];
-    methodId?: string | null;
+    buildPlanId?: string | null;
     preparation: string;
     sourceFolderPath: string;
 };
@@ -348,24 +348,24 @@ export declare function slugForActionId(value: string): string;
 export declare function uniqueActionId(seed: string, usedIds: Set<string>): string;
 export declare function titleFromActionId(value: string): string;
 export declare function maybeActionValue(value: string): string | undefined;
-export declare function methodChoiceOptions(methods: MethodActionChoice[]): ActionFieldOption[];
-export declare function methodTaskPromptFromInput(values: ActionInputValues): string;
+export declare function buildPlanChoiceOptions(buildPlans: BuildPlanActionChoice[]): ActionFieldOption[];
+export declare function buildPlanTaskPromptFromInput(values: ActionInputValues): string;
 export declare function preparationSetupRequestFromActionValues(input: unknown): {
     preparation: {
         about: string;
         checks: SourceReadinessCheckActionValue[];
         max_attempts?: number;
         max_loops?: number;
-        method?: string;
+        build_plan?: string;
         name: string;
         path: string;
         requested_artifacts?: RequestedArtifact[];
         source_profile?: SourceProfile;
     };
-    prepare_after_setup: boolean;
-    setup_mode: "create" | "select-method";
+    build_after_setup: boolean;
+    setup_mode: "create" | "select-build-plan";
 };
-export declare function methodAuthoringRequestFromActionValues(input: unknown, context: {
+export declare function buildPlanAuthoringRequestFromActionValues(input: unknown, context: {
     checks?: SourceReadinessCheckActionValue[];
     preparation?: string | null;
     requestedArtifacts?: RequestedArtifact[];
@@ -373,35 +373,35 @@ export declare function methodAuthoringRequestFromActionValues(input: unknown, c
     sourceFolderPath: string;
 }): {
     artifact_requirements: ReturnType<typeof artifactRequirementsFromRequestedArtifacts>;
-    base_method_id?: string;
+    base_build_plan_id?: string;
     checks: SourceReadinessCheckActionValue[];
     hint: string;
     label: string;
-    method_id: string;
+    build_plan_id: string;
     preparation?: string;
-    reference_method_id?: string;
+    reference_build_plan_id?: string;
     requested_artifacts: RequestedArtifact[];
     source_profile?: SourceProfile | null;
     source_folder_path: string;
     task_prompt: string;
 };
-export declare function methodImprovementActionValues(options: {
+export declare function buildPlanImprovementActionValues(options: {
     checks?: SourceReadinessCheckActionValue[];
     hint?: string;
     label?: string;
-    methodId: string;
+    buildPlanId: string;
     preparationName: string;
-}): MethodAuthoringActionValues;
+}): BuildPlanAuthoringActionValues;
 export declare function buildCreatePreparationActionDefinition(context: CreatePreparationActionContext): ActionInputDefinition;
-export declare function buildCompileRunActionDefinition(context: CompileRunActionContext): ActionInputDefinition;
-export declare function buildCompileRunActionDraft(context: CompileRunActionContext): ActionInputDraft;
-export declare function buildSelectMethodActionDefinition(context: SelectMethodActionContext): ActionInputDefinition;
-export declare function buildCreateMethodActionDefinition(context: CreateMethodActionContext): ActionInputDefinition;
-export declare function buildMethodChangeActionDefinition(context: MethodChangeActionContext): ActionInputDefinition;
+export declare function buildBuildRunActionDefinition(context: BuildRunActionContext): ActionInputDefinition;
+export declare function buildBuildRunActionDraft(context: BuildRunActionContext): ActionInputDraft;
+export declare function buildSelectBuildPlanActionDefinition(context: SelectBuildPlanActionContext): ActionInputDefinition;
+export declare function buildCreateBuildPlanActionDefinition(context: CreateBuildPlanActionContext): ActionInputDefinition;
+export declare function buildBuildPlanChangeActionDefinition(context: BuildPlanChangeActionContext): ActionInputDefinition;
 export declare function buildPreparationChangeActionDefinition(context: PreparationChangeActionContext): ActionInputDefinition;
 export declare function buildConfirmActionDefinition(draft: ActionInputDraft): ActionInputDefinition;
 export declare function buildReadinessActionDraft(options: {
     action: ReadinessAction;
-    methodId?: string;
+    buildPlanId?: string;
     preparation: string;
 }): ActionInputDraft;