@smartmemory/stratum 0.3.0

package/dist/parallel/certificate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"certificate.js","sourceRoot":"","sources":["../../src/parallel/certificate.ts"],"names":[],"mappings":"AAMA;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAsB,EAAE,MAA+B;IACzF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACxE,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;IAEzC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CAAC,gCAAgC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,iBAAiB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QAC7C,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjD,IAAI,CAAC,UAAU;YAAE,OAAO,UAAU,CAAC;QACnC,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;QACnE,IAAI,eAAe,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;YAC9E,UAAU,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAG,MAAiB;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/parallel/evaluate.js

@@ -0,0 +1,73 @@
+import { validateCertificate } from "./certificate.js";
+/** Evaluate a non-pipeline parallel_dispatch result without mutating its input. */
+export function evaluateParallel(input) {
+    const [mergeStatusStr, conflictBounces] = normalizeMergeStatus(input.mergeStatus);
+    const bouncedTasks = [...input.gateBounces, ...conflictBounces];
+    const effectiveCert = input.certTemplate && input.agentIsClaude ? input.certTemplate : null;
+    const perTaskCertStrs = [];
+    const tasks = input.tasks.map((task) => {
+        if (task.status !== "complete" || effectiveCert === null)
+            return { ...task };
+        const violations = validateCertificate(effectiveCert, task.result ?? {});
+        if (violations.length === 0)
+            return { ...task };
+        perTaskCertStrs.push(`task '${task.task_id}' cert: ${violations.join("; ")}`);
+        return {
+            ...task,
+            status: "failed",
+            error: `cert validation: ${violations.join("; ")}`,
+            cert_violations: violations,
+        };
+    });
+    const completed = tasks.filter((task) => task.status === "complete");
+    // Non-pipeline skipped tasks remain failures so clients cannot bypass require:all.
+    const failed = tasks.filter((task) => task.status !== "complete");
+    const requireSatisfied = isRequireSatisfied(input.require, completed, failed);
+    const mergeOk = mergeStatusStr !== "conflict";
+    for (const bounce of bouncedTasks) {
+        if (bounce.reason === "gate_failed") {
+            perTaskCertStrs.push(`task '${bounce.taskId}' failed pre-merge gate \`${bounce.command}\` `
+                + `(exit ${pythonValue(bounce.exitCode)}) — diff NOT merged`);
+        }
+        else if (bounce.reason === "merge_conflict") {
+            const files = bounce.files.join(", ") || "(unknown files)";
+            perTaskCertStrs.push(`task '${bounce.taskId}' merge conflict on ${files}`);
+        }
+    }
+    const aggregate = {
+        tasks,
+        merge_status: mergeStatusStr,
+        completed,
+        failed,
+        outcome: requireSatisfied && mergeOk ? "complete" : "failed",
+    };
+    const evaluation = {
+        aggregate,
+        per_task_cert_strs: perTaskCertStrs,
+        bounced_tasks: bouncedTasks,
+        require: input.require,
+        completed,
+        failed,
+        require_satisfied: requireSatisfied,
+        merge_ok: mergeOk,
+    };
+    return { canAdvance: requireSatisfied && mergeOk, tasks, evaluation };
+}
+function normalizeMergeStatus(mergeStatus) {
+    if (typeof mergeStatus === "string")
+        return [mergeStatus, []];
+    return [mergeStatus.status ?? "clean", mergeStatus.bounced_tasks ?? []];
+}
+function isRequireSatisfied(require, completed, failed) {
+    if (require === "all")
+        return failed.length === 0;
+    if (require === "any")
+        return completed.length > 0;
+    if (typeof require === "number" && Number.isInteger(require))
+        return completed.length >= require;
+    return failed.length === 0;
+}
+function pythonValue(value) {
+    return value ?? "None";
+}
+//# sourceMappingURL=evaluate.js.map

