@interf/compiler 0.1.12 → 0.2.0

package/dist/lib/runtime-acceptance.js

@@ -0,0 +1,123 @@
+import { existsSync, readFileSync, } from "node:fs";
+import { join } from "node:path";
+import { readJsonFileWithSchema } from "./parse.js";
+import { RuntimeStageContractSchema, } from "./schema.js";
+import { warnInterf } from "./logger.js";
+import { stageContractPath } from "./runtime-paths.js";
+function readWorkspaceJsonFile(dirPath, relativePath) {
+    const targetPath = join(dirPath, relativePath);
+    if (!existsSync(targetPath))
+        return null;
+    try {
+        const parsed = JSON.parse(readFileSync(targetPath, "utf8"));
+        return parsed && typeof parsed === "object" && !Array.isArray(parsed)
+            ? parsed
+            : null;
+    }
+    catch (error) {
+        warnInterf(`Warning: failed to read workspace JSON at ${targetPath}: ${error instanceof Error ? error.message : String(error)}`);
+        return null;
+    }
+}
+function readPathValue(record, keyPath) {
+    if (!record)
+        return undefined;
+    return keyPath
+        .split(".")
+        .filter((segment) => segment.length > 0)
+        .reduce((current, segment) => {
+        if (!current || typeof current !== "object" || Array.isArray(current))
+            return undefined;
+        return current[segment];
+    }, record);
+}
+function toFiniteNumber(value) {
+    if (typeof value !== "number" || !Number.isFinite(value))
+        return null;
+    return value;
+}
+function hasAcceptanceRules(acceptance) {
+    if (!acceptance)
+        return false;
+    return (acceptance.artifacts_exist?.length ?? 0) > 0 ||
+        (acceptance.state_truthy?.length ?? 0) > 0 ||
+        Object.keys(acceptance.state_equals_counts ?? {}).length > 0 ||
+        Object.keys(acceptance.state_at_least ?? {}).length > 0 ||
+        Object.keys(acceptance.state_at_least_counts ?? {}).length > 0;
+}
+export function validateStageContractAcceptance(dirPath, contract = null) {
+    const resolvedContract = contract ?? (() => {
+        const path = stageContractPath(dirPath);
+        if (!existsSync(path))
+            return null;
+        return readJsonFileWithSchema(path, "stage contract", RuntimeStageContractSchema);
+    })();
+    if (!resolvedContract) {
+        return {
+            ok: true,
+            summary: "No active stage contract found for acceptance validation.",
+            failures: [],
+        };
+    }
+    const acceptance = resolvedContract.acceptance;
+    if (!hasAcceptanceRules(acceptance)) {
+        return {
+            ok: true,
+            summary: "No additional stage acceptance criteria were declared.",
+            failures: [],
+        };
+    }
+    const failures = [];
+    const state = readWorkspaceJsonFile(dirPath, ".interf/state.json");
+    for (const relativePath of acceptance?.artifacts_exist ?? []) {
+        if (!existsSync(join(dirPath, relativePath))) {
+            failures.push(`Missing required artifact: ${relativePath}.`);
+        }
+    }
+    for (const keyPath of acceptance?.state_truthy ?? []) {
+        if (!readPathValue(state, keyPath)) {
+            failures.push(`Expected truthy state value at "${keyPath}".`);
+        }
+    }
+    for (const [keyPath, countKey] of Object.entries(acceptance?.state_equals_counts ?? {})) {
+        const actual = readPathValue(state, keyPath);
+        const expected = resolvedContract.counts[countKey];
+        if (typeof expected !== "number") {
+            failures.push(`Acceptance references missing contract count "${countKey}" for "${keyPath}".`);
+            continue;
+        }
+        if (actual !== expected) {
+            failures.push(`Expected state "${keyPath}" to equal count "${countKey}" (${expected}), got ${JSON.stringify(actual)}.`);
+        }
+    }
+    for (const [keyPath, minimum] of Object.entries(acceptance?.state_at_least ?? {})) {
+        const actual = toFiniteNumber(readPathValue(state, keyPath));
+        if (actual === null || actual < minimum) {
+            failures.push(`Expected state "${keyPath}" to be at least ${minimum}, got ${actual === null ? "non-numeric" : actual}.`);
+        }
+    }
+    for (const [keyPath, countKey] of Object.entries(acceptance?.state_at_least_counts ?? {})) {
+        const actual = toFiniteNumber(readPathValue(state, keyPath));
+        const expected = resolvedContract.counts[countKey];
+        if (typeof expected !== "number") {
+            failures.push(`Acceptance references missing contract count "${countKey}" for "${keyPath}".`);
+            continue;
+        }
+        if (actual === null || actual < expected) {
+            failures.push(`Expected state "${keyPath}" to be at least count "${countKey}" (${expected}), got ${actual === null ? "non-numeric" : actual}.`);
+        }
+    }
+    if (failures.length === 0) {
+        return {
+            ok: true,
+            summary: `Stage acceptance satisfied for ${resolvedContract.stage}.`,
+            failures: [],
+        };
+    }
+    return {
+        ok: false,
+        summary: `Stage acceptance failed for ${resolvedContract.stage}: ${failures.join(" ")}`,
+        failures,
+    };
+}
+//# sourceMappingURL=runtime-acceptance.js.map

