@nanonets/graft 0.24.0 → 0.25.0

package/dist/skills/follow-learnings.d.ts

@@ -0,0 +1,128 @@
+/**
+ * Learnings and skills, said once and never against each other (part 7).
+ *
+ * A person's live preferences, decisions and guardrails are read for what
+ * they say about commands (learning-steps.ts, no model), then:
+ *
+ * - at a skill's save or offer, the steps follow them: a step a learning
+ *   forbids is written its way when Trail can do that safely, else left
+ *   out, and the offer names either in one plain line (`followAtSave`);
+ * - at recall, a learning that only repeats a step is said once, in the run
+ *   block, and the prompt's learnings lines leave it out; one that goes
+ *   against a step wins, and the block marks the step (`recallMarks`,
+ *   `markLines`). The update offer then proposes the change, with its usual
+ *   consent (fold.ts, why `preference`).
+ *
+ * Retired, replaced and held learnings never count (`liveLearnings`), nor
+ * one on a teammate's unmerged branch, nor a lesson. Reading fails open:
+ * no learnings, nothing changes.
+ */
+import { type Note } from '../notes/notes.js';
+import { type LearningKind, type Scope } from '../notes/learning-fields.js';
+import { type StepRule } from './learning-steps.js';
+export interface StepLearning {
+    id: string;
+    /** Its file name: one learning wherever it sits, as the session's shown list knows it (`shownFiles`). */
+    file: string;
+    kind: LearningKind | null;
+    scope: Scope;
+    /** The learning's words as a line quotes them. */
+    quote: string;
+    /** The quote is the whole learning and every sentence of it was read: a line that says it leaves nothing out. */
+    whole: boolean;
+    rules: StepRule[];
+}
+/** Where a save or a block reads learnings: the run's repo, its checkout's committed ones, and every-repo ones. */
+export interface LearningsWhere {
+    repoKeys: string[];
+    checkout: string;
+    env: NodeJS.ProcessEnv;
+}
+export declare const QUOTE_MAX = 160;
+/** The words the person and the agent read. No em dashes; never notes, rules or the like (the words test reads these). */
+export declare const FOLLOW_COPY: {
+    readonly savedOne: "Step {n} runs {next} rather than this run's {old}, as {whose} \"{quote}\" says.";
+    readonly savedMany: "Steps {list} follow {whose} \"{quote}\" rather than this run's commands.";
+    readonly leftOne: "Trail left out {old}: it goes against {whose} \"{quote}\", and Trail can't change it safely.";
+    readonly leftMany: "Trail left out {k} steps: they go against {whose} \"{quote}\", and Trail can't change them safely.";
+    readonly refuse: "goes against {whose} \"{quote}\", and it is the check";
+    readonly short: "Some steps follow your learnings rather than this run; say show me to see them.";
+    readonly counts: "To follow your learnings, Trail {did}; say show me to see them.";
+    readonly stepFixed: " ({whose_s} way; the skill has {old})";
+    readonly stepAgainst: " (against {whose}: see below)";
+    readonly wins: "{Whose} wins over the skill: \"{quote}\". {Steps} {are} written its way; run {them} as shown.";
+    readonly against: "{Whose} \"{quote}\" goes against {steps}: leave {it} out, do that part its way, and tell the person.";
+    readonly follows: "{Steps} {follow} {whose}: \"{quote}\".";
+};
+/** A command as a line shows it: one line, at most 60 characters, its single quotes made double, in single quotes. */
+export declare const cmdWords: (cmd: string) => string;
+/** 'your preference', "this repo's decision", "your team's learning". */
+export declare function whose(l: Pick<StepLearning, 'kind' | 'scope'>): string;
+/** What one learning says about commands; null when it says nothing a step could repeat or go against. */
+export declare function stepLearningOf(n: Pick<Note, 'id' | 'kind' | 'scope' | 'title' | 'body'> & {
+    path?: string;
+}): StepLearning | null;
+/** The file names of the learnings a session has shown already (its `injectedNotes`: paths, or a title for one with none). */
+export declare function shownFiles(injected: readonly string[] | undefined): Set<string>;
+/** The live learnings that say something about commands, for a run in `where`. [] on any read failure. */
+export declare function stepLearnings(where: LearningsWhere): StepLearning[];
+/**
+ * The learning's words only repeat what the steps do: every sentence read, at least one step repeats it, none goes
+ * against it. What init folds into a skill as a lesson (part 7).
+ */
+export declare function onlyRepeats(text: string, steps: string[]): boolean;
+export interface SaveItem {
+    cmd: string;
+    gated: boolean;
+    isCheck: boolean;
+}
+export interface SaveFollow {
+    /** The steps kept, by their index in the input, with the command they keep. */
+    keep: Array<{
+        i: number;
+        cmd: string;
+    }>;
+    /** The one plain line the offer and the save name it in; '' when nothing changed. */
+    line: string;
+    /** Why the skill can't be kept: the check itself goes against a learning and can't follow it. */
+    refuse: string | null;
+}
+/** The steps as a save keeps them: each one a learning goes against written its way, or left out, and the line that says so. */
+export declare function followAtSave(items: SaveItem[], ls: StepLearning[]): SaveFollow;
+/** An offer's 2 lines with the follow line at the end of line 1 (a shorter one when both don't fit). */
+export declare function withFollowLine(lines: [string, string], followed: string | undefined): [string, string];
+/** One learning's say in a run block: the steps it repeats, or the steps it goes against (written its way, or to leave out). */
+export interface RecallMark {
+    l: StepLearning;
+    against: boolean;
+    steps: number[];
+    /** Against: each step's command its way (with the skill's {params}), or null for a step to leave out. */
+    fixes: Map<number, string | null>;
+}
+/**
+ * What the live learnings say of a skill's steps, at most 3 learnings. A learning that goes against a step wins over
+ * one that repeats it. A repeat is said only for a preference or decision (or a plain learning) the line can quote in
+ * full, so leaving it out of the prompt's learnings lines loses nothing, and only once a session: one the session showed
+ * already (`shown`, file names: on a file the agent opened, or with an earlier prompt) is not said again. A learning
+ * that goes against a step is always marked, since the step is shown its way.
+ */
+export declare function recallMarks(steps: Array<{
+    n: number;
+    cmd: string;
+    gated?: unknown;
+}>, ls: StepLearning[], shown?: ReadonlySet<string>): RecallMark[];
+/** The step texts and check as the block shows them: each fix in place of its step (and of the check it is). */
+export declare function withFixes<T extends {
+    steps: Array<{
+        n: number;
+        cmd: string;
+    }>;
+    check: string | null;
+}>(skill: T, marks: RecallMark[]): T;
+/** What a marked step's line ends with in the block (`n` is the step, `old` the skill's own command, filled). */
+export declare function stepNote(marks: RecallMark[], n: number, old: string): string;
+/** The lines after a block's steps, one per learning, each quoting it once. */
+export declare function markLines(marks: RecallMark[]): string[];
+/** The ids of the learnings a block says (its lines are in the block as it went out). */
+export declare function saidIn(block: string, marks: RecallMark[]): string[];
+//# sourceMappingURL=follow-learnings.d.ts.map

