@chopin-ai/core 0.2.0 → 0.3.0

package/dist/layer/versions.d.ts

@@ -0,0 +1,71 @@
+import type { Layer } from "./layer.js";
+/** One thing the loop added to the layer, with where it came from and where it has passed the gate. */
+export interface LayerItem {
+    /** Stable across versions. */
+    id: string;
+    kind: "instruction" | "skill";
+    /** An instruction's text. */
+    text?: string;
+    /** A skill's name; its files are under `skills/<name>/` in the version. */
+    skill?: string;
+    /** Where it passed the gate: model references such as `provider/id`, and harness names. */
+    validated: {
+        models: string[];
+        harnesses: string[];
+    };
+    /** The kind of failure it answers and the certificate that admitted it. */
+    source: {
+        failure?: string;
+        certificate?: string;
+    };
+    pinned: boolean;
+    archived: boolean;
+    added: string;
+}
+/** What a session runs with, for choosing the items that apply to it. */
+export interface Runner {
+    model: string;
+    harness: string;
+    /** When true, an item applies on every model, not only those it passed the gate on. */
+    anyModel?: boolean;
+}
+/** Limits on what every session carries, so the layer cannot grow without bound. */
+export declare const LAYER_LIMITS: {
+    readonly residentTokens: 4000;
+    readonly skills: 30;
+};
+/**
+ * The loop's versions of the layer under one directory: each version is a whole directory written beside the others
+ * and published by renaming it into place, so a crash never leaves a half-written one, and `current` names the one
+ * in use. Every change, including archiving and pinning, is a new version.
+ */
+export declare class LayerVersions {
+    readonly root: string;
+    constructor(root: string);
+    /** The version in use; 0 is the empty one. */
+    current(): Promise<number>;
+    items(version: number): Promise<LayerItem[]>;
+    directory(version: number): string;
+    /**
+     * A new version made from the current one: `edit` gives its items, and `files` writes (a string) or removes
+     * (`null`) files by their path in the version. The new version becomes current.
+     */
+    commit(edit: (items: LayerItem[]) => LayerItem[], files?: Readonly<Record<string, string | null>>): Promise<number>;
+    /** Makes `version` the one in use, by an atomic replace of the pointer. */
+    use(version: number): Promise<void>;
+    /** Whether `version` still holds exactly what was written when it was made. */
+    intact(version: number): Promise<boolean>;
+    /**
+     * When the version in use was changed after it was made, goes back to the newest earlier version that was not, and
+     * says which versions it moved between.
+     */
+    recover(): Promise<{
+        from: number;
+        to: number;
+    } | undefined>;
+    private versions;
+}
+/** The layer a session runs with: the hand-written `base`, then the loop's items that apply to `runner`. */
+export declare function effectiveLayer(base: Layer, versions: LayerVersions, version: number, runner: Runner): Promise<Layer>;
+/** What in `layer` exceeds the limits on what every session carries; empty when within them. */
+export declare function overLimits(layer: Layer): string[];

package/dist/layer/versions.js

