@aletheia-works/vivarium-mcp 0.1.4 → 0.2.1

package/dist/server.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AA0DnE,wBAAgB,YAAY,IAAI,MAAM,CAkGrC;AAED,wBAAsB,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAI/C"}
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AA+DnE,wBAAgB,YAAY,IAAI,MAAM,CAsGrC;AAED,wBAAsB,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAI/C"}

package/dist/server.js

@@ -4,6 +4,7 @@
 import { Server } from '@modelcontextprotocol/sdk/server/index.js';
 import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
 import { CallToolRequestSchema, ListToolsRequestSchema, } from '@modelcontextprotocol/sdk/types.js';
+import { CREATE_FORK_PR_TOOL, createForkPr, } from './tools/create_fork_pr.js';
 import { GET_RECIPE_TOOL, getRecipe } from './tools/get_recipe.js';
 import { LIST_RECIPES_TOOL, listRecipes, } from './tools/list_recipes.js';
 import { LOOKUP_VERDICT_TOOL, lookupVerdict, } from './tools/lookup_verdict.js';
@@ -21,7 +22,7 @@ const SERVER_NAME = 'vivarium-mcp';
 // description / surface refinements) — the project is still pre-1.0
 // and `prepare_fix_candidate` is meaningful but fully opt-in, so a minor
 // bump would overstate the impact.
