autoremediator 0.21.2 → 0.22.0

package/dist/platform/memory/format.js

@@ -0,0 +1,285 @@
+/**
+ * The memory file: Markdown that people may edit freely, with one fenced block of entries.
+ *
+ *     ```autoremediator-memory
+ *     {"kind":"pinned-package","status":"active","package":"left-pad", ...}
+ *     ```
+ *
+ * Everything outside the block is the person's own prose and is never touched. Inside it, each line
+ * is one JSON entry; lines that are not entries (blank, `#` comments, mistakes) are kept exactly
+ * as they are, and a line is only rewritten when its entry is changed. A document therefore
+ * round-trips: `serialize(parse(text)) === text`, and an edit changes only the lines it is about.
+ */
+import { entryId, entryLine, isAutoRecorded, isExpired, MEMORY_LIMITS, parseEntry, } from "./entries.js";
+export const FENCE_INFO = "autoremediator-memory";
+/** The file as first written; the prose is a person's to replace. */
+export const TEMPLATE_HEAD = `# Autoremediator memory
+
+What Autoremediator has learned about this repository: how its tests run, which tests are flaky,
+packages that must stay pinned, upgrades that were tried and rejected, install quirks. It is read at
+the start of every run and shown to agents as data, never as instructions.
+
+Write whatever you like outside the block below; it is yours and is never changed. Inside the block
+each line is one entry. Add one with \`autoremediator memory add\`, or edit a line by hand: lines
+that are not valid entries are reported by \`autoremediator memory list\` and ignored. Delete an entry
+by deleting its line. \`status: "proposed"\` entries came from an agent and do nothing until you
+accept them with \`autoremediator memory accept <id>\`.
+`;
+const OPEN = new RegExp(`^(\`{3,})${FENCE_INFO}[ \\t]*\\r?$`);
+/** A fence line naming the memory block, however it is indented or fenced, or the template's heading. */
+const MARKER = new RegExp(`^[ \\t]*(?:(?:\`{3,}|~{3,})[ \\t]*${FENCE_INFO}\\b|#{1,6}[ \\t]+Autoremediator memory[ \\t]*\\r?$)`, "im");
+const ANY_OPEN = /^( {0,3})(`{3,}|~{3,})(.*)$/;
+/** Locate the first `autoremediator-memory` fence that is not inside some other fenced block. */
+function findBlock(rows) {
+    let outer;
+    for (const [index, row] of rows.entries()) {
+        if (outer) {
+            const closer = ANY_OPEN.exec(row);
+            if (closer &&
+                closer[2][0] === outer.char &&
+                closer[2].length >= outer.length &&
+                closer[3].trim() === "") {
+                outer = undefined;
+            }
+            continue;
+        }
+        const ours = OPEN.exec(row);
+        if (ours) {
+            const length = ours[1].length;
+            const closeAt = rows.findIndex((candidate, at) => at > index && new RegExp(`^\`{${length},}[ \\t]*\\r?$`).test(candidate));
+            return { open: index, close: closeAt === -1 ? undefined : closeAt };
+        }
+        const opener = ANY_OPEN.exec(row);
+        // CommonMark: the info string of a backtick fence cannot contain a backtick, so a prose line
+        // like "```npm test``` runs tests" is inline code, not the start of a fenced block.
+        if (opener && !(opener[2][0] === "`" && opener[3].includes("`")))
+            outer = { char: opener[2][0], length: opener[2].length };
+    }
+    return undefined;
+}
+function classify(raw, seen, problems, at) {
+    const text = raw.replace(/\r$/, "");
+    const trimmed = text.trim();
+    if (trimmed === "" || trimmed.startsWith("#"))
+        return { type: "other", raw };
+    if (!trimmed.startsWith("{")) {
+        const problem = `line ${at}: not an entry (expected a JSON object)`;
+        problems.push(problem);
+        return { type: "other", raw, problem };
+    }
+    let value;
+    try {
+        value = JSON.parse(trimmed);
+    }
+    catch (error) {
+        const problem = `line ${at}: not valid JSON (${error.message.slice(0, 60)})`;
+        problems.push(problem);
+        return { type: "other", raw, problem };
+    }
+    // A stored id is ignored: it is derived, so an edit cannot make two entries disagree.
+    const { id: _id, ...withoutId } = typeof value === "object" && value !== null
+        ? value
+        : { id: undefined };
+    const parsed = parseEntry(withoutId);
+    if ("error" in parsed) {
+        const problem = `line ${at}: ${parsed.error}`;
+        problems.push(problem);
+        return { type: "other", raw, problem };
+    }
+    const entry = { ...parsed.entry, id: entryId(parsed.entry) };
+    const first = seen.get(entry.id);
+    if (first !== undefined) {
+        const problem = `line ${at}: duplicates ${entry.id} on line ${first}; ignored`;
+        problems.push(problem);
+        return { type: "other", raw, problem };
+    }
+    seen.set(entry.id, at);
+    if (seen.size > MEMORY_LIMITS.maxEntries) {
+        seen.delete(entry.id);
+        const problem = `line ${at}: more than ${MEMORY_LIMITS.maxEntries} entries; this one is ignored`;
+        problems.push(problem);
+        return { type: "other", raw, problem };
+    }
+    return { type: "entry", raw, entry };
+}
+export function parseDocument(text) {
+    const eol = text.includes("\r\n") ? "\r\n" : "\n";
+    const rows = text.split("\n");
+    const located = findBlock(rows);
+    if (!located) {
+        // The file looks like it should have a block, but none can be read (swallowed by another
+        // fence, indented, or deleted): say so rather than showing an empty memory.
+        const problems = MARKER.test(text)
+            ? [
+                `the file mentions the \`${FENCE_INFO}\` fence or heading but has no readable block; entries (including pins) are not being used. Check that the \`\`\`${FENCE_INFO} line starts at the beginning of a line and is not inside another fenced block.`,
+            ]
+            : [];
+        return { head: text, lines: [], tail: "", eol, hasBlock: false, problems };
+    }
+    const bodyEnd = located.close ?? rows.length;
+    const problems = [];
+    const seen = new Map();
+    const lines = rows
+        .slice(located.open + 1, bodyEnd)
+        .map((raw, index) => classify(raw, seen, problems, located.open + 2 + index));
+    const head = `${rows.slice(0, located.open + 1).join("\n")}\n`;
+    const tail = located.close === undefined ? "" : rows.slice(located.close).join("\n");
+    const broken = located.close === undefined
+        ? `the \`${FENCE_INFO}\` block is never closed; add a closing \`\`\` line`
+        : undefined;
+    if (broken)
+        problems.push(broken);
+    // Without a closing fence the last row is the file's final (possibly empty) line, not an entry.
+    if (located.close === undefined && lines.at(-1)?.raw === "")
+        lines.pop();
+    return {
+        head,
+        lines,
+        tail,
+        eol,
+        hasBlock: true,
+        ...(broken ? { broken, original: text } : {}),
+        problems,
+    };
+}
+export function serializeDocument(doc) {
+    if (!doc.hasBlock)
+        return doc.head;
+    if (doc.broken && doc.original !== undefined)
+        return doc.original;
+    return `${doc.head}${doc.lines.map((line) => `${line.raw}\n`).join("")}${doc.tail}`;
+}
+export const entriesOf = (doc) => doc.lines.flatMap((line) => (line.type === "entry" ? [line.entry] : []));
+const byteSize = (doc) => doc.lines.reduce((total, line) => total + (line.type === "entry" ? Buffer.byteLength(line.raw) + 1 : 0), 0);
+export class MemoryFileError extends Error {
+    constructor(message, options) {
+        super(message, options);
+        this.name = "MemoryFileError";
+    }
+}
+export class MemoryFullError extends MemoryFileError {
+    constructor(message) {
+        super(message);
+        this.name = "MemoryFullError";
+    }
+}
+function assertWritable(doc) {
+    if (doc.broken) {
+        throw new MemoryFileError(`Cannot change the memory file: ${doc.broken}.`);
+    }
+}
+/** The document with its first block created, when the file has none. */
+function withBlock(doc) {
+    if (doc.hasBlock)
+        return doc;
+    const eol = doc.eol;
+    const prose = doc.head === "" ? TEMPLATE_HEAD.replaceAll("\n", eol) : doc.head;
+    const separated = prose === "" || prose.endsWith(`${eol}${eol}`)
+        ? prose
+        : `${prose}${prose.endsWith("\n") ? "" : eol}${eol}`;
+    return {
+        ...doc,
+        head: `${separated}\`\`\`${FENCE_INFO}${eol}`,
+        tail: `\`\`\`${eol}`,
+        hasBlock: true,
+        lines: [],
+    };
+}
+const withEol = (raw, doc) => doc.eol === "\r\n" ? `${raw}\r` : raw;
+const oldestFirst = (entries) => entries.toSorted((a, b) => a.createdAt.localeCompare(b.createdAt));
+/**
+ * Add an entry. The same fact twice is not added twice. When the file is at its cap, expired
+ * entries go first (oldest first); a run's own auto-recorded entries may then make room by
+ * replacing the oldest auto-recorded ones. A person's entries are never evicted.
+ */
+export function addToDocument(doc, stored, now) {
+    assertWritable(doc);
+    const entry = { ...stored, id: entryId(stored) };
+    const existing = entriesOf(doc).find((candidate) => candidate.id === entry.id);
+    if (existing)
+        return { doc, entry: existing, created: false, evicted: [] };
+    if (entry.status === "proposed") {
+        const waiting = entriesOf(doc).filter((candidate) => candidate.status === "proposed").length;
+        if (waiting >= MEMORY_LIMITS.maxProposed) {
+            throw new MemoryFullError(`There are already ${waiting} proposed entries; accept or remove some first.`);
+        }
+    }
+    let next = { ...withBlock(doc) };
+    const evicted = [];
+    const raw = withEol(entryLine(stored), next);
+    const fits = (candidate) => entriesOf(candidate).length < MEMORY_LIMITS.maxEntries &&
+        byteSize(candidate) + Buffer.byteLength(raw) + 1 <= MEMORY_LIMITS.maxBytes;
+    const evict = (victims) => {
+        for (const victim of victims) {
+            if (fits(next))
+                return;
+            next.lines = next.lines.filter((line) => line.type !== "entry" || line.entry.id !== victim.id);
+            evicted.push(victim.id);
+        }
+    };
+    if (!fits(next))
+        evict(oldestFirst(entriesOf(next).filter((candidate) => isExpired(candidate, now))));
+    if (!fits(next) && isAutoRecorded(stored)) {
+        evict(oldestFirst(entriesOf(next).filter((candidate) => isAutoRecorded(candidate))));
+    }
+    if (!fits(next)) {
+        throw new MemoryFullError(`The memory file is full (${entriesOf(next).length} entries, ${MEMORY_LIMITS.maxEntries} allowed). Remove some with \`autoremediator memory remove <id>\` or \`memory prune\`.`);
+    }
+    // After the last entry, so blank lines and comments the person left at the end stay at the end.
+    const lastEntry = next.lines.findLastIndex((line) => line.type === "entry");
+    const line = { type: "entry", raw, entry };
+    const lines = lastEntry === -1 ? [...next.lines, line] : next.lines.toSpliced(lastEntry + 1, 0, line);
+    next = { ...next, lines };
+    return { doc: next, entry, created: true, evicted };
+}
+export function removeFromDocument(doc, id) {
+    const removed = entriesOf(doc).find((entry) => entry.id === id);
+    if (!removed)
+        return { doc, removed };
+    assertWritable(doc);
+    return {
+        doc: {
+            ...doc,
+            lines: doc.lines.filter((line) => line.type !== "entry" || line.entry.id !== id),
+        },
+        removed,
+    };
+}
+/** Make a proposed entry active, with a new expiry only when the caller gives one. */
+export function acceptInDocument(doc, id) {
+    const current = entriesOf(doc).find((entry) => entry.id === id);
+    if (!current)
+        return { doc, accepted: undefined, alreadyActive: false };
+    if (current.status === "active")
+        return { doc, accepted: current, alreadyActive: true };
+    assertWritable(doc);
+    const { id: _id, ...stored } = current;
+    const updated = { ...stored, status: "active" };
+    const accepted = { ...updated, id };
+    return {
+        doc: {
+            ...doc,
+            lines: doc.lines.map((line) => line.type === "entry" && line.entry.id === id
+                ? { type: "entry", raw: withEol(entryLine(updated), doc), entry: accepted }
+                : line),
+        },
+        accepted,
+        alreadyActive: false,
+    };
+}
+/** Remove expired entries. */
+export function pruneDocument(doc, now) {
+    const removed = entriesOf(doc).filter((entry) => isExpired(entry, now));
+    if (removed.length === 0)
+        return { doc, removed };
+    assertWritable(doc);
+    const ids = new Set(removed.map((entry) => entry.id));
+    return {
+        doc: {
+            ...doc,
+            lines: doc.lines.filter((line) => line.type !== "entry" || !ids.has(line.entry.id)),
+        },
+        removed,
+    };
+}
+//# sourceMappingURL=format.js.map