@@ -0,0 +1,154 @@
+import { createHash } from "node:crypto";
+import { cp, mkdir, mkdtemp, readdir, readFile, rename, rm, writeFile } from "node:fs/promises";
+import { dirname, join, relative } from "node:path";
+import { loadSkills } from "./skills.js";
+/** Limits on what every session carries, so the layer cannot grow without bound. */
+export const LAYER_LIMITS = { residentTokens: 4000, skills: 30 };
+const ITEMS = "items.json";
+const CHECKSUM = "SHA256";
+const CURRENT = "current";
+/**
+ * The loop's versions of the layer under one directory: each version is a whole directory written beside the others
+ * and published by renaming it into place, so a crash never leaves a half-written one, and `current` names the one
+ * in use. Every change, including archiving and pinning, is a new version.
+ */
+export class LayerVersions {
+    root;
+    constructor(root) {
+        this.root = root;
+    }
+    /** The version in use; 0 is the empty one. */
+    async current() {
+        const text = await readFile(join(this.root, CURRENT), "utf8").catch(absent);
+        return text === undefined ? 0 : Number(text.trim());
+    }
+    async items(version) {
+        if (version === 0)
+            return [];
+        return JSON.parse(await readFile(join(this.directory(version), ITEMS), "utf8"));
+    }
+    directory(version) {
+        return join(this.root, `v${version}`);
+    }
+    /**
+     * A new version made from the current one: `edit` gives its items, and `files` writes (a string) or removes
+     * (`null`) files by their path in the version. The new version becomes current.
+     */
+    async commit(edit, files = {}) {
+        await mkdir(this.root, { recursive: true });
+        const from = await this.current();
+        const next = (await this.versions()).reduce((max, v) => Math.max(max, v), from) + 1;
+        const staging = await mkdtemp(join(this.root, ".staging-"));
+        try {
+            if (from !== 0)
+                await cp(this.directory(from), staging, { recursive: true });
+            for (const [path, text] of Object.entries(files)) {
+                const target = join(staging, path);
+                if (relative(staging, target).startsWith(".."))
+                    throw new Error(`${path} is outside the layer`);
+                if (text === null)
+                    await rm(target, { recursive: true, force: true });
+                else {
+                    await mkdir(dirname(target), { recursive: true });
+                    await writeFile(target, text);
+                }
+            }
+            await writeFile(join(staging, ITEMS), JSON.stringify(edit(await this.items(from)), null, 2));
+            await writeFile(join(staging, CHECKSUM), await checksum(staging));
+            await rename(staging, this.directory(next));
+        }
+        catch (error) {
+            await rm(staging, { recursive: true, force: true });
+            throw error;
+        }
+        await this.use(next);
+        return next;
+    }
+    /** Makes `version` the one in use, by an atomic replace of the pointer. */
+    async use(version) {
+        const temporary = join(this.root, `.${CURRENT}-${process.pid}`);
+        await writeFile(temporary, `${version}\n`);
+        await rename(temporary, join(this.root, CURRENT));
+    }
+    /** Whether `version` still holds exactly what was written when it was made. */
+    async intact(version) {
+        if (version === 0)
+            return true;
+        const recorded = await readFile(join(this.directory(version), CHECKSUM), "utf8").catch(absent);
+        return recorded !== undefined && recorded === (await checksum(this.directory(version)).catch(() => undefined));
+    }
+    /**
+     * When the version in use was changed after it was made, goes back to the newest earlier version that was not, and
+     * says which versions it moved between.
+     */
+    async recover() {
+        const from = await this.current();
+        if (await this.intact(from))
+            return undefined;
+        const earlier = (await this.versions()).filter((v) => v < from).sort((a, b) => b - a);
+        let to = 0;
+        for (const version of earlier) {
+            if (await this.intact(version)) {
+                to = version;
+                break;
+            }
+        }
+        await this.use(to);
+        return { from, to };
+    }
+    async versions() {
+        const names = await readdir(this.root).catch((error) => {
+            if (error.code === "ENOENT")
+                return [];
+            throw error;
+        });
+        return names.flatMap((name) => (/^v\d+$/.test(name) ? [Number(name.slice(1))] : []));
+    }
+}
+/** The layer a session runs with: the hand-written `base`, then the loop's items that apply to `runner`. */
+export async function effectiveLayer(base, versions, version, runner) {
+    const applies = (item) => !item.archived && item.validated.harnesses.includes(runner.harness) &&
+        (runner.anyModel === true || item.validated.models.includes(runner.model));
+    const items = (await versions.items(version)).filter(applies);
+    const texts = items.flatMap((item) => (item.kind === "instruction" && item.text !== undefined ? [item.text] : []));
+    const instructions = [base.instructions, ...texts].filter((text) => text !== undefined && text !== "").join("\n\n");
+    const names = new Set(items.flatMap((item) => (item.kind === "skill" && item.skill !== undefined ? [item.skill] : [])));
+    const problems = [];
+    const added = (await loadSkills(join(versions.directory(version), "skills"), problems)).filter((skill) => names.has(skill.name));
+    if (problems.length > 0)
+        throw new Error(`layer version ${version}: ${problems.join("; ")}`);
+    const skills = [...base.skills.filter((skill) => !names.has(skill.name)), ...added];
+    return { ...base, instructions: instructions === "" ? undefined : instructions, skills };
+}
+/** What in `layer` exceeds the limits on what every session carries; empty when within them. */
+export function overLimits(layer) {
+    const resident = (layer.instructions ?? "").length + layer.skills.reduce((n, s) => n + s.name.length + s.description.length + 4, 0);
+    const tokens = Math.ceil(resident / 4);
+    return [
+        ...(tokens > LAYER_LIMITS.residentTokens ? [`resident context is about ${tokens} tokens, over ${LAYER_LIMITS.residentTokens}`] : []),
+        ...(layer.skills.length > LAYER_LIMITS.skills ? [`${layer.skills.length} skills, over ${LAYER_LIMITS.skills}`] : []),
+    ];
+}
+async function checksum(directory) {
+    const hash = createHash("sha256");
+    for (const file of (await files(directory)).sort()) {
+        if (file === CHECKSUM)
+            continue;
+        hash.update(`${file}\0`).update(await readFile(join(directory, file))).update("\0");
+    }
+    return hash.digest("hex");
+}
+async function files(directory, prefix = "") {
+    const entries = await readdir(join(directory, prefix), { withFileTypes: true });
+    const nested = await Promise.all(entries.map((entry) => {
+        const path = prefix === "" ? entry.name : `${prefix}/${entry.name}`;
+        return entry.isDirectory() ? files(directory, path) : Promise.resolve([path]);
+    }));
+    return nested.flat();
+}
+function absent(error) {
+    if (error.code === "ENOENT")
+        return undefined;
+    throw error;
+}
+//# sourceMappingURL=versions.js.map

