@nanonets/graft 0.24.1 → 0.25.0

package/dist/skills/follow-learnings.js

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

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

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

package/dist/skills/learning-steps.d.ts

@@ -0,0 +1,43 @@
+export interface Cmd {
+    prog: string;
+    args: string[];
+}
+export type StepRule = {
+    t: 'swap';
+    use: Cmd;
+    not: Cmd;
+} | {
+    t: 'never';
+    cmd: Cmd;
+} | {
+    t: 'never-edit';
+    file: string;
+} | {
+    t: 'always';
+    cmd: Cmd;
+} | {
+    t: 'before';
+    first: Cmd;
+    then: Cmd;
+};
+/** `whole`: every sentence of the text read as rules, so a line that quotes it in full leaves nothing out. */
+export interface ReadRules {
+    rules: StepRule[];
+    whole: boolean;
+}
+export interface StepVerdict {
+    repeats: number[];
+    /** `fix`: the step's command the learning's way (its folder kept), or null when Trail can't write it safely. */
+    contradicts: Array<{
+        step: number;
+        fix: string | null;
+    }>;
+}
+/** The rules a learning's text says, and whether every sentence of it was read. */
+export declare function rulesOf(text: string): ReadRules;
+/**
+ * Each rule against the steps (step `n` is `steps[n - 1]`, with its {params}). A step that does what a rule forbids
+ * is a contradiction, whatever another rule says of it; one that does what a rule says, a repeat.
+ */
+export declare function matchSteps(rules: StepRule[], steps: string[]): StepVerdict;
+//# sourceMappingURL=learning-steps.d.ts.map

package/dist/skills/learning-steps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning-steps.d.ts","sourceRoot":"","sources":["../../src/skills/learning-steps.ts"],"names":[],"mappings":"AAqBA,MAAM,WAAW,GAAG;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE;AACrD,MAAM,MAAM,QAAQ,GAChB;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,GACjC;IAAE,CAAC,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,GACxB;IAAE,CAAC,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,CAAC,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,GACzB;IAAE,CAAC,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,GAAG,CAAC;IAAC,IAAI,EAAE,GAAG,CAAA;CAAE,CAAC;AAE3C,8GAA8G;AAC9G,MAAM,WAAW,SAAS;IAAG,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE;AAEhE,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,gHAAgH;IAChH,WAAW,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;CAC1D;AA0HD,mFAAmF;AACnF,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAkB/C;AAgFD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,WAAW,CA6B1E"}

package/dist/skills/learning-steps.js

