@nanonets/graft 0.24.1 → 0.25.0

package/dist/skills/offer-lesson.js

@@ -0,0 +1,123 @@
+/**
+ * Moment 4 (design 4.14, J07): the person corrected a skill Trail brought
+ * in, within 2 typed prompts of its use, in a form Trail can read as a
+ * lesson ("no, it didn't push the tag"). At the Stop of that turn Trail
+ * offers to add the lesson to the skill, with its exact text in line 2.
+ *
+ * The prompt hook only records the correction's sha (`creditWindow`); the
+ * offer needs the fold to have found the person's own typed line with that
+ * sha (`corrected.offset`, `noteCorrectionLine`), so the hook's payload alone
+ * never makes an offer and the agent's text can't fill it (R27). The lesson
+ * starts from the person's words, read back by that pointer; the fix command
+ * is the first new step that worked after the correction, held to the rules
+ * every skill step and every repair delta meets (R27, D104).
+ *
+ * Nothing typed is written: the pending offer keeps the pointer, the fix
+ * command and the lesson's sha, and its lines are rebuilt by `offerLinesOf`.
+ */
+import { homedir } from 'node:os';
+import { useFor } from '../trace/dialect.js';
+import { commandKind, relativizePaths, stepMatches } from '../trace/shell.js';
+import { secretReason } from '../notes/secrets.js';
+import { gatedKind } from './risk.js';
+import { neverSave } from './never-save.js';
+import { riskyCommand } from './risk-delta.js';
+import { listAllPersonal, readSkill } from './store.js';
+import { readLessons, lessonRefused, lessonSha, lessonText, correctionPhrase } from './lessons.js';
+import { newOfferId, offerBudget } from './offers.js';
+import { typedLineAt } from './offer-lines.js';
+export { offerLinesOf, correctionLesson, correctionLines, typedLineAt } from './offer-lines.js';
+/** A skill with this many lessons gets no more offers (4.14 step 4). */
+export const MAX_LESSONS = 10;
+/** A fix command longer than this is not used: the lesson is the phrase alone (4.14 step 3). */
+const FIX_MAX = 300;
+/** The calls the session still holds that came after `offset` in the transcript, in transcript order. */
+function callsAfter(st, offset) {
+    const all = st.runs.flatMap((r) => (Array.isArray(r.calls) ? r.calls : []));
+    return all.filter((c) => Number.isInteger(c.src?.use) && c.src.use > offset).sort((a, b) => a.src.use - b.src.use);
+}
+/** A call that ran and worked, with its whole command: a result read, not failed, not in the background. */
+const worked = (c) => !c.failed && typeof c.cmd === 'string' && !c.truncated && !c.secret && c.bg !== true
+    && (c.src?.result != null || c.fromMark === true);
+/**
+ * 4.14 step 3: the first call after the correction that worked, is a step-kind call and matches no step of the
+ * skill, as the lesson holds it: params put back by `lessonText`, paths relativized here. Null (the phrase alone)
+ * when there is none, or it carries a secret, is on the never-save list, is gated, teaches a way around a check
+ * (D104) or runs past 300 characters. `id` is the call's, also when its command isn't used.
+ */
+export function fixCommand(st, offset, steps, params, where) {
+    for (const c of callsAfter(st, offset)) {
+        if (!worked(c) || c.kind !== 'step' || commandKind(c.cmd) !== 'step')
+            continue;
+        if (steps.some((s) => stepMatches(s, c.cmd, params)))
+            continue;
+        const cmd = relativizePaths(c.cmd, where.checkout, where.home).trim();
+        const bad = !cmd || cmd.length > FIX_MAX || secretReason(cmd) !== null || neverSave(cmd) !== null || gatedKind(cmd) !== null || riskyCommand(cmd);
+        return { id: c.id, cmd: bad ? null : cmd };
+    }
+    return { id: null, cmd: null };
+}
+/**
+ * Moment 4 (4.14). Called first by offerDue at Stop, inside the session lock. Due: the offer to hold as
+ * `pendingOffer`, its lines null (rebuilt by offerLinesOf). Writes nothing.
+ */
+export function lessonOfferDue(i) {
+    const { run, verdict, st, ctx, channel } = i;
+    const env = ctx.env;
+    if (!ctx.learn)
+        return { due: false, why: 'learn' };
+    if (st.pendingOffer)
+        return { due: false, why: 'pending' };
+    const watch = st.lessonWatch;
+    if (!watch)
+        return { due: false, why: 'no-watch' };
+    const credit = st.credit.find((c) => c.useId === watch.useId && c.skillId === watch.skillId && c.corrected?.sha === watch.typedSha);
+    const offset = credit?.corrected?.offset;
+    // R27: only once the fold met the person's own typed line with the hook's sha.
+    if (!credit || typeof offset !== 'number' || !ctx.transcriptPath)
+        return { due: false, why: 'no-line' };
+    if (verdict.end === 'failure' || verdict.end === 'question')
+        return { due: false, why: 'end' };
+    const ref = listAllPersonal(env).find((r) => r.id === watch.skillId);
+    const skill = ref ? readSkill(ref) : null;
+    if (!ref || !skill)
+        return { due: false, why: 'skill' };
+    if (readLessons(ref.dir).length >= MAX_LESSONS)
+        return { due: false, why: 'lessons' };
+    const typed = typedLineAt(ctx.transcriptPath, offset, watch.typedSha, env, useFor(st.host, st));
+    const phrase = typed === null ? null : correctionPhrase(typed);
+    if (!phrase)
+        return { due: false, why: 'phrase' };
+    const repo = run.repoKey || ctx.repoKey;
+    const key = `${watch.skillId}|correction`;
+    // P18, R40: a pending offer this same correction withdrew frees the session's slot for this one offer only.
+    const freed = st.withdrewFor?.typedSha === watch.typedSha;
+    const budget = offerBudget({ repoKey: repo, key, sessionOfferUsed: st.offerUsed && !freed, now: ctx.now, env });
+    if (!budget.ok)
+        return { due: false, why: `budget:${budget.why}` };
+    const inj = st.injected.find((x) => x.injId === credit.injId);
+    const params = inj && inj.params && typeof inj.params === 'object' ? inj.params : {};
+    const fix = fixCommand(st, offset, skill.steps.map((s) => s.cmd), params, { checkout: ctx.checkout, home: env.HOME || homedir() });
+    let text = lessonText(phrase, fix.cmd, params);
+    const alone = lessonText(phrase, null, params);
+    if (!text || !alone)
+        return { due: false, why: 'phrase' };
+    // The fix as the lesson holds it (params put back), so offerLinesOf rebuilds this very text from the typed line.
+    let kept = fix.cmd && text.startsWith(`${alone}: `) ? text.slice(alone.length + 2) : null;
+    if (kept !== null && lessonText(phrase, kept, {}) !== text)
+        kept = null;
+    if (kept === null || lessonRefused(text)) {
+        kept = null;
+        text = alone;
+    }
+    // D109: the final text is held to the run block's rule too (a skip-the-ask lesson is never offered).
+    if (lessonRefused(text))
+        return { due: false, why: 'refused' };
+    const offer = {
+        offerId: newOfferId(), moment: 'correction', runId: credit.runId ?? run.id, name: skill.name, key, lines: null, channel,
+        shownAt: channel === 'post-tool' ? null : ctx.now.toISOString(), showMe: false, yes: null, typedAfter: [], repo,
+        correction: { skillId: watch.skillId, useId: watch.useId, typed: { offset, sha: watch.typedSha }, fixCallId: fix.id, lessonSha: lessonSha(text), fix: kept },
+    };
+    return { due: true, offer };
+}
+//# sourceMappingURL=offer-lesson.js.map

