chopin-ai 0.2.0 → 0.3.0

package/dist/rsi/harvest.js

@@ -0,0 +1,274 @@
+import { createHash } from "node:crypto";
+import { appendFile, mkdir, readdir, readFile, stat } from "node:fs/promises";
+import { join } from "node:path";
+import { classify, CLASSIFIER_VERSION, correctedStep, failureStep, fromMessagesJsonl, groupFailures, kindAliases, kindKey, parseTranscript, proposeCorrections, redactTranscript, signals, signatureKey, } from "@chopin-ai/core";
+import { writeWhole } from "../home.js";
+const SEEN = `seen-v${CLASSIFIER_VERSION}.json`;
+const CORRECTIONS_READ = "corrections-read.json";
+const KINDS = `kinds-v${CLASSIFIER_VERSION}.json`;
+/** Sessions older than this are not read; what they would teach has been learned or no longer applies. */
+const RECENT_MS = 30 * 24 * 60 * 60_000;
+/** Every session log the loop may learn from: each chopin project's exported transcripts, and the configured logs. */
+export async function sessionSources(chopinHome, logDirectories, now = Date.now()) {
+    const projects = join(chopinHome, "projects");
+    const exported = (await names(projects)).map((project) => join(projects, project, "rsi", "transcripts"));
+    const found = [
+        ...(await Promise.all(exported.map((dir) => files(dir, "acp")))).flat(),
+        ...(await Promise.all(logDirectories.map((dir) => files(dir, "messages")))).flat(),
+    ];
+    const dated = await Promise.all(found.map(async (source) => ({ source, at: (await stat(source.path)).mtimeMs })));
+    // Newest first, so a pass cut short by the budget has learned from the latest work.
+    return dated.filter(({ at }) => at > now - RECENT_MS).sort((a, b) => b.at - a.at).map(({ source }) => source);
+}
+/** A short digest of a criterion text, which keys the verdicts judged by it. */
+export function digest(text) {
+    return createHash("sha256").update(text).digest("hex").slice(0, 16);
+}
+/** What the loop has gathered: the failures found, the corrections proposed, and which logs it has read as they were. */
+export class Evidence {
+    root;
+    constructor(root) {
+        this.root = root;
+    }
+    /** The failures named by the current rules; ones named by earlier rules are kept but no longer counted. */
+    async failures() {
+        return (await this.#lines("failures.jsonl")).filter((failure) => failure.classifier === CLASSIFIER_VERSION);
+    }
+    async addFailure(failure) {
+        await this.#append("failures.jsonl", failure);
+    }
+    /** Signals the current rules judged no failure, by session and line, so they are not asked about again. */
+    async dismissed() {
+        return new Set((await this.#lines("dismissed.jsonl"))
+            .filter((line) => line.classifier === CLASSIFIER_VERSION).map((line) => line.at));
+    }
+    async dismiss(session, line) {
+        await this.#append("dismissed.jsonl", { at: `${session}:${line}`, classifier: CLASSIFIER_VERSION });
+    }
+    /** The kinds of failure, each under the name its other names are merged into. */
+    async kinds() {
+        const { aliases } = await this.#kindNames();
+        return groupFailures(await this.failures(), new Map(Object.entries(aliases)));
+    }
+    /** Looks for kinds that are other names for one mechanism again, once a kind not looked at before has come in. */
+    async mergeKinds(complete) {
+        const named = [...await this.failures(), ...await this.pendingCorrections()];
+        const kinds = [...new Set(named.map((failure) => kindKey(failure.signature)))];
+        const before = await this.#kindNames();
+        if (kinds.every((kind) => before.reviewed.includes(kind)))
+            return;
+        const aliases = await kindAliases(kinds, complete, { reviewed: before.reviewed, aliases: new Map(Object.entries(before.aliases)) });
+        const reviewed = [...new Set([...before.reviewed, ...kinds])];
+        await this.#write(KINDS, { reviewed, aliases: Object.fromEntries(aliases) });
+    }
+    corrections() {
+        return this.#lines("corrections.jsonl");
+    }
+    async addCorrection(correction) {
+        await this.#append("corrections.jsonl", correction);
+    }
+    /** Corrections named by the current rules that the user has not answered yet. */
+    async pendingCorrections() {
+        const latest = new Map((await this.corrections()).map((correction) => [`${correction.session}:${correction.line}`, correction]));
+        return [...latest.values()].filter((correction) => correction.confirmed === undefined && correction.classifier === CLASSIFIER_VERSION);
+    }
+    /** The pending corrections by kind, under the same names failures are merged into, the most sessions first. */
+    async correctionKinds() {
+        const pending = await this.pendingCorrections();
+        const byPoint = new Map(pending.map((correction) => [`${correction.session}:${correction.line}`, correction]));
+        const { aliases } = await this.#kindNames();
+        return groupFailures(pending, new Map(Object.entries(aliases))).map((found) => ({
+            key: found.key, sessions: found.sessions, corrections: found.failures.map((failure) => byPoint.get(`${failure.session}:${failure.line}`)),
+        }));
+    }
+    /** Records the user's answer on a correction; the latest answer for a line wins. */
+    async answerCorrection(correction, confirmed) {
+        await this.#append("corrections.jsonl", { ...correction, confirmed });
+    }
+    /**
+     * What the user said to correct each step they confirmed a correction of, by session and line: the strongest
+     * evidence a failure has, and the criterion it is judged by.
+     */
+    async confirmedCorrections() {
+        const latest = new Map((await this.corrections()).map((correction) => [`${correction.session}:${correction.line}`, correction]));
+        const byStep = new Map();
+        for (const correction of latest.values()) {
+            if (correction.confirmed !== true)
+                continue;
+            const step = `${correction.session}:${correction.step}`;
+            byStep.set(step, [...byStep.get(step) ?? [], correction.summary]);
+        }
+        return new Map([...byStep].map(([step, summaries]) => [step, summaries.join("; ")]));
+    }
+    /** The criteria a kind's failures are judged by, as a digest: empty when none was named by the user's correction. */
+    async criteria(found) {
+        const corrections = await this.confirmedCorrections();
+        const named = found.failures.flatMap((failure) => corrections.get(`${failure.session}:${failure.line}`) ?? []).sort();
+        return named.length === 0 ? "" : digest(named.join("\n"));
+    }
+    /** The user's answer on every correction of a kind; confirmed ones become failures at the steps they correct. */
+    async answerKind(kind, confirmed) {
+        for (const correction of kind.corrections) {
+            await this.answerCorrection(correction, confirmed);
+            if (confirmed)
+                await this.addFailure({ session: correction.session, line: correction.step, signature: correction.signature, classifier: correction.classifier });
+        }
+    }
+    /** Whether each failure recurred when the given layer version continued its session on `model`, by point. */
+    async recurrence(version, model) {
+        const lines = await this.#lines("recurrence.jsonl");
+        return new Map(lines.filter((line) => line.version === version && line.model === model).map((line) => [line.point, line.recurred]));
+    }
+    async addRecurrence(point, version, model, recurred) {
+        await this.#append("recurrence.jsonl", { point, version, model, recurred });
+    }
+    /** The kinds of failure a kept change answers, globally or in a project; a kind whose change was undone is open again. */
+    async answered() {
+        const answered = new Set();
+        for (const line of await this.#lines("answered.jsonl")) {
+            if (line.reopened === true)
+                answered.delete(line.failure);
+            else
+                answered.add(line.failure);
+        }
+        return answered;
+    }
+    async addAnswered(failure) {
+        await this.#append("answered.jsonl", { failure });
+    }
+    async reopen(failure) {
+        await this.#append("answered.jsonl", { failure, reopened: true });
+    }
+    /** Which logs were read as they were, under the current rules; new rules read every log again. */
+    seen() {
+        return this.#json(SEEN, {});
+    }
+    markSeen(seen) {
+        return this.#write(SEEN, seen);
+    }
+    /** How many lines of each log were asked about corrections, which no change of rules asks about again. */
+    correctionsRead() {
+        return this.#json(CORRECTIONS_READ, {});
+    }
+    markCorrectionsRead(read) {
+        return this.#write(CORRECTIONS_READ, read);
+    }
+    #kindNames() {
+        return this.#json(KINDS, { reviewed: [], aliases: {} });
+    }
+    /** A JSON file's value, or `fallback` until the file is written. */
+    async #json(file, fallback) {
+        return readFile(join(this.root, file), "utf8").then((text) => JSON.parse(text), () => fallback);
+    }
+    async #write(file, value) {
+        await mkdir(this.root, { recursive: true, mode: 0o700 });
+        await writeWhole(join(this.root, file), JSON.stringify(value), 0o600);
+    }
+    async #append(file, value) {
+        await mkdir(this.root, { recursive: true, mode: 0o700 });
+        await appendFile(join(this.root, file), `${JSON.stringify(value)}\n`, { mode: 0o600 });
+    }
+    async #lines(file) {
+        const text = await readFile(join(this.root, file), "utf8").catch((error) => {
+            if (error.code === "ENOENT")
+                return "";
+            throw error;
+        });
+        return text.split("\n").filter((line) => line !== "").map((line) => JSON.parse(line));
+    }
+}
+/** A session's entries as the loop reads them: converted to ACP when needed, and redacted. */
+export async function readSession(source, secrets) {
+    const text = await readFile(source.path, "utf8");
+    return redactTranscript(source.kind === "acp" ? parseTranscript(text) : fromMessagesJsonl(text), secrets);
+}
+/**
+ * Reads every log that changed since it was last read: names each failure in it with the regular model, and asks it
+ * which of the user's messages correct the agent, naming each as a failure too, so the user confirms them by kind. A
+ * failure or correction already gathered is not asked about again.
+ */
+export async function harvest(evidence, sources, complete, secrets, onRead = () => { }) {
+    const seen = await evidence.seen();
+    const correctionsRead = await evidence.correctionsRead();
+    const failures = await evidence.failures();
+    const known = new Map();
+    const count = (signature) => {
+        const key = signatureKey(signature);
+        known.set(key, { signature, count: (known.get(key)?.count ?? 0) + 1 });
+    };
+    for (const failure of failures)
+        count(failure.signature);
+    const common = () => [...known.values()].sort((a, b) => b.count - a.count).map(({ signature }) => signature);
+    const had = new Set([...failures.map((failure) => `${failure.session}:${failure.line}`), ...await evidence.dismissed()]);
+    const asked = new Set((await evidence.corrections()).map((correction) => `${correction.session}:${correction.line}`));
+    const found = { read: 0, failures: 0, corrections: 0 };
+    for (const source of sources) {
+        const info = await stat(source.path);
+        const stamp = `${info.mtimeMs}:${info.size}`;
+        if (seen[source.path] === stamp)
+            continue;
+        const entries = await readSession(source, secrets);
+        const from = correctionsRead[source.path] ?? 0;
+        const start = { failures: found.failures, corrections: found.corrections };
+        // A log counts as read only once every signal in it got an answer, so an unreadable reply is asked again.
+        let answeredAll = true;
+        for (const signal of signals(entries)) {
+            const line = failureStep(entries, signal) ?? signal.line;
+            if (had.has(`${source.path}:${line}`))
+                continue;
+            const signature = await classify(entries, signal, common(), complete, source.kind === "messages");
+            if (signature === undefined) {
+                answeredAll = false;
+                continue;
+            }
+            had.add(`${source.path}:${line}`);
+            if (signature === "not_a_failure") {
+                await evidence.dismiss(source.path, line);
+                continue;
+            }
+            count(signature);
+            await evidence.addFailure({ session: source.path, line, signature, classifier: CLASSIFIER_VERSION });
+            found.failures += 1;
+        }
+        for (const candidate of await proposeCorrections(entries, complete, from)) {
+            if (asked.has(`${source.path}:${candidate.line}`))
+                continue;
+            asked.add(`${source.path}:${candidate.line}`);
+            // Named on its own; merging joins it to a failure's kind only when the mechanism is the same.
+            const signal = { kind: "corrected", line: candidate.line, summary: candidate.summary };
+            const signature = await classify(entries, signal, [], complete, source.kind === "messages");
+            if (signature === undefined || signature === "not_a_failure")
+                continue;
+            count(signature);
+            const step = correctedStep(entries, candidate.line) ?? candidate.line;
+            await evidence.addCorrection({ ...candidate, session: source.path, step, signature, classifier: CLASSIFIER_VERSION });
+            found.corrections += 1;
+        }
+        correctionsRead[source.path] = entries.length;
+        await evidence.markCorrectionsRead(correctionsRead);
+        if (answeredAll)
+            seen[source.path] = stamp;
+        await evidence.markSeen(seen);
+        found.read += 1;
+        onRead(source, { failures: found.failures - start.failures, corrections: found.corrections - start.corrections });
+    }
+    await evidence.mergeKinds(complete);
+    return found;
+}
+async function names(dir) {
+    return readdir(dir).catch((error) => {
+        if (error.code === "ENOENT")
+            return [];
+        throw error;
+    });
+}
+async function files(dir, kind) {
+    const entries = await readdir(dir, { withFileTypes: true, recursive: true }).catch((error) => {
+        if (error.code === "ENOENT")
+            return [];
+        throw error;
+    });
+    return entries.filter((entry) => entry.isFile() && entry.name.endsWith(".jsonl"))
+        .map((entry) => ({ path: join(entry.parentPath, entry.name), kind }));
+}
+//# sourceMappingURL=harvest.js.map

