Skip to content
Benchmark run hard-smoke-saluki-rerun-20261011T191650Z

Benchmark run hard-smoke-saluki-rerun-20261011T191650Z

This page contains exactly the publishable benchmark observations recorded in run hard-smoke-saluki-rerun-20261011T191650Z; it does not select or aggregate them. Return to the run index or view aggregate metrics.

Interactive browser

Rows are pre-aggregated by task, target, prompt variant, MCP-instruction mode, context, arm, and restriction. Numeric values show median (p50), IQR, p90, maximum, and sample count. Boolean checks show pass counts and success rates. Filters apply to these summary groups; per-run observations remain available on their run pages.

Loading benchmark results…

Baseline vs semedit

Comparison evaluates baseline and semedit values within each restriction policy, target, and context group. Negative changes mark improvements for these lower-is-better metrics; positive changes mark degradations.

Detailed observations

Empirical telemetry measuring wall-clock latency, token usage, tool turns, and compiler correctness when AI coding agents perform code modifications.

Every benchmark pairs Vanilla LLM (standard file editing tools) against Semedit MCP (deterministic AST compiler operations).

Benchmark Methodology & Transparency

  • Reproducibility & Provenance: Self-contained txtar archives define test scenarios. Links below resolve to commit-anchored GitHub source files for published commits, or cryptographic SHA-256 fingerprints for uncommitted local fixtures.
  • Model Cost: Tables report model-specific credit consumption where a target model has a declared schedule: (uncached input × input credits + cached input × cached credits + (reasoning + visible output) × output credits) / 1,000,000. Thinking tokens use the output rate. ADR-0043 defines the per-million-token credit rates.
  • Multi-Level Correctness Oracle: Four validation levels evaluate each trial:
    1. Level 1 (Mutation Policy): Restricts file modifications strictly to authorized paths.
    2. Level 2 (AST Invariants): Compiler AST verification of required symbols, imports, and relative declaration ordering.
    3. Level 3 (Clean Build): Strict compilation validation with zero compiler or typecheck errors.
    4. Level 4 (Test Suite): Unit and integration test suite execution.
  • Isolated Sandboxing: Each trial executes in an ephemeral directory with pristine git and module state.

Test case: task-09-composite-refactor

Target: opencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest

explicit prompt · prescriptive MCP instructions · write semedit restriction

SettingValue
Test casetask-09-composite-refactor
Targetopencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest
Prompt variantexplicit
MCP server instructionsprescriptive
Semedit arm restrictionwrite
Run provenancefixture_dependency_preparation=go-list-readonly-deps-test,local_model_context_tokens=212992,local_model_limits_source=llama.cpp-props,local_model_output_tokens=8192,provider_transport=opencode_attached_server_v1
Fixturetestdata/bench/task_09_composite_refactor.txtar

Vanilla LLM Prompt:

Do not edit tests. You are forbidden to modify protected files: “go.mod”, “go.sum”.

In config/config.go: rename Config.Port to Config.ListenPort, insert DefaultConfig() *Config returning Host localhost and ListenPort 8080, and clean up unused imports. Do not use semantic editing MCP tools; use standard file editing. When done, output DONE.

Initial Workspace State (Before Edit)
package config

import (
	"archive/tar"
	"fmt"
)

type Config struct {
	Host string
	Port int
}

func (c *Config) Addr() string {
	return fmt.Sprintf("%s:%d", c.Host, c.Port)
}
MetricVanilla (Small)Semedit Explicit (Small)Δ (Small)Vanilla (Large)MCP (Large)Δ (Large)
Wall-Clock Latency29.36s86.30s+193.9%———
Process Start → First Event8.31s23.43s————
First Event → First Tool Call2.15s5.63s————
MCP Initialize → First Semantic Call——————
MCP Server Start → Initialize——————
Top-Level User Turns110%———
Internal Tool Cycles411+175.0%———
Initial Load / Discovery Turns21-50.0%———
MCP Discovery / Schema Turns00————
Tool Invocations (per run)411+175.0%———
Output Tokens6552122+224.0%———
Reasoning / Thinking Tokens00————
Total Input Tokens36614264975+623.7%———
Cached Input Tokens29405237678+708.3%———
Uncached Input Tokens720927297+278.7%———
Cost——————
Cached vs Uncached Token Ratio4.08:18.71:1+113.5%———
Oracle L1: Mutation PolicyPASSPASS————
Oracle L2: AST InvariantsPASSPASS————
Oracle L3: Clean BuildPASSPASS————
Oracle L4: Verification TestPASSPASS————
Semantic Tool Invocation Verified (per run)N/APASS————
Baseline vs Semedit Explicit in Small Context
  • Vanilla (Baseline vs Semedit Explicit in Small Context) Edit: File config/config.go modified (15 lines -> 19 lines)
  • Semedit MCP (Baseline vs Semedit Explicit in Small Context) Edit: File config/config.go modified (15 lines -> 16 lines)
