feat(doctor): one module-unavailable finding for every optional module

[V3RON]

Closes #596

Status

Implement: done (8/8 green) Review: round 1 passed Hardware: unavailable (SIMLOCK_E2E_AGENT_DEVICE not set) Gate: waiting for the stack
Next: hardware check of Done when line 3 on a Mac with an agent-device checkout

Done when

• Every Tests line passes. Checked by the green and audit runs (8/8 spec test files) and CI.
• git grep -n agent-device-unavailable -- src e2e ':(glob)docs/*.md' prints only the refusal test in src/contract/schemas.test.ts and the protocol 30 row in src/daemon/server.test.ts. Checked by the audit.
• F10's two assertions name module-unavailable; scripts/slow-e2e.sh e2e/slow-agent-device.test.ts passes on a Mac with an iOS runtime. The assertions are in the diff; the lane did not run because no agent-device checkout is configured on this machine.

Assumptions

none

Review

Spec review: 0 blocking, 0 fixed, 0 notes. Code review: 0 blocking, 0 fixed, 0 notes. Claims review: 2 blocking, 2 fixed, 1 notes.
Rounds: 1. Tokens: 12.5M.

Fixed unreviewed (fix check after the rebase onto main): claims: src/contract/AGENTS.md:58 and src/daemon/AGENTS.md:56 protocol range.

Written by an agent.

[V3RON]

Review notes

Not blocking, not verified. Each is one reviewer's claim.

• claims: docs/internal/adr/0023-agent-device-is-served-by-an-optional-edge-module.md:66 still says the core has one doctor finding kind, agent-device-unavailable; the code now has module-unavailable with a module field. It is an accepted ADR record, which this PR does not change.

Written by an agent.