package/dist/rsi/harvest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harvest.js","sourceRoot":"","sources":["../../src/rsi/harvest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,QAAQ,EAAE,kBAAkB,EAAE,aAAa,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,WAAW,EAAE,OAAO,EAAE,eAAe,EACjI,kBAAkB,EAAE,gBAAgB,EAAE,OAAO,EAAE,YAAY,GAE5D,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAQxC,MAAM,IAAI,GAAG,SAAS,kBAAkB,OAAO,CAAC;AAChD,MAAM,gBAAgB,GAAG,uBAAuB,CAAC;AACjD,MAAM,KAAK,GAAG,UAAU,kBAAkB,OAAO,CAAC;AAQlD,0GAA0G;AAC1G,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;AAExC,sHAAsH;AACtH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,UAAkB,EAAE,cAAiC,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;IAC1G,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,CAAC,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;IACzG,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QACvE,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;KACnF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAClH,oFAAoF;IACpF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,GAAG,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;AAChH,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,MAAM,CAAC,IAAY;IACjC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACtE,CAAC;AAoBD,yHAAyH;AACzH,MAAM,OAAO,QAAQ;IACV,IAAI,CAAS;IAEtB,YAAY,IAAY;QACtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,2GAA2G;IAC3G,KAAK,CAAC,QAAQ;QACZ,OAAO,CAAC,MAAM,IAAI,CAAC,MAAM,CAAU,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,KAAK,kBAAkB,CAAC,CAAC;IACvH,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,OAAgB;QAC/B,MAAM,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,2GAA2G;IAC3G,KAAK,CAAC,SAAS;QACb,OAAO,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,CAAqC,iBAAiB,CAAC,CAAC;aACtF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,OAAe,EAAE,IAAY;QACzC,MAAM,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,IAAI,IAAI,EAAE,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,CAAC;IACtG,CAAC;IAED,iFAAiF;IACjF,KAAK,CAAC,KAAK;QACT,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5C,OAAO,aAAa,CAAC,MAAM,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC;IAED,kHAAkH;IAClH,KAAK,CAAC,UAAU,CAAC,QAAkB;QACjC,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAClE,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;QACpI,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,EAAsB,CAAC,CAAC;IACnG,CAAC;IAED,WAAW;QACT,OAAO,IAAI,CAAC,MAAM,CAAa,mBAAmB,CAAC,CAAC;IACtD,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,UAAsB;QACxC,MAAM,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC;IAED,iFAAiF;IACjF,KAAK,CAAC,kBAAkB;QACtB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,UAAU,CAAU,CAAC,CAAC,CAAC;QAC1I,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,KAAK,SAAS,IAAI,UAAU,CAAC,UAAU,KAAK,kBAAkB,CAAC,CAAC;IACzI,CAAC;IAED,+GAA+G;IAC/G,KAAK,CAAC,eAAe;QACnB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,UAAU,CAAU,CAAC,CAAC,CAAC;QACxH,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5C,OAAO,aAAa,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC9E,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,CAAE,CAAC;SAC3I,CAAC,CAAC,CAAC;IACN,CAAC;IAED,oFAAoF;IACpF,KAAK,CAAC,gBAAgB,CAAC,UAAsB,EAAE,SAAkB;QAC/D,MAAM,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,GAAG,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;IACxE,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,oBAAoB;QACxB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,UAAU,CAAU,CAAC,CAAC,CAAC;QAC1I,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC3C,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,IAAI,UAAU,CAAC,SAAS,KAAK,IAAI;gBAAE,SAAS;YAC5C,MAAM,IAAI,GAAG,GAAG,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACxD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,qHAAqH;IACrH,KAAK,CAAC,QAAQ,CAAC,KAAmB;QAChC,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACtH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,iHAAiH;IACjH,KAAK,CAAC,UAAU,CAAC,IAAoB,EAAE,SAAkB;QACvD,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,IAAI,CAAC,gBAAgB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACnD,IAAI,SAAS;gBAAE,MAAM,IAAI,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;QACnK,CAAC;IACH,CAAC;IAED,6GAA6G;IAC7G,KAAK,CAAC,UAAU,CAAC,OAAe,EAAE,KAAa;QAC7C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,MAAM,CAAuE,kBAAkB,CAAC,CAAC;QAC1H,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtI,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,KAAa,EAAE,OAAe,EAAE,KAAa,EAAE,QAAiB;QAClF,MAAM,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,0HAA0H;IAC1H,KAAK,CAAC,QAAQ;QACZ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,MAAM,IAAI,CAAC,MAAM,CAA0C,gBAAgB,CAAC,EAAE,CAAC;YAChG,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;gBAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;gBACrD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,OAAe;QAC/B,MAAM,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,OAAe;QAC1B,MAAM,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,kGAAkG;IAClG,IAAI;QACF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,QAAQ,CAAC,IAA4B;QACnC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,0GAA0G;IAC1G,eAAe;QACb,OAAO,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,mBAAmB,CAAC,IAA4B;QAC9C,OAAO,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,oEAAoE;IACpE,KAAK,CAAC,KAAK,CAAI,IAAY,EAAE,QAAW;QACtC,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC;IACvG,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAY,EAAE,KAAa;QACtC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACzD,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAY,EAAE,KAAa;QACvC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACzD,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,KAAK,CAAC,MAAM,CAAI,IAAY;QAC1B,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;YAChG,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,CAAM,CAAC,CAAC;IAC7F,CAAC;CACF;AAED,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,MAAc,EAAE,OAA0B;IAC1E,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjD,OAAO,gBAAgB,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,QAAkB,EAClB,OAA0B,EAC1B,QAAkB,EAClB,OAA0B,EAC1B,MAAM,GAA+E,GAAG,EAAE,GAAE,CAAC;IAE7F,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;IACnC,MAAM,eAAe,GAAG,MAAM,QAAQ,CAAC,eAAe,EAAE,CAAC;IACzD,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0D,CAAC;IAChF,MAAM,KAAK,GAAG,CAAC,SAA2B,EAAE,EAAE;QAC5C,MAAM,GAAG,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7G,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACzH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IACvD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK;YAAE,SAAS;QAC1C,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;QAC3E,0GAA0G;QAC1G,IAAI,WAAW,GAAG,IAAI,CAAC;QACvB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC;YACzD,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;gBAAE,SAAS;YAChD,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YAClG,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,WAAW,GAAG,KAAK,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;YAClC,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;gBAClC,MAAM,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC1C,SAAS;YACX,CAAC;YACD,KAAK,CAAC,SAAS,CAAC,CAAC;YACjB,MAAM,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,CAAC;YACrG,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,MAAM,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;YAC1E,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;gBAAE,SAAS;YAC5D,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9C,8FAA8F;YAC9F,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAW,CAAC;YAChG,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YAC5F,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,eAAe;gBAAE,SAAS;YACvE,KAAK,CAAC,SAAS,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC;YACtE,MAAM,QAAQ,CAAC,aAAa,CAAC,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,CAAC;YACtH,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9C,MAAM,QAAQ,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC;QACpD,IAAI,WAAW;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QAC3C,MAAM,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,MAAM,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,KAAK,CAAC,GAAW;IAC9B,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;QACzD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QACvC,MAAM,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,KAAK,CAAC,GAAW,EAAE,IAAoB;IACpD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;QAClH,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QACvC,MAAM,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;SAC9E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC1E,CAAC"}