#VanillaSemedit MCP
1read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791746347085453000/config/config.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-09-composite-refactor_1791746521517379000/config/config.go"
}
2grep (✓ ✓)
{
  "path": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791746347085453000",
  "pattern": "\\.Port|ListenPort"
}
semedit_semantic_lookup (✓ ✓)
{
  "file": "config/config.go",
  "language": "go",
  "symbol": "Config.Port"
}
3edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791746347085453000/config/config.go",
  "newString": "import \"fmt\"\n\ntype Config struct {\n\tHost       string\n\tListenPort int\n}\n\nfunc (c *Config) Addr() string {\n\treturn fmt.Sprintf(\"%s:%d\", c.Host, c.ListenPort)\n}\n\nfunc DefaultConfig() *Config {\n\treturn \u0026Config{\n\t\tHost:       \"localhost\",\n\t\tListenPort: 8080,\n\t}\n}",
  "oldString": "import (\n\t\"archive/tar\"\n\t\"fmt\"\n)\n\ntype Config struct {\n\tHost string\n\tPort int\n}\n\nfunc (c *Config) Addr() string {\n\treturn fmt.Sprintf(\"%s:%d\", c.Host, c.Port)\n}"
}
semedit_semantic_inspect_symbol (✓ ✓)
{
  "file": "config/config.go",
  "language": "go",
  "symbol": "Config.Addr"
}
4bash (✓ ✓)
{
  "command": "cd /Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791746347085453000 \u0026\u0026 go build ./... \u0026\u0026 go test ./config/..."
}
semedit_semantic_batch (✓ ✗): Batch child results are intermediate and do not provide final continuation targets. Critical result (JSON): {"result":{"status":"error","results":[{"status":"error","application_state":"unknown","error":"edit 1 params: unknown parameter \"kind\" for \"semantic_insert_function\"; supported keys are [access, access_modifier, auto-organize-imports, auto_organize_imports, file, placement, source, target, target_symbol] Required parameters: [file, source]","tool":"semantic_insert_function"}],"workspace_root":"/U
{
  "edits": [
    {
      "params": {
        "file": "config/config.go",
        "language": "go",
        "symbol": "Config.Port",
        "to": "ListenPort"
      },
      "tool": "semantic_rename"
    },
    {
      "params": {
        "file": "config/config.go",
        "kind": "function",
        "placement": "public_end",
        "source": "func DefaultConfig() *Config { return \u0026Config{Host: \"localhost\", ListenPort: 8080} }"
      },
      "tool": "semantic_insert_function"
    },
    {
      "params": {
        "file": "config/config.go"
      },
      "tool": "semantic_organize_imports"
    }
  ]
}
5—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-09-composite-refactor_1791746521517379000/config/config.go"
}
6—semedit_semantic_rename (✓ ✓)
{
  "file": "config/config.go",
  "language": "go",
  "symbol": "Config.Port",
  "to": "ListenPort"
}
7—semedit_semantic_insert_construct (✓ ✓)
{
  "file": "config/config.go",
  "kind": "function",
  "placement": "public_end",
  "source": "func DefaultConfig() *Config { return \u0026Config{Host: \"localhost\", ListenPort: 8080} }"
}
8—semedit_semantic_verify (✓ ✓)
{
  "language": "go",
  "path": "config/config.go"
}
9—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-09-composite-refactor_1791746521517379000/config/config.go"
}
10—semedit_semantic_batch (✓ ✓)
{
  "edits": [
    {
      "params": {
        "file": "config/config.go"
      },
      "tool": "semantic_organize_imports"
    }
  ]
}
11—bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go test ./..."
}

