looply-cli 0.5.18 → 0.5.19

package/dist/bug-repro.d.ts

@@ -0,0 +1,234 @@
+import type { ReproductionReport, ReproductionRun } from '@looply/core';
+import type { AgentInvoke } from './agent-exec';
+import type { CommandResult, CommandRunner } from './gate';
+import type { GoalGapOutcome } from './goal-gap';
+/**
+ * BUG TICKETS ARE REPRODUCTION-FIRST.
+ *
+ * Owner's roadmap, 2026-10-16. For a bug, the first thing Looply does is show
+ * the bug: an agent writes ONE failing test (or a scripted repro) from the
+ * ticket's words and screenshots, and the MACHINE runs it on the base tree. A
+ * red run that actually ran that test is the evidence; it is recorded before
+ * any plan exists. The fix must then turn the same test green — checked by the
+ * machine at the delivered tree, not taken from anybody's word — and the test
+ * stays in the suite as the regression guard. The pull request and the ticket
+ * say "reproduced: <test>, failed before, passes now".
+ *
+ * When the bug cannot be shown, Looply asks ONE precise question on the ticket
+ * (which page or table, what was clicked, what was seen) before spending any
+ * fix attempt. That is a genuine question about the work. It asks at most once:
+ * a goal that already carries the person's answer goes on to fix without a
+ * reproduction rather than asking again.
+ *
+ * WHAT IS NEVER A REASON TO ASK. A command that could not run (a missing tool,
+ * a sandbox denial, a timeout), an agent that failed, or a repository with no
+ * way to run one test: those are the machine's problem, not the reporter's, and
+ * the goal goes on without a reproduction.
+ *
+ * The agent that writes the test has the implementer's tools (read, write), and
+ * no shell: it cannot run anything, so it cannot claim a red run. The tree is
+ * reset after the red run, so planning and the first round start from the base
+ * tree exactly as before; the test's text travels to them in the goal's words.
+ */
+/** The agent call that writes the test. Planning's own bound is ten minutes; this is smaller. */
+export declare const REPRO_AGENT_TIMEOUT_MS: number;
+/** One run of one test. */
+export declare const REPRO_RUN_TIMEOUT_MS: number;
+/** The most of the test's text carried into the plan and every round. */
+export declare const REPRO_BRIEF_MAX_CHARS = 12000;
+/** Where downloaded ticket attachments sit while the test is written. Removed with the reset. */
+export declare const TICKET_FILES_DIR = ".looply-ticket";
+/** The question asked when the bug did not show and the agent did not word a better one. */
+export declare const DEFAULT_REPRO_QUESTION = "I couldn't make this bug happen. Which page or table is it on, what exactly did you click or enter, and what did you see instead of what you expected?";
+/**
+ * Whether a goal is a bug. AutoRyn writes `Ticket type: bug`; a goal created
+ * before that line existed still names its ticket key, and AutoRyn bug keys are
+ * `<PROJECT>-B-<n>`. A person writing a goal by hand can start it with "Bug:".
+ */
+export declare function isBugGoal(text: string): boolean;
+/** The https links the goal lists under its attachments heading (AutoRyn's `Screenshots and attachments:`). */
+export declare function ticketAttachments(text: string): string[];
+/** Whether the goal already carries a person's answer to a question Looply asked on the ticket. */
+export declare function ticketWasAnswered(text: string): boolean;
+export type ReproAnswer = {
+    kind: 'test';
+    file: string;
+    test: string;
+    command: string;
+} | {
+    kind: 'question';
+    question: string;
+} | {
+    kind: 'skip';
+    because: string;
+};
+export declare function buildReproPrompt(input: {
+    projectName: string;
+    goalText: string;
+    gates: ReadonlyArray<{
+        name: string;
+        run: string;
+    }>;
+    /** Repository paths of the ticket's attachments, downloaded for this step. */
+    attachments: readonly string[];
+}): string;
+/** The agent's answer, read from the END (the prompt's own examples come first in an echo), or null. */
+export declare function extractReproAnswer(transcript: string): ReproAnswer | null;
+export type RunJudgement = {
+    verdict: 'red';
+} | {
+    verdict: 'green';
+}
+/** It did not run the test: a timeout, a runner that could not start, or a failure that never mentions it. */
+ | {
+    verdict: 'not-run';
+    because: string;
+};
+/**
+ * What one run of the test says. RED needs more than a non-zero exit: the
+ * output must name the test or its file, or the failure could be a missing
+ * tool or a syntax error elsewhere — a red that shows nothing about the bug.
+ */
+export declare function judgeRun(result: CommandResult, repro: {
+    test: string;
+    file: string;
+}): RunJudgement;
+export interface ReproRun extends ReproductionRun {
+    /** The end of the run's output, for a person reading the record. */
+    tail: string;
+}
+export interface ReproRecord {
+    schema: 1;
+    goalId: string;
+    goalVersion: number;
+    at: string;
+    /**
+     *   reproduced      — the test ran red on the base tree; the fix must turn it green
+     *   question        — the bug did not show; a person is asked before any fix
+     *   not-reproduced  — the bug did not show, the person already answered once; fixing without one
+     *   skipped         — no reproduction could be attempted (the machine's problem, not the person's)
+     */
+    outcome: 'reproduced' | 'question' | 'not-reproduced' | 'skipped';
+    because?: string;
+    question?: string;
+    test?: string;
+    file?: string;
+    command?: string;
+    /** What the agent wrote, as it wrote it — the plan and every round are shown this. */
+    files?: Array<{
+        path: string;
+        content: string;
+    }>;
+    failedBefore?: ReproRun;
+    passesNow?: ReproRun | null;
+    /** The last check at a delivered tree that did not come back green. */
+    lastCheck?: ReproRun & {
+        verdict: 'red' | 'missing' | 'not-run';
+    };
+}
+/** One file per goal version, under the PROJECT's state, so every checkout of the project reads the same one. */
+export declare class ReproStore {
+    private readonly stateDir;
+    constructor(stateDir: string);
+    private dir;
+    private path;
+    read(goalId: string, goalVersion: number): ReproRecord | null;
+    /** The newest version's record for a goal — what its delivery reports. */
+    latest(goalId: string): ReproRecord | null;
+    write(r: ReproRecord): void;
+}
+export interface ReproDeps {
+    /** An agent with write tools and no shell (the implementer's transport). */
+    invoke: AgentInvoke;
+    /** Runs one command in the checkout, the way the gates run (contained). */
+    run: CommandRunner;
+    git: {
+        changedEntries(): Promise<Array<{
+            path: string;
+            status: string;
+        }>>;
+        headSha(): Promise<string>;
+        /** Back to HEAD: tracked changes reset, untracked files removed, `.looply` spared. */
+        discard(): Promise<void>;
+    };
+    /** A repository-relative path's text, or null. */
+    readFile(path: string): string | null;
+    /** Saves one attachment into the checkout; returns its repository path, or null when it could not be fetched. */
+    download?(url: string, index: number): Promise<string | null>;
+    now(): Date;
+    log(line: string): void;
+}
+export interface ReproInput {
+    goalId: string;
+    goalVersion: number;
+    goalText: string;
+    projectName: string;
+    gates: ReadonlyArray<{
+        name: string;
+        run: string;
+    }>;
+}
+/**
+ * Write the test, run it on the base tree, reset the tree. Never throws: every
+ * failure is a record, and only a bug that did not show becomes a question.
+ * The caller must have a clean tree (it is checked, and a dirty one is skipped,
+ * never reset — that work is somebody's).
+ */
+export declare function reproduceBug(input: ReproInput, deps: ReproDeps): Promise<ReproRecord>;
+/** The block a reproduced bug adds to the goal's words, or '' for any other outcome. */
+export declare function reproductionBrief(r: ReproRecord | null): string;
+/** The goal's words with the reproduction attached, for the plan, the goal check and the rounds. */
+export declare function withReproduction(goalText: string, r: ReproRecord | null): string;
+/** The sentence for the ticket and the end of the run when a question is asked. */
+export declare function reproQuestion(r: ReproRecord): string;
+export type GreenCheck = {
+    state: 'green';
+    run: ReproRun;
+} | {
+    state: 'red';
+    run: ReproRun;
+}
+/** The test is gone, renamed, or its file is. */
+ | {
+    state: 'missing';
+    because: string;
+} | {
+    state: 'not-run';
+    because: string;
+    run: ReproRun;
+};
+/** Run the recorded test at the current tree. Never throws. */
+export declare function checkReproGreen(r: ReproRecord, deps: Pick<ReproDeps, 'run' | 'readFile' | 'now'> & {
+    headSha(): Promise<string>;
+}): Promise<GreenCheck>;
+/**
+ * THE GOAL CHECK, WITH THE MACHINE'S OWN QUESTION ADDED: does the reproduction
+ * test pass now? Asked only when the evaluator says the goal is met. A test
+ * that still fails, or was removed, turns "met" into one named gap, so Looply
+ * plans the fix again instead of finishing. A test that could not be run is
+ * logged and does not block (the machine's problem, not the work's); the
+ * report then says "not yet passing".
+ *
+ * The run must leave the tree as it found it: the goal check refuses an
+ * evaluation that changed the repository, so anything the test run wrote is
+ * reset — but only when the tree was clean before it, so an evaluator that
+ * changed something is still caught.
+ */
+export declare function evaluateWithReproduction(outcome: GoalGapOutcome, r: ReproRecord | null, deps: Pick<ReproDeps, 'run' | 'readFile' | 'now' | 'log'> & {
+    headSha(): Promise<string>;
+    changedPaths(): Promise<readonly string[]>;
+    discard(): Promise<void>;
+    store: Pick<ReproStore, 'write'>;
+}): Promise<GoalGapOutcome>;
+/** The report the pull request, the server and AutoRyn carry, or null when nothing was reproduced. */
+export declare function reproductionReport(r: ReproRecord | null): ReproductionReport | null;
+/** A repository-relative reader rooted at the checkout. */
+export declare function checkoutReader(cwd: string): (path: string) => string | null;
+/**
+ * Fetch one ticket attachment into `<checkout>/.looply-ticket/`. https only,
+ * images, PDFs and text only, at most 5 MB, 20 seconds. A link that needs a
+ * sign-in or answers anything else is simply not saved; its address is still
+ * in the goal's words.
+ */
+export declare function nodeAttachmentDownloader(cwd: string, fetchFn?: typeof fetch): (url: string, index: number) => Promise<string | null>;
+//# sourceMappingURL=bug-repro.d.ts.map