package/dist/rsi/held.d.ts

@@ -0,0 +1,29 @@
+import type { Proposal } from "@chopin-ai/core";
+/** A proposal the audit could not settle, held for the user, and what the user decided on it. */
+export interface HeldProposal {
+    id: string;
+    /** The kind of failure it answers. */
+    failure: string;
+    proposal: Proposal;
+    /** Why the audit asked for a person. */
+    reasons: string[];
+    decision?: "approved" | "refused" | "tested";
+    at: string;
+}
+/**
+ * Proposals held for the user as JSON Lines, the latest line for a proposal winning. An approved one replaces the
+ * audit only: it still goes through the gate in a later round, and is marked tested once it has.
+ */
+export declare class HeldProposals {
+    #private;
+    readonly path: string;
+    constructor(path: string);
+    /** Every proposal in its latest state. */
+    all(): Promise<HeldProposal[]>;
+    /** Proposals waiting for the user. */
+    waiting(): Promise<HeldProposal[]>;
+    /** The approved proposal for a kind of failure that no round has tested yet. */
+    approved(failure: string): Promise<HeldProposal | undefined>;
+    hold(held: Omit<HeldProposal, "at" | "decision">): Promise<void>;
+    decide(held: HeldProposal, decision: NonNullable<HeldProposal["decision"]>): Promise<void>;
+}