package/dist/platform/memory/format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../../../src/platform/memory/format.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EACL,OAAO,EACP,SAAS,EACT,cAAc,EACd,SAAS,EACT,aAAa,EAEb,UAAU,GAEX,MAAM,cAAc,CAAC;AAEtB,MAAM,CAAC,MAAM,UAAU,GAAG,uBAAuB,CAAC;AAElD,qEAAqE;AACrE,MAAM,CAAC,MAAM,aAAa,GAAG;;;;;;;;;;;CAW5B,CAAC;AA0BF,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,YAAY,UAAU,cAAc,CAAC,CAAC;AAC9D,yGAAyG;AACzG,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,qCAAqC,UAAU,qDAAqD,EACpG,IAAI,CACL,CAAC;AACF,MAAM,QAAQ,GAAG,6BAA6B,CAAC;AAE/C,iGAAiG;AACjG,SAAS,SAAS,CAAC,IAAc;IAC/B,IAAI,KAAmD,CAAC;IACxD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1C,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,IACE,MAAM;gBACN,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI;gBAC5B,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;gBACjC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EACxB,CAAC;gBACD,KAAK,GAAG,SAAS,CAAC;YACpB,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;YAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAC5B,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAC3F,CAAC;YACF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACtE,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,6FAA6F;QAC7F,oFAAoF;QACpF,IAAI,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAChE,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CACf,GAAW,EACX,IAAyB,EACzB,QAAkB,EAClB,EAAU;IAEV,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7E,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,QAAQ,EAAE,yCAAyC,CAAC;QACpE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC;IACD,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,QAAQ,EAAE,qBAAsB,KAAe,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;QACxF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC;IACD,sFAAsF;IACtF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAC7B,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QACzC,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACrC,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,QAAQ,EAAE,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC;IACD,MAAM,KAAK,GAAgB,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,QAAQ,EAAE,gBAAgB,KAAK,CAAC,EAAE,YAAY,KAAK,WAAW,CAAC;QAC/E,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACvB,IAAI,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtB,MAAM,OAAO,GAAG,QAAQ,EAAE,eAAe,aAAa,CAAC,UAAU,+BAA+B,CAAC;QACjG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAClD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,yFAAyF;QACzF,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC;gBACE,2BAA2B,UAAU,oHAAoH,UAAU,iFAAiF;aACrP;YACH,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC7E,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC;IAC7C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI;SACf,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,OAAO,CAAC;SAChC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IAChF,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,MAAM,MAAM,GACV,OAAO,CAAC,KAAK,KAAK,SAAS;QACzB,CAAC,CAAC,SAAS,UAAU,qDAAqD;QAC1E,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,gGAAgG;IAChG,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE;QAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACzE,OAAO;QACL,IAAI;QACJ,KAAK;QACL,IAAI;QACJ,GAAG;QACH,QAAQ,EAAE,IAAI;QACd,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAmB;IACnD,IAAI,CAAC,GAAG,CAAC,QAAQ;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IACnC,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,QAAQ,CAAC;IAClE,OAAO,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAmB,EAAiB,EAAE,CAC9D,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3E,MAAM,QAAQ,GAAG,CAAC,GAAmB,EAAU,EAAE,CAC/C,GAAG,CAAC,KAAK,CAAC,MAAM,CACd,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACtF,CAAC,CACF,CAAC;AAEJ,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC,YAAY,OAAe,EAAE,OAAsB;QACjD,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED,MAAM,OAAO,eAAgB,SAAQ,eAAe;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED,SAAS,cAAc,CAAC,GAAmB;IACzC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACf,MAAM,IAAI,eAAe,CAAC,kCAAkC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,GAAmB;IACpC,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,GAAG,CAAC;IAC7B,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;IACpB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IAC/E,MAAM,SAAS,GACb,KAAK,KAAK,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,GAAG,GAAG,GAAG,EAAE,CAAC;QAC5C,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,EAAE,CAAC;IACzD,OAAO;QACL,GAAG,GAAG;QACN,IAAI,EAAE,GAAG,SAAS,SAAS,UAAU,GAAG,GAAG,EAAE;QAC7C,IAAI,EAAE,SAAS,GAAG,EAAE;QACpB,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,GAAmB,EAAU,EAAE,CAC3D,GAAG,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;AAExC,MAAM,WAAW,GAAG,CAAC,OAAsB,EAAiB,EAAE,CAC5D,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAUrE;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAAmB,EAAE,MAAmB,EAAE,GAAS;IAC/E,cAAc,CAAC,GAAG,CAAC,CAAC;IACpB,MAAM,KAAK,GAAgB,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;IAC9D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/E,IAAI,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAE3E,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;QAC7F,IAAI,OAAO,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;YACzC,MAAM,IAAI,eAAe,CACvB,qBAAqB,OAAO,iDAAiD,CAC9E,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,GAAmB,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;IACjD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,CAAC,SAAyB,EAAW,EAAE,CAClD,SAAS,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,aAAa,CAAC,UAAU;QACtD,QAAQ,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC;IAE7E,MAAM,KAAK,GAAG,CAAC,OAAsB,EAAQ,EAAE;QAC7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO;YACvB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAC5B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAC/D,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACb,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,eAAe,CACvB,4BAA4B,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,aAAa,aAAa,CAAC,UAAU,wFAAwF,CAChL,CAAC;IACJ,CAAC;IAED,gGAAgG;IAChG,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACtD,MAAM,KAAK,GACT,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC1F,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC;IAC1B,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,GAAmB,EACnB,EAAU;IAEV,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACtC,cAAc,CAAC,GAAG,CAAC,CAAC;IACpB,OAAO;QACL,GAAG,EAAE;YACH,GAAG,GAAG;YACN,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;SACjF;QACD,OAAO;KACR,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,gBAAgB,CAC9B,GAAmB,EACnB,EAAU;IAEV,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;IACxE,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;IACxF,cAAc,CAAC,GAAG,CAAC,CAAC;IACpB,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC;IACvC,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,QAAiB,EAAwB,CAAC;IAC/E,MAAM,QAAQ,GAAgB,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,CAAC;IACjD,OAAO;QACL,GAAG,EAAE;YACH,GAAG,GAAG;YACN,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5B,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE;gBAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE;gBAC3E,CAAC,CAAC,IAAI,CACT;SACF;QACD,QAAQ;QACR,aAAa,EAAE,KAAK;KACrB,CAAC;AACJ,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,aAAa,CAC3B,GAAmB,EACnB,GAAS;IAET,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACxE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IAClD,cAAc,CAAC,GAAG,CAAC,CAAC;IACpB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,OAAO;QACL,GAAG,EAAE;YACH,GAAG,GAAG;YACN,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;SACpF;QACD,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/platform/memory/index.d.ts