package/dist/lib/runtime-acceptance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-acceptance.js","sourceRoot":"","sources":["../../src/lib/runtime-acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,YAAY,GACb,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAGL,0BAA0B,GAC3B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAGvD,SAAS,qBAAqB,CAC5B,OAAe,EACf,YAAoB;IAEpB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEzC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAY,CAAC;QACvE,OAAO,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YACnE,CAAC,CAAC,MAAiC;YACnC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,UAAU,CAAC,6CAA6C,UAAU,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACjI,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,MAAsC,EACtC,OAAe;IAEf,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,OAAO,OAAO;SACX,KAAK,CAAC,GAAG,CAAC;SACV,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;SACvC,MAAM,CAAU,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE;QACpC,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QACxF,OAAQ,OAAmC,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC,EAAE,MAAM,CAAC,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA8C;IACxE,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAC9B,OAAO,CAAC,UAAU,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAClD,CAAC,UAAU,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,OAAe,EACf,WAAwC,IAAI;IAE5C,MAAM,gBAAgB,GAAG,QAAQ,IAAI,CAAC,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,OAAO,sBAAsB,CAAC,IAAI,EAAE,gBAAgB,EAAE,0BAA0B,CAAC,CAAC;IACpF,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO;YACL,EAAE,EAAE,IAAI;YACR,OAAO,EAAE,2DAA2D;YACpE,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC;IAC/C,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,EAAE,EAAE,IAAI;YACR,OAAO,EAAE,wDAAwD;YACjE,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;IAEnE,KAAK,MAAM,YAAY,IAAI,UAAU,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QAC7D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC,8BAA8B,YAAY,GAAG,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,YAAY,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,mCAAmC,OAAO,IAAI,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,mBAAmB,IAAI,EAAE,CAAC,EAAE,CAAC;QACxF,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iDAAiD,QAAQ,UAAU,OAAO,IAAI,CAAC,CAAC;YAC9F,SAAS;QACX,CAAC;QACD,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,mBAAmB,OAAO,qBAAqB,QAAQ,MAAM,QAAQ,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,cAAc,IAAI,EAAE,CAAC,EAAE,CAAC;QAClF,MAAM,MAAM,GAAG,cAAc,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7D,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,OAAO,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,OAAO,oBAAoB,OAAO,SAAS,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3H,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,qBAAqB,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1F,MAAM,MAAM,GAAG,cAAc,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iDAAiD,QAAQ,UAAU,OAAO,IAAI,CAAC,CAAC;YAC9F,SAAS;QACX,CAAC;QACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,QAAQ,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,OAAO,2BAA2B,QAAQ,MAAM,QAAQ,UAAU,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAClJ,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,EAAE,EAAE,IAAI;YACR,OAAO,EAAE,kCAAkC,gBAAgB,CAAC,KAAK,GAAG;YACpE,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,OAAO;QACL,EAAE,EAAE,KAAK;QACT,OAAO,EAAE,+BAA+B,gBAAgB,CAAC,KAAK,KAAK,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACvF,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/lib/runtime-contracts.d.ts

@@ -0,0 +1,4 @@
+import { type RuntimeStageContractDraft } from "./runtime-types.js";
+import { type KnowledgeBaseSummarizeContractOptions } from "./runtime-types.js";
+export declare function buildKnowledgeBaseSummarizeContract(options: KnowledgeBaseSummarizeContractOptions): RuntimeStageContractDraft;
+//# sourceMappingURL=runtime-contracts.d.ts.map

