[codex] Add Lab local agent guidance support

[willccbb]

Summary

• Treat root AGENTS.md, root CLAUDE.md, and environments/AGENTS.md as Prime-managed guidance refreshed by prime lab setup / prime lab sync.
• Use Claude-native CLAUDE.local.md as the local write space when Claude is configured; preserve it and never overwrite it.
• Add Lab git hygiene guardrails: ignore generated guidance, Claude local guidance, outputs, caches, and environment build artifacts.
• Add prime lab doctor checks and --fix support to detect and untrack Lab generated/local guidance files that were already added to git.
• Bump VERIFIERS_REF to the merged Verifiers guidance ref f43e42c1fabfe2604afc95b9ce62779a8f55d487.

Validation

• uv run pytest packages/prime/tests/test_lab_setup.py -q
• uv run pytest packages/prime/tests/test_lab_view.py::test_prime_lab_sync_service_refreshes_agent_assets -q
• uv run ruff check packages/prime/src/prime_cli/lab_setup.py packages/prime/tests/test_lab_setup.py
• uv run ruff format --check packages/prime/src/prime_cli/lab_setup.py packages/prime/tests/test_lab_setup.py
• git diff --check -- packages/prime/src/prime_cli/lab_setup.py packages/prime/tests/test_lab_setup.py

---

Note

Medium Risk
Changes Lab setup/sync to always manage guidance files and to run git commands to detect/untrack tracked guidance, which can affect developer workspaces and repo state. Logic is straightforward but touches CLI workflows and filesystem/git interactions.

Overview
Lab setup/sync now always downloads CLAUDE.md alongside AGENTS.md, and creates a user-preserved CLAUDE.local.md when the claude agent is in use.

The default Lab .gitignore list is expanded to ignore guidance files (including environments/AGENTS.md), and lab doctor adds a new check (and --fix remediation) to warn/untrack any guidance files accidentally committed.

Updates the pinned VERIFIERS_REF and adjusts tests/docs index generation to reflect the new guidance behavior.

^{Reviewed by Cursor Bugbot for commit 63d3af8. Bugbot is set up for automated code reviews on this repo. Configure here.}