@chopin-ai/core 0.0.0-stage → 0.3.0

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/dist/cli.d.ts

@@ -0,0 +1,16 @@
+export interface CliIo {
+    out(text: string): void;
+    err(text: string): void;
+}
+/** A `chopin` subcommand; `name` may span several words, such as `layer check`. */
+export interface Command {
+    name: string;
+    /** Its arguments, as shown in the usage. */
+    args: string;
+    summary: string;
+    /** @returns The process exit code. */
+    run(args: readonly string[], io: CliIo): Promise<number>;
+}
+export declare const coreCommands: readonly Command[];
+/** @returns The process exit code. */
+export declare function runCli(argv: readonly string[], io: CliIo, commands?: readonly Command[]): Promise<number>;

package/dist/cli.js

@@ -0,0 +1,43 @@
+import { resolve } from "node:path";
+import { loadLayer } from "./layer/layer.js";
+export const coreCommands = [{
+        name: "layer check",
+        args: "<dir>",
+        summary: "validate a mutable layer directory",
+        run: async (args, io) => {
+            if (args.length !== 1)
+                return usageError(io, "layer check <dir>");
+            return layerCheck(resolve(args[0] ?? ""), io);
+        },
+    }];
+/** @returns The process exit code. */
+export async function runCli(argv, io, commands = coreCommands) {
+    const command = commands.find((c) => c.name.split(" ").every((word, i) => argv[i] === word));
+    if (command !== undefined)
+        return command.run(argv.slice(command.name.split(" ").length), io);
+    const asked = argv.length === 0 || ["help", "--help", "-h"].includes(argv[0] ?? "");
+    const usage = ["usage: chopin <command>", "", "commands:", ...commands.flatMap((c) => [`  ${c.name} ${c.args}`.trimEnd(), `      ${c.summary}`])];
+    (asked ? io.out : io.err)(usage.join("\n"));
+    return asked ? 0 : 2;
+}
+function usageError(io, usage) {
+    io.err(`usage: chopin ${usage}`);
+    return 2;
+}
+async function layerCheck(directory, io) {
+    const result = await loadLayer(directory);
+    if (!result.ok) {
+        for (const problem of result.problems)
+            io.err(problem);
+        return 1;
+    }
+    const { instructions, skills, mcpServers, gates } = result.layer;
+    io.out([
+        `instructions: ${instructions === undefined ? "none" : "AGENTS.md"}`,
+        `skills: ${skills.map((s) => s.name).join(", ") || "none"}`,
+        `mcp servers: ${Object.keys(mcpServers).join(", ") || "none"}`,
+        `gate rules: ${gates.length}`,
+    ].join("\n"));
+    return 0;
+}
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAiB7C,MAAM,CAAC,MAAM,YAAY,GAAuB,CAAC;QAC/C,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,oCAAoC;QAC7C,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE;YACtB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,UAAU,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;YAClE,OAAO,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,CAAC;KACF,CAAC,CAAC;AAEH,sCAAsC;AACtC,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAuB,EAAE,EAAS,EAAE,QAAQ,GAAuB,YAAY;IAC1G,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IAC7F,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9F,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,CAAC,yBAAyB,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAClJ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5C,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,UAAU,CAAC,EAAS,EAAE,KAAa;IAC1C,EAAE,CAAC,GAAG,CAAC,iBAAiB,KAAK,EAAE,CAAC,CAAC;IACjC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,SAAiB,EAAE,EAAS;IACpD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;YAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IACjE,EAAE,CAAC,GAAG,CAAC;QACL,iBAAiB,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE;QACpE,WAAW,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE;QAC3D,gBAAgB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE;QAC9D,eAAe,KAAK,CAAC,MAAM,EAAE;KAC9B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACd,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/evidence/classify.d.ts