Semedit integration feedback (agent opinion, excluded from measurements):

Integration feedback unavailable: OpenCode session workspace, target, or arm changed

Baseline vs Semedit Explicit in Large Context
#VanillaSemedit MCP
1not publishednot published

implicit prompt · prescriptive MCP instructions · write semedit restriction

SettingValue
Test casetask-09-composite-refactor
Targetopencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest
Prompt variantimplicit
MCP server instructionsprescriptive
Semedit arm restrictionwrite
Run provenancefixture_dependency_preparation=go-list-readonly-deps-test,local_model_context_tokens=212992,local_model_limits_source=llama.cpp-props,local_model_output_tokens=8192,provider_transport=opencode_attached_server_v1
Fixturetestdata/bench/task_09_composite_refactor.txtar

Vanilla LLM Prompt:

Do not edit tests. You are forbidden to modify protected files: “go.mod”, “go.sum”.

In config/config.go: rename Config.Port to Config.ListenPort, insert DefaultConfig() *Config returning Host localhost and ListenPort 8080, and clean up unused imports. Do not use semantic editing MCP tools; use standard file editing. When done, output DONE.

Semedit MCP Prompt:

Do not edit tests. You are forbidden to modify protected files: “go.mod”, “go.sum”.

In config/config.go: rename Config.Port to Config.ListenPort, insert DefaultConfig() *Config returning Host localhost and ListenPort 8080, and clean up unused imports. Use semedit semantic tools for supported source code modifications. Shell commands for builds and tests are allowed. When done, output DONE.

Initial Workspace State (Before Edit)
package config

import (
	"archive/tar"
	"fmt"
)

type Config struct {
	Host string
	Port int
}

func (c *Config) Addr() string {
	return fmt.Sprintf("%s:%d", c.Host, c.Port)
}
MetricVanilla (Small)MCP (Small)Δ (Small)Vanilla (Large)MCP (Large)Δ (Large)
Wall-Clock Latency29.36s82.51s+181.0%———
Process Start → First Event8.31s22.34s————
First Event → First Tool Call2.15s2.39s————
MCP Initialize → First Semantic Call——————
MCP Server Start → Initialize——————
Top-Level User Turns110%———
Internal Tool Cycles413+225.0%———
Initial Load / Discovery Turns26+200.0%———
MCP Discovery / Schema Turns00————
Tool Invocations (per run)413+225.0%———
Output Tokens6552049+212.8%———
Reasoning / Thinking Tokens00————
Total Input Tokens36614282510+671.6%———
Cached Input Tokens29405255484+768.8%———
Uncached Input Tokens720927026+274.9%———
Cost——————
Cached vs Uncached Token Ratio4.08:19.45:1+131.8%———
Oracle L1: Mutation PolicyPASSPASS————
Oracle L2: AST InvariantsPASSPASS————
Oracle L3: Clean BuildPASSPASS————
Oracle L4: Verification TestPASSPASS————
Semantic Tool Invocation Verified (per run)N/APASS————
Baseline vs Semedit Agentic in Small Context
  • Vanilla (Baseline vs Semedit Agentic in Small Context) Edit: File config/config.go modified (15 lines -> 19 lines)
  • Semedit MCP (Baseline vs Semedit Agentic in Small Context) Edit: File config/config.go modified (15 lines -> 21 lines)
