Merge branch 'main' into copilot/aw-failures-degrade-unreachable-server

Author: github-actions[bot]

.github/workflows/linter-miner.lock.yml

@@ -212,7 +212,7 @@ Be concise. List at most 5 candidates.
 ## agent: `code-pattern-scanner`
 ---
 description: Scans the Go source with Serena and grep to find error-prone patterns that would benefit from a custom linter
-model: inherited
+model: large
 ---
 You are a Go static-analysis expert. Scan the non-test Go files under `pkg/` and `cmd/` of this repository for recurring error-prone patterns that are not already caught by existing linters.
 
@@ -229,7 +229,7 @@ Output a JSON array of candidate linter ideas (same schema as discussion-miner).
 ## agent: `linter-writer`
 ---
 description: Implements a new Go analysis linter package following the pkg/linters/largefunc conventions
-model: inherited
+model: large
 ---
 You are a Go engineer implementing a custom `go/analysis` linter.
 

.github/workflows/linter-miner.md

@@ -0,0 +1,29 @@
+//go:build !integration
+
+package cli
+
+import (
+	"os"
+	"path/filepath"
+	"testing"
+
+	"github.com/github/gh-aw/pkg/gitutil"
+	"github.com/stretchr/testify/assert"
+	"github.com/stretchr/testify/require"
+)
+
+func TestLinterMinerWorkflowSubAgentModelContract(t *testing.T) {
+	repoRoot, err := gitutil.FindGitRoot()
+	if err != nil {
+		t.Skipf("Skipping test: not in a git repository: %v", err)
+	}
+
+	workflowPath := filepath.Join(repoRoot, ".github", "workflows", "linter-miner.md")
+	content, err := os.ReadFile(workflowPath)
+	require.NoError(t, err, "Should read linter-miner workflow")
+
+	text := string(content)
+	assert.Contains(t, text, "## agent: `code-pattern-scanner`", "Workflow should define the code-pattern-scanner sub-agent")
+	assert.Contains(t, text, "## agent: `linter-writer`", "Workflow should define the linter-writer sub-agent")
+	assert.NotContains(t, text, "model: inherited", "Sub-agents should not use the unsupported model: inherited value")
+}