@@ -0,0 +1,7 @@
+export { addDays, cleanLine, entryId, entryLine, instructionShaped, isAutoRecorded, isExpired, MEMORY_ID, MEMORY_KINDS, MEMORY_LIMITS, MEMORY_STATUSES, parseEntry, parseTestCommand, type MemoryEntry, type MemoryKind, type MemoryStatus, type StoredEntry, } from "./entries.js";
+export { FENCE_INFO, MemoryFileError, MemoryFullError, parseDocument, serializeDocument, type MemoryDocument, } from "./format.js";
+export { constraintsFrom, entriesFor, loadMemoryConstraints, memoryTestCommand, pinnedMessage, publicEntry, rejectedMessage, renderMemoryForAgent, type MemoryConstraints, } from "./consume.js";
+export { MEMORY_PATH } from "./path.js";
+export { acceptMemory, addMemory, buildEntry, countByKind, memoryPathOf, pruneMemory, readMemory, removeMemory, viewEntries, type AddMemoryOptions, type AddMemoryResult, type MemoryState, type MemoryView, type NewMemoryEntry, } from "./store.js";
+export { entryFromProposal, MAX_PROPOSALS_PER_ATTEMPT, proposeMemory, PROPOSAL_KINDS, type MemoryProposal, } from "./propose.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/platform/memory/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/platform/memory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,SAAS,EACT,OAAO,EACP,SAAS,EACT,iBAAiB,EACjB,cAAc,EACd,SAAS,EACT,SAAS,EACT,YAAY,EACZ,aAAa,EACb,eAAe,EACf,UAAU,EACV,gBAAgB,EAChB,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,WAAW,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,UAAU,EACV,eAAe,EACf,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,KAAK,cAAc,GACpB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,eAAe,EACf,UAAU,EACV,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,eAAe,EACf,oBAAoB,EACpB,KAAK,iBAAiB,GACvB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EACL,YAAY,EACZ,SAAS,EACT,UAAU,EACV,WAAW,EACX,YAAY,EACZ,WAAW,EACX,UAAU,EACV,YAAY,EACZ,WAAW,EACX,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,cAAc,GACpB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,iBAAiB,EACjB,yBAAyB,EACzB,aAAa,EACb,cAAc,EACd,KAAK,cAAc,GACpB,MAAM,cAAc,CAAC"}

