@aletheia-works/vivarium-mcp 0.0.1

package/dist/tools/verify_branch_fix.js

@@ -0,0 +1,207 @@
+// Phase 7 B3 — verify_branch_fix tool (5th MCP tool, ADR-0030).
+//
+// A scaffolding helper, NOT an execution engine. Stdio TypeScript can't
+// run php-wasm / pyodide (ADR-0019 §F rejected the headless-browser
+// dependency). The tool's job is to give the agent a deep-link URL plus
+// instructions, leaving execution to the visitor's browser (or to a
+// browser MCP the agent separately drives).
+//
+// Layer dispatch:
+//   - Layer 1 → path A. compare_url is the recipe page itself with
+//     `?fix_url=` or `?fix=<base64url>` so the visitor's browser does
+//     the run. Path A produces a verdict bundle the visitor drops on
+//     /repro/compare.
+//   - Layer 2/3 → path B. compare_url is /repro/compare with `?slug=`
+//     and `?branch_url=` placeholders; gh_command is the
+//     `branch-fix-verdict.yml` workflow_dispatch line the agent runs.
+import { getCatalogue } from '../catalogue.js';
+const FIX_INLINE_LIMIT_BYTES = 4 * 1024;
+const PIPELINE_DOC_URL = 'https://aletheia-works.github.io/vivarium/spec/branch-fix-pipeline';
+const D5_DOC_URL_EN = 'https://aletheia-works.github.io/vivarium/guide/compare-branch-fix';
+const D5_DOC_URL_JA = 'https://aletheia-works.github.io/vivarium/ja/guide/compare-branch-fix';
+/* ------------------------------------------------------------------------ */
+/* base64url (encode is sync; decode in Path A's panel)                     */
+/* ------------------------------------------------------------------------ */
+function base64UrlEncode(text) {
+    // Use TextEncoder + manual base64 to preserve UTF-8 semantics; Node's
+    // Buffer is available but the package targets a portable ES surface.
+    const bytes = new TextEncoder().encode(text);
+    let bin = '';
+    for (const b of bytes)
+        bin += String.fromCharCode(b);
+    // Bun and Node both expose `btoa` globally; the package's `engines`
+    // pins them.
+    const b64 = typeof btoa === 'function'
+        ? btoa(bin)
+        : Buffer.from(bytes).toString('base64');
+    return b64.replace(/\+/g, '-').replace(/\//g, '_').replace(/=+$/, '');
+}
+function pathACompareUrl(inputs) {
+    const u = new URL(inputs.pageUrl);
+    if (inputs.fix_url)
+        u.searchParams.set('fix_url', inputs.fix_url);
+    else if (inputs.fix_source)
+        u.searchParams.set('fix', base64UrlEncode(inputs.fix_source));
+    return u.toString();
+}
+function pathBCompareUrl(inputs) {
+    const u = new URL(inputs.compareBaseUrl);
+    u.searchParams.set('slug', inputs.slug);
+    return u.toString();
+}
+function deriveCompareBaseFromPageUrl(pageUrl) {
+    // page_url is e.g. https://aletheia-works.github.io/vivarium/repro/<slug>/.
+    // The compare page sits at /repro/compare under both /en and /ja chrome.
+    // Default to no-locale (legacy /repro/compare) — R.3 mounts the same
+    // component in both locales.
+    try {
+        const u = new URL(pageUrl);
+        return `${u.origin}/vivarium/repro/compare`;
+    }
+    catch {
+        return 'https://aletheia-works.github.io/vivarium/repro/compare';
+    }
+}
+function buildInstructions(inputs) {
+    if (inputs.path === 'A') {
+        const headline = inputs.fixSupplied
+            ? `Open ${inputs.compareUrl} in a browser. The fix is pre-loaded — the page will run it through php-wasm/ruby.wasm/pyodide and capture a Contract v1 verdict.`
+            : `Open ${inputs.compareUrl} in a browser, paste the candidate fix into the "Try a fix" panel, and click Run. The page will run it through the recipe's WASM runtime and capture a verdict.`;
+        return [
+            `**${inputs.recipe.title}** — Layer 1 (Path A: in-browser source substitution).`,
+            '',
+            headline,
+            '',
+            'After the run completes:',
+            `1. Download \`branch-fix-verdict.json\` and \`original-verdict.json\` from the panel.`,
+            `2. Drop both onto ${deriveCompareBaseFromPageUrl(inputs.recipe.page_url)} for side-by-side review.`,
+            '',
+            `**Verdict semantics.** \`reproduced\` = bug still triggers (fix is slop). \`unreproduced\` = bug avoided (fix steers around the broken code path). See [the walkthrough](${D5_DOC_URL_EN}) ([日本語版](${D5_DOC_URL_JA})) for the full loop.`,
+        ].join('\n');
+    }
+    // Path B
+    return [
+        `**${inputs.recipe.title}** — Layer ${inputs.recipe.layer} (Path B: Docker image-based).`,
+        '',
+        `Build and push your branch-fix Docker image to a public registry the GitHub Actions runner can pull. Then run:`,
+        '',
+        '```bash',
+        inputs.ghCommand ?? '(gh command unavailable)',
+        '```',
+        '',
+        `Once the workflow finishes:`,
+        `1. Download the \`branch-fix-verdict-${inputs.recipe.slug}-<run_id>\` artefact from the workflow run.`,
+        `2. Drop the zip onto ${inputs.compareUrl} for side-by-side review (or pass \`?branch_url=\` with a publicly fetchable URL of the verdict JSON).`,
+        '',
+        `**Verdict semantics.** A working fix flips the verdict from \`reproduced\` to \`unreproduced\`. Pipeline spec: ${PIPELINE_DOC_URL}. Walkthrough: [English](${D5_DOC_URL_EN}) · [日本語](${D5_DOC_URL_JA}).`,
+    ].join('\n');
+}
+/* ------------------------------------------------------------------------ */
+/* Tool                                                                     */
+/* ------------------------------------------------------------------------ */
+export async function verifyBranchFix(args) {
+    const slug = args.slug?.trim();
+    if (!slug) {
+        return { ok: false, error: 'missing required argument: slug' };
+    }
+    if (args.fix_url && args.fix_source) {
+        return {
+            ok: false,
+            error: 'fix_url and fix_source are mutually exclusive — supply at most one',
+        };
+    }
+    if (args.fix_source && args.fix_source.length > FIX_INLINE_LIMIT_BYTES) {
+        return {
+            ok: false,
+            error: `fix_source exceeds the ${FIX_INLINE_LIMIT_BYTES}-byte inline limit; use fix_url with a publicly fetchable URL instead`,
+        };
+    }
+    const { recipes } = await getCatalogue();
+    const recipe = recipes.find((r) => r.slug === slug);
+    if (!recipe) {
+        return { ok: false, error: `recipe not found: ${slug}` };
+    }
+    const notes = [];
+    if (recipe.layer === 1) {
+        if (args.fix_url || args.fix_source) {
+            // Path A inputs are valid; pre-load.
+        }
+        else {
+            notes.push('no fix_url or fix_source supplied — compare_url opens the recipe page; the user pastes manually into the "Try a fix" panel');
+        }
+        const compareUrl = pathACompareUrl({
+            pageUrl: recipe.page_url,
+            fix_url: args.fix_url,
+            fix_source: args.fix_source,
+        });
+        const instructions = buildInstructions({
+            recipe,
+            path: 'A',
+            compareUrl,
+            fixSupplied: Boolean(args.fix_url || args.fix_source),
+        });
+        return {
+            ok: true,
+            slug: recipe.slug,
+            layer: recipe.layer,
+            path: 'A',
+            page_url: recipe.page_url,
+            compare_url: compareUrl,
+            instructions,
+            notes,
+        };
+    }
+    // Layer 2 / 3 → Path B.
+    if (args.fix_url || args.fix_source) {
+        notes.push('fix_url and fix_source are ignored for Layer 2/3 recipes — the contributor builds and pushes a Docker image themselves; see ADR-0020 §1 for the image-as-input boundary');
+    }
+    const compareBase = deriveCompareBaseFromPageUrl(recipe.page_url);
+    const compareUrl = pathBCompareUrl({
+        slug: recipe.slug,
+        compareBaseUrl: compareBase,
+    });
+    const ghCommand = `gh workflow run branch-fix-verdict.yml --repo aletheia-works/vivarium -f slug=${recipe.slug} -f branch_image=<your-image-ref>`;
+    const instructions = buildInstructions({
+        recipe,
+        path: 'B',
+        compareUrl,
+        ghCommand,
+        fixSupplied: false,
+    });
+    return {
+        ok: true,
+        slug: recipe.slug,
+        layer: recipe.layer,
+        path: 'B',
+        page_url: recipe.page_url,
+        compare_url: compareUrl,
+        gh_command: ghCommand,
+        instructions,
+        notes,
+    };
+}
+export const VERIFY_BRANCH_FIX_TOOL = {
+    name: 'verify_branch_fix',
+    description: "Generate a deep-link URL and instructions for verifying a candidate branch-fix against a Vivarium recipe. SCAFFOLDING HELPER, not an execution engine — actual reproduction runs in the visitor's browser (Layer 1) or in GitHub Actions (Layer 2/3). Layer dispatch is automatic from the recipe's catalogue layer. Layer 1 returns Path A: a recipe-page URL with the fix pre-loaded via `?fix_url=` or `?fix=<base64url>`. Layer 2/3 returns Path B: a `/repro/compare` URL plus the `gh workflow run branch-fix-verdict.yml` command the contributor runs to capture a verdict against their pushed Docker image. Use after `match_error` or `list_recipes` has narrowed to a specific slug. Pair with the D-5 walkthrough page (https://aletheia-works.github.io/vivarium/guide/compare-branch-fix) for the full AI-slop verification loop.",
+    inputSchema: {
+        type: 'object',
+        properties: {
+            slug: {
+                type: 'string',
+                pattern: '^[a-z0-9]+(-[a-z0-9]+)*$',
+                description: "Kebab-case recipe slug (e.g. 'php-12167', 'bash-local-shadows-exit'). Same convention as Manifest v1's `slug`.",
+            },
+            fix_url: {
+                type: 'string',
+                description: "Public URL of the candidate fix source (raw.githubusercontent.com / gist.githubusercontent.com). Layer 1 only — embedded in the returned compare_url as `?fix_url=`. Mutually exclusive with fix_source.",
+            },
+            fix_source: {
+                type: 'string',
+                maxLength: FIX_INLINE_LIMIT_BYTES,
+                description: "Inline candidate fix source (max 4096 bytes). Layer 1 only — embedded in the returned compare_url as `?fix=<base64url>`. Mutually exclusive with fix_url. Long fixes should use fix_url instead.",
+            },
+        },
+        required: ['slug'],
+    },
+};
+//# sourceMappingURL=verify_branch_fix.js.map

package/dist/tools/verify_branch_fix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify_branch_fix.js","sourceRoot":"","sources":["../../src/tools/verify_branch_fix.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,EAAE;AACF,wEAAwE;AACxE,oEAAoE;AACpE,wEAAwE;AACxE,oEAAoE;AACpE,4CAA4C;AAC5C,EAAE;AACF,kBAAkB;AAClB,mEAAmE;AACnE,sEAAsE;AACtE,qEAAqE;AACrE,sBAAsB;AACtB,sEAAsE;AACtE,yDAAyD;AACzD,sEAAsE;AAEtE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AA4B/C,MAAM,sBAAsB,GAAG,CAAC,GAAG,IAAI,CAAC;AAExC,MAAM,gBAAgB,GACpB,oEAAoE,CAAC;AACvE,MAAM,aAAa,GACjB,oEAAoE,CAAC;AACvE,MAAM,aAAa,GACjB,uEAAuE,CAAC;AAE1E,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAE9E,SAAS,eAAe,CAAC,IAAY;IACnC,sEAAsE;IACtE,qEAAqE;IACrE,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,GAAG,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrD,oEAAoE;IACpE,aAAa;IACb,MAAM,GAAG,GACP,OAAO,IAAI,KAAK,UAAU;QACxB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACX,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC5C,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AACxE,CAAC;AAmBD,SAAS,eAAe,CAAC,MAAsB;IAC7C,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,OAAO;QAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;SAC7D,IAAI,MAAM,CAAC,UAAU;QAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1F,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,eAAe,CAAC,MAAsB;IAC7C,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,4BAA4B,CAAC,OAAe;IACnD,4EAA4E;IAC5E,yEAAyE;IACzE,qEAAqE;IACrE,6BAA6B;IAC7B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3B,OAAO,GAAG,CAAC,CAAC,MAAM,yBAAyB,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,yDAAyD,CAAC;IACnE,CAAC;AACH,CAAC;AAcD,SAAS,iBAAiB,CAAC,MAAyB;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW;YACjC,CAAC,CAAC,QAAQ,MAAM,CAAC,UAAU,mIAAmI;YAC9J,CAAC,CAAC,QAAQ,MAAM,CAAC,UAAU,iKAAiK,CAAC;QAC/L,OAAO;YACL,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,wDAAwD;YAChF,EAAE;YACF,QAAQ;YACR,EAAE;YACF,0BAA0B;YAC1B,uFAAuF;YACvF,qBAAqB,4BAA4B,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B;YACpG,EAAE;YACF,4KAA4K,aAAa,aAAa,aAAa,uBAAuB;SAC3O,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IAED,SAAS;IACT,OAAO;QACL,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,cAAc,MAAM,CAAC,MAAM,CAAC,KAAK,gCAAgC;QACzF,EAAE;QACF,gHAAgH;QAChH,EAAE;QACF,SAAS;QACT,MAAM,CAAC,SAAS,IAAI,0BAA0B;QAC9C,KAAK;QACL,EAAE;QACF,6BAA6B;QAC7B,wCAAwC,MAAM,CAAC,MAAM,CAAC,IAAI,6CAA6C;QACvG,wBAAwB,MAAM,CAAC,UAAU,wGAAwG;QACjJ,EAAE;QACF,kHAAkH,gBAAgB,4BAA4B,aAAa,aAAa,aAAa,IAAI;KAC1M,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,IAAyB;IAEzB,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,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EACH,oEAAoE;SACvE,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QACvE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,0BAA0B,sBAAsB,uEAAuE;SAC/H,CAAC;IACJ,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,GAAa,EAAE,CAAC;IAE3B,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpC,qCAAqC;QACvC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,4HAA4H,CAC7H,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,eAAe,CAAC;YACjC,OAAO,EAAE,MAAM,CAAC,QAAQ;YACxB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,iBAAiB,CAAC;YACrC,MAAM;YACN,IAAI,EAAE,GAAG;YACT,UAAU;YACV,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC;SACtD,CAAC,CAAC;QACH,OAAO;YACL,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,IAAI,EAAE,GAAG;YACT,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,WAAW,EAAE,UAAU;YACvB,YAAY;YACZ,KAAK;SACN,CAAC;IACJ,CAAC;IAED,wBAAwB;IACxB,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CACR,yKAAyK,CAC1K,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,4BAA4B,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,eAAe,CAAC;QACjC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,cAAc,EAAE,WAAW;KAC5B,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,iFAAiF,MAAM,CAAC,IAAI,mCAAmC,CAAC;IAClJ,MAAM,YAAY,GAAG,iBAAiB,CAAC;QACrC,MAAM;QACN,IAAI,EAAE,GAAG;QACT,UAAU;QACV,SAAS;QACT,WAAW,EAAE,KAAK;KACnB,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,IAAI,EAAE,GAAG;QACT,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,UAAU;QACvB,UAAU,EAAE,SAAS;QACrB,YAAY;QACZ,KAAK;KACN,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,IAAI,EAAE,mBAAmB;IACzB,WAAW,EACT,kzBAAkzB;IACpzB,WAAW,EAAE;QACX,IAAI,EAAE,QAAiB;QACvB,UAAU,EAAE;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,QAAiB;gBACvB,OAAO,EAAE,0BAA0B;gBACnC,WAAW,EACT,gHAAgH;aACnH;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,QAAiB;gBACvB,WAAW,EACT,0MAA0M;aAC7M;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,QAAiB;gBACvB,SAAS,EAAE,sBAAsB;gBACjC,WAAW,EACT,kMAAkM;aACrM;SACF;QACD,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;CACO,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,32 @@
+export type Layer = 1 | 2 | 3;
+export interface RecipeEntry {
+    slug: string;
+    layer: Layer;
+    project: string;
+    issue: number;
+    title: string;
+    page_url: string;
+    verdict_url?: string;
+    source_url: string;
+    language?: string;
+    symptom?: string;
+    severity?: string;
+    tags?: string[];
+}
+export interface RecipesIndex {
+    index: 'v1';
+    contract: 'v1';
+    recipes: RecipeEntry[];
+}
+export type Verdict = 'reproduced' | 'unreproduced';
+export interface VerdictSnapshot {
+    contract: 'v1';
+    verdict: Verdict;
+    exit_code: number;
+    image_tag: string;
+    image_digest: string;
+    captured_at: string;
+    stdout: string;
+    stderr_tail: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAaA,MAAM,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE9B,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IAInB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,IAAI,CAAC;IACZ,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,EAAE,WAAW,EAAE,CAAC;CACxB;AAED,MAAM,MAAM,OAAO,GAAG,YAAY,GAAG,cAAc,CAAC;AAKpD,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;CACrB"}

package/dist/types.js

@@ -0,0 +1,14 @@
+// Type definitions for the Vivarium recipes index (locked at v1 by
+// ADR-0019, private memo) and the per-recipe verdict snapshot (Contract
+// v1, ADR-0014, with the optional revision-2 evidence surface from
+// ADR-0018). Kept structural and surface-only — the canonical schemas
+// live at:
+//
+//   https://aletheia-works.github.io/vivarium/api/recipes.schema.json
+//   https://aletheia-works.github.io/vivarium/spec/verdict.schema.json
+//
+// Consumers who need runtime validation should fetch and validate against
+// those JSON Schemas; this module's types are an ergonomic façade for
+// the in-process tool implementations.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,sEAAsE;AACtE,WAAW;AACX,EAAE;AACF,sEAAsE;AACtE,uEAAuE;AACvE,EAAE;AACF,0EAA0E;AAC1E,sEAAsE;AACtE,uCAAuC"}

package/package.json

@@ -0,0 +1,56 @@
+{
+  "name": "@aletheia-works/vivarium-mcp",
+  "version": "0.0.1",
+  "description": "MCP server exposing the Vivarium reproduction catalogue (list_recipes, get_recipe, lookup_verdict, match_error, verify_branch_fix) to AI agent clients (Claude Code, Cline, Cursor, Continue, etc.).",
+  "license": "Apache-2.0",
+  "homepage": "https://github.com/aletheia-works/vivarium/tree/main/packages/mcp-server",
+  "bugs": {
+    "url": "https://github.com/aletheia-works/vivarium/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/aletheia-works/vivarium.git",
+    "directory": "packages/mcp-server"
+  },
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "bin": {
+    "vivarium-mcp": "dist/index.js"
+  },
+  "files": [
+    "dist",
+    "src/bundled",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "test": "bun test",
+    "prepublishOnly": "bun run build"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.29.0"
+  },
+  "devDependencies": {
+    "@types/bun": "^1.3.13",
+    "@types/node": "^25.6.0",
+    "typescript": "^6.0.3"
+  },
+  "engines": {
+    "node": ">=24",
+    "bun": ">=1.2.0"
+  },
+  "keywords": [
+    "mcp",
+    "model-context-protocol",
+    "vivarium",
+    "bug-reproduction",
+    "catalogue",
+    "ai-tools"
+  ],
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  }
+}

package/src/bundled/recipes.json

@@ -0,0 +1,217 @@
+{
+  "index": "v1",
+  "contract": "v1",
+  "recipes": [
+    {
+      "slug": "cpython-137205",
+      "layer": 1,
+      "project": "cpython",
+      "issue": 137205,
+      "title": "python/cpython#137205",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/cpython/137205/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer1_wasm/cpython-137205",
+      "language": "python",
+      "tags": [
+        "sqlite3",
+        "pragma",
+        "foreign-keys",
+        "autocommit"
+      ],
+      "symptom": "fk-pragma-silently-dropped",
+      "severity": "spec-violation"
+    },
+    {
+      "slug": "numpy-28287",
+      "layer": 1,
+      "project": "numpy",
+      "issue": 28287,
+      "title": "numpy/numpy#28287",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/numpy/28287/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer1_wasm/numpy-28287",
+      "language": "python",
+      "tags": [
+        "timedelta64",
+        "comparison",
+        "datetime-units"
+      ],
+      "symptom": "ordering-non-transitive",
+      "severity": "bug"
+    },
+    {
+      "slug": "pandas-56679",
+      "layer": 1,
+      "project": "pandas",
+      "issue": 56679,
+      "title": "pandas-dev/pandas#56679",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/pandas/56679/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer1_wasm/pandas-56679",
+      "language": "python",
+      "tags": [
+        "empty-series",
+        "empty-dataframe",
+        "type-inference"
+      ],
+      "symptom": "dtype-mismatch",
+      "severity": "regression"
+    },
+    {
+      "slug": "php-12167",
+      "layer": 1,
+      "project": "php",
+      "issue": 12167,
+      "title": "php/php-src#12167",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/php/12167/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer1_wasm/php-12167",
+      "language": "php",
+      "tags": [
+        "json_encode",
+        "recursion-depth"
+      ],
+      "symptom": "json-encode-recursion",
+      "severity": "bug"
+    },
+    {
+      "slug": "regex-779",
+      "layer": 1,
+      "project": "regex",
+      "issue": 779,
+      "title": "rust-lang/regex#779",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/regex/779/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer1_wasm/regex-779",
+      "language": "rust",
+      "tags": [
+        "regex",
+        "wasm32-wasip1"
+      ],
+      "symptom": "regex-engine-edge-case",
+      "severity": "bug"
+    },
+    {
+      "slug": "ruby-21709",
+      "layer": 1,
+      "project": "ruby",
+      "issue": 21709,
+      "title": "ruby/ruby#21709",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/ruby/21709/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer1_wasm/ruby-21709",
+      "language": "ruby",
+      "tags": [
+        "string",
+        "unicode",
+        "combining-diacritics"
+      ],
+      "symptom": "unicode-normalize-nfd",
+      "severity": "bug"
+    },
+    {
+      "slug": "bash-local-shadows-exit",
+      "layer": 2,
+      "project": "bash",
+      "issue": 0,
+      "title": "bash `local` shadows command-substitution exit code",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/bash/local-shadows-exit/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer2_docker/bash-local-shadows-exit",
+      "language": "shell",
+      "tags": [
+        "bash",
+        "command-substitution",
+        "exit-code"
+      ],
+      "symptom": "local-shadows-exit-status",
+      "severity": "footgun",
+      "verdict_url": "https://aletheia-works.github.io/vivarium/repro/bash/local-shadows-exit/verdict.json"
+    },
+    {
+      "slug": "find-xargs-whitespace",
+      "layer": 2,
+      "project": "find",
+      "issue": 0,
+      "title": "`find … | xargs cmd` is unsafe for whitespace in filenames",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/find/xargs-whitespace/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer2_docker/find-xargs-whitespace",
+      "language": "shell",
+      "tags": [
+        "find",
+        "xargs",
+        "whitespace",
+        "filenames"
+      ],
+      "symptom": "whitespace-unsafe-pipeline",
+      "severity": "footgun",
+      "verdict_url": "https://aletheia-works.github.io/vivarium/repro/find/xargs-whitespace/verdict.json"
+    },
+    {
+      "slug": "flock-is-advisory",
+      "layer": 2,
+      "project": "flock",
+      "issue": 0,
+      "title": "`flock(2)` is advisory only",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/flock/is-advisory/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer2_docker/flock-is-advisory",
+      "language": "shell",
+      "tags": [
+        "flock",
+        "filesystem",
+        "concurrency"
+      ],
+      "symptom": "advisory-lock-bypass",
+      "severity": "spec-violation",
+      "verdict_url": "https://aletheia-works.github.io/vivarium/repro/flock/is-advisory/verdict.json"
+    },
+    {
+      "slug": "node-63041",
+      "layer": 2,
+      "project": "node",
+      "issue": 63041,
+      "title": "Node.js `Intl.DateTimeFormat` drops month with `calendar: 'iso8601'`",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/node/63041/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer2_docker/node-63041",
+      "language": "javascript",
+      "tags": [
+        "intl",
+        "datetimeformat",
+        "iso8601-calendar",
+        "icu"
+      ],
+      "symptom": "intl-month-dropped",
+      "severity": "regression",
+      "verdict_url": "https://aletheia-works.github.io/vivarium/repro/node/63041/verdict.json"
+    },
+    {
+      "slug": "postgres-lost-update",
+      "layer": 2,
+      "project": "postgres",
+      "issue": 0,
+      "title": "PostgreSQL lost update under READ COMMITTED",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/postgres/lost-update/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer2_docker/postgres-lost-update",
+      "language": "sql",
+      "tags": [
+        "postgresql",
+        "isolation-level",
+        "concurrency"
+      ],
+      "symptom": "lost-update-read-committed",
+      "severity": "datarace",
+      "verdict_url": "https://aletheia-works.github.io/vivarium/repro/postgres/lost-update/verdict.json"
+    },
+    {
+      "slug": "lost-update",
+      "layer": 3,
+      "project": "pthread",
+      "issue": 0,
+      "title": "pthread lost-update data race (canonical)",
+      "page_url": "https://aletheia-works.github.io/vivarium/repro/pthread/lost-update/",
+      "source_url": "https://github.com/aletheia-works/vivarium/tree/main/src/layer3_thirdway/lost-update",
+      "language": "c",
+      "tags": [
+        "pthread",
+        "rr-replay",
+        "deterministic"
+      ],
+      "symptom": "lost-update-data-race",
+      "severity": "datarace",
+      "verdict_url": "https://aletheia-works.github.io/vivarium/repro/pthread/lost-update/verdict.json"
+    }
+  ]
+}