@orangepro/orangepro-mcp 0.1.0 → 0.2.0

package/dist/local/cli.js

@@ -1,7 +1,8 @@
 #!/usr/bin/env node
 import { parseArgs, collectSetupCommands } from "./cliArgs.js";
-import { opAnalyze, opAiFlows, opAiLinks, opChanged, opCompare, opDoctor, opDynamicProof, opExplain, opGaps, opGenerate, opBehaviorCoverageHtml, opCoverageReport, opInit, opProveLoop, opRuntimeCoverage, opScore, opRecordRun, opRtm, opStats, opStatus, opUpdate, opSetModelDefault, opStart, getModelDefault, resolveDiffTargets, resolvePrCheckout, writeCompareReport } from "./operations.js";
+import { opAnalyze, opAiFlows, opAiLinks, opChanged, opCompare, opDoctor, opProofDoctor, opDynamicProof, opExplain, opGaps, opGenerate, opBehaviorCoverageHtml, opCoverageReport, opInit, opProveLoop, opRuntimeCoverage, opScore, opRecordRun, opRtm, opStats, opStatus, opUpdate, opSetModelDefault, opStart, getModelDefault, resolveDiffTargets, resolvePrCheckout, writeCompareReport } from "./operations.js";
 import { dominantBlockReason } from "./viz/behaviorReportData.js";
+import { autoProve, isRoastSurvivor } from "./autoProve.js";
 import { opRecipeDbSqljs } from "./recipe/dbSqljs.js";
 import { runExportCli } from "./exportCli.js";
 import { startLocalMcpServer } from "./mcp.js";