package/dist/platform/memory/index.js

@@ -0,0 +1,7 @@
+export { addDays, cleanLine, entryId, entryLine, instructionShaped, isAutoRecorded, isExpired, MEMORY_ID, MEMORY_KINDS, MEMORY_LIMITS, MEMORY_STATUSES, parseEntry, parseTestCommand, } from "./entries.js";
+export { FENCE_INFO, MemoryFileError, MemoryFullError, parseDocument, serializeDocument, } from "./format.js";
+export { constraintsFrom, entriesFor, loadMemoryConstraints, memoryTestCommand, pinnedMessage, publicEntry, rejectedMessage, renderMemoryForAgent, } from "./consume.js";
+export { MEMORY_PATH } from "./path.js";
+export { acceptMemory, addMemory, buildEntry, countByKind, memoryPathOf, pruneMemory, readMemory, removeMemory, viewEntries, } from "./store.js";
+export { entryFromProposal, MAX_PROPOSALS_PER_ATTEMPT, proposeMemory, PROPOSAL_KINDS, } from "./propose.js";
+//# sourceMappingURL=index.js.map

package/dist/platform/memory/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/platform/memory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,SAAS,EACT,OAAO,EACP,SAAS,EACT,iBAAiB,EACjB,cAAc,EACd,SAAS,EACT,SAAS,EACT,YAAY,EACZ,aAAa,EACb,eAAe,EACf,UAAU,EACV,gBAAgB,GAKjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,UAAU,EACV,eAAe,EACf,eAAe,EACf,aAAa,EACb,iBAAiB,GAElB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,eAAe,EACf,UAAU,EACV,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,eAAe,EACf,oBAAoB,GAErB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EACL,YAAY,EACZ,SAAS,EACT,UAAU,EACV,WAAW,EACX,YAAY,EACZ,WAAW,EACX,UAAU,EACV,YAAY,EACZ,WAAW,GAMZ,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,iBAAiB,EACjB,yBAAyB,EACzB,aAAa,EACb,cAAc,GAEf,MAAM,cAAc,CAAC"}