package/dist/parallel/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../src/parallel/evaluate.ts"],"names":[],"mappings":"AACA,OAAO,EAAqB,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AA0C1E,mFAAmF;AACnF,MAAM,UAAU,gBAAgB,CAAC,KAA4B;IAK3D,MAAM,CAAC,cAAc,EAAE,eAAe,CAAC,GAAG,oBAAoB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,eAAe,CAAC,CAAC;IAChE,MAAM,aAAa,GAAG,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5F,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,aAAa,KAAK,IAAI;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;QAC7E,MAAM,UAAU,GAAG,mBAAmB,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QACzE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;QAEhD,eAAe,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,WAAW,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9E,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,oBAAoB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAClD,eAAe,EAAE,UAAU;SAC5B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACrE,mFAAmF;IACnF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAClE,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,cAAc,KAAK,UAAU,CAAC;IAE9C,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YACpC,eAAe,CAAC,IAAI,CAClB,SAAS,MAAM,CAAC,MAAM,6BAA6B,MAAM,CAAC,OAAO,KAAK;kBACpE,SAAS,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAC7D,CAAC;QACJ,CAAC;aAAM,IAAI,MAAM,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC;YAC3D,eAAe,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,uBAAuB,KAAK,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAsB;QACnC,KAAK;QACL,YAAY,EAAE,cAAc;QAC5B,SAAS;QACT,MAAM;QACN,OAAO,EAAE,gBAAgB,IAAI,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ;KAC7D,CAAC;IACF,MAAM,UAAU,GAAuB;QACrC,SAAS;QACT,kBAAkB,EAAE,eAAe;QACnC,aAAa,EAAE,YAAY;QAC3B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS;QACT,MAAM;QACN,iBAAiB,EAAE,gBAAgB;QACnC,QAAQ,EAAE,OAAO;KAClB,CAAC;IAEF,OAAO,EAAE,UAAU,EAAE,gBAAgB,IAAI,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAAiD;IAEjD,IAAI,OAAO,WAAW,KAAK,QAAQ;QAAE,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC9D,OAAO,CAAC,WAAW,CAAC,MAAM,IAAI,OAAO,EAAE,WAAW,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,kBAAkB,CACzB,OAA+B,EAC/B,SAAuB,EACvB,MAAoB;IAEpB,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IACnD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC,MAAM,IAAI,OAAO,CAAC;IACjG,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,KAAoB;IACvC,OAAO,KAAK,IAAI,MAAM,CAAC;AACzB,CAAC"}

package/dist/speckit/compiler.js

