@interf/compiler 0.3.0 → 0.3.2

package/skills/workspace/shape/SKILL.md

@@ -0,0 +1,15 @@
+# Workspace Shape
+
+Shape the final workspace surface around the workspace focus and saved questions.
+
+Requirements:
+- read the shaping input named in the stage contract
+- treat the shaping input as focus plus question text only
+- write `home.md` and any focused indexes needed under `knowledge/indexes/`
+- bias routing, prioritization, and navigation toward the job this workspace should answer well
+- use the existing knowledge structure instead of redoing extraction work
+- do not copy expected answers into the workspace
+- prefer better retrieval routes over speculative synthesis
+
+Output goal:
+- a final workspace surface that is easier for agents to navigate and use correctly

package/skills/workspace/structure/SKILL.md

@@ -0,0 +1,15 @@
+# Workspace Structure
+
+Build the cross-file knowledge structure from the summary set.
+
+Requirements:
+- read `summaries/` and `.interf/inventory.json`
+- write durable notes under `knowledge/entities/`, `knowledge/claims/`, and `knowledge/indexes/`
+- canonicalize entities, claims, categories, timelines, and other retrieval structure
+- use taxonomy and ontology only to improve retrieval, navigation, and evidence tracking
+- prefer small stable notes over one giant catch-all file
+- do not write `home.md` in this stage
+- do not copy expected answers from saved checks
+
+Output goal:
+- a reusable cross-file structure that later shaping can route through

package/skills/workspace/summarize/SKILL.md

@@ -0,0 +1,15 @@
+# Workspace Summarize
+
+Turn raw source files into per-file evidence notes under `summaries/`.
+
+Requirements:
+- process only the files listed in the stage contract
+- write one markdown summary per source file
+- use JSON frontmatter, not YAML
+- include `source`, `source_kind`, `evidence_tier`, `truth_mode`, `state`, and `abstract`
+- include a readable `## Abstract` block in the body
+- keep summaries source-grounded and conservative
+- do not do broad cross-file synthesis in this stage
+
+Output goal:
+- a clean per-file evidence layer the later stages can trust

package/dist/commands/benchmark.d.ts

@@ -1,3 +0,0 @@
-import type { CommandModule } from "yargs";
-export declare const benchmarkCommand: CommandModule;
-//# sourceMappingURL=benchmark.d.ts.map

package/dist/commands/benchmark.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"benchmark.d.ts","sourceRoot":"","sources":["../../src/commands/benchmark.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,OAAO,CAAC;AA6B3C,eAAO,MAAM,gBAAgB,EAAE,aA2E9B,CAAC"}

package/dist/commands/benchmark.js