@@ -0,0 +1,31 @@
+import type { TranscriptEntry } from "../transcript.js";
+import type { Signal } from "./signals.js";
+/** Asks a model for a reply to one prompt; the caller picks the model and pays for it. */
+export type Complete = (prompt: string) => Promise<string>;
+/** Why the failure happened. */
+export declare const CAUSES: readonly ["tool_error", "wrong_command", "skipped_verification", "misread_request", "missing_context", "environment", "user_preference", "gave_up_early", "other"];
+/** What the agent did that led to it. */
+export declare const BEHAVIORS: readonly ["read", "edit", "run_command", "answer", "plan", "ask", "other"];
+/** A failure written as three fields; two failures are the same kind only when all three are equal. */
+export interface FailureSignature {
+    cause: (typeof CAUSES)[number];
+    behavior: (typeof BEHAVIORS)[number];
+    /** A short kebab-case name for the mechanism, such as `stops-at-truncated-output`. */
+    mechanism: string;
+}
+/**
+ * The rules failures are named by; a failure is counted only with failures named under the same rules, so changing
+ * them starts the count afresh instead of mixing two ways of naming.
+ */
+export declare const CLASSIFIER_VERSION = 3;
+/** What a model makes of a signal: a named failure, or not a failure at all, such as a search that found nothing. */
+export type Classified = FailureSignature | "not_a_failure";
+/**
+ * The signature of the failure `signal` marks in `entries`. Signatures already seen, the most common first, are
+ * offered whole, so one kind of failure keeps one name; a reply that does not fit gives `undefined` rather than a
+ * guess. A session of another agent, `foreign`, may hold refusals by its host's own rules, which are not the agent's.
+ */
+export declare function classify(entries: readonly TranscriptEntry[], signal: Signal, known: readonly FailureSignature[], complete: Complete, foreign?: boolean): Promise<Classified | undefined>;
+export declare function parseSignature(reply: string): Classified | undefined;
+/** The key failures of one kind share. */
+export declare function signatureKey(signature: FailureSignature): string;

package/dist/evidence/classify.js

@@ -0,0 +1,87 @@
+import { isUserWritten } from "./points.js";
+/** Why the failure happened. */
+export const CAUSES = [
+    "tool_error", "wrong_command", "skipped_verification", "misread_request", "missing_context", "environment",
+    "user_preference", "gave_up_early", "other",
+];
+/** What the agent did that led to it. */
+export const BEHAVIORS = ["read", "edit", "run_command", "answer", "plan", "ask", "other"];
+const MECHANISM = /^[a-z0-9]+(-[a-z0-9]+){0,7}$/;
+/**
+ * What the model is shown of a session: lines before the failure, and after it up to the user's next message, which
+ * tell a failure the agent had to recover from apart from a result it used; each line cut to a length.
+ */
+const BEFORE = 20;
+const AFTER = 8;
+const ENTRY_CHARS = 1500;
+/** How many named failures are offered, the most common first, so the prompt does not grow with the catalog. */
+const KNOWN_SHOWN = 30;
+/**
+ * The rules failures are named by; a failure is counted only with failures named under the same rules, so changing
+ * them starts the count afresh instead of mixing two ways of naming.
+ */
+export const CLASSIFIER_VERSION = 3;
+/**
+ * The signature of the failure `signal` marks in `entries`. Signatures already seen, the most common first, are
+ * offered whole, so one kind of failure keeps one name; a reply that does not fit gives `undefined` rather than a
+ * guess. A session of another agent, `foreign`, may hold refusals by its host's own rules, which are not the agent's.
+ */
+export async function classify(entries, signal, known, complete, foreign = false) {
+    const next = entries.findIndex((entry, line) => line > signal.line && isUserWritten(entry));
+    const end = Math.min(next === -1 ? entries.length : next + 1, signal.line + 1 + AFTER);
+    const window = entries.slice(Math.max(0, signal.line - BEFORE), end);
+    const reply = await complete(prompt(window, signal.line - Math.max(0, signal.line - BEFORE), signal, known.slice(0, KNOWN_SHOWN), foreign));
+    return parseSignature(reply);
+}
+export function parseSignature(reply) {
+    const json = reply.slice(reply.indexOf("{"), reply.lastIndexOf("}") + 1);
+    let value;
+    try {
+        value = JSON.parse(json);
+    }
+    catch {
+        return undefined;
+    }
+    if (value.failure === false)
+        return "not_a_failure";
+    const { cause, behavior, mechanism } = value;
+    if (!CAUSES.includes(cause) || !BEHAVIORS.includes(behavior))
+        return undefined;
+    if (typeof mechanism !== "string" || !MECHANISM.test(mechanism))
+        return undefined;
+    return { cause, behavior, mechanism };
+}
+/** The key failures of one kind share. */
+export function signatureKey(signature) {
+    return `${signature.cause}/${signature.behavior}/${signature.mechanism}`;
+}
+function prompt(window, at, signal, known, foreign) {
+    return [
+        "An agent's session may have gone wrong at the line marked >>> below. If it did, name the failure with three",
+        "fields, as one JSON object.",
+        `- cause: one of ${CAUSES.join(", ")}`,
+        `- behavior: what the agent did that led to it, one of ${BEHAVIORS.join(", ")}`,
+        "- mechanism: a kebab-case name for how it failed, of at most 8 words, general enough to recur in other sessions",
+        ...(known.length === 0 ? [] : [
+            "When it is the same failure as one already named, reply with that one exactly, all three fields as they are;",
+            "name a new one when they only sound alike:",
+            ...known.map((signature) => JSON.stringify(signature)),
+        ]),
+        'Reply {"failure":false} when it is no failure of the agent\'s own making:',
+        "- the agent got what it needed and carried on, as the lines after it show, such as when a search rightly found",
+        "  nothing or one part of a longer command exited non-zero",
+        "- the outside world failed, such as the network or a service, and no other step would have fared better",
+        ...(foreign ? [
+            "- the agent's host refused it by a rule of its own, such as a blocked command, a permission check or a sandbox",
+            "  limit; this session comes from another agent, and its host's rules are not this agent's",
+        ] : []),
+        `The signal: ${JSON.stringify(signal)}`,
+        "The session around it, one ACP entry per line:",
+        ...window.map((entry, line) => {
+            const text = JSON.stringify(entry);
+            return `${line === at ? ">>> " : ""}${text.length <= ENTRY_CHARS ? text : `${text.slice(0, ENTRY_CHARS)}…`}`;
+        }),
+        'Reply with only the JSON object, such as {"cause":"…","behavior":"…","mechanism":"…"} or {"failure":false}.',
+    ].join("\n");
+}
+//# sourceMappingURL=classify.js.map

