Skip to content
Documentation
Benchmarks
Benchmark runs
Benchmark run hard-smoke-saluki-20261011T203354Z

Benchmark run hard-smoke-saluki-20261011T203354Z

This page contains exactly the publishable benchmark observations recorded in run hard-smoke-saluki-20261011T203354Z; 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 Latency28.54s86.66s+203.6%———
Process Start → First Event8.08s23.93s————
First Event → First Tool Call2.17s2.61s————
MCP Initialize → First Semantic Call——————
MCP Server Start → Initialize——————
Top-Level User Turns110%———
Internal Tool Cycles410+150.0%———
Initial Load / Discovery Turns21-50.0%———
MCP Discovery / Schema Turns00————
Tool Invocations (per run)410+150.0%———
Output Tokens5802268+291.0%———
Reasoning / Thinking Tokens00————
Total Input Tokens36522259769+611.3%———
Cached Input Tokens29312233097+695.2%———
Uncached Input Tokens721026672+269.9%———
Cost——————
Cached vs Uncached Token Ratio4.07:18.74:1+115.0%———
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 -> 21 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_1791750970648203000/config/config.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-09-composite-refactor_1791751301150588000/config/config.go"
}
2grep (✓ ✓)
{
  "path": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791750970648203000",
  "pattern": "\\.Port\\b|ListenPort"
}
semedit_semantic_lookup (✓ ✓)
{
  "file": "config/config.go",
  "language": "go",
  "symbol": "Config.Port"
}
3write (✓ ✓)
{
  "content": "package config\n\nimport (\n\t\"fmt\"\n)\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}\n",
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791750970648203000/config/config.go"
}
semedit_semantic_inspect_symbol (✓ ✓)
{
  "file": "config/config.go",
  "language": "go",
  "symbol": "Config.Addr"
}
4bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go test ./config/",
  "workdir": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-09-composite-refactor_1791750970648203000"
}
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": {
        "auto_organize_imports": true,
        "file": "config/config.go",
        "language": "go",
        "symbol": "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"
    }
  ],
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-09-composite-refactor_1791751301150588000"
}
5—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-09-composite-refactor_1791751301150588000/config/config.go"
}
6—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-explicit_small-explicit_task-09-composite-refactor_1791751301150588000"}} { "status": "error", "workspace_root": "/Users/alessan
{
  "edits": [
    {
      "params": {
        "auto_organize_imports": true,
        "file": "config/config.go",
        "language": "go",
        "symbol": "Port",
        "to": "ListenPort"
      },
      "tool": "semantic_rename"
    },
    {
      "params": {
        "file": "config/config.go",
        "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"
    }
  ],
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-09-composite-refactor_1791751301150588000"
}
7—semedit_semantic_rename (✓ ✓)
{
  "file": "config/config.go",
  "language": "go",
  "symbol": "Config.Port",
  "to": "ListenPort"
}
8—semedit_semantic_insert_construct (✓ ✓)
{
  "file": "config/config.go",
  "kind": "function",
  "placement": "public_end",
  "source": "func DefaultConfig() *Config { return \u0026Config{Host: \"localhost\", ListenPort: 8080} }"
}
9—semedit_semantic_verify (✓ ✓)
{
  "language": "go",
  "path": "config"
}
10—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-09-composite-refactor_1791751301150588000/config/config.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-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)
}

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 Latency126.17s69.77s-44.7%———
Process Start → First Event8.12s23.57s————
First Event → First Tool Call1.21s1.32s————
MCP Initialize → First Semantic Call——————
MCP Server Start → Initialize——————
Top-Level User Turns110%———
Internal Tool Cycles248-66.7%———
Initial Load / Discovery Turns180-100.0%———
MCP Discovery / Schema Turns00————
Tool Invocations (per run)248-66.7%———
Output Tokens33161433-56.8%———
Reasoning / Thinking Tokens00————
Total Input Tokens359981152222-57.7%———
Cached Input Tokens322541124730-61.3%———
Uncached Input Tokens3744027492-26.6%———
Cost——————
Cached vs Uncached Token Ratio8.61:14.54:1-47.3%———
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 -> 8 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_lookup (✓ ✓)
{
  "symbol": "Dispatcher.Record"
}
2glob (✓ ✓)
{
  "pattern": "**/*audit*"
}
semedit_semantic_lookup (✓ ✓)
{
  "symbol": "Classify"
}
3bash (✓ ✓)
{
  "command": "find . -type f -not -path './.git/*' | sort"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-11-mixed-sink-api-migration_1791751771691754000/service/dispatch.go"
}
4read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/event.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-11-mixed-sink-api-migration_1791751771691754000/audit/summary.go"
}
5read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/normalize.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-11-mixed-sink-api-migration_1791751771691754000/audit"
}
6read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/service/dispatch.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit-explicit_small-explicit_task-11-mixed-sink-api-migration_1791751771691754000/audit/normalize.go"
}
7read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/sink.go"
}
semedit_semantic_batch (✓ ✓)
{
  "edits": [
    {
      "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)\nreturn 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}",
      "file": "audit/summary.go",
      "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_1791751389762947000/audit/event_test.go"
}
bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go test ./..."
}
9read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/summary.go"
}
—
10read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/summary_test.go"
}
—
11read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/service/dispatch_test.go"
}
—
12read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/legacy/export.go"
}
—
13read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/legacy/export_test.go"
}
—
14read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/metrics/writer.go"
}
—
15read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/metrics/writer_test.go"
}
—
16read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/cmd/migrate/main.go"
}
—
17read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/docs/audit-sinks.md"
}
—
18read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/go.mod"
}
—
19write (✓ ✓)
{
  "content": "// Package audit leaves room for normalization rules owned by the delivery boundary.\npackage audit\n\nimport \"strings\"\n\nfunc NormalizeKind(kind string) string {\n\treturn strings.ToLower(strings.TrimSpace(kind))\n}\n",
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/normalize.go"
}
—
20edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/summary.go",
  "newString": "func Classify(kind string) string {\n\tswitch NormalizeKind(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}"
}
—
21edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/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}"
}
—
22bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go vet ./... \u0026\u0026 go test ./..."
}
—
23bash (✓ ✓)
{
  "command": "git status --short 2\u003e/dev/null; git diff --stat 2\u003e/dev/null"
}
—
24bash (✓ ✓)
{
  "command": "git status"
}
—

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
MetricVanilla (Small)MCP (Small)Δ (Small)Vanilla (Large)MCP (Large)Δ (Large)
Wall-Clock Latency126.17s219.94s+74.3%———
Process Start → First Event8.12s23.75s————
First Event → First Tool Call1.21s2.74s————
MCP Initialize → First Semantic Call——————
MCP Server Start → Initialize——————
Top-Level User Turns110%———
Internal Tool Cycles2436+50.0%———
Initial Load / Discovery Turns1817-5.6%———
MCP Discovery / Schema Turns00————
Tool Invocations (per run)2436+50.0%———
Output Tokens33167245+118.5%———
Reasoning / Thinking Tokens00————
Total Input Tokens359981799227+122.0%———
Cached Input Tokens322541766625+137.7%———
Uncached Input Tokens3744032602-12.9%———
Cost——————
Cached vs Uncached Token Ratio8.61:123.51:1+173.0%———
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 audit/normalize.go modified (2 lines -> 8 lines)
  • Semedit MCP (Baseline vs Semedit Agentic in Small Context) Edit: File audit/normalize.go modified (2 lines -> 8 lines)