package/dist/lib/runtime-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-contracts.d.ts","sourceRoot":"","sources":["../../src/lib/runtime-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,KAAK,qCAAqC,EAAE,MAAM,oBAAoB,CAAC;AAEhF,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,qCAAqC,GAC7C,yBAAyB,CA6D3B"}

package/dist/lib/runtime-contracts.js

@@ -0,0 +1,63 @@
+export function buildKnowledgeBaseSummarizeContract(options) {
+    const localSkillDocs = options.localSkillDocs ?? [];
+    const workflowNotes = options.workflowNotes ?? [];
+    return {
+        instructions: options.instructions,
+        counts: {
+            target_files: options.targetCount,
+            expected_summary_total: options.expectedSummaryTotal,
+            local_skill_docs: localSkillDocs.length,
+        },
+        ...(options.acceptance ? { acceptance: options.acceptance } : {}),
+        artifacts: {
+            reads: [
+                "interf.json",
+                options.planPath,
+                ".interf/source-access.json",
+                ...localSkillDocs,
+            ],
+            writes: [
+                "summaries/",
+                ".interf/inventory.json",
+            ],
+            verifies: [
+                "interf verify summarize --json",
+            ],
+        },
+        policies: {
+            execution_mode: "deterministic",
+            status_prefixes: ["STATUS:", "DONE:", "BLOCKED:", "ERROR:"],
+            notes: [
+                `Process only the files listed in ${options.planPath}.`,
+                `When ${options.planPath} includes \`targets[].output\`, write each summary to that exact relative path instead of inferring a filename.`,
+                `Source files live at ${options.sourcePath}.`,
+                "This is a knowledge-base file-evidence stage only. Do not do broad cross-file semantic weaving or ontology design here.",
+                "Write every summary as markdown under `summaries/` with a `.md` filename, even when the source file has another extension. If the source file already ends in `.md`, keep a single `.md` suffix instead of appending another one.",
+                "Use JSON frontmatter wrapped in `---` markers. Do not use YAML `key: value` frontmatter.",
+                "Use cautious, source-grounded titles. Summary filenames should describe what the file is or records without overstating uncertain conclusions.",
+                "If links are added, keep them minimal and source-grounded.",
+                "Do not precreate `.interf/inventory.json` with `touch` or placeholder writes. Write the final JSON document directly.",
+                "When updating `.interf/inventory.json`, rewrite the full JSON document in one whole-file write instead of appending or patching partial lines.",
+                "Do not use apply_patch or line-matched diffs on `.interf/inventory.json`. Replace the full document content in one write.",
+                "The CLI reconciles `.interf/state.json` and refreshes `.interf/health.json` after stage validation. Do not treat those files as stage-owned write targets for this stage.",
+                "Prefer the current inventory runtime shape: `.interf/inventory.json` should use `entries` plus `total`, with one object per source file containing at least `source`, `summary`, and a conservative status/state field. Do not invent new top-level inventory keys when the current shape already works.",
+                "Keep scratch extraction commands single-purpose and non-destructive. Do not use `rm`, wildcard cleanup, `;`, or `&&` chains during summarize.",
+                "If you need to verify raw access, inspect `.interf/source-access.json` and try one path from `suggested_checks` before assuming the source root is reachable. These checks are canonical absolute source-file paths.",
+                ...workflowNotes,
+                ...(localSkillDocs.length > 0
+                    ? [
+                        "Read any local instruction docs listed in the contract before processing source files.",
+                        options.instructions.effective_mode === "override"
+                            ? "Local docs replace the bundled file-evidence workflow for this run, but they still do not bypass per-file evidence capture, evidence weighting, required writes, or deterministic runtime reconciliation."
+                            : "Local docs can refine summary structure and file-evidence heuristics, but they do not bypass per-file evidence capture, evidence weighting, required proof artifacts, or deterministic runtime reconciliation.",
+                    ]
+                    : []),
+            ],
+            evidence_weighting: {
+                required_fields: ["source_kind", "evidence_tier", "truth_mode", "state"],
+                preserve_tiers: true,
+            },
+        },
+    };
+}
+//# sourceMappingURL=runtime-contracts.js.map