package/dist/rsi/held.js

@@ -0,0 +1,45 @@
+import { appendFile, mkdir, readFile } from "node:fs/promises";
+import { dirname } from "node:path";
+/**
+ * Proposals held for the user as JSON Lines, the latest line for a proposal winning. An approved one replaces the
+ * audit only: it still goes through the gate in a later round, and is marked tested once it has.
+ */
+export class HeldProposals {
+    path;
+    constructor(path) {
+        this.path = path;
+    }
+    /** Every proposal in its latest state. */
+    async all() {
+        const text = await readFile(this.path, "utf8").catch((error) => {
+            if (error.code === "ENOENT")
+                return "";
+            throw error;
+        });
+        const latest = new Map();
+        for (const line of text.split("\n").filter((line) => line !== "")) {
+            const held = JSON.parse(line);
+            latest.set(held.id, held);
+        }
+        return [...latest.values()];
+    }
+    /** Proposals waiting for the user. */
+    async waiting() {
+        return (await this.all()).filter((held) => held.decision === undefined);
+    }
+    /** The approved proposal for a kind of failure that no round has tested yet. */
+    async approved(failure) {
+        return (await this.all()).find((held) => held.failure === failure && held.decision === "approved");
+    }
+    async hold(held) {
+        await this.#append({ ...held, at: new Date().toISOString() });
+    }
+    async decide(held, decision) {
+        await this.#append({ ...held, decision, at: new Date().toISOString() });
+    }
+    async #append(held) {
+        await mkdir(dirname(this.path), { recursive: true, mode: 0o700 });
+        await appendFile(this.path, `${JSON.stringify(held)}\n`, { mode: 0o600 });
+    }
+}
+//# sourceMappingURL=held.js.map

