@interf/compiler 0.16.0 → 0.21.0

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

@@ -14,6 +14,95 @@ export declare const SourceReadinessCheckSchema: z.ZodObject<{
     }, z.core.$strip>>;
     strictness: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
+export declare const RequestedArtifactCheckSchema: z.ZodObject<{
+    label: z.ZodString;
+}, z.core.$loose>;
+export declare const RequestedArtifactOutputSchema: z.ZodObject<{
+    path: z.ZodOptional<z.ZodString>;
+    shape: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodLiteral<"path">;
+        path: z.ZodString;
+        artifact_kind: z.ZodEnum<{
+            file: "file";
+            directory: "directory";
+        }>;
+    }, z.core.$strict>>;
+    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            file_exists: "file_exists";
+            min_file_count: "min_file_count";
+            min_file_count_matches_source: "min_file_count_matches_source";
+            frontmatter_valid: "frontmatter_valid";
+            frontmatter_required_keys: "frontmatter_required_keys";
+            wikilinks_valid: "wikilinks_valid";
+            must_not_contain: "must_not_contain";
+            must_contain: "must_contain";
+            qa_match: "qa_match";
+        }>;
+        description: z.ZodOptional<z.ZodString>;
+        params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strict>>>;
+    stage_hint: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const RequestedArtifactSchema: z.ZodPreprocess<z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    title: z.ZodString;
+    purpose: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        label: z.ZodString;
+    }, z.core.$loose>]>>>;
+    output: z.ZodOptional<z.ZodObject<{
+        path: z.ZodOptional<z.ZodString>;
+        shape: z.ZodOptional<z.ZodObject<{
+            kind: z.ZodLiteral<"path">;
+            path: z.ZodString;
+            artifact_kind: z.ZodEnum<{
+                file: "file";
+                directory: "directory";
+            }>;
+        }, z.core.$strict>>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                file_exists: "file_exists";
+                min_file_count: "min_file_count";
+                min_file_count_matches_source: "min_file_count_matches_source";
+                frontmatter_valid: "frontmatter_valid";
+                frontmatter_required_keys: "frontmatter_required_keys";
+                wikilinks_valid: "wikilinks_valid";
+                must_not_contain: "must_not_contain";
+                must_contain: "must_contain";
+                qa_match: "qa_match";
+            }>;
+            description: z.ZodOptional<z.ZodString>;
+            params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            required: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strict>>>;
+        stage_hint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+}, z.core.$strict>>;
+export declare const SourceProfileItemSchema: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    path: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    page_count: z.ZodOptional<z.ZodNumber>;
+    note: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+export declare const SourceProfileSchema: z.ZodObject<{
+    summary: z.ZodOptional<z.ZodString>;
+    items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodOptional<z.ZodString>;
+        path: z.ZodOptional<z.ZodString>;
+        kind: z.ZodOptional<z.ZodString>;
+        page_count: z.ZodOptional<z.ZodNumber>;
+        note: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>>;
+    observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$loose>;
 export declare const SourcePreparationConfigSchema: z.ZodObject<{
     id: z.ZodOptional<z.ZodString>;
     name: z.ZodString;
@@ -35,6 +124,56 @@ export declare const SourcePreparationConfigSchema: z.ZodObject<{
         }, z.core.$strip>>;
         strictness: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
+    requested_artifacts: z.ZodOptional<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        title: z.ZodString;
+        purpose: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+        }, z.core.$loose>]>>>;
+        output: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+            shape: z.ZodOptional<z.ZodObject<{
+                kind: z.ZodLiteral<"path">;
+                path: z.ZodString;
+                artifact_kind: z.ZodEnum<{
+                    file: "file";
+                    directory: "directory";
+                }>;
+            }, z.core.$strict>>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                kind: z.ZodEnum<{
+                    file_exists: "file_exists";
+                    min_file_count: "min_file_count";
+                    min_file_count_matches_source: "min_file_count_matches_source";
+                    frontmatter_valid: "frontmatter_valid";
+                    frontmatter_required_keys: "frontmatter_required_keys";
+                    wikilinks_valid: "wikilinks_valid";
+                    must_not_contain: "must_not_contain";
+                    must_contain: "must_contain";
+                    qa_match: "qa_match";
+                }>;
+                description: z.ZodOptional<z.ZodString>;
+                params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                required: z.ZodDefault<z.ZodBoolean>;
+            }, z.core.$strict>>>;
+            stage_hint: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>>>;
+    source_profile: z.ZodOptional<z.ZodObject<{
+        summary: z.ZodOptional<z.ZodString>;
+        items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            path: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+            page_count: z.ZodOptional<z.ZodNumber>;
+            note: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+        observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$loose>>;
 }, z.core.$strict>;
 export declare const SourceFolderBindingSchema: z.ZodObject<{
     path: z.ZodString;
@@ -124,10 +263,64 @@ export declare const SourceFolderConfigSchema: z.ZodObject<{
             }, z.core.$strip>>;
             strictness: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
+        requested_artifacts: z.ZodOptional<z.ZodArray<z.ZodPreprocess<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            purpose: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            checks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                label: z.ZodString;
+            }, z.core.$loose>]>>>;
+            output: z.ZodOptional<z.ZodObject<{
+                path: z.ZodOptional<z.ZodString>;
+                shape: z.ZodOptional<z.ZodObject<{
+                    kind: z.ZodLiteral<"path">;
+                    path: z.ZodString;
+                    artifact_kind: z.ZodEnum<{
+                        file: "file";
+                        directory: "directory";
+                    }>;
+                }, z.core.$strict>>;
+                checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    kind: z.ZodEnum<{
+                        file_exists: "file_exists";
+                        min_file_count: "min_file_count";
+                        min_file_count_matches_source: "min_file_count_matches_source";
+                        frontmatter_valid: "frontmatter_valid";
+                        frontmatter_required_keys: "frontmatter_required_keys";
+                        wikilinks_valid: "wikilinks_valid";
+                        must_not_contain: "must_not_contain";
+                        must_contain: "must_contain";
+                        qa_match: "qa_match";
+                    }>;
+                    description: z.ZodOptional<z.ZodString>;
+                    params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                    required: z.ZodDefault<z.ZodBoolean>;
+                }, z.core.$strict>>>;
+                stage_hint: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>>;
+        source_profile: z.ZodOptional<z.ZodObject<{
+            summary: z.ZodOptional<z.ZodString>;
+            items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodOptional<z.ZodString>;
+                path: z.ZodOptional<z.ZodString>;
+                kind: z.ZodOptional<z.ZodString>;
+                page_count: z.ZodOptional<z.ZodNumber>;
+                note: z.ZodOptional<z.ZodString>;
+            }, z.core.$loose>>>;
+            observations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            limitations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$loose>>;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
 export type SourceFolderBinding = z.infer<typeof SourceFolderBindingSchema>;