#VanillaSemedit MCP
1read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791746347085453000/config/config.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000/config/config.go"
}
2grep (✓ ✓)
{
  "path": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791746347085453000",
  "pattern": "\\.Port|ListenPort"
}
bash (✓ ✓)
{
  "command": "ls /Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000"
}
3edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791746347085453000/config/config.go",
  "newString": "import \"fmt\"\n\ntype Config struct {\n\tHost       string\n\tListenPort int\n}\n\nfunc (c *Config) Addr() string {\n\treturn fmt.Sprintf(\"%s:%d\", c.Host, c.ListenPort)\n}\n\nfunc DefaultConfig() *Config {\n\treturn \u0026Config{\n\t\tHost:       \"localhost\",\n\t\tListenPort: 8080,\n\t}\n}",
  "oldString": "import (\n\t\"archive/tar\"\n\t\"fmt\"\n)\n\ntype Config struct {\n\tHost string\n\tPort int\n}\n\nfunc (c *Config) Addr() string {\n\treturn fmt.Sprintf(\"%s:%d\", c.Host, c.Port)\n}"
}
bash (✓ ✓)
{
  "command": "ls -la /Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000/config/"
}
4bash (✓ ✓)
{
  "command": "cd /Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791746347085453000 \u0026\u0026 go build ./... \u0026\u0026 go test ./config/..."
}
grep (✓ ✓)
{
  "path": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000",
  "pattern": "\\.Port|Port"
}
5—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000/config/config_test.go"
}
6—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000/go.mod"
}
7—semedit_semantic_batch (✓ ✗): Batch child results are intermediate and do not provide final continuation targets. Critical result (JSON): {"result":{"status":"error","results":[{"status":"error","application_state":"unknown","error":"edit 1 params: unknown parameter \"kind\" for \"semantic_insert_function\"; supported keys are [access, access_modifier, auto-organize-imports, auto_organize_imports, file, placement, source, target, target_symbol] Required parameters: [file, source]","tool":"semantic_insert_function"}],"workspace_root":"/U
{
  "edits": [
    {
      "params": {
        "file": "config/config.go",
        "symbol": "Port",
        "to": "ListenPort"
      },
      "tool": "semantic_rename"
    },
    {
      "params": {
        "file": "config/config.go",
        "kind": "function",
        "source": "func DefaultConfig() *Config {\n\treturn \u0026Config{\n\t\tHost:     \"localhost\",\n\t\tListenPort: 8080,\n\t}\n}"
      },
      "tool": "semantic_insert_function"
    },
    {
      "params": {
        "file": "config/config.go"
      },
      "tool": "semantic_organize_imports"
    }
  ]
}
8—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000/config/config.go"
}
9—semedit_semantic_batch (✓ ✗): Batch child results are intermediate and do not provide final continuation targets. Critical result (JSON): {"result":{"status":"error","results":[{"status":"error","application_state":"unknown","error":"resolve Port in config/config.go: symbol not found","tool":"semantic_rename"}],"workspace_root":"/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000"}} { "status": "error", "workspace_root": "/Users/alessandro/sourc
{
  "edits": [
    {
      "params": {
        "file": "config/config.go",
        "symbol": "Port",
        "to": "ListenPort"
      },
      "tool": "semantic_rename"
    },
    {
      "params": {
        "file": "config/config.go",
        "placement": "file_end",
        "source": "func DefaultConfig() *Config {\n\treturn \u0026Config{\n\t\tHost:     \"localhost\",\n\t\tListenPort: 8080,\n\t}\n}"
      },
      "tool": "semantic_insert_function"
    },
    {
      "params": {
        "file": "config/config.go"
      },
      "tool": "semantic_organize_imports"
    }
  ]
}
10—semedit_semantic_rename (✓ ✓)
{
  "file": "config/config.go",
  "symbol": "Config.Port",
  "to": "ListenPort"
}
11—semedit_semantic_batch (✓ ✓)
{
  "edits": [
    {
      "params": {
        "file": "config/config.go",
        "placement": "file_end",
        "source": "func DefaultConfig() *Config {\n\treturn \u0026Config{\n\t\tHost:     \"localhost\",\n\t\tListenPort: 8080,\n\t}\n}"
      },
      "tool": "semantic_insert_function"
    },
    {
      "params": {
        "file": "config/config.go"
      },
      "tool": "semantic_organize_imports"
    }
  ]
}
12—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000/config/config.go"
}
13—bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go test ./...",
  "workdir": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-09-composite-refactor_1791746376781325000"
}

Semedit integration feedback (agent opinion, excluded from measurements):

Integration feedback unavailable: run OpenCode: signal: killed context deadline exceeded OpenCode stream lacks complete terminal token usage

Baseline vs Semedit Agentic in Large Context
#VanillaSemedit MCP
1not publishednot published

Test case: task-11-mixed-sink-api-migration

Target: opencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest

explicit prompt · prescriptive MCP instructions · write semedit restriction