package/dist/lib/runtime-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-contracts.js","sourceRoot":"","sources":["../../src/lib/runtime-contracts.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,mCAAmC,CACjD,OAA8C;IAE9C,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;IACpD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;IAClD,OAAO;QACL,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,MAAM,EAAE;YACN,YAAY,EAAE,OAAO,CAAC,WAAW;YACjC,sBAAsB,EAAE,OAAO,CAAC,oBAAoB;YACpD,gBAAgB,EAAE,cAAc,CAAC,MAAM;SACxC;QACD,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,SAAS,EAAE;YACT,KAAK,EAAE;gBACL,aAAa;gBACb,OAAO,CAAC,QAAQ;gBAChB,4BAA4B;gBAC5B,GAAG,cAAc;aAClB;YACD,MAAM,EAAE;gBACN,YAAY;gBACZ,wBAAwB;aACzB;YACD,QAAQ,EAAE;gBACR,gCAAgC;aACjC;SACF;QACD,QAAQ,EAAE;YACR,cAAc,EAAE,eAAe;YAC/B,eAAe,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC;YAC3D,KAAK,EAAE;gBACL,oCAAoC,OAAO,CAAC,QAAQ,GAAG;gBACvD,QAAQ,OAAO,CAAC,QAAQ,iHAAiH;gBACzI,wBAAwB,OAAO,CAAC,UAAU,GAAG;gBAC7C,yHAAyH;gBACzH,mOAAmO;gBACnO,0FAA0F;gBAC1F,gJAAgJ;gBAChJ,4DAA4D;gBAC5D,uHAAuH;gBACvH,gJAAgJ;gBAChJ,2HAA2H;gBAC3H,2KAA2K;gBAC3K,0SAA0S;gBAC1S,+IAA+I;gBAC/I,sNAAsN;gBACtN,GAAG,aAAa;gBAChB,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;oBAC3B,CAAC,CAAC;wBACE,wFAAwF;wBACxF,OAAO,CAAC,YAAY,CAAC,cAAc,KAAK,UAAU;4BAChD,CAAC,CAAC,2MAA2M;4BAC7M,CAAC,CAAC,gNAAgN;qBACrN;oBACH,CAAC,CAAC,EAAE,CAAC;aACR;YACD,kBAAkB,EAAE;gBAClB,eAAe,EAAE,CAAC,aAAa,EAAE,eAAe,EAAE,YAAY,EAAE,OAAO,CAAC;gBACxE,cAAc,EAAE,IAAI;aACrB;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/lib/runtime-paths.d.ts

@@ -0,0 +1,8 @@
+export declare function runPath(dirPath: string): string;
+export declare function runHistoryPath(dirPath: string): string;
+export declare function stageContractPath(dirPath: string): string;
+export declare function logsDirPath(dirPath: string): string;
+export declare function promptLogPath(dirPath: string, runId: string): string;
+export declare function eventLogPath(dirPath: string, runId: string): string;
+export declare function statusLogPath(dirPath: string, runId: string): string;
+//# sourceMappingURL=runtime-paths.d.ts.map

package/dist/lib/runtime-paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-paths.d.ts","sourceRoot":"","sources":["../../src/lib/runtime-paths.ts"],"names":[],"mappings":"AAQA,wBAAgB,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpE;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEnE;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpE"}

package/dist/lib/runtime-paths.js

@@ -0,0 +1,28 @@
+import { join } from "node:path";
+import { STATE_DIR } from "./util.js";
+const RUN_FILE = "run.json";
+const RUN_HISTORY_FILE = "run-history.jsonl";
+const STAGE_CONTRACT_FILE = "stage-contract.json";
+const LOGS_DIR = "logs";
+export function runPath(dirPath) {
+    return join(dirPath, STATE_DIR, RUN_FILE);
+}
+export function runHistoryPath(dirPath) {
+    return join(dirPath, STATE_DIR, RUN_HISTORY_FILE);
+}
+export function stageContractPath(dirPath) {
+    return join(dirPath, STATE_DIR, STAGE_CONTRACT_FILE);
+}
+export function logsDirPath(dirPath) {
+    return join(dirPath, STATE_DIR, LOGS_DIR);
+}
+export function promptLogPath(dirPath, runId) {
+    return join(logsDirPath(dirPath), `${runId}.prompt.txt`);
+}
+export function eventLogPath(dirPath, runId) {
+    return join(logsDirPath(dirPath), `${runId}.events.ndjson`);
+}
+export function statusLogPath(dirPath, runId) {
+    return join(logsDirPath(dirPath), `${runId}.status.log`);
+}
+//# sourceMappingURL=runtime-paths.js.map