@@ -1,83 +0,0 @@
-import chalk from "chalk";
-import * as p from "@clack/prompts";
-import { detectInterf, resolveSourceFolderPath, } from "../lib/interf.js";
-import { buildBenchmarkSpecFromSourceFolderConfig, loadSourceFolderConfig, SOURCE_FOLDER_CONFIG_FILE, } from "../lib/source-config.js";
-import { listBenchmarkTargets, runBenchmarkAuto, saveBenchmarkRun, } from "../lib/benchmark.js";
-import { resolveLocalExecutor } from "../lib/executors.js";
-import { addExecutionProfileOptions, executionProfileFromArgv, } from "../lib/execution-profile.js";
-function resolveBenchmarkSourcePath(cwd) {
-    const detected = detectInterf(cwd);
-    if (detected) {
-        return resolveSourceFolderPath(detected.path, detected.config);
-    }
-    return cwd;
-}
-export const benchmarkCommand = {
-    command: "benchmark",
-    describe: "Benchmark compiled workspaces against questions and expected answers",
-    builder: (yargs) => addExecutionProfileOptions(yargs),
-    handler: async (argv) => {
-        const cwd = process.cwd();
-        const detected = detectInterf(cwd);
-        const sourcePath = detected ? resolveSourceFolderPath(detected.path, detected.config) : cwd;
-        const config = loadSourceFolderConfig(sourcePath);
-        if (!config) {
-            process.exitCode = 1;
-            console.log(chalk.red(`  No ${SOURCE_FOLDER_CONFIG_FILE} found in ${sourcePath}.`));
-            console.log(chalk.dim("  Add checks first with `interf init` or by writing `interf.config.json`."));
-            return;
-        }
-        const spec = buildBenchmarkSpecFromSourceFolderConfig({
-            sourcePath,
-            targetName: detected?.config.name ?? null,
-        });
-        if (!spec) {
-            process.exitCode = 1;
-            console.log(chalk.red("  Could not derive a benchmark from interf.config.json."));
-            return;
-        }
-        const allTargets = listBenchmarkTargets(sourcePath);
-        const eligibleTargets = allTargets.filter((target) => target.eligible);
-        if (eligibleTargets.length === 0) {
-            process.exitCode = 1;
-            console.log(chalk.red("  No compiled workspaces are eligible to benchmark yet."));
-            console.log(chalk.dim("  Build a workspace first with `interf compile`."));
-            return;
-        }
-        let targets = eligibleTargets;
-        if (eligibleTargets.length > 1) {
-            const selected = await p.multiselect({
-                message: "Which workspaces?",
-                required: true,
-                options: eligibleTargets.map((target) => ({
-                    value: target.path,
-                    label: target.name,
-                    hint: target.summary,
-                })),
-            });
-            if (p.isCancel(selected))
-                return;
-            const selectedPaths = new Set(selected);
-            targets = eligibleTargets.filter((target) => selectedPaths.has(target.path));
-        }
-        const executionProfile = executionProfileFromArgv(argv);
-        const { executor } = resolveLocalExecutor({
-            executionProfile,
-            preflight: spec.cases.some((entry) => !entry.file || Boolean(entry.answer)),
-        });
-        const result = await runBenchmarkAuto(sourcePath, spec, targets, {
-            executor,
-        });
-        const runPath = saveBenchmarkRun(sourcePath, result);
-        console.log();
-        console.log(chalk.bold(`  ${result.benchmark.name}`));
-        console.log();
-        for (const target of result.results) {
-            const color = target.ok ? chalk.green : chalk.red;
-            console.log(color(`  ${target.target.name}: ${target.passedCases}/${target.totalCases} cases, ${target.passedChecks}/${target.totalChecks} checks`));
-        }
-        console.log();
-        console.log(chalk.dim(`  Saved run: ${runPath}`));
-    },
-};
-//# sourceMappingURL=benchmark.js.map

package/dist/commands/benchmark.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"benchmark.js","sourceRoot":"","sources":["../../src/commands/benchmark.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,KAAK,CAAC,MAAM,gBAAgB,CAAC;AAEpC,OAAO,EACL,YAAY,EACZ,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wCAAwC,EACxC,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AAErC,SAAS,0BAA0B,CAAC,GAAW;IAC7C,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAkB;IAC7C,OAAO,EAAE,WAAW;IACpB,QAAQ,EAAE,sEAAsE;IAChF,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC;IACrD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QACtB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC5F,MAAM,MAAM,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAElD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,yBAAyB,aAAa,UAAU,GAAG,CAAC,CAAC,CAAC;YACpF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,2EAA2E,CAAC,CAAC,CAAC;YACpG,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAG,wCAAwC,CAAC;YACpD,UAAU;YACV,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,IAAI,IAAI;SAC1C,CAAC,CAAC;QACH,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC,CAAC;YAClF,OAAO;QACT,CAAC;QAED,MAAM,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACvE,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC,CAAC;YAClF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAC,CAAC;YAC3E,OAAO;QACT,CAAC;QAED,IAAI,OAAO,GAAG,eAAe,CAAC;QAC9B,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC;gBACnC,OAAO,EAAE,mBAAmB;gBAC5B,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBACxC,KAAK,EAAE,MAAM,CAAC,IAAI;oBAClB,KAAK,EAAE,MAAM,CAAC,IAAI;oBAClB,IAAI,EAAE,MAAM,CAAC,OAAO;iBACrB,CAAC,CAAC;aACJ,CAAC,CAAC;YACH,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,OAAO;YACjC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAoB,CAAC,CAAC;YACpD,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/E,CAAC;QAED,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,IAA+B,CAAC,CAAC;QACnF,MAAM,EAAE,QAAQ,EAAE,GAAG,oBAAoB,CAAC;YACxC,gBAAgB;YAChB,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;SAC5E,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE;YAC/D,QAAQ;SACT,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAErD,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACtD,OAAO,CAAC,GAAG,EAAE,CAAC;QAEd,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;YAClD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,UAAU,WAAW,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,WAAW,SAAS,CAAC,CAAC,CAAC;QACvJ,CAAC;QAED,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,OAAO,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;CACF,CAAC"}