@smthrs/harness 0.0.0-stage → 1.0.0-rc.4

package/dist/esm/Monitor.js

@@ -0,0 +1,370 @@
+/**
+ * Declarative supervisor monitors: what one reading can put in front of the
+ * run, and when.
+ *
+ * A monitor turns one {@link Supervisor.Reading} into a probability `p` and a
+ * sentence. A {@link Questioned} monitor adds one boolean question to the
+ * supervisor's single Jev call; a {@link Derived} monitor scores answers the
+ * supervisor already asks and costs nothing. {@link evaluate} runs at reading
+ * time and renders every crossed monitor's text against the reading's own
+ * snapshot. {@link gate} runs later, at the recorded steering drain, against
+ * the durable {@link Ledger}: it applies each monitor's streak, cooldown and
+ * limit and delivers at most one message.
+ *
+ * Both halves are pure. Nothing here asks Jev, journals, or steers.
+ *
+ * @since 1.0.0-rc.0
+ */
+import * as Digest from "@smthrs/core/Digest";
+import * as Fault from "@smthrs/flow/Fault";
+import * as Classifier from "@smthrs/model/Classifier";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { NonNegativeSafeInt } from "./internal/nonNegativeSafeInt.js";
+import * as Supervisor from "./Supervisor.js";
+/**
+ * The budget each kind starts from.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const budgets = {
+    lint: { at: 0.8, consecutive: 1, cooldownFrames: 6, limit: 2, priority: 30 },
+    mood: { at: 0.8, consecutive: 2, cooldownFrames: 6, limit: 2, priority: 20 },
+    skill: { at: 0.85, consecutive: 1, cooldownFrames: 6, limit: 1, priority: 10 }
+};
+/**
+ * The ids a monitor may take.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const idPattern = /^[a-z][a-z0-9_]{0,47}$/;
+/**
+ * The classifier question id of one monitor.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const questionId = (id) => `${Supervisor.monitorPrefix}${id}`;
+/**
+ * Declares one monitor, filling any budget field from its kind's
+ * {@link budgets}.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const make = (input) => ({ ...budgets[input.kind], ...input });
+/**
+ * A monitor declaration that cannot be run.
+ *
+ * @category errors
+ * @since 1.0.0-rc.0
+ */
+export class InvalidMonitor extends Schema.TaggedError()("@smthrs/harness/Monitor/InvalidMonitor", {
+    id: Schema.String,
+    message: Schema.String
+}) {
+}
+Fault.register("@smthrs/harness/Monitor/InvalidMonitor", "bug");
+const count = (value) => Number.isSafeInteger(value) && value >= 0;
+/** Ids each supervisor reading declares itself: its skill monitors and the use-jev lint. */
+const reserved = /^(?:skill_|use_jev$)/;
+const invalid = (monitor, seen) => {
+    if (!idPattern.test(monitor.id))
+        return `id must match ${idPattern.source}`;
+    if (reserved.test(monitor.id))
+        return "id is reserved";
+    if (seen.has(monitor.id))
+        return "id is declared twice";
+    if (!(monitor.at > 0 && monitor.at <= 1))
+        return `at ${monitor.at} is outside (0, 1]`;
+    for (const field of ["consecutive", "cooldownFrames", "limit"]) {
+        if (!count(monitor[field]))
+            return `${field} ${monitor[field]} is not a non-negative integer`;
+    }
+    return undefined;
+};
+/**
+ * Admits a set of host monitors, or names the first one that cannot be run.
+ * The ids each reading adds (`skill_*`, `use_jev`) are reserved.
+ *
+ * @category validation
+ * @since 1.0.0-rc.0
+ */
+export const validate = (monitors) => Effect.suspend(() => {
+    const seen = new Set();
+    for (const monitor of monitors) {
+        const message = invalid(monitor, seen);
+        if (message !== undefined)
+            return Effect.fail(new InvalidMonitor({ id: monitor.id, message }));
+        seen.add(monitor.id);
+    }
+    return Effect.succeed(monitors);
+});
+/**
+ * The supervisor's own nudge as a monitor: it crosses exactly when
+ * {@link Supervisor.crosses} does and says {@link Supervisor.nudge}, with no
+ * streak, cooldown or limit.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const lint = () => [
+    make({
+        _tag: "Derived",
+        id: "supervisor",
+        kind: "lint",
+        at: 0.5,
+        consecutive: 1,
+        cooldownFrames: 0,
+        limit: Number.MAX_SAFE_INTEGER,
+        priority: 30,
+        score: (reading) => Supervisor.crosses(reading) ? 1 : 0,
+        say: Supervisor.nudge
+    })
+];
+/**
+ * What the `paranoid` monitor says.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const paranoidText = "Stance: paranoid. Treat your last result as wrong until a printed check shows it.";
+/**
+ * What the `careful` monitor says.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const carefulText = "Stance: careful. No destructive or out-of-scope call; ask with ctx.park if unsure.";
+/**
+ * What the `step_back` monitor says.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const stepBackText = "Stance: step back. Name the wrong assumption before the next edit.";
+/**
+ * What the `clarify` monitor says.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const clarifyText = "Stance: unsure of the task. Restate it in one line and check it against the files.";
+const mood = (id, text, fires, budget = {}) => make({
+    _tag: "Derived",
+    id,
+    kind: "mood",
+    ...budget,
+    score: (reading, snapshot) => fires(reading, snapshot) ? 1 : 0,
+    say: () => text
+});
+/**
+ * Stance monitors over the emotions and help the supervisor already reads.
+ *
+ * `paranoid` scores on a signal the `supervisor` lint does not own: a demand
+ * counter increased. A completion the run survived is a bounced one — a
+ * standing completion ends the run, so no reading ever follows it — and a
+ * bounce is what spends a narrowing, unmoved, unresolved or claim demand, so
+ * a frame whose transition is `complete` in the snapshot is the increase.
+ * Scoring it on `suspect` instead crossed exactly when the priority-30 lint
+ * did, and the mood never won the slot (#2028).
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const moods = () => [
+    mood("paranoid", paranoidText, (reading, snapshot) => reading.emotions.confident === "strong" &&
+        snapshot.frames.some((frame) => frame.transition === "complete")),
+    mood("careful", carefulText, (reading) => reading.emotions.scared === "strong" || reading.needsHelp === "risky_action"),
+    mood("step_back", stepBackText, (reading) => reading.emotions.frustrated === "strong", { consecutive: 2 }),
+    mood("clarify", clarifyText, (reading) => reading.emotions.confused === "strong")
+];
+/**
+ * The built-in monitors: {@link lint} then {@link moods}.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const defaults = () => [...lint(), ...moods()];
+const skillQuestions = [];
+/** The question about `skills[index]`, one object per index so the classifier is declared once. */
+const skillQuestion = (index) => skillQuestions[index] ??= Classifier.boolean({
+    instructions: `Would reading skills[${index}] now change what the run does next for the task as stated?`,
+    criteria: {
+        true: `the newest frames do the work skills[${index}] describes without having read it, or violate what it prescribes`,
+        false: "unrelated, or the run already follows it"
+    }
+});
+const skillId = (name) => `skill_${name.toLowerCase().replace(/[^a-z0-9]+/g, "_").replace(/^_+|_+$/g, "")}`.slice(0, 48);
+/**
+ * What the skill monitor for `name` says.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const skillText = (name, path) => `Read skill \`${name}\` first: await ctx.call("read", { path: ${JSON.stringify(path)} })`;
+/**
+ * One monitor per skill the snapshot offers, asking whether reading it now
+ * would change what the run does next. Its id is `skill_` and the name made
+ * safe, with a digest of the name after it when two names make the same id.
+ * It says only the skill's name and path, never its description.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const skills = (snapshot) => {
+    const seen = new Set();
+    return snapshot.skills.map((skill, index) => {
+        const plain = skillId(skill.name);
+        const id = seen.has(plain) ? `${plain.slice(0, 39)}_${Digest.digest(skill.name).slice(0, 8)}` : plain;
+        seen.add(id);
+        const text = skillText(skill.name, skill.path);
+        return make({ _tag: "Questioned", id, kind: "skill", question: skillQuestion(index), say: () => text });
+    });
+};
+/**
+ * What the `use_jev` monitor says.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const useJevText = "Judge those items with one jev call, one question per item.";
+const useJevQuestion = Classifier.boolean({
+    instructions: "Do the newest frames print lists of items (files, hits, failures, candidates) and then choose among them by hand?",
+    criteria: {
+        true: "a frame prints several items and a later cell or its prose picks among them without a jev call",
+        false: "no list is chosen from by hand, or the choice was a jev call"
+    }
+});
+/**
+ * The lint that nudges a run choosing among printed items by hand toward one
+ * `jev` call, asked only while the run can call `jev`.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const useJev = () => make({
+    _tag: "Questioned",
+    id: "use_jev",
+    kind: "lint",
+    at: 0.85,
+    limit: 2,
+    question: useJevQuestion,
+    applies: (snapshot) => snapshot.jevAvailable,
+    say: () => useJevText
+});
+/**
+ * The questions one snapshot adds to the supervisor's call, by
+ * {@link questionId}: every {@link Questioned} monitor whose `applies` holds.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const questions = (monitors, snapshot) => Object.fromEntries(monitors.flatMap((monitor) => monitor._tag === "Questioned" && (monitor.applies === undefined || monitor.applies(snapshot))
+    ? [[questionId(monitor.id), monitor.question]]
+    : []));
+/**
+ * Scores every monitor against one reading. A {@link Derived} monitor scores
+ * itself; a {@link Questioned} monitor reads `values` by monitor id and has no
+ * row when it was not asked.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const evaluate = (input) => {
+    const rows = [];
+    const candidates = [];
+    for (const monitor of input.monitors) {
+        const p = monitor._tag === "Derived" ? monitor.score(input.reading, input.snapshot) : input.values[monitor.id];
+        if (p === undefined)
+            continue;
+        const crossed = p >= monitor.at;
+        rows.push({ id: monitor.id, kind: monitor.kind, p, crossed });
+        if (crossed) {
+            candidates.push({
+                id: monitor.id,
+                kind: monitor.kind,
+                priority: monitor.priority,
+                p,
+                text: monitor.say(input.snapshot, input.reading)
+            });
+        }
+    }
+    return { rows, candidates };
+};
+/**
+ * One monitor's durable delivery state.
+ *
+ * @category schemas
+ * @since 1.0.0-rc.0
+ */
+export const Entry = Schema.Struct({
+    streak: NonNegativeSafeInt.annotate({ description: "Consecutive readings that crossed" }),
+    delivered: NonNegativeSafeInt.annotate({ description: "Deliveries so far" }),
+    lastFrame: Schema.Int.annotate({ description: "The frame of the last delivery; -1 never" })
+});
+/**
+ * Every monitor's delivery state, by monitor id.
+ *
+ * @category schemas
+ * @since 1.0.0-rc.0
+ */
+export const Ledger = Schema.Record(Schema.String, Entry);
+/**
+ * The state of a monitor with no entry.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const fresh = { streak: 0, delivered: 0, lastFrame: -1 };
+/**
+ * Decides, at the steering drain, which one crossed monitor is delivered.
+ *
+ * Each row moves its monitor's streak: up on a crossing, to zero otherwise; a
+ * monitor with no row keeps it. Each candidate is then withheld for its
+ * `streak`, its `cooldown` since the last delivery, or its `limit`, in that
+ * order. Of the rest the highest priority, then the lower id, takes the one
+ * slot and the others are withheld for `slot`. A candidate no monitor
+ * declares is ignored.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const gate = (input) => {
+    const ledger = { ...input.ledger };
+    for (const row of input.rows) {
+        const entry = ledger[row.id] ?? fresh;
+        ledger[row.id] = { ...entry, streak: row.crossed ? entry.streak + 1 : 0 };
+    }
+    const declared = new Map(input.monitors.map((monitor) => [monitor.id, monitor]));
+    const suppressed = [];
+    const eligible = [];
+    for (const candidate of input.candidates) {
+        const monitor = declared.get(candidate.id);
+        if (monitor === undefined)
+            continue;
+        const entry = ledger[candidate.id] ?? fresh;
+        const reason = entry.streak < monitor.consecutive
+            ? "streak"
+            : entry.lastFrame >= 0 && input.frame - entry.lastFrame < monitor.cooldownFrames
+                ? "cooldown"
+                : entry.delivered >= monitor.limit
+                    ? "limit"
+                    : undefined;
+        if (reason === undefined)
+            eligible.push(candidate);
+        else
+            suppressed.push({ id: candidate.id, reason });
+    }
+    const [winner, ...losers] = [...eligible].sort((a, b) => b.priority - a.priority || (a.id < b.id ? -1 : 1));
+    for (const loser of losers)
+        suppressed.push({ id: loser.id, reason: "slot" });
+    if (winner === undefined)
+        return { suppressed, ledger };
+    const entry = ledger[winner.id] ?? fresh;
+    ledger[winner.id] = { ...entry, delivered: entry.delivered + 1, lastFrame: input.frame };
+    return { message: { id: winner.id, text: winner.text }, suppressed, ledger };
+};
+//# sourceMappingURL=Monitor.js.map

package/dist/esm/Monitor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Monitor.js","sourceRoot":"","sources":["../../src/Monitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,UAAU,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAiF7C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAmC;IACrD,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE;IAC5E,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE;IAC5E,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE;CAC/E,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,wBAAwB,CAAA;AAEjD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,EAAU,EAAqC,EAAE,CAAC,GAAG,UAAU,CAAC,aAAa,GAAG,EAAE,EAAE,CAAA;AAE/G;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAY,EAAW,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAA;AAErF;;;;;GAKG;AACH,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,wCAAwC,EAAE;IACjH,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AACL,KAAK,CAAC,QAAQ,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAA;AAI/D,MAAM,KAAK,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;AAEnF,4FAA4F;AAC5F,MAAM,QAAQ,GAAG,sBAAsB,CAAA;AAEvC,MAAM,OAAO,GAAG,CAAC,OAAgB,EAAE,IAAyB,EAAsB,EAAE;IAClF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,OAAO,iBAAiB,SAAS,CAAC,MAAM,EAAE,CAAA;IAC3E,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,OAAO,gBAAgB,CAAA;IACtD,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,OAAO,sBAAsB,CAAA;IACvD,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,OAAO,CAAC,EAAE,oBAAoB,CAAA;IACrF,KAAK,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,gBAAgB,EAAE,OAAO,CAAU,EAAE,CAAC;QACxE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,gCAAgC,CAAA;IAC/F,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,QAAgC,EACuB,EAAE,CACzD,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;IAClB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;QACtC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;QAC9F,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACtB,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;AACjC,CAAC,CAAC,CAAA;AAEJ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,GAA2B,EAAE,CAAC;IAChD,IAAI,CAAC;QACH,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,MAAM;QACZ,EAAE,EAAE,GAAG;QACP,WAAW,EAAE,CAAC;QACd,cAAc,EAAE,CAAC;QACjB,KAAK,EAAE,MAAM,CAAC,gBAAgB;QAC9B,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,GAAG,EAAE,UAAU,CAAC,KAAK;KACtB,CAAC;CACH,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,mFAAmF,CAAA;AAE/G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,oFAAoF,CAAA;AAE/G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,oEAAoE,CAAA;AAEhG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,oFAAoF,CAAA;AAE/G,MAAM,IAAI,GAAG,CACX,EAAU,EACV,IAAY,EACZ,KAA8E,EAC9E,SAA0B,EAAE,EACnB,EAAE,CACX,IAAI,CAAC;IACH,IAAI,EAAE,SAAS;IACf,EAAE;IACF,IAAI,EAAE,MAAM;IACZ,GAAG,MAAM;IACT,KAAK,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI;CAChB,CAAC,CAAA;AAEJ;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,GAA2B,EAAE,CAAC;IACjD,IAAI,CACF,UAAU,EACV,YAAY,EACZ,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,CACpB,OAAO,CAAC,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACvC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,UAAU,CAAC,CACnE;IACD,IAAI,CACF,SAAS,EACT,WAAW,EACX,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,SAAS,KAAK,cAAc,CAC1F;IACD,IAAI,CAAC,WAAW,EAAE,YAAY,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IAC1G,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC;CAClF,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,GAA2B,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAA;AAE7E,MAAM,cAAc,GAAsC,EAAE,CAAA;AAE5D,mGAAmG;AACnG,MAAM,aAAa,GAAG,CAAC,KAAa,EAA8B,EAAE,CAClE,cAAc,CAAC,KAAK,CAAC,KAAK,UAAU,CAAC,OAAO,CAAC;IAC3C,YAAY,EAAE,wBAAwB,KAAK,6DAA6D;IACxG,QAAQ,EAAE;QACR,IAAI,EACF,wCAAwC,KAAK,mEAAmE;QAClH,KAAK,EAAE,0CAA0C;KAClD;CACF,CAAC,CAAA;AAEJ,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE,CACvC,SAAS,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAEhG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE,CAC9D,gBAAgB,IAAI,4CAA4C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAA;AAE3F;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,QAA6B,EAA0B,EAAE;IAC9E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,OAAO,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAA;QACrG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACZ,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC9C,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;IACzG,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,6DAA6D,CAAA;AAEvF,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC;IACxC,YAAY,EACV,mHAAmH;IACrH,QAAQ,EAAE;QACR,IAAI,EAAE,gGAAgG;QACtG,KAAK,EAAE,8DAA8D;KACtE;CACF,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,GAAY,EAAE,CAClC,IAAI,CAAC;IACH,IAAI,EAAE,YAAY;IAClB,EAAE,EAAE,SAAS;IACb,IAAI,EAAE,MAAM;IACZ,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,CAAC;IACR,QAAQ,EAAE,cAAc;IACxB,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY;IAC5C,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU;CACtB,CAAC,CAAA;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,QAAgC,EAChC,QAA6B,EACA,EAAE,CAC/B,MAAM,CAAC,WAAW,CAChB,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3B,OAAO,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAU,CAAC;IACvD,CAAC,CAAC,EAAE,CACP,CACF,CAAA;AAwCH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAKxB,EAAc,EAAE;IACf,MAAM,IAAI,GAAe,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAqB,EAAE,CAAA;IACvC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAC9G,IAAI,CAAC,KAAK,SAAS;YAAE,SAAQ;QAC7B,MAAM,OAAO,GAAG,CAAC,IAAI,OAAO,CAAC,EAAE,CAAA;QAC/B,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAA;QAC7D,IAAI,OAAO,EAAE,CAAC;YACZ,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,CAAC;gBACD,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC;aACjD,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;AAC7B,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,MAAM,EAAE,kBAAkB,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,mCAAmC,EAAE,CAAC;IACzF,SAAS,EAAE,kBAAkB,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,mBAAmB,EAAE,CAAC;IAC5E,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,0CAA0C,EAAE,CAAC;CAC5F,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAUzD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAU,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAA;AActE;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAMpB,EAAS,EAAE;IACV,MAAM,MAAM,GAA0B,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAA;IACzD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAA;QACrC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC3E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAU,CAAC,CAAC,CAAA;IACzF,MAAM,UAAU,GAA+C,EAAE,CAAA;IACjE,MAAM,QAAQ,GAAqB,EAAE,CAAA;IACrC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QAC1C,IAAI,OAAO,KAAK,SAAS;YAAE,SAAQ;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,KAAK,CAAA;QAC3C,MAAM,MAAM,GAA4B,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,WAAW;YACxE,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,SAAS,GAAG,OAAO,CAAC,cAAc;gBAChF,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,KAAK;oBAClC,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,SAAS,CAAA;QACb,IAAI,MAAM,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;;YAC7C,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAA;IACpD,CAAC;IACD,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3G,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IAC7E,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAA;IACvD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAA;IACxC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;IACxF,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAA;AAC9E,CAAC,CAAA","sourcesContent":["/**\n * Declarative supervisor monitors: what one reading can put in front of the\n * run, and when.\n *\n * A monitor turns one {@link Supervisor.Reading} into a probability `p` and a\n * sentence. A {@link Questioned} monitor adds one boolean question to the\n * supervisor's single Jev call; a {@link Derived} monitor scores answers the\n * supervisor already asks and costs nothing. {@link evaluate} runs at reading\n * time and renders every crossed monitor's text against the reading's own\n * snapshot. {@link gate} runs later, at the recorded steering drain, against\n * the durable {@link Ledger}: it applies each monitor's streak, cooldown and\n * limit and delivers at most one message.\n *\n * Both halves are pure. Nothing here asks Jev, journals, or steers.\n *\n * @since 1.0.0-rc.0\n */\n\nimport * as Digest from \"@smthrs/core/Digest\"\nimport * as Fault from \"@smthrs/flow/Fault\"\nimport * as Classifier from \"@smthrs/model/Classifier\"\nimport * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\nimport type * as AgentEvent from \"./AgentEvent.ts\"\nimport { NonNegativeSafeInt } from \"./internal/nonNegativeSafeInt.ts\"\nimport * as Supervisor from \"./Supervisor.ts\"\n\n/**\n * What a monitor watches for.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type Kind = typeof AgentEvent.MonitorKind.Type\n\n/**\n * The fields every monitor declares.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Common {\n  /** Matches {@link idPattern}; the question id is {@link questionId}. */\n  readonly id: string\n  readonly kind: Kind\n  /** Crosses when `p >= at`; in `(0, 1]`. */\n  readonly at: number\n  /** Consecutive crossed readings before delivery. */\n  readonly consecutive: number\n  /** Frames after a delivery before the next one. */\n  readonly cooldownFrames: number\n  /** Deliveries per run. */\n  readonly limit: number\n  /** The higher priority takes the one slot. */\n  readonly priority: number\n  readonly say: (snapshot: Supervisor.Snapshot, reading: Supervisor.Reading) => string\n}\n\n/**\n * A monitor that adds one boolean question to the supervisor's Jev call.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Questioned extends Common {\n  readonly _tag: \"Questioned\"\n  readonly question: Classifier.BooleanQuestion\n  /** Whether the question is asked of this snapshot; always when absent. */\n  readonly applies?: (snapshot: Supervisor.Snapshot) => boolean\n}\n\n/**\n * A monitor scored from answers the supervisor already asks.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Derived extends Common {\n  readonly _tag: \"Derived\"\n  readonly score: (reading: Supervisor.Reading, snapshot: Supervisor.Snapshot) => number\n}\n\n/**\n * One declared monitor.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type Monitor = Questioned | Derived\n\n/**\n * The fields {@link make} fills from {@link budgets}.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type Budget = Pick<Common, \"at\" | \"consecutive\" | \"cooldownFrames\" | \"limit\" | \"priority\">\n\n/**\n * A monitor as declared, with its budget optional.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type Input = (Omit<Questioned, keyof Budget> | Omit<Derived, keyof Budget>) & Partial<Budget>\n\n/**\n * The budget each kind starts from.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const budgets: Readonly<Record<Kind, Budget>> = {\n  lint: { at: 0.8, consecutive: 1, cooldownFrames: 6, limit: 2, priority: 30 },\n  mood: { at: 0.8, consecutive: 2, cooldownFrames: 6, limit: 2, priority: 20 },\n  skill: { at: 0.85, consecutive: 1, cooldownFrames: 6, limit: 1, priority: 10 }\n}\n\n/**\n * The ids a monitor may take.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const idPattern = /^[a-z][a-z0-9_]{0,47}$/\n\n/**\n * The classifier question id of one monitor.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const questionId = (id: string): keyof Supervisor.MonitorQuestions => `${Supervisor.monitorPrefix}${id}`\n\n/**\n * Declares one monitor, filling any budget field from its kind's\n * {@link budgets}.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const make = (input: Input): Monitor => ({ ...budgets[input.kind], ...input })\n\n/**\n * A monitor declaration that cannot be run.\n *\n * @category errors\n * @since 1.0.0-rc.0\n */\nexport class InvalidMonitor extends Schema.TaggedError<InvalidMonitor>()(\"@smthrs/harness/Monitor/InvalidMonitor\", {\n  id: Schema.String,\n  message: Schema.String\n}) {}\nFault.register(\"@smthrs/harness/Monitor/InvalidMonitor\", \"bug\")\n\ntype Suppression = typeof AgentEvent.Suppression.Type\n\nconst count = (value: number): boolean => Number.isSafeInteger(value) && value >= 0\n\n/** Ids each supervisor reading declares itself: its skill monitors and the use-jev lint. */\nconst reserved = /^(?:skill_|use_jev$)/\n\nconst invalid = (monitor: Monitor, seen: ReadonlySet<string>): string | undefined => {\n  if (!idPattern.test(monitor.id)) return `id must match ${idPattern.source}`\n  if (reserved.test(monitor.id)) return \"id is reserved\"\n  if (seen.has(monitor.id)) return \"id is declared twice\"\n  if (!(monitor.at > 0 && monitor.at <= 1)) return `at ${monitor.at} is outside (0, 1]`\n  for (const field of [\"consecutive\", \"cooldownFrames\", \"limit\"] as const) {\n    if (!count(monitor[field])) return `${field} ${monitor[field]} is not a non-negative integer`\n  }\n  return undefined\n}\n\n/**\n * Admits a set of host monitors, or names the first one that cannot be run.\n * The ids each reading adds (`skill_*`, `use_jev`) are reserved.\n *\n * @category validation\n * @since 1.0.0-rc.0\n */\nexport const validate = (\n  monitors: ReadonlyArray<Monitor>\n): Effect.Effect<ReadonlyArray<Monitor>, InvalidMonitor> =>\n  Effect.suspend(() => {\n    const seen = new Set<string>()\n    for (const monitor of monitors) {\n      const message = invalid(monitor, seen)\n      if (message !== undefined) return Effect.fail(new InvalidMonitor({ id: monitor.id, message }))\n      seen.add(monitor.id)\n    }\n    return Effect.succeed(monitors)\n  })\n\n/**\n * The supervisor's own nudge as a monitor: it crosses exactly when\n * {@link Supervisor.crosses} does and says {@link Supervisor.nudge}, with no\n * streak, cooldown or limit.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const lint = (): ReadonlyArray<Monitor> => [\n  make({\n    _tag: \"Derived\",\n    id: \"supervisor\",\n    kind: \"lint\",\n    at: 0.5,\n    consecutive: 1,\n    cooldownFrames: 0,\n    limit: Number.MAX_SAFE_INTEGER,\n    priority: 30,\n    score: (reading) => Supervisor.crosses(reading) ? 1 : 0,\n    say: Supervisor.nudge\n  })\n]\n\n/**\n * What the `paranoid` monitor says.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const paranoidText = \"Stance: paranoid. Treat your last result as wrong until a printed check shows it.\"\n\n/**\n * What the `careful` monitor says.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const carefulText = \"Stance: careful. No destructive or out-of-scope call; ask with ctx.park if unsure.\"\n\n/**\n * What the `step_back` monitor says.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const stepBackText = \"Stance: step back. Name the wrong assumption before the next edit.\"\n\n/**\n * What the `clarify` monitor says.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const clarifyText = \"Stance: unsure of the task. Restate it in one line and check it against the files.\"\n\nconst mood = (\n  id: string,\n  text: string,\n  fires: (reading: Supervisor.Reading, snapshot: Supervisor.Snapshot) => boolean,\n  budget: Partial<Budget> = {}\n): Monitor =>\n  make({\n    _tag: \"Derived\",\n    id,\n    kind: \"mood\",\n    ...budget,\n    score: (reading, snapshot) => fires(reading, snapshot) ? 1 : 0,\n    say: () => text\n  })\n\n/**\n * Stance monitors over the emotions and help the supervisor already reads.\n *\n * `paranoid` scores on a signal the `supervisor` lint does not own: a demand\n * counter increased. A completion the run survived is a bounced one — a\n * standing completion ends the run, so no reading ever follows it — and a\n * bounce is what spends a narrowing, unmoved, unresolved or claim demand, so\n * a frame whose transition is `complete` in the snapshot is the increase.\n * Scoring it on `suspect` instead crossed exactly when the priority-30 lint\n * did, and the mood never won the slot (#2028).\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const moods = (): ReadonlyArray<Monitor> => [\n  mood(\n    \"paranoid\",\n    paranoidText,\n    (reading, snapshot) =>\n      reading.emotions.confident === \"strong\" &&\n      snapshot.frames.some((frame) => frame.transition === \"complete\")\n  ),\n  mood(\n    \"careful\",\n    carefulText,\n    (reading) => reading.emotions.scared === \"strong\" || reading.needsHelp === \"risky_action\"\n  ),\n  mood(\"step_back\", stepBackText, (reading) => reading.emotions.frustrated === \"strong\", { consecutive: 2 }),\n  mood(\"clarify\", clarifyText, (reading) => reading.emotions.confused === \"strong\")\n]\n\n/**\n * The built-in monitors: {@link lint} then {@link moods}.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const defaults = (): ReadonlyArray<Monitor> => [...lint(), ...moods()]\n\nconst skillQuestions: Array<Classifier.BooleanQuestion> = []\n\n/** The question about `skills[index]`, one object per index so the classifier is declared once. */\nconst skillQuestion = (index: number): Classifier.BooleanQuestion =>\n  skillQuestions[index] ??= Classifier.boolean({\n    instructions: `Would reading skills[${index}] now change what the run does next for the task as stated?`,\n    criteria: {\n      true:\n        `the newest frames do the work skills[${index}] describes without having read it, or violate what it prescribes`,\n      false: \"unrelated, or the run already follows it\"\n    }\n  })\n\nconst skillId = (name: string): string =>\n  `skill_${name.toLowerCase().replace(/[^a-z0-9]+/g, \"_\").replace(/^_+|_+$/g, \"\")}`.slice(0, 48)\n\n/**\n * What the skill monitor for `name` says.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const skillText = (name: string, path: string): string =>\n  `Read skill \\`${name}\\` first: await ctx.call(\"read\", { path: ${JSON.stringify(path)} })`\n\n/**\n * One monitor per skill the snapshot offers, asking whether reading it now\n * would change what the run does next. Its id is `skill_` and the name made\n * safe, with a digest of the name after it when two names make the same id.\n * It says only the skill's name and path, never its description.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const skills = (snapshot: Supervisor.Snapshot): ReadonlyArray<Monitor> => {\n  const seen = new Set<string>()\n  return snapshot.skills.map((skill, index) => {\n    const plain = skillId(skill.name)\n    const id = seen.has(plain) ? `${plain.slice(0, 39)}_${Digest.digest(skill.name).slice(0, 8)}` : plain\n    seen.add(id)\n    const text = skillText(skill.name, skill.path)\n    return make({ _tag: \"Questioned\", id, kind: \"skill\", question: skillQuestion(index), say: () => text })\n  })\n}\n\n/**\n * What the `use_jev` monitor says.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const useJevText = \"Judge those items with one jev call, one question per item.\"\n\nconst useJevQuestion = Classifier.boolean({\n  instructions:\n    \"Do the newest frames print lists of items (files, hits, failures, candidates) and then choose among them by hand?\",\n  criteria: {\n    true: \"a frame prints several items and a later cell or its prose picks among them without a jev call\",\n    false: \"no list is chosen from by hand, or the choice was a jev call\"\n  }\n})\n\n/**\n * The lint that nudges a run choosing among printed items by hand toward one\n * `jev` call, asked only while the run can call `jev`.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const useJev = (): Monitor =>\n  make({\n    _tag: \"Questioned\",\n    id: \"use_jev\",\n    kind: \"lint\",\n    at: 0.85,\n    limit: 2,\n    question: useJevQuestion,\n    applies: (snapshot) => snapshot.jevAvailable,\n    say: () => useJevText\n  })\n\n/**\n * The questions one snapshot adds to the supervisor's call, by\n * {@link questionId}: every {@link Questioned} monitor whose `applies` holds.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const questions = (\n  monitors: ReadonlyArray<Monitor>,\n  snapshot: Supervisor.Snapshot\n): Supervisor.MonitorQuestions =>\n  Object.fromEntries(\n    monitors.flatMap((monitor) =>\n      monitor._tag === \"Questioned\" && (monitor.applies === undefined || monitor.applies(snapshot))\n        ? [[questionId(monitor.id), monitor.question] as const]\n        : []\n    )\n  )\n\n/**\n * One monitor's value in one reading.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Row {\n  readonly id: string\n  readonly kind: Kind\n  readonly p: number\n  readonly crossed: boolean\n}\n\n/**\n * A crossed monitor's message, rendered against the reading it crossed on.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Candidate {\n  readonly id: string\n  readonly kind: Kind\n  readonly priority: number\n  readonly p: number\n  readonly text: string\n}\n\n/**\n * What one reading says about every monitor.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Evaluation {\n  readonly rows: ReadonlyArray<Row>\n  readonly candidates: ReadonlyArray<Candidate>\n}\n\n/**\n * Scores every monitor against one reading. A {@link Derived} monitor scores\n * itself; a {@link Questioned} monitor reads `values` by monitor id and has no\n * row when it was not asked.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const evaluate = (input: {\n  readonly monitors: ReadonlyArray<Monitor>\n  readonly reading: Supervisor.Reading\n  readonly snapshot: Supervisor.Snapshot\n  readonly values: Readonly<Record<string, number>>\n}): Evaluation => {\n  const rows: Array<Row> = []\n  const candidates: Array<Candidate> = []\n  for (const monitor of input.monitors) {\n    const p = monitor._tag === \"Derived\" ? monitor.score(input.reading, input.snapshot) : input.values[monitor.id]\n    if (p === undefined) continue\n    const crossed = p >= monitor.at\n    rows.push({ id: monitor.id, kind: monitor.kind, p, crossed })\n    if (crossed) {\n      candidates.push({\n        id: monitor.id,\n        kind: monitor.kind,\n        priority: monitor.priority,\n        p,\n        text: monitor.say(input.snapshot, input.reading)\n      })\n    }\n  }\n  return { rows, candidates }\n}\n\n/**\n * One monitor's durable delivery state.\n *\n * @category schemas\n * @since 1.0.0-rc.0\n */\nexport const Entry = Schema.Struct({\n  streak: NonNegativeSafeInt.annotate({ description: \"Consecutive readings that crossed\" }),\n  delivered: NonNegativeSafeInt.annotate({ description: \"Deliveries so far\" }),\n  lastFrame: Schema.Int.annotate({ description: \"The frame of the last delivery; -1 never\" })\n})\n\n/**\n * The decoded form of {@link Entry}.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type Entry = typeof Entry.Type\n\n/**\n * Every monitor's delivery state, by monitor id.\n *\n * @category schemas\n * @since 1.0.0-rc.0\n */\nexport const Ledger = Schema.Record(Schema.String, Entry)\n\n/**\n * The decoded form of {@link Ledger}.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type Ledger = typeof Ledger.Type\n\n/**\n * The state of a monitor with no entry.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const fresh: Entry = { streak: 0, delivered: 0, lastFrame: -1 }\n\n/**\n * What one drain delivers and withholds.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Gated {\n  readonly message?: { readonly id: string; readonly text: string }\n  readonly suppressed: ReadonlyArray<{ readonly id: string; readonly reason: Suppression }>\n  readonly ledger: Ledger\n}\n\n/**\n * Decides, at the steering drain, which one crossed monitor is delivered.\n *\n * Each row moves its monitor's streak: up on a crossing, to zero otherwise; a\n * monitor with no row keeps it. Each candidate is then withheld for its\n * `streak`, its `cooldown` since the last delivery, or its `limit`, in that\n * order. Of the rest the highest priority, then the lower id, takes the one\n * slot and the others are withheld for `slot`. A candidate no monitor\n * declares is ignored.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const gate = (input: {\n  readonly rows: ReadonlyArray<Row>\n  readonly candidates: ReadonlyArray<Candidate>\n  readonly monitors: ReadonlyArray<Monitor>\n  readonly ledger: Ledger\n  readonly frame: number\n}): Gated => {\n  const ledger: Record<string, Entry> = { ...input.ledger }\n  for (const row of input.rows) {\n    const entry = ledger[row.id] ?? fresh\n    ledger[row.id] = { ...entry, streak: row.crossed ? entry.streak + 1 : 0 }\n  }\n  const declared = new Map(input.monitors.map((monitor) => [monitor.id, monitor] as const))\n  const suppressed: Array<{ id: string; reason: Suppression }> = []\n  const eligible: Array<Candidate> = []\n  for (const candidate of input.candidates) {\n    const monitor = declared.get(candidate.id)\n    if (monitor === undefined) continue\n    const entry = ledger[candidate.id] ?? fresh\n    const reason: Suppression | undefined = entry.streak < monitor.consecutive\n      ? \"streak\"\n      : entry.lastFrame >= 0 && input.frame - entry.lastFrame < monitor.cooldownFrames\n      ? \"cooldown\"\n      : entry.delivered >= monitor.limit\n      ? \"limit\"\n      : undefined\n    if (reason === undefined) eligible.push(candidate)\n    else suppressed.push({ id: candidate.id, reason })\n  }\n  const [winner, ...losers] = [...eligible].sort((a, b) => b.priority - a.priority || (a.id < b.id ? -1 : 1))\n  for (const loser of losers) suppressed.push({ id: loser.id, reason: \"slot\" })\n  if (winner === undefined) return { suppressed, ledger }\n  const entry = ledger[winner.id] ?? fresh\n  ledger[winner.id] = { ...entry, delivered: entry.delivered + 1, lastFrame: input.frame }\n  return { message: { id: winner.id, text: winner.text }, suppressed, ledger }\n}\n"]}