@interf/compiler 0.4.1 → 0.5.1

package/dist/lib/validate-workspace.js

@@ -1,407 +0,0 @@
-import { existsSync } from "node:fs";
-import { join } from "node:path";
-import { countFilesRecursive, listFilesRecursive } from "./filesystem.js";
-import { discoverSourceFiles } from "./discovery.js";
-import { resolveSourceFolderPath } from "./interf.js";
-import { readJsonFileUnchecked } from "./parse.js";
-import { workspaceHomeIsShaped } from "./workspace-home.js";
-import { WorkspaceInventorySchema, WorkspaceStateSchema, } from "./schema.js";
-import { readWorkspaceConfig, validateSynthFiles, countBrokenWikilinks, asNumber, isOutputMarkdownFile, } from "./validate.js";
-import { readInventoryFiles, readInventoryTotal, } from "./validate-helpers.js";
-import { workspaceInterfConfigPath, workspaceRuntimeRoot, } from "./workspace-paths.js";
-export function validateWorkspace(dirPath) {
-    const config = readWorkspaceConfig(dirPath);
-    const summaryFiles = listFilesRecursive(join(dirPath, "summaries"), isOutputMarkdownFile);
-    const summaryValidation = validateSynthFiles(summaryFiles);
-    const brokenLinks = countBrokenWikilinks(dirPath, [join(dirPath, "summaries"), join(dirPath, "knowledge")], [join(dirPath, "summaries"), join(dirPath, "knowledge")]);
-    return {
-        config_present: config.present,
-        config_valid: config.valid,
-        config_type_match: config.typeMatch(),
-        summary_frontmatter_valid: summaryValidation.invalid_frontmatter === 0,
-        abstracts_valid: summaryValidation.short_abstracts === 0,
-        invalid_frontmatter: summaryValidation.invalid_frontmatter,
-        short_abstracts: summaryValidation.short_abstracts,
-        broken_links: brokenLinks,
-    };
-}
-export function validateWorkspaceSummarize(dirPath) {
-    const config = readWorkspaceConfig(dirPath);
-    const sourcePath = resolveSourceFolderPath(dirPath, config.value);
-    const discovery = discoverSourceFiles(sourcePath, dirPath);
-    const sourceTotal = discovery.totalCount;
-    const summariesPresent = existsSync(join(dirPath, "summaries"));
-    const summaryFiles = listFilesRecursive(join(dirPath, "summaries"), isOutputMarkdownFile);
-    const summaryValidation = validateSynthFiles(summaryFiles);
-    const summarized = summaryFiles.length;
-    const runtimeRoot = workspaceRuntimeRoot(dirPath);
-    const statePath = join(runtimeRoot, "state.json");
-    const inventoryPath = join(runtimeRoot, "inventory.json");
-    const statePresent = existsSync(statePath);
-    const inventoryPresent = existsSync(inventoryPath);
-    const state = statePresent
-        ? readJsonFileUnchecked(statePath, "workspace state")
-        : null;
-    const inventory = inventoryPresent
-        ? readJsonFileUnchecked(inventoryPath, "workspace inventory")
-        : null;
-    const inventoryValid = inventory !== null && WorkspaceInventorySchema.safeParse(inventory).success;
-    const inventoryFilesByShape = readInventoryFiles(inventory);
-    const inventoryFiles = inventoryFilesByShape.files;
-    const inventoryTotal = readInventoryTotal(inventory, inventoryFilesByShape);
-    const sourceCovered = Math.min(sourceTotal, summarized);
-    const toSummarize = Math.max(0, sourceTotal - sourceCovered);
-    const required = sourceTotal > 0 || summarized > 0;
-    const checks = {
-        config_present: config.present,
-        config_valid: config.valid,
-        config_type_match: config.typeMatch(),
-        summaries_present: summariesPresent,
-        state_present: statePresent,
-        state_valid: state !== null && WorkspaceStateSchema.safeParse(state).success,
-        inventory_present: inventoryPresent,
-        inventory_valid: inventoryValid,
-        inventory_complete: Boolean(state?.inventory_complete) === true,
-        inventory_matches_summaries: inventoryValid && inventoryTotal === summarized && inventoryFiles.length === summarized,
-        state_covers_summaries: asNumber(state?.summarized) >= summarized &&
-            typeof state?.last_summarize === "string" &&
-            state.last_summarize.length > 0,
-        full_source_coverage: toSummarize === 0,
-        summary_frontmatter_valid: summaryValidation.invalid_frontmatter === 0,
-        abstracts_valid: summaryValidation.short_abstracts === 0,
-    };
-    const errors = [];
-    if (!checks.config_present)
-        errors.push(`Missing ${workspaceInterfConfigPath(dirPath)}.`);
-    else if (!checks.config_valid)
-        errors.push(`Could not parse ${workspaceInterfConfigPath(dirPath)}.`);
-    else if (!checks.config_type_match)
-        errors.push("Config is not a workspace.");
-    if (required && !checks.summaries_present)
-        errors.push("Missing summaries/ directory.");
-    if (required && !checks.state_present)
-        errors.push("Missing .interf/runtime/state.json.");
-    else if (required && !checks.state_valid)
-        errors.push("Could not parse .interf/runtime/state.json.");
-    if (required && !checks.inventory_present)
-        errors.push("Missing .interf/runtime/inventory.json.");
-    else if (required && !checks.inventory_valid)
-        errors.push("Could not parse .interf/runtime/inventory.json or it has the wrong shape.");
-    if (required && checks.inventory_present && checks.inventory_valid && !checks.inventory_complete) {
-        errors.push("state.json does not mark inventory_complete.");
-    }
-    if (required && checks.inventory_present && checks.inventory_valid && !checks.inventory_matches_summaries) {
-        errors.push("Inventory does not match the summary set.");
-    }
-    if (required && checks.state_present && checks.state_valid && !checks.state_covers_summaries) {
-        errors.push("state.json does not prove summarize completion.");
-    }
-    if (!checks.full_source_coverage)
-        errors.push("Not every source file has a summary yet.");
-    if (!checks.summary_frontmatter_valid)
-        errors.push("Some summary files have invalid or incomplete frontmatter.");
-    if (!checks.abstracts_valid)
-        errors.push("Some summary files are missing a valid abstract block.");
-    const ok = errors.length === 0;
-    const summary = !required
-        ? "Summarize not required yet — no source files discovered."
-        : ok
-            ? `Summarize verified — ${sourceCovered}/${sourceTotal} source files are covered by valid summaries.`
-            : `Summarize failed — ${errors[0] ?? "incomplete summary coverage."}`;
-    return {
-        ok,
-        required,
-        summary,
-        counts: {
-            source_total: sourceTotal,
-            source_covered: sourceCovered,
-            summarized,
-            to_summarize: toSummarize,
-            invalid_frontmatter: summaryValidation.invalid_frontmatter,
-            short_abstracts: summaryValidation.short_abstracts,
-            inventory_total: inventoryTotal,
-        },
-        checks,
-        errors,
-    };
-}
-export function validateWorkspaceCompile(dirPath) {
-    const summarizeValidation = validateWorkspaceSummarize(dirPath);
-    const structureValidation = validateWorkspaceStructure(dirPath);
-    const config = readWorkspaceConfig(dirPath);
-    const runtimeRoot = workspaceRuntimeRoot(dirPath);
-    const statePath = join(runtimeRoot, "state.json");
-    const inventoryPath = join(runtimeRoot, "inventory.json");
-    const statePresent = existsSync(statePath);
-    const inventoryPresent = existsSync(inventoryPath);
-    const state = statePresent
-        ? readJsonFileUnchecked(statePath, "workspace state")
-        : null;
-    const inventory = inventoryPresent
-        ? readJsonFileUnchecked(inventoryPath, "workspace inventory")
-        : null;
-    const summarized = countFilesRecursive(join(dirPath, "summaries"));
-    const structured = Math.max(asNumber(state?.structured), asNumber(state?.compiled));
-    const shaped = Math.max(asNumber(state?.shaped), asNumber(state?.compiled));
-    const compiled = asNumber(state?.compiled);
-    const inventoryFilesByShape = readInventoryFiles(inventory);
-    const { legacyFiles: legacyInventoryFiles, summaryFiles: summaryInventoryFiles, entryFiles: entryInventoryFiles, files: inventoryFiles, } = inventoryFilesByShape;
-    const inventoryTotal = readInventoryTotal(inventory, inventoryFilesByShape);
-    const frontmatterScanned = legacyInventoryFiles.length > 0
-        ? inventoryFiles.filter((file) => file.frontmatter_scanned === true || file.frontmatter_read === true).length
-        : summaryInventoryFiles.length > 0
-            ? inventoryFiles.filter((file) => typeof file.file === "string" && typeof file.source === "string").length
-            : inventoryFiles.filter((file) => (typeof file.summary === "string" || typeof file.digest === "string") &&
-                typeof file.source === "string").length;
-    const abstractsRead = legacyInventoryFiles.length > 0
-        ? inventoryFiles.filter((file) => file.abstract_read === true).length
-        : summaryInventoryFiles.length > 0
-            ? inventoryFiles.filter((file) => file.abstract_read === true ||
-                (typeof file.abstract === "string" && file.abstract.trim().length > 0) ||
-                typeof file.status === "string" ||
-                typeof file.state === "string").length
-            : inventoryFiles.filter((file) => typeof file.state === "string").length;
-    const entryAbstractsRead = entryInventoryFiles.length > 0
-        ? entryInventoryFiles.filter((file) => typeof file.abstract === "string" && file.abstract.trim().length > 0).length
-        : 0;
-    const effectiveAbstractsRead = entryInventoryFiles.length > 0 && summaryInventoryFiles.length === 0 && legacyInventoryFiles.length === 0
-        ? Math.max(abstractsRead, entryAbstractsRead)
-        : abstractsRead;
-    const fullReads = asNumber(state?.full_reads);
-    const entityFiles = countFilesRecursive(join(dirPath, "knowledge", "entities"));
-    const claimFiles = countFilesRecursive(join(dirPath, "knowledge", "claims"));
-    const indexFiles = countFilesRecursive(join(dirPath, "knowledge", "indexes"));
-    const outputs = entityFiles + claimFiles + indexFiles;
-    const homePresent = existsSync(join(dirPath, "home.md"));
-    const homeShaped = workspaceHomeIsShaped(dirPath);
-    const brokenLinks = countBrokenWikilinks(dirPath, [join(dirPath, "summaries"), join(dirPath, "knowledge"), join(dirPath, "home.md")], [join(dirPath, "summaries"), join(dirPath, "knowledge"), join(dirPath, "home.md")]);
-    const required = structureValidation.required || homePresent || shaped > 0 || compiled > 0 || inventoryPresent;
-    const checks = {
-        config_present: config.present,
-        config_valid: config.valid,
-        config_type_match: config.typeMatch(),
-        summarize_complete: summarizeValidation.ok && summarizeValidation.required,
-        structure_complete: structureValidation.ok && structureValidation.required,
-        state_present: statePresent,
-        state_valid: state !== null && WorkspaceStateSchema.safeParse(state).success,
-        inventory_present: inventoryPresent,
-        inventory_valid: inventory !== null && WorkspaceInventorySchema.safeParse(inventory).success,
-        inventory_complete: Boolean(state?.inventory_complete) === true,
-        inventory_matches_summaries: inventoryTotal === summarized && inventoryFiles.length === summarized,
-        frontmatter_inventory_complete: frontmatterScanned === summarized,
-        abstracts_cover_summaries: asNumber(state?.abstracts_read) >= summarized && effectiveAbstractsRead >= summarized,
-        shaped_complete: shaped >= summarized &&
-            summarized > 0 &&
-            typeof state?.last_shape === "string" &&
-            state.last_shape.length > 0,
-        compiled_complete: compiled >= summarized &&
-            summarized > 0 &&
-            typeof state?.last_compile === "string" &&
-            state.last_compile.length > 0,
-        outputs_present: outputs > 0,
-        home_present: homePresent,
-        home_shaped: homeShaped,
-        links_valid: brokenLinks === 0,
-    };
-    const errors = [];
-    if (!checks.config_present)
-        errors.push(`Missing ${workspaceInterfConfigPath(dirPath)}.`);
-    else if (!checks.config_valid)
-        errors.push(`Could not parse ${workspaceInterfConfigPath(dirPath)}.`);
-    else if (!checks.config_type_match)
-        errors.push("Config is not a workspace.");
-    if (!checks.summarize_complete)
-        errors.push("Workspace summarize is incomplete or invalid.");
-    if (!checks.structure_complete)
-        errors.push("Workspace structure is incomplete or invalid.");
-    if (!checks.state_present)
-        errors.push("Missing .interf/runtime/state.json.");
-    else if (!checks.state_valid)
-        errors.push("Could not parse .interf/runtime/state.json.");
-    if (!checks.inventory_present)
-        errors.push("Missing .interf/runtime/inventory.json.");
-    else if (!checks.inventory_valid)
-        errors.push("Could not parse .interf/runtime/inventory.json or it has the wrong shape.");
-    if (checks.inventory_present && checks.inventory_valid && !checks.inventory_complete) {
-        errors.push("state.json does not mark inventory_complete.");
-    }
-    if (checks.inventory_present && checks.inventory_valid && !checks.inventory_matches_summaries) {
-        errors.push("Inventory does not match the summary set.");
-    }
-    if (checks.inventory_present && checks.inventory_valid && !checks.frontmatter_inventory_complete) {
-        errors.push("Not every summary is marked frontmatter_scanned in inventory.");
-    }
-    if (checks.state_present && checks.state_valid && !checks.abstracts_cover_summaries) {
-        errors.push("Abstract review does not cover the full summary set.");
-    }
-    if (checks.state_present && checks.state_valid && !checks.shaped_complete) {
-        errors.push("state.json does not prove final workspace shaping.");
-    }
-    if (checks.state_present && checks.state_valid && !checks.compiled_complete) {
-        errors.push("state.json compiled count does not cover the full summary set.");
-    }
-    if (!checks.outputs_present)
-        errors.push("Workspace compile outputs are missing or empty.");
-    if (!checks.home_present)
-        errors.push("Workspace home.md is missing.");
-    if (checks.home_present && !checks.home_shaped) {
-        errors.push("Workspace home.md still contains the uncompiled scaffold placeholder.");
-    }
-    if (!checks.links_valid)
-        errors.push("Some knowledge notes contain broken wikilinks.");
-    const ok = required ? errors.length === 0 : true;
-    const summary = !required
-        ? "Workspace compile not required yet — no summaries exist yet."
-        : ok
-            ? `Workspace compile verified — ${compiled}/${summarized} summaries shaped and compiled, ${entityFiles} entities, ${claimFiles} claims.`
-            : `Workspace compile failed — ${errors[0] ?? "incomplete compile."}`;
-    return {
-        ok,
-        required,
-        summary,
-        counts: {
-            source_total: summarizeValidation.counts.source_total,
-            summarized,
-            structured,
-            shaped,
-            compiled,
-            inventory_total: inventoryTotal,
-            frontmatter_scanned: frontmatterScanned,
-            abstracts_read: Math.max(asNumber(state?.abstracts_read), effectiveAbstractsRead),
-            full_reads: fullReads,
-            entity_files: entityFiles,
-            claim_files: claimFiles,
-            index_files: indexFiles,
-            outputs,
-        },
-        checks,
-        errors,
-    };
-}
-export function validateWorkspaceStructure(dirPath) {
-    const summarizeValidation = validateWorkspaceSummarize(dirPath);
-    const config = readWorkspaceConfig(dirPath);
-    const runtimeRoot = workspaceRuntimeRoot(dirPath);
-    const statePath = join(runtimeRoot, "state.json");
-    const inventoryPath = join(runtimeRoot, "inventory.json");
-    const statePresent = existsSync(statePath);
-    const inventoryPresent = existsSync(inventoryPath);
-    const state = statePresent
-        ? readJsonFileUnchecked(statePath, "workspace state")
-        : null;
-    const inventory = inventoryPresent
-        ? readJsonFileUnchecked(inventoryPath, "workspace inventory")
-        : null;
-    const summarized = countFilesRecursive(join(dirPath, "summaries"));
-    const structured = Math.max(asNumber(state?.structured), asNumber(state?.compiled));
-    const inventoryFilesByShape = readInventoryFiles(inventory);
-    const { legacyFiles: legacyInventoryFiles, summaryFiles: summaryInventoryFiles, entryFiles: entryInventoryFiles, files: inventoryFiles, } = inventoryFilesByShape;
-    const inventoryTotal = readInventoryTotal(inventory, inventoryFilesByShape);
-    const frontmatterScanned = legacyInventoryFiles.length > 0
-        ? inventoryFiles.filter((file) => file.frontmatter_scanned === true || file.frontmatter_read === true).length
-        : summaryInventoryFiles.length > 0
-            ? inventoryFiles.filter((file) => typeof file.file === "string" && typeof file.source === "string").length
-            : inventoryFiles.filter((file) => (typeof file.summary === "string" || typeof file.digest === "string") &&
-                typeof file.source === "string").length;
-    const abstractsRead = legacyInventoryFiles.length > 0
-        ? inventoryFiles.filter((file) => file.abstract_read === true).length
-        : summaryInventoryFiles.length > 0
-            ? inventoryFiles.filter((file) => file.abstract_read === true ||
-                (typeof file.abstract === "string" && file.abstract.trim().length > 0) ||
-                typeof file.status === "string" ||
-                typeof file.state === "string").length
-            : inventoryFiles.filter((file) => typeof file.state === "string").length;
-    const entryAbstractsRead = entryInventoryFiles.length > 0
-        ? entryInventoryFiles.filter((file) => typeof file.abstract === "string" && file.abstract.trim().length > 0).length
-        : 0;
-    const effectiveAbstractsRead = entryInventoryFiles.length > 0 && summaryInventoryFiles.length === 0 && legacyInventoryFiles.length === 0
-        ? Math.max(abstractsRead, entryAbstractsRead)
-        : abstractsRead;
-    const entityFiles = countFilesRecursive(join(dirPath, "knowledge", "entities"));
-    const claimFiles = countFilesRecursive(join(dirPath, "knowledge", "claims"));
-    const indexFiles = countFilesRecursive(join(dirPath, "knowledge", "indexes"));
-    const outputs = entityFiles + claimFiles + indexFiles;
-    const brokenLinks = countBrokenWikilinks(dirPath, [join(dirPath, "summaries"), join(dirPath, "knowledge")], [join(dirPath, "summaries"), join(dirPath, "knowledge")]);
-    const required = summarizeValidation.required || outputs > 0 || structured > 0 || inventoryPresent;
-    const checks = {
-        config_present: config.present,
-        config_valid: config.valid,
-        config_type_match: config.typeMatch(),
-        summarize_complete: summarizeValidation.ok && summarizeValidation.required,
-        state_present: statePresent,
-        state_valid: state !== null && WorkspaceStateSchema.safeParse(state).success,
-        inventory_present: inventoryPresent,
-        inventory_valid: inventory !== null && WorkspaceInventorySchema.safeParse(inventory).success,
-        inventory_complete: Boolean(state?.inventory_complete) === true,
-        inventory_matches_summaries: inventoryTotal === summarized && inventoryFiles.length === summarized,
-        frontmatter_inventory_complete: frontmatterScanned === summarized,
-        abstracts_cover_summaries: asNumber(state?.abstracts_read) >= summarized && effectiveAbstractsRead >= summarized,
-        structured_complete: structured >= summarized &&
-            summarized > 0 &&
-            typeof state?.last_structure === "string" &&
-            state.last_structure.length > 0,
-        outputs_present: outputs > 0,
-        links_valid: brokenLinks === 0,
-    };
-    const errors = [];
-    if (!checks.config_present)
-        errors.push(`Missing ${workspaceInterfConfigPath(dirPath)}.`);
-    else if (!checks.config_valid)
-        errors.push(`Could not parse ${workspaceInterfConfigPath(dirPath)}.`);
-    else if (!checks.config_type_match)
-        errors.push("Config is not a workspace.");
-    if (!checks.summarize_complete)
-        errors.push("Workspace summarize is incomplete or invalid.");
-    if (!checks.state_present)
-        errors.push("Missing .interf/runtime/state.json.");
-    else if (!checks.state_valid)
-        errors.push("Could not parse .interf/runtime/state.json.");
-    if (!checks.inventory_present)
-        errors.push("Missing .interf/runtime/inventory.json.");
-    else if (!checks.inventory_valid)
-        errors.push("Could not parse .interf/runtime/inventory.json or it has the wrong shape.");
-    if (checks.inventory_present && checks.inventory_valid && !checks.inventory_complete) {
-        errors.push("state.json does not mark inventory_complete.");
-    }
-    if (checks.inventory_present && checks.inventory_valid && !checks.inventory_matches_summaries) {
-        errors.push("Inventory does not match the summary set.");
-    }
-    if (checks.inventory_present && checks.inventory_valid && !checks.frontmatter_inventory_complete) {
-        errors.push("Not every summary is marked frontmatter_scanned in inventory.");
-    }
-    if (checks.state_present && checks.state_valid && !checks.abstracts_cover_summaries) {
-        errors.push("Abstract review does not cover the full summary set.");
-    }
-    if (checks.state_present && checks.state_valid && !checks.structured_complete) {
-        errors.push("state.json does not prove workspace structure completion.");
-    }
-    if (!checks.outputs_present)
-        errors.push("Workspace structure outputs are missing or empty.");
-    if (!checks.links_valid)
-        errors.push("Some knowledge notes contain broken wikilinks.");
-    const ok = required ? errors.length === 0 : true;
-    const summary = !required
-        ? "Workspace structure not required yet — no summaries exist yet."
-        : ok
-            ? `Workspace structure verified — ${structured}/${summarized} summaries structured, ${entityFiles} entities, ${claimFiles} claims.`
-            : `Workspace structure failed — ${errors[0] ?? "incomplete structure."}`;
-    return {
-        ok,
-        required,
-        summary,
-        counts: {
-            source_total: summarizeValidation.counts.source_total,
-            summarized,
-            structured,
-            inventory_total: inventoryTotal,
-            frontmatter_scanned: frontmatterScanned,
-            abstracts_read: Math.max(asNumber(state?.abstracts_read), effectiveAbstractsRead),
-            entity_files: entityFiles,
-            claim_files: claimFiles,
-            index_files: indexFiles,
-            outputs,
-        },
-        checks,
-        errors,
-    };
-}

