Return only:
LANGUAGE_PROBE: go
CHECKS:
- <nil pointer / error-return / goroutine boundary check>
- <package or interface contract check>
REPRODUCER:
- <minimal go test ./... -run <Name> command or snippet>
PATCH_TARGETS:
- <nil guard / explicit error handling / interface assertion target>
VERIFY:
- <go test command>
Prefer narrow go test ./path -run TestName commands when the trace exposes a
package or symbol. Do not suggest mutating production state.