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

package/dist/esm/Judgement.js

@@ -0,0 +1,305 @@
+/**
+ * The one way this package asks Jev a question.
+ *
+ * Every reading a control takes — the supervisor's, the completion brake's,
+ * and every relevance, compaction, monitor and routing reading after them —
+ * goes through here, so each is metered the same way and fails the same way.
+ *
+ * Two layers. {@link measured} asks through the bound `Evaluator` and keeps
+ * what the classifier drops: the transport's usage, the provider's own
+ * confidence, the state exactly as it was sent, and the wall-clock latency.
+ * Its failure is the transport's own. {@link read} is the fail-closed layer
+ * above it: a host with no `Evaluator` and a transport that could not answer
+ * both fail as {@link Unjudged}, with a detail that is safe to journal. There
+ * is no reading Jev did not make, and nothing here fills one in.
+ *
+ * {@link perItem} asks one set of questions about each of many items. Items
+ * go in as few requests as fit {@link maxStateBytes}, in order, and a reading
+ * is whole or it fails: one failed request fails every item, and partial
+ * answers are never returned.
+ *
+ * {@link recorded} is how a reading taken inside a run is journaled: through
+ * `EngineLike.record`, so a replayed frame is served what the first attempt
+ * read and never asks again, with the `decision-settled` or
+ * `decision-unjudged` rows {@link emitRecorded} journals beside it.
+ *
+ * @since 1.0.0-rc.0
+ */
+import * as Classifier from "@smthrs/model/Classifier";
+import * as Evaluator from "@smthrs/model/Evaluator";
+import * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import * as AgentEvent from "./AgentEvent.js";
+import * as bytes from "./internal/bytes.js";
+import * as elide from "./internal/elide.js";
+import { paidUsage } from "./internal/paidUsage.js";
+/**
+ * The failure of a reading on a host that binds no `Evaluator`.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const unconfigured = { reason: "unconfigured", detail: "No evaluator is installed on this host" };
+/**
+ * Asks every question of `classifier` about `state` through the bound
+ * `Evaluator`, keeping the usage, the provider's confidence, the state as
+ * sent and the latency. The transport's failure is kept as it is.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const measured = (classifier, state) => Effect.gen(function* () {
+    const bound = yield* Evaluator.Evaluator;
+    // The classifier returns answers only. The transport's accounting and the
+    // provider's confidence are read at the service boundary, and so is the
+    // state: a record of what was asked is of the encoding that crossed it.
+    let usage;
+    let confidence;
+    let sent = null;
+    const metered = Evaluator.Evaluator.of({
+        evaluate: (request) => bound.evaluate(request).pipe(Effect.tap((response) => Effect.sync(() => {
+            usage = response.usage;
+            confidence = response.confidence;
+            // A classifier state is a codec to JSON, so its encoding is JSON.
+            sent = request.state;
+        })))
+    });
+    const [elapsed, answers] = yield* classifier.evaluate(state).pipe(Effect.provideService(Evaluator.Evaluator, metered), Effect.timed);
+    return {
+        answers,
+        asked: {
+            classifier: classifier.id,
+            digest: classifier.digest,
+            questions: classifier.questions,
+            state: sent,
+            answers: AgentEvent.decisionAnswers(answers, confidence),
+            latencyMs: Math.round(Duration.toMillis(elapsed)),
+            ...(usage === undefined ? {} : { usage })
+        }
+    };
+});
+/**
+ * Asks like {@link measured}, and fails as {@link Unjudged} whenever no
+ * answer could be obtained: no `Evaluator` bound, a refusal, a deadline, an
+ * answer that does not decode.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const read = (classifier, state) => Effect.gen(function* () {
+    const bound = yield* Effect.serviceOption(Evaluator.Evaluator);
+    if (Option.isNone(bound))
+        return yield* Effect.fail(unconfigured);
+    return yield* measured(classifier, state).pipe(Effect.provideService(Evaluator.Evaluator, bound.value), 
+    // An unreachable transport's own message can name hosts and URLs.
+    Effect.mapError((error) => ({
+        reason: error.code,
+        detail: Evaluator.publicMessage(error),
+        ...(error.usage === undefined ? {} : { usage: [error.usage] })
+    })));
+});
+/**
+ * The largest state one reading sends, in UTF-8 bytes of its JSON: the
+ * ceiling the `jev` flow applies to a cell's own calls.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const maxStateBytes = 262_144;
+/**
+ * Declares one set of questions asked about each of many items.
+ *
+ * Items are packed in order, greedily, into requests whose encoded state fits
+ * `maxStateBytes`, and each request numbers its items from 0. Requests run at
+ * most `concurrency` at once, and the first that fails fails the reading. An
+ * item too large to send even alone fails as `invalid_question`, and no items
+ * send no request.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const perItem = (options) => {
+    const limit = options.maxStateBytes ?? maxStateBytes;
+    const keys = Object.keys(options.questions);
+    const state = Schema.Struct({
+        context: options.context,
+        items: Schema.Array(options.item)
+    });
+    const encodeContext = Schema.encodeEffect(options.context);
+    const encodeItem = Schema.encodeEffect(options.item);
+    const cache = new Map();
+    const classifierFor = (n) => {
+        const held = cache.get(n);
+        if (held !== undefined)
+            return held;
+        const questions = Object.fromEntries(Array.from({ length: n }, (_, index) => keys.map((key) => [`${key}_${index}`, options.questions[key](index)]))
+            .flat());
+        const made = Classifier.make(options.id, { description: options.description, state, questions });
+        cache.set(n, made);
+        return made;
+    };
+    const size = (value) => bytes.size(JSON.stringify(value));
+    const chunk = (context, items) => Effect.gen(function* () {
+        const invalid = (error) => ({
+            reason: "invalid_question",
+            detail: error.message
+        });
+        const encoded = yield* encodeContext(context).pipe(Effect.mapError(invalid));
+        // `{"context":…,"items":[]}`; each item adds its own bytes and, after
+        // the first, one comma.
+        const base = size({ context: encoded, items: [] });
+        const chunks = [];
+        let current = [];
+        let used = base;
+        for (const [index, item] of items.entries()) {
+            const width = size(yield* encodeItem(item).pipe(Effect.mapError(invalid)));
+            if (base + width > limit) {
+                return yield* Effect.fail({
+                    reason: "invalid_question",
+                    detail: `Item ${index} alone makes a ${base + width}-byte state; one reading sends at most ${limit} bytes.`
+                });
+            }
+            if (current.length > 0 && used + 1 + width > limit) {
+                chunks.push(current);
+                current = [];
+            }
+            used = current.length === 0 ? base + width : used + 1 + width;
+            current.push(item);
+        }
+        // Called with at least one item, so the last request is never empty.
+        chunks.push(current);
+        return chunks;
+    });
+    const readItems = (context, items) => Effect.gen(function* () {
+        if (items.length === 0)
+            return { answers: [], asked: [] };
+        const chunks = yield* chunk(context, items);
+        // The first request that fails fails the reading, but every request
+        // that settled before it was paid for, and so was the failure itself.
+        const paid = [];
+        const reads = yield* Effect.forEach(chunks, (slice) => read(classifierFor(slice.length), { context, items: slice }).pipe(Effect.tap((reading) => Effect.sync(() => {
+            if (reading.asked.usage !== undefined)
+                paid.push(reading.asked.usage);
+        }))), { concurrency: options.concurrency ?? Classifier.defaultConcurrency }).pipe(Effect.mapError((unjudged) => {
+            const usage = [...paid, ...(unjudged.usage ?? [])];
+            return usage.length === 0 ? unjudged : { ...unjudged, usage };
+        }));
+        const answers = reads.flatMap((reading, at) => chunks[at].map((_, index) => Object.fromEntries(keys.map((key) => [key, reading.answers[`${key}_${index}`]]))));
+        return { answers, asked: reads.map((reading) => reading.asked) };
+    });
+    return { classifierFor, read: readItems };
+};
+/**
+ * The `decision-settled` row for one request. `decidedBy` is `jev`, and the
+ * transport's usage is carried when it reported any.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const decision = (asked, at) => new AgentEvent.DecisionSettled({
+    eventType: AgentEvent.eventType.decisionSettled,
+    scope: at.scope,
+    frame: at.frame,
+    classifier: asked.classifier,
+    digest: asked.digest,
+    state: asked.state,
+    questions: asked.questions,
+    answers: asked.answers,
+    latencyMs: asked.latencyMs,
+    acted: at.acted,
+    decidedBy: "jev",
+    ...(asked.usage === undefined ? {} : { usage: asked.usage })
+});
+/**
+ * The `decision-unjudged` row for a reading that failed.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const unjudgedEvent = (unjudged, at) => new AgentEvent.DecisionUnjudged({
+    eventType: AgentEvent.eventType.decisionUnjudged,
+    scope: at.scope,
+    frame: at.frame,
+    classifier: at.classifier,
+    reason: unjudged.reason,
+    detail: unjudged.detail,
+    items: at.items,
+    ...(unjudged.usage === undefined ? {} : { usage: unjudged.usage })
+});
+/**
+ * The durable schema of {@link Recorded} over the caller's value schema.
+ *
+ * @category schemas
+ * @since 1.0.0-rc.0
+ */
+export const Recorded = (value) => Schema.Struct({
+    value: Schema.NullOr(value),
+    decisions: Schema.Array(AgentEvent.DecisionSettled),
+    unjudged: Schema.NullOr(AgentEvent.DecisionUnjudged)
+});
+/**
+ * Takes one reading inside a run as a durable boundary.
+ *
+ * `execute` runs once; its value is recorded with a `decision-settled` row
+ * per request, or, when it fails, a `null` value with one `decision-unjudged`
+ * row over `items`. A replayed frame is served the record and never asks.
+ * `identity.session` is the rows' scope.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const recorded = (engine, boundary, execute) => {
+    const scope = boundary.identity.session;
+    const frame = boundary.identity.frame;
+    return engine.record({
+        name: boundary.name,
+        identity: boundary.identity,
+        success: Recorded(boundary.value),
+        // Each settled request is one metered reading, and so is each request of
+        // a reading that failed after it was metered; see `EngineLike.RecordBoundary.usage`.
+        usage: (record) => paidUsage([...record.decisions.map((settled) => settled.usage), ...(record.unjudged?.usage ?? [])]),
+        execute: Effect.match(execute, {
+            onFailure: (unjudged) => ({
+                value: null,
+                decisions: [],
+                unjudged: unjudgedEvent(unjudged, { scope, frame, classifier: boundary.classifier, items: boundary.items })
+            }),
+            onSuccess: (settled) => ({
+                value: settled.value,
+                decisions: settled.asked.map((asked) => decision(asked, { scope, frame, acted: settled.acted })),
+                unjudged: null
+            })
+        })
+    });
+};
+/**
+ * Journals a {@link Recorded} reading: its decisions in order, then its
+ * `decision-unjudged` row.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const emitRecorded = (emit, record) => Effect.gen(function* () {
+    for (const settled of record.decisions)
+        yield* emit(settled);
+    if (record.unjudged !== null)
+        yield* emit(record.unjudged);
+});
+/**
+ * The most of a run's task one reading carries, in UTF-8 bytes; both ends
+ * kept, for the reason `CompletionClaim` keeps both.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export const taskBytes = 4096;
+/**
+ * The task as a reading carries it, both ends kept.
+ *
+ * @category conversions
+ * @since 1.0.0-rc.0
+ */
+export const task = (text) => elide.middle(text.trim(), taskBytes, "the run record has the whole task");
+//# sourceMappingURL=Judgement.js.map