-const SERVER_VERSION = '0.1.4';
+const SERVER_VERSION = '0.2.1';
 export function createServer() {
     const server = new Server({ name: SERVER_NAME, version: SERVER_VERSION }, { capabilities: { tools: {} } });
     server.setRequestHandler(ListToolsRequestSchema, async () => ({
@@ -35,6 +36,7 @@ export function createServer() {
             VERIFY_AND_REPORT_FIX_TOOL,
             PREPARE_NEW_RECIPE_TOOL,
             PREPARE_FIX_CANDIDATE_TOOL,
+            CREATE_FORK_PR_TOOL,
         ],
     }));
     server.setRequestHandler(CallToolRequestSchema, async (req) => {
@@ -70,6 +72,9 @@ export function createServer() {
                 case 'prepare_fix_candidate':
                     payload = await prepareFixCandidate(args);
                     break;
+                case 'create_fork_pr':
+                    payload = await createForkPr(args);
+                    break;
                 default:
                     return {
                         isError: true,

package/dist/server.js.map

@@ -1 +1 @@
-{"version":3,"file":"server.js","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,oEAAoE;AACpE,2CAA2C;AAE3C,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EACL,iBAAiB,EACjB,WAAW,GAEZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,mBAAmB,EACnB,aAAa,GACd,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,gBAAgB,EAChB,UAAU,GAEX,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,GAEpB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,GAEjB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,2BAA2B,EAC3B,oBAAoB,GAErB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,0BAA0B,EAC1B,kBAAkB,GAEnB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,sBAAsB,EACtB,eAAe,GAEhB,MAAM,8BAA8B,CAAC;AAEtC,MAAM,WAAW,GAAG,cAAc,CAAC;AACnC,kEAAkE;AAClE,sEAAsE;AACtE,oEAAoE;AACpE,sEAAsE;AACtE,oEAAoE;AACpE,yEAAyE;AACzE,mCAAmC;AACnC,MAAM,cAAc,GAAG,OAAO,CAAC;AAE/B,MAAM,UAAU,YAAY;IAC1B,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,EAC9C,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,MAAM,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QAC5D,KAAK,EAAE;YACL,iBAAiB;YACjB,eAAe;YACf,mBAAmB;YACnB,gBAAgB;YAChB,2BAA2B;YAC3B,sBAAsB;YACtB,0BAA0B;YAC1B,uBAAuB;YACvB,0BAA0B;SAC3B;KACF,CAAC,CAAC,CAAC;IAEJ,MAAM,CAAC,iBAAiB,CAAC,qBAAqB,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;QAC5D,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAA4B,CAAC;QAErE,IAAI,OAAgB,CAAC;QACrB,IAAI,CAAC;YACH,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,cAAc;oBACjB,OAAO,GAAG,MAAM,WAAW,CAAC,IAAuB,CAAC,CAAC;oBACrD,MAAM;gBACR,KAAK,YAAY;oBACf,OAAO,GAAG,MAAM,SAAS,CAAC,IAAwB,CAAC,CAAC;oBACpD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,OAAO,GAAG,MAAM,aAAa,CAAC,IAAwB,CAAC,CAAC;oBACxD,MAAM;gBACR,KAAK,aAAa;oBAChB,OAAO,GAAG,MAAM,UAAU,CAAC,IAAiC,CAAC,CAAC;oBAC9D,MAAM;gBACR,KAAK,wBAAwB;oBAC3B,OAAO,GAAG,MAAM,oBAAoB,CAClC,IAA2C,CAC5C,CAAC;oBACF,MAAM;gBACR,KAAK,mBAAmB;oBACtB,OAAO,GAAG,MAAM,eAAe,CAC7B,IAAsC,CACvC,CAAC;oBACF,MAAM;gBACR,KAAK,uBAAuB;oBAC1B,OAAO,GAAG,MAAM,kBAAkB,CAChC,IAAyC,CAC1C,CAAC;oBACF,MAAM;gBACR,KAAK,oBAAoB;oBACvB,OAAO,GAAG,MAAM,gBAAgB,CAC9B,IAAuC,CACxC,CAAC;oBACF,MAAM;gBACR,KAAK,uBAAuB;oBAC1B,OAAO,GAAG,MAAM,mBAAmB,CACjC,IAA0C,CAC3C,CAAC;oBACF,MAAM;gBACR;oBACE,OAAO;wBACL,OAAO,EAAE,IAAI;wBACb,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,MAAM;gCACZ,IAAI,EAAE,iBAAiB,IAAI,EAAE;6BAC9B;yBACF;qBACF,CAAC;YACN,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,QAAQ,IAAI,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;qBAChF;iBACF;aACF,CAAC;QACJ,CAAC;QAED,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;iBACvC;aACF;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS;IAC7B,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC7C,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;AAClC,CAAC"}
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,oEAAoE;AACpE,2CAA2C;AAE3C,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EACL,mBAAmB,EACnB,YAAY,GAEb,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EACL,iBAAiB,EACjB,WAAW,GAEZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,mBAAmB,EACnB,aAAa,GACd,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,gBAAgB,EAChB,UAAU,GAEX,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,GAEpB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,GAEjB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,2BAA2B,EAC3B,oBAAoB,GAErB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,0BAA0B,EAC1B,kBAAkB,GAEnB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,sBAAsB,EACtB,eAAe,GAEhB,MAAM,8BAA8B,CAAC;AAEtC,MAAM,WAAW,GAAG,cAAc,CAAC;AACnC,kEAAkE;AAClE,sEAAsE;AACtE,oEAAoE;AACpE,sEAAsE;AACtE,oEAAoE;AACpE,yEAAyE;AACzE,mCAAmC;AACnC,MAAM,cAAc,GAAG,OAAO,CAAC;AAE/B,MAAM,UAAU,YAAY;IAC1B,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,EAC9C,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,MAAM,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QAC5D,KAAK,EAAE;YACL,iBAAiB;YACjB,eAAe;YACf,mBAAmB;YACnB,gBAAgB;YAChB,2BAA2B;YAC3B,sBAAsB;YACtB,0BAA0B;YAC1B,uBAAuB;YACvB,0BAA0B;YAC1B,mBAAmB;SACpB;KACF,CAAC,CAAC,CAAC;IAEJ,MAAM,CAAC,iBAAiB,CAAC,qBAAqB,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;QAC5D,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAA4B,CAAC;QAErE,IAAI,OAAgB,CAAC;QACrB,IAAI,CAAC;YACH,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,cAAc;oBACjB,OAAO,GAAG,MAAM,WAAW,CAAC,IAAuB,CAAC,CAAC;oBACrD,MAAM;gBACR,KAAK,YAAY;oBACf,OAAO,GAAG,MAAM,SAAS,CAAC,IAAwB,CAAC,CAAC;oBACpD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,OAAO,GAAG,MAAM,aAAa,CAAC,IAAwB,CAAC,CAAC;oBACxD,MAAM;gBACR,KAAK,aAAa;oBAChB,OAAO,GAAG,MAAM,UAAU,CAAC,IAAiC,CAAC,CAAC;oBAC9D,MAAM;gBACR,KAAK,wBAAwB;oBAC3B,OAAO,GAAG,MAAM,oBAAoB,CAClC,IAA2C,CAC5C,CAAC;oBACF,MAAM;gBACR,KAAK,mBAAmB;oBACtB,OAAO,GAAG,MAAM,eAAe,CAC7B,IAAsC,CACvC,CAAC;oBACF,MAAM;gBACR,KAAK,uBAAuB;oBAC1B,OAAO,GAAG,MAAM,kBAAkB,CAChC,IAAyC,CAC1C,CAAC;oBACF,MAAM;gBACR,KAAK,oBAAoB;oBACvB,OAAO,GAAG,MAAM,gBAAgB,CAC9B,IAAuC,CACxC,CAAC;oBACF,MAAM;gBACR,KAAK,uBAAuB;oBAC1B,OAAO,GAAG,MAAM,mBAAmB,CACjC,IAA0C,CAC3C,CAAC;oBACF,MAAM;gBACR,KAAK,gBAAgB;oBACnB,OAAO,GAAG,MAAM,YAAY,CAAC,IAAmC,CAAC,CAAC;oBAClE,MAAM;gBACR;oBACE,OAAO;wBACL,OAAO,EAAE,IAAI;wBACb,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,MAAM;gCACZ,IAAI,EAAE,iBAAiB,IAAI,EAAE;6BAC9B;yBACF;qBACF,CAAC;YACN,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,QAAQ,IAAI,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;qBAChF;iBACF;aACF,CAAC;QACJ,CAAC;QAED,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;iBACvC;aACF;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS;IAC7B,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC7C,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;AAClC,CAAC"}

package/dist/tools/create_fork_pr.d.ts

@@ -0,0 +1,68 @@
+import type { RoundtripState } from '../types.js';
+export interface CreateForkPrArgs {
+    slug: string;
+    current_state: Partial<RoundtripState>;
+    pr_title: string;
+    pr_body?: string;
+    dry_run?: boolean;
+}
+export interface CreateForkPrOk {
+    ok: true;
+    slug: string;
+    upstream_repo: string;
+    head: string;
+    title: string;
+    body: string;
+    draft: true;
+    dry_run: boolean;
+    command: string;
+    pr_url?: string;
+}
+export interface CreateForkPrError {
+    ok: false;
+    error: string;
+}
+export type CreateForkPrResult = CreateForkPrOk | CreateForkPrError;
+export interface GhRunResult {
+    status: number | null;
+    stdout: string;
+    stderr: string;
+}
+export type GhRunner = (args: string[]) => GhRunResult;
+export declare function _setGhRunnerForTesting(runner: GhRunner | null): void;
+export declare function createForkPr(args: CreateForkPrArgs): Promise<CreateForkPrResult>;
+export declare const CREATE_FORK_PR_TOOL: {
+    readonly name: "create_fork_pr";
+    readonly description: "Open a draft PR on the upstream repository from the contributor's already-pushed fork branch. The output side of the round-trip loop. Conservative by design: `dry_run` defaults to true (returns the gh command without executing); `--draft` is mandatory (caller cannot opt out); AI authorship is disclosed via a boilerplate footer appended to the PR body (the `ai: generated` LABEL from AGENTS.md §4.6 is Vivarium-internal and is intentionally NOT applied — upstream repos rarely carry it and contributors usually lack permission to create it). The tool refuses to run unless `computeNextAction(current_state) === 'open_fork_pr'` — that single check enforces all the round-trip preconditions in one place (verdicts captured with the expected polarity, the Vivarium-side PR already opened, no existing upstream PR, status not blocked/merged). The fork branch must already exist on GitHub — this tool does NOT clone, commit, or push on the caller's behalf, and does NOT create the fork (use `gh repo fork` manually first). Pair with `verify_and_report_fix` upstream of this call and with `prepare_fix_candidate` (Layer 1) when registering a fix-candidate spec.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly slug: {
+                readonly type: "string";
+                readonly pattern: "^[a-z0-9]+(-[a-z0-9]+)*$";
+                readonly description: "Kebab-case recipe slug (e.g. 'mpmath-983', 'bash-local-shadows-exit'). Must exist in the catalogue.";
+            };
+            readonly current_state: {
+                readonly type: "object";
+                readonly description: "Parsed roundtrip.json contents. Must contain `upstream_issue`, `fork` (owner/repo/branch), and `verdicts` with both `unfixed.verdict='reproduced'` and `fixed.verdict='unreproduced'`. The tool refuses to run otherwise.";
+                readonly additionalProperties: true;
+            };
+            readonly pr_title: {
+                readonly type: "string";
+                readonly minLength: 1;
+                readonly description: "PR title. Caller is responsible for following the upstream project's commit / PR title conventions (Conventional Commits, etc.).";
+            };
+            readonly pr_body: {
+                readonly type: "string";
+                readonly description: "PR body (Markdown). Defaults to empty. Include a link back to the Vivarium recipe and the upstream issue, and disclose AI authorship per AGENTS.md §4.6 (the `ai: generated` label is applied automatically; surfacing the disclosure in the body is good practice).";
+            };
+            readonly dry_run: {
+                readonly type: "boolean";
+                readonly default: true;
+                readonly description: "When true (the default), the tool returns the exact `gh pr create` command + a structured summary WITHOUT calling gh. Set to false to actually open the PR. The MCP server never opens an upstream PR by accident.";
+            };
+        };
+        readonly required: readonly ["slug", "current_state", "pr_title"];
+    };
+};
+//# sourceMappingURL=create_fork_pr.d.ts.map

package/dist/tools/create_fork_pr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create_fork_pr.d.ts","sourceRoot":"","sources":["../../src/tools/create_fork_pr.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAMlD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,IAAI,CAAC;IACT,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IAId,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,IAAI,CAAC;IACZ,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,MAAM,kBAAkB,GAAG,cAAc,GAAG,iBAAiB,CAAC;AAEpE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,WAAW,CAAC;AAgBvD,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI,CAEpE;AA2BD,wBAAsB,YAAY,CAChC,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,kBAAkB,CAAC,CAkL7B;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuCtB,CAAC"}

package/dist/tools/create_fork_pr.js

@@ -0,0 +1,261 @@
+// MCP tool that opens a draft PR on the upstream repository from the
+// contributor's already-pushed fork branch. The output side of the
+// round-trip loop — the first step that crosses the boundary from
+// "internal verification" to "publicly visible state change".
+//
+// Phase 4 of the round-trip automation. Conservative by design:
+//   - dry_run defaults to true; explicit opt-in needed to actually
+//     create the PR.
+//   - The PR is always opened with --draft. Merging out of draft
+//     stays a human action.
+//   - AI authorship is disclosed in the PR body (boilerplate footer
+//     appended automatically). Label-based disclosure is NOT
+//     attempted: AGENTS.md §4.6's `ai: generated` label is a
+//     Vivarium-internal contract — the upstream repo may not have
+//     that label and contributors typically lack write permission
+//     to create it.
+//   - The tool refuses to run unless the recipe's full round-trip
+//     state machine selects `open_fork_pr` next — that is, the
+//     status is not blocked/merged, an upstream PR is not already
+//     open, the unfixed+fixed verdicts are both captured with the
+//     expected polarity, and the Vivarium-side PR has already been
+//     opened. Each of those conditions is enforced upstream by
+//     `computeNextAction` so this tool stays consistent with it.
+//   - Local clone, commit, and push are caller responsibilities —
+//     this tool does NOT mutate the working tree. The fork branch
+//     must already exist on GitHub before calling.
+import { spawnSync } from 'node:child_process';
+import { getCatalogue } from '../catalogue.js';
+import { computeNextAction, parseUpstreamIssue, } from './verify_and_report_fix.js';
+const defaultGhRunner = (args) => {
+    const r = spawnSync('gh', args, {
+        encoding: 'utf-8',
+        timeout: 60_000,
+    });
+    return {
+        status: r.status,
+        stdout: r.stdout ?? '',
+        stderr: r.stderr ?? '',
+    };
+};
+let ghRunner = defaultGhRunner;
+export function _setGhRunnerForTesting(runner) {
+    ghRunner = runner ?? defaultGhRunner;
+}
+// Boilerplate appended to every upstream PR body so the AI authorship
+// disclosure is visible to upstream maintainers. The `ai: generated`
+// LABEL from AGENTS.md §4.6 is a Vivarium-internal contract; upstream
+// repos may not carry that label, and contributors typically lack the
+// write permission needed to create it. Disclose in prose instead.
+const AI_AUTHORSHIP_FOOTER = '\n\n---\n\n*This pull request was generated by an AI agent via the Vivarium round-trip automation. The candidate fix was verified against an in-Vivarium reproduction (`verdicts.unfixed = "reproduced"` → `verdicts.fixed = "unreproduced"`). Please review carefully before merging.*\n';
+function appendAuthorshipFooter(body) {
+    // Idempotent: a caller that already pasted the footer (or part of
+    // it) shouldn't see it duplicated.
+    if (body.includes('Vivarium round-trip automation'))
+        return body;
+    return body.length === 0
+        ? AI_AUTHORSHIP_FOOTER.trimStart()
+        : body + AI_AUTHORSHIP_FOOTER;
+}
+function quoteShell(value) {
+    // Single-quote and escape any embedded single quote — produces
+    // a shell-safe representation for the returned `command` string.
+    // Real execution goes through spawn with argv arrays, so this
+    // affects only what the caller sees as a paste-ready line.
+    return `'${value.replace(/'/g, `'\\''`)}'`;
+}
+export async function createForkPr(args) {
+    const slug = args.slug?.trim();
+    if (!slug) {
+        return { ok: false, error: 'missing required argument: slug' };
+    }
+    const title = args.pr_title?.trim();
+    if (!title) {
+        return { ok: false, error: 'pr_title is required' };
+    }
+    const { recipes } = await getCatalogue();
+    const recipe = recipes.find((r) => r.slug === slug);
+    if (!recipe) {
+        return { ok: false, error: `recipe not found: ${slug}` };
+    }
+    const state = args.current_state;
+    if (!state || typeof state !== 'object') {
+        return { ok: false, error: 'current_state is required' };
+    }
+    // State-machine integrity: the upstream PR is only the next legal
+    // action when `computeNextAction(state) === 'open_fork_pr'`. That
+    // single check enforces all the round-trip preconditions in one
+    // place — `status` is not blocked/merged, an upstream_pr is not
+    // already recorded, the verdicts are both captured with the
+    // expected polarity (unfixed=reproduced + fixed=unreproduced),
+    // and a Vivarium-side `vivarium_pr` has already been opened.
+    // Using the same function the rest of the tooling uses avoids
+    // drift between this tool and `verify_and_report_fix`.
+    const nextAction = computeNextAction(state);
+    if (nextAction !== 'open_fork_pr') {
+        return {
+            ok: false,
+            error: `state machine expected next_action 'open_fork_pr' but computeNextAction(current_state) returned '${nextAction}'. Resolve the round-trip state first (capture verdicts, open the Vivarium-side PR, or clear status: blocked) before opening the upstream PR.`,
+        };
+    }
+    // Upstream owner/repo from upstream_issue URL.
+    const upstream = parseUpstreamIssue(state.upstream_issue);
+    if (!upstream) {
+        return {
+            ok: false,
+            error: `cannot derive upstream owner/repo from current_state.upstream_issue (got "${state.upstream_issue ?? 'missing'}"). Expected form: https://github.com/<owner>/<repo>/issues/<n>.`,
+        };
+    }
+    // Fork coordinates.
+    const fork = state.fork;
+    if (!fork ||
+        !fork.owner?.trim() ||
+        !fork.repo?.trim() ||
+        !fork.branch?.trim()) {
+        return {
+            ok: false,
+            error: 'current_state.fork must have owner, repo, and branch (the contributor fork the candidate fix lives on)',
+        };
+    }
+    const upstreamRepo = `${upstream.owner}/${upstream.repo}`;
+    const head = `${fork.owner}:${fork.branch}`;
+    const body = appendAuthorshipFooter(args.pr_body ?? '');
+    const dryRun = args.dry_run !== false; // default true
+    // Build a paste-ready command string. spawn execution below uses an
+    // argv array, not this string — they share the same arguments.
+    // No `--label` here: upstream repos may not carry the label and
+    // contributors usually can't create one. AI authorship is surfaced
+    // via the body footer instead.
+    const command = [
+        'gh',
+        'pr',
+        'create',
+        '--repo',
+        upstreamRepo,
+        '--head',
+        head,
+        '--draft',
+        '--title',
+        quoteShell(title),
+        '--body',
+        quoteShell(body),
+    ].join(' ');
+    if (dryRun) {
+        return {
+            ok: true,
+            slug,
+            upstream_repo: upstreamRepo,
+            head,
+            title,
+            body,
+            draft: true,
+            dry_run: true,
+            command,
+        };
+    }
+    // dry_run=false → execute. Pre-flight checks first so a partial
+    // failure doesn't leave the PR half-opened.
+    // Guardrail 2: gh auth must be set up.
+    const authCheck = ghRunner(['auth', 'status']);
+    if (authCheck.status !== 0) {
+        return {
+            ok: false,
+            error: `gh auth check failed: ${authCheck.stderr.trim() || '<no stderr>'}. Run 'gh auth login' first.`,
+        };
+    }
+    // Fork must exist and be reachable by the active gh auth.
+    const forkCheck = ghRunner([
+        'repo',
+        'view',
+        `${fork.owner}/${fork.repo}`,
+        '--json',
+        'name',
+    ]);
+    if (forkCheck.status !== 0) {
+        return {
+            ok: false,
+            error: `fork ${fork.owner}/${fork.repo} not found or inaccessible. Create it manually with 'gh repo fork ${upstreamRepo}' first — this tool does not fork on the caller's behalf.`,
+        };
+    }
+    // The named branch must already be pushed to the fork.
+    const branchCheck = ghRunner([
+        'api',
+        `repos/${fork.owner}/${fork.repo}/branches/${fork.branch}`,
+    ]);
+    if (branchCheck.status !== 0) {
+        return {
+            ok: false,
+            error: `branch ${fork.branch} not found on fork ${fork.owner}/${fork.repo}. Push the fix branch to the fork before calling this tool.`,
+        };
+    }
+    // Open the PR. --draft is hard-coded; caller cannot opt out.
+    // No --label here (see the comment near the command builder above).
+    const create = ghRunner([
+        'pr',
+        'create',
+        '--repo',
+        upstreamRepo,
+        '--head',
+        head,
+        '--draft',
+        '--title',
+        title,
+        '--body',
+        body,
+    ]);
+    if (create.status !== 0) {
+        return {
+            ok: false,
+            error: `gh pr create failed: ${create.stderr.trim() || '<no stderr>'}`,
+        };
+    }
+    // gh pr create prints the PR URL to stdout on success.
+    const prUrl = create.stdout.trim().split('\n').pop() ?? '';
+    return {
+        ok: true,
+        slug,
+        upstream_repo: upstreamRepo,
+        head,
+        title,
+        body,
+        draft: true,
+        dry_run: false,
+        command,
+        pr_url: prUrl,
+    };
+}
+export const CREATE_FORK_PR_TOOL = {
+    name: 'create_fork_pr',
+    description: "Open a draft PR on the upstream repository from the contributor's already-pushed fork branch. The output side of the round-trip loop. Conservative by design: `dry_run` defaults to true (returns the gh command without executing); `--draft` is mandatory (caller cannot opt out); AI authorship is disclosed via a boilerplate footer appended to the PR body (the `ai: generated` LABEL from AGENTS.md §4.6 is Vivarium-internal and is intentionally NOT applied — upstream repos rarely carry it and contributors usually lack permission to create it). The tool refuses to run unless `computeNextAction(current_state) === 'open_fork_pr'` — that single check enforces all the round-trip preconditions in one place (verdicts captured with the expected polarity, the Vivarium-side PR already opened, no existing upstream PR, status not blocked/merged). The fork branch must already exist on GitHub — this tool does NOT clone, commit, or push on the caller's behalf, and does NOT create the fork (use `gh repo fork` manually first). Pair with `verify_and_report_fix` upstream of this call and with `prepare_fix_candidate` (Layer 1) when registering a fix-candidate spec.",
+    inputSchema: {
+        type: 'object',
+        properties: {
+            slug: {
+                type: 'string',
+                pattern: '^[a-z0-9]+(-[a-z0-9]+)*$',
+                description: "Kebab-case recipe slug (e.g. 'mpmath-983', 'bash-local-shadows-exit'). Must exist in the catalogue.",
+            },
+            current_state: {
+                type: 'object',
+                description: "Parsed roundtrip.json contents. Must contain `upstream_issue`, `fork` (owner/repo/branch), and `verdicts` with both `unfixed.verdict='reproduced'` and `fixed.verdict='unreproduced'`. The tool refuses to run otherwise.",
+                additionalProperties: true,
+            },
+            pr_title: {
+                type: 'string',
+                minLength: 1,
+                description: "PR title. Caller is responsible for following the upstream project's commit / PR title conventions (Conventional Commits, etc.).",
+            },
+            pr_body: {
+                type: 'string',
+                description: "PR body (Markdown). Defaults to empty. Include a link back to the Vivarium recipe and the upstream issue, and disclose AI authorship per AGENTS.md §4.6 (the `ai: generated` label is applied automatically; surfacing the disclosure in the body is good practice).",
+            },
+            dry_run: {
+                type: 'boolean',
+                default: true,
+                description: 'When true (the default), the tool returns the exact `gh pr create` command + a structured summary WITHOUT calling gh. Set to false to actually open the PR. The MCP server never opens an upstream PR by accident.',
+            },
+        },
+        required: ['slug', 'current_state', 'pr_title'],
+    },
+};
+//# sourceMappingURL=create_fork_pr.js.map