package/dist/evidence/classify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify.js","sourceRoot":"","sources":["../../src/evidence/classify.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAM5C,gCAAgC;AAChC,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,aAAa;IAC1G,iBAAiB,EAAE,eAAe,EAAE,OAAO;CACnC,CAAC;AAEX,yCAAyC;AACzC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAU,CAAC;AAUpG,MAAM,SAAS,GAAG,8BAA8B,CAAC;AAEjD;;;GAGG;AACH,MAAM,MAAM,GAAG,EAAE,CAAC;AAClB,MAAM,KAAK,GAAG,CAAC,CAAC;AAChB,MAAM,WAAW,GAAG,IAAI,CAAC;AAEzB,gHAAgH;AAChH,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAKpC;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,OAAmC,EACnC,MAAc,EACd,KAAkC,EAClC,QAAkB,EAClB,OAAO,GAAG,KAAK;IAEf,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5I,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,IAAI,KAAsF,CAAC;IAC3F,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAiB,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK;QAAE,OAAO,eAAe,CAAC;IACpD,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAc,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAiB,CAAC;QAAE,OAAO,SAAS,CAAC;IACjG,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAClF,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAsB,CAAC;AAC5D,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,YAAY,CAAC,SAA2B;IACtD,OAAO,GAAG,SAAS,CAAC,KAAK,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,MAAM,CAAC,MAAkC,EAAE,EAAU,EAAE,MAAc,EAAE,KAAkC,EAAE,OAAgB;IAClI,OAAO;QACL,6GAA6G;QAC7G,6BAA6B;QAC7B,mBAAmB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACtC,yDAAyD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC/E,iHAAiH;QACjH,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,8GAA8G;YAC9G,4CAA4C;YAC5C,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;SACvD,CAAC;QACF,2EAA2E;QAC3E,gHAAgH;QAChH,2DAA2D;QAC3D,yGAAyG;QACzG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;YACZ,gHAAgH;YAChH,2FAA2F;SAC5F,CAAC,CAAC,CAAC,EAAE,CAAC;QACP,eAAe,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE;QACvC,gDAAgD;QAChD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACnC,OAAO,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG,EAAE,CAAC;QAC/G,CAAC,CAAC;QACF,6GAA6G;KAC9G,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/evidence/corrections.d.ts

