Summary
`docs/developers-guide.md` still omits the Whitaker lint/install flow; the change is documented only in AGENTS.md, not the developer guide.
Required changes
Add a developers-guide section covering `make lint-clippy`, `make lint-whitaker`, `whitaker-installer` 0.2.5 installation, and the root `dylint.toml` exclusions. Sync any related design notes.
Affected areas
- `docs/developers-guide.md`
- `AGENTS.md` (for cross-reference)
- `dylint.toml`
Acceptance criteria
- Developer guide documents the full Whitaker lint/install workflow consistently with AGENTS.md.
References
- PR: $pr_url
- Requested by: @$assignee
Summary
`docs/developers-guide.md` still omits the Whitaker lint/install flow; the change is documented only in AGENTS.md, not the developer guide.
Required changes
Add a developers-guide section covering `make lint-clippy`, `make lint-whitaker`, `whitaker-installer` 0.2.5 installation, and the root `dylint.toml` exclusions. Sync any related design notes.
Affected areas
Acceptance criteria
References