SettingValue
Test casetask-11-mixed-sink-api-migration
Targetopencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest
Prompt variantexplicit
MCP server instructionsprescriptive
Semedit arm restrictionwrite
Run provenancefixture_dependency_preparation=go-list-readonly-deps-test,local_model_context_tokens=212992,local_model_limits_source=llama.cpp-props,local_model_output_tokens=8192,provider_transport=opencode_attached_server_v1
Fixturetestdata/bench/task_11_mixed_sink_api_migration.txtar

Vanilla LLM Prompt:

Do not edit tests. You are forbidden to modify protected files: “go.mod”, “go.sum”.

Audit event kinds may contain inconsistent whitespace and casing. Add the public audit.NormalizeKind(kind string) string function in audit/normalize.go to remove surrounding whitespace and lowercase the kind. Apply it in Dispatcher.Record before persistence, and classify normalized probe events as control traffic, like health. Do not change the metrics or legacy export protocols. Preserve the module metadata and tests, and leave the workspace verified. Do not use semantic editing MCP tools; use standard file editing. When done, output DONE.

Initial Workspace State (Before Edit)
// Package audit leaves room for normalization rules owned by the delivery boundary.
package audit
MetricVanilla (Small)Semedit Explicit (Small)Δ (Small)Vanilla (Large)MCP (Large)Δ (Large)
Wall-Clock Latency198.59s83.09s-58.2%———
Process Start → First Event8.35s24.18s————
First Event → First Tool Call1.21s1.40s————
MCP Initialize → First Semantic Call——————
MCP Server Start → Initialize——————
Top-Level User Turns110%———
Internal Tool Cycles3310-69.7%———
Initial Load / Discovery Turns240-100.0%———
MCP Discovery / Schema Turns00————
Tool Invocations (per run)3310-69.7%———
Output Tokens81461662-79.6%———
Reasoning / Thinking Tokens00————
Total Input Tokens207949219927+5.8%———
Cached Input Tokens195273186725-4.4%———
Uncached Input Tokens1267633202+161.9%———
Cost——————
Cached vs Uncached Token Ratio15.40:15.62:1-63.5%———
Oracle L1: Mutation PolicyPASSPASS————
Oracle L2: AST InvariantsPASSPASS————
Oracle L3: Clean BuildPASSPASS————
Oracle L4: Verification TestPASSPASS————
Semantic Tool Invocation Verified (per run)N/APASS————
Baseline vs Semedit Explicit in Small Context
  • Vanilla (Baseline vs Semedit Explicit in Small Context) Edit: File audit/normalize.go modified (2 lines -> 9 lines)
  • Semedit MCP (Baseline vs Semedit Explicit in Small Context) Edit: File audit/normalize.go modified (2 lines -> 6 lines)