@@ -0,0 +1,14 @@
+import type { TranscriptEntry } from "../transcript.js";
+import type { Complete } from "./classify.js";
+/** A user message that may correct the agent; it counts as a failure only once the user confirms it. */
+export interface CorrectionCandidate {
+    /** The transcript line of the user's message. */
+    line: number;
+    /** What the user corrected, in a few words. */
+    summary: string;
+}
+/**
+ * Lines from `from` on where the user pushed back on what the agent did. A model proposes them, since no event marks
+ * a correction; a long session is asked about in batches, and lines the user did not write are dropped.
+ */
+export declare function proposeCorrections(entries: readonly TranscriptEntry[], complete: Complete, from?: number): Promise<CorrectionCandidate[]>;

package/dist/evidence/corrections.js

@@ -0,0 +1,61 @@
+import { correctedStep, isUserWritten } from "./points.js";
+/** How much of each message the model is shown, and how much one request carries, so a long session stays cheap. */
+const USER_CHARS = 1200;
+const AGENT_CHARS = 600;
+const BATCH_CHARS = 60_000;
+/**
+ * Lines from `from` on where the user pushed back on what the agent did. A model proposes them, since no event marks
+ * a correction; a long session is asked about in batches, and lines the user did not write are dropped.
+ */
+export async function proposeCorrections(entries, complete, from = 0) {
+    const users = entries.flatMap((entry, line) => (line >= from && isUserWritten(entry) ? [line] : []));
+    const found = [];
+    for (const batch of batches(users.map((line) => excerpt(entries, line)))) {
+        const reply = await complete([
+            "Below are the user's messages from an agent session, each with the agent step just before it. Find the user",
+            "messages that correct the agent: rejecting what it did, pointing out a mistake, or restating a rule it broke.",
+            "Questions and new requests are not corrections, nor are praise, agreement, or frustration that names nothing to",
+            "do differently. Summarize each as what the agent should do instead, in a few words. Reply with only a JSON",
+            'array such as [{"line":12,"summary":"use pnpm, not npm"}], or [] for none.',
+            ...batch,
+        ].join("\n"));
+        found.push(...parseCandidates(reply, users));
+    }
+    return found;
+}
+function excerpt(entries, line) {
+    const before = correctedStep(entries, line);
+    const agent = before === undefined ? "" : `agent before ${line}: ${clip(JSON.stringify(entries[before]), AGENT_CHARS)}\n`;
+    return `${agent}user ${line}: ${clip(JSON.stringify(entries[line]), USER_CHARS)}`;
+}
+function batches(excerpts) {
+    const all = [];
+    let size = Infinity;
+    for (const text of excerpts) {
+        if (size + text.length > BATCH_CHARS) {
+            all.push([]);
+            size = 0;
+        }
+        all.at(-1).push(text);
+        size += text.length;
+    }
+    return all;
+}
+function parseCandidates(reply, users) {
+    let found;
+    try {
+        found = JSON.parse(reply.slice(reply.indexOf("["), reply.lastIndexOf("]") + 1));
+    }
+    catch {
+        return [];
+    }
+    if (!Array.isArray(found))
+        return [];
+    return found.flatMap((item) => typeof item.line === "number" && users.includes(item.line) && typeof item.summary === "string" && item.summary !== ""
+        ? [{ line: item.line, summary: item.summary }]
+        : []);
+}
+function clip(text, limit) {
+    return text.length <= limit ? text : `${text.slice(0, limit)}…`;
+}
+//# sourceMappingURL=corrections.js.map

package/dist/evidence/corrections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corrections.js","sourceRoot":"","sources":["../../src/evidence/corrections.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE3D,oHAAoH;AACpH,MAAM,UAAU,GAAG,IAAI,CAAC;AACxB,MAAM,WAAW,GAAG,GAAG,CAAC;AACxB,MAAM,WAAW,GAAG,MAAM,CAAC;AAU3B;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAAmC,EAAE,QAAkB,EAAE,IAAI,GAAG,CAAC;IACxG,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrG,MAAM,KAAK,GAA0B,EAAE,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC;YAC3B,6GAA6G;YAC7G,+GAA+G;YAC/G,iHAAiH;YACjH,4GAA4G;YAC5G,4EAA4E;YAC5E,GAAG,KAAK;SACT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,OAAmC,EAAE,IAAY;IAChE,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC;IAC1H,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,OAAO,CAAC,QAA2B;IAC1C,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACb,IAAI,GAAG,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC;IACtB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,KAAwB;IAC9D,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAA2C,EAAE,EAAE,CACnE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE;QACnH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9C,CAAC,CAAC,EAAE,CAAC,CAAC;AACZ,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,KAAa;IACvC,OAAO,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC;AAClE,CAAC"}

