Use dotagents for all generated marketplaces #175

Problem

Dotagents uses different names for generated marketplaces that contain the same managed plugin set:

The Codex name came from the first plugin adapter in PR #113. The repository does not document a reason for the -local suffix.

This difference makes Codex plugin selectors and documentation inconsistent with the other marketplace-based agents. For example, Codex uses <name>@dotagents-local, while Claude, Copilot, and Cursor use the dotagents marketplace name.

Proposed change

Use dotagents as the generated marketplace name for every supported agent that receives a Dotagents marketplace.

This change applies to Claude Code, GitHub Copilot, Cursor, and Codex. Grok Build, OpenCode, Pi, and VS Code do not receive a generated marketplace, so this change does not apply to them.

Keep the marketplace name in one shared constant so a new adapter cannot introduce another name by accident.

Migration

This is a native client identity change for existing Codex users. Codex stores the marketplace name in its registered marketplace and installed plugin IDs.

Document the required migration:

1. Remove installed <name>@dotagents-local plugins from Codex.
2. Remove the dotagents-local marketplace from Codex.
3. Run Dotagents install or sync to generate the renamed catalog.
4. Register the Dotagents marketplace root again.
5. Install each plugin as <name>@dotagents.

Dotagents does not manage Codex marketplace registration or installed plugin state. Automatic native migration is outside this issue.

Acceptance criteria

• Claude Code, GitHub Copilot, Cursor, and Codex generated marketplaces use dotagents.
• Codex project and global fixtures install plugins as <name>@dotagents.
• The QA scripts and references contain no dotagents-local selectors.
• The guide, CLI reference, README, and llms.txt use the same marketplace name.
• Release notes explain the required Codex migration.
• Tests cover deterministic output, project scope, global scope, and native Codex registration.
• Agents without a generated marketplace keep their current behavior.

Scope

This issue covers generated marketplace naming and Codex migration documentation. Native marketplace registration and plugin installation remain separate product work.

References

• PR #113
• PR #166