@@ -0,0 +1,162 @@
+import { readdir, readFile } from "node:fs/promises";
+import { basename, join, parse as parsePath } from "node:path";
+import { stringify } from "yaml";
+import { validateSpec } from "../ir/validate.js";
+export class SpeckitCompileError extends Error {
+    kind;
+    constructor(kind, message) {
+        super(message);
+        this.kind = kind;
+        this.name = "SpeckitCompileError";
+    }
+}
+const FILE_EXISTS_RE = /^file\s+(\S+)\s+exists?$/i;
+const FILE_CONTAINS_RE = /^file\s+(\S+)\s+contains?\s+(?:"([^"]+)"|'([^']+)'|(\S+))$/i;
+const TESTS_PASS_RE = /\btests?\b.*\bpass/i;
+const LINT_RE = /(no lint errors?|lint (passes?|clean))/i;
+export function criterionToEnsure(text) {
+    const criterion = text.trim();
+    const exists = FILE_EXISTS_RE.exec(criterion);
+    if (exists?.[1])
+        return { file_exists: exists[1] };
+    const contains = FILE_CONTAINS_RE.exec(criterion);
+    if (contains?.[1]) {
+        const substring = (contains[2] ?? contains[3] ?? contains[4]).replaceAll("\"", "\\\"");
+        return { file_contains: { path: contains[1], text: substring } };
+    }
+    if (TESTS_PASS_RE.test(criterion))
+        return { expr: "result.tests_pass == true" };
+    if (LINT_RE.test(criterion))
+        return { expr: "result.lint_clean == true" };
+    return null;
+}
+export function stepIdFromStem(stem) {
+    let slug = stem.toLowerCase().replace(/[^a-z0-9]/g, "_").replace(/^_+|_+$/g, "");
+    if (slug && !/^[a-z]/.test(slug))
+        slug = `t${slug}`;
+    return slug || "task";
+}
+export async function parseTaskFile(path) {
+    const lines = (await readFile(path, "utf8")).split(/\r?\n/);
+    let titleRaw = "";
+    let titleLineIndex = 0;
+    for (const [index, line] of lines.entries()) {
+        if (line.trimStart().startsWith("#")) {
+            titleRaw = line.trim().replace(/^#+\s*(?:Task:\s*)?/, "");
+            titleLineIndex = index;
+            break;
+        }
+    }
+    const isParallel = /\[P\]/i.test(titleRaw);
+    const title = titleRaw.replace(/\s*\[P\]\s*/gi, " ").trim();
+    const criteriaStart = lines.findIndex((line) => /^#+\s*Acceptance Criteria/i.test(line));
+    const description = lines.slice(titleLineIndex + 1, criteriaStart < 0 ? lines.length : criteriaStart).join("\n").trim();
+    const rawCriteria = [];
+    if (criteriaStart >= 0) {
+        for (const line of lines.slice(criteriaStart + 1)) {
+            const match = /^\s*-\s*\[[ xX]\]\s*(.+)/.exec(line);
+            if (match?.[1])
+                rawCriteria.push(match[1].trim());
+        }
+    }
+    const ensures = [];
+    const judgment = [];
+    let needsTestsPass = false;
+    let needsLintClean = false;
+    for (const criterion of rawCriteria) {
+        const ensure = criterionToEnsure(criterion);
+        if (ensure === null) {
+            judgment.push(criterion);
+            continue;
+        }
+        ensures.push(ensure);
+        if ("expr" in ensure && ensure.expr.includes("tests_pass"))
+            needsTestsPass = true;
+        if ("expr" in ensure && ensure.expr.includes("lint_clean"))
+            needsLintClean = true;
+    }
+    return {
+        filename: basename(path), stepId: stepIdFromStem(parsePath(path).name), title, description, isParallel,
+        ensures, judgment, needsTestsPass, needsLintClean,
+    };
+}
+export function buildDependencyGraph(tasks) {
+    const dependencies = {};
+    let lastSequential;
+    let currentParallelGroup = [];
+    for (const task of tasks) {
+        if (task.isParallel) {
+            dependencies[task.stepId] = lastSequential ? [lastSequential] : [];
+            currentParallelGroup.push(task.stepId);
+            continue;
+        }
+        const after = currentParallelGroup.length > 0 ? [...currentParallelGroup] : lastSequential ? [lastSequential] : [];
+        currentParallelGroup = [];
+        dependencies[task.stepId] = after;
+        lastSequential = task.stepId;
+    }
+    return dependencies;
+}
+export function buildSpec(tasks, flowName = "tasks") {
+    if (tasks.length === 0)
+        throw new SpeckitCompileError("no_tasks", "No task files (*.md) supplied");
+    // "entry" is the reserved string sentinel that names the entry flow; a computed
+    // { entry: name, [name]: flow } would overwrite it with the flow object.
+    if (flowName === "entry")
+        throw new SpeckitCompileError("compile_error", "flow_name 'entry' is reserved (it names the entry-flow sentinel); choose another name");
+    const dependencies = buildDependencyGraph(tasks);
+    const steps = tasks.map((task) => {
+        const intent = [task.title, ...(task.description ? [task.description] : []), ...(task.judgment.length ? [`Also verify: ${task.judgment.join("; ")}`] : [])].join("\n");
+        const after = dependencies[task.stepId] ?? [];
+        return {
+            id: task.stepId,
+            do: intent,
+            out: "TaskResult",
+            ensure: [...task.ensures, { expr: "result.done == true" }],
+            attempts: 3,
+            ...(after.length ? { after } : {}),
+        };
+    });
+    const lastTask = tasks.at(-1);
+    const flow = {
+        input: { project_context: "string" },
+        output: { from: `\${${lastTask.stepId}.output}`, contract: "TaskResult" },
+        steps,
+    };
+    return {
+        version: 1,
+        contracts: { TaskResult: { done: "boolean", tests_pass: "boolean?", lint_clean: "boolean?" } },
+        flows: { entry: flowName, [flowName]: flow },
+    };
+}
+export async function compileSpeckit(tasksDir, flowName = "tasks") {
+    const taskFiles = (await readdir(tasksDir)).filter((name) => name.endsWith(".md")).sort();
+    if (taskFiles.length === 0)
+        throw new SpeckitCompileError("no_tasks", `No task files (*.md) found in ${tasksDir}`);
+    const tasks = await Promise.all(taskFiles.map((filename) => parseTaskFile(join(tasksDir, filename))));
+    const seen = new Map();
+    for (const task of tasks) {
+        const first = seen.get(task.stepId);
+        if (first) {
+            throw new SpeckitCompileError("step_id_collision", `Step ID collision: '${task.stepId}' from '${task.filename}' conflicts with '${first}'. Rename one of the files to produce a distinct step ID.`);
+        }
+        seen.set(task.stepId, task.filename);
+    }
+    const spec = buildSpec(tasks, flowName);
+    // The tool's contract is "return YAML you pass straight to stratum_plan", so never
+    // return `ok` with un-plannable IR. The most common cause is `${...}` in task text:
+    // the TS engine interprets it as a reference (there is no literal escape), so
+    // ordinary shell/template snippets fail REF_INVALID. Surface that at compile time.
+    const validation = validateSpec(spec);
+    if (!validation.ok) {
+        const first = validation.errors[0];
+        const detail = first ? `${first.code} at ${first.path}: ${first.message}` : "unknown validation error";
+        throw new SpeckitCompileError("compile_error", `generated spec failed validation (${detail}). Task text containing '\${...}' template syntax is not supported by the TS engine's reference resolver — remove or reword it.`);
+    }
+    return {
+        yaml: stringify(spec),
+        flowName,
+        steps: tasks.map((task) => ({ id: task.stepId, title: task.title, parallel: task.isParallel, ensures: task.ensures, judgment: task.judgment })),
+    };
+}
+//# sourceMappingURL=compiler.js.map

package/dist/speckit/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../src/speckit/compiler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,WAAW,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAiCjD,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACnC,IAAI,CAAmB;IAEhC,YAAY,IAAsB,EAAE,OAAe;QACjD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAED,MAAM,cAAc,GAAG,2BAA2B,CAAC;AACnD,MAAM,gBAAgB,GAAG,6DAA6D,CAAC;AACvF,MAAM,aAAa,GAAG,qBAAqB,CAAC;AAC5C,MAAM,OAAO,GAAG,yCAAyC,CAAC;AAE1D,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACnD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClB,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxF,OAAO,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,CAAC;IAChF,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,CAAC;IAC1E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACjF,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;IACpD,OAAO,IAAI,IAAI,MAAM,CAAC;AACxB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrC,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC;YAC1D,cAAc,GAAG,KAAK,CAAC;YACvB,MAAM;QACR,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,MAAM,aAAa,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACzF,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACxH,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;YAAE,cAAc,GAAG,IAAI,CAAC;QAClF,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;YAAE,cAAc,GAAG,IAAI,CAAC;IACpF,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU;QACtG,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,cAAc;KAClD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAA4B;IAC/D,MAAM,YAAY,GAA6B,EAAE,CAAC;IAClD,IAAI,cAAkC,CAAC;IACvC,IAAI,oBAAoB,GAAa,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvC,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnH,oBAAoB,GAAG,EAAE,CAAC;QAC1B,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;QAClC,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/B,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAA4B,EAAE,QAAQ,GAAG,OAAO;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,mBAAmB,CAAC,UAAU,EAAE,+BAA+B,CAAC,CAAC;IACnG,gFAAgF;IAChF,yEAAyE;IACzE,IAAI,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,mBAAmB,CAAC,eAAe,EAAE,uFAAuF,CAAC,CAAC;IAClK,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,KAAK,GAAyB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACrD,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvK,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,MAAM;YACf,EAAE,EAAE,MAAM;YACV,GAAG,EAAE,YAAY;YACjB,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;YAC1D,QAAQ,EAAE,CAAC;YACX,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnC,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;IAC/B,MAAM,IAAI,GAAgB;QACxB,KAAK,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE;QACpC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC,MAAM,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE;QACzE,KAAK;KACN,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE;QAC9F,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE;KAC7C,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,QAAgB,EAAE,QAAQ,GAAG,OAAO;IACvE,MAAM,SAAS,GAAG,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,mBAAmB,CAAC,UAAU,EAAE,iCAAiC,QAAQ,EAAE,CAAC,CAAC;IACnH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,IAAI,mBAAmB,CAAC,mBAAmB,EAAE,uBAAuB,IAAI,CAAC,MAAM,WAAW,IAAI,CAAC,QAAQ,qBAAqB,KAAK,2DAA2D,CAAC,CAAC;QACtM,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxC,mFAAmF;IACnF,oFAAoF;IACpF,8EAA8E;IAC9E,mFAAmF;IACnF,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,0BAA0B,CAAC;QACvG,MAAM,IAAI,mBAAmB,CAAC,eAAe,EAAE,qCAAqC,MAAM,iIAAiI,CAAC,CAAC;IAC/N,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;QACrB,QAAQ;QACR,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;KAChJ,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,47 @@
+{
+  "name": "@smartmemory/stratum",
+  "version": "0.3.0",
+  "description": "Stratum engine — typed, resumable, postcondition-enforced workflows for AI agents (TypeScript port)",
+  "type": "module",
+  "bin": {
+    "stratum": "./dist/cli/stratum.js",
+    "stratum-mcp": "./dist/mcp/main.js"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": ">=22.15"
+  },
+  "scripts": {
+    "build": "node scripts/prepare-dist.mjs --clean && tsc -p tsconfig.build.json && node scripts/prepare-dist.mjs",
+    "prepack": "npm run build",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "@ai-sdk/anthropic": "^4.0.11",
+    "@ai-sdk/openai": "^4.0.11",
+    "@anthropic-ai/claude-agent-sdk": "0.3.206",
+    "@modelcontextprotocol/sdk": "^1.29.0",
+    "@openai/codex-sdk": "0.144.3",
+    "ai": "^7.0.19",
+    "js-tiktoken": "^1.0.21",
+    "yaml": "^2.9.0",
+    "zod": "^3.25.0"
+  },
+  "overrides": {
+    "@anthropic-ai/sdk": "0.110.0",
+    "@anthropic-ai/claude-agent-sdk": {
+      "zod": "$zod"
+    }
+  },
+  "devDependencies": {
+    "@types/node": "^22.15.0",
+    "typescript": "^5.8.0",
+    "vitest": "^3.2.0"
+  }
+}