package/dist/layer/versions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"versions.js","sourceRoot":"","sources":["../../src/layer/versions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAChG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAEpD,OAAO,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AA4BrD,oFAAoF;AACpF,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAW,CAAC;AAE1E,MAAM,KAAK,GAAG,YAAY,CAAC;AAC3B,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAC1B,MAAM,OAAO,GAAG,SAAS,CAAC;AAE1B;;;;GAIG;AACH,MAAM,OAAO,aAAa;IACf,IAAI,CAAS;IAEtB,YAAY,IAAY;QACtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,8CAA8C;IAC9C,KAAK,CAAC,OAAO;QACX,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAAe;QACzB,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAgB,CAAC;IACjG,CAAC;IAED,SAAS,CAAC,OAAe;QACvB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,OAAO,EAAE,CAAC,CAAC;IACxC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,MAAM,CAAC,IAAyC,EAAE,KAAK,GAA4C,EAAE;QACzG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC;YACH,IAAI,IAAI,KAAK,CAAC;gBAAE,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACnC,IAAI,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAC;gBAChG,IAAI,IAAI,KAAK,IAAI;oBAAE,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;qBACjE,CAAC;oBACJ,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;oBAClD,MAAM,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;YACD,MAAM,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7F,MAAM,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;YAClE,MAAM,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACpD,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,GAAG,CAAC,OAAe;QACvB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,OAAO,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAChE,MAAM,SAAS,CAAC,SAAS,EAAE,GAAG,OAAO,IAAI,CAAC,CAAC;QAC3C,MAAM,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,+EAA+E;IAC/E,KAAK,CAAC,MAAM,CAAC,OAAe;QAC1B,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/B,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/F,OAAO,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACjH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO;QACX,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9C,MAAM,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtF,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;YAC9B,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/B,EAAE,GAAG,OAAO,CAAC;gBACb,MAAM;YACR,CAAC;QACH,CAAC;QACD,MAAM,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnB,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACtB,CAAC;IAEO,KAAK,CAAC,QAAQ;QACpB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;YAC5E,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,EAAE,CAAC;YACvC,MAAM,KAAK,CAAC;QACd,CAAC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvF,CAAC;CACF;AAED,4GAA4G;AAC5G,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAW,EAAE,QAAuB,EAAE,OAAe,EAAE,MAAc;IACxG,MAAM,OAAO,GAAG,CAAC,IAAe,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;QACtG,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnH,MAAM,YAAY,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxH,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACjI,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,OAAO,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAY,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;IAC7F,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,YAAY,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;AAC3F,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpI,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO;QACL,GAAG,CAAC,MAAM,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,6BAA6B,MAAM,iBAAiB,YAAY,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,iBAAiB,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACrH,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,SAAiB;IACvC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACnD,IAAI,IAAI,KAAK,QAAQ;YAAE,SAAS;QAChC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,KAAK,CAAC,SAAiB,EAAE,MAAM,GAAG,EAAE;IACjD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACrD,MAAM,IAAI,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC,CAAC;IACJ,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,MAAM,CAAC,KAA4B;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,KAAK,CAAC;AACd,CAAC"}

