Two example servers default to the same port and one client omits the conventional /arcp path

[nficano]

Category: docs Severity: minor
Location: examples/provisioned-credentials/server.ts:11-11

What

examples/progress/server.ts also defaults to 7892; every other example server uses a unique port, so running both demos with defaults collides (EADDRINUSE). Separately, examples/provisioned-credentials/client.ts:3 connects to ws://127.0.0.1:7892 without the /arcp path every other client example uses.

Evidence

const PORT = Number(process.env.ARCP_DEMO_PORT ?? 7892);

Proposed fix

Reassign provisioned-credentials to an unused port and add the /arcp path to its client URL.

Acceptance criteria

• Each example server's default port is unique and the client URL matches the /arcp convention.