v1.0.3

This release covers everything since v1.0.1. Version 1.0.2 was bumped in the pom but never tagged or published, so its changes ship here as part of 1.0.3.

Proxy port-conflict handling (1.0.3)

A stale proxy instance could hold the MCP port indefinitely while every relaunch died silently with "Address already in use", leaving clients on an outdated build. That scenario is now detectable and recoverable:

• Each instance is recorded in ~/.descartes-mcp/proxy-<port>.pid (PID, build, start time) and the file is removed on shutdown.
• On a bind conflict the proxy names the owning instance and fails with instructions, or terminates it and takes over with the new --replace flag (DESCARTES_REPLACE). Falls back to lsof for owners that predate PID-file support.
• The build id (BuildInfo, from a filtered version.properties) is now exposed in the banner, startup log, PID file, and MCP serverInfo, so version skew is visible to clients.
• A manual stop now logs once when it disarms auto-reconnect, and all log timestamps include the date (INFO lines previously had none).

Debugger reconnect recovery and logging (1.0.2)

Fixes to debugger reconnect recovery and its logging behavior.

Unified debugger skill (1.0.2)

The Descartes debugger skill is now single-source at .agents/skills/descartes-debug, shared across Claude Code, Codex, and Gemini CLI. See doc/debug-skill.md.

Documentation

• AGENTS.md gained a Releasing section documenting the tag-and-publish steps required after a version bump.
• The Surefire cleanup pattern in AGENTS.md is now scoped to this repo's target/ so it cannot kill other sessions' test forks.

Full Changelog: v1.0.1...v1.0.3