@@ -0,0 +1,294 @@
+/**
+ * What a learning says about the commands a skill runs, read without a model:
+ * the tool and command preferences a person writes ("use pnpm, not npm",
+ * "never run npx prisma db push", "always run make lint before git push",
+ * "don't edit _schema.py by hand, run scripts/gen_schema.py"), matched
+ * against a step's program and arguments.
+ *
+ * Precision over recall. A clause counts only when it has one of a few fixed
+ * shapes and each command in it is a command for sure: in backticks, or
+ * starting with a program Trail knows or a script path, with nothing but
+ * arguments after it ("always run the tests" names no command, so it says
+ * nothing). Whatever doesn't parse says nothing.
+ *
+ * Out: repeats (the learning says what a step does) and contradicts (a step
+ * does what the learning forbids, or uses the tool it replaces), with the
+ * step's command the learning's way when Trail can write it safely (a swap
+ * between npm, pnpm, yarn and bun it knows, or a whole command for a whole
+ * command), else null. Pure: no disk, no clock.
+ */
+import { bareCommand, simpleCommands } from '../trace/shell.js';
+/** Programs a command phrase may start with when it is not in backticks. */
+const KNOWN = new Set(`npm npx pnpm pnpx yarn bun bunx deno node tsx ts-node python python3 pip pip3 pipx uv poetry pytest tox nox make cmake
+cargo rustc go gradle gradlew mvn ant git gh docker podman kubectl helm terraform tofu ansible rg grep sed awk jq curl wget brew ruby bundle
+rake rails gem php composer dotnet swift xcodebuild jest vitest mocha playwright tsc eslint prettier biome ruff black flake8 mypy pylint isort
+pre-commit nx turbo lerna vite webpack next prisma alembic flask uvicorn gunicorn psql mysql sqlite3 aws gcloud az vercel netlify fly flyctl
+heroku firebase wrangler supabase just task`.split(/\s+/));
+/** Words that end a command phrase: English, never an argument. */
+const STOP = new Set(`a an the to for when before after instead rather than not over by hand it them this that here there in on with so
+because if unless first always never every time please then and or anymore again locally directly manually yourself any my your our their
+of is are be was were tests test-suite suite`.split(/\s+/));
+const SCRIPT = /^(?:\.{0,2}\/)?(?:[\w.-]+\/)+[\w.-]+$|^[\w-][\w.-]*\.(?:py|sh|bash|js|mjs|cjs|ts|rb|pl)$/;
+const FILE = /^(?:\.{0,2}\/)?(?:[\w.-]+\/)*[\w-][\w.-]*\.[A-Za-z0-9]{1,8}$|^(?:\.{0,2}\/)?(?:[\w.-]+\/)+[\w.-]+$/;
+const ARG = /^[\w@./:=+,%{}-]+$/;
+const INTERPRETERS = new Set(['python', 'python3', 'node', 'bash', 'sh', 'zsh', 'ruby', 'perl', 'tsx', 'ts-node']);
+const EDITORS = new Set(['vim', 'vi', 'nvim', 'nano', 'emacs', 'code', 'ed']);
+const PMS = new Set(['npm', 'pnpm', 'yarn', 'bun']);
+const MAX_SENTENCE = 240;
+const MAX_TEXT = 2000;
+const BT = '\u0001';
+const P = '(.+?)';
+const RUN = String.raw `(?:use|run|call)`;
+const NOT = String.raw `(?:don'?t|do not|never|avoid)`;
+const EDIT = String.raw `(?:hand[- ]?edit|edit|modify|change|touch|write to)`;
+const BY_HAND = String.raw `(?:\s+(?:by hand|manually|directly|yourself))?`;
+const TAIL = String.raw `(?:\s+(?:here|in this repo|anymore|any more|again|instead|first|always|every time))*`;
+const re = (s) => new RegExp(`^${s}$`, 'i');
+/** One phrase as a command, or null when any word of it isn't one. Backticked text (`\u0001n\u0001`) is the person's own command. */
+function cmdOf(phrase, ticks) {
+    const p = phrase.trim().replace(/^["']|["']$/g, '').trim();
+    const tick = new RegExp(`^${BT}(\\d+)${BT}$`).exec(p);
+    const words = (tick ? ticks[Number(tick[1])] ?? '' : p).trim().split(/\s+/).filter(Boolean);
+    if (!words.length || words.length > 8)
+        return null;
+    const [prog, ...args] = words;
+    const known = KNOWN.has(prog) || SCRIPT.test(prog);
+    if (!(tick ? ARG.test(prog) : known))
+        return null;
+    if (!args.every((a) => ARG.test(a) && (tick || !STOP.has(a.toLowerCase()))))
+        return null;
+    return { prog: plainPath(prog), args };
+}
+function fileOf(phrase, ticks) {
+    const p = phrase.trim().replace(/^["']|["']$/g, '').trim();
+    const tick = new RegExp(`^${BT}(\\d+)${BT}$`).exec(p);
+    const f = (tick ? ticks[Number(tick[1])] ?? '' : p).trim();
+    return FILE.test(f) ? plainPath(f) : null;
+}
+const plainPath = (p) => p.replace(/^\.\//, '');
+const both = (a, b) => (a && b ? [a, b] : null);
+/** Shapes a whole sentence can have (the ones with a comma of their own come first). */
+const SENTENCE = [
+    // "use pnpm, not npm", "run make test instead of pytest", "prefer rg over grep"
+    { re: re(String.raw `(?:always\s+)?(?:use|run|prefer)\s+${P}\s*,?\s+(?:not|never|and not|instead of|rather than|over)\s+(?:using\s+|running\s+)?${P}${TAIL}`),
+        make: (m, t) => {
+            const f = /^(?:hand[- ]?)?(?:editing|changing|modifying|touching)\s+(.+?)(?:\s+(?:by hand|manually|directly))?$/i.exec(m[2]);
+            if (f) {
+                const c = cmdOf(m[1], t);
+                const file = fileOf(f[1], t);
+                return c && file ? [{ t: 'always', cmd: c }, { t: 'never-edit', file }] : null;
+            }
+            const p = both(cmdOf(m[1], t), cmdOf(m[2], t));
+            return p ? [{ t: 'swap', use: p[0], not: p[1] }] : null;
+        } },
+    { re: re(String.raw `prefer\s+${P}\s+to\s+${P}`), make: (m, t) => {
+            const p = both(cmdOf(m[1], t), cmdOf(m[2], t));
+            return p ? [{ t: 'swap', use: p[0], not: p[1] }] : null;
+        } },
+    // "don't use npm, use pnpm"
+    { re: re(String.raw `${NOT}\s+(?:use|run)\s+${P}\s*[,;:]?\s+(?:but\s+)?(?:use|run)\s+${P}${TAIL}`), make: (m, t) => {
+            const p = both(cmdOf(m[2], t), cmdOf(m[1], t));
+            return p ? [{ t: 'swap', use: p[0], not: p[1] }] : null;
+        } },
+    // "don't edit _schema.py by hand, run scripts/gen_schema.py"
+    { re: re(String.raw `${NOT}\s+${EDIT}\s+${P}${BY_HAND}\s*[,;:]?\s+(?:but\s+|instead\s+)*${RUN}\s+${P}${TAIL}`), make: (m, t) => {
+            const file = fileOf(m[1], t);
+            const c = cmdOf(m[2], t);
+            return file && c ? [{ t: 'never-edit', file }, { t: 'always', cmd: c }] : null;
+        } },
+    // "always run make lint before git push", "run lint before pushing"
+    { re: re(String.raw `(?:always\s+)?run\s+${P}\s+(?:before|ahead of|prior to)\s+(?:you\s+)?(?:run\s+|running\s+)?${P}`), make: (m, t) => {
+            const p = both(cmdOf(m[1], t), cmdOf(m[2], t));
+            return p ? [{ t: 'before', first: p[0], then: p[1] }] : null;
+        } },
+    // "before git push, always run make lint"
+    { re: re(String.raw `before\s+(?:you\s+)?(?:run\s+|running\s+)?${P}\s*,?\s+(?:always\s+)?run\s+${P}(?:\s+first)?`), make: (m, t) => {
+            const p = both(cmdOf(m[2], t), cmdOf(m[1], t));
+            return p ? [{ t: 'before', first: p[0], then: p[1] }] : null;
+        } },
+];
+/** Shapes one clause can have once a sentence is cut at its commas. */
+const CLAUSE = [
+    { re: re(String.raw `${NOT}\s+(?:ever\s+)?(?:use|run|using|running|call)\s+${P}${TAIL}`), make: (m, t) => {
+            const c = cmdOf(m[1], t);
+            return c ? [{ t: 'never', cmd: c }] : null;
+        } },
+    { re: re(String.raw `${NOT}\s+${EDIT}\s+${P}${BY_HAND}`), make: (m, t) => {
+            const file = fileOf(m[1], t);
+            return file ? [{ t: 'never-edit', file }] : null;
+        } },
+    { re: re(String.raw `(?:always\s+)?${RUN}\s+${P}${TAIL}`), make: (m, t) => {
+            const c = cmdOf(m[1], t);
+            return c ? [{ t: 'always', cmd: c }] : null;
+        } },
+];
+function shaped(s, shapes, ticks) {
+    for (const sh of shapes) {
+        const m = sh.re.exec(s);
+        if (!m)
+            continue;
+        const r = sh.make(m, ticks);
+        if (r)
+            return r;
+    }
+    return null;
+}
+/** The rules a learning's text says, and whether every sentence of it was read. */
+export function rulesOf(text) {
+    const ticks = [];
+    const raw = String(text ?? '').slice(0, MAX_TEXT).replace(/[‘’]/g, "'").replace(/[“”]/g, '"')
+        .replace(/`([^`\n]{1,200})`/g, (_, c) => `${BT}${ticks.push(c) - 1}${BT}`);
+    const sentences = raw.split(/\n+|(?<=[.!?;])\s+/)
+        .map((s) => s.replace(/^\s*(?:[-*·]|\d+[.)])\s+/, '').replace(/^please,?\s+/, '').replace(/[\s.!;:]+$/, '').trim()).filter(Boolean);
+    const rules = [];
+    let whole = sentences.length > 0;
+    for (const s of sentences) {
+        if (s.length > MAX_SENTENCE) {
+            whole = false;
+            continue;
+        }
+        const one = shaped(s, SENTENCE, ticks);
+        if (one) {
+            rules.push(...one);
+            continue;
+        }
+        const parts = s.split(/\s*,\s*|\s+and then\s+|\s+then\s+/).filter(Boolean);
+        const read = parts.map((c) => shaped(c, CLAUSE, ticks));
+        if (read.some((r) => r === null))
+            whole = false;
+        for (const r of read)
+            if (r)
+                rules.push(...r);
+    }
+    return { rules, whole: whole && rules.length > 0 };
+}
+/** A step's folder (`(cd api && ...)`) and the rest. */
+function inFolder(cmd) {
+    const m = /^\(cd (\S+) && (.*)\)$/.exec(cmd.trim());
+    return m ? { dir: m[1], core: m[2] } : { dir: null, core: cmd.trim() };
+}
+function simplesOf(cmd) {
+    return simpleCommands(inFolder(cmd).core).flatMap((text) => {
+        const words = bareCommand(text).split(/\s+/).filter(Boolean).map((w) => w.replace(/^(["'])(.*)\1$/, '$2'));
+        if (!words.length || words[0] === 'cd')
+            return [];
+        const [prog, ...args] = words;
+        const out = [{ prog: plainPath(prog), args, text }];
+        // `python scripts/gen.py` is also the script run on its own.
+        const at = args.findIndex((a) => !a.startsWith('-'));
+        if (INTERPRETERS.has(prog) && at >= 0 && SCRIPT.test(args[at]))
+            out.push({ prog: plainPath(args[at]), args: args.slice(at + 1), text });
+        return out;
+    });
+}
+const samePath = (a, b) => a === b || (b.includes('/') && b.endsWith(`/${a}`)) || (a.includes('/') && a.endsWith(`/${b}`));
+const positional = (args) => args.filter((a) => !a.startsWith('-'));
+const flags = (args) => args.filter((a) => a.startsWith('-'));
+/** The simple command runs `c`: the same program, `c`'s arguments first in the same order, and every flag `c` names. */
+function runs(s, c) {
+    if (!(s.prog === c.prog || ((SCRIPT.test(s.prog) || SCRIPT.test(c.prog)) && samePath(s.prog, c.prog))))
+        return false;
+    const want = positional(c.args);
+    const have = positional(s.args);
+    return want.every((w, i) => have[i] === w) && flags(c.args).every((f) => s.args.includes(f));
+}
+/** The simple command writes `file`: an in-place edit, an editor, a copy or move onto it, or a redirect into it. */
+function edits(s, file) {
+    const hits = (a) => samePath(plainPath(a), file);
+    if ((s.prog === 'sed' || s.prog === 'perl') && s.args.some((a) => /^-[a-zA-Z]*i/.test(a)))
+        return s.args.some(hits);
+    if (EDITORS.has(s.prog))
+        return s.args.some(hits);
+    if (['cp', 'mv', 'install', 'tee'].includes(s.prog))
+        return s.args.length > 0 && hits(s.args[s.args.length - 1]);
+    return [...s.text.matchAll(/(?:^|[^<>&\d])\d?>>?\|?\s*([^\s&|;<>]+)/g)].some((m) => hits(m[1]));
+}
+const anyRuns = (cmd, c) => simplesOf(cmd).some((s) => runs(s, c));
+/** `npm test` as pnpm, yarn or bun runs it; null for anything else (a flag, a sub-command Trail doesn't know the twin of). */
+function pmTwin(args, to) {
+    const [sub, ...rest] = args;
+    // `bun test` is bun's own test runner, not the package's script: bun runs the script with `bun run test`.
+    if ((sub === 'test' || sub === 'start') && rest.length === 0)
+        return to === 'bun' ? ['run', sub] : [sub];
+    if (sub === 'run' && rest.length >= 1 && /^[\w:.-]+$/.test(rest[0]) && rest.slice(1).every((a) => ARG.test(a)))
+        return ['run', ...rest];
+    if ((sub === 'install' || sub === 'i') && rest.length === 0)
+        return ['install'];
+    // yarn's flag for a locked install changed between versions: no twin.
+    if (sub === 'ci' && rest.length === 0)
+        return to === 'npm' ? ['ci'] : to === 'yarn' ? null : ['install', '--frozen-lockfile'];
+    return null;
+}
+/** The step the swap's way, or null when Trail can't write it safely: one simple command, nothing piped or chained. */
+function swapFix(cmd, use, not) {
+    const { dir, core } = inFolder(cmd);
+    // Nothing piped, chained, redirected or substituted, and no env prefix or wrapper: the words are the whole command.
+    if (simpleCommands(core).length !== 1 || /[<>`$|&;]/.test(core.replace(/\{\w+\}/g, '')))
+        return null;
+    if (core.replace(/\s+/g, ' ').trim() !== bareCommand(core))
+        return null;
+    const s = simplesOf(core)[0];
+    if (!s)
+        return null;
+    let next = null;
+    if (!use.args.length && !not.args.length && PMS.has(use.prog) && PMS.has(not.prog) && s.prog === not.prog) {
+        const twin = pmTwin(s.args, use.prog);
+        next = twin ? [use.prog, ...twin] : null;
+    }
+    else if (s.prog === not.prog && s.args.join(' ') === not.args.join(' ') && (use.args.length || not.args.length)) {
+        next = [use.prog, ...use.args];
+    }
+    if (!next)
+        return null;
+    const text = next.join(' ');
+    return dir ? `(cd ${dir} && ${text})` : text;
+}
+/**
+ * Each rule against the steps (step `n` is `steps[n - 1]`, with its {params}). A step that does what a rule forbids
+ * is a contradiction, whatever another rule says of it; one that does what a rule says, a repeat.
+ */
+export function matchSteps(rules, steps) {
+    const repeats = new Set();
+    const against = new Map();
+    // Two rules that would write one step two ways write it neither way.
+    const contradict = (n, fix) => {
+        if (!against.has(n))
+            against.set(n, fix);
+        else if (against.get(n) !== fix)
+            against.set(n, null);
+    };
+    for (const r of rules) {
+        steps.forEach((cmd, i) => {
+            const n = i + 1;
+            if (r.t === 'swap') {
+                if (anyRuns(cmd, r.not))
+                    contradict(n, swapFix(cmd, r.use, r.not));
+                else if (anyRuns(cmd, r.use))
+                    repeats.add(n);
+            }
+            else if (r.t === 'never') {
+                if (anyRuns(cmd, r.cmd))
+                    contradict(n, null);
+            }
+            else if (r.t === 'never-edit') {
+                if (simplesOf(cmd).some((s) => edits(s, r.file)))
+                    contradict(n, null);
+            }
+            else if (r.t === 'always') {
+                if (anyRuns(cmd, r.cmd))
+                    repeats.add(n);
+            }
+            else if (anyRuns(cmd, r.then)) {
+                const first = steps.findIndex((x, j) => j < i && anyRuns(x, r.first));
+                if (first >= 0)
+                    repeats.add(first + 1);
+                else if (!anyRuns(cmd, r.first))
+                    contradict(n, null);
+            }
+        });
+    }
+    for (const n of against.keys())
+        repeats.delete(n);
+    return { repeats: [...repeats].sort((a, b) => a - b), contradicts: [...against].sort((a, b) => a[0] - b[0]).map(([step, fix]) => ({ step, fix })) };
+}
+//# sourceMappingURL=learning-steps.js.map