package/dist/platform/memory/path.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Where remediation memory lives, relative to the project root. Like the autonomy track record it
+ * is meant to be committed and Autoremediator itself appends to it, so a rollback must never put it
+ * back to an earlier state and the scope check must tell it apart from changes an agent made.
+ */
+export declare const MEMORY_PATH = ".autoremediator/memory.md";
+//# sourceMappingURL=path.d.ts.map

package/dist/platform/memory/path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../../src/platform/memory/path.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,WAAW,8BAA8B,CAAC"}

package/dist/platform/memory/path.js

@@ -0,0 +1,7 @@
+/**
+ * Where remediation memory lives, relative to the project root. Like the autonomy track record it
+ * is meant to be committed and Autoremediator itself appends to it, so a rollback must never put it
+ * back to an earlier state and the scope check must tell it apart from changes an agent made.
+ */
+export const MEMORY_PATH = ".autoremediator/memory.md";
+//# sourceMappingURL=path.js.map

package/dist/platform/memory/path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.js","sourceRoot":"","sources":["../../../src/platform/memory/path.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,2BAA2B,CAAC"}

package/dist/platform/memory/propose.d.ts

@@ -0,0 +1,30 @@
+/**
+ * What an agent may do to memory: propose. A proposal is stored as a `proposed` entry that changes
+ * nothing until a person runs `autoremediator memory accept <id>`. Its text is held to the same
+ * rules as any entry, and also refused if it reads like an instruction.
+ */
+import { type MemoryKind } from "./entries.js";
+import { type NewMemoryEntry } from "./store.js";
+/** The fields an agent fills in; which ones apply depends on the kind. */
+export interface MemoryProposal {
+    kind: MemoryKind;
+    /** The command (`test-command`), the test (`flaky-test`) or the text (`install-quirk`, `note`). */
+    text?: string;
+    /** `pinned-package` and `rejected-upgrade`. */
+    package?: string;
+    fromVersion?: string;
+    toVersion?: string;
+    /** Why (`pinned-package`, `rejected-upgrade`) or an extra note (`flaky-test`). */
+    reason?: string;
+}
+export declare const PROPOSAL_KINDS: readonly ["test-command", "flaky-test", "pinned-package", "rejected-upgrade", "install-quirk", "note"];
+/** At most this many proposals from one attempt. */
+export declare const MAX_PROPOSALS_PER_ATTEMPT = 5;
+/** The entry a proposal asks for, before its envelope (source, status, time) is added. */
+export declare function entryFromProposal(proposal: MemoryProposal): NewMemoryEntry;
+/** Store a proposal. Returns what to tell the agent; never throws for a refused proposal. */
+export declare function proposeMemory(cwd: string, proposal: MemoryProposal, origin: {
+    runId?: string;
+    attemptId?: string;
+}): Promise<string>;
+//# sourceMappingURL=propose.d.ts.map