package/dist/lib/runtime-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-paths.js","sourceRoot":"","sources":["../../src/lib/runtime-paths.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,QAAQ,GAAG,UAAU,CAAC;AAC5B,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAC7C,MAAM,mBAAmB,GAAG,qBAAqB,CAAC;AAClD,MAAM,QAAQ,GAAG,MAAM,CAAC;AAExB,MAAM,UAAU,OAAO,CAAC,OAAe;IACrC,OAAO,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,mBAAmB,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,OAAO,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,KAAa;IAC1D,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAe,EAAE,KAAa;IACzD,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,gBAAgB,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,KAAa;IAC1D,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;AAC3D,CAAC"}

package/dist/lib/runtime-prompt.d.ts

@@ -0,0 +1,3 @@
+import { type RuntimeStageInstructions } from "./schema.js";
+export declare function buildStagePrompt(instructions: RuntimeStageInstructions, contractPath: string, statusLines: string[]): string;
+//# sourceMappingURL=runtime-prompt.d.ts.map

package/dist/lib/runtime-prompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-prompt.d.ts","sourceRoot":"","sources":["../../src/lib/runtime-prompt.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,KAAK,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAE5D,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,wBAAwB,EACtC,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EAAE,GACpB,MAAM,CAwDR"}

package/dist/lib/runtime-prompt.js

@@ -0,0 +1,59 @@
+import { existsSync, readFileSync, } from "node:fs";
+import { join } from "node:path";
+import { SKILLS_DIR } from "./config.js";
+export function buildStagePrompt(instructions, contractPath, statusLines) {
+    const bundledSkillPath = join(SKILLS_DIR, ...instructions.bundled_skill.split("/"), "SKILL.md");
+    const bundledSkillDoc = existsSync(bundledSkillPath)
+        ? readFileSync(bundledSkillPath, "utf8").trim()
+        : null;
+    const modeNotes = instructions.effective_mode === "override"
+        ? [
+            "Local stage instruction docs are authoritative for this run.",
+            "Do not fall back to bundled workflow heuristics unless the stage contract explicitly leaves room for them.",
+            "Interf still enforces the same required reads, writes, verifier outputs, and runtime reconciliation at stage close.",
+        ]
+        : instructions.effective_mode === "extend"
+            ? [
+                "Use the bundled stage instructions as the default workflow for this run.",
+                "Then apply any local stage instruction docs referenced by the contract as stage-specific extensions.",
+            ]
+            : [
+                "Use the bundled stage instructions as the default workflow for this run.",
+            ];
+    return [
+        `Interf built-in stage: ${instructions.bundled_skill}`,
+        "",
+        "This is an automated Interf stage run, not an open-ended chat session.",
+        "The user has already invoked this stage through the Interf CLI. Execute it now.",
+        "Do not ask what the user wants, offer help, list tools, or wait for another instruction.",
+        `Read \`${contractPath}\` first. It is the authoritative contract for this stage.`,
+        "Honor the contract's counts, artifact paths, and policies instead of inventing another workflow.",
+        "Read only the files named by the contract's `artifacts.reads` list plus any paths they explicitly direct you to open.",
+        "If the contract lists `instructions.local_docs`, open every one of those files before you write artifacts or declare the stage complete.",
+        "If `AGENTS.md` is listed in the contract, use it only for workspace routing that is directly relevant to this stage.",
+        "`.interf/run.json`, `.interf/state.json`, `.interf/health.json`, and `.interf/view-spec.json` are CLI-owned runtime artifacts. You may read them, but do not create, edit, or replace them unless the contract explicitly marks a different proof artifact as stage-owned.",
+        "If a contract-listed output file does not exist yet, create it in one whole-file write. Do not attempt patch-style edits against a missing runtime path.",
+        "Stay inside the current workspace. Do not try to open SDK repo docs, SDK source files, or other paths outside the workspace unless the stage contract explicitly requires them.",
+        instructions.effective_mode === "override"
+            ? "Do not depend on globally installed slash-command skills for this run. Local stage instruction docs are the primary workflow layer for this run."
+            : "Do not depend on globally installed slash-command skills for this run. Use the bundled stage instructions below as the default behavior.",
+        ...modeNotes,
+        "Do not narrate intentions, plans, or reasoning to the user.",
+        "Only emit user-visible updates that begin with STATUS:, DONE:, BLOCKED:, or ERROR:.",
+        "Those status lines are progress hints for the operator. The CLI decides stage completion from artifacts, validation, and reconcile checks rather than trusting status text alone.",
+        "Before any long-running raw inspection or shell-based helper step, emit a STATUS: line that names the current subtask.",
+        "If work stays in progress, do not remain silent for more than about one minute. Emit another STATUS: line when you switch files, page groups, targets, or extraction methods.",
+        "If you respond conversationally instead of executing the stage, the run will be treated as failed.",
+        "As soon as the required proof artifacts are complete, stop. Do not keep browsing or auditing after the contract is satisfied.",
+        ...statusLines,
+        ...(bundledSkillDoc && instructions.effective_mode !== "override"
+            ? [
+                "",
+                "Bundled Stage Instructions",
+                "==========================",
+                bundledSkillDoc,
+            ]
+            : []),
+    ].join("\n");
+}
+//# sourceMappingURL=runtime-prompt.js.map