package/dist/tools/create_fork_pr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create_fork_pr.js","sourceRoot":"","sources":["../../src/tools/create_fork_pr.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,mEAAmE;AACnE,kEAAkE;AAClE,8DAA8D;AAC9D,EAAE;AACF,gEAAgE;AAChE,mEAAmE;AACnE,qBAAqB;AACrB,iEAAiE;AACjE,4BAA4B;AAC5B,oEAAoE;AACpE,6DAA6D;AAC7D,6DAA6D;AAC7D,kEAAkE;AAClE,kEAAkE;AAClE,oBAAoB;AACpB,kEAAkE;AAClE,+DAA+D;AAC/D,kEAAkE;AAClE,kEAAkE;AAClE,mEAAmE;AACnE,+DAA+D;AAC/D,iEAAiE;AACjE,kEAAkE;AAClE,kEAAkE;AAClE,mDAAmD;AAEnD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,OAAO,EACL,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AAyCpC,MAAM,eAAe,GAAa,CAAC,IAAI,EAAE,EAAE;IACzC,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE;QAC9B,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,MAAM;KAChB,CAAC,CAAC;IACH,OAAO;QACL,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;QACtB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;KACvB,CAAC;AACJ,CAAC,CAAC;AAEF,IAAI,QAAQ,GAAa,eAAe,CAAC;AAEzC,MAAM,UAAU,sBAAsB,CAAC,MAAuB;IAC5D,QAAQ,GAAG,MAAM,IAAI,eAAe,CAAC;AACvC,CAAC;AAED,sEAAsE;AACtE,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,MAAM,oBAAoB,GACxB,2RAA2R,CAAC;AAE9R,SAAS,sBAAsB,CAAC,IAAY;IAC1C,kEAAkE;IAClE,mCAAmC;IACnC,IAAI,IAAI,CAAC,QAAQ,CAAC,gCAAgC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,CAAC,oBAAoB,CAAC,SAAS,EAAE;QAClC,CAAC,CAAC,IAAI,GAAG,oBAAoB,CAAC;AAClC,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,+DAA+D;IAC/D,iEAAiE;IACjE,8DAA8D;IAC9D,2DAA2D;IAC3D,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;AAC7C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,IAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAiC,EAAE,CAAC;IACjE,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;IACpC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,YAAY,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,IAAI,EAAE,EAAE,CAAC;IAC3D,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC;IACjC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;IAC3D,CAAC;IAED,kEAAkE;IAClE,kEAAkE;IAClE,gEAAgE;IAChE,gEAAgE;IAChE,4DAA4D;IAC5D,+DAA+D;IAC/D,6DAA6D;IAC7D,8DAA8D;IAC9D,uDAAuD;IACvD,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,UAAU,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,oGAAoG,UAAU,+IAA+I;SACrQ,CAAC;IACJ,CAAC;IAED,+CAA+C;IAC/C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,6EAA6E,KAAK,CAAC,cAAc,IAAI,SAAS,kEAAkE;SACxL,CAAC;IACJ,CAAC;IAED,oBAAoB;IACpB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IACE,CAAC,IAAI;QACL,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE;QACnB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE;QAClB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,EACpB,CAAC;QACD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EACH,wGAAwG;SAC3G,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,GAAG,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1D,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,eAAe;IAEtD,oEAAoE;IACpE,+DAA+D;IAC/D,gEAAgE;IAChE,mEAAmE;IACnE,+BAA+B;IAC/B,MAAM,OAAO,GAAG;QACd,IAAI;QACJ,IAAI;QACJ,QAAQ;QACR,QAAQ;QACR,YAAY;QACZ,QAAQ;QACR,IAAI;QACJ,SAAS;QACT,SAAS;QACT,UAAU,CAAC,KAAK,CAAC;QACjB,QAAQ;QACR,UAAU,CAAC,IAAI,CAAC;KACjB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEZ,IAAI,MAAM,EAAE,CAAC;QACX,OAAO;YACL,EAAE,EAAE,IAAI;YACR,IAAI;YACJ,aAAa,EAAE,YAAY;YAC3B,IAAI;YACJ,KAAK;YACL,IAAI;YACJ,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,IAAI;YACb,OAAO;SACR,CAAC;IACJ,CAAC;IAED,gEAAgE;IAChE,4CAA4C;IAE5C,uCAAuC;IACvC,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,yBAAyB,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,aAAa,8BAA8B;SACvG,CAAC;IACJ,CAAC;IAED,0DAA0D;IAC1D,MAAM,SAAS,GAAG,QAAQ,CAAC;QACzB,MAAM;QACN,MAAM;QACN,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE;QAC5B,QAAQ;QACR,MAAM;KACP,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,qEAAqE,YAAY,2DAA2D;SACnL,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,MAAM,WAAW,GAAG,QAAQ,CAAC;QAC3B,KAAK;QACL,SAAS,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,aAAa,IAAI,CAAC,MAAM,EAAE;KAC3D,CAAC,CAAC;IACH,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,UAAU,IAAI,CAAC,MAAM,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,6DAA6D;SACvI,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,oEAAoE;IACpE,MAAM,MAAM,GAAG,QAAQ,CAAC;QACtB,IAAI;QACJ,QAAQ;QACR,QAAQ;QACR,YAAY;QACZ,QAAQ;QACR,IAAI;QACJ,SAAS;QACT,SAAS;QACT,KAAK;QACL,QAAQ;QACR,IAAI;KACL,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,wBAAwB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,aAAa,EAAE;SACvE,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAE3D,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI;QACJ,aAAa,EAAE,YAAY;QAC3B,IAAI;QACJ,KAAK;QACL,IAAI;QACJ,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,KAAK;QACd,OAAO;QACP,MAAM,EAAE,KAAK;KACd,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,IAAI,EAAE,gBAAgB;IACtB,WAAW,EACT,soCAAsoC;IACxoC,WAAW,EAAE;QACX,IAAI,EAAE,QAAiB;QACvB,UAAU,EAAE;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,QAAiB;gBACvB,OAAO,EAAE,0BAA0B;gBACnC,WAAW,EACT,qGAAqG;aACxG;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,QAAiB;gBACvB,WAAW,EACT,2NAA2N;gBAC7N,oBAAoB,EAAE,IAAI;aAC3B;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAiB;gBACvB,SAAS,EAAE,CAAC;gBACZ,WAAW,EACT,kIAAkI;aACrI;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,QAAiB;gBACvB,WAAW,EACT,sQAAsQ;aACzQ;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,SAAkB;gBACxB,OAAO,EAAE,IAAI;gBACb,WAAW,EACT,oNAAoN;aACvN;SACF;QACD,QAAQ,EAAE,CAAC,MAAM,EAAE,eAAe,EAAE,UAAU,CAAC;KAChD;CACO,CAAC"}

