@nanonets/graft 0.24.0 → 0.25.0

package/dist/skills/offer-retire.js

@@ -0,0 +1,149 @@
+/**
+ * The retire proposal (phase 2 design 4.9, spec 13, P12, P13, P46, R1, R12,
+ * R27): a skill Trail keeps bringing in whose steps mostly don't run is
+ * offered for retirement once, ever.
+ *
+ * Firings: each settled job or name cue block is one, followed when a step of
+ * the skill ran (`noteFiring`, called at the credit flush beside 1b's cue
+ * misses, under the state lock; a busy lock drops it). The last 10 are kept;
+ * a version change resets them (c2).
+ *
+ * The offer is due at the Stop whose settle wrote a not-followed firing, when
+ * the turn ended done, the skill is personal and active or candidate, it has
+ * 5 or more firings and half or fewer were followed. It needs no checked
+ * success: it is about a block the agent didn't use.
+ *
+ * A "retire" answer is the one write the prompt hook makes on an answer
+ * (P12): `retireSkill` moves the folder to `.retired/` (restorable, nothing
+ * deleted) with ledger reason `retire-offer`, and only after the agent's
+ * reply before the answer ended with the offer's line 2 (D72, R1).
+ */
+import { statSync } from 'node:fs';
+import { updateSkillState, getSkillState } from './state.js';
+import { forgetSkill, listAllPersonal } from './store.js';
+import { HOOK_WAIT_MS } from './store-fs.js';
+import { newOfferId, offerBudget, readOffers, retireOfferKey } from './offers.js';
+import { retireLines } from './offer-words-2.js';
+import { offerLinesOf } from './offer-lines.js';
+import { endsWithLine } from './offer-words.js';
+import { replyBefore } from './save-verify.js';
+import { typedSha } from '../trace/typed.js';
+export const FIRINGS_KEPT = 10;
+/** The fewest firings before the proposal (spec 13: "5 or more firings"). */
+export const RETIRE_MIN_FIRINGS = 5;
+const validFiring = (f) => !!f && typeof f === 'object' && typeof f.at === 'string' && typeof f.followed === 'boolean';
+/** 4.9: one firing, last 10 kept. False when nothing was written (no state, retired, or the state lock was busy). */
+export function noteFiring(skillId, followed, env, now = new Date()) {
+    let wrote = false;
+    const next = updateSkillState(skillId, (s) => {
+        if (!s || s.status === 'retired')
+            return s;
+        const kept = Array.isArray(s.firings) ? s.firings.filter(validFiring) : [];
+        s.firings = [...kept, { at: now.toISOString(), followed: followed === true }].slice(-FIRINGS_KEPT);
+        wrote = true;
+        return s;
+    }, env);
+    return wrote && next !== undefined;
+}
+/** The firings a state holds, and how many were followed. */
+export function firingsOf(s) {
+    const f = Array.isArray(s?.firings) ? s.firings.filter(validFiring) : [];
+    return { n: f.length, followed: f.filter((x) => x.followed).length };
+}
+/**
+ * 4.9's write: 1a's forget with ledger reason `retire-offer`, waiting at most a hook's 200 ms for the store. Busy:
+ * nothing moved. `skillId`, when given, must be the folder's own skill (a folder since replaced is not retired).
+ */
+export function retireSkill(name, reason, env, now = new Date(), skillId) {
+    if (skillId !== undefined && !listAllPersonal(env).some((r) => r.name === name && r.id === skillId))
+        return { ok: false, reason: 'unknown' };
+    try {
+        return forgetSkill(name, env, now, { reason, waitMs: HOOK_WAIT_MS });
+    }
+    catch {
+        return { ok: false, reason: 'busy' };
+    }
+}
+/**
+ * 4.9: due at the Stop whose settle wrote a not-followed firing (`fired`, from settleCredit's `fired` callback), the
+ * turn ended done (R12), the skill personal and active or candidate, 5 or more firings with half or fewer followed,
+ * and the budget's key `<skillId>|retire` (once per skill, ever). Writes nothing.
+ */
+export function retireOfferDue(i, fired) {
+    const { 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' };
+    if (channel !== 'stop' && channel !== 'notice')
+        return { due: false, why: 'channel' };
+    if (verdict.end === 'failure' || verdict.end === 'question')
+        return { due: false, why: 'end' };
+    let last = 'no-firing';
+    for (const f of fired.filter((x) => x && x.followed === false)) {
+        const ref = listAllPersonal(env).find((r) => r.id === f.skillId);
+        const s = ref ? getSkillState(f.skillId, env) : null;
+        if (!ref || !s || s.scope !== 'personal') {
+            last = 'skill';
+            continue;
+        }
+        if (s.status !== 'active' && s.status !== 'candidate') {
+            last = 'status';
+            continue;
+        }
+        const { n, followed } = firingsOf(s);
+        if (n < RETIRE_MIN_FIRINGS) {
+            last = 'few';
+            continue;
+        }
+        if (followed * 2 > n) {
+            last = 'followed';
+            continue;
+        }
+        const repo = i.run.repoKey || ctx.repoKey;
+        const key = retireOfferKey(f.skillId);
+        // P13: once per skill, ever. Shown once is enough, answered or not (1a's second chance is for moments 2 and 3).
+        if (readOffers(env).some((l) => l.key === key && l.event === 'shown')) {
+            last = 'once';
+            continue;
+        }
+        const budget = offerBudget({ repoKey: repo, key, sessionOfferUsed: st.offerUsed, now: ctx.now, env });
+        if (!budget.ok) {
+            last = `budget:${budget.why}`;
+            continue;
+        }
+        return {
+            due: true,
+            offer: {
+                offerId: newOfferId(), moment: 'retire', runId: f.runId ?? i.run.id, name: ref.name, key, lines: retireLines({ name: ref.name, fired: n, followed }),
+                channel, shownAt: ctx.now.toISOString(), showMe: false, yes: null, typedAfter: [], repo, retire: { skillId: f.skillId, name: ref.name },
+            },
+        };
+    }
+    return { due: false, why: last };
+}
+/**
+ * D72, R1: the agent's reply right before the person's answer ended with the offer's own line 2, so a "retire" typed
+ * to some other question (or after an agent that never showed the offer) moves nothing. The person's line is found by
+ * its sha where the fold already met it; else (Claude Code writes the line just after the hook starts) the reply is the
+ * transcript's last one. An offer shown as Trail's own notice needs no reply: the person read Trail's words.
+ */
+export function replyEndedWithOffer(po, typed, transcriptPath, env = process.env, use) {
+    try {
+        if (po.channel === 'notice')
+            return true;
+        const line2 = offerLinesOf(po, transcriptPath, env, use)?.[1];
+        if (!line2 || !transcriptPath)
+            return false;
+        const sha = typedSha(typed);
+        const entry = po.typedAfter.find((t) => t.sha === sha && Number.isInteger(t.offset) && t.offset >= 0);
+        const offset = entry ? entry.offset : statSync(transcriptPath).size;
+        const reply = replyBefore(transcriptPath, offset, env, use);
+        return reply !== null && endsWithLine(reply, line2);
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=offer-retire.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"offer-retire.js","sourceRoot":"","sources":["../../src/skills/offer-retire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAKnC,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAK7C,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,CAAC;AAC/B,6EAA6E;AAC7E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAEpC,MAAM,WAAW,GAAG,CAAC,CAAU,EAA0C,EAAE,CACzE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,CAAsB,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAQ,CAA4B,CAAC,QAAQ,KAAK,SAAS,CAAC;AAEhJ,qHAAqH;AACrH,MAAM,UAAU,UAAU,CAAC,OAAe,EAAE,QAAiB,EAAE,GAAuB,EAAE,MAAY,IAAI,IAAI,EAAE;IAC5G,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAC3C,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,CAAC,CAAC,OAAO,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,QAAQ,KAAK,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC;QACnG,KAAK,GAAG,IAAI,CAAC;QACb,OAAO,CAAC,CAAC;IACX,CAAC,EAAE,GAAG,CAAC,CAAC;IACR,OAAO,KAAK,IAAI,IAAI,KAAK,SAAS,CAAC;AACrC,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,SAAS,CAAC,CAAiD;IACzE,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,OAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;AACvE,CAAC;AAID;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,MAAsB,EAAE,GAAuB,EAAE,MAAY,IAAI,IAAI,EAAE,EAAE,OAAgB;IACjI,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC7I,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;IACvE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACvC,CAAC;AACH,CAAC;AAID;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,CAAa,EAAE,KAAc;IAC1D,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACxC,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,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IACtF,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,KAAK,UAAU;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAC/F,IAAI,IAAI,GAAQ,WAAW,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;QACjE,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrD,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAAC,IAAI,GAAG,OAAO,CAAC;YAAC,SAAS;QAAC,CAAC;QACvE,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAAC,IAAI,GAAG,QAAQ,CAAC;YAAC,SAAS;QAAC,CAAC;QACrF,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG,kBAAkB,EAAE,CAAC;YAAC,IAAI,GAAG,KAAK,CAAC;YAAC,SAAS;QAAC,CAAC;QACvD,IAAI,QAAQ,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,IAAI,GAAG,UAAU,CAAC;YAAC,SAAS;QAAC,CAAC;QACtD,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC;QAC1C,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtC,gHAAgH;QAChH,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,CAAC;YAAC,IAAI,GAAG,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QACnG,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACtG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YAAC,IAAI,GAAG,UAAU,MAAM,CAAC,GAAG,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC5D,OAAO;YACL,GAAG,EAAE,IAAI;YACT,KAAK,EAAE;gBACL,OAAO,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;gBACpJ,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE;aACxI;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAgB,EAAE,KAAa,EAAE,cAA6B,EAAE,MAAyB,OAAO,CAAC,GAAG,EAAE,GAAgB;IACxJ,IAAI,CAAC;QACH,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,KAAK,IAAI,CAAC,cAAc;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACtG,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC;QACpE,MAAM,KAAK,GAAG,WAAW,CAAC,cAAc,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5D,OAAO,KAAK,KAAK,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,54 @@
+/**
+ * Moment 5 (phase 2 design 4.7, P1, P5, P8, P9, P29, R3, R14, rule 13): a
+ * skill's block drove a run that checked out and did one thing differently,
+ * so Trail offers once to change the skill to match: update a step done
+ * another way, extend it with at most 2 steps a lesson or the use before
+ * backs, or split the steps two uses ran into a skill of their own.
+ *
+ * The plan is c1's `planFold` on c2's `foldInputFor`; the pin (the text a
+ * yes would write and the file it was computed from) is c2's `replan`, the
+ * same function both halves of `trail skills update` run, so the offer and
+ * the gate can't disagree. Both come in through `OfferInput.plan` (c8 passes
+ * update-gate.ts's): without them nothing is due. A split is saved through
+ * 1a's add gate, pinned by `skillSha` of the compile that gate checks (R3).
+ *
+ * Writes nothing: the caller records the offer shown.
+ */
+import type { SkillInjection } from '../trace/types.js';
+import type { CompiledSkill, FoldOp } from './types.js';
+import type { FoldInput, FoldPlan } from './fold.js';
+import type { OfferDue, OfferInput } from './offer-moment.js';
+/** What a planner is given of the block: its filled params and steps, when it came in, its check. */
+export type PlanInj = Pick<SkillInjection, 'params' | 'steps' | 'at' | 'check'>;
+/** c2's plan again, from the run sheet and the file as they are now (update-gate.ts `replan`). */
+export interface Replanned {
+    next: CompiledSkill;
+    text: string;
+    proposalSha: string;
+    baseHash: string;
+    handEdited: boolean;
+    plan: FoldPlan | null;
+    base: CompiledSkill;
+    fresh: CompiledSkill | null;
+}
+/** c2's two shared functions (update-gate.ts), passed in so the offer and both halves of the gate plan alike. */
+export interface FoldPlanner {
+    foldInputFor(skillId: string, runId: string, env: NodeJS.ProcessEnv, o?: {
+        inj?: PlanInj;
+        now?: Date;
+    }): FoldInput | null;
+    replan(skillId: string, runId: string, op: FoldOp | 'replace', env: NodeJS.ProcessEnv, o?: {
+        inj?: PlanInj;
+        now?: Date;
+    }): Replanned | null;
+}
+type Why = 'learn' | 'pending' | 'channel' | 'no-skill' | 'not-checked' | 'no-sheet' | 'not-settled' | 'corrected' | 'skill' | 'status' | 'version' | 'no-plan' | 'replan' | 'compile' | `plan:${string}` | `budget:${string}`;
+/** A version Trail can key and bump: a positive integer. */
+export declare const versionNumber: (v: unknown) => number | null;
+/** 4.7: moment 5's conditions 1 to 5, in order. */
+export declare function updateOfferDue(i: OfferInput): OfferDue | {
+    due: false;
+    why: Why;
+};
+export {};
+//# sourceMappingURL=offer-update.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"offer-update.d.ts","sourceRoot":"","sources":["../../src/skills/offer-update.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAgB,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAY9D,qGAAqG;AACrG,MAAM,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,QAAQ,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,CAAC,CAAC;AAEhF,kGAAkG;AAClG,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAC;IAC9F,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,aAAa,GAAG,IAAI,CAAC;CACzE;AAED,iHAAiH;AACjH,MAAM,WAAW,WAAW;IAC1B,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,OAAO,CAAC;QAAC,GAAG,CAAC,EAAE,IAAI,CAAA;KAAE,GAAG,SAAS,GAAG,IAAI,CAAC;IAC1H,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,SAAS,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,OAAO,CAAC;QAAC,GAAG,CAAC,EAAE,IAAI,CAAA;KAAE,GAAG,SAAS,GAAG,IAAI,CAAC;CAC7I;AAED,KAAK,GAAG,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,aAAa,GAAG,UAAU,GAAG,aAAa,GAAG,WAAW,GAAG,OAAO,GAAG,QAAQ,GACnI,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,MAAM,EAAE,GAAG,UAAU,MAAM,EAAE,CAAC;AAEzF,4DAA4D;AAC5D,eAAO,MAAM,aAAa,GAAI,GAAG,OAAO,KAAG,MAAM,GAAG,IAAmE,CAAC;AAExH,mDAAmD;AACnD,wBAAgB,cAAc,CAAC,CAAC,EAAE,UAAU,GAAG,QAAQ,GAAG;IAAE,GAAG,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,CAuFjF"}

package/dist/skills/offer-update.js

@@ -0,0 +1,115 @@
+import { planFold } from './fold.js';
+import { fillParams } from './params.js';
+import { runLinesChanged } from './skill-diff.js';
+import { skillHash } from './skillmd.js';
+import { getSkillState } from './state.js';
+import { listAllPersonal, readSkill } from './store.js';
+import { newOfferId, offerBudget, updateOfferKey } from './offers.js';
+import { checkLine } from './offer-words.js';
+import { updateLines } from './offer-words-2.js';
+import { compileOffered, skillSha } from './offer-moment.js';
+/** A version Trail can key and bump: a positive integer. */
+export const versionNumber = (v) => (/^[1-9]\d{0,5}$/.test(String(v ?? '')) ? Number(v) : null);
+/** 4.7: moment 5's conditions 1 to 5, in order. */
+export function updateOfferDue(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' };
+    // R13: the facts exist only at Stop.
+    if (channel !== 'stop' && channel !== 'notice')
+        return { due: false, why: 'channel' };
+    const skillId = run.skillId;
+    if (!skillId)
+        return { due: false, why: 'no-skill' };
+    if (!verdict.checked || verdict.checkIndex === null)
+        return { due: false, why: 'not-checked' };
+    const hit = run.calls[verdict.checkIndex]?.check;
+    if (!hit || !hit.passed)
+        return { due: false, why: 'not-checked' };
+    const sheet = i.sheet;
+    if (!sheet || sheet.id !== run.id)
+        return { due: false, why: 'no-sheet' };
+    // 1. This Stop's settle flushed this run's use of the skill with its check passed (spec 9: a checked success).
+    const parts = new Set([run.id, ...(sheet.joined ?? []).map((j) => j.id)]);
+    const settled = (i.settled ?? []).find((s) => s.skillId === skillId && s.use.check === 'passed'
+        && s.injIds.some((id) => parts.has(st.injected.find((x) => x.injId === id)?.runId ?? '')));
+    if (!settled)
+        return { due: false, why: 'not-settled' };
+    const inj = st.injected.filter((x) => settled.injIds.includes(x.injId)).sort((a, b) => Date.parse(a.at) - Date.parse(b.at));
+    const block = inj[inj.length - 1];
+    // 3. No correction came after the use (moment 4 goes first).
+    if (st.credit.some((c) => c.useId === settled.use.useId && c.corrected) || st.lessonWatch?.useId === settled.use.useId)
+        return { due: false, why: 'corrected' };
+    // 2. Personal (rule 13), Trail's, active or candidate.
+    const ref = listAllPersonal(env).find((r) => r.id === skillId);
+    const state = ref ? getSkillState(skillId, env) : null;
+    const skill = ref ? readSkill(ref, state) : null;
+    if (!ref || !skill || !state || ref.scope !== 'personal' || state.scope !== 'personal' || skill.meta.trail !== skillId)
+        return { due: false, why: 'skill' };
+    if (state.status !== 'active' && state.status !== 'candidate')
+        return { due: false, why: 'status' };
+    const version = versionNumber(skill.meta.version);
+    if (version === null)
+        return { due: false, why: 'version' };
+    // 5. The budget, keyed per version (P8).
+    const repo = run.repoKey || ctx.repoKey;
+    const key = updateOfferKey(skillId, version);
+    const budget = offerBudget({ repoKey: repo, key, sessionOfferUsed: st.offerUsed, now: ctx.now, env });
+    if (!budget.ok)
+        return { due: false, why: `budget:${budget.why}` };
+    // 4. The plan.
+    if (!i.plan)
+        return { due: false, why: 'no-plan' };
+    const o = { inj: { params: block.params, steps: block.steps, at: inj[0].at, check: block.check }, now: ctx.now };
+    const fi = i.plan.foldInputFor(skillId, run.id, env, o);
+    if (!fi)
+        return { due: false, why: 'no-plan' };
+    const plan = planFold(fi);
+    if (plan.op === 'none')
+        return { due: false, why: `plan:${plan.why}` };
+    const check = checkLine(hit);
+    const base = {
+        offerId: newOfferId(), moment: 'update', runId: run.id, key, channel,
+        shownAt: ctx.now.toISOString(), showMe: false, yes: null, typedAfter: [], repo,
+    };
+    if (plan.op === 'split') {
+        // R3: the split saves through 1a's add gate, which compiles the run as moment 2's offer does; the pin is that skill.
+        const c = compileOffered(sheet, st, ctx);
+        if (!c.ok || c.skill.steps.length < 2)
+            return { due: false, why: 'compile' };
+        const sha = skillSha(c.skill);
+        const lines = updateLines({ op: 'split', check, name: ref.name, job: run.job ?? skill.meta.job ?? 'job', at: 0, cmds: [], changes: 0,
+            split: { from: plan.from, to: plan.to, name: c.skill.name }, handEdited: false });
+        return {
+            due: true,
+            offer: {
+                ...base, name: c.skill.name, lines, skillSha: sha,
+                fold: { op: 'split', skillId, baseHash: skillHash(fi.text), proposalSha: sha.slice(0, 16), handEdited: false, splitName: c.skill.name, version },
+            },
+        };
+    }
+    const r = i.plan.replan(skillId, run.id, plan.op, env, o);
+    if (!r || (r.plan && r.plan.op !== plan.op))
+        return { due: false, why: 'replan' };
+    const vals = block.params ?? {};
+    const more = plan.op === 'update' && plan.why === 'preference' ? plan.more ?? [] : [];
+    const cmds = plan.op === 'update' ? [plan.cmd, ...more].map((c) => fillParams(c.cmd, vals)) : plan.cmds.map((c) => fillParams(c.cmd, vals));
+    const lessonIds = plan.op === 'extend' && plan.why === 'lesson' ? plan.lessonIds : [];
+    const lessonDate = fi.lessons.find((l) => lessonIds.includes(l.id))?.at;
+    const lines = updateLines({
+        op: plan.op, why: plan.why, ...(plan.op === 'update' && plan.why === 'preference' ? { follows: plan.follows, steps: [plan.step, ...more.map((c) => c.n)] } : {}),
+        check, name: ref.name, job: run.job ?? skill.meta.job ?? 'job', at: plan.op === 'update' ? plan.step : plan.at,
+        cmds, changes: runLinesChanged(r.base, r.next), ...(lessonDate ? { lessonDate } : {}), handEdited: r.handEdited,
+    });
+    return {
+        due: true,
+        offer: {
+            ...base, name: ref.name, lines,
+            fold: { op: plan.op, skillId, baseHash: r.baseHash, proposalSha: r.proposalSha, handEdited: r.handEdited, version, ...(lessonIds.length ? { lessonIds } : {}) },
+        },
+    };
+}
+//# sourceMappingURL=offer-update.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"offer-update.js","sourceRoot":"","sources":["../../src/skills/offer-update.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAoB7D,4DAA4D;AAC5D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAiB,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAExH,mDAAmD;AACnD,MAAM,UAAU,cAAc,CAAC,CAAa;IAC1C,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,qCAAqC;IACrC,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IACtF,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IAC/F,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;IACjD,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IACnE,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IACtB,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;IAE1E,+GAA+G;IAC/G,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,QAAQ;WAC1F,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7F,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IACxD,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5H,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IACnC,6DAA6D;IAC7D,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,OAAO,CAAC,GAAG,CAAC,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IAEhK,uDAAuD;IACvD,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IAC5J,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IACpG,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAE5D,yCAAyC;IACzC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC;IACxC,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACtG,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC;IAEnE,eAAe;IACf,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IACnD,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IAClH,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACxD,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC1B,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAEvE,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAyC;QACjD,OAAO,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO;QACpE,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI;KAC/E,CAAC;IACF,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;QACxB,qHAAqH;QACrH,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;YAClI,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,OAAO;YACL,GAAG,EAAE,IAAI;YACT,KAAK,EAAE;gBACL,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG;gBACjD,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE;aACjJ;SACF,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC1D,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IAClF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5I,MAAM,SAAS,GAAG,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,WAAW,CAAC;QACxB,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChK,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;QAC9G,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU;KAChH,CAAC,CAAC;IACH,OAAO;QACL,GAAG,EAAE,IAAI;QACT,KAAK,EAAE;YACL,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK;YAC9B,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;SAChK;KACF,CAAC;AACJ,CAAC"}

package/dist/skills/offer-words-1b.d.ts

@@ -0,0 +1,32 @@
+/**
+ * What the agent reads around an offer of moments 3 and 4 (design 4.13 to
+ * 4.15): the Stop block's reason, the post-tool text, and the answers to it.
+ * `offer-words.ts` hands every non-repeated offer here.
+ *
+ * Built from `directive-words.ts`, as moment 2's texts are, so every offer
+ * reads the same way. D88 and D101: an agent follows hook text it can trust and refuses the rest
+ * as prompt injection. So every text says it is from Trail, gives Trail's own
+ * reason, quotes the words the person typed when it answers them (in the
+ * hook output only, never on disk), and never tells the agent to recite, to
+ * skip asking, or that one yes covers more than it does. The 2 lines are
+ * Trail's question for the person; the agent ends its reply with them so the
+ * person can answer, and Trail reads that answer against the last one.
+ *
+ * Never "memory" or "remember", no em dashes: the words tests read this file.
+ */
+import type { Host } from '../trace/host.js';
+import type { PendingOffer } from '../trace/types.js';
+import type { HookOut } from './types.js';
+/** An offer whose yes keeps a lesson, not a skill: moment 4, or moment 3 kept as a lesson. */
+export declare function isLessonOffer(o: Pick<PendingOffer, 'moment'> & Partial<Pick<PendingOffer, 'repair'>>): boolean;
+/** The wall's fixed words (`"rootless Docker not found"`), or plainer ones. */
+export declare function wallWords(o: Partial<Pick<PendingOffer, 'repair'>>): string;
+/** The command the agent runs on a yes. */
+export declare function yesCommand(o: PendingOffer): string;
+/** 3.5: the Stop block's reason for a moment 3 or 4 offer, given its 2 lines. */
+export declare function blockReason1b(o: PendingOffer, [a, b]: [string, string]): string;
+/** 3.4: the post-tool text, for completeness (moments 3 and 4 are offered at Stop only). */
+export declare function postTool1b(o: PendingOffer, [a, b]: [string, string]): string;
+/** The answers to a moment 3 or 4 offer, as context on the answering prompt (a bare no as a block where the host shows it). */
+export declare function answer1b(a: 'yes' | 'show' | 'no' | 'other', o: PendingOffer, say: string, env: NodeJS.ProcessEnv, typed: string, host?: Host): HookOut;
+//# sourceMappingURL=offer-words-1b.d.ts.map

package/dist/skills/offer-words-1b.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"offer-words-1b.d.ts","sourceRoot":"","sources":["../../src/skills/offer-words-1b.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAY1C,8FAA8F;AAC9F,wBAAgB,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,GAAG,OAAO,CAE9G;AAED,+EAA+E;AAC/E,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,GAAG,MAAM,CAE1E;AAED,2CAA2C;AAC3C,wBAAgB,UAAU,CAAC,CAAC,EAAE,YAAY,GAAG,MAAM,CAKlD;AA2BD,iFAAiF;AACjF,wBAAgB,aAAa,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAE/E;AAED,4FAA4F;AAC5F,wBAAgB,UAAU,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAG5E;AAED,+HAA+H;AAC/H,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,GAAG,IAAI,GAAG,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO,CAetJ"}

package/dist/skills/offer-words-1b.js

@@ -0,0 +1,80 @@
+import { flatLine } from '../notes/flatten.js';
+import { WALLS } from '../trace/walls.js';
+import { hostFacts } from './host-facts.js';
+import { directive, FROM_TRAIL } from './directive-words.js';
+const one = (v, max = 60) => flatLine(v, max);
+const KEEP_IT = 'Keep it? (yes / no)';
+/** Why the 2 lines end the reply (as p1a/agent-trust says it). */
+const SO_THEY_ANSWER = 'so the person can answer (Trail reads their answer to the last line, so keep it as it is)';
+const CHECKS_YES = 'Trail checks their yes in this session before it keeps anything.';
+/** An offer whose yes keeps a lesson, not a skill: moment 4, or moment 3 kept as a lesson. */
+export function isLessonOffer(o) {
+    return o.moment === 'correction' || (o.moment === 'repaired' && o.repair?.as === 'lesson');
+}
+/** The wall's fixed words (`"rootless Docker not found"`), or plainer ones. */
+export function wallWords(o) {
+    return WALLS.find((w) => w.cls === o.repair?.cls)?.words ?? 'a known error';
+}
+/** The command the agent runs on a yes. */
+export function yesCommand(o) {
+    const id = one(o.offerId, 40);
+    if (o.moment === 'correction')
+        return `trail skills lesson ${one(o.name)} --offer ${id}`;
+    if (isLessonOffer(o))
+        return `trail skills lesson --offer ${id}`;
+    return `trail skills add ${one(o.name)} --run ${one(o.runId, 40)}`;
+}
+/** What Trail offered, for the answers. */
+function offered(o) {
+    if (o.moment === 'correction')
+        return `Trail offered to add a lesson to the skill ${one(o.name)}, from what they said when they corrected it`;
+    if (isLessonOffer(o))
+        return `Trail offered to keep what got past ${wallWords(o)} as a lesson`;
+    return `Trail offered to keep the steps that got past ${wallWords(o)} as a skill`;
+}
+/** Trail's own reason for the offer (D101). */
+function reason(o) {
+    if (o.moment === 'correction') {
+        return `The person corrected ${one(o.name)}, a skill Trail brought in for this job; Trail offers once to add what they said to it as a lesson.`;
+    }
+    const program = one(o.repair?.program ?? '', 40) || 'a command';
+    const n = Math.floor(Number(o.repair?.nth));
+    const times = Number.isFinite(n) && n >= 2 ? `${n} times` : 'more than once';
+    return `Trail noticed ${program} failed on ${wallWords(o)} here ${times} and the same change got past it; it offers once to keep that.`;
+}
+/** After the 2 lines: what to run on each answer. */
+function onAnswer(o) {
+    const yes = `If they answer yes, run: ${yesCommand(o)} (${CHECKS_YES.replace(/\.$/, '')}), then tell them the line it prints. `;
+    if (isLessonOffer(o))
+        return `${yes}If they say no, Trail keeps nothing.`;
+    return `${yes}If they say show me, run trail skills draft ${one(o.runId, 40)} --print, paste what it prints, and ask "${KEEP_IT}". If they say no, Trail keeps nothing.`;
+}
+/** 3.5: the Stop block's reason for a moment 3 or 4 offer, given its 2 lines. */
+export function blockReason1b(o, [a, b]) {
+    return `[trail] ${FROM_TRAIL} ${reason(o)} When you finish this reply, end it with these 2 lines, ${SO_THEY_ANSWER}:\n${a}\n${b}\n${onAnswer(o)}`;
+}
+/** 3.4: the post-tool text, for completeness (moments 3 and 4 are offered at Stop only). */
+export function postTool1b(o, [a, b]) {
+    return `[trail] ${FROM_TRAIL} ${reason(o)} If this check finishes the job, end your reply with these 2 lines, ${SO_THEY_ANSWER}:\n${a}\n${b}\n`
+        + "If the job isn't done yet, or you are about to ask the person something, leave them out.";
+}
+/** The answers to a moment 3 or 4 offer, as context on the answering prompt (a bare no as a block where the host shows it). */
+export function answer1b(a, o, say, env, typed, host) {
+    switch (a) {
+        case 'yes':
+            return { context: directive(typed, `${offered(o)}, and this is their answer. To keep it as they said, run: ${yesCommand(o)}. ${CHECKS_YES} Then tell them the line it prints.`) };
+        case 'show':
+            if (isLessonOffer(o))
+                return answer1b('other', o, say, env, typed, host);
+            return { context: directive(typed, `${offered(o)}, and they want to see it first. Run trail skills draft ${one(o.runId, 40)} --print, paste what it prints as it is, then ask "${KEEP_IT}", since Trail reads their answer to that question.`) };
+        case 'no':
+            if (hostFacts(env, host).promptBlockShown)
+                return { block: `trail: ${say}` };
+            return { context: directive(typed, `${offered(o)}, and they said no, so Trail kept nothing. Let them know: "${say}"`) };
+        default:
+            return o.channel === 'notice' ? {} : {
+                context: directive(typed, `That isn't an answer to Trail's offer (${offered(o).replace(/^Trail offered /, '')}), so Trail dropped the offer and kept nothing. No need to bring the offer up again.`),
+            };
+    }
+}
+//# sourceMappingURL=offer-words-1b.js.map

package/dist/skills/offer-words-1b.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"offer-words-1b.js","sourceRoot":"","sources":["../../src/skills/offer-words-1b.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAE7D,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,GAAG,GAAG,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACvD,MAAM,OAAO,GAAG,qBAAqB,CAAC;AACtC,kEAAkE;AAClE,MAAM,cAAc,GAAG,2FAA2F,CAAC;AACnH,MAAM,UAAU,GAAG,kEAAkE,CAAC;AAEtF,8FAA8F;AAC9F,MAAM,UAAU,aAAa,CAAC,CAAuE;IACnG,OAAO,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,QAAQ,CAAC,CAAC;AAC7F,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,SAAS,CAAC,CAAwC;IAChE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,IAAI,eAAe,CAAC;AAC9E,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,UAAU,CAAC,CAAe;IACxC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,uBAAuB,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;IACzF,IAAI,aAAa,CAAC,CAAC,CAAC;QAAE,OAAO,+BAA+B,EAAE,EAAE,CAAC;IACjE,OAAO,oBAAoB,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;AACrE,CAAC;AAED,2CAA2C;AAC3C,SAAS,OAAO,CAAC,CAAe;IAC9B,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,8CAA8C,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,8CAA8C,CAAC;IAC9I,IAAI,aAAa,CAAC,CAAC,CAAC;QAAE,OAAO,uCAAuC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC;IAC/F,OAAO,iDAAiD,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC;AACpF,CAAC;AAED,+CAA+C;AAC/C,SAAS,MAAM,CAAC,CAAe;IAC7B,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAC9B,OAAO,wBAAwB,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,qGAAqG,CAAC;IAClJ,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC;IAChE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAC7E,OAAO,iBAAiB,OAAO,cAAc,SAAS,CAAC,CAAC,CAAC,SAAS,KAAK,gEAAgE,CAAC;AAC1I,CAAC;AAED,qDAAqD;AACrD,SAAS,QAAQ,CAAC,CAAe;IAC/B,MAAM,GAAG,GAAG,4BAA4B,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,wCAAwC,CAAC;IAChI,IAAI,aAAa,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,GAAG,sCAAsC,CAAC;IAC1E,OAAO,GAAG,GAAG,+CAA+C,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,4CAA4C,OAAO,yCAAyC,CAAC;AAC3K,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,aAAa,CAAC,CAAe,EAAE,CAAC,CAAC,EAAE,CAAC,CAAmB;IACrE,OAAO,WAAW,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,2DAA2D,cAAc,MAAM,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;AACpJ,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,UAAU,CAAC,CAAe,EAAE,CAAC,CAAC,EAAE,CAAC,CAAmB;IAClE,OAAO,WAAW,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,uEAAuE,cAAc,MAAM,CAAC,KAAK,CAAC,IAAI;UAC3I,0FAA0F,CAAC;AACjG,CAAC;AAED,+HAA+H;AAC/H,MAAM,UAAU,QAAQ,CAAC,CAAkC,EAAE,CAAe,EAAE,GAAW,EAAE,GAAsB,EAAE,KAAa,EAAE,IAAW;IAC3I,QAAQ,CAAC,EAAE,CAAC;QACV,KAAK,KAAK;YACR,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,6DAA6D,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,qCAAqC,CAAC,EAAE,CAAC;QACpL,KAAK,MAAM;YACT,IAAI,aAAa,CAAC,CAAC,CAAC;gBAAE,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACzE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,2DAA2D,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sDAAsD,OAAO,qDAAqD,CAAC,EAAE,CAAC;QACnP,KAAK,IAAI;YACP,IAAI,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,gBAAgB;gBAAE,OAAO,EAAE,KAAK,EAAE,UAAU,GAAG,EAAE,EAAE,CAAC;YAC7E,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,8DAA8D,GAAG,GAAG,CAAC,EAAE,CAAC;QAC1H;YACE,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACnC,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,0CAA0C,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,sFAAsF,CAAC;aACrM,CAAC;IACN,CAAC;AACH,CAAC"}

package/dist/skills/offer-words-2.d.ts

@@ -0,0 +1,123 @@
+/**
+ * The words of moments 5 and 6 and the retire proposal (phase 2 design 4.7
+ * to 4.9, R11, R19, R24): their two lines, the Stop reason and post-tool
+ * text around them, and what the agent reads on each answer. `offer-words.ts`
+ * hands moments update, drift and retire here; 1b's lesson and repair words
+ * never see them (R11: they would name `trail skills lesson` or `add`).
+ *
+ * D88, D101, D107: every text says it is from Trail, gives Trail's own
+ * reason, quotes the words the person typed when it answers them (in the
+ * hook output only, never on disk), says who checks the answer, and never
+ * tells the agent to recite, to skip asking, or what one yes covers.
+ * Commands in a line are the agent's own from this session (through
+ * compile's secret check), one line, cut at 60 characters, in single quotes
+ * (R24). Lines are counted facts; no model writes any of them (P16).
+ *
+ * Never "memory" or "remember", no em dashes: the words tests read this file.
+ */
+import type { PendingOffer, TypedAnswer } from '../trace/types.js';
+import type { HookOut } from './types.js';
+import type { Host } from '../trace/host.js';
+/** Moment 5 (4.7). `line2*` end with the keys the person answers with. */
+export declare const UPDATE_COPY: {
+    readonly line1Update: "{check} This time step {step} of {name} failed and {cmds} worked instead.";
+    readonly line1Preference: "{check} This time {steps} of {name} ran as {cmds}, the way {follows} says.";
+    readonly line2Preference: "Change {steps} of {name} to match? {size} (yes / show me / no)";
+    readonly line1Extend: "{check} This time {name} also needed {cmds} {where}.";
+    readonly line1Split: "{check} This time {name} ran only steps {from} to {to}, as it did last time.";
+    readonly line2Lesson: "Fold your {date} lesson into {name} as {steps}? {size} (yes / show me / no)";
+    readonly line2TwoUses: "Add {it} to {name} as {steps}? {They} ran in your last 2 {jobs}. {size} (yes / show me / no)";
+    readonly line2Update: "Change step {step} of {name} to the command that worked? {size} (yes / show me / no)";
+    readonly line2Split: "Keep steps {from} to {to} as their own skill, {new}, beside {name}? (yes / show me / no)";
+    readonly size: "{n} line changes.";
+    readonly handEdited: "You changed {name} by hand, so Trail writes it beside your file for you to compare.";
+    readonly reason: "Skill {name} just ran and checked out, and this run did one thing differently; Trail offers once to change the skill to match.";
+    readonly offered: "Trail offered to change the skill {name} to match how this job just ran";
+    readonly reasonSplit: "A skill Trail brought in just ran only some of its steps, the same ones as last time; Trail offers once to keep those steps as a skill of their own, {name}.";
+    readonly offeredSplit: "Trail offered to keep steps of a skill as a skill of their own, {name}";
+};
+/** Moment 6 (4.8, J15, P16). */
+export declare const DRIFT_COPY: {
+    readonly line1: "{check} {name} needs a fix, and this {job} went another way: {how}.";
+    readonly line2: "Replace {name} with the {k} steps that just worked, retire it, or leave it? (replace / retire / leave it)";
+    readonly line2Hand: "Write the {k} steps that just worked beside your edited {name}, retire it, or leave it? (replace / retire / leave it)";
+    readonly reason: "Skill {name} needs a fix, and this job just checked out another way; Trail offers once to replace it, retire it or leave it.";
+    readonly offered: "Trail offered to replace the skill {name} with the steps that just worked";
+};
+/** The retire proposal (4.9, P13). */
+export declare const RETIRE_COPY: {
+    readonly line1: "Trail brought in skill {name} {n} times lately, and its steps ran in {k} of them.";
+    readonly line2: "Retire it? trail skills restore {name} brings it back. (retire / keep it)";
+    readonly reason: "Trail brought in skill {name} for jobs here and its steps mostly did not run; it offers once, ever, to retire a skill like that.";
+    readonly offered: "Trail offered to retire the skill {name}";
+    readonly retired: "Trail retired {name}. Tell them in one line, with how to bring it back: trail skills restore {name}.";
+    readonly busy: "Trail couldn't retire it just now: the person can run trail forget {name}. Tell them that in one line.";
+};
+/** A command as a line shows it (R24): one line, at most 60 characters, its own single quotes made double, in single quotes. */
+export declare const quoted: (cmd: string) => string;
+export interface UpdateFacts {
+    op: 'update' | 'extend' | 'split';
+    why?: 'failed-then-worked' | 'lesson' | 'two-uses' | 'preference';
+    /** Part 7, why 'preference': whose learning the steps followed ("your preference"), and every step it changes. */
+    follows?: string;
+    steps?: number[];
+    /** The job's check as 1a's `checkLine` says it ("Published 0.22.4: npm shows it."). */
+    check: string;
+    name: string;
+    job: string;
+    /** update: the step changed; extend: the skill step the new ones go after (0: before step 1). */
+    at: number;
+    /** The new or changed steps, filled with this run's values. */
+    cmds: string[];
+    /** Run lines the change touches (`runLinesChanged`). */
+    changes: number;
+    lessonDate?: string;
+    split?: {
+        from: number;
+        to: number;
+        name: string;
+    };
+    handEdited: boolean;
+}
+/** 4.7: moment 5's two lines. */
+export declare function updateLines(f: UpdateFacts): [string, string];
+export interface DriftFacts {
+    check: string;
+    name: string;
+    job: string;
+    /** Run steps of the fresh compile (the new version's). */
+    steps: number;
+    /** Skill steps that didn't run, and fresh steps that match no skill step, in order. */
+    skipped: Array<{
+        n: number;
+        cmd: string;
+    }>;
+    ran: string[];
+    handEdited: boolean;
+}
+/** 4.8: moment 6's two lines; at most 2 named each way. */
+export declare function driftLines(f: DriftFacts): [string, string];
+export interface RetireFacts {
+    name: string;
+    fired: number;
+    followed: number;
+}
+/** 4.9: the retire proposal's two lines. */
+export declare function retireLines(f: RetireFacts): [string, string];
+/** The command a yes runs (4.11): `trail skills update` for update, extend and replace; 1a's add for a split. */
+export declare function yesCommand2(o: PendingOffer): string;
+/** 3.5 (R11): the Stop block's reason for moments 5, 6 and the retire proposal, given its 2 lines. */
+export declare function blockReason2(o: PendingOffer, [a, b]: [string, string]): string;
+/** 3.4: the post-tool text, for completeness (these moments go out at Stop only, R13). */
+export declare function postTool2(o: PendingOffer, [a, b]: [string, string]): string;
+/**
+ * 4.7 to 4.10: what the agent reads on the person's answer, as context on the answering prompt (a bare no as a block
+ * where the host shows its reason). `c.retired`: the retire the prompt hook made (the folder name), or null when the
+ * store was busy and nothing moved.
+ */
+export declare function answer2(a: TypedAnswer, o: PendingOffer, c: {
+    paused: boolean;
+    firstNo: boolean;
+    retired?: string | null;
+}, env: NodeJS.ProcessEnv, typed: string, host?: Host): HookOut;
+//# sourceMappingURL=offer-words-2.d.ts.map

package/dist/skills/offer-words-2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"offer-words-2.d.ts","sourceRoot":"","sources":["../../src/skills/offer-words-2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAO7C,0EAA0E;AAC1E,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;CAgBd,CAAC;AAEX,gCAAgC;AAChC,eAAO,MAAM,UAAU;;;;;;CAMb,CAAC;AAEX,sCAAsC;AACtC,eAAO,MAAM,WAAW;;;;;;;CAOd,CAAC;AAKX,gIAAgI;AAChI,eAAO,MAAM,MAAM,GAAI,KAAK,MAAM,WAAyD,CAAC;AAW5F,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;IAClC,GAAG,CAAC,EAAE,oBAAoB,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IAClE,kHAAkH;IAClH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,uFAAuF;IACvF,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,iGAAiG;IACjG,EAAE,EAAE,MAAM,CAAC;IACX,+DAA+D;IAC/D,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,wDAAwD;IACxD,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACnD,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,iCAAiC;AACjC,wBAAgB,WAAW,CAAC,CAAC,EAAE,WAAW,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA4B5D;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IACzC,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAC;IACd,uFAAuF;IACvF,OAAO,EAAE,KAAK,CAAC;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3C,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,2DAA2D;AAC3D,wBAAgB,UAAU,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAQ1D;AAED,MAAM,WAAW,WAAW;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AAE9E,4CAA4C;AAC5C,wBAAgB,WAAW,CAAC,CAAC,EAAE,WAAW,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAG5D;AAqBD,iHAAiH;AACjH,wBAAgB,WAAW,CAAC,CAAC,EAAE,YAAY,GAAG,MAAM,CAGnD;AAiBD,sGAAsG;AACtG,wBAAgB,YAAY,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAE9E;AAED,0FAA0F;AAC1F,wBAAgB,SAAS,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAG3E;AAgBD;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO,CAwBvL"}