package/dist/rsi/held.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"held.js","sourceRoot":"","sources":["../../src/rsi/held.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAepC;;;GAGG;AACH,MAAM,OAAO,aAAa;IACf,IAAI,CAAS;IAEtB,YAAY,IAAY;QACtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,0CAA0C;IAC1C,KAAK,CAAC,GAAG;QACP,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,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAiB,CAAC;YAC9C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,sCAAsC;IACtC,KAAK,CAAC,OAAO;QACX,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAC1E,CAAC;IAED,gFAAgF;IAChF,KAAK,CAAC,QAAQ,CAAC,OAAe;QAC5B,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACrG,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAA2C;QACpD,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAkB,EAAE,QAA+C;QAC9E,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC1E,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAkB;QAC9B,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAClE,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5E,CAAC;CACF"}

package/dist/rsi/lifecycle.d.ts

@@ -0,0 +1,8 @@
+import { type LayerVersions } from "@chopin-ai/core";
+import { type Source } from "./harvest.js";
+/**
+ * Archives the loop's skills that no recent session read, once they are older than the unused period; pinned ones
+ * stay. Instructions are left alone, since every session loads them and none records whether it followed one.
+ * Returns the ids archived; an archived item comes back with `chopin evolve undo`'s reverse, a new version.
+ */
+export declare function archiveUnused(versions: LayerVersions, sources: readonly Source[], secrets: readonly string[], now?: number): Promise<string[]>;