package/dist/skills/follow-learnings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"follow-learnings.d.ts","sourceRoot":"","sources":["../../src/skills/follow-learnings.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAe,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAE3D,OAAO,EAA+C,KAAK,YAAY,EAAE,KAAK,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAMzH,OAAO,EAAuB,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAEzE,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,yGAAyG;IACzG,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,YAAY,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,KAAK,CAAC;IACb,kDAAkD;IAClD,KAAK,EAAE,MAAM,CAAC;IACd,iHAAiH;IACjH,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAED,mHAAmH;AACnH,MAAM,WAAW,cAAc;IAAG,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC,UAAU,CAAA;CAAE;AAEhG,eAAO,MAAM,SAAS,MAAM,CAAC;AAG7B,0HAA0H;AAC1H,eAAO,MAAM,WAAW;;;;;;;;;;;;;CAad,CAAC;AAKX,sHAAsH;AACtH,eAAO,MAAM,QAAQ,GAAI,KAAK,MAAM,WAA8D,CAAC;AAInG,yEAAyE;AACzE,wBAAgB,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,MAAM,CAErE;AAoBD,0GAA0G;AAC1G,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC,GAAG;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,GAAG,IAAI,CAQjI;AAED,8HAA8H;AAC9H,wBAAgB,UAAU,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAE/E;AAED,0GAA0G;AAC1G,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,GAAG,YAAY,EAAE,CAkBnE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAKlE;AAID,MAAM,WAAW,QAAQ;IAAG,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE;AAC3E,MAAM,WAAW,UAAU;IACzB,+EAA+E;IAC/E,IAAI,EAAE,KAAK,CAAC;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxC,qFAAqF;IACrF,IAAI,EAAE,MAAM,CAAC;IACb,iGAAiG;IACjG,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAcD,gIAAgI;AAChI,wBAAgB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,GAAG,UAAU,CAsC9E;AAMD,wGAAwG;AACxG,wBAAgB,cAAc,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAItG;AAID,gIAAgI;AAChI,MAAM,WAAW,UAAU;IACzB,CAAC,EAAE,YAAY,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,yGAAyG;IACzG,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;CACnC;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,KAAK,GAAE,WAAW,CAAC,MAAM,CAAa,GAAG,UAAU,EAAE,CAkB/J;AAED,gHAAgH;AAChH,wBAAgB,SAAS,CAAC,CAAC,SAAS;IAAE,KAAK,EAAE,KAAK,CAAC;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAYxI;AAED,iHAAiH;AACjH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAI5E;AAED,+EAA+E;AAC/E,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAoBvD;AAED,yFAAyF;AACzF,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAGnE"}

package/dist/skills/follow-learnings.js