package/dist/lib/runtime-prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-prompt.js","sourceRoot":"","sources":["../../src/lib/runtime-prompt.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,YAAY,GACb,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,MAAM,UAAU,gBAAgB,CAC9B,YAAsC,EACtC,YAAoB,EACpB,WAAqB;IAErB,MAAM,gBAAgB,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;IAChG,MAAM,eAAe,GAAG,UAAU,CAAC,gBAAgB,CAAC;QAClD,CAAC,CAAC,YAAY,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE;QAC/C,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,SAAS,GACb,YAAY,CAAC,cAAc,KAAK,UAAU;QACxC,CAAC,CAAC;YACE,8DAA8D;YAC9D,4GAA4G;YAC5G,qHAAqH;SACtH;QACH,CAAC,CAAC,YAAY,CAAC,cAAc,KAAK,QAAQ;YACxC,CAAC,CAAC;gBACE,0EAA0E;gBAC1E,sGAAsG;aACvG;YACH,CAAC,CAAC;gBACE,0EAA0E;aAC3E,CAAC;IAEV,OAAO;QACL,0BAA0B,YAAY,CAAC,aAAa,EAAE;QACtD,EAAE;QACF,wEAAwE;QACxE,iFAAiF;QACjF,0FAA0F;QAC1F,UAAU,YAAY,4DAA4D;QAClF,kGAAkG;QAClG,uHAAuH;QACvH,0IAA0I;QAC1I,sHAAsH;QACtH,4QAA4Q;QAC5Q,0JAA0J;QAC1J,iLAAiL;QACjL,YAAY,CAAC,cAAc,KAAK,UAAU;YACxC,CAAC,CAAC,kJAAkJ;YACpJ,CAAC,CAAC,0IAA0I;QAC9I,GAAG,SAAS;QACZ,6DAA6D;QAC7D,qFAAqF;QACrF,mLAAmL;QACnL,wHAAwH;QACxH,+KAA+K;QAC/K,oGAAoG;QACpG,+HAA+H;QAC/H,GAAG,WAAW;QACd,GAAG,CAAC,eAAe,IAAI,YAAY,CAAC,cAAc,KAAK,UAAU;YAC/D,CAAC,CAAC;gBACE,EAAE;gBACF,4BAA4B;gBAC5B,4BAA4B;gBAC5B,eAAe;aAChB;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/lib/runtime-reconcile.d.ts

@@ -0,0 +1,6 @@
+export declare function reconcileKnowledgeBaseSummarizeRun(dirPath: string, expectedSummaryTotal: number): boolean;
+export declare function reconcileKnowledgeBaseCompileRun(dirPath: string): boolean;
+export declare function reconcileInterfaceRetrieveRun(dirPath: string): boolean;
+export declare function reconcileInterfaceAnalyzeRun(dirPath: string): boolean;
+export declare function reconcileInterfaceCompileRun(dirPath: string): boolean;
+//# sourceMappingURL=runtime-reconcile.d.ts.map

package/dist/lib/runtime-reconcile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-reconcile.d.ts","sourceRoot":"","sources":["../../src/lib/runtime-reconcile.ts"],"names":[],"mappings":"AAiMA,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,oBAAoB,EAAE,MAAM,GAC3B,OAAO,CA6CT;AAED,wBAAgB,gCAAgC,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAqDzE;AAED,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CA6DtE;AAED,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CA8BrE;AAED,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAuDrE"}