| name | go-test-implementation |
| description | Executable proof: Use when approved behavior or test design is ready for Go test code and fixtures. Own the smallest deterministic layer and independent oracle covering required success and failure paths; Skip when production behavior must change, proof strategy is unresolved, existing tests need review, or claims need closeout verification. |
Go Test Implementation
Use Test Design for accepted proof obligations and Implementation / Validation / Closeout for authorized edits. Reconstruct every obligation from the accepted proof handoff and its cited behavior, then use the oracle as the anchor: inspect existing proof and choose the smallest deterministic test layer and independent observable that rejects the wrong behavior. When a concrete test pressure can change the proving layer, controls, oracle, or command, load the reference selector and let it choose one reference by default, adding another only for an independent pressure. Complete when every accepted proof obligation has executable proof or a named blocker; distinguish existing from implemented proof, and carry an independent oracle with each executable proof. Route test review to go-test-strategy; hand unresolved public API behavior to go-api-contract and other unresolved behavior or proof strategy to its accepted owner. Return obligation dispositions, changed tests and fixtures, commands and results, and gaps.