@@ -75,7 +76,8 @@ const HELP = `opro — OrangePro (local-first, BYOK, metadata-only artifacts)
 
 Usage:
   opro                                       # one-command start: analyze, optional AI links + flows, report, RTM, agent handoff
-  opro start [path] [--base <ref>] [--no-ai] [--no-ai-flows] [--generate-coverage] [--json]
+  opro start [path] [--base <ref>] [--no-ai] [--no-ai-flows] [--generate-coverage] [--prompt-version v5] [--json]
+  opro roast [path] [--limit 5] [--json]     # keyless: find passing tests whose targeted mutant still survives
   opro init
   opro setup                                 # interactive: choose a default model provider + model (saved locally)
   opro analyze [path] [--paths a.csv,b.md] [--include-markdown true|false] [--generate-coverage] [--coverage-timeout-ms 120000] [--ai-flows] [--no-coverage-html] [--json]
@@ -84,7 +86,7 @@ Usage:
   opro coverage [path] [--generate] [--timeout-ms 120000] [--json]
     # detects runtime coverage artifacts (Go coverprofile, lcov, coverage.py XML, JaCoCo XML);
     # --generate runs local free coverage tooling where safely supported (Go, JS/TS scripts, pytest-cov XML, JaCoCo)
-  opro doctor [--json]
+  opro doctor [--proof] [--json]   # --proof: why top targets are not Dynamically Proven
   opro update [--force] [--json]
   opro changed --base <ref> [--json]
   opro score [--json]
@@ -92,9 +94,9 @@ Usage:
     # also returns top_risk_gaps: unproven code symbols ranked by OrangePro Risk Score (P × I × D)
   opro record --target-symbol sym:file#Symbol [--test path] [--agent-pass true|false] [--evidence-ids id1,id2] [--provider openai] [--model gpt-4.1] [--prompt-version v1] [--json]
     # record writes static reprove diagnostics only; public Proven requires \`opro prove\`
-  opro prove --target-symbol sym:file#Symbol --test path --replacement 'return ...;' [--target-file path] [--method name] [--replacement-mode return-json|promise-json] [--runner auto|vitest|jest|mocha] [--link-node-modules] [--json]
+  opro prove --target-symbol sym:file#Symbol --test path --replacement 'return ...;' [--target-file path] [--method name] [--replacement-mode return-json|promise-json] [--runner auto|vitest|jest|mocha|pytest] [--link-node-modules] [--json]
     # runs the dynamic targeted-proof oracle and writes a metadata-only ledger certificate only when baseline-green → mutant assertion-fail closes
-  opro prove-loop --target-symbol sym:file#Symbol --test path --replacement 'return ...;' [--setup 'npm run build'] [--setup 'npm ci'] [--setup-timeout-ms 120000] [--source path] [--runner auto|vitest|jest|mocha] [--link-node-modules] [--json]
+  opro prove-loop --target-symbol sym:file#Symbol --test path --replacement 'return ...;' [--setup 'npm run build'] [--setup 'npm ci'] [--setup-timeout-ms 120000] [--source path] [--runner auto|vitest|jest|mocha|pytest] [--link-node-modules] [--json]
     # trusted-local wrapper: runs each --setup command in the source checkout, then \`opro prove\` (unchanged oracle + cert), then refreshes the behavior report; setup failure returns unrunnable (never Proven)
   opro recipe db-sqljs --target-symbol sym:file#Class.method --entity file#Entity --out orangepro_generated/<name>.sqljs.spec.ts [--source path] [--seed-field name] [--json]
     # writes a REAL NestJS+TypeORM sqljs integration spec (in-memory) + setup profile; makes a DB-backed baseline runnable so \`opro prove-loop\` can close Proven. Never mocks the target.
@@ -166,7 +168,7 @@ async function main() {
     }
     // Preload configured tree-sitter grammars before analysis so the sync analyzer
     // can extract via AST. Idempotent; only the analysis commands pay for it.
-    if (command === "start" || command === "analyze" || command === "update" || command === "generate" || command === "record" || command === "prove" || command === "prove-loop") {
+    if (command === "start" || command === "roast" || command === "analyze" || command === "update" || command === "generate" || command === "record" || command === "prove" || command === "prove-loop") {
         await preloadTreeSitter(treeSitterLanguages());
     }
     switch (command) {
@@ -188,6 +190,7 @@ async function main() {
                     aiFlows: !asBool(flags["no-ai-flows"], false),
                     autoLimit: numericFlag(flags["auto-limit"]),
                     noAuto: asBool(flags["no-auto"], false),
+                    promptVersion: flags["prompt-version"] === "v5" ? "v5" : undefined,
                     provider: typeof flags.provider === "string" ? flags.provider : undefined,
                     model: typeof flags.model === "string" ? flags.model : undefined
                 });
@@ -274,6 +277,66 @@ async function main() {
             }
             return 0;
         }
+        case "roast": {
+            const source = positionals[0] || ".";
+            const limit = numericFlag(flags.limit) ?? numericFlag(flags["auto-limit"]) ?? 5;
+            const clearProgress = !json ? installCliProgress("roast") : () => undefined;
+            let res;
+            try {
+                opAnalyze(cwd, { source });
+                res = await autoProve(cwd, { autoLimit: limit, existingOnly: true }, { clock: () => new Date().toISOString(), env: process.env, proveLoop: opProveLoop });
+            }
+            finally {
+                clearProgress();
+            }
+            const survived = res.attempts.filter(isRoastSurvivor);
+            const payload = {
+                status: "roast",
+                source,
+                attempted: res.attempted,
+                dynamically_proven: res.proven,
+                survived_mutants: survived.length,
+                needs_setup: res.needs_setup,
+                survivors: survived.map((a) => ({
+                    target_symbol: a.target_symbol,
+                    test_path: a.test_path,
+                    mutant_status: a.mutant_status,
+                    reason: a.reason
+                }))
+            };
+            if (json) {
+                printJson(payload);
+            }
+            else {
+                out("OrangePro roast complete.");
+                out(`  attempted:            ${payload.attempted}`);
+                out(`  Newly proven this run: ${payload.dynamically_proven}`);
+                out(`  Survived mutants:     ${payload.survived_mutants}`);
+                if (survived.length > 0) {
+                    out("");
+                    out(`${survived.length} passing test(s) still passed when OrangePro replaced the target with a sentinel mutant:`);
+                    for (const attempt of survived.slice(0, limit)) {
+                        out(`  - ${attempt.test_path} survived mutant on ${attempt.target_symbol}`);
+                        if (attempt.reason)
+                            out(`    reason: ${attempt.reason}`);
+                    }
+                    out("");
+                    out("Equivalent mutants can also survive, so treat this as a proof-strengthening queue, not automatic blame.");
+                    out("Survived mutants are not Dynamically Proven. They are targets for stronger assertions.");
+                }
+                else if (res.proven > 0) {
+                    out("  verdict:              no survived targeted mutants found in this pass.");
+                }
+                else if (res.needs_setup.length > 0) {
+                    const dom = dominantBlockReason(res.needs_setup);
+                    out(`  verdict:              proof could not run for ${res.needs_setup.length} target(s)${dom ? `; dominant blocker: ${dom.label}` : ""}.`);
+                }
+                else {
+                    out("  verdict:              no survived targeted mutants found in this pass.");
+                }
+            }
+            return 0;
+        }
         case "init": {
             const res = opInit(cwd);
             if (json)
@@ -498,6 +561,24 @@ async function main() {
             return 0;
         }
         case "doctor": {
+            if (asBool(flags.proof, false)) {
+                const res = opProofDoctor(cwd);
+                if (json)
+                    printJson(res);
+                else {
+                    out(res.headline);
+                    for (const b of res.blockers) {
+                        out(`  ${b.count} target${b.count === 1 ? "" : "s"} blocked by ${b.label}${b.source === "preflight" ? " (preflight — no test was run)" : ""}`);
+                        out(`     e.g. ${b.representative.target_symbol}${b.representative.reason ? ` — ${b.representative.reason}` : ""}`);
+                        out(`     next: ${b.next_step}`);
+                    }
+                    for (const nk of res.non_killing) {
+                        out(`  mutant survived: ${nk.target_symbol}${nk.test_path ? ` (test: ${nk.test_path})` : ""}`);
+                        out(`     ${nk.note}`);
+                    }
+                }
+                return 0;
+            }
             const res = opDoctor(cwd);
             if (json)
                 printJson(res);
@@ -642,15 +723,16 @@ async function main() {
             if (flags["replacement-mode"] !== undefined && !replacementMode) {
                 throw new Error("--replacement-mode must be one of: return-json, promise-json");
             }
-            const proofRunner = flags.runner === undefined ? undefined : flags.runner === "auto" || flags.runner === "vitest" || flags.runner === "jest" || flags.runner === "mocha" ? flags.runner : undefined;
+            const proofRunner = flags.runner === undefined ? undefined : flags.runner === "auto" || flags.runner === "vitest" || flags.runner === "jest" || flags.runner === "mocha" || flags.runner === "pytest" ? flags.runner : undefined;
             if (flags.runner !== undefined && !proofRunner) {
-                throw new Error("--runner must be one of: auto, vitest, jest, mocha");
+                throw new Error("--runner must be one of: auto, vitest, jest, mocha, pytest");
             }
             const res = opDynamicProof(cwd, {
                 target_symbol: typeof flags["target-symbol"] === "string" ? flags["target-symbol"] : undefined,
                 target_id: typeof flags.target === "string" ? flags.target : undefined,
                 source: typeof flags.source === "string" ? flags.source : undefined,
                 test_path: typeof flags.test === "string" ? flags.test : "",
+                test_run: typeof flags["test-run"] === "string" ? flags["test-run"] : undefined,
                 target_path: typeof flags["target-file"] === "string" ? flags["target-file"] : undefined,
                 method: typeof flags.method === "string" ? flags.method : undefined,
                 replacement: typeof flags.replacement === "string" ? flags.replacement : "",
@@ -686,15 +768,16 @@ async function main() {
             if (flags["replacement-mode"] !== undefined && !replacementMode) {
                 throw new Error("--replacement-mode must be one of: return-json, promise-json");
             }
-            const proofRunner = flags.runner === undefined ? undefined : flags.runner === "auto" || flags.runner === "vitest" || flags.runner === "jest" || flags.runner === "mocha" ? flags.runner : undefined;
+            const proofRunner = flags.runner === undefined ? undefined : flags.runner === "auto" || flags.runner === "vitest" || flags.runner === "jest" || flags.runner === "mocha" || flags.runner === "pytest" ? flags.runner : undefined;
             if (flags.runner !== undefined && !proofRunner) {
-                throw new Error("--runner must be one of: auto, vitest, jest, mocha");
+                throw new Error("--runner must be one of: auto, vitest, jest, mocha, pytest");
             }
             const res = opProveLoop(cwd, {
                 target_symbol: typeof flags["target-symbol"] === "string" ? flags["target-symbol"] : undefined,
                 target_id: typeof flags.target === "string" ? flags.target : undefined,
                 source: typeof flags.source === "string" ? flags.source : undefined,
                 test_path: typeof flags.test === "string" ? flags.test : "",
+                test_run: typeof flags["test-run"] === "string" ? flags["test-run"] : undefined,
                 target_path: typeof flags["target-file"] === "string" ? flags["target-file"] : undefined,
                 method: typeof flags.method === "string" ? flags.method : undefined,
                 replacement: typeof flags.replacement === "string" ? flags.replacement : "",

package/dist/local/cliArgs.js

@@ -49,6 +49,7 @@ export const VALUE_FLAGS = new Set([
     "target-symbol",
     "test",
     "test-env",
+    "test-run",
     "vitest-config",
     "timeout-ms"
 ]);

package/dist/local/generate/runHints.js

@@ -209,13 +209,18 @@ function runnerForDynamicProof(framework) {
         return "jest";
     if (f.includes("mocha"))
         return "mocha";
+    if (f.includes("pytest") || f.includes("python"))
+        return "pytest";
     return undefined;
 }
 function symbolFile(target) {
     return target.slice("sym:".length).split("#")[0] ?? "";
 }
 function supportsDynamicProof(target) {
-    return /\.[cm]?[jt]sx?$/i.test(symbolFile(target));
+    return /\.(?:[cm]?[jt]sx?|py)$/i.test(symbolFile(target));
+}
+function replacementForDynamicProof(target) {
+    return /\.py$/i.test(symbolFile(target)) ? "return 0" : "return null;";
 }
 export function runHintsFor(tests, repoRoot, startIndex = 0) {
     return tests.map((t, i) => {
@@ -236,13 +241,13 @@ export function runHintsFor(tests, repoRoot, startIndex = 0) {
                                 args: {
                                     target_symbol: target,
                                     test_path: suggested_path,
-                                    replacement: "return null;",
+                                    replacement: replacementForDynamicProof(target),
                                     ...(runnerForDynamicProof(t.framework_hint) ? { runner: runnerForDynamicProof(t.framework_hint) } : {})
                                 }
                             }
                         }
                         : {
-                            handoff_note: "Dynamic public Proven currently supports TS/JS CodeSymbol targets only; use record_run for static diagnostics."
+                            handoff_note: "Dynamic public Proven currently supports TS/JS/Python CodeSymbol targets only; use record_run for static diagnostics."
                         }),
                     record_run: {
                         tool: "orangepro_record_run",
@@ -285,7 +290,7 @@ export const AGENT_RUN_WORKFLOW = [
     "OrangePro returns the test code; YOUR agent runs it. Using your shell tools:",
     "1. Write each test's `body` to its `suggested_path` in the repo.",
     "2. Run its `run_command` from the package that owns the test's directory (monorepos: cd into that package first so the framework's module roots resolve) — or use the repo's own test command (npm test, pytest, npx playwright test).",
-    "3. For public Proven, call `prove_run`/`orangepro_prove` after the test passes; it reruns baseline + sentinel-mutant and closes only on a dynamic assertion kill. `record_run` is static diagnostics only.",
+    "3. For public Proven, call `orangepro_prove` with the returned `prove_run` args after the test passes; it reruns baseline + sentinel-mutant and closes only on a dynamic assertion kill. `record_run` is static diagnostics only.",
     "4. Report pass/fail, error messages, and stack traces to the developer; propose a fix for failures.",
     "Runnable Python and Go drafts require local validation tools on PATH (`python3` for pytest syntax checks, `gofmt` for Go syntax checks). If those tools are missing, OrangePro safely returns drafts without run commands.",
     "Requires the repo's test framework + dependencies to already be installed. If a test fails to run for environment reasons (missing framework/deps), that's a local setup issue, not the generated test.",

package/dist/local/graph/factories.js

@@ -79,6 +79,7 @@ export function makeEdge(input) {
 }
 export function makeProofEdges(input) {
     const testExternalId = `test:${input.testRel}`;
+    const props = input.properties ? { properties: input.properties } : {};
     return [
         makeEdge({
             from_external_id: input.symId,
@@ -87,7 +88,8 @@ export function makeProofEdges(input) {
             evidence_strength: "hard",
             review_status: "auto_detected",
             provenance: input.provenance,
-            last_verified: input.lastVerified
+            last_verified: input.lastVerified,
+            ...props
         }),
         makeEdge({
             from_external_id: testExternalId,
@@ -96,7 +98,8 @@ export function makeProofEdges(input) {
             evidence_strength: "hard",
             review_status: "auto_detected",
             provenance: input.provenance,
-            last_verified: input.lastVerified
+            last_verified: input.lastVerified,
+            ...props
         })
     ];
 }

package/dist/local/ledger.js

@@ -48,7 +48,7 @@ export function targetLanguage(symExtId) {
     return ext || "unknown";
 }
 export function canReproveLanguage(language) {
-    return language === "typescript" || language === "go";
+    return language === "typescript" || language === "go" || language === "python";
 }
 export function loadLedger(root) {
     const path = ledgerPath(root);

package/dist/local/mcp.js

@@ -1,7 +1,7 @@
 import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
 import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
 import { z } from "zod";
-import { opAnalyze, opAiFlows, opAiLinks, opChanged, opCompare, opDoctor, opDynamicProof, opExplain, opExport, opGaps, opGenerate, opProveLoop, opRecordRun, opRtm, opScore, opStats, opStart, opStatus, opUpdate, resolveDiffTargets } from "./operations.js";
+import { opAnalyze, opAiFlows, opAiLinks, opChanged, opCompare, opDoctor, opProofDoctor, opDynamicProof, opExplain, opExport, opGaps, opGenerate, opProveLoop, opRecordRun, opRtm, opScore, opStats, opStart, opStatus, opUpdate, resolveDiffTargets } from "./operations.js";
 import { runnableRunHintsFor, AGENT_RUN_WORKFLOW, GROUNDING_CONTRACT } from "./generate/runHints.js";
 import { preloadTreeSitter } from "./analyze/treeSitter/engine.js";
 import { treeSitterLanguages } from "./analyze/treeSitter/languages.js";
@@ -22,11 +22,11 @@ const DEFAULT_MARKDOWN_RTM_LIMIT = 500;
  * Codex, Claude, Copilot, …). First slice exposes NO upload or repo-write tools.
  */
 export function createLocalServer() {
-    const server = new McpServer({ name: "orangepro-local", version: "0.1.0" });
+    const server = new McpServer({ name: "orangepro-local", version: "0.2.0" });
     const root = (ws) => ws || process.cwd();
     server.registerTool("orangepro_start", {
         title: "Start OrangePro",
-        description: "One-command local setup for a repo or PR: analyze sources, auto-apply weak AI candidate links and candidate flows when a real BYOK provider is configured, write graph.html + rtm.md, summarize changed/gap targets, and return agent next actions. AI lanes stay separate and never affect Proven coverage.",
+        description: "One-command local setup for a repo or PR: analyze sources, auto-apply weak AI candidate links and candidate flows when a real BYOK provider is configured, write behavior-coverage.html + rtm.md, summarize changed/gap targets, and return agent next actions. AI lanes stay separate and never affect Proven coverage.",
         inputSchema: {
             ...Workspace,
             source: z.string().optional().describe("Source path to analyze. Defaults to workspace."),
@@ -38,7 +38,8 @@ export function createLocalServer() {
             no_ai_flows: z.boolean().optional().describe("Disable automatic AI candidate-flow discovery while keeping weak AI links enabled."),
             ai_all: z.boolean().optional().describe("Run AI weak-linking over all deterministic behavior nodes instead of gaps-only."),
             provider: z.enum(["openai", "ollama", "anthropic"]).optional().describe("BYOK provider override for the AI passes."),
-            model: z.string().optional().describe("Model name override.")
+            model: z.string().optional().describe("Model name override."),
+            prompt_version: z.enum(["v2", "v5"]).optional().describe("Opt-in generation strategy for the auto-prove generation lane. Default v2/deterministic; v5 uses batched two-phase generation. The prove/mint gate is unchanged either way.")
         },
         annotations: { readOnlyHint: false, destructiveHint: false, idempotentHint: true, openWorldHint: true }
     }, async (input) => {
@@ -54,7 +55,8 @@ export function createLocalServer() {
                 aiAll: input.ai_all,
                 aiFlows: !input.no_ai_flows,
                 provider: input.provider,
-                model: input.model
+                model: input.model,
+                promptVersion: input.prompt_version
             }));
         }
         catch (error) {
@@ -124,11 +126,18 @@ export function createLocalServer() {
     server.registerTool("orangepro_doctor", {
         title: "Recommend next evidence",
         description: "Recommend the smallest next source that would most improve generated-test quality, with expected score impact. Teaches what data improves output.",
-        inputSchema: { ...Workspace, goal: z.string().optional().describe("Optimization goal hint, e.g. 'better_tests'.") },
+        inputSchema: {
+            ...Workspace,
+            goal: z.string().optional().describe("Optimization goal hint, e.g. 'better_tests'."),
+            proof: z
+                .boolean()
+                .optional()
+                .describe("Proof-focused mode: explain why top targets are not Dynamically Proven (deduped blockers + smallest next steps). Read-only; mints nothing.")
+        },
         annotations: { readOnlyHint: true, destructiveHint: false }
     }, async (input) => {
         try {
-            return asText(opDoctor(root(input.workspace)));
+            return asText(input.proof ? opProofDoctor(root(input.workspace)) : opDoctor(root(input.workspace)));
         }
         catch (error) {
             return asError(error);
@@ -198,12 +207,13 @@ export function createLocalServer() {
             target_symbol: z.string().optional().describe("Exact CodeSymbol external id, e.g. sym:src/service.ts#OrderService.createOrder. Preferred."),
             target_id: z.string().optional().describe("Optional graph target id that must resolve to exactly one hard-linked CodeSymbol."),
             source: z.string().optional().describe("Source checkout containing the test and target files. Defaults to workspace."),
-            test_path: z.string().describe("Repo-relative test file to run."),
-            replacement: z.string().describe("Inert sentinel body, e.g. 'return null;' or 'return {\"ok\":false};'. Must be JSON-only per the oracle."),
+            test_path: z.string().optional().describe("TS/JS: repo-relative test file to run (required for TS/JS targets)."),
+            test_run: z.string().optional().describe("Go: fully-anchored test name for `go test -run`, e.g. '^TestCompute$' (required for Go targets). Java: 'TestClass#testMethod', e.g. 'CalculatorTest#addsTwoNumbers' (required for Java targets)."),
+            replacement: z.string().optional().describe("TS/JS: inert sentinel body, e.g. 'return null;' or 'return {\"ok\":false};'. Must be JSON-only per the oracle (required for TS/JS targets). Go derives its own sentinel."),
             target_file: z.string().optional().describe("Optional consistency check. If provided, must match the file derived from target_symbol."),
             method: z.string().optional().describe("Optional consistency check. If provided, must match the member derived from target_symbol."),
             replacement_mode: z.enum(["return-json", "promise-json"]).optional().describe("Sentinel wrapping mode. Default return-json."),
-            runner: z.enum(["auto", "vitest", "jest", "mocha"]).optional().describe("Test runner override. Default auto."),
+            runner: z.enum(["auto", "vitest", "jest", "mocha", "pytest"]).optional().describe("Test runner override. Default auto."),
             timeout_ms: z.number().int().min(1000).max(600000).optional().describe("Per baseline/mutant test timeout."),
             link_node_modules: z.boolean().optional().describe("Trusted-repo speed mode: symlink node_modules into temp copies."),
             vitest_config: z.string().optional().describe("Repo-relative Vitest config path."),
@@ -220,6 +230,7 @@ export function createLocalServer() {
                 target_id: input.target_id,
                 source: input.source,
                 test_path: input.test_path,
+                test_run: input.test_run,
                 target_path: input.target_file,
                 method: input.method,
                 replacement: input.replacement,
@@ -245,12 +256,13 @@ export function createLocalServer() {
             target_symbol: z.string().optional().describe("Exact CodeSymbol external id, e.g. sym:src/service.ts#OrderService.createOrder. Preferred."),
             target_id: z.string().optional().describe("Optional graph target id that must resolve to exactly one hard-linked CodeSymbol."),
             source: z.string().optional().describe("Source checkout containing the test and target files. Setup runs here. Defaults to workspace."),
-            test_path: z.string().describe("Repo-relative test file to run."),
-            replacement: z.string().describe("Inert sentinel body, e.g. 'return null;' or 'return {\"ok\":false};'. Must be JSON-only per the oracle."),
+            test_path: z.string().optional().describe("TS/JS: repo-relative test file to run (required for TS/JS targets)."),
+            test_run: z.string().optional().describe("Go: fully-anchored test name for `go test -run`, e.g. '^TestCompute$' (required for Go targets). Java: 'TestClass#testMethod', e.g. 'CalculatorTest#addsTwoNumbers' (required for Java targets)."),
+            replacement: z.string().optional().describe("TS/JS: inert sentinel body, e.g. 'return null;' or 'return {\"ok\":false};'. Must be JSON-only per the oracle (required for TS/JS targets). Go derives its own sentinel."),
             target_file: z.string().optional().describe("Optional consistency check. If provided, must match the file derived from target_symbol."),
             method: z.string().optional().describe("Optional consistency check. If provided, must match the member derived from target_symbol."),
             replacement_mode: z.enum(["return-json", "promise-json"]).optional().describe("Sentinel wrapping mode. Default return-json."),
-            runner: z.enum(["auto", "vitest", "jest", "mocha"]).optional().describe("Test runner override. Default auto."),
+            runner: z.enum(["auto", "vitest", "jest", "mocha", "pytest"]).optional().describe("Test runner override. Default auto."),
             timeout_ms: z.number().int().min(1000).max(600000).optional().describe("Per baseline/mutant test timeout."),
             link_node_modules: z.boolean().optional().describe("Trusted-repo speed mode: symlink node_modules into temp copies."),
             vitest_config: z.string().optional().describe("Repo-relative Vitest config path."),
@@ -275,6 +287,7 @@ export function createLocalServer() {
                 target_id: input.target_id,
                 source: input.source,
                 test_path: input.test_path,
+                test_run: input.test_run,
                 target_path: input.target_file,
                 method: input.method,
                 replacement: input.replacement,