package/dist/meta.d.ts

@@ -13,6 +13,10 @@ export interface ChopinMeta {
     };
     /** Why the turn ended without an answer. */
     error?: string;
+    /** The harness's diagnostic codes on a tool result: `blocked` for a call a hook refused, `rejected` for one the user did. */
+    diagnostics?: string[];
+    /** A user-role message the harness added, such as a reminder or a command's output, rather than one the user wrote. */
+    injected?: boolean;
 }
 export declare function withChopinMeta<T extends object>(value: T, meta: ChopinMeta): T;
 export declare function chopinMeta(value: object): ChopinMeta | undefined;

package/dist/meta.js.map

@@ -1 +1 @@
-{"version":3,"file":"meta.js","sourceRoot":"","sources":["../src/meta.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC;AAapC,MAAM,UAAU,cAAc,CAAmB,KAAQ,EAAE,IAAgB;IACzE,MAAM,QAAQ,GAAI,KAA0B,CAAC,KAAK,CAAC;IACnD,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,OAAQ,KAA0B,CAAC,KAAK,EAAE,CAAC,QAAQ,CAA2B,CAAC;AACjF,CAAC"}
+{"version":3,"file":"meta.js","sourceRoot":"","sources":["../src/meta.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC;AAiBpC,MAAM,UAAU,cAAc,CAAmB,KAAQ,EAAE,IAAgB;IACzE,MAAM,QAAQ,GAAI,KAA0B,CAAC,KAAK,CAAC;IACnD,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,OAAQ,KAA0B,CAAC,KAAK,EAAE,CAAC,QAAQ,CAA2B,CAAC;AACjF,CAAC"}

package/dist/propose/brief.d.ts

@@ -0,0 +1,31 @@
+import type { FailureClass } from "../evidence/failures.js";
+import type { TranscriptEntry } from "../transcript.js";
+import type { Rejection } from "./rejections.js";
+/** A session the failure came from, with the lines where it happened in it. */
+export interface FailureSession {
+    session: string;
+    entries: readonly TranscriptEntry[];
+    lines: readonly number[];
+}
+export interface BriefInput {
+    failure: FailureClass;
+    /** Every session the failure came from; the change is tested at each of these failures. */
+    sessions: readonly FailureSession[];
+    /** What the user said to correct a step, by `session:line`. */
+    corrections: ReadonlyMap<string, string>;
+    /** Secret values to mask, besides the common secret formats. */
+    secrets: readonly string[];
+    rejections: readonly Rejection[];
+    /** The layer's items as they read now, by id. */
+    existing: readonly {
+        id: string;
+        text: string;
+    }[];
+}
+/**
+ * What a proposer works from: the kind of failure and every time it happened, each with the step to change marked
+ * and the user's correction of it, steps that went right for contrast, what was tried before and refused, and the
+ * layer as it is; one session alone does not show what they have in common. Everything from the sessions is
+ * redacted again here, whoever redacted it before.
+ */
+export declare function proposalBrief(input: BriefInput): string;

package/dist/propose/brief.js

@@ -0,0 +1,52 @@
+import { goodSteps } from "../evidence/points.js";
+import { redactTranscript } from "../evidence/sanitize.js";
+/** How many lines around a failure, and how many contrasting steps that went right, the proposer is shown. */
+const BEFORE = 20;
+const AFTER = 5;
+const CONTRASTS = 3;
+const ENTRY_CHARS = 2000;
+/**
+ * What a proposer works from: the kind of failure and every time it happened, each with the step to change marked
+ * and the user's correction of it, steps that went right for contrast, what was tried before and refused, and the
+ * layer as it is; one session alone does not show what they have in common. Everything from the sessions is
+ * redacted again here, whoever redacted it before.
+ */
+export function proposalBrief(input) {
+    const sessions = input.sessions.map((session) => ({ ...session, entries: redactTranscript(session.entries, input.secrets) }));
+    const clip = (entry) => {
+        const text = JSON.stringify(entry);
+        return text.length <= ENTRY_CHARS ? text : `${text.slice(0, ENTRY_CHARS)}…`;
+    };
+    const excerpt = (entries, line, before, after) => entries.slice(Math.max(0, line - before), line + after + 1).map((entry, i) => {
+        const at = Math.max(0, line - before) + i;
+        return `${at === line ? ">>> " : ""}${at}: ${clip(entry)}`;
+    });
+    const times = sessions.flatMap((session, n) => session.lines.map((line) => {
+        const correction = input.corrections.get(`${session.session}:${line}`);
+        return [
+            `### Session ${n + 1}, line ${line}`,
+            ...(correction === undefined ? [] : [`The user corrected this step: ${correction}`]),
+            ...excerpt(session.entries, line, BEFORE, AFTER),
+        ];
+    }));
+    const good = sessions.flatMap((session, n) => {
+        const line = goodSteps(session.entries, session.lines).filter((at) => !session.lines.includes(at)).at(-1);
+        return line === undefined ? [] : [[`### Session ${n + 1}, line ${line}`, ...excerpt(session.entries, line, 3, 1)]];
+    }).slice(0, CONTRASTS).flat();
+    return [
+        "## The failure",
+        JSON.stringify(input.failure.signature),
+        `Seen ${times.length} times in ${sessions.length} sessions, every one below; your change is tested at each.`,
+        "## Each time it happened",
+        "The step marked >>> is the one your change must alter. What follows it, such as the user's correction, had not "
+            + "happened when the agent took that step, so the condition your change names must be visible before it.",
+        ...times.flat(),
+        "## Steps that went right",
+        ...(good.length === 0 ? ["(none)"] : good),
+        "## Tried before and refused",
+        ...(input.rejections.length === 0 ? ["(nothing yet)"] : input.rejections.map((rejection) => `- ${JSON.stringify(rejection.text)}: ${rejection.reason}${rejection.prediction === undefined ? "" : ` (it predicted: ${rejection.prediction})`}`)),
+        "## The layer now",
+        ...(input.existing.length === 0 ? ["(empty)"] : input.existing.map((item) => `- ${item.id}: ${JSON.stringify(item.text)}`)),
+    ].join("\n");
+}
+//# sourceMappingURL=brief.js.map

package/dist/propose/brief.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"brief.js","sourceRoot":"","sources":["../../src/propose/brief.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAI3D,8GAA8G;AAC9G,MAAM,MAAM,GAAG,EAAE,CAAC;AAClB,MAAM,KAAK,GAAG,CAAC,CAAC;AAChB,MAAM,SAAS,GAAG,CAAC,CAAC;AACpB,MAAM,WAAW,GAAG,IAAI,CAAC;AAsBzB;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,KAAiB;IAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9H,MAAM,IAAI,GAAG,CAAC,KAAkC,EAAE,EAAE;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC;IAC9E,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,OAAmC,EAAE,IAAY,EAAE,MAAc,EAAE,KAAa,EAAE,EAAE,CACnG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC3E,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1C,OAAO,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxE,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC;QACvE,OAAO;YACL,eAAe,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE;YACpC,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iCAAiC,UAAU,EAAE,CAAC,CAAC;YACpF,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC;SACjD,CAAC;IACJ,CAAC,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE;QAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1G,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrH,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9B,OAAO;QACL,gBAAgB;QAChB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QACvC,QAAQ,KAAK,CAAC,MAAM,aAAa,QAAQ,CAAC,MAAM,4DAA4D;QAC5G,0BAA0B;QAC1B,iHAAiH;cAC7G,uGAAuG;QAC3G,GAAG,KAAK,CAAC,IAAI,EAAE;QACf,0BAA0B;QAC1B,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1C,6BAA6B;QAC7B,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACzF,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,SAAS,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC;QACrJ,kBAAkB;QAClB,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;KAC5H,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/propose/candidate.d.ts

@@ -0,0 +1,15 @@
+import type { TextCandidate } from "../judge/audit.js";
+/** A proposal as the proposer hands it in: one change to the layer's text, where it applies, and what it should do. */
+export interface Proposal {
+    candidate: TextCandidate;
+    /** A skill's name, which is also its directory; only for a skill. */
+    skill?: string;
+    scope: "global" | "project";
+    /** What the change should fix, and what it might break, said so it can be checked. */
+    prediction: string;
+}
+/**
+ * The proposal in a proposer's reply, a single JSON object; `undefined` when the reply is not exactly one well-formed
+ * proposal, since a proposal that has to be guessed at is not tested.
+ */
+export declare function parseProposal(reply: string): Proposal | undefined;

package/dist/propose/candidate.js

@@ -0,0 +1,30 @@
+const SKILL_NAME = /^[a-z0-9]+(-[a-z0-9]+)*$/;
+/**
+ * The proposal in a proposer's reply, a single JSON object; `undefined` when the reply is not exactly one well-formed
+ * proposal, since a proposal that has to be guessed at is not tested.
+ */
+export function parseProposal(reply) {
+    let value;
+    try {
+        value = JSON.parse(reply.slice(reply.indexOf("{"), reply.lastIndexOf("}") + 1));
+    }
+    catch {
+        return undefined;
+    }
+    const { kind, text, skill, scope, prediction, revises } = value;
+    if (kind !== "instruction" && kind !== "skill")
+        return undefined;
+    if (typeof text !== "string" || text.trim() === "")
+        return undefined;
+    if (scope !== "global" && scope !== "project")
+        return undefined;
+    if (typeof prediction !== "string" || prediction.trim() === "")
+        return undefined;
+    if (revises !== undefined && revises !== null && typeof revises !== "string")
+        return undefined;
+    if (kind === "skill" && (typeof skill !== "string" || !SKILL_NAME.test(skill) || skill.length > 64))
+        return undefined;
+    const candidate = { kind, text, ...(typeof revises === "string" && { revises }) };
+    return { candidate, ...(kind === "skill" && { skill: skill }), scope, prediction };
+}
+//# sourceMappingURL=candidate.js.map

package/dist/propose/candidate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"candidate.js","sourceRoot":"","sources":["../../src/propose/candidate.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,GAAG,0BAA0B,CAAC;AAE9C;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,IAAI,KAA8B,CAAC;IACnC,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAA4B,CAAC;IAC7G,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAChE,IAAI,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IACjE,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IACrE,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChE,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IACjF,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC/F,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IACtH,MAAM,SAAS,GAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACjG,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,KAAK,EAAE,KAAe,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAC/F,CAAC"}

package/dist/propose/rejections.d.ts

@@ -0,0 +1,35 @@
+/** After this many refusals a kind of failure is set aside for the user. */
+export declare const SHELVE_AFTER = 3;
+/** A proposal that was refused: the kind of failure it answered, what it changed, and why it was refused. */
+export interface Rejection {
+    failure: string;
+    candidate: string;
+    text: string;
+    reason: string;
+    /** The prediction it made that did not hold, when one did not. */
+    prediction?: string;
+    /**
+     * The model on which the failure did not recur, so no change could be shown to mend it there, how many failures of
+     * the kind were known then, the criteria they were judged by, and how many continuations told it; more failures,
+     * other criteria, or fewer continuations than a full measure are reason to look again.
+     */
+    notRecurring?: {
+        model: string;
+        failures: number;
+        criteria?: string;
+        tried?: number;
+    };
+    at: string;
+}
+/** Refused proposals as JSON Lines, read back so the next proposal for the same failure sees what was tried. */
+export declare class Rejections {
+    readonly path: string;
+    constructor(path: string);
+    record(rejection: Omit<Rejection, "at">): Promise<void>;
+    for(failure: string): Promise<Rejection[]>;
+    /**
+     * Whether the kind of failure, now with `failures` failures judged by `criteria`, is set aside on `model`: refused
+     * often enough, or found not to recur there while it had as many, judged the same way.
+     */
+    shelved(failure: string, model: string, failures: number, criteria?: string): Promise<boolean>;
+}

package/dist/propose/rejections.js

@@ -0,0 +1,35 @@
+import { appendFile, mkdir, readFile } from "node:fs/promises";
+import { dirname } from "node:path";
+import { RECURRENCE } from "../gate/daily.js";
+/** After this many refusals a kind of failure is set aside for the user. */
+export const SHELVE_AFTER = 3;
+/** Refused proposals as JSON Lines, read back so the next proposal for the same failure sees what was tried. */
+export class Rejections {
+    path;
+    constructor(path) {
+        this.path = path;
+    }
+    async record(rejection) {
+        await mkdir(dirname(this.path), { recursive: true });
+        await appendFile(this.path, `${JSON.stringify({ ...rejection, at: new Date().toISOString() })}\n`);
+    }
+    async for(failure) {
+        const text = await readFile(this.path, "utf8").catch((error) => {
+            if (error.code === "ENOENT")
+                return "";
+            throw error;
+        });
+        return text.split("\n").filter((line) => line !== "").map((line) => JSON.parse(line))
+            .filter((rejection) => rejection.failure === failure);
+    }
+    /**
+     * Whether the kind of failure, now with `failures` failures judged by `criteria`, is set aside on `model`: refused
+     * often enough, or found not to recur there while it had as many, judged the same way.
+     */
+    async shelved(failure, model, failures, criteria = "") {
+        const refused = await this.for(failure);
+        return refused.length >= SHELVE_AFTER || refused.some(({ notRecurring }) => notRecurring?.model === model && failures <= notRecurring.failures && (notRecurring.criteria ?? "") === criteria
+            && (notRecurring.tried ?? 0) >= RECURRENCE.tries);
+    }
+}
+//# sourceMappingURL=rejections.js.map

package/dist/propose/rejections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rejections.js","sourceRoot":"","sources":["../../src/propose/rejections.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC;AAmB9B,gHAAgH;AAChH,MAAM,OAAO,UAAU;IACZ,IAAI,CAAS;IAEtB,YAAY,IAAY;QACtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,SAAgC;QAC3C,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,SAAS,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACrG,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,OAAe;QACvB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;YACpF,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,EAAE,CAAC;YACvC,MAAM,KAAK,CAAC;QACd,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAc,CAAC;aAC/F,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO,CAAC,OAAe,EAAE,KAAa,EAAE,QAAgB,EAAE,QAAQ,GAAG,EAAE;QAC3E,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO,OAAO,CAAC,MAAM,IAAI,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CACzE,YAAY,EAAE,KAAK,KAAK,KAAK,IAAI,QAAQ,IAAI,YAAY,CAAC,QAAQ,IAAI,CAAC,YAAY,CAAC,QAAQ,IAAI,EAAE,CAAC,KAAK,QAAQ;eAC7G,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;CACF"}

package/dist/propose/skill.d.ts

@@ -0,0 +1,4 @@
+/** The name of the skill that teaches the proposer its method; it is part of the layer, so the loop can improve it. */
+export declare const PROPOSER_SKILL = "chopin-propose";
+/** The method a proposer starts with, before the loop has improved it. */
+export declare const DEFAULT_PROPOSER_SKILL = "---\nname: chopin-propose\ndescription: When asked to propose a change to the agent's own instructions from a failure it keeps making.\n---\nYou are improving the agent you are, from a kind of failure it has made in more than one session.\n\n1. Read every time the failure happened. At each marked step find the decision that went wrong: what the agent knew\n   then, what it did, and, from what followed, such as the user's correction, what it should have done instead.\n2. Find what the user wants in all of them, not in one alone. When the user corrected the agent, their words say\n   what they want and often why.\n3. Propose one change that would have altered every marked step: a short instruction, or one skill when the fix\n   needs steps or a check to run. Write it as\n   - what to do, said as what to do rather than what to avoid, naming concrete commands, files or checks rather\n     than giving general advice;\n   - when it applies: something the agent can see before it acts, said in general terms rather than in the words\n     of a request you read, and never the correction that came after;\n   - when it does not apply, if there is such a case;\n   - why, in the user's words when they gave a reason.\n   Prefer revising an item already in the layer when one covers the same ground; never add a second item with the\n   same role.\n4. Do not repeat a change that was tried and refused; learn from why it was refused.\n5. Keep it general: never name the tasks or sessions you read, never hard-code their answers, and never tell the\n   agent to skip checks, force anything, delete, or widen its own permissions.\n6. Choose its scope: \"project\" when it only holds in this repository, \"global\" when it holds anywhere.\n7. Predict what it should fix and what it might break, in one or two sentences that a test could prove wrong.\n\nReply with only one JSON object:\n{\"kind\":\"instruction\" or \"skill\",\"text\":\"the instruction, or the skill's whole SKILL.md\",\"skill\":\"its name, for a\nskill\",\"scope\":\"global\" or \"project\",\"revises\":\"the id of the item it revises, or null\",\"prediction\":\"\u2026\"}\n";

package/dist/propose/skill.js

@@ -0,0 +1,34 @@
+/** The name of the skill that teaches the proposer its method; it is part of the layer, so the loop can improve it. */
+export const PROPOSER_SKILL = "chopin-propose";
+/** The method a proposer starts with, before the loop has improved it. */
+export const DEFAULT_PROPOSER_SKILL = `---
+name: ${PROPOSER_SKILL}
+description: When asked to propose a change to the agent's own instructions from a failure it keeps making.
+---
+You are improving the agent you are, from a kind of failure it has made in more than one session.
+
+1. Read every time the failure happened. At each marked step find the decision that went wrong: what the agent knew
+   then, what it did, and, from what followed, such as the user's correction, what it should have done instead.
+2. Find what the user wants in all of them, not in one alone. When the user corrected the agent, their words say
+   what they want and often why.
+3. Propose one change that would have altered every marked step: a short instruction, or one skill when the fix
+   needs steps or a check to run. Write it as
+   - what to do, said as what to do rather than what to avoid, naming concrete commands, files or checks rather
+     than giving general advice;
+   - when it applies: something the agent can see before it acts, said in general terms rather than in the words
+     of a request you read, and never the correction that came after;
+   - when it does not apply, if there is such a case;
+   - why, in the user's words when they gave a reason.
+   Prefer revising an item already in the layer when one covers the same ground; never add a second item with the
+   same role.
+4. Do not repeat a change that was tried and refused; learn from why it was refused.
+5. Keep it general: never name the tasks or sessions you read, never hard-code their answers, and never tell the
+   agent to skip checks, force anything, delete, or widen its own permissions.
+6. Choose its scope: "project" when it only holds in this repository, "global" when it holds anywhere.
+7. Predict what it should fix and what it might break, in one or two sentences that a test could prove wrong.
+
+Reply with only one JSON object:
+{"kind":"instruction" or "skill","text":"the instruction, or the skill's whole SKILL.md","skill":"its name, for a
+skill","scope":"global" or "project","revises":"the id of the item it revises, or null","prediction":"…"}
+`;
+//# sourceMappingURL=skill.js.map

package/dist/propose/skill.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"skill.js","sourceRoot":"","sources":["../../src/propose/skill.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,MAAM,CAAC,MAAM,cAAc,GAAG,gBAAgB,CAAC;AAE/C,0EAA0E;AAC1E,MAAM,CAAC,MAAM,sBAAsB,GAAG;QAC9B,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4BrB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@chopin-ai/core",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "description": "Harness-agnostic core: mutable-layer formats, ACP transcripts and the chopin command registry",
   "license": "Apache-2.0",
   "repository": {
@@ -23,7 +23,7 @@
   ],
   "dependencies": {
     "@agentclientprotocol/sdk": "^1.9.0",
-    "@chopin-ai/workspace": "^0.2.0",
+    "@chopin-ai/workspace": "^0.3.0",
     "yaml": "^2.9.1"
   }
 }