package/dist/lib/workflow-abi.js

@@ -1,181 +0,0 @@
-export const WORKSPACE_CONTRACT_TYPES = [
-    "workspace-file-evidence",
-    "workspace-knowledge-structure",
-    "workspace-query-shape",
-];
-export const WORKSPACE_ZONE_KINDS = [
-    "directory",
-    "file",
-    "runtime",
-];
-export const WORKSPACE_CONTRACT_FAMILY_METADATA = {
-    "workspace-file-evidence": {
-        order: 0,
-        bundledSkill: "compile/stages/summarize",
-    },
-    "workspace-knowledge-structure": {
-        order: 1,
-        bundledSkill: "compile/stages/structure",
-    },
-    "workspace-query-shape": {
-        order: 2,
-        bundledSkill: "compile/stages/shape",
-    },
-};
-export const BUILTIN_WORKSPACE_STAGE_IDS = {
-    SUMMARIZE: "summarize",
-    STRUCTURE: "structure",
-    SHAPE: "shape",
-};
-export const BUILTIN_WORKSPACE_ZONE_IDS = {
-    RAW: "raw",
-    SUMMARIES: "summaries",
-    KNOWLEDGE_ENTITIES: "knowledge-entities",
-    KNOWLEDGE_CLAIMS: "knowledge-claims",
-    KNOWLEDGE_INDEXES: "knowledge-indexes",
-    HOME: "home",
-    RUNTIME: "runtime",
-};
-export const BUILTIN_WORKSPACE_ZONE_SPECS = [
-    {
-        id: BUILTIN_WORKSPACE_ZONE_IDS.RAW,
-        path: "raw",
-        kind: "directory",
-        required: true,
-        description: "Workspace-local raw snapshot copied from the dataset for direct evidence and verification.",
-    },
-    {
-        id: BUILTIN_WORKSPACE_ZONE_IDS.SUMMARIES,
-        path: "summaries",
-        kind: "directory",
-        required: true,
-        description: "Per-file evidence notes produced by file-evidence stages.",
-    },
-    {
-        id: BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_ENTITIES,
-        path: "knowledge/entities",
-        kind: "directory",
-        required: true,
-        description: "Canonical entity notes produced by knowledge-structure stages.",
-    },
-    {
-        id: BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_CLAIMS,
-        path: "knowledge/claims",
-        kind: "directory",
-        required: true,
-        description: "Claim notes produced by knowledge-structure stages.",
-    },
-    {
-        id: BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_INDEXES,
-        path: "knowledge/indexes",
-        kind: "directory",
-        required: true,
-        description: "Retrieval indexes and navigation notes produced by structure and shape stages.",
-    },
-    {
-        id: BUILTIN_WORKSPACE_ZONE_IDS.HOME,
-        path: "home.md",
-        kind: "file",
-        required: true,
-        description: "Primary entrypoint note for agents using the compiled workspace.",
-    },
-    {
-        id: BUILTIN_WORKSPACE_ZONE_IDS.RUNTIME,
-        path: ".interf/runtime",
-        kind: "runtime",
-        required: true,
-        description: "CLI-owned runtime state, health, stage contracts, and proof artifacts.",
-    },
-];
-export const BUILTIN_WORKSPACE_STAGE_ACCESS_PATTERNS = [
-    {
-        id: BUILTIN_WORKSPACE_STAGE_IDS.SUMMARIZE,
-        label: "Summarize",
-        description: "Turn source files into per-file summaries.",
-        contractType: "workspace-file-evidence",
-        skillDir: "summarize",
-        reads: [
-            BUILTIN_WORKSPACE_ZONE_IDS.RAW,
-            BUILTIN_WORKSPACE_ZONE_IDS.RUNTIME,
-        ],
-        writes: [
-            BUILTIN_WORKSPACE_ZONE_IDS.SUMMARIES,
-        ],
-    },
-    {
-        id: BUILTIN_WORKSPACE_STAGE_IDS.STRUCTURE,
-        label: "Structure",
-        description: "Build the cross-file knowledge structure from the summaries.",
-        contractType: "workspace-knowledge-structure",
-        skillDir: "structure",
-        reads: [
-            BUILTIN_WORKSPACE_ZONE_IDS.SUMMARIES,
-            BUILTIN_WORKSPACE_ZONE_IDS.RUNTIME,
-        ],
-        writes: [
-            BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_ENTITIES,
-            BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_CLAIMS,
-            BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_INDEXES,
-        ],
-    },
-    {
-        id: BUILTIN_WORKSPACE_STAGE_IDS.SHAPE,
-        label: "Shape",
-        description: "Shape the final workspace around the saved focus and truth checks.",
-        contractType: "workspace-query-shape",
-        skillDir: "shape",
-        reads: [
-            BUILTIN_WORKSPACE_ZONE_IDS.RAW,
-            BUILTIN_WORKSPACE_ZONE_IDS.SUMMARIES,
-            BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_ENTITIES,
-            BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_CLAIMS,
-            BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_INDEXES,
-            BUILTIN_WORKSPACE_ZONE_IDS.RUNTIME,
-        ],
-        writes: [
-            BUILTIN_WORKSPACE_ZONE_IDS.KNOWLEDGE_INDEXES,
-            BUILTIN_WORKSPACE_ZONE_IDS.HOME,
-        ],
-    },
-];
-export function workspaceContractOrder(contractType) {
-    return WORKSPACE_CONTRACT_FAMILY_METADATA[contractType].order;
-}
-export function workspaceBundledSkillForContractType(contractType) {
-    return WORKSPACE_CONTRACT_FAMILY_METADATA[contractType].bundledSkill;
-}
-export function hasValidWorkspaceContractSequence(contractTypes) {
-    return contractTypes.every((contractType, index) => index === 0 ||
-        workspaceContractOrder(contractType) >= workspaceContractOrder(contractTypes[index - 1]));
-}
-export function listMissingWorkspaceContractTypes(contractTypes) {
-    return WORKSPACE_CONTRACT_TYPES.filter((contractType) => !contractTypes.includes(contractType));
-}
-export function validateWorkspaceContractSequence(contractTypes) {
-    const missing = listMissingWorkspaceContractTypes(contractTypes);
-    const orderValid = hasValidWorkspaceContractSequence(contractTypes);
-    return {
-        ok: missing.length === 0 && orderValid,
-        orderValid,
-        missing,
-    };
-}
-export function listBuiltinWorkspaceZoneSpecs() {
-    return BUILTIN_WORKSPACE_ZONE_SPECS.map((zone) => ({ ...zone }));
-}
-export function listBuiltinWorkspaceFallbackStages() {
-    return BUILTIN_WORKSPACE_STAGE_ACCESS_PATTERNS.map((stage) => ({
-        id: stage.id,
-        contract_type: stage.contractType,
-        reads: [...stage.reads],
-        writes: [...stage.writes],
-    }));
-}
-export function requiredWorkspaceZoneOwners(stages, zoneId) {
-    const writerContractTypes = new Set(BUILTIN_WORKSPACE_STAGE_ACCESS_PATTERNS
-        .filter((stage) => stage.writes.includes(zoneId))
-        .map((stage) => stage.contractType));
-    return Array.from(new Set(stages
-        .filter((stage) => writerContractTypes.has(stage.contractType))
-        .map((stage) => stage.id)));
-}