package/dist/esm/Judgement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Judgement.js","sourceRoot":"","sources":["../../src/Judgement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,UAAU,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAA;AACpD,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAG7C,OAAO,KAAK,KAAK,MAAM,qBAAqB,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,qBAAqB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAoBnD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,wCAAwC,EAAE,CAAA;AAmClH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,UAA4C,EAC5C,KAAgB,EAC0D,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACxC,0EAA0E;IAC1E,wEAAwE;IACxE,wEAAwE;IACxE,IAAI,KAAkC,CAAA;IACtC,IAAI,UAAwD,CAAA;IAC5D,IAAI,IAAI,GAAgB,IAAI,CAAA;IAC5B,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CACpB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACnD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAA;YACtB,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAA;YAChC,kEAAkE;YAClE,IAAI,GAAG,OAAO,CAAC,KAAoB,CAAA;QACrC,CAAC,CAAC,CACH,CAAC;KACL,CAAC,CAAA;IACF,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,EACnD,MAAM,CAAC,KAAK,CACb,CAAA;IACD,OAAO;QACL,OAAO;QACP,KAAK,EAAE;YACL,UAAU,EAAE,UAAU,CAAC,EAAE;YACzB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,UAAU,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC;YACxD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACjD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;SAC1C;KACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,UAA4C,EAC5C,KAAgB,EACmB,EAAE,CACrC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;IAC9D,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IACjE,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,IAAI,CAC5C,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC;IACvD,kEAAkE;IAClE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAY,EAAE,CAAC,CAAC;QACpC,MAAM,EAAE,KAAK,CAAC,IAAI;QAClB,MAAM,EAAE,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC;QACtC,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;KAC/D,CAAC,CAAC,CACJ,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,OAAO,CAAA;AAgFpC;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,OAAsC,EACd,EAAE;IAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,IAAI,aAAa,CAAA;IACpD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IAC3C,MAAM,KAAK,GAA4C,MAAM,CAAC,MAAM,CAAC;QACnE,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;KAClC,CAAC,CAAA;IACF,MAAM,aAAa,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACpD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+D,CAAA;IAEpF,MAAM,aAAa,GAAG,CAAC,CAAS,EAAuD,EAAE;QACvF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACzB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAA;QACnC,MAAM,SAAS,GAAyB,MAAM,CAAC,WAAW,CACxD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,IAAI,KAAK,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;aAC5G,IAAI,EAAE,CACV,CAAA;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAA;QAChG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;QAClB,OAAO,IAAI,CAAA;IACb,CAAC,CAAA;IAED,MAAM,IAAI,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;IAE1E,MAAM,KAAK,GAAG,CAAC,OAAY,EAAE,KAA0B,EAA+C,EAAE,CACtG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,CAAC,KAAmC,EAAY,EAAE,CAAC,CAAC;YAClE,MAAM,EAAE,kBAAkB;YAC1B,MAAM,EAAE,KAAK,CAAC,OAAO;SACtB,CAAC,CAAA;QACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;QAC5E,sEAAsE;QACtE,wBAAwB;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAA;QAClD,MAAM,MAAM,GAAuB,EAAE,CAAA;QACrC,IAAI,OAAO,GAAgB,EAAE,CAAA;QAC7B,IAAI,IAAI,GAAG,IAAI,CAAA;QACf,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YAC1E,IAAI,IAAI,GAAG,KAAK,GAAG,KAAK,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAW;oBAClC,MAAM,EAAE,kBAAkB;oBAC1B,MAAM,EAAE,QAAQ,KAAK,kBAAkB,IAAI,GAAG,KAAK,0CAA0C,KAAK,SAAS;iBAC5G,CAAC,CAAA;YACJ,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,EAAE,CAAC;gBACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBACpB,OAAO,GAAG,EAAE,CAAA;YACd,CAAC;YACD,IAAI,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAA;YAC7D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;QACD,qEAAqE;QACrE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACpB,OAAO,MAAM,CAAA;IACf,CAAC,CAAC,CAAA;IAEJ,MAAM,SAAS,GAAG,CAAC,OAAY,EAAE,KAA0B,EAA0C,EAAE,CACrG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;QACzD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAC3C,oEAAoE;QACpE,sEAAsE;QACtE,MAAM,IAAI,GAA2B,EAAE,CAAA;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACjC,MAAM,EACN,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACvE,CAAC,CAAC,CACH,CACF,EACH,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,UAAU,CAAC,kBAAkB,EAAE,CACtE,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAY,EAAE;YACrC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAA;YAClD,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,CAAA;QAC/D,CAAC,CAAC,CACH,CAAA;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAC5C,MAAM,CAAC,EAAE,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAC3B,MAAM,CAAC,WAAW,CAChB,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAG,OAAO,CAAC,OAA6C,CAAC,GAAG,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CACjF,CACrB,CACF,CAAA;QACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAA;IAClE,CAAC,CAAC,CAAA;IAEJ,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;AAC3C,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,KAAY,EACZ,EAA+E,EACnD,EAAE,CAC9B,IAAI,UAAU,CAAC,eAAe,CAAC;IAC7B,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,eAAe;IAC/C,KAAK,EAAE,EAAE,CAAC,KAAK;IACf,KAAK,EAAE,EAAE,CAAC,KAAK;IACf,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,SAAS,EAAE,KAAK,CAAC,SAAS;IAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;IACtB,SAAS,EAAE,KAAK,CAAC,SAAS;IAC1B,KAAK,EAAE,EAAE,CAAC,KAAK;IACf,SAAS,EAAE,KAAK;IAChB,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;CAC7D,CAAC,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAkB,EAClB,EAA2G,EAC9E,EAAE,CAC/B,IAAI,UAAU,CAAC,gBAAgB,CAAC;IAC9B,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,gBAAgB;IAChD,KAAK,EAAE,EAAE,CAAC,KAAK;IACf,KAAK,EAAE,EAAE,CAAC,KAAK;IACf,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,MAAM,EAAE,QAAQ,CAAC,MAAM;IACvB,MAAM,EAAE,QAAQ,CAAC,MAAM;IACvB,KAAK,EAAE,EAAE,CAAC,KAAK;IACf,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;CACnE,CAAC,CAAA;AAeJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAI,KAAkC,EAAyC,EAAE,CACvG,MAAM,CAAC,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,eAAe,CAAC;IACnD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC;CACrD,CAAC,CAAA;AAEJ;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,MAA6B,EAC7B,QAMC,EACD,OAGC,EACyC,EAAE;IAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAA;IACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAA;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QACjC,yEAAyE;QACzE,qFAAqF;QACrF,KAAK,EAAE,CAAC,MAAM,EAAE,EAAE,CAChB,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;QACrG,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;YAC7B,SAAS,EAAE,CAAC,QAAQ,EAAe,EAAE,CAAC,CAAC;gBACrC,KAAK,EAAE,IAAI;gBACX,SAAS,EAAE,EAAE;gBACb,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;aAC5G,CAAC;YACF,SAAS,EAAE,CAAC,OAAO,EAAe,EAAE,CAAC,CAAC;gBACpC,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;gBAChG,QAAQ,EAAE,IAAI;aACf,CAAC;SACH,CAAC;KACH,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAiE,EACjE,MAAyB,EACE,EAAE,CAC7B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,SAAS;QAAE,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC5D,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;QAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;AAC5D,CAAC,CAAC,CAAA;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAA;AAE7B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,mCAAmC,CAAC,CAAA","sourcesContent":["/**\n * The one way this package asks Jev a question.\n *\n * Every reading a control takes — the supervisor's, the completion brake's,\n * and every relevance, compaction, monitor and routing reading after them —\n * goes through here, so each is metered the same way and fails the same way.\n *\n * Two layers. {@link measured} asks through the bound `Evaluator` and keeps\n * what the classifier drops: the transport's usage, the provider's own\n * confidence, the state exactly as it was sent, and the wall-clock latency.\n * Its failure is the transport's own. {@link read} is the fail-closed layer\n * above it: a host with no `Evaluator` and a transport that could not answer\n * both fail as {@link Unjudged}, with a detail that is safe to journal. There\n * is no reading Jev did not make, and nothing here fills one in.\n *\n * {@link perItem} asks one set of questions about each of many items. Items\n * go in as few requests as fit {@link maxStateBytes}, in order, and a reading\n * is whole or it fails: one failed request fails every item, and partial\n * answers are never returned.\n *\n * {@link recorded} is how a reading taken inside a run is journaled: through\n * `EngineLike.record`, so a replayed frame is served what the first attempt\n * read and never asks again, with the `decision-settled` or\n * `decision-unjudged` rows {@link emitRecorded} journals beside it.\n *\n * @since 1.0.0-rc.0\n */\n\nimport * as Classifier from \"@smthrs/model/Classifier\"\nimport * as Evaluator from \"@smthrs/model/Evaluator\"\nimport * as Duration from \"effect/Duration\"\nimport * as Effect from \"effect/Effect\"\nimport * as Option from \"effect/Option\"\nimport * as Schema from \"effect/Schema\"\nimport * as AgentEvent from \"./AgentEvent.ts\"\nimport type * as EngineLike from \"./EngineLike.ts\"\nimport type { HarnessError } from \"./HarnessError.ts\"\nimport * as bytes from \"./internal/bytes.ts\"\nimport * as elide from \"./internal/elide.ts\"\nimport { paidUsage } from \"./internal/paidUsage.ts\"\n\n/**\n * Why a reading could not be judged, and what went wrong in words safe to\n * journal. `reason` is `unconfigured`, `interrupted`, or the transport's own\n * error code; an `unreachable` detail is `Evaluator.unreachableMessage`.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Unjudged {\n  readonly reason: typeof AgentEvent.UnjudgedReason.Type\n  readonly detail: string\n  /**\n   * What each request of the failed reading paid, when the provider metered\n   * it before the reading failed: a failed reading is still spend (#3010).\n   */\n  readonly usage?: ReadonlyArray<Evaluator.Usage> | undefined\n}\n\n/**\n * The failure of a reading on a host that binds no `Evaluator`.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const unconfigured: Unjudged = { reason: \"unconfigured\", detail: \"No evaluator is installed on this host\" }\n\n/**\n * What one request asked and what came back, in the shape\n * `AgentEvent.DecisionSettled` carries.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Asked {\n  /** The classifier's stable id. */\n  readonly classifier: string\n  /** `Classifier.digest`. */\n  readonly digest: string\n  readonly questions: Classifier.Questions\n  /** The encoded state, as the transport was sent it. */\n  readonly state: Schema.Json\n  readonly answers: Readonly<Record<string, AgentEvent.DecisionAnswer>>\n  /** Wall-clock milliseconds the evaluation took. */\n  readonly latencyMs: number\n  /** Token usage the transport reported, absent when it reported none. */\n  readonly usage?: Evaluator.Usage | undefined\n}\n\n/**\n * One reading: the decoded answers and the record of asking.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Read<Qs extends Classifier.Questions> {\n  readonly answers: Classifier.AnswersOf<Qs>\n  readonly asked: Asked\n}\n\n/**\n * Asks every question of `classifier` about `state` through the bound\n * `Evaluator`, keeping the usage, the provider's confidence, the state as\n * sent and the latency. The transport's failure is kept as it is.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const measured = <Id extends string, S extends Schema.Codec<any, any>, Qs extends Classifier.Questions>(\n  classifier: Classifier.Classifier<Id, S, Qs>,\n  state: S[\"Type\"]\n): Effect.Effect<Read<Qs>, Classifier.ClassifierError, Evaluator.Evaluator> =>\n  Effect.gen(function*() {\n    const bound = yield* Evaluator.Evaluator\n    // The classifier returns answers only. The transport's accounting and the\n    // provider's confidence are read at the service boundary, and so is the\n    // state: a record of what was asked is of the encoding that crossed it.\n    let usage: Evaluator.Usage | undefined\n    let confidence: Readonly<Record<string, number>> | undefined\n    let sent: Schema.Json = null\n    const metered = Evaluator.Evaluator.of({\n      evaluate: (request) =>\n        bound.evaluate(request).pipe(Effect.tap((response) =>\n          Effect.sync(() => {\n            usage = response.usage\n            confidence = response.confidence\n            // A classifier state is a codec to JSON, so its encoding is JSON.\n            sent = request.state as Schema.Json\n          })\n        ))\n    })\n    const [elapsed, answers] = yield* classifier.evaluate(state).pipe(\n      Effect.provideService(Evaluator.Evaluator, metered),\n      Effect.timed\n    )\n    return {\n      answers,\n      asked: {\n        classifier: classifier.id,\n        digest: classifier.digest,\n        questions: classifier.questions,\n        state: sent,\n        answers: AgentEvent.decisionAnswers(answers, confidence),\n        latencyMs: Math.round(Duration.toMillis(elapsed)),\n        ...(usage === undefined ? {} : { usage })\n      }\n    }\n  })\n\n/**\n * Asks like {@link measured}, and fails as {@link Unjudged} whenever no\n * answer could be obtained: no `Evaluator` bound, a refusal, a deadline, an\n * answer that does not decode.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const read = <Id extends string, S extends Schema.Codec<any, any>, Qs extends Classifier.Questions>(\n  classifier: Classifier.Classifier<Id, S, Qs>,\n  state: S[\"Type\"]\n): Effect.Effect<Read<Qs>, Unjudged> =>\n  Effect.gen(function*() {\n    const bound = yield* Effect.serviceOption(Evaluator.Evaluator)\n    if (Option.isNone(bound)) return yield* Effect.fail(unconfigured)\n    return yield* measured(classifier, state).pipe(\n      Effect.provideService(Evaluator.Evaluator, bound.value),\n      // An unreachable transport's own message can name hosts and URLs.\n      Effect.mapError((error): Unjudged => ({\n        reason: error.code,\n        detail: Evaluator.publicMessage(error),\n        ...(error.usage === undefined ? {} : { usage: [error.usage] })\n      }))\n    )\n  })\n\n/**\n * The largest state one reading sends, in UTF-8 bytes of its JSON: the\n * ceiling the `jev` flow applies to a cell's own calls.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const maxStateBytes = 262_144\n\n/**\n * The questions {@link perItem} asks about each item, each built for the\n * item's index within its request.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type ItemQuestions = Readonly<Record<string, (index: number) => Classifier.Question>>\n\n/**\n * The answers {@link perItem} reads for one item, keyed as its questions are.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type ItemAnswers<Qs extends ItemQuestions> = {\n  readonly [Key in keyof Qs]: Classifier.AnswerOf<ReturnType<Qs[Key]>>\n}\n\n/**\n * What {@link perItem} declares.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface PerItemOptions<Ctx, Item, Qs extends ItemQuestions> {\n  /** The classifier's stable id. */\n  readonly id: string\n  readonly description: string\n  /** What every request carries beside its items. */\n  readonly context: Schema.Codec<Ctx, any>\n  readonly item: Schema.Codec<Item, any>\n  /** Asked once per item; the question id is `${key}_${index}`. */\n  readonly questions: Qs\n  /** Requests in flight at once. Defaults to `Classifier.defaultConcurrency`. */\n  readonly concurrency?: number | undefined\n  /** The ceiling one request's state is packed under. Defaults to {@link maxStateBytes}. */\n  readonly maxStateBytes?: number | undefined\n}\n\n/**\n * The state of one {@link perItem} request.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface ItemState<Ctx, Item> {\n  readonly context: Ctx\n  readonly items: ReadonlyArray<Item>\n}\n\n/**\n * One per-item reading: an answer record per item, in input order, and the\n * record of every request it took.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface ItemsRead<Qs extends ItemQuestions> {\n  readonly answers: ReadonlyArray<ItemAnswers<Qs>>\n  readonly asked: ReadonlyArray<Asked>\n}\n\n/**\n * A declared per-item reading.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface PerItem<Ctx, Item, Qs extends ItemQuestions> {\n  /** The classifier for a request of `n` items; the same object for the same `n`. */\n  readonly classifierFor: (\n    n: number\n  ) => Classifier.Classifier<string, Schema.Codec<ItemState<Ctx, Item>, any>, Classifier.Questions>\n  /** Asks every question about every item; whole or failed. */\n  readonly read: (context: Ctx, items: ReadonlyArray<Item>) => Effect.Effect<ItemsRead<Qs>, Unjudged>\n}\n\n/**\n * Declares one set of questions asked about each of many items.\n *\n * Items are packed in order, greedily, into requests whose encoded state fits\n * `maxStateBytes`, and each request numbers its items from 0. Requests run at\n * most `concurrency` at once, and the first that fails fails the reading. An\n * item too large to send even alone fails as `invalid_question`, and no items\n * send no request.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const perItem = <Ctx, Item, const Qs extends ItemQuestions>(\n  options: PerItemOptions<Ctx, Item, Qs>\n): PerItem<Ctx, Item, Qs> => {\n  const limit = options.maxStateBytes ?? maxStateBytes\n  const keys = Object.keys(options.questions)\n  const state: Schema.Codec<ItemState<Ctx, Item>, any> = Schema.Struct({\n    context: options.context,\n    items: Schema.Array(options.item)\n  })\n  const encodeContext = Schema.encodeEffect(options.context)\n  const encodeItem = Schema.encodeEffect(options.item)\n  const cache = new Map<number, ReturnType<PerItem<Ctx, Item, Qs>[\"classifierFor\"]>>()\n\n  const classifierFor = (n: number): ReturnType<PerItem<Ctx, Item, Qs>[\"classifierFor\"]> => {\n    const held = cache.get(n)\n    if (held !== undefined) return held\n    const questions: Classifier.Questions = Object.fromEntries(\n      Array.from({ length: n }, (_, index) => keys.map((key) => [`${key}_${index}`, options.questions[key]!(index)]))\n        .flat()\n    )\n    const made = Classifier.make(options.id, { description: options.description, state, questions })\n    cache.set(n, made)\n    return made\n  }\n\n  const size = (value: unknown): number => bytes.size(JSON.stringify(value))\n\n  const chunk = (context: Ctx, items: ReadonlyArray<Item>): Effect.Effect<Array<Array<Item>>, Unjudged> =>\n    Effect.gen(function*() {\n      const invalid = (error: { readonly message: string }): Unjudged => ({\n        reason: \"invalid_question\",\n        detail: error.message\n      })\n      const encoded = yield* encodeContext(context).pipe(Effect.mapError(invalid))\n      // `{\"context\":…,\"items\":[]}`; each item adds its own bytes and, after\n      // the first, one comma.\n      const base = size({ context: encoded, items: [] })\n      const chunks: Array<Array<Item>> = []\n      let current: Array<Item> = []\n      let used = base\n      for (const [index, item] of items.entries()) {\n        const width = size(yield* encodeItem(item).pipe(Effect.mapError(invalid)))\n        if (base + width > limit) {\n          return yield* Effect.fail<Unjudged>({\n            reason: \"invalid_question\",\n            detail: `Item ${index} alone makes a ${base + width}-byte state; one reading sends at most ${limit} bytes.`\n          })\n        }\n        if (current.length > 0 && used + 1 + width > limit) {\n          chunks.push(current)\n          current = []\n        }\n        used = current.length === 0 ? base + width : used + 1 + width\n        current.push(item)\n      }\n      // Called with at least one item, so the last request is never empty.\n      chunks.push(current)\n      return chunks\n    })\n\n  const readItems = (context: Ctx, items: ReadonlyArray<Item>): Effect.Effect<ItemsRead<Qs>, Unjudged> =>\n    Effect.gen(function*() {\n      if (items.length === 0) return { answers: [], asked: [] }\n      const chunks = yield* chunk(context, items)\n      // The first request that fails fails the reading, but every request\n      // that settled before it was paid for, and so was the failure itself.\n      const paid: Array<Evaluator.Usage> = []\n      const reads = yield* Effect.forEach(\n        chunks,\n        (slice) =>\n          read(classifierFor(slice.length), { context, items: slice }).pipe(\n            Effect.tap((reading) =>\n              Effect.sync(() => {\n                if (reading.asked.usage !== undefined) paid.push(reading.asked.usage)\n              })\n            )\n          ),\n        { concurrency: options.concurrency ?? Classifier.defaultConcurrency }\n      ).pipe(\n        Effect.mapError((unjudged): Unjudged => {\n          const usage = [...paid, ...(unjudged.usage ?? [])]\n          return usage.length === 0 ? unjudged : { ...unjudged, usage }\n        })\n      )\n      const answers = reads.flatMap((reading, at) =>\n        chunks[at]!.map((_, index) =>\n          Object.fromEntries(\n            keys.map((key) => [key, (reading.answers as Readonly<Record<string, unknown>>)[`${key}_${index}`]])\n          ) as ItemAnswers<Qs>\n        )\n      )\n      return { answers, asked: reads.map((reading) => reading.asked) }\n    })\n\n  return { classifierFor, read: readItems }\n}\n\n/**\n * The `decision-settled` row for one request. `decidedBy` is `jev`, and the\n * transport's usage is carried when it reported any.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const decision = (\n  asked: Asked,\n  at: { readonly scope: string; readonly frame: number; readonly acted: boolean }\n): AgentEvent.DecisionSettled =>\n  new AgentEvent.DecisionSettled({\n    eventType: AgentEvent.eventType.decisionSettled,\n    scope: at.scope,\n    frame: at.frame,\n    classifier: asked.classifier,\n    digest: asked.digest,\n    state: asked.state,\n    questions: asked.questions,\n    answers: asked.answers,\n    latencyMs: asked.latencyMs,\n    acted: at.acted,\n    decidedBy: \"jev\",\n    ...(asked.usage === undefined ? {} : { usage: asked.usage })\n  })\n\n/**\n * The `decision-unjudged` row for a reading that failed.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const unjudgedEvent = (\n  unjudged: Unjudged,\n  at: { readonly scope: string; readonly frame: number; readonly classifier: string; readonly items: number }\n): AgentEvent.DecisionUnjudged =>\n  new AgentEvent.DecisionUnjudged({\n    eventType: AgentEvent.eventType.decisionUnjudged,\n    scope: at.scope,\n    frame: at.frame,\n    classifier: at.classifier,\n    reason: unjudged.reason,\n    detail: unjudged.detail,\n    items: at.items,\n    ...(unjudged.usage === undefined ? {} : { usage: unjudged.usage })\n  })\n\n/**\n * What one {@link recorded} reading holds: the caller's value, or `null`\n * when the reading failed, and the rows to journal for it.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Recorded<A> {\n  readonly value: A | null\n  readonly decisions: ReadonlyArray<AgentEvent.DecisionSettled>\n  readonly unjudged: AgentEvent.DecisionUnjudged | null\n}\n\n/**\n * The durable schema of {@link Recorded} over the caller's value schema.\n *\n * @category schemas\n * @since 1.0.0-rc.0\n */\nexport const Recorded = <A>(value: EngineLike.DurableSchema<A>): EngineLike.DurableSchema<Recorded<A>> =>\n  Schema.Struct({\n    value: Schema.NullOr(value),\n    decisions: Schema.Array(AgentEvent.DecisionSettled),\n    unjudged: Schema.NullOr(AgentEvent.DecisionUnjudged)\n  })\n\n/**\n * Takes one reading inside a run as a durable boundary.\n *\n * `execute` runs once; its value is recorded with a `decision-settled` row\n * per request, or, when it fails, a `null` value with one `decision-unjudged`\n * row over `items`. A replayed frame is served the record and never asks.\n * `identity.session` is the rows' scope.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const recorded = <A>(\n  engine: EngineLike.EngineLike,\n  boundary: {\n    readonly name: string\n    readonly identity: EngineLike.BoundaryIdentity & { readonly session: string }\n    readonly classifier: string\n    readonly value: EngineLike.DurableSchema<A>\n    readonly items: number\n  },\n  execute: Effect.Effect<\n    { readonly value: A; readonly asked: ReadonlyArray<Asked>; readonly acted: boolean },\n    Unjudged\n  >\n): Effect.Effect<Recorded<A>, HarnessError> => {\n  const scope = boundary.identity.session\n  const frame = boundary.identity.frame\n  return engine.record({\n    name: boundary.name,\n    identity: boundary.identity,\n    success: Recorded(boundary.value),\n    // Each settled request is one metered reading, and so is each request of\n    // a reading that failed after it was metered; see `EngineLike.RecordBoundary.usage`.\n    usage: (record) =>\n      paidUsage([...record.decisions.map((settled) => settled.usage), ...(record.unjudged?.usage ?? [])]),\n    execute: Effect.match(execute, {\n      onFailure: (unjudged): Recorded<A> => ({\n        value: null,\n        decisions: [],\n        unjudged: unjudgedEvent(unjudged, { scope, frame, classifier: boundary.classifier, items: boundary.items })\n      }),\n      onSuccess: (settled): Recorded<A> => ({\n        value: settled.value,\n        decisions: settled.asked.map((asked) => decision(asked, { scope, frame, acted: settled.acted })),\n        unjudged: null\n      })\n    })\n  })\n}\n\n/**\n * Journals a {@link Recorded} reading: its decisions in order, then its\n * `decision-unjudged` row.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const emitRecorded = <E, R>(\n  emit: (event: AgentEvent.AgentEvent) => Effect.Effect<void, E, R>,\n  record: Recorded<unknown>\n): Effect.Effect<void, E, R> =>\n  Effect.gen(function*() {\n    for (const settled of record.decisions) yield* emit(settled)\n    if (record.unjudged !== null) yield* emit(record.unjudged)\n  })\n\n/**\n * The most of a run's task one reading carries, in UTF-8 bytes; both ends\n * kept, for the reason `CompletionClaim` keeps both.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const taskBytes = 4096\n\n/**\n * The task as a reading carries it, both ends kept.\n *\n * @category conversions\n * @since 1.0.0-rc.0\n */\nexport const task = (text: string): string => elide.middle(text.trim(), taskBytes, \"the run record has the whole task\")\n"]}