package/dist/platform/memory/propose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.d.ts","sourceRoot":"","sources":["../../../src/platform/memory/propose.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAgB,KAAK,UAAU,EAAe,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAa,KAAK,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5D,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,UAAU,CAAC;IACjB,mGAAmG;IACnG,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,+CAA+C;IAC/C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,kFAAkF;IAClF,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,eAAO,MAAM,cAAc,wGAAe,CAAC;AAE3C,oDAAoD;AACpD,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAU3C,0FAA0F;AAC1F,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,cAAc,GAAG,cAAc,CAoC1E;AAED,6FAA6F;AAC7F,wBAAsB,aAAa,CACjC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,cAAc,EACxB,MAAM,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7C,OAAO,CAAC,MAAM,CAAC,CAiBjB"}

package/dist/platform/memory/propose.js

@@ -0,0 +1,71 @@
+/**
+ * What an agent may do to memory: propose. A proposal is stored as a `proposed` entry that changes
+ * nothing until a person runs `autoremediator memory accept <id>`. Its text is held to the same
+ * rules as any entry, and also refused if it reads like an instruction.
+ */
+import { MEMORY_KINDS, unreachable } from "./entries.js";
+import { addMemory } from "./store.js";
+export const PROPOSAL_KINDS = MEMORY_KINDS;
+/** At most this many proposals from one attempt. */
+export const MAX_PROPOSALS_PER_ATTEMPT = 5;
+const need = (proposal, field) => {
+    const value = proposal[field];
+    if (typeof value !== "string" || value === "") {
+        throw new Error(`a ${proposal.kind} proposal needs "${field}"`);
+    }
+    return value;
+};
+/** The entry a proposal asks for, before its envelope (source, status, time) is added. */
+export function entryFromProposal(proposal) {
+    switch (proposal.kind) {
+        case "test-command": {
+            return { kind: "test-command", command: need(proposal, "text") };
+        }
+        case "flaky-test": {
+            return {
+                kind: "flaky-test",
+                test: need(proposal, "text"),
+                ...(proposal.reason ? { note: proposal.reason } : {}),
+            };
+        }
+        case "pinned-package": {
+            return {
+                kind: "pinned-package",
+                package: need(proposal, "package"),
+                reason: need(proposal, "reason"),
+            };
+        }
+        case "rejected-upgrade": {
+            return {
+                kind: "rejected-upgrade",
+                package: need(proposal, "package"),
+                ...(proposal.fromVersion ? { fromVersion: proposal.fromVersion } : {}),
+                toVersion: need(proposal, "toVersion"),
+                reason: need(proposal, "reason"),
+            };
+        }
+        case "install-quirk":
+        case "note": {
+            return { kind: proposal.kind, text: need(proposal, "text") };
+        }
+        default: {
+            return unreachable(proposal.kind);
+        }
+    }
+}
+/** Store a proposal. Returns what to tell the agent; never throws for a refused proposal. */
+export async function proposeMemory(cwd, proposal, origin) {
+    try {
+        const source = origin.runId && /^run_[0-9a-z]{20}$/.test(origin.runId)
+            ? `agent:${origin.runId}${origin.attemptId && /^attempt_[0-9a-z]{12}$/.test(origin.attemptId) ? `/${origin.attemptId}` : ""}`
+            : "agent";
+        const result = await addMemory(cwd, { ...entryFromProposal(proposal), status: "proposed", source }, { untrusted: true, now: new Date() });
+        return result.created
+            ? `Proposed ${result.entry.id}. It changes nothing until a person accepts it.`
+            : `${result.entry.id} is already recorded.`;
+    }
+    catch (error) {
+        return `Refused: ${error instanceof Error ? error.message : String(error)}`;
+    }
+}
+//# sourceMappingURL=propose.js.map