package/dist/rsi/lifecycle.js

@@ -0,0 +1,25 @@
+import { layerUsage } from "@chopin-ai/core";
+import { readSession } from "./harvest.js";
+/** How long a skill the loop added may go unread before it is archived. */
+const UNUSED_MS = 30 * 24 * 60 * 60_000;
+/**
+ * Archives the loop's skills that no recent session read, once they are older than the unused period; pinned ones
+ * stay. Instructions are left alone, since every session loads them and none records whether it followed one.
+ * Returns the ids archived; an archived item comes back with `chopin evolve undo`'s reverse, a new version.
+ */
+export async function archiveUnused(versions, sources, secrets, now = Date.now()) {
+    const items = await versions.items(await versions.current());
+    const old = items.filter((item) => item.kind === "skill" && !item.archived && !item.pinned && now - Date.parse(item.added) >= UNUSED_MS);
+    if (old.length === 0)
+        return [];
+    const read = new Set();
+    for (const source of sources) {
+        for (const name of layerUsage(await readSession(source, secrets), []).skills.keys())
+            read.add(name);
+    }
+    const unused = old.filter((item) => item.skill !== undefined && !read.has(item.skill)).map((item) => item.id);
+    if (unused.length > 0)
+        await versions.commit((all) => all.map((item) => (unused.includes(item.id) ? { ...item, archived: true } : item)));
+    return unused;
+}
+//# sourceMappingURL=lifecycle.js.map

package/dist/rsi/lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/rsi/lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAsB,MAAM,iBAAiB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAe,MAAM,cAAc,CAAC;AAExD,2EAA2E;AAC3E,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,QAAuB,EAAE,OAA0B,EAAE,OAA0B,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;IACnI,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACzI,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9G,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1I,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/rsi/models.d.ts

@@ -0,0 +1,25 @@
+import { type Api, type AssistantMessage, type Model, type Models } from "@earendil-works/pi-ai";
+import type { Complete } from "@chopin-ai/core";
+/** What the loop has spent, as JSON Lines of US dollars at list prices, and the most it may spend in a week. */
+export declare class Budget {
+    readonly path: string;
+    readonly weeklyUsd: number;
+    constructor(path: string, weeklyUsd: number);
+    /** Spent over the last seven days. */
+    spent(now?: number): Promise<number>;
+    charge(usd: number, now?: number): Promise<void>;
+    /** Throws once the week's budget is spent, so the loop stops before its next call. */
+    check(): Promise<void>;
+}
+export declare class BudgetSpent extends Error {
+    constructor(spent: number, weekly: number);
+}
+/**
+ * One model call of the loop: refused once the budget is spent, tried again on a transient failure, and charged for
+ * every attempt. A call that still fails throws, so no judge ever reads a failed reply as the model's answer.
+ */
+export declare function paidCall(budget: Budget, call: () => Promise<AssistantMessage>): Promise<AssistantMessage>;
+/** One prompt, one reply, from `model`, as a paid call. */
+export declare function completer(models: Models, model: Model<Api>, budget: Budget): Complete;
+/** The model `provider/id` names among `models`. */
+export declare function namedModel(models: Models, name: string): Model<Api>;

package/dist/rsi/models.js

