skills/go-testing-and-verification/skill.json

{"schema_version":2,"collection":"engineering-skills-for-go","display_name":"Go Testing and Verification","short_description":"Build executable Go correctness evidence","default_prompt":"Use $go-testing-and-verification to design evidence for this Go invariant.","version":"0.2.0","maturity":"beta","category":"verification","risk_domains":["correctness","concurrency","security"],"tags":["go","testing","fuzzing","race-detector","integration","oracles"],"go_versions":{"minimum":"1.24","guidance":["1.25","1.26"]},"claim_ids":["eng-verification-by-risk"],"relations":{"complements":["go-language-engineering","go-performance-and-diagnostics"],"overlaps":[]},"compatibility_evidence":[{"client":"codex","level":"behaviorally-benchmarked","contract":"OpenAI skill plus agents/openai.yaml and committed eval artifacts","verified_on":"2026-08-18"},{"client":"claude-code","level":"structurally-compatible","contract":"Claude plugin skill layout and manifest validation","verified_on":"2026-08-18"},{"client":"cursor","level":"structurally-compatible","contract":"Agent Plugin and .cursor/skills layout validation","verified_on":"2026-08-18"},{"client":"opencode","level":"structurally-compatible","contract":".agents/skills layout and portable frontmatter validation","verified_on":"2026-08-18"}],"source_provenance":{"method":"independent-rewrite-from-primary-evidence","reference_repositories":["cc-skills-golang","cxuu-golang-skills","gophers"],"corpus_lock":"research/corpus-lock.json"},"sources":[{"title":"Package testing","url":"https://pkg.go.dev/testing","publisher":"The Go Authors","kind":"normative","verified_on":"2026-08-18","supports":["tests","benchmarks","fuzzing"]},{"title":"Data Race Detector","url":"https://go.dev/doc/articles/race_detector","publisher":"The Go Authors","kind":"primary","verified_on":"2026-08-18","supports":["race evidence","coverage limits"]},{"title":"testing/synctest package (Go 1.26.5)","url":"https://pkg.go.dev/testing/synctest@go1.26.5","publisher":"The Go Authors","kind":"normative","verified_on":"2026-08-24","supports":["test bubbles","fake time","durable blocking","quiescence"]}]}