package/dist/platform/memory/propose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.js","sourceRoot":"","sources":["../../../src/platform/memory/propose.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,YAAY,EAAmB,WAAW,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAuB,MAAM,YAAY,CAAC;AAe5D,MAAM,CAAC,MAAM,cAAc,GAAG,YAAY,CAAC;AAE3C,oDAAoD;AACpD,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAE3C,MAAM,IAAI,GAAG,CAAC,QAAwB,EAAE,KAA2B,EAAU,EAAE;IAC7E,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,KAAK,QAAQ,CAAC,IAAI,oBAAoB,KAAK,GAAG,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,0FAA0F;AAC1F,MAAM,UAAU,iBAAiB,CAAC,QAAwB;IACxD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,cAAc,EAAE,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACnE,CAAC;QACD,KAAK,YAAY,EAAE,CAAC;YAClB,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC;gBAC5B,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC;QACJ,CAAC;QACD,KAAK,gBAAgB,EAAE,CAAC;YACtB,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAClC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC;aACjC,CAAC;QACJ,CAAC;QACD,KAAK,kBAAkB,EAAE,CAAC;YACxB,OAAO;gBACL,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAClC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC;gBACtC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC;aACjC,CAAC;QACJ,CAAC;QACD,KAAK,eAAe,CAAC;QACrB,KAAK,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QAC/D,CAAC;QACD,SAAS,CAAC;YACR,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,GAAW,EACX,QAAwB,EACxB,MAA8C;IAE9C,IAAI,CAAC;QACH,MAAM,MAAM,GACV,MAAM,CAAC,KAAK,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YACrD,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,SAAS,IAAI,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7H,CAAC,CAAC,OAAO,CAAC;QACd,MAAM,MAAM,GAAG,MAAM,SAAS,CAC5B,GAAG,EACH,EAAE,GAAG,iBAAiB,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAC9D,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,EAAE,EAAE,CACrC,CAAC;QACF,OAAO,MAAM,CAAC,OAAO;YACnB,CAAC,CAAC,YAAY,MAAM,CAAC,KAAK,CAAC,EAAE,iDAAiD;YAC9E,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;IAChD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,YAAY,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9E,CAAC;AACH,CAAC"}

package/dist/platform/memory/store.d.ts