@@ -0,0 +1,71 @@
+import { appendFile, mkdir, readFile } from "node:fs/promises";
+import { dirname } from "node:path";
+import { retryAssistantCall } from "@earendil-works/pi-ai";
+const WEEK_MS = 7 * 24 * 60 * 60_000;
+/** What the loop has spent, as JSON Lines of US dollars at list prices, and the most it may spend in a week. */
+export class Budget {
+    path;
+    weeklyUsd;
+    constructor(path, weeklyUsd) {
+        this.path = path;
+        this.weeklyUsd = weeklyUsd;
+    }
+    /** Spent over the last seven days. */
+    async spent(now = Date.now()) {
+        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((charge) => now - charge.at < WEEK_MS).reduce((sum, charge) => sum + charge.usd, 0);
+    }
+    async charge(usd, now = Date.now()) {
+        await mkdir(dirname(this.path), { recursive: true });
+        await appendFile(this.path, `${JSON.stringify({ at: now, usd })}\n`);
+    }
+    /** Throws once the week's budget is spent, so the loop stops before its next call. */
+    async check() {
+        const spent = await this.spent();
+        if (spent >= this.weeklyUsd)
+            throw new BudgetSpent(spent, this.weeklyUsd);
+    }
+}
+export class BudgetSpent extends Error {
+    constructor(spent, weekly) {
+        super(`the loop has spent $${spent.toFixed(2)} of its $${weekly.toFixed(2)} for the week`);
+    }
+}
+/** Transient failures, such as a dropped connection, are tried again for about a minute. */
+const RETRY = { enabled: true, maxRetries: 5, baseDelayMs: 2_000 };
+/**
+ * One model call of the loop: refused once the budget is spent, tried again on a transient failure, and charged for
+ * every attempt. A call that still fails throws, so no judge ever reads a failed reply as the model's answer.
+ */
+export async function paidCall(budget, call) {
+    await budget.check();
+    const reply = await retryAssistantCall(async () => {
+        const attempt = await call();
+        await budget.charge(attempt.usage.cost.total);
+        return attempt;
+    }, RETRY, undefined);
+    if (reply.stopReason === "error" || reply.stopReason === "aborted")
+        throw new Error(reply.errorMessage ?? `the model's call ended: ${reply.stopReason}`);
+    return reply;
+}
+/** One prompt, one reply, from `model`, as a paid call. */
+export function completer(models, model, budget) {
+    return async (prompt) => {
+        const reply = await paidCall(budget, () => models.completeSimple(model, { messages: [{ role: "user", content: prompt, timestamp: Date.now() }] }));
+        return reply.content.flatMap((block) => (block.type === "text" ? [block.text] : [])).join("\n");
+    };
+}
+/** The model `provider/id` names among `models`. */
+export function namedModel(models, name) {
+    const slash = name.indexOf("/");
+    const model = slash <= 0 ? undefined : models.getModel(name.slice(0, slash), name.slice(slash + 1));
+    if (model === undefined)
+        throw new Error(`no model ${name}; it is named as provider/model, signed in with /login`);
+    return model;
+}
+//# sourceMappingURL=models.js.map