package/dist/tools/run_layer1_verdict.d.ts

@@ -0,0 +1,37 @@
+import type { Verdict } from '../types.js';
+export interface RunLayer1VerdictArgs {
+    slug: string;
+    fix_url?: string;
+    workspace_path?: string;
+}
+export interface RunLayer1VerdictOk {
+    ok: true;
+    slug: string;
+    verdict: Verdict;
+    captured_at: string;
+    duration_ms: number;
+    fix_url: string | null;
+}
+export interface RunLayer1VerdictError {
+    ok: false;
+    error: string;
+    stderr_tail?: string;
+    duration_ms: number;
+}
+export type RunLayer1VerdictResult = RunLayer1VerdictOk | RunLayer1VerdictError;
+export interface SpawnRunResult {
+    status: number | null;
+    stdout: string;
+    stderr: string;
+}
+export type SpawnRunner = (input: {
+    cwd: string;
+    command: string;
+    args: string[];
+    env: NodeJS.ProcessEnv;
+}) => SpawnRunResult;
+export declare function _setSpawnRunnerForTesting(runner: SpawnRunner | null): void;
+export type VerdictReader = (outputPath: string) => string;
+export declare function _setVerdictReaderForTesting(reader: VerdictReader | null): void;
+export declare function runLayer1Verdict(args: RunLayer1VerdictArgs): Promise<RunLayer1VerdictResult>;
+//# sourceMappingURL=run_layer1_verdict.d.ts.map