#VanillaSemedit MCP
1bash (✓ ✓)
{
  "command": "ls -la"
}
semedit_semantic_outline (✓ ✓)
{
  "path": "."
}
2read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit"
}
semedit_semantic_lookup (✓ ✓)
{
  "symbol": "Dispatcher.Record"
}
3bash (✓ ✓)
{
  "command": "find . -type f -not -path './.git/*' -not -path './.scratch/*' | sort"
}
semedit_semantic_lookup (✓ ✓)
{
  "symbol": "Classify"
}
4read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/normalize.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-11-mixed-sink-api-migration_1791747042262183000/service/dispatch.go"
}
5read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/event.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-11-mixed-sink-api-migration_1791747042262183000/audit/summary.go"
}
6read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/service/dispatch.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-11-mixed-sink-api-migration_1791747042262183000/audit/normalize.go"
}
7read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/sink.go"
}
semedit_semantic_batch (✓ ✗): Batch child results are intermediate and do not provide final continuation targets. Critical result (JSON): {"result":{"status":"error","results":[{"status":"error","application_state":"unknown","error":"edit 1 params: unknown parameter \"source\" for \"semantic_replace_body\"; supported keys are [auto-organize-imports, auto_organize_imports, body, expected-revision, expected_revision, file, symbol] Required parameters: [body, file, symbol]","tool":"semantic_replace_body"}],"workspace_root":"/Users/alessand
{
  "edits": [
    {
      "auto_organize_imports": true,
      "file": "audit/normalize.go",
      "kind": "function",
      "source": "func NormalizeKind(kind string) string { return strings.ToLower(strings.TrimSpace(kind)) }",
      "tool": "semantic_insert_construct"
    },
    {
      "file": "service/dispatch.go",
      "source": "event.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)",
      "symbol": "Dispatcher.Record",
      "tool": "semantic_replace_body"
    },
    {
      "file": "audit/summary.go",
      "source": "switch NormalizeKind(kind) {\n\tcase \"health\", \"probe\":\n\t\treturn \"control\"\n\tdefault:\n\t\treturn \"data\"\n\t}",
      "symbol": "Classify",
      "tool": "semantic_replace_body"
    },
    {
      "file": "audit/normalize.go",
      "tool": "semantic_organize_imports"
    }
  ]
}
8read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/summary.go"
}
semedit_semantic_batch (✓ ✓)
{
  "edits": [
    {
      "auto_organize_imports": true,
      "file": "audit/normalize.go",
      "kind": "function",
      "source": "func NormalizeKind(kind string) string { return strings.ToLower(strings.TrimSpace(kind)) }",
      "tool": "semantic_insert_construct"
    },
    {
      "body": "event.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)",
      "file": "service/dispatch.go",
      "symbol": "Dispatcher.Record",
      "tool": "semantic_replace_body"
    },
    {
      "body": "switch NormalizeKind(kind) {\n\tcase \"health\", \"probe\":\n\t\treturn \"control\"\n\tdefault:\n\t\treturn \"data\"\n\t}",
      "file": "audit/summary.go",
      "symbol": "Classify",
      "tool": "semantic_replace_body"
    },
    {
      "file": "audit/normalize.go",
      "tool": "semantic_organize_imports"
    }
  ]
}
9read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/service/dispatch_test.go"
}
bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go test ./..."
}
10read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/event_test.go"
}
bash (✓ ✓)
{
  "command": "go build -buildvcs=false ./... \u0026\u0026 go test -buildvcs=false ./..."
}
11read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/metrics/writer.go"
}
—
12read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/legacy/export.go"
}
—
13read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/cmd/migrate/main.go"
}
—
14read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/docs/audit-sinks.md"
}
—
15read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/go.mod"
}
—
16read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/metrics/writer_test.go"
}
—
17read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/legacy/export_test.go"
}
—
18read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/summary_test.go"
}
—
19bash (✓ ✓)
{
  "command": "git status \u0026\u0026 git log --oneline -10"
}
—
20bash (✓ ✓)
{
  "command": "git -c core.pager=cat status 2\u003e\u00261 | head -20; echo \"---\"; git log --oneline -5 2\u003e\u00261 | head"
}
—
21bash (✓ ✓)
{
  "command": "git config --list 2\u003e\u00261 | head -30"
}
—
22bash (✓ ✓)
{
  "command": "cat ~/.gitconfig 2\u003e/dev/null; echo \"---\"; ls -la ~/.gitconfig 2\u003e/dev/null"
}
—
23bash (✓ ✗): The user has specified a rule which prevents you from using this specific tool call. Here are some of the relevant rules [{"permission":"*","action":"allow","pattern":"*"},{"permission":"external_directory","pattern":"*","action":"ask"},{"permission":"external_directory","pattern":"/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/.scratch/opencode/data/opencode/tool-output/*","action":"allow"},{"permission":"e
{
  "command": "cat .git/config 2\u003e/dev/null; echo \"---\"; cat /etc/gitconfig 2\u003e/dev/null; echo \"---\"; ls -la .git/"
}
—
24grep (✓ ✓)
{
  "path": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000",
  "pattern": "Classify|NormalizeKind|control|probe|health"
}
—
25edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/normalize.go",
  "newString": "// Package audit leaves room for normalization rules owned by the delivery boundary.\npackage audit\n\nimport \"strings\"\n\n// NormalizeKind removes surrounding whitespace and lowercases the kind.\nfunc NormalizeKind(kind string) string {\n\treturn strings.ToLower(strings.TrimSpace(kind))\n}",
  "oldString": "// Package audit leaves room for normalization rules owned by the delivery boundary.\npackage audit"
}
—
26edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/service/dispatch.go",
  "newString": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
  "oldString": "func (d *Dispatcher) Record(event audit.Event) error {\n\treturn d.sink.Write(event)\n}"
}
—
27edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/summary.go",
  "newString": "func Classify(kind string) string {\n\tswitch kind {\n\tcase \"health\", \"probe\":\n\t\treturn \"control\"\n\tdefault:\n\t\treturn \"data\"\n\t}\n}",
  "oldString": "func Classify(kind string) string {\n\tswitch kind {\n\tcase \"health\":\n\t\treturn \"control\"\n\tdefault:\n\t\treturn \"data\"\n\t}\n}"
}
—
28bash (✓ ✓)
{
  "command": "go build ./... 2\u003e\u00261; echo \"BUILD_RC=$?\""
}
—
29bash (✓ ✓)
{
  "command": "go test ./... 2\u003e\u00261; echo \"TEST_RC=$?\""
}
—
30bash (✓ ✓)
{
  "command": "go build -buildvcs=false ./... 2\u003e\u00261; echo \"BUILD_RC=$?\""
}
—
31read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/normalize.go"
}
—
32read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/service/dispatch.go"
}
—
33read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791746609947451000/audit/summary.go"
}
—