+export type RequestedArtifactCheck = z.infer<typeof RequestedArtifactCheckSchema>;
+export type RequestedArtifact = z.infer<typeof RequestedArtifactSchema>;
+export type RequestedArtifactOutput = z.infer<typeof RequestedArtifactOutputSchema>;
 export type SourceReadinessCheck = z.infer<typeof SourceReadinessCheckSchema>;
+export type SourceProfile = z.infer<typeof SourceProfileSchema>;
 export type PreparationName = z.infer<typeof PreparationNameSchema>;
 export type MethodId = z.infer<typeof MethodIdSchema>;
 export type SourcePreparationConfig = z.infer<typeof SourcePreparationConfigSchema>;

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

@@ -1,6 +1,6 @@
 import { z } from "zod";
 import { isAbsolute, normalize } from "node:path";
-import { InterfIdPattern, MethodIdSchema, PreparationNameSchema, SourceCompiledMaxAttemptsSchema, SourceCompiledMaxLoopsSchema, TestCaseExpectSchema, } from "../../contracts/lib/schema.js";
+import { ArtifactPathShapeSchema, CheckSchema, InterfIdPattern, MethodIdSchema, PreparationNameSchema, SourceCompiledMaxAttemptsSchema, SourceCompiledMaxLoopsSchema, TestCaseExpectSchema, } from "../../contracts/lib/schema.js";
 export { MethodIdSchema, PreparationNameSchema, } from "../../contracts/lib/schema.js";
 /**
  * Absolute paths that an attacker-controlled config must never reach. The
@@ -45,6 +45,49 @@ export const SourceReadinessCheckSchema = z.object({
         });
     }
 });
+export const RequestedArtifactCheckSchema = z.object({
+    label: z.string().min(1),
+}).passthrough();
+export const RequestedArtifactOutputSchema = z.object({
+    path: z.string().min(1).optional(),
+    shape: ArtifactPathShapeSchema.optional(),
+    checks: z.array(CheckSchema).default([]),
+    stage_hint: z.string().min(1).optional(),
+}).strict();
+const RequestedArtifactObjectSchema = z.object({
+    id: z.string().min(1).optional(),
+    title: z.string().min(1),
+    purpose: z.string().min(1).optional(),
+    description: z.string().min(1).optional(),
+    checks: z.array(z.union([z.string().min(1), RequestedArtifactCheckSchema])).default([]),
+    output: RequestedArtifactOutputSchema.optional(),
+}).strict();
+export const RequestedArtifactSchema = z.preprocess((value) => {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        return value;
+    const record = value;
+    if (typeof record.title === "string" && record.title.trim().length > 0)
+        return value;
+    const title = typeof record.label === "string"
+        ? record.label
+        : typeof record.name === "string"
+            ? record.name
+            : null;
+    return title ? { ...record, title } : value;
+}, RequestedArtifactObjectSchema);
+export const SourceProfileItemSchema = z.object({
+    name: z.string().min(1).optional(),
+    path: z.string().min(1).optional(),
+    kind: z.string().min(1).optional(),
+    page_count: z.number().int().nonnegative().optional(),
+    note: z.string().min(1).optional(),
+}).passthrough();
+export const SourceProfileSchema = z.object({
+    summary: z.string().min(1).optional(),
+    items: z.array(SourceProfileItemSchema).default([]),
+    observations: z.array(z.string().min(1)).default([]),
+    limitations: z.array(z.string().min(1)).default([]),
+}).passthrough();
 export const SourcePreparationConfigSchema = z.object({
     id: z.string().regex(InterfIdPattern).optional(),
     name: PreparationNameSchema,
@@ -62,6 +105,8 @@ export const SourcePreparationConfigSchema = z.object({
     max_attempts: SourceCompiledMaxAttemptsSchema.optional(),
     max_loops: SourceCompiledMaxLoopsSchema.optional(),
     checks: z.array(SourceReadinessCheckSchema).default([]),
+    requested_artifacts: z.array(RequestedArtifactSchema).optional(),
+    source_profile: SourceProfileSchema.optional(),
 }).strict();
 export const SourceFolderBindingSchema = z.object({
     path: z.string().min(1),

package/dist/packages/project/source-config.js

@@ -128,6 +128,10 @@ function toWritableSourcePreparationConfig(preparation) {
         ...(typeof preparation.max_attempts === "number" ? { max_attempts: preparation.max_attempts } : {}),
         ...(typeof preparation.max_loops === "number" ? { max_loops: preparation.max_loops } : {}),
         checks: preparation.checks,
+        ...(preparation.requested_artifacts?.length
+            ? { requested_artifacts: preparation.requested_artifacts }
+            : {}),
+        ...(preparation.source_profile ? { source_profile: preparation.source_profile } : {}),
     };
 }
 export function saveSourceFolderConfig(prepDataDir, config) {
@@ -241,7 +245,8 @@ export function saveCompiledInterfConfig(compiledPath, config) {
 export function syncCompiledInterfConfigFromSourcePreparationConfig(compiledPath, preparationConfig) {
     const current = readInterfConfig(compiledPath);
     const prepDataDir = resolveSourceControlPathForCompiled(compiledPath);
-    const preparationAbsolutePath = resolveSourcePreparationPath(prepDataDir, preparationConfig);
+    const preparationAbsolutePath = resolveConfiguredSourceFolderPath(prepDataDir) ??
+        resolveSourcePreparationPath(prepDataDir, preparationConfig);
     const preparationRelativePath = relative(compiledPath, preparationAbsolutePath).split(sep).join("/") || ".";
     const methodId = methodIdForSourcePreparationConfig(preparationConfig)
         ?? methodIdForSourcePreparationConfig(current)

package/dist/packages/project/source-folders.js

@@ -47,7 +47,7 @@ export function normalizeSourcePreparationPathForConfig(prepDataDir, value) {
     const resolvedPath = resolveSourcePreparationPath(prepDataDir, { path: trimmedValue });
     const relativePath = relative(prepDataDir, resolvedPath).split(sep).join("/") || ".";
     if (relativePath === ".") {
-        throw new Error("Pick a Source Folder, not the Interf Workspace itself.");
+        throw new Error("Pick a Source Folder, not the Interf preparation data folder itself.");
     }
     if (isAbsolute(trimmedValue) && !isPathWithinRoot(prepDataDir, resolvedPath)) {
         if (!existsSync(resolvedPath)) {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@interf/compiler",
-  "version": "0.16.0",
-  "description": "Interf prepares data for agent work. It runs locally, processes your files, shows evidence that your data is ready, and writes portable context: a local folder with verifiable outputs agents can use.",
+  "version": "0.21.0",
+  "description": "Interf compiles source files into verifiable Artifacts and writes portable context agents can read.",
   "type": "module",
   "bin": {
     "interf": "dist/bin.js"
@@ -14,28 +14,16 @@
       "types": "./dist/index.d.ts",
       "import": "./dist/index.js"
     },
-    "./contracts": {
-      "types": "./dist/packages/contracts/index.d.ts",
-      "import": "./dist/packages/contracts/index.js"
-    },
-    "./execution": {
-      "types": "./dist/packages/engine/execution/index.d.ts",
-      "import": "./dist/packages/engine/execution/index.js"
-    },
-    "./local-service": {
-      "types": "./dist/packages/engine/index.d.ts",
-      "import": "./dist/packages/engine/index.js"
-    },
     "./package.json": "./package.json"
   },
   "scripts": {
     "build": "node -e \"require('fs').rmSync('dist',{recursive:true,force:true});require('fs').rmSync('.tsbuildinfo',{force:true})\" && tsc && chmod 755 dist/bin.js",
     "dev": "tsc --watch",
-    "web:dev": "npm --prefix apps/compiler-ui run dev",
-    "web:typecheck": "npm --prefix apps/compiler-ui run typecheck",
+    "web:dev": "npm --prefix src/apps/compiler-ui run dev",
+    "web:typecheck": "npm --prefix src/apps/compiler-ui run typecheck",
     "web:build": "node scripts/web/build-compiler-ui.mjs",
-    "docs:sync-agent-skill-cli-reference": "npm run build && node scripts/docs/sync-agent-skill-cli-reference.mjs",
-    "docs:check-agent-skill-cli-reference": "npm run build && node scripts/docs/sync-agent-skill-cli-reference.mjs --check",
+    "docs:sync-public": "node scripts/docs/sync-public-repo.mjs",
+    "docs:check-public": "node scripts/docs/sync-public-repo.mjs --check",
     "test:smoke": "npm run build && node --test test/**/*.test.mjs",
     "test": "npm run test:smoke",
     "test:full": "npm test && npm run web:build",