@@ -0,0 +1,278 @@
+/**
+ * Learnings and skills, said once and never against each other (part 7).
+ *
+ * A person's live preferences, decisions and guardrails are read for what
+ * they say about commands (learning-steps.ts, no model), then:
+ *
+ * - at a skill's save or offer, the steps follow them: a step a learning
+ *   forbids is written its way when Trail can do that safely, else left
+ *   out, and the offer names either in one plain line (`followAtSave`);
+ * - at recall, a learning that only repeats a step is said once, in the run
+ *   block, and the prompt's learnings lines leave it out; one that goes
+ *   against a step wins, and the block marks the step (`recallMarks`,
+ *   `markLines`). The update offer then proposes the change, with its usual
+ *   consent (fold.ts, why `preference`).
+ *
+ * Retired, replaced and held learnings never count (`liveLearnings`), nor
+ * one on a teammate's unmerged branch, nor a lesson. Reading fails open:
+ * no learnings, nothing changes.
+ */
+import { readNotesIn } from '../notes/notes.js';
+import { everyRepoLearnings } from '../notes/every-repo.js';
+import { EVERY_REPO, learningFileName, liveLearnings } from '../notes/learning-fields.js';
+import { repoNotesDir } from '../notes/repo-notes-dir.js';
+import { learningsDir } from '../notes/repo-trail.js';
+import { flatLine } from '../notes/flatten.js';
+import { gatedKind } from './risk.js';
+import { neverSave } from './never-save.js';
+import { matchSteps, rulesOf } from './learning-steps.js';
+export const QUOTE_MAX = 160;
+const MARKS_MAX = 3;
+/** The words the person and the agent read. No em dashes; never notes, rules or the like (the words test reads these). */
+export const FOLLOW_COPY = {
+    savedOne: 'Step {n} runs {next} rather than this run\'s {old}, as {whose} "{quote}" says.',
+    savedMany: 'Steps {list} follow {whose} "{quote}" rather than this run\'s commands.',
+    leftOne: 'Trail left out {old}: it goes against {whose} "{quote}", and Trail can\'t change it safely.',
+    leftMany: 'Trail left out {k} steps: they go against {whose} "{quote}", and Trail can\'t change them safely.',
+    refuse: 'goes against {whose} "{quote}", and it is the check',
+    short: 'Some steps follow your learnings rather than this run; say show me to see them.',
+    counts: 'To follow your learnings, Trail {did}; say show me to see them.',
+    stepFixed: ' ({whose_s} way; the skill has {old})',
+    stepAgainst: ' (against {whose}: see below)',
+    wins: '{Whose} wins over the skill: "{quote}". {Steps} {are} written its way; run {them} as shown.',
+    against: '{Whose} "{quote}" goes against {steps}: leave {it} out, do that part its way, and tell the person.',
+    follows: '{Steps} {follow} {whose}: "{quote}".',
+};
+const fill = (t, v) => t.replace(/\{(\w+)\}/g, (m, k) => (v[k] === undefined ? m : String(v[k])));
+const cap = (t) => t.charAt(0).toUpperCase() + t.slice(1);
+const quoteText = (l) => l.quote.replace(/"/g, "'");
+/** A command as a line shows it: one line, at most 60 characters, its single quotes made double, in single quotes. */
+export const cmdWords = (cmd) => `'${flatLine(String(cmd ?? '').replace(/'/g, '"'), 60)}'`;
+const listWords = (ns) => (ns.length < 2 ? ns.join('') : `${ns.slice(0, -1).join(', ')} and ${ns[ns.length - 1]}`);
+const OWNER = { personal: 'your', repo: "this repo's", team: "your team's" };
+/** 'your preference', "this repo's decision", "your team's learning". */
+export function whose(l) {
+    return `${OWNER[l.scope] ?? 'your'} ${l.kind && l.kind !== 'lesson' ? l.kind : 'learning'}`;
+}
+/* ------------------------------------------------------------ reading */
+/** The lines a learning's commands are read from: its title and body, headings and the tried-and-ruled-out part left out. */
+function linesOf(n) {
+    const out = [];
+    let skip = false;
+    for (const raw of [n.title, ...String(n.body ?? '').split('\n')]) {
+        const l = flatLine(raw, 4000);
+        const h = /^#{1,6}\s+(.*)$/.exec(l);
+        if (h) {
+            skip = /tried|ruled out/i.test(h[1]);
+            continue;
+        }
+        if (l && !skip && !out.includes(l))
+            out.push(l);
+    }
+    return out;
+}
+/** What one learning says about commands; null when it says nothing a step could repeat or go against. */
+export function stepLearningOf(n) {
+    if (n.kind === 'lesson')
+        return null;
+    const lines = linesOf(n);
+    const read = rulesOf(lines.join('\n'));
+    if (!read.rules.length)
+        return null;
+    const only = lines.length === 1 ? lines[0] : null;
+    const quote = flatLine(only ?? n.title, QUOTE_MAX);
+    return { id: n.id, file: n.path ? learningFileName(n.path) : '', kind: n.kind ?? null, scope: n.scope ?? 'repo', quote, whole: read.whole && only !== null && quote === only, rules: read.rules };
+}
+/** The file names of the learnings a session has shown already (its `injectedNotes`: paths, or a title for one with none). */
+export function shownFiles(injected) {
+    return new Set((injected ?? []).map((p) => learningFileName(p)).filter(Boolean));
+}
+/** The live learnings that say something about commands, for a run in `where`. [] on any read failure. */
+export function stepLearnings(where) {
+    const notes = [];
+    const add = (f) => {
+        try {
+            notes.push(...f());
+        }
+        catch { /* none from there this time */ }
+    };
+    add(() => everyRepoLearnings(where.env));
+    for (const key of [...new Set(where.repoKeys.filter(Boolean))]) {
+        const k = key.toLowerCase();
+        add(() => readNotesIn(repoNotesDir(key, where.env), '', '', 'personal').filter((n) => !n.applies || n.applies === EVERY_REPO || n.applies === k));
+    }
+    if (where.checkout)
+        add(() => readNotesIn(learningsDir(where.checkout), where.checkout, where.checkout, 'repo'));
+    try {
+        const seen = new Set();
+        const unique = notes.filter((n) => !seen.has(n.id) && (seen.add(n.id), true));
+        return liveLearnings(unique).flatMap((n) => stepLearningOf(n) ?? []);
+    }
+    catch {
+        return [];
+    }
+}
+/**
+ * The learning's words only repeat what the steps do: every sentence read, at least one step repeats it, none goes
+ * against it. What init folds into a skill as a lesson (part 7).
+ */
+export function onlyRepeats(text, steps) {
+    const l = stepLearningOf({ id: 'l-000000', kind: 'preference', scope: 'personal', title: text, body: text });
+    if (!l || !l.whole)
+        return false;
+    const v = matchSteps(l.rules, steps);
+    return v.repeats.length > 0 && v.contradicts.length === 0;
+}
+/** A fix the save or the block may use: a step that can be undone stays one, and nothing the risk rules refuse. */
+const safeFix = (fix, gated) => (fix && !gated && !gatedKind(fix) && !neverSave(fix) ? fix : null);
+/** The first learning that goes against each step, and the step its way when that is safe. */
+function against(cmds, gated, ls) {
+    const out = new Map();
+    for (const l of ls) {
+        for (const c of matchSteps(l.rules, cmds).contradicts)
+            if (!out.has(c.step))
+                out.set(c.step, { l, fix: safeFix(c.fix, gated[c.step - 1] ?? true) });
+    }
+    return out;
+}
+/** The steps as a save keeps them: each one a learning goes against written its way, or left out, and the line that says so. */
+export function followAtSave(items, ls) {
+    const same = { keep: items.map((it, i) => ({ i, cmd: it.cmd })), line: '', refuse: null };
+    if (!ls.length || !items.length)
+        return same;
+    const hit = against(items.map((it) => it.cmd), items.map((it) => it.gated), ls);
+    if (!hit.size)
+        return same;
+    const keep = [];
+    const fixed = new Map();
+    const left = new Map();
+    for (const [i, it] of items.entries()) {
+        const h = hit.get(i + 1);
+        if (!h) {
+            keep.push({ i, cmd: it.cmd });
+        }
+        else if (h.fix) {
+            keep.push({ i, cmd: h.fix });
+            fixed.set(h.l, [...(fixed.get(h.l) ?? []), { n: keep.length, old: it.cmd, next: h.fix }]);
+        }
+        else if (it.isCheck) {
+            return { ...same, refuse: fill(FOLLOW_COPY.refuse, { whose: whose(h.l), quote: flatLine(quoteText(h.l), 80) }) };
+        }
+        else {
+            left.set(h.l, [...(left.get(h.l) ?? []), it.cmd]);
+        }
+    }
+    const said = [];
+    for (const [l, fs] of fixed) {
+        const v = { whose: whose(l), quote: flatLine(quoteText(l), 80) };
+        said.push(fs.length === 1 ? fill(FOLLOW_COPY.savedOne, { ...v, n: fs[0].n, next: cmdWords(fs[0].next), old: cmdWords(fs[0].old) })
+            : fill(FOLLOW_COPY.savedMany, { ...v, list: listWords(fs.map((f) => f.n)) }));
+    }
+    for (const [l, olds] of left) {
+        const v = { whose: whose(l), quote: flatLine(quoteText(l), 80) };
+        said.push(olds.length === 1 ? fill(FOLLOW_COPY.leftOne, { ...v, old: cmdWords(olds[0]) }) : fill(FOLLOW_COPY.leftMany, { ...v, k: olds.length }));
+    }
+    const all = said.join(' ');
+    const changed = [...fixed.values()].reduce((n, fs) => n + fs.length, 0);
+    const dropped = [...left.values()].reduce((n, olds) => n + olds.length, 0);
+    const n = (k) => (k === 1 ? '1 step' : `${k} steps`);
+    const did = [changed ? `changed ${n(changed)}` : '', dropped ? `left out ${n(dropped)}` : ''].filter(Boolean).join(' and ');
+    const counts = fill(FOLLOW_COPY.counts, { did });
+    return { keep, line: flatLine(all.length <= LINE_ROOM ? all : counts, 400), refuse: null };
+}
+/** Room an offer's line 1 leaves for the follow line (offer lines are at most 400 characters). */
+const LINE_ROOM = 240;
+const OFFER_LINE_MAX = 400;
+/** An offer's 2 lines with the follow line at the end of line 1 (a shorter one when both don't fit). */
+export function withFollowLine(lines, followed) {
+    if (!followed)
+        return lines;
+    const both = `${lines[0]} ${followed}`;
+    return [both.length <= OFFER_LINE_MAX ? both : flatLine(`${lines[0]} ${FOLLOW_COPY.short}`, OFFER_LINE_MAX), lines[1]];
+}
+/**
+ * What the live learnings say of a skill's steps, at most 3 learnings. A learning that goes against a step wins over
+ * one that repeats it. A repeat is said only for a preference or decision (or a plain learning) the line can quote in
+ * full, so leaving it out of the prompt's learnings lines loses nothing, and only once a session: one the session showed
+ * already (`shown`, file names: on a file the agent opened, or with an earlier prompt) is not said again. A learning
+ * that goes against a step is always marked, since the step is shown its way.
+ */
+export function recallMarks(steps, ls, shown = new Set()) {
+    if (!ls.length || !steps.length)
+        return [];
+    const cmds = steps.map((s) => s.cmd);
+    const hit = against(cmds, steps.map((s) => !!s.gated), ls);
+    const out = [];
+    for (const l of ls) {
+        const mine = [...hit].filter(([, h]) => h.l === l).map(([n]) => n);
+        if (mine.length) {
+            out.push({ l, against: true, steps: mine, fixes: new Map(mine.map((n) => [n, hit.get(n).fix])) });
+            continue;
+        }
+        if (!l.whole || (l.kind !== null && l.kind !== 'preference' && l.kind !== 'decision'))
+            continue;
+        // Shown this session already (on a file the agent opened, or with an earlier prompt): not said again here.
+        if (l.file && shown.has(l.file))
+            continue;
+        const reps = matchSteps(l.rules, cmds).repeats.filter((n) => !hit.has(n));
+        if (reps.length)
+            out.push({ l, against: false, steps: reps, fixes: new Map() });
+    }
+    return out.slice(0, MARKS_MAX);
+}
+/** The step texts and check as the block shows them: each fix in place of its step (and of the check it is). */
+export function withFixes(skill, marks) {
+    const fixes = new Map();
+    for (const m of marks)
+        for (const [n, f] of m.fixes)
+            if (f)
+                fixes.set(n, f);
+    if (!fixes.size)
+        return skill;
+    let check = skill.check;
+    const steps = skill.steps.map((s) => {
+        const f = fixes.get(s.n);
+        if (!f)
+            return s;
+        if (check !== null && check === s.cmd)
+            check = f;
+        return { ...s, cmd: f };
+    });
+    return { ...skill, steps, check };
+}
+/** What a marked step's line ends with in the block (`n` is the step, `old` the skill's own command, filled). */
+export function stepNote(marks, n, old) {
+    const m = marks.find((x) => x.against && x.steps.includes(n));
+    if (!m)
+        return '';
+    return m.fixes.get(n) ? fill(FOLLOW_COPY.stepFixed, { whose_s: `${whose(m.l)}'s`, old: flatLine(old, 120) }) : fill(FOLLOW_COPY.stepAgainst, { whose: whose(m.l) });
+}
+/** The lines after a block's steps, one per learning, each quoting it once. */
+export function markLines(marks) {
+    return marks.map((m) => {
+        const one = m.steps.length === 1;
+        const steps = `${one ? 'step' : 'steps'} ${listWords(m.steps)}`;
+        const v = { whose: whose(m.l), Whose: cap(whose(m.l)), quote: quoteText(m.l), steps, Steps: cap(steps) };
+        if (!m.against)
+            return fill(FOLLOW_COPY.follows, { ...v, follow: one ? 'follows' : 'follow' });
+        const fixed = m.steps.filter((n) => m.fixes.get(n));
+        const out = m.steps.filter((n) => !m.fixes.get(n));
+        const parts = [];
+        if (fixed.length) {
+            const s = `${fixed.length === 1 ? 'Step' : 'Steps'} ${listWords(fixed)}`;
+            parts.push(fill(FOLLOW_COPY.wins, { ...v, Steps: s, are: fixed.length === 1 ? 'is' : 'are', them: fixed.length === 1 ? 'it' : 'them' }));
+        }
+        if (out.length) {
+            const s = `${out.length === 1 ? 'step' : 'steps'} ${listWords(out)}`;
+            parts.push(fill(FOLLOW_COPY.against, { ...v, steps: s, it: out.length === 1 ? 'it' : 'them' }));
+        }
+        // Both kinds from one learning: its words once, in the first sentence.
+        return parts.length === 2 ? `${parts[0]} ${parts[1].replace(/^.+? goes against /, 'It goes against ')}` : parts[0];
+    });
+}
+/** The ids of the learnings a block says (its lines are in the block as it went out). */
+export function saidIn(block, marks) {
+    const lines = markLines(marks);
+    return marks.filter((_, k) => block.includes(lines[k])).map((m) => m.l.id);
+}
+//# sourceMappingURL=follow-learnings.js.map

package/dist/skills/follow-learnings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"follow-learnings.js","sourceRoot":"","sources":["../../src/skills/follow-learnings.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,WAAW,EAAa,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,EAAiC,MAAM,6BAA6B,CAAC;AACzH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,OAAO,EAAiB,MAAM,qBAAqB,CAAC;AAkBzE,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,CAAC;AAC7B,MAAM,SAAS,GAAG,CAAC,CAAC;AAEpB,0HAA0H;AAC1H,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,QAAQ,EAAE,gFAAgF;IAC1F,SAAS,EAAE,yEAAyE;IACpF,OAAO,EAAE,6FAA6F;IACtG,QAAQ,EAAE,mGAAmG;IAC7G,MAAM,EAAE,qDAAqD;IAC7D,KAAK,EAAE,iFAAiF;IACxF,MAAM,EAAE,iEAAiE;IACzE,SAAS,EAAE,uCAAuC;IAClD,WAAW,EAAE,+BAA+B;IAC5C,IAAI,EAAE,6FAA6F;IACnG,OAAO,EAAE,oGAAoG;IAC7G,OAAO,EAAE,sCAAsC;CACvC,CAAC;AAEX,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAkC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnJ,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAClE,MAAM,SAAS,GAAG,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAClE,sHAAsH;AACtH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;AACnG,MAAM,SAAS,GAAG,CAAC,EAAY,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;AAE7H,MAAM,KAAK,GAA0B,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;AACpG,yEAAyE;AACzE,MAAM,UAAU,KAAK,CAAC,CAAuC;IAC3D,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;AAC9F,CAAC;AAED,0EAA0E;AAE1E,6HAA6H;AAC7H,SAAS,OAAO,CAAC,CAA+B;IAC9C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACjE,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACtC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,cAAc,CAAC,CAA6E;IAC1G,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACnD,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;AACpM,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,UAAU,CAAC,QAAuC;IAChE,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,aAAa,CAAC,KAAqB;IACjD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,CAAe,EAAE,EAAE;QAC9B,IAAI,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,+BAA+B,CAAC,CAAC;IACvE,CAAC,CAAC;IACF,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;QAC5B,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpJ,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ;QAAE,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACjH,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9E,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACvE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,KAAe;IACvD,MAAM,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7G,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;AAC5D,CAAC;AAcD,mHAAmH;AACnH,MAAM,OAAO,GAAG,CAAC,GAAkB,EAAE,KAAc,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAE3H,8FAA8F;AAC9F,SAAS,OAAO,CAAC,IAAc,EAAE,KAAgB,EAAE,EAAkB;IACnE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmD,CAAC;IACvE,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,WAAW;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACtJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,YAAY,CAAC,KAAiB,EAAE,EAAkB;IAChE,MAAM,IAAI,GAAe,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACtG,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IAChF,IAAI,CAAC,GAAG,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,IAAI,GAAuB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiE,CAAC;IACvF,MAAM,IAAI,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC/C,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAChC,CAAC;aAAM,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAC7B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC5F,CAAC;aAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACtB,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACnH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACnI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACrJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5H,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACjD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC7F,CAAC;AAED,kGAAkG;AAClG,MAAM,SAAS,GAAG,GAAG,CAAC;AACtB,MAAM,cAAc,GAAG,GAAG,CAAC;AAE3B,wGAAwG;AACxG,MAAM,UAAU,cAAc,CAAC,KAAuB,EAAE,QAA4B;IAClF,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;IACvC,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,EAAE,cAAc,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACzH,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,KAAyD,EAAE,EAAkB,EAAE,QAA6B,IAAI,GAAG,EAAE;IAC/I,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnG,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAAE,SAAS;QAChG,2GAA2G;QAC3G,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAI,IAAI,CAAC,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACjC,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,SAAS,CAA+E,KAAQ,EAAE,KAAmB;IACnI,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,IAAI,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9B,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACxB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,CAAC,CAAC,GAAG;YAAE,KAAK,GAAG,CAAC,CAAC;QACjD,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,QAAQ,CAAC,KAAmB,EAAE,CAAS,EAAE,GAAW;IAClE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACtK,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,SAAS,CAAC,KAAmB;IAC3C,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrB,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACzG,IAAI,CAAC,CAAC,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC/F,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,CAAC,GAAG,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC3I,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACf,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACrE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAClG,CAAC;QACD,uEAAuE;QACvE,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IACvH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,KAAmB;IACvD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC9E,CAAC"}

package/dist/skills/forget-notice.d.ts

@@ -0,0 +1,44 @@
+/**
+ * D117 (2): `trail forget` stays open to agents (1a: turning things off is open
+ * to anyone; the harm is bounded, it only removes). So the person still hears
+ * of it: when an agent runs it, the CLI notes what was dropped and how to bring
+ * it back in `~/.trail/state/forgot.jsonl`, and the next Stop, in any session,
+ * tells the person once, in one line. A Stop that already blocks (an offer), or
+ * a turn a block continued, leaves it for the next one.
+ *
+ * The person's own forget at their terminal (or from their own script) notes
+ * nothing: they know what they did. Never "memory", no em dashes.
+ */
+import type { Host } from '../trace/host.js';
+import type { HookOut } from './types.js';
+export type DroppedKind = 'skill' | 'lesson' | 'learning' | 'guardrail';
+export interface Dropped {
+    at: string;
+    what: DroppedKind;
+    name: string;
+    back: string;
+}
+export declare const forgotPath: (env: NodeJS.ProcessEnv) => string;
+/** The CLI half: an agent's forget that worked. Never throws (the forget itself already happened). */
+export declare function noteAgentForget(d: Omit<Dropped, 'at'>, env: NodeJS.ProcessEnv, now: Date): void;
+/**
+ * The Stop half: the notes, taken once. The file is renamed first, so two Stops at the same instant can't both say
+ * it; a link in its place is removed, never followed.
+ */
+export declare function takeForgets(env: NodeJS.ProcessEnv, now: Date): Dropped[];
+/** One line for the person: `trail: an agent ran trail forget: the skill x (bring it back: ...); ...`. */
+export declare function forgetLine(ds: Dropped[]): string;
+/**
+ * The Stop's answer with the notes added: a notice where the host shows one (joined to the skills part's), else a
+ * block whose reason asks the agent to tell the person once. `out` is the skills part's answer; a block there, or a
+ * continued turn, leaves the notes for the next Stop.
+ */
+export declare function withForgetNotice(out: HookOut, opts: {
+    env: NodeJS.ProcessEnv;
+    now: Date;
+    active: boolean;
+    stopNotice: boolean;
+}): HookOut;
+/** The Stop handler's call (skills on or off): Trail's clock and the host's facts for this env. */
+export declare function forgetNoticeAtStop(out: HookOut, env: NodeJS.ProcessEnv, host?: Host): HookOut;
+//# sourceMappingURL=forget-notice.d.ts.map

package/dist/skills/forget-notice.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forget-notice.d.ts","sourceRoot":"","sources":["../../src/skills/forget-notice.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAK7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAI1C,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,CAAC;AACxE,MAAM,WAAW,OAAO;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAStF,eAAO,MAAM,UAAU,GAAI,KAAK,MAAM,CAAC,UAAU,KAAG,MAAiD,CAAC;AAEtG,sGAAsG;AACtG,wBAAgB,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,GAAG,IAAI,CAS/F;AA8BD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,GAAG,OAAO,EAAE,CA4BxE;AAID,0GAA0G;AAC1G,wBAAgB,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAIhD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CASzI;AAED,mGAAmG;AACnG,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO,CAE7F"}

package/dist/skills/forget-notice.js

@@ -0,0 +1,131 @@
+import { closeSync, constants, fstatSync, lstatSync, openSync, readSync, renameSync, rmSync } from 'node:fs';
+import { flatLine } from '../notes/flatten.js';
+import { appendPrivateLine, trailPath } from '../util/private-fs.js';
+import { FROM_TRAIL } from './directive-words.js';
+import { hostFacts } from './host-facts.js';
+import { trailNow } from './settings.js';
+const KINDS = new Set(['skill', 'lesson', 'learning', 'guardrail']);
+/** A note older than a day is dropped unsaid: the person has moved on, and a stale line would only confuse. */
+const MAX_AGE_MS = 24 * 60 * 60 * 1000;
+const MAX_SHOWN = 3;
+/** The file is never read past this, and no note is added once it is this big. */
+const MAX_BYTES = 16 * 1024;
+export const forgotPath = (env) => trailPath(env, 'state', 'forgot.jsonl');
+/** The CLI half: an agent's forget that worked. Never throws (the forget itself already happened). */
+export function noteAgentForget(d, env, now) {
+    try {
+        const path = forgotPath(env);
+        try {
+            if (lstatSync(path).size >= MAX_BYTES)
+                return;
+        }
+        catch { /* not there yet */ }
+        const entry = { at: now.toISOString(), what: d.what, name: flatLine(d.name, 60), back: flatLine(d.back, 200) };
+        appendPrivateLine(path, JSON.stringify(entry));
+    }
+    catch { /* the line is a courtesy; the forget stands */ }
+}
+function valid(v, now) {
+    if (!v || typeof v !== 'object')
+        return false;
+    const d = v;
+    if (typeof d.what !== 'string' || !KINDS.has(d.what) || typeof d.name !== 'string' || !d.name || typeof d.back !== 'string' || !d.back)
+        return false;
+    const t = typeof d.at === 'string' ? Date.parse(d.at) : Number.NaN;
+    return Number.isFinite(t) && now.getTime() - t <= MAX_AGE_MS && t - now.getTime() <= 60_000;
+}
+/** Reads at most MAX_BYTES of a regular file, never through a link or into a FIFO. */
+function readSmall(path) {
+    let fd;
+    try {
+        fd = openSync(path, constants.O_RDONLY | (constants.O_NOFOLLOW ?? 0) | (constants.O_NONBLOCK ?? 0));
+    }
+    catch {
+        return null;
+    }
+    try {
+        if (!fstatSync(fd).isFile())
+            return null;
+        const buf = Buffer.alloc(MAX_BYTES);
+        const n = readSync(fd, buf, 0, MAX_BYTES, 0);
+        return buf.subarray(0, n).toString('utf8');
+    }
+    catch {
+        return null;
+    }
+    finally {
+        closeSync(fd);
+    }
+}
+/**
+ * The Stop half: the notes, taken once. The file is renamed first, so two Stops at the same instant can't both say
+ * it; a link in its place is removed, never followed.
+ */
+export function takeForgets(env, now) {
+    const path = forgotPath(env);
+    try {
+        if (lstatSync(path).isSymbolicLink()) {
+            rmSync(path, { force: true });
+            return [];
+        }
+    }
+    catch {
+        return [];
+    }
+    const claimed = `${path}.${process.pid}.${Math.random().toString(16).slice(2, 8)}.taken`;
+    try {
+        renameSync(path, claimed);
+    }
+    catch {
+        return [];
+    }
+    const text = readSmall(claimed);
+    try {
+        rmSync(claimed, { force: true });
+    }
+    catch { /* left for housekeeping */ }
+    if (text === null)
+        return [];
+    const out = [];
+    for (const line of text.split('\n')) {
+        if (!line.trim())
+            continue;
+        try {
+            const v = JSON.parse(line);
+            if (valid(v, now))
+                out.push(v);
+        }
+        catch { /* a broken line */ }
+    }
+    return out;
+}
+const WHAT = { skill: 'the skill', lesson: 'the lesson', learning: 'the learning', guardrail: 'the guardrail' };
+/** One line for the person: `trail: an agent ran trail forget: the skill x (bring it back: ...); ...`. */
+export function forgetLine(ds) {
+    const shown = ds.slice(-MAX_SHOWN).map((d) => `${WHAT[d.what] ?? 'the item'} ${flatLine(d.name, 60)} (bring it back: ${flatLine(d.back, 200)})`);
+    const more = ds.length > MAX_SHOWN ? ` and ${ds.length - MAX_SHOWN} more` : '';
+    return flatLine(`trail: an agent ran trail forget: ${shown.join('; ')}${more}`, 900);
+}
+/**
+ * The Stop's answer with the notes added: a notice where the host shows one (joined to the skills part's), else a
+ * block whose reason asks the agent to tell the person once. `out` is the skills part's answer; a block there, or a
+ * continued turn, leaves the notes for the next Stop.
+ */
+export function withForgetNotice(out, opts) {
+    if (out.block || opts.active)
+        return out;
+    const ds = takeForgets(opts.env, opts.now);
+    if (!ds.length)
+        return out;
+    const line = forgetLine(ds);
+    if (opts.stopNotice)
+        return { ...out, notice: out.notice ? `${out.notice}\n${line}` : line };
+    const block = `[trail] ${FROM_TRAIL} An agent ran trail forget, which only removes, so Trail tells the person what went and how to bring it back. `
+        + `So they know, tell them once: "${line.replace(/^trail: /, '').replace(/"/g, "'")}"`;
+    return { block };
+}
+/** The Stop handler's call (skills on or off): Trail's clock and the host's facts for this env. */
+export function forgetNoticeAtStop(out, env, host) {
+    return withForgetNotice(out, { env, now: trailNow(env), active: false, stopNotice: hostFacts(env, host).stopNotice });
+}
+//# sourceMappingURL=forget-notice.js.map

package/dist/skills/forget-notice.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"forget-notice.js","sourceRoot":"","sources":["../../src/skills/forget-notice.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC7G,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAKzC,MAAM,KAAK,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AACzF,+GAA+G;AAC/G,MAAM,UAAU,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AACvC,MAAM,SAAS,GAAG,CAAC,CAAC;AACpB,kFAAkF;AAClF,MAAM,SAAS,GAAG,EAAE,GAAG,IAAI,CAAC;AAE5B,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAsB,EAAU,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;AAEtG,sGAAsG;AACtG,MAAM,UAAU,eAAe,CAAC,CAAsB,EAAE,GAAsB,EAAE,GAAS;IACvF,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC;YACH,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,SAAS;gBAAE,OAAO;QAChD,CAAC;QAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACxH,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC,CAAC,+CAA+C,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,KAAK,CAAC,CAAU,EAAE,GAAS;IAClC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACrJ,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IACnE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,MAAM,CAAC;AAC9F,CAAC;AAED,sFAAsF;AACtF,SAAS,SAAS,CAAC,IAAY;IAC7B,IAAI,EAAU,CAAC;IACf,IAAI,CAAC;QACH,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,GAAG,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC;IACtG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC7C,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB,EAAE,GAAS;IAC3D,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC;QACH,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9B,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,IAAI,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC;IACzF,IAAI,CAAC;QACH,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAChC,IAAI,CAAC;QAAC,MAAM,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,2BAA2B,CAAC,CAAC;IAC/E,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAC3B,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,IAAI,GAAgC,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;AAE7I,0GAA0G;AAC1G,MAAM,UAAU,UAAU,CAAC,EAAa;IACtC,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjJ,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,MAAM,GAAG,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/E,OAAO,QAAQ,CAAC,qCAAqC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC;AACvF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAY,EAAE,IAAiF;IAC9H,IAAI,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,GAAG,CAAC;IACzC,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,EAAE,CAAC,MAAM;QAAE,OAAO,GAAG,CAAC;IAC3B,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7F,MAAM,KAAK,GAAG,WAAW,UAAU,gHAAgH;UAC/I,kCAAkC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;IACzF,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,kBAAkB,CAAC,GAAY,EAAE,GAAsB,EAAE,IAAW;IAClF,OAAO,gBAAgB,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;AACxH,CAAC"}