package/dist/lib/workspace-compile.d.ts

@@ -1,54 +0,0 @@
-import { type WorkflowExecutor } from "./executors.js";
-import { type SummarizePlan } from "./summarize-plan.js";
-import { type RuntimeStageContractDraft } from "./runtime.js";
-import { type RuntimeStageInstructions } from "./schema.js";
-import { type WorkspaceWorkflowId, type WorkflowStageDefinition } from "./workflow-definitions.js";
-import { type WorkflowReporter, type WorkflowStageResult } from "./workflow-helpers.js";
-export interface WorkspaceStageExecutionDefinition extends WorkflowStageDefinition {
-    contractType: "workspace-file-evidence" | "workspace-knowledge-structure" | "workspace-query-shape";
-}
-export interface WorkspaceSummarizeResult extends WorkflowStageResult {
-    skipped: boolean;
-    plan: SummarizePlan;
-}
-export interface WorkspaceCompileResult {
-    ok: boolean;
-    summarize: WorkspaceSummarizeResult;
-    structure: WorkflowStageResult | null;
-    shape: WorkflowStageResult | null;
-    compile: WorkflowStageResult | null;
-    failedStage: string | null;
-}
-export type StageShellRetentionMode = "on-failure" | "always";
-export declare function resolveWorkspaceContext(workspacePath: string): {
-    workspaceName: string;
-    sourcePath: string;
-    controlPath: string;
-    workflowId: WorkspaceWorkflowId;
-};
-export declare function workspaceExecutionStages(workflowId: WorkspaceWorkflowId, workspacePath: string): WorkspaceStageExecutionDefinition[];
-export declare function buildWorkspaceCompileContract(workspacePath: string, workflowId: WorkspaceWorkflowId, summaryCount: number, instructions: RuntimeStageInstructions, stageId?: string, stageSkillDir?: string, shapeInputPath?: string): RuntimeStageContractDraft;
-export declare function runWorkspaceSummarize(options: {
-    executor: WorkflowExecutor;
-    workspacePath: string;
-    sourcePath?: string;
-    reporter?: WorkflowReporter;
-    reportSummary?: boolean;
-    reportStep?: boolean;
-    stageDefinition?: WorkspaceStageExecutionDefinition;
-    fullPass?: boolean;
-}): Promise<WorkspaceSummarizeResult>;
-export declare function runWorkspaceCompile(options: {
-    executor: WorkflowExecutor;
-    workspacePath: string;
-    sourcePath?: string;
-    reporter?: WorkflowReporter;
-    reportStep?: boolean;
-    preserveStageShells?: StageShellRetentionMode;
-}): Promise<WorkflowStageResult>;
-export declare function compileWorkspace(options: {
-    executor: WorkflowExecutor;
-    workspacePath: string;
-    reporter?: WorkflowReporter;
-    preserveStageShells?: StageShellRetentionMode;
-}): Promise<WorkspaceCompileResult>;