internal/models/taskspec.go:17

• TaskSpec.Inputs was renamed from Stimulus, but its JSON tag is still json:"stimulus". This makes the JSON representation inconsistent with the field name and the task schema (which uses inputs), and is likely an accidental leftover from the mechanical rename. Consider changing the JSON tag to json:"inputs" (or removing the JSON tag if TaskSpec is not meant to be JSON-serialized).

internal/models/spec_test.go:83

• Several test function names look mangled by the mechanical rename (e.g., TestBenchmarkEvaltsDeserialization). Consider renaming these to clear TestEvalSpec_...-style names so test intent is obvious and consistent.
  internal/models/taskspec.go:17
• TaskSpec.Inputs still has the JSON tag json:"stimulus". Since task.get returns TaskSpec as JSON (see JSON-RPC handler), this will emit stimulus instead of inputs and is inconsistent with the YAML/schema. Update the JSON tag to json:"inputs" (and consider omitempty if appropriate).
  internal/orchestration/runner.go:631
• The comment and error message here still refer to "test cases" even though this function loads TaskSpecs. Update wording (and the error message) to "tasks"/"task specs" to match the new naming.

internal/models/taskspec.go:16

• TaskSpec.Inputs is now the canonical field name, but the JSON tag is still json:"stimulus". Since task.get returns *models.TaskSpec directly, this makes the JSON-RPC payload inconsistent with the rename (and likely with the YAML/schema key inputs). Consider updating the JSON tag to inputs (or, if backward compatibility is required, return a separate DTO from the handler to keep the old field name).

This issue also appears on line 62 of the same file.
internal/models/taskspec.go:66

• Grader.Identifier is still the Go field name used throughout the codebase, but its JSON tag was changed to json:"name". Because task.get returns the TaskSpec directly, this is an API breaking change and also inconsistent with models.GraderConfig.Identifier (which serializes as identifier) and models.GraderResults.Name (which serializes as identifier). Consider keeping the JSON tag as identifier (or rename the field to Name everywhere) to avoid surprising RPC consumers.
  cmd/waza/cmd_run_suggest.go:518
• This error message still says "failed to load test case" even though loadTaskSpecsFromFiles loads TaskSpecs. Renaming it to "failed to load task spec" (or "task") would keep terminology consistent with the rest of the renamed code.

	for _, path := range testFiles {
		tc, err := models.LoadTaskSpec(path)
		if err != nil {
			return nil, fmt.Errorf("failed to load test case %s: %w", path, err)
		}