package/dist/evidence/failures.d.ts

@@ -0,0 +1,44 @@
+import { type Complete, type FailureSignature } from "./classify.js";
+/** One failure in one session, with its signature. */
+export interface Failure {
+    session: string;
+    /** The transcript line where it happened. */
+    line: number;
+    signature: FailureSignature;
+    /** The version of the rules it was named by. */
+    classifier?: number;
+}
+/** Failures of one kind, and the distinct sessions they came from. */
+export interface FailureClass {
+    key: string;
+    /** The signature most of its failures were named with. */
+    signature: FailureSignature;
+    failures: Failure[];
+    sessions: string[];
+}
+/** How many distinct sessions a kind of failure must appear in before it starts a round. */
+export declare const TRIGGER_SESSIONS = 2;
+/**
+ * The key failures of one kind share: what the agent did and how it failed. The cause is a judgement that differs
+ * between sessions for the same mechanism, so it describes a kind without splitting it.
+ */
+export declare function kindKey(signature: FailureSignature): string;
+/**
+ * Failures grouped by kind, the kinds seen in the most sessions first. `aliases` maps a kind's key to the key of the
+ * kind it is another name for, whose name the merged kind carries.
+ */
+export declare function groupFailures(failures: readonly Failure[], aliases?: ReadonlyMap<string, string>): FailureClass[];
+/** The kinds looked at for other names before, and the aliases found among them. */
+export interface KindNaming {
+    reviewed: readonly string[];
+    aliases: ReadonlyMap<string, string>;
+}
+/**
+ * Which kinds are other names for one mechanism. Each behavior with a kind not looked at before is asked about once,
+ * with every name given within it; a new kind joins the kind of an earlier name it is grouped with, or else the first
+ * new name of its group, while kinds looked at before keep the names they were given, so grouping only ever settles.
+ * A reply naming a kind that is not there, or one kind twice, is not taken.
+ */
+export declare function kindAliases(kinds: readonly string[], complete: Complete, before?: KindNaming): Promise<Map<string, string>>;
+/** The kinds of failure that have recurred often enough to start a round. */
+export declare function triggered(classes: readonly FailureClass[], sessions?: number): FailureClass[];

package/dist/evidence/failures.js