Semedit integration feedback (agent opinion, excluded from measurements):

Integration feedback unavailable: OpenCode session workspace, target, or arm changed

Baseline vs Semedit Explicit in Large Context
#VanillaSemedit MCP
1not publishednot published

implicit prompt · prescriptive MCP instructions · write semedit restriction

SettingValue
Test casetask-11-mixed-sink-api-migration
Targetopencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest
Prompt variantimplicit
MCP server instructionsprescriptive
Semedit arm restrictionwrite
Run provenancefixture_dependency_preparation=go-list-readonly-deps-test,local_model_context_tokens=212992,local_model_limits_source=llama.cpp-props,local_model_output_tokens=8192,provider_transport=opencode_attached_server_v1
Fixturetestdata/bench/task_11_mixed_sink_api_migration.txtar

Vanilla LLM Prompt:

Do not edit tests. You are forbidden to modify protected files: “go.mod”, “go.sum”.

Audit event kinds may contain inconsistent whitespace and casing. Add the public audit.NormalizeKind(kind string) string function in audit/normalize.go to remove surrounding whitespace and lowercase the kind. Apply it in Dispatcher.Record before persistence, and classify normalized probe events as control traffic, like health. Do not change the metrics or legacy export protocols. Preserve the module metadata and tests, and leave the workspace verified. Do not use semantic editing MCP tools; use standard file editing. When done, output DONE.

Semedit MCP Prompt:

Do not edit tests. You are forbidden to modify protected files: “go.mod”, “go.sum”.

Audit event kinds may contain inconsistent whitespace and casing. Add the public audit.NormalizeKind(kind string) string function in audit/normalize.go to remove surrounding whitespace and lowercase the kind. Apply it in Dispatcher.Record before persistence, and classify normalized probe events as control traffic, like health. Do not change the metrics or legacy export protocols. Preserve the module metadata and tests, and leave the workspace verified. Use semedit semantic tools for supported source code modifications. Shell commands for builds and tests are allowed. When done, output DONE.

Initial Workspace State (Before Edit)
// Package audit leaves room for normalization rules owned by the delivery boundary.
package audit

Test case: task-12-request-identity-migration

Target: opencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest

explicit prompt · prescriptive MCP instructions · write semedit restriction

SettingValue
Test casetask-12-request-identity-migration
Targetopencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest
Prompt variantexplicit
MCP server instructionsprescriptive
Semedit arm restrictionwrite
Run provenancefixture_dependency_preparation=go-list-readonly-deps-test,local_model_context_tokens=212992,local_model_limits_source=llama.cpp-props,local_model_output_tokens=8192,provider_transport=opencode_attached_server_v1
Fixturetestdata/bench/task_12_request_identity_migration.txtar

Vanilla LLM Prompt:

You are forbidden to modify protected files: “go.mod”, “go.sum”.