package/dist/skills/offer-lesson.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"offer-lesson.js","sourceRoot":"","sources":["../../src/skills/offer-lesson.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAG7C,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACnG,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,WAAW,EAAqB,MAAM,kBAAkB,CAAC;AAEnH,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC;AAC9B,gGAAgG;AAChG,MAAM,OAAO,GAAG,GAAG,CAAC;AAEpB,yGAAyG;AACzG,SAAS,UAAU,CAAC,EAAqB,EAAE,MAAc;IACvD,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACrH,CAAC;AAED,4GAA4G;AAC5G,MAAM,MAAM,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI;OAC9G,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,IAAI,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,EAAqB,EAAE,MAAc,EAAE,KAAe,EAAE,MAA8B,EAC/G,KAAyC;IACzC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,GAAI,CAAC,KAAK,MAAM;YAAE,SAAS;QAChF,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAI,EAAE,MAAM,CAAC,CAAC;YAAE,SAAS;QAChE,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,GAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACvE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,GAAG,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;QAClJ,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC7C,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAID;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,CAA4E;IACzG,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;IACpB,IAAI,CAAC,GAAG,CAAC,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACpD,IAAI,EAAE,CAAC,YAAY;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC;IAC7B,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;IACnD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,EAAE,GAAG,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpI,MAAM,MAAM,GAAG,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC;IACzC,+EAA+E;IAC/E,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IACxG,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,KAAK,UAAU;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAE/F,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1C,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACxD,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,WAAW;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAEtF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IAElD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC;IACxC,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,OAAO,aAAa,CAAC;IAC1C,4GAA4G;IAC5G,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,EAAE,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAChH,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC;IAEnE,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,MAAM,GAAG,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,OAAO,EAAE,EAAE,CAAC,CAAC;IACnI,IAAI,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IAC1D,iHAAiH;IACjH,IAAI,IAAI,GAAkB,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzG,IAAI,IAAI,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI;QAAE,IAAI,GAAG,IAAI,CAAC;IACxE,IAAI,IAAI,KAAK,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,GAAG,IAAI,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;IACf,CAAC;IACD,qGAAqG;IACrG,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAC/D,MAAM,KAAK,GAAiB;QAC1B,OAAO,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO;QACvH,OAAO,EAAE,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI;QAC/G,UAAU,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;KAC7J,CAAC;IACF,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}

package/dist/skills/offer-lines.d.ts

@@ -0,0 +1,40 @@
+/**
+ * The two lines of a pending offer (design 1.4, P17, R12). A moment-2 or
+ * moment-3 offer keeps them in the session file. A moment-4 offer can't: its
+ * first line quotes the person's correction and its lesson starts from their
+ * words, and no typed text is ever written to disk (0 rule 6). So it keeps a
+ * pointer to the typed line (offset and sha), the fix command and the
+ * lesson's sha, and its lines are rebuilt here from the transcript each time
+ * they are read. When the line is gone, isn't the person's, or no longer
+ * gives the same lesson, there are no lines: the offer is dropped, never
+ * shown or answered with other words.
+ *
+ * Every reader of `PendingOffer.lines` goes through `offerLinesOf` (R12).
+ * Re-exported from `offer-lesson.ts`, where the design names it.
+ */
+import type { PendingOffer } from '../trace/types.js';
+import { type DialectUse } from '../trace/dialect.js';
+/** What a reader needs of an offer to know its lines. */
+export type OfferLinesIn = Pick<PendingOffer, 'lines'> & Partial<Pick<PendingOffer, 'moment' | 'name' | 'correction'>>;
+/**
+ * The person's typed line at `offset`, when its words still hash to `sha`; null otherwise. D133: read through the
+ * host's dialect when `use` is given (a Codex line is the person's only by its keyed hash, P30); Claude's reader without.
+ */
+export declare function typedLineAt(transcriptPath: string, offset: number, sha: string, env?: NodeJS.ProcessEnv, use?: DialectUse): string | null;
+/**
+ * Moment 4's lesson and the words it quotes, from the correction line and the fix command (4.14 steps 2 and 5):
+ * null when the line can't be read back, has no correction phrase, or gives a lesson whose sha isn't `lessonSha`.
+ */
+export declare function correctionLesson(c: NonNullable<PendingOffer['correction']>, transcriptPath: string | null, env?: NodeJS.ProcessEnv, use?: DialectUse): {
+    said: string;
+    text: string;
+    kind: 'lesson' | 'guardrail';
+} | null;
+/** Moment 4's 2 lines (J07): `You corrected {skill}: {said}.` and the question with the lesson's exact text. */
+export declare function correctionLines(skill: string, said: string, text: string): [string, string];
+/**
+ * The two lines of any pending offer: `o.lines`, or for a 'correction' rebuilt from the transcript (a correction's
+ * stored lines are never read). Null when the correction line is gone or its sha changed, or the offer has none.
+ */
+export declare function offerLinesOf(o: OfferLinesIn | null | undefined, transcriptPath: string | null, env?: NodeJS.ProcessEnv, use?: DialectUse): [string, string] | null;
+//# sourceMappingURL=offer-lines.d.ts.map

package/dist/skills/offer-lines.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"offer-lines.d.ts","sourceRoot":"","sources":["../../src/skills/offer-lines.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEtD,OAAO,EAAe,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AASnE,yDAAyD;AACzD,MAAM,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,GAAG,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC;AAEvH;;;GAGG;AACH,wBAAgB,WAAW,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,GAAE,MAAM,CAAC,UAAwB,EAAE,GAAG,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,IAAI,CAiBtJ;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,GAAE,MAAM,CAAC,UAAwB,EAAE,GAAG,CAAC,EAAE,UAAU,GAChK;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,CAAA;CAAE,GAAG,IAAI,CAQpE;AAED,gHAAgH;AAChH,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAM3F;AAID;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,YAAY,GAAG,IAAI,GAAG,SAAS,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,GAAE,MAAM,CAAC,UAAwB,EAAE,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAY/K"}

package/dist/skills/offer-lines.js

@@ -0,0 +1,80 @@
+import { isTypedByPerson, typedText } from '../trace/claude.js';
+import { typedOnLine } from '../trace/dialect.js';
+import { typedSha } from '../trace/typed.js';
+import { flatLine } from '../notes/flatten.js';
+import { lineAt } from './receipts.js';
+import { correctionPhrase, LESSON_COPY, lessonRefused, lessonSha, lessonText } from './lessons.js';
+const LINE_MAX = 400;
+const fill = (t, v) => t.replace(/\{(\w+)\}/g, (m, k) => v[k] ?? m);
+/**
+ * The person's typed line at `offset`, when its words still hash to `sha`; null otherwise. D133: read through the
+ * host's dialect when `use` is given (a Codex line is the person's only by its keyed hash, P30); Claude's reader without.
+ */
+export function typedLineAt(transcriptPath, offset, sha, env = process.env, use) {
+    if (!Number.isInteger(offset) || offset < 0 || typeof sha !== 'string')
+        return null;
+    const line = lineAt(transcriptPath, offset);
+    if (line === null)
+        return null;
+    let entry;
+    try {
+        entry = JSON.parse(line);
+    }
+    catch {
+        return null;
+    }
+    if (use && use.dialect.host !== 'claude') {
+        const said = typedOnLine(entry, use, env);
+        return said && typedSha(said) === sha ? said : null;
+    }
+    if (!isTypedByPerson(entry, env))
+        return null;
+    const text = typedText(entry, env);
+    return typedSha(text) === sha ? text : null;
+}
+/**
+ * Moment 4's lesson and the words it quotes, from the correction line and the fix command (4.14 steps 2 and 5):
+ * null when the line can't be read back, has no correction phrase, or gives a lesson whose sha isn't `lessonSha`.
+ */
+export function correctionLesson(c, transcriptPath, env = process.env, use) {
+    if (!transcriptPath || !c || !c.typed)
+        return null;
+    const typed = typedLineAt(transcriptPath, c.typed.offset, c.typed.sha, env, use);
+    const phrase = typed === null ? null : correctionPhrase(typed);
+    if (!phrase)
+        return null;
+    const text = lessonText(phrase, typeof c.fix === 'string' && c.fix ? c.fix : null, {});
+    if (!text || lessonRefused(text) || lessonSha(text) !== c.lessonSha)
+        return null;
+    return { said: phrase.said, text, kind: phrase.kind };
+}
+/** Moment 4's 2 lines (J07): `You corrected {skill}: {said}.` and the question with the lesson's exact text. */
+export function correctionLines(skill, said, text) {
+    return [
+        flatLine(fill(LESSON_COPY.offerFirst, { skill: flatLine(skill, 60), said: flatLine(said, 120) }), LINE_MAX),
+        // D114 (3), as moment 3's line 2 (b7 review): the quotes inside the quoted lesson become single ones.
+        flatLine(fill(LESSON_COPY.offerSecond, { lesson: flatLine(text, 200).replace(/["\u201c\u201d]/g, "'") }), LINE_MAX),
+    ];
+}
+const pair = (v) => Array.isArray(v) && v.length === 2 && typeof v[0] === 'string' && typeof v[1] === 'string' && !!v[0] && !!v[1];
+/**
+ * The two lines of any pending offer: `o.lines`, or for a 'correction' rebuilt from the transcript (a correction's
+ * stored lines are never read). Null when the correction line is gone or its sha changed, or the offer has none.
+ */
+export function offerLinesOf(o, transcriptPath, env = process.env, use) {
+    try {
+        if (!o)
+            return null;
+        if (o.moment === 'correction') {
+            if (!o.correction)
+                return null;
+            const l = correctionLesson(o.correction, transcriptPath, env, use);
+            return l ? correctionLines(String(o.name ?? ''), l.said, l.text) : null;
+        }
+        return pair(o.lines) ? o.lines : null;
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=offer-lines.js.map

package/dist/skills/offer-lines.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"offer-lines.js","sourceRoot":"","sources":["../../src/skills/offer-lines.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,WAAW,EAAmB,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAEnG,MAAM,QAAQ,GAAG,GAAG,CAAC;AACrB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAK5G;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,cAAsB,EAAE,MAAc,EAAE,GAAW,EAAE,MAAyB,OAAO,CAAC,GAAG,EAAE,GAAgB;IACrI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACpF,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1C,OAAO,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnC,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAA0C,EAAE,cAA6B,EAAE,MAAyB,OAAO,CAAC,GAAG,EAAE,GAAgB;IAEhK,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,KAAK,GAAG,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACvF,IAAI,CAAC,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IACjF,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,eAAe,CAAC,KAAa,EAAE,IAAY,EAAE,IAAY;IACvE,OAAO;QACL,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,UAAW,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;QAC5G,sGAAsG;QACtG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,WAAY,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;KACrH,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAU,EAAyB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnK;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,CAAkC,EAAE,cAA6B,EAAE,MAAyB,OAAO,CAAC,GAAG,EAAE,GAAgB;IACpJ,IAAI,CAAC;QACH,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACpB,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,CAAC,UAAU;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACnE,OAAO,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/skills/offer-moment.d.ts

@@ -0,0 +1,102 @@
+import type { CheckedVerdict, FoldResult } from '../trace/runs.js';
+import type { GateCtx } from '../trace/skill-session.js';
+import type { OfferChannel, PendingOffer, RunSheet, RunState, SkillSessionState, TypedAnswer } from '../trace/types.js';
+import type { CompiledSkill, HookOut } from './types.js';
+import { compileRun } from './compile.js';
+import { type OfferLinesIn } from './offer-lines.js';
+import type { FoldPlanner } from './offer-update.js';
+import type { Fired, Settled } from './credit.js';
+import { type DialectUse } from '../trace/dialect.js';
+/**
+ * What a yes to an offer agrees to: the skill's steps (the calls each was copied from, and its text with the
+ * skill's own name taken out) and its check. The gate saves only a skill with the same sha (4.9 step 5): steps run
+ * after the offer, or a run sheet changed since, are not what the person said yes to.
+ */
+export declare function skillSha(c: CompiledSkill): string;
+/**
+ * The repo an offer is for: its `repo` (1b), else from its key, '<repoKey>|job:<job>' or '<repoKey>|wall:<cls>|<program>'.
+ * A skill-keyed offer ('<skillId>|correction', phase 2's update, drift and retire keys) names no repo: '' without
+ * `repo` (D126).
+ */
+export declare function offerRepo(o: Pick<PendingOffer, 'key'> & {
+    repo?: unknown;
+}): string;
+export interface Captured {
+    /** Return this now (a directive for yes, show me or no); null: go on to 3.2 step 5. */
+    out: HookOut | null;
+    /** Going on: context to add first (the agent said the offer and the person moved on). */
+    extra?: string;
+    /** For telemetry `skill_answer`: the class, or why the offer was dropped unanswered; null with no offer, or for a
+     *  second yes after the first (ignored, D70: nothing to send). */
+    answer: TypedAnswer | 'stale' | 'not-shown' | null;
+    /** Phase 2 (4.9): the prompt hook retired the skill on this answer (for telemetry `skill_changed{retire}`). */
+    changed?: 'retire';
+}
+/**
+ * 3.2 step 4, on the session state inside the prompt hook's lock. Only the first typed prompt after the offer
+ * answers it, or the second after one "show me". A `yes` sets `pendingOffer.yes` from this prompt's own words
+ * (hashed), which the gate later matches against the person's line in the transcript.
+ */
+export declare function captureAnswer(st: SkillSessionState, typed: string, env?: NodeJS.ProcessEnv, now?: Date, o?: {
+    transcriptPath?: string | null;
+}): Captured;
+/**
+ * 3.2 step 6.4: the person asked to keep a run. Spends the session's offer, withdraws a pending one, and records
+ * the request with this prompt's words hashed. When this hook's catch-up already folded the typed line (Claude Code
+ * wrote it before the hook ran), its offset is taken from `fold.typed` now: the fold only fills `typed` for a line
+ * it meets after the request exists. `skill` is the skill compiled for this ask (3.2 step 6.3); its `skillSha` is
+ * kept (D73): the gate keeps only that skill, so steps run or written into the sheet after the ask are not what was
+ * asked for.
+ */
+export declare function noteSaveRequest(st: SkillSessionState, fold: Pick<FoldResult, 'typed'> | null, req: {
+    runId: string;
+    typed: string;
+    scope: NonNullable<SkillSessionState['saveRequest']>['scope'];
+    skill: CompiledSkill;
+}, env?: NodeJS.ProcessEnv, now?: Date): void;
+export interface OfferInput {
+    run: RunState;
+    /** checkedSuccess(run, lastAssistant) (Stop) or with lastAssistant null (post-tool, 3.4). */
+    verdict: CheckedVerdict;
+    /** The run's sheet as written for this verdict. */
+    sheet: RunSheet | null;
+    st: SkillSessionState;
+    /** 1b: Stop passes its whole GateCtx; moment 4 reads the transcript (no transcript: no moment 4). */
+    ctx: Pick<GateCtx, 'learn' | 'checkout' | 'repoKey' | 'env' | 'now'> & Partial<Pick<GateCtx, 'transcriptPath'>>;
+    channel: OfferChannel;
+    /** Phase 2 (moments 5 and 6): c2's foldInputFor and replan (update-gate.ts); without them neither is due. */
+    plan?: FoldPlanner;
+    /** Phase 2: the uses this Stop's settle flushed (moment 5 needs this run's, checked). */
+    settled?: Settled[];
+    /** Phase 2: the firings this Stop's settle wrote (the retire proposal needs a not-followed one). */
+    fired?: Fired[];
+}
+export type OfferDue = {
+    due: true;
+    offer: PendingOffer;
+} | {
+    due: false;
+    why: 'learn' | 'pending' | 'job' | 'skill' | 'not-checked' | 'family' | 'no-repo' | 'covered' | 'not-repeated' | 'no-sheet' | 'compile' | 'one-step' | 'unknown-repo' | `budget:${string}`;
+};
+/** Phase 2 (4.10, P18): the order offerDue tries the moments in; the first that is due is the offer. */
+export declare const OFFER_ORDER: readonly ["correction", "drift", "update", "repaired", "repeated", "retire"];
+/**
+ * 1b (4.13, 4.14, 3.5 step 6), phase 2 (4.10, P18): moment 4, 6, 5, 3, 2, then the retire proposal, the first that is
+ * due. All but moment 2 are Stop's only (stop and notice channels, R13); none due, the answer is moment 2's. Writes
+ * nothing: the caller records it shown.
+ */
+export declare function offerDue(i: OfferInput): OfferDue;
+/** What compile makes of an offer's run, exactly as the save gate's compile of its yes will (moments 2 and 3, R58). */
+export declare function compileOffered(sheet: RunSheet, st: SkillSessionState, ctx: OfferInput['ctx']): ReturnType<typeof compileRun>;
+/**
+ * Moment 2: 4.12 conditions 1 to 6, in order. Due: the offer to hold as `pendingOffer` (shown now for `stop` and
+ * `notice`; `shownAt` null for `post-tool`, set when the reply carries it). Writes nothing.
+ */
+export declare function repeatedOfferDue(i: OfferInput): OfferDue;
+/**
+ * For g7's Stop (3.5 steps 6 and 7): the agent's reply carried the offer, as its last line. A reply that adds a
+ * question of its own after the offer, or leaves it out, did not: the offer is recorded not shown and dropped, so
+ * the person's next yes can't be taken as a yes to the skill.
+ */
+export declare function offerEndsReply(o: OfferLinesIn, reply: string | null, transcriptPath?: string | null, use?: DialectUse): boolean;
+//# sourceMappingURL=offer-moment.d.ts.map

package/dist/skills/offer-moment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"offer-moment.d.ts","sourceRoot":"","sources":["../../src/skills/offer-moment.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACxH,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAKzD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAK1C,OAAO,EAAgB,KAAK,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAYnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAU,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAK9D;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,CAIjD;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,GAAG;IAAE,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,CAOnF;AAED,MAAM,WAAW,QAAQ;IACvB,uFAAuF;IACvF,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC;IACpB,yFAAyF;IACzF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;sEACkE;IAClE,MAAM,EAAE,WAAW,GAAG,OAAO,GAAG,WAAW,GAAG,IAAI,CAAC;IACnD,+GAA+G;IAC/G,OAAO,CAAC,EAAE,QAAQ,CAAC;CACpB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,GAAE,MAAM,CAAC,UAAwB,EAAE,GAAG,GAAE,IAAiB,EAC9H,CAAC,GAAE;IAAE,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAO,GAAG,QAAQ,CA2DtD;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,IAAI,EAC3F,GAAG,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,EAC1H,GAAG,GAAE,MAAM,CAAC,UAAwB,EAAE,GAAG,GAAE,IAAiB,GAAG,IAAI,CAYpE;AAED,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,QAAQ,CAAC;IACd,6FAA6F;IAC7F,OAAO,EAAE,cAAc,CAAC;IACxB,mDAAmD;IACnD,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAC;IACvB,EAAE,EAAE,iBAAiB,CAAC;IACtB,qGAAqG;IACrG,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,GAAG,KAAK,GAAG,KAAK,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAChH,OAAO,EAAE,YAAY,CAAC;IACtB,6GAA6G;IAC7G,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,yFAAyF;IACzF,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;IACpB,oGAAoG;IACpG,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;CACjB;AACD,MAAM,MAAM,QAAQ,GAChB;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GAClC;IAAE,GAAG,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,OAAO,GAAG,SAAS,GAAG,KAAK,GAAG,OAAO,GAAG,aAAa,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,cAAc,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,cAAc,GAAG,UAAU,MAAM,EAAE,CAAA;CAAE,CAAC;AAE/M,wGAAwG;AACxG,eAAO,MAAM,WAAW,8EAA+E,CAAC;AAExG;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,UAAU,GAAG,QAAQ,CAkBhD;AAED,uHAAuH;AACvH,wBAAgB,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,OAAO,UAAU,CAAC,CAY5H;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,UAAU,GAAG,QAAQ,CA+CxD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE,cAAc,GAAE,MAAM,GAAG,IAAW,EAAE,GAAG,CAAC,EAAE,UAAU,GAAG,OAAO,CAIrI"}

package/dist/skills/offer-moment.js

@@ -0,0 +1,260 @@
+import { createHash } from 'node:crypto';
+import { homedir } from 'node:os';
+import { typedSha } from '../trace/typed.js';
+import { OFFER_FAMILIES } from '../trace/jobs.js';
+import { readPool, repeatedEnough } from '../trace/pool.js';
+import { findPriorSheet, joinCarriedSheet, readRunSheet } from '../trace/runs.js';
+import { compileRun } from './compile.js';
+import { stableBranches } from './compile-words.js';
+import { jobCovered, nameTaken } from './store.js';
+import { stepsTotal } from './store-fs.js';
+import { answerDirective, endsWithLine, newOfferId, offerBudget, offerLines, recordAnswer, recordNotShown } from './offers.js';
+import { offerLinesOf } from './offer-lines.js';
+import { isLessonOffer } from './offer-words-1b.js';
+import { lessonOfferDue } from './offer-lesson.js';
+import { repairOfferDue } from './offer-repair.js';
+import { classifyFor } from './offer-answers.js';
+import { updateOfferDue } from './offer-update.js';
+import { driftOfferDue } from './offer-drift.js';
+import { replyEndedWithOffer, retireOfferDue, retireSkill } from './offer-retire.js';
+import { answer2 } from './offer-words-2.js';
+import { skillOfOfferKey } from './offers.js';
+import { runCheckout } from './run-checkout.js';
+import { repoKnown } from '../trace/known-repo.js';
+import { useFor } from '../trace/dialect.js';
+import { stepLearnings, withFollowLine } from './follow-learnings.js';
+const SAME_LINE_MS = 5000;
+/**
+ * What a yes to an offer agrees to: the skill's steps (the calls each was copied from, and its text with the
+ * skill's own name taken out) and its check. The gate saves only a skill with the same sha (4.9 step 5): steps run
+ * after the offer, or a run sheet changed since, are not what the person said yes to.
+ */
+export function skillSha(c) {
+    const own = (t) => (c.name ? t.split(c.name).join('\u0000') : t);
+    const steps = c.steps.map((s) => [(s.from ?? []).join(','), own(s.cmd)]);
+    return createHash('sha256').update(JSON.stringify([steps, own(c.check), c.checkIsStep])).digest('hex');
+}
+/**
+ * The repo an offer is for: its `repo` (1b), else from its key, '<repoKey>|job:<job>' or '<repoKey>|wall:<cls>|<program>'.
+ * A skill-keyed offer ('<skillId>|correction', phase 2's update, drift and retire keys) names no repo: '' without
+ * `repo` (D126).
+ */
+export function offerRepo(o) {
+    if (typeof o.repo === 'string' && o.repo)
+        return o.repo;
+    if (skillOfOfferKey(o.key) !== null)
+        return '';
+    const i = o.key.lastIndexOf('|job:');
+    if (i >= 0)
+        return o.key.slice(0, i);
+    const w = o.key.indexOf('|wall:');
+    return w < 0 ? o.key : o.key.slice(0, w);
+}
+/**
+ * 3.2 step 4, on the session state inside the prompt hook's lock. Only the first typed prompt after the offer
+ * answers it, or the second after one "show me". A `yes` sets `pendingOffer.yes` from this prompt's own words
+ * (hashed), which the gate later matches against the person's line in the transcript.
+ */
+export function captureAnswer(st, typed, env = process.env, now = new Date(), o = {}) {
+    const po = st.pendingOffer;
+    if (!po)
+        return { out: null, answer: null };
+    const repo = offerRepo(po);
+    const plain = { paused: false, firstNo: false };
+    if (po.yes) {
+        // D70: two quick yeses keep the save once. The first counts (its line is the consent); the second is
+        // ignored: no second directive, no answer recorded, the offer stays for the agent's add.
+        if (classifyFor(po.moment, typed, po.showMe) === 'yes')
+            return { out: null, answer: null };
+        // Anything else: answered in an earlier prompt, and the agent had that turn to save.
+        st.pendingOffer = null;
+        return { out: null, answer: 'stale' };
+    }
+    if (po.shownAt === null) {
+        recordNotShown(po, repo, env, now);
+        st.pendingOffer = null;
+        return { out: null, answer: 'not-shown' };
+    }
+    // Phase 2 (4.10): by the offer's own words (drift's replace is its yes, retire is retire).
+    const said = classifyFor(po.moment, typed, po.showMe);
+    // 1b: a lesson offer asks yes or no; its whole text is already in line 2, so "show me" is no answer to it.
+    // Phase 2 (D72, R1): a retire moves the skill only after the agent's reply ended with the offer's line 2.
+    const a = said === 'show' && isLessonOffer(po) ? 'other'
+        : said === 'retire' && !(po.retire && replyEndedWithOffer(po, typed, o.transcriptPath ?? null, env, useFor(st.host, st))) ? 'other' : said;
+    switch (a) {
+        case 'retire': {
+            // 4.9, P12: the one write the prompt hook makes on an answer: a move `trail skills restore` undoes.
+            const r = retireSkill(po.retire.name, 'retire-offer', env, now, po.retire.skillId);
+            recordAnswer(po, repo, 'yes', env, now, 'retire');
+            st.pendingOffer = null;
+            return { out: answer2('retire', po, { ...plain, retired: r.ok ? po.retire.name : null }, env, typed, st.host), answer: 'retire', ...(r.ok ? { changed: 'retire' } : {}) };
+        }
+        case 'yes':
+            recordAnswer(po, repo, 'yes', env, now, po.fold?.op);
+            po.yes = { at: now.toISOString(), typedSha: typedSha(typed) };
+            return { out: answerDirective('yes', po, plain, env, typed, st.host), answer: 'yes' };
+        case 'show':
+            recordAnswer(po, repo, 'show', env, now);
+            po.showMe = true;
+            return { out: answerDirective('show', po, plain, env, typed, st.host), answer: 'show' };
+        case 'no': {
+            const c = recordAnswer(po, repo, 'no', env, now);
+            st.pendingOffer = null;
+            return { out: answerDirective('no', po, c, env, typed, st.host), answer: 'no' };
+        }
+        case 'correction':
+            recordAnswer(po, repo, 'withdrawn', env, now);
+            st.pendingOffer = null;
+            // P18, R40: only the lesson offer for this same correction may use the slot it freed, at this turn's Stop. A
+            // withdrawn lesson offer frees nothing: the slot is for a pending offer of another moment (4.14, b4 review).
+            st.withdrewFor = po.moment === 'correction' ? null : { typedSha: typedSha(typed) };
+            return { out: null, answer: 'correction' };
+        default: {
+            recordAnswer(po, repo, 'none', env, now);
+            st.pendingOffer = null;
+            const d = answerDirective('other', po, plain, env, typed, st.host);
+            return d.context ? { out: null, extra: d.context, answer: 'other' } : { out: null, answer: 'other' };
+        }
+    }
+}
+/**
+ * 3.2 step 6.4: the person asked to keep a run. Spends the session's offer, withdraws a pending one, and records
+ * the request with this prompt's words hashed. When this hook's catch-up already folded the typed line (Claude Code
+ * wrote it before the hook ran), its offset is taken from `fold.typed` now: the fold only fills `typed` for a line
+ * it meets after the request exists. `skill` is the skill compiled for this ask (3.2 step 6.3); its `skillSha` is
+ * kept (D73): the gate keeps only that skill, so steps run or written into the sheet after the ask are not what was
+ * asked for.
+ */
+export function noteSaveRequest(st, fold, req, env = process.env, now = new Date()) {
+    const sha = typedSha(req.typed);
+    const line = (fold?.typed ?? []).filter((t) => t.sha === sha && t.offset >= 0 && Date.parse(t.at) >= now.getTime() - SAME_LINE_MS).pop();
+    if (st.pendingOffer) {
+        recordAnswer(st.pendingOffer, offerRepo(st.pendingOffer), 'withdrawn', env, now);
+        st.pendingOffer = null;
+    }
+    st.saveRequest = {
+        runId: req.runId, at: now.toISOString(), typedSha: sha, scope: req.scope, typed: line ? { offset: line.offset, sha } : null, skillSha: skillSha(req.skill), name: req.skill.name,
+    };
+    st.offerUsed = true;
+    st.offerUsedBy = 'asked';
+}
+/** Phase 2 (4.10, P18): the order offerDue tries the moments in; the first that is due is the offer. */
+export const OFFER_ORDER = ['correction', 'drift', 'update', 'repaired', 'repeated', 'retire'];
+/**
+ * 1b (4.13, 4.14, 3.5 step 6), phase 2 (4.10, P18): moment 4, 6, 5, 3, 2, then the retire proposal, the first that is
+ * due. All but moment 2 are Stop's only (stop and notice channels, R13); none due, the answer is moment 2's. Writes
+ * nothing: the caller records it shown.
+ */
+export function offerDue(i) {
+    // D117 (3), J16: no offer in a repo Trail doesn't know (no .trail/, not in the repo index).
+    if (!repoKnown(i.run.repoKey, i.run.checkout ?? (i.run.repoKey === i.ctx.repoKey ? i.ctx.checkout : ''), i.ctx.env))
+        return { due: false, why: 'unknown-repo' };
+    const atStop = i.channel !== 'post-tool' && i.ctx.learn && !i.st.pendingOffer;
+    if (atStop) {
+        const m4 = lessonOfferDue({ ...i, ctx: { ...i.ctx, transcriptPath: i.ctx.transcriptPath ?? null } });
+        if (m4.due)
+            return m4;
+        const m6 = driftOfferDue(i);
+        if (m6.due)
+            return m6;
+        const m5 = updateOfferDue(i);
+        if (m5.due)
+            return m5;
+        const m3 = repairOfferDue(i);
+        if (m3.due)
+            return m3;
+    }
+    const m2 = repeatedOfferDue(i);
+    if (m2.due || !atStop)
+        return m2;
+    const retire = retireOfferDue(i, i.fired ?? []);
+    return retire.due ? retire : m2;
+}
+/** What compile makes of an offer's run, exactly as the save gate's compile of its yes will (moments 2 and 3, R58). */
+export function compileOffered(sheet, st, ctx) {
+    const env = ctx.env;
+    const scope = { repoKeys: [...new Set([...st.scopeKeys, sheet.repoKey])], checkout: ctx.checkout, env };
+    const read = (id) => readRunSheet(id, env);
+    // D93: the run's own checkout, as both halves of the save gate compile it.
+    const root = runCheckout(sheet, env, ctx.repoKey === sheet.repoKey ? ctx.checkout : '');
+    return compileRun(sheet, {
+        repoRoot: root, home: env.HOME || homedir(), platform: process.platform,
+        prior: findPriorSheet(sheet, env), moment: 'repeated', applies: sheet.repoKey, now: ctx.now, readSheet: read,
+        taken: (n) => nameTaken(n, { ...scope, checkout: root || scope.checkout }) !== null,
+        learnings: stepLearnings({ repoKeys: [sheet.repoKey], checkout: root, env }),
+    });
+}
+/**
+ * Moment 2: 4.12 conditions 1 to 6, in order. Due: the offer to hold as `pendingOffer` (shown now for `stop` and
+ * `notice`; `shownAt` null for `post-tool`, set when the reply carries it). Writes nothing.
+ */
+export function repeatedOfferDue(i) {
+    const { run, verdict, st, ctx, channel } = i;
+    const env = ctx.env;
+    const now = ctx.now;
+    if (!ctx.learn)
+        return { due: false, why: 'learn' };
+    if (st.pendingOffer)
+        return { due: false, why: 'pending' };
+    const job = run.job;
+    const families = job ? OFFER_FAMILIES[job] : undefined;
+    if (!job || !families)
+        return { due: false, why: 'job' };
+    if (run.skillId)
+        return { due: false, why: 'skill' };
+    if (!verdict.checked || verdict.checkIndex === null)
+        return { due: false, why: 'not-checked' };
+    const hit = run.calls[verdict.checkIndex]?.check;
+    if (!hit || !hit.passed || !families.includes(hit.family))
+        return { due: false, why: 'family' };
+    if (!run.repoKey)
+        return { due: false, why: 'no-repo' };
+    const scope = { repoKeys: [...new Set([...st.scopeKeys, run.repoKey])], checkout: ctx.checkout, env };
+    if (jobCovered(job, scope))
+        return { due: false, why: 'covered' };
+    const key = `${run.repoKey}|job:${job}`;
+    const budget = offerBudget({ repoKey: run.repoKey, key, sessionOfferUsed: st.offerUsed, now, env });
+    if (!budget.ok)
+        return { due: false, why: `budget:${budget.why}` };
+    const pool = readPool(run.repoKey, env).jobs[job];
+    const rep = pool ? repeatedEnough(pool, budget.extraDay, now) : null;
+    if (!rep || !rep.ok)
+        return { due: false, why: 'not-repeated' };
+    const sheet = i.sheet;
+    if (!sheet || sheet.id !== run.id)
+        return { due: false, why: 'no-sheet' };
+    const read = (id) => readRunSheet(id, env);
+    const compiled = compileOffered(sheet, st, ctx);
+    if (!compiled.ok)
+        return { due: false, why: 'compile' };
+    // D70: a skill of one Run step is not offered; a one-command job is better kept as a lesson.
+    if (compiled.skill.steps.length < 2)
+        return { due: false, why: 'one-step' };
+    const joined = joinCarriedSheet(sheet, read);
+    const ownDates = rep.dates === rep.sessionDays;
+    const seen = { n: ownDates ? rep.dates : rep.sessionDays, unit: ownDates ? 'day' : 'time' };
+    const lines = withFollowLine(offerLines({
+        job, check: hit, ordinal: seen.n, unit: seen.unit,
+        commands: joined.counts.commands, failed: joined.counts.failed, steps: stepsTotal(compiled.skill), where: 'this repo',
+        branches: job === 'ship' ? stableBranches(joined.calls, joined.jobWords) : [],
+    }), compiled.skill.followed);
+    return {
+        due: true,
+        offer: {
+            offerId: newOfferId(), moment: 'repeated', runId: run.id, name: compiled.skill.name, key, lines, channel,
+            shownAt: channel === 'post-tool' ? null : now.toISOString(), showMe: false, yes: null, typedAfter: [],
+            skillSha: skillSha(compiled.skill), seen,
+        },
+    };
+}
+/**
+ * For g7's Stop (3.5 steps 6 and 7): the agent's reply carried the offer, as its last line. A reply that adds a
+ * question of its own after the offer, or leaves it out, did not: the offer is recorded not shown and dropped, so
+ * the person's next yes can't be taken as a yes to the skill.
+ */
+export function offerEndsReply(o, reply, transcriptPath = null, use) {
+    // 1b (R12): through offerLinesOf; an offer with no lines (a correction whose line is gone or changed) never ends a reply.
+    const l = reply === null ? null : offerLinesOf(o, transcriptPath, process.env, use);
+    return l !== null && endsWithLine(reply, l[1]);
+}
+//# sourceMappingURL=offer-moment.js.map