@@ -52,8 +40,8 @@
   },
   "files": [
     "dist",
-    "builtin-methods",
-    "agent-skills",
+    "public-repo",
+    "LICENSE.md",
     "TRADEMARKS.md"
   ],
   "publishConfig": {
@@ -67,13 +55,14 @@
     "claude",
     "codex"
   ],
-  "license": "UNLICENSED",
+  "license": "SEE LICENSE IN LICENSE.md",
+  "author": "Interf Inc.",
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/interf-labs/interf.git"
+    "url": "git+https://github.com/interf-labs/compiler.git"
   },
   "bugs": {
-    "url": "https://github.com/interf-labs/interf/issues"
+    "url": "https://github.com/interf-labs/compiler/issues"
   },
   "homepage": "https://interf.com",
   "engines": {

package/public-repo/CONTRIBUTING.md

@@ -0,0 +1,47 @@
+# Contributing
+
+This public surface contains the files users and agent hosts need to inspect:
+the README, license and security docs, bundled Skills, plugin manifests, and
+public Method packages.
+
+The Interf engine source is private. Do not add private source paths,
+maintainer docs, or internal repo instructions here.
+
+## What To Change Here
+
+- Public product docs: `README.md`, `SECURITY.md`, `TRADEMARKS.md`.
+- Agent Skills: `skills/interf/`.
+- Host plugin bundles: `plugins/`.
+- Public Method packages: `methods/`.
+
+## Public Method Packages
+
+Method packages are inspectable folders. Keep them standalone:
+
+- `method.json` declares the Build Plan stages and Artifact outputs.
+- `method.schema.json` declares the output contract.
+- `compile/stages/<stage>/SKILL.md` contains stage instructions.
+- `use/query/SKILL.md` tells agents how to read the portable context.
+- `improve/SKILL.md` tells Interf how to revise the plan when checks fail.
+
+For the shipped default Method, edit `methods/interf-default/`.
+
+## Agent Skills And Plugins
+
+Keep `skills/interf/SKILL.md` as the canonical Skill.
+
+Plugin bundles should stay thin:
+
+- host manifest
+- copied Interf Skill when the host requires a local copy
+- MCP configuration that launches `interf mcp`
+
+The MCP server implementation ships inside `@interf/compiler`.
+
+## Before Opening A PR
+
+Check that public docs do not reference private paths such as internal source
+trees, maintainer-only docs, or local machine paths.
+
+If you changed a Method package, test it with an installed `@interf/compiler`
+runtime before submitting the change.

package/public-repo/LICENSE.md

@@ -0,0 +1 @@
+© 2026 Interf Inc. All rights reserved. Use is subject to Interf's [Commercial Terms of Service](https://interf.com/legal/commercial-terms).