package/dist/rsi/models.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"models.js","sourceRoot":"","sources":["../../src/rsi/models.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,kBAAkB,EAA8E,MAAM,uBAAuB,CAAC;AAGvI,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;AAErC,gHAAgH;AAChH,MAAM,OAAO,MAAM;IACR,IAAI,CAAS;IACb,SAAS,CAAS;IAE3B,YAAY,IAAY,EAAE,SAAiB;QACzC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;IAED,sCAAsC;IACtC,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QAC1B,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,CAAgC,CAAC;aACjH,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAChG,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAW,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QACxC,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,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC;IAED,sFAAsF;IACtF,KAAK,CAAC,KAAK;QACT,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACjC,IAAI,KAAK,IAAI,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5E,CAAC;CACF;AAED,MAAM,OAAO,WAAY,SAAQ,KAAK;IACpC,YAAY,KAAa,EAAE,MAAc;QACvC,KAAK,CAAC,uBAAuB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAC7F,CAAC;CACF;AAED,4FAA4F;AAC5F,MAAM,KAAK,GAAgB,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;AAEhF;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,MAAc,EAAE,IAAqC;IAClF,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;IACrB,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,KAAK,IAAI,EAAE;QAChD,MAAM,OAAO,GAAG,MAAM,IAAI,EAAE,CAAC;QAC7B,MAAM,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,OAAO,CAAC;IACjB,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACrB,IAAI,KAAK,CAAC,UAAU,KAAK,OAAO,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,YAAY,IAAI,2BAA2B,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IACzJ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,SAAS,CAAC,MAAc,EAAE,KAAiB,EAAE,MAAc;IACzE,OAAO,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACnJ,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClG,CAAC,CAAC;AACJ,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,IAAY;IACrD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACpG,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,wDAAwD,CAAC,CAAC;IACnH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/rsi/records.d.ts

@@ -0,0 +1,14 @@
+import { AdmissionLedger, Calibration, LayerVersions, Rejections } from "@chopin-ai/core";
+import { Evidence } from "./harvest.js";
+import { HeldProposals } from "./held.js";
+/** The loop's records, by where they are kept. */
+export declare function records(): {
+    evidence: Evidence;
+    versions: LayerVersions;
+    ledger: AdmissionLedger;
+    rejections: Rejections;
+    calibration: Calibration;
+    certificates: string;
+    spend: string;
+    held: HeldProposals;
+};

package/dist/rsi/records.js

@@ -0,0 +1,20 @@
+import { join } from "node:path";
+import { AdmissionLedger, Calibration, LayerVersions, Rejections } from "@chopin-ai/core";
+import { rsiDirectory } from "../home.js";
+import { Evidence } from "./harvest.js";
+import { HeldProposals } from "./held.js";
+/** The loop's records, by where they are kept. */
+export function records() {
+    const root = rsiDirectory();
+    return {
+        evidence: new Evidence(join(root, "evidence")),
+        versions: new LayerVersions(join(root, "layer")),
+        ledger: new AdmissionLedger(join(root, "ledger.jsonl")),
+        rejections: new Rejections(join(root, "rejections.jsonl")),
+        calibration: new Calibration(join(root, "calibration.jsonl")),
+        certificates: join(root, "certificates"),
+        spend: join(root, "spend.jsonl"),
+        held: new HeldProposals(join(root, "held.jsonl")),
+    };
+}
+//# sourceMappingURL=records.js.map

package/dist/rsi/records.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"records.js","sourceRoot":"","sources":["../../src/rsi/records.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE1C,kDAAkD;AAClD,MAAM,UAAU,OAAO;IACrB,MAAM,IAAI,GAAG,YAAY,EAAE,CAAC;IAC5B,OAAO;QACL,QAAQ,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC9C,QAAQ,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,EAAE,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACvD,UAAU,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC1D,WAAW,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QAC7D,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC;QACxC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC;QAChC,IAAI,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;KAClD,CAAC;AACJ,CAAC"}

package/dist/rsi/round.d.ts

@@ -0,0 +1,62 @@
+import { type AdmissionLedger, type Certificate, type Complete, type Layer, type LayerVersions, type Rejections, type TranscriptEntry } from "@chopin-ai/core";
+import { type Evidence, type Source } from "./harvest.js";
+import type { HeldProposals } from "./held.js";
+/** Whether a round has lost enough of the points it tried, and so many of them, to probe the provider. */
+export declare function tripsBreaker(lost: number, attempted: number): boolean;
+/** Everything a round works with; the models and the continuation are passed in, so a test can stand in for them. */
+export interface RoundSetup {
+    evidence: Evidence;
+    sources: readonly Source[];
+    versions: LayerVersions;
+    /** The versions of the project a session belongs to, for changes that hold only there; none when it cannot be told. */
+    projectOf: (session: string) => {
+        key: string;
+        versions: LayerVersions;
+    } | undefined;
+    /** The hand-written layer the loop's items are laid over. */
+    base: Layer;
+    ledger: AdmissionLedger;
+    rejections: Rejections;
+    /** Where certificates are written. */
+    certificates: string;
+    propose: Complete;
+    judge: Complete;
+    /** The agent's next step at a decision point, with `layer`, from the session up to it. */
+    continueStep: (layer: Layer, prefix: readonly TranscriptEntry[]) => Promise<string>;
+    /** Practices the user has ruled out, for the auditor. */
+    rules: string;
+    /** The model continuations run on, as `provider/model`. */
+    model: string;
+    secrets: readonly string[];
+    limit?: number;
+    random?: () => number;
+    /** Told of each decision point a round leaves out because a call on it failed. */
+    report?: (error: unknown) => void;
+    held: HeldProposals;
+    /** Whether a proposal the audit cannot settle waits for the user, rather than being refused. */
+    holdForReview?: boolean;
+}
+export type RoundOutcome = {
+    failure: string;
+    outcome: "kept";
+    version: number;
+    certificate: Certificate;
+} | {
+    failure: string;
+    outcome: "refused";
+    reason: string;
+    certificate?: Certificate;
+} | {
+    failure: string;
+    outcome: "set_aside";
+    reason: string;
+} | {
+    failure: string;
+    outcome: "held";
+    reason: string;
+};
+/**
+ * Runs a round for every kind of failure that recurred, has no change kept for it yet, and is not set aside: first
+ * the kinds the user confirmed a correction of, then the rest, each in order of how many sessions it came from.
+ */
+export declare function runRounds(setup: RoundSetup, onOutcome?: (outcome: RoundOutcome) => void): Promise<RoundOutcome[]>;