#VanillaSemedit MCP
1bash (✓ ✓)
{
  "command": "ls -la"
}
bash (✓ ✓)
{
  "command": "ls -la /Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
2glob (✓ ✓)
{
  "pattern": "**/*audit*"
}
bash (✓ ✓)
{
  "command": "ls -la audit cmd docs legacy metrics service"
}
3bash (✓ ✓)
{
  "command": "find . -type f -not -path './.git/*' | sort"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/audit/event.go"
}
4read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/event.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/audit/normalize.go"
}
5read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/normalize.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/service/dispatch.go"
}
6read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/service/dispatch.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/audit/sink.go"
}
7read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/sink.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/service/dispatch_test.go"
}
8read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/event_test.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/audit/event_test.go"
}
9read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/summary.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/audit/summary_test.go"
}
10read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/summary_test.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/audit/summary.go"
}
11read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/service/dispatch_test.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/metrics/writer.go"
}
12read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/legacy/export.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/legacy/export.go"
}
13read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/legacy/export_test.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/docs/audit-sinks.md"
}
14read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/metrics/writer.go"
}
bash (✓ ✓)
{
  "command": "ls -R cmd/migrate \u0026\u0026 cat go.mod"
}
15read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/metrics/writer_test.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/cmd/migrate/main.go"
}
16read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/cmd/migrate/main.go"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/metrics/writer_test.go"
}
17read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/docs/audit-sinks.md"
}
read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/legacy/export_test.go"
}
18read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/go.mod"
}
semedit_semantic_batch (✓ ✗): Batch child results are intermediate and do not provide final continuation targets. Critical result (JSON): {"result":{"status":"error","results":[{"status":"ok","diagnostic_status":"deferred","file":"audit/normalize.go","symbol":"NormalizeKind","tool":"semantic_insert_construct"},{"status":"ok","diagnostic_status":"deferred","file":"audit/summary.go","symbol":"Classify","tool":"semantic_replace_construct"},{"status":"error","application_state":"unknown","error":"replacement must preserve the selected funct
{
  "edits": [
    {
      "file": "audit/normalize.go",
      "kind": "function",
      "source": "func NormalizeKind(kind string) string {\n\treturn strings.ToLower(strings.TrimSpace(kind))\n}",
      "tool": "semantic_insert_construct"
    },
    {
      "file": "audit/summary.go",
      "kind": "function",
      "source": "func Classify(kind string) string {\n\tswitch NormalizeKind(kind) {\n\tcase \"health\", \"probe\":\n\t\treturn \"control\"\n\tdefault:\n\t\treturn \"data\"\n\t}\n}",
      "symbol": "Classify",
      "tool": "semantic_replace_construct"
    },
    {
      "file": "service/dispatch.go",
      "kind": "function",
      "source": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
      "symbol": "Dispatcher.Record",
      "tool": "semantic_replace_construct"
    }
  ],
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
19write (✓ ✓)
{
  "content": "// Package audit leaves room for normalization rules owned by the delivery boundary.\npackage audit\n\nimport \"strings\"\n\nfunc NormalizeKind(kind string) string {\n\treturn strings.ToLower(strings.TrimSpace(kind))\n}\n",
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/normalize.go"
}
semedit_semantic_replace_construct (✓ ✗): Critical result (JSON): {"application_state":"unknown","error":"replacement must preserve the selected function symbol \"Record\""} replacement must preserve the selected function symbol "Record"
{
  "file": "service/dispatch.go",
  "kind": "function",
  "source": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
  "symbol": "Record",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
20edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/audit/summary.go",
  "newString": "func Classify(kind string) string {\n\tswitch NormalizeKind(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}"
}
semedit_semantic_replace_construct (✓ ✗): Critical result (JSON): {"application_state":"unknown","error":"replacement must preserve the selected function symbol \"(*Dispatcher).Record\""} replacement must preserve the selected function symbol "(*Dispatcher).Record"
{
  "file": "service/dispatch.go",
  "kind": "function",
  "source": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
  "symbol": "(*Dispatcher).Record",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
21edit (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_baseline-diff_small_task-11-mixed-sink-api-migration_1791751389762947000/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}"
}
semedit_semantic_replace_construct (✓ ✗): Critical result (JSON): {"application_state":"unknown","error":"symbol is required for kind=function"} symbol is required for kind=function
{
  "file": "service/dispatch.go",
  "kind": "function",
  "source": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
22bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go vet ./... \u0026\u0026 go test ./..."
}
semedit_semantic_replace_construct (✓ ✗): Critical result (JSON): {"application_state":"unknown","error":"replacement must preserve the selected function symbol \"Record\""} replacement must preserve the selected function symbol "Record"
{
  "file": "service/dispatch.go",
  "kind": "function",
  "source": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
  "symbol": "Record",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
23bash (✓ ✓)
{
  "command": "git status --short 2\u003e/dev/null; git diff --stat 2\u003e/dev/null"
}
semedit_semantic_replace_construct (✓ ✗): Critical result (JSON): {"application_state":"unknown","error":"symbol is required for kind=function"} symbol is required for kind=function
{
  "auto_organize_imports": true,
  "file": "service/dispatch.go",
  "kind": "function",
  "source": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
24bash (✓ ✓)
{
  "command": "git status"
}
semedit_semantic_replace_construct (✓ ✗): Critical result (JSON): {"application_state":"unknown","error":"replacement must preserve the selected function symbol \"Record\""} replacement must preserve the selected function symbol "Record"
{
  "file": "service/dispatch.go",
  "kind": "function",
  "source": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
  "symbol": "Record",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
25—semedit_semantic_replace_construct (✓ ✗): Critical result (JSON): {"application_state":"unknown","error":"replacement must preserve the selected function symbol \"Record\""} replacement must preserve the selected function symbol "Record"
{
  "file": "service/dispatch.go",
  "kind": "function",
  "source": "func (d *Dispatcher) Record(event audit.Event) error {\n\tevent.Kind = audit.NormalizeKind(event.Kind)\n\treturn d.sink.Write(event)\n}",
  "symbol": "Record",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
26—semedit_semantic_insert_construct (✓ ✗): Critical result (JSON): {"application_state":"unknown","error":"plan statement insertion: function \"Record\" not found"} plan statement insertion: function "Record" not found
{
  "anchor": "before_return",
  "file": "service/dispatch.go",
  "in_function": "Record",
  "kind": "statement/expression",
  "source": "event.Kind = audit.NormalizeKind(event.Kind)",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
27—semedit_semantic_insert_construct (✓ ✓)
{
  "anchor": "before_return",
  "file": "service/dispatch.go",
  "in_function": "Dispatcher.Record",
  "kind": "statement/expression",
  "source": "event.Kind = audit.NormalizeKind(event.Kind)",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
28—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/service/dispatch.go"
}
29—bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go test ./...",
  "workdir": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
30—semedit_semantic_insert_construct (✓ ✓)
{
  "file": "audit/normalize.go",
  "kind": "decl",
  "placement": "file_start",
  "source": "import \"strings\"",
  "workspace_root": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
31—bash (✓ ✓)
{
  "command": "go build ./... \u0026\u0026 go test ./...",
  "workdir": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
32—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/audit/normalize.go"
}
33—read (✓ ✓)
{
  "filePath": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000/audit/summary.go"
}
34—bash (✓ ✓)
{
  "command": "git status --short \u0026\u0026 git diff --stat",
  "workdir": "/Users/alessandro/sources/semantic-editor/.scratch/benchmarks/run_opencode_semedit_small-implicit_task-11-mixed-sink-api-migration_1791751516338706000"
}
35—bash (✓ ✓)
{
  "command": "ls -la --time-style=+%Y-%m-%d\\ %H:%M:%S audit service metrics legacy go.mod go.sum 2\u003e/dev/null; ls -la go.sum 2\u003e/dev/null || echo \"no go.sum\""
}
36—bash (✓ ✓)
{
  "command": "stat -f \"%m %N\" audit/*.go service/*.go metrics/*.go legacy/*.go go.mod"
}

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

I'd definitely ask my owner to add semedit's tools — the structured edits and built-in diagnostics genuinely made adding `NormalizeKind` and rewriting `Classify` feel safe and verifiable — though I was a little frustrated that method replacement kept failing on `Dispatcher.Record` and I had to fall back to statement insertion to finish the job.
Baseline vs Semedit Agentic in Large Context
#VanillaSemedit MCP
1not publishednot published

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
}
Benchmark run hard-smoke-saluki-20261011T113200ZBenchmark run hard-smoke-saluki-fixed-20261011T165800Z