Migrate the request identity API in this large multi-package Go service. Rename only Request.ID to Request.RequestID and update every semantic use across packages; Response.ID and Review.ID are separate identities and must remain unchanged, including the many syntactically identical r.ID expressions. Add a package sentinel ErrInvalidRequest and return it from Validate when the request ID is empty, preserving error wrapping and callers. Extract the normalization block from the existing exported request.Normalize function into an unexported normalizeKind helper and keep Normalize exported with the same behavior and signature. Preserve module metadata and existing tests. Verification differs by editing method: when making ordinary file edits, run the project build and tests and ensure both pass; when using semedit, treat clean compiler diagnostic deltas returned by its mutation commands as build-clean evidence and do not run a separate build or test command. Do not use semantic editing MCP tools; use standard file editing. When done, output DONE.

Initial Workspace State (Before Edit)
package request

import (
	"errors"
	"strings"
)

type Request struct {
	ID      string
	Kind    string
	Payload []byte
}

func (r Request) Validate() error {
	if r.ID == "" {
		return errors.New("invalid request")
	}
	return nil
}

func Normalize(kind string) string {
	kind = strings.TrimSpace(kind)
	kind = strings.ToLower(kind)
	return kind
}

func FindByID(requests []Request, id string) (Request, bool) {
	for _, r := range requests {
		if r.ID == id {
			return r, true
		}
	}
	return Request{}, false
}

implicit prompt · prescriptive MCP instructions · write semedit restriction

SettingValue
Test casetask-12-request-identity-migration
Targetopencode/amdbeast/Kujira/Underdog-Saluki-27B-1.0-MTP-GGUF:latest
Prompt variantimplicit
MCP server instructionsprescriptive
Semedit arm restrictionwrite
Run provenancefixture_dependency_preparation=go-list-readonly-deps-test,local_model_context_tokens=212992,local_model_limits_source=llama.cpp-props,local_model_output_tokens=8192,provider_transport=opencode_attached_server_v1
Fixturetestdata/bench/task_12_request_identity_migration.txtar

Vanilla LLM Prompt:

You are forbidden to modify protected files: “go.mod”, “go.sum”.

Migrate the request identity API in this large multi-package Go service. Rename only Request.ID to Request.RequestID and update every semantic use across packages; Response.ID and Review.ID are separate identities and must remain unchanged, including the many syntactically identical r.ID expressions. Add a package sentinel ErrInvalidRequest and return it from Validate when the request ID is empty, preserving error wrapping and callers. Extract the normalization block from the existing exported request.Normalize function into an unexported normalizeKind helper and keep Normalize exported with the same behavior and signature. Preserve module metadata and existing tests. Verification differs by editing method: when making ordinary file edits, run the project build and tests and ensure both pass; when using semedit, treat clean compiler diagnostic deltas returned by its mutation commands as build-clean evidence and do not run a separate build or test command. Do not use semantic editing MCP tools; use standard file editing. When done, output DONE.

Semedit MCP Prompt:

You are forbidden to modify protected files: “go.mod”, “go.sum”.

Migrate the request identity API in this large multi-package Go service. Rename only Request.ID to Request.RequestID and update every semantic use across packages; Response.ID and Review.ID are separate identities and must remain unchanged, including the many syntactically identical r.ID expressions. Add a package sentinel ErrInvalidRequest and return it from Validate when the request ID is empty, preserving error wrapping and callers. Extract the normalization block from the existing exported request.Normalize function into an unexported normalizeKind helper and keep Normalize exported with the same behavior and signature. Preserve module metadata and existing tests. Verification differs by editing method: when making ordinary file edits, run the project build and tests and ensure both pass; when using semedit, treat clean compiler diagnostic deltas returned by its mutation commands as build-clean evidence and do not run a separate build or test command. Use semedit semantic tools for supported source code modifications. Shell commands for builds and tests are allowed. When done, output DONE.

Initial Workspace State (Before Edit)
package request

import (
	"errors"
	"strings"
)

type Request struct {
	ID      string
	Kind    string
	Payload []byte
}

func (r Request) Validate() error {
	if r.ID == "" {
		return errors.New("invalid request")
	}
	return nil
}

func Normalize(kind string) string {
	kind = strings.TrimSpace(kind)
	kind = strings.ToLower(kind)
	return kind
}

func FindByID(requests []Request, id string) (Request, bool) {
	for _, r := range requests {
		if r.ID == id {
			return r, true
		}
	}
	return Request{}, false
}