@@ -0,0 +1,91 @@
+import { signatureKey } from "./classify.js";
+/** How many distinct sessions a kind of failure must appear in before it starts a round. */
+export const TRIGGER_SESSIONS = 2;
+/**
+ * The key failures of one kind share: what the agent did and how it failed. The cause is a judgement that differs
+ * between sessions for the same mechanism, so it describes a kind without splitting it.
+ */
+export function kindKey(signature) {
+    return `${signature.behavior}/${signature.mechanism}`;
+}
+/**
+ * Failures grouped by kind, the kinds seen in the most sessions first. `aliases` maps a kind's key to the key of the
+ * kind it is another name for, whose name the merged kind carries.
+ */
+export function groupFailures(failures, aliases = new Map()) {
+    const classes = new Map();
+    for (const failure of failures) {
+        const own = kindKey(failure.signature);
+        const key = aliases.get(own) ?? own;
+        const found = classes.get(key) ?? { key, signature: failure.signature, failures: [], sessions: [] };
+        found.failures.push(failure);
+        if (!found.sessions.includes(failure.session))
+            found.sessions.push(failure.session);
+        classes.set(key, found);
+    }
+    for (const found of classes.values()) {
+        const signature = mostCommon(found.failures.map((failure) => failure.signature));
+        found.signature = { ...signature, mechanism: found.key.slice(found.key.indexOf("/") + 1) };
+    }
+    return [...classes.values()].sort((a, b) => b.sessions.length - a.sessions.length);
+}
+/**
+ * Which kinds are other names for one mechanism. Each behavior with a kind not looked at before is asked about once,
+ * with every name given within it; a new kind joins the kind of an earlier name it is grouped with, or else the first
+ * new name of its group, while kinds looked at before keep the names they were given, so grouping only ever settles.
+ * A reply naming a kind that is not there, or one kind twice, is not taken.
+ */
+export async function kindAliases(kinds, complete, before = { reviewed: [], aliases: new Map() }) {
+    const aliases = new Map(before.aliases);
+    const reviewed = new Set(before.reviewed);
+    for (const [behavior, keys] of Map.groupBy(kinds, (key) => key.slice(0, key.indexOf("/")))) {
+        if (keys.length < 2 || keys.every((key) => reviewed.has(key)))
+            continue;
+        const names = keys.map((key) => key.slice(behavior.length + 1));
+        const reply = await complete([
+            `Below are names an agent's failures were given, all from the behavior "${behavior}". Group the names that name`,
+            "the same mechanism in other words, so a fix for one is a fix for all; names that are only related stay apart.",
+            'Reply with only a JSON array of groups, each with the name to keep first, such as [["a-b","a-b-c"]], or [] for',
+            "none.",
+            ...names,
+        ].join("\n"));
+        const seen = new Set();
+        for (const group of parseGroups(reply)) {
+            if (group.length < 2 || group.some((name) => !names.includes(name) || seen.has(name)))
+                continue;
+            for (const name of group)
+                seen.add(name);
+            const members = group.map((name) => `${behavior}/${name}`);
+            const anchor = members.find((key) => reviewed.has(key)) ?? members[0];
+            const target = aliases.get(anchor) ?? anchor;
+            for (const key of members)
+                if (!reviewed.has(key) && key !== target)
+                    aliases.set(key, target);
+        }
+    }
+    return aliases;
+}
+function parseGroups(reply) {
+    try {
+        const value = JSON.parse(reply.slice(reply.indexOf("["), reply.lastIndexOf("]") + 1));
+        if (!Array.isArray(value))
+            return [];
+        return value.filter((group) => Array.isArray(group) && group.every((name) => typeof name === "string"));
+    }
+    catch {
+        return [];
+    }
+}
+function mostCommon(signatures) {
+    const counts = new Map();
+    for (const signature of signatures) {
+        const key = signatureKey(signature);
+        counts.set(key, { signature, count: (counts.get(key)?.count ?? 0) + 1 });
+    }
+    return [...counts.values()].reduce((best, next) => (next.count > best.count ? next : best)).signature;
+}
+/** The kinds of failure that have recurred often enough to start a round. */
+export function triggered(classes, sessions = TRIGGER_SESSIONS) {
+    return classes.filter((found) => found.sessions.length >= sessions);
+}
+//# sourceMappingURL=failures.js.map

package/dist/evidence/failures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"failures.js","sourceRoot":"","sources":["../../src/evidence/failures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAwC,MAAM,eAAe,CAAC;AAqBnF,4FAA4F;AAC5F,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAElC;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,SAA2B;IACjD,OAAO,GAAG,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;AACxD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,QAA4B,EAAE,OAAO,GAAgC,IAAI,GAAG,EAAE;IAC1G,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACpG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACpF,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QACjF,KAAK,CAAC,SAAS,GAAG,EAAE,GAAG,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;IAC7F,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACrF,CAAC;AAQD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,KAAwB,EACxB,QAAkB,EAClB,MAAM,GAAe,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1C,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAAE,SAAS;QACxE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC;YAC3B,0EAA0E,QAAQ,8BAA8B;YAChH,+GAA+G;YAC/G,gHAAgH;YAChH,OAAO;YACP,GAAG,KAAK;SACT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAChG,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,QAAQ,IAAI,IAAI,EAAE,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC;YACvE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC;YAC7C,KAAK,MAAM,GAAG,IAAI,OAAO;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,IAAI,CAAC;QACH,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/F,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAqB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;IAC7H,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,UAAuC;IACzD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0D,CAAC;IACjF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACxG,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,SAAS,CAAC,OAAgC,EAAE,QAAQ,GAAG,gBAAgB;IACrF,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC;AACtE,CAAC"}

package/dist/evidence/messages-jsonl.d.ts

@@ -0,0 +1,7 @@
+import type { TranscriptEntry } from "../transcript.js";
+/**
+ * A transcript from session logs written one JSON object per line, each a user or assistant message whose content is
+ * text, thinking, tool-use and tool-result blocks. Side threads and bookkeeping lines are left out; user-role text the
+ * user did not write stays in, since the model saw it, marked as injected.
+ */
+export declare function fromMessagesJsonl(text: string): TranscriptEntry[];