package/dist/bug-repro.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bug-repro.d.ts","sourceRoot":"","sources":["../src/bug-repro.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,iGAAiG;AACjG,eAAO,MAAM,sBAAsB,QAAgB,CAAC;AACpD,2BAA2B;AAC3B,eAAO,MAAM,oBAAoB,QAAgB,CAAC;AAClD,yEAAyE;AACzE,eAAO,MAAM,qBAAqB,QAAS,CAAC;AAC5C,iGAAiG;AACjG,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AAKjD,4FAA4F;AAC5F,eAAO,MAAM,sBAAsB,2JACuH,CAAC;AAI3J;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE/C;AAED,+GAA+G;AAC/G,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAcxD;AAED,mGAAmG;AACnG,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEvD;AAID,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtC,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,8EAA8E;IAC9E,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,GAAG,MAAM,CAgCT;AAED,wGAAwG;AACxG,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CA6BzE;AAQD,MAAM,MAAM,YAAY,GACpB;IAAE,OAAO,EAAE,KAAK,CAAA;CAAE,GAClB;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE;AACtB,8GAA8G;GAC5G;IAAE,OAAO,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5C;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,CASnG;AASD,MAAM,WAAW,QAAS,SAAQ,eAAe;IAC/C,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,CAAC,CAAC;IACV,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IACX;;;;;OAKG;IACH,OAAO,EAAE,YAAY,GAAG,UAAU,GAAG,gBAAgB,GAAG,SAAS,CAAC;IAClE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sFAAsF;IACtF,KAAK,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACjD,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB,SAAS,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC5B,uEAAuE;IACvE,SAAS,CAAC,EAAE,QAAQ,GAAG;QAAE,OAAO,EAAE,KAAK,GAAG,SAAS,GAAG,SAAS,CAAA;KAAE,CAAC;CACnE;AAED,iHAAiH;AACjH,qBAAa,UAAU;IACT,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAR,QAAQ,EAAE,MAAM;IAE7C,OAAO,CAAC,GAAG;IAIX,OAAO,CAAC,IAAI;IAIZ,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI;IAS7D,0EAA0E;IAC1E,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI;IAiB1C,KAAK,CAAC,CAAC,EAAE,WAAW,GAAG,IAAI;CAO5B;AAID,MAAM,WAAW,SAAS;IACxB,4EAA4E;IAC5E,MAAM,EAAE,WAAW,CAAC;IACpB,2EAA2E;IAC3E,GAAG,EAAE,aAAa,CAAC;IACnB,GAAG,EAAE;QACH,cAAc,IAAI,OAAO,CAAC,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC,CAAC;QACnE,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3B,sFAAsF;QACtF,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;KAC1B,CAAC;IACF,kDAAkD;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACtC,iHAAiH;IACjH,QAAQ,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC9D,GAAG,IAAI,IAAI,CAAC;IACZ,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrD;AAED;;;;;GAKG;AACH,wBAAsB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAiF3F;AAID,wFAAwF;AACxF,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,MAAM,CAuB/D;AAED,oGAAoG;AACpG,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,MAAM,CAEhF;AAED,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAEpD;AAID,MAAM,MAAM,UAAU,GAClB;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACjC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE;AACjC,iDAAiD;GAC/C;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEzD,+DAA+D;AAC/D,wBAAsB,eAAe,CACnC,CAAC,EAAE,WAAW,EACd,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG;IAAE,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAA;CAAE,GACjF,OAAO,CAAC,UAAU,CAAC,CAqBrB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,cAAc,EACvB,CAAC,EAAE,WAAW,GAAG,IAAI,EACrB,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,GAAG,UAAU,GAAG,KAAK,GAAG,KAAK,CAAC,GAAG;IAC1D,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B,YAAY,IAAI,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC3C,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACzB,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;CAClC,GACA,OAAO,CAAC,cAAc,CAAC,CAmCzB;AAYD,sGAAsG;AACtG,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,kBAAkB,GAAG,IAAI,CAOnF;AAID,2DAA2D;AAC3D,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAS3E;AAYD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,MAAM,EACX,OAAO,GAAE,OAAO,KAAa,GAC5B,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAyBxD"}