package/dist/tools/run_layer1_verdict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run_layer1_verdict.d.ts","sourceRoot":"","sources":["../../src/tools/run_layer1_verdict.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAE3C,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IAKjB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,IAAI,CAAC;IACT,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,sBAAsB,GAC9B,kBAAkB,GAClB,qBAAqB,CAAC;AAI1B,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC;CACxB,KAAK,cAAc,CAAC;AAqBrB,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,GAAG,IAAI,CAE1E;AAID,MAAM,MAAM,aAAa,GAAG,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC;AAM3D,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,aAAa,GAAG,IAAI,GAC3B,IAAI,CAEN;AAeD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,oBAAoB,GACzB,OAAO,CAAC,sBAAsB,CAAC,CAiGjC"}

package/dist/tools/run_layer1_verdict.js

@@ -0,0 +1,134 @@
+// Internal helper for `verify_and_report_fix` on Layer 1 recipes.
+// Drives the existing Playwright harness via a targeted `--grep
+// "verdict-capture: <slug>"` invocation, reads back the verdict JSON
+// the spec writes to `VERDICT_CAPTURE_OUTPUT`. Not exposed as an MCP
+// tool: callers go through `verify_and_report_fix` for the layer-
+// abstracted entrypoint.
+//
+// Phase 3 of the round-trip automation plan. Replaces the Phase 1
+// "return commands as strings" Layer 1 path with real execution.
+import { spawnSync } from 'node:child_process';
+import { readFileSync, unlinkSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+const defaultSpawnRunner = ({ cwd, command, args, env }) => {
+    const r = spawnSync(command, args, {
+        cwd,
+        env,
+        encoding: 'utf-8',
+        // Playwright + Pyodide cold-start can sit in the 60-90 second range
+        // per case; the spec's own timeout is 75s. Hard-cap the spawn at
+        // 5 minutes so a hung Playwright child cannot wedge the MCP server.
+        timeout: 5 * 60 * 1000,
+    });
+    return {
+        status: r.status,
+        stdout: r.stdout ?? '',
+        stderr: r.stderr ?? '',
+    };
+};
+let spawnRunner = defaultSpawnRunner;
+export function _setSpawnRunnerForTesting(runner) {
+    spawnRunner = runner ?? defaultSpawnRunner;
+}
+const defaultVerdictReader = (p) => readFileSync(p, 'utf-8');
+let verdictReader = defaultVerdictReader;
+export function _setVerdictReaderForTesting(reader) {
+    verdictReader = reader ?? defaultVerdictReader;
+}
+const DEFAULT_WORKSPACE_PATH = 'src/layer1_wasm';
+function isVerdict(value) {
+    return value === 'reproduced' || value === 'unreproduced';
+}
+export async function runLayer1Verdict(args) {
+    const slug = args.slug?.trim();
+    if (!slug) {
+        return { ok: false, error: 'missing required argument: slug', duration_ms: 0 };
+    }
+    const workspacePath = args.workspace_path ?? DEFAULT_WORKSPACE_PATH;
+    const outputPath = join(tmpdir(), `vivarium-verdict-${slug}-${Date.now()}-${Math.random().toString(36).slice(2)}.json`);
+    const env = {
+        ...process.env,
+        VERDICT_CAPTURE_OUTPUT: outputPath,
+    };
+    if (args.fix_url)
+        env['PLAYWRIGHT_FIX_URL'] = args.fix_url;
+    const startedAt = Date.now();
+    const spawn = spawnRunner({
+        cwd: workspacePath,
+        command: 'bun',
+        args: ['run', 'test', '--grep', `verdict-capture: ${slug}`],
+        env,
+    });
+    const durationMs = Date.now() - startedAt;
+    if (spawn.status !== 0) {
+        // Best-effort cleanup of the tmp output if it exists.
+        try {
+            unlinkSync(outputPath);
+        }
+        catch {
+            /* ignore */
+        }
+        return {
+            ok: false,
+            error: `playwright exited with status ${spawn.status}`,
+            stderr_tail: spawn.stderr.slice(-2000),
+            duration_ms: durationMs,
+        };
+    }
+    let raw;
+    try {
+        raw = verdictReader(outputPath);
+    }
+    catch (err) {
+        return {
+            ok: false,
+            error: `failed to read verdict output (${outputPath}): ${err instanceof Error ? err.message : String(err)}`,
+            stderr_tail: spawn.stderr.slice(-2000),
+            duration_ms: durationMs,
+        };
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(raw);
+    }
+    catch (err) {
+        return {
+            ok: false,
+            error: `verdict output is not valid JSON: ${err instanceof Error ? err.message : String(err)}`,
+            duration_ms: durationMs,
+        };
+    }
+    if (parsed.slug !== slug) {
+        return {
+            ok: false,
+            error: `verdict output slug "${parsed.slug}" does not match requested "${slug}"`,
+            duration_ms: durationMs,
+        };
+    }
+    if (!isVerdict(parsed.verdict)) {
+        return {
+            ok: false,
+            error: `verdict output contains unexpected verdict value "${parsed.verdict}"`,
+            duration_ms: durationMs,
+        };
+    }
+    // Real impl cleans up the tmp file; injected reader (tests) skip.
+    if (verdictReader === defaultVerdictReader) {
+        try {
+            unlinkSync(outputPath);
+        }
+        catch {
+            /* ignore */
+        }
+    }
+    return {
+        ok: true,
+        slug,
+        verdict: parsed.verdict,
+        captured_at: parsed.captured_at ?? new Date().toISOString(),
+        duration_ms: durationMs,
+        fix_url: parsed.fix_url ?? null,
+    };
+}
+//# sourceMappingURL=run_layer1_verdict.js.map

package/dist/tools/run_layer1_verdict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run_layer1_verdict.js","sourceRoot":"","sources":["../../src/tools/run_layer1_verdict.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,gEAAgE;AAChE,qEAAqE;AACrE,qEAAqE;AACrE,kEAAkE;AAClE,yBAAyB;AACzB,EAAE;AACF,kEAAkE;AAClE,iEAAiE;AAEjE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAiDjC,MAAM,kBAAkB,GAAgB,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE;IACtE,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE;QACjC,GAAG;QACH,GAAG;QACH,QAAQ,EAAE,OAAO;QACjB,oEAAoE;QACpE,iEAAiE;QACjE,oEAAoE;QACpE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,IAAI;KACvB,CAAC,CAAC;IACH,OAAO;QACL,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;QACtB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;KACvB,CAAC;AACJ,CAAC,CAAC;AAEF,IAAI,WAAW,GAAgB,kBAAkB,CAAC;AAElD,MAAM,UAAU,yBAAyB,CAAC,MAA0B;IAClE,WAAW,GAAG,MAAM,IAAI,kBAAkB,CAAC;AAC7C,CAAC;AAMD,MAAM,oBAAoB,GAAkB,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AAE5E,IAAI,aAAa,GAAkB,oBAAoB,CAAC;AAExD,MAAM,UAAU,2BAA2B,CACzC,MAA4B;IAE5B,aAAa,GAAG,MAAM,IAAI,oBAAoB,CAAC;AACjD,CAAC;AAED,MAAM,sBAAsB,GAAG,iBAAiB,CAAC;AASjD,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,KAAK,YAAY,IAAI,KAAK,KAAK,cAAc,CAAC;AAC5D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAiC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IACjF,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,IAAI,sBAAsB,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,CACrB,MAAM,EAAE,EACR,oBAAoB,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CACrF,CAAC;IAEF,MAAM,GAAG,GAAsB;QAC7B,GAAG,OAAO,CAAC,GAAG;QACd,sBAAsB,EAAE,UAAU;KACnC,CAAC;IACF,IAAI,IAAI,CAAC,OAAO;QAAE,GAAG,CAAC,oBAAoB,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IAE3D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,WAAW,CAAC;QACxB,GAAG,EAAE,aAAa;QAClB,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,oBAAoB,IAAI,EAAE,CAAC;QAC3D,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IAE1C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,sDAAsD;QACtD,IAAI,CAAC;YACH,UAAU,CAAC,UAAU,CAAC,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACP,YAAY;QACd,CAAC;QACD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,iCAAiC,KAAK,CAAC,MAAM,EAAE;YACtD,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;YACtC,WAAW,EAAE,UAAU;SACxB,CAAC;IACJ,CAAC;IAED,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,kCAAkC,UAAU,MAAM,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;YAC3G,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;YACtC,WAAW,EAAE,UAAU;SACxB,CAAC;IACJ,CAAC;IAED,IAAI,MAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAoB,CAAC;IAC9C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,qCAAqC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;YAC9F,WAAW,EAAE,UAAU;SACxB,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,wBAAwB,MAAM,CAAC,IAAI,+BAA+B,IAAI,GAAG;YAChF,WAAW,EAAE,UAAU;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,qDAAqD,MAAM,CAAC,OAAO,GAAG;YAC7E,WAAW,EAAE,UAAU;SACxB,CAAC;IACJ,CAAC;IAED,kEAAkE;IAClE,IAAI,aAAa,KAAK,oBAAoB,EAAE,CAAC;QAC3C,IAAI,CAAC;YACH,UAAU,CAAC,UAAU,CAAC,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACP,YAAY;QACd,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI;QACJ,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC3D,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI;KAChC,CAAC;AACJ,CAAC"}

package/dist/tools/run_layer23_verdict.d.ts

@@ -0,0 +1,40 @@
+import type { Verdict, VerdictSnapshot } from '../types.js';
+export interface RunLayer23VerdictArgs {
+    slug: string;
+    mode: 'unfixed' | 'fixed';
+    branch_image?: string;
+    expected_verdict?: Verdict;
+    poll_interval_ms?: number;
+    poll_timeout_ms?: number;
+    repo?: string;
+}
+export interface RunLayer23VerdictOk {
+    ok: true;
+    slug: string;
+    mode: 'unfixed' | 'fixed';
+    verdict: Verdict;
+    captured_at: string;
+    duration_ms: number;
+    source: 'deployed-snapshot' | 'workflow-artefact';
+    workflow_run_id?: number;
+}
+export interface RunLayer23VerdictError {
+    ok: false;
+    error: string;
+    duration_ms: number;
+    workflow_run_id?: number;
+}
+export type RunLayer23VerdictResult = RunLayer23VerdictOk | RunLayer23VerdictError;
+export interface GhRunResult {
+    status: number | null;
+    stdout: string;
+    stderr: string;
+}
+export type GhRunner = (args: string[]) => GhRunResult;
+export declare function _setGhRunnerForTesting(runner: GhRunner | null): void;
+export type SnapshotFetcher = (slug: string) => Promise<VerdictSnapshot | null>;
+export declare function _setSnapshotFetcherForTesting(fetcher: SnapshotFetcher | null): void;
+export type Sleeper = (ms: number) => Promise<void>;
+export declare function _setSleeperForTesting(s: Sleeper | null): void;
+export declare function runLayer23Verdict(args: RunLayer23VerdictArgs): Promise<RunLayer23VerdictResult>;
+//# sourceMappingURL=run_layer23_verdict.d.ts.map

package/dist/tools/run_layer23_verdict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run_layer23_verdict.d.ts","sourceRoot":"","sources":["../../src/tools/run_layer23_verdict.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE5D,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,IAAI,CAAC;IACT,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,mBAAmB,GAAG,mBAAmB,CAAC;IAClD,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,uBAAuB,GAC/B,mBAAmB,GACnB,sBAAsB,CAAC;AAE3B,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,WAAW,CAAC;AAkBvD,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI,CAEpE;AAKD,MAAM,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;AAWhF,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,eAAe,GAAG,IAAI,GAC9B,IAAI,CAEN;AAGD,MAAM,MAAM,OAAO,GAAG,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;AAOpD,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,OAAO,GAAG,IAAI,GAAG,IAAI,CAE7D;AAcD,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,uBAAuB,CAAC,CAiSlC"}