@@ -0,0 +1,64 @@
+import { MEMORY_LIMITS, type MemoryEntry, type MemoryKind, type MemoryStatus, type StoredEntry } from "./entries.js";
+import { type MemoryDocument } from "./format.js";
+import { MEMORY_PATH } from "./path.js";
+export { MEMORY_PATH };
+export declare const memoryPathOf: (cwd: string) => string;
+export interface MemoryState {
+    path: string;
+    exists: boolean;
+    doc: MemoryDocument;
+    /** Every valid entry, whatever its state. */
+    entries: MemoryEntry[];
+    /** Lines of the block that are not valid entries, and what is wrong with the block. */
+    problems: string[];
+}
+/** The file as it is now, or an empty document when there is none. Throws when it cannot be read safely. */
+export declare function readMemory(cwd: string): MemoryState;
+/** Entries by what they currently do. */
+export interface MemoryView {
+    /** Active and not expired: these change behavior. */
+    active: MemoryEntry[];
+    /** Waiting for a person; these change nothing. */
+    proposed: MemoryEntry[];
+    /** Past their expiry; these change nothing until pruned. */
+    expired: MemoryEntry[];
+}
+export declare function viewEntries(entries: readonly MemoryEntry[], now: Date): MemoryView;
+type Distributive<T> = T extends unknown ? Omit<T, "createdAt" | "status" | "source" | "expiresAt"> : never;
+/** What a caller supplies for a new entry; the rest is filled in. */
+export type NewMemoryEntry = Distributive<StoredEntry> & {
+    /** Who or what is the source. Default `human`. */
+    source?: string;
+    /** Default `active`; an agent's proposals are `proposed`. */
+    status?: MemoryStatus;
+    /** When the entry stops counting (ISO 8601). */
+    expiresAt?: string;
+    /** Alternative to `expiresAt`: days from now. */
+    expiresInDays?: number;
+};
+export interface AddMemoryOptions {
+    now?: Date;
+    /** Refuse text that reads like an instruction (set for anything an agent wrote). */
+    untrusted?: boolean;
+}
+export interface AddMemoryResult {
+    entry: MemoryEntry;
+    /** False when the same fact was already in the file. */
+    created: boolean;
+    /** Entries dropped to make room. */
+    evicted: string[];
+    path: string;
+}
+/** Validate a new entry the way the file does, without writing it. */
+export declare function buildEntry(input: NewMemoryEntry, now: Date, untrusted?: boolean): StoredEntry;
+export declare function addMemory(cwd: string, input: NewMemoryEntry, options?: AddMemoryOptions): Promise<AddMemoryResult>;
+export declare function removeMemory(cwd: string, id: string): Promise<MemoryEntry>;
+export declare function acceptMemory(cwd: string, id: string): Promise<{
+    entry: MemoryEntry;
+    alreadyActive: boolean;
+}>;
+export declare function pruneMemory(cwd: string, now?: Date): Promise<MemoryEntry[]>;
+/** The kinds an entry list contains, for summaries. */
+export declare function countByKind(entries: readonly MemoryEntry[]): Record<MemoryKind, number>;
+export { MEMORY_LIMITS };
+//# sourceMappingURL=store.d.ts.map

package/dist/platform/memory/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../../src/platform/memory/store.ts"],"names":[],"mappings":"AAUA,OAAO,EAKL,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,YAAY,EAEjB,KAAK,WAAW,EACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EAKL,KAAK,cAAc,EAKpB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,WAAW,EAAE,CAAC;AAOvB,eAAO,MAAM,YAAY,QAAS,MAAM,KAAG,MAAgC,CAAC;AAE5E,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,GAAG,EAAE,cAAc,CAAC;IACpB,6CAA6C;IAC7C,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,uFAAuF;IACvF,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,4GAA4G;AAC5G,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,WAAW,CAuBnD;AAUD,yCAAyC;AACzC,MAAM,WAAW,UAAU;IACzB,qDAAqD;IACrD,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,kDAAkD;IAClD,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,4DAA4D;IAC5D,OAAO,EAAE,WAAW,EAAE,CAAC;CACxB;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,UAAU,CAQlF;AAyED,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GACpC,IAAI,CAAC,CAAC,EAAE,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC,GACxD,KAAK,CAAC;AAEV,qEAAqE;AACrE,MAAM,MAAM,cAAc,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG;IACvD,kDAAkD;IAClD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,gDAAgD;IAChD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,WAAW,gBAAgB;IAC/B,GAAG,CAAC,EAAE,IAAI,CAAC;IACX,oFAAoF;IACpF,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,WAAW,CAAC;IACnB,wDAAwD;IACxD,OAAO,EAAE,OAAO,CAAC;IACjB,oCAAoC;IACpC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,sEAAsE;AACtE,wBAAgB,UAAU,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,UAAQ,GAAG,WAAW,CA2B3F;AAED,wBAAsB,SAAS,CAC7B,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,cAAc,EACrB,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC,eAAe,CAAC,CAe1B;AAED,wBAAsB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAOhF;AAED,wBAAsB,YAAY,CAChC,GAAG,EAAE,MAAM,EACX,EAAE,EAAE,MAAM,GACT,OAAO,CAAC;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAAE,CAAC,CAOzD;AAED,wBAAsB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,GAAE,IAAiB,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAK7F;AAED,uDAAuD;AACvD,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAWvF;AAED,OAAO,EAAE,aAAa,EAAE,CAAC"}