feat: expand jsonrpc protocol support + fix issues

[factory-davidgu]

Summary

• resolve protocol gaps from Python SDK 0.1.2 is behind the current Droid JSON-RPC surface #3, ToolResult and ToolProgress drop the toolUseId the protocol sends #4, and ErrorEvent hides the nested error.name that arrives on the wire #5, including missing RPC methods, tool-use correlation, and nested error details
• add typed request/result models for lifecycle, discovery, context, and rewind operations
• preserve constructor compatibility and allow tool discovery before session initialization
• register the permission handler in the interactive example
• add opt-in live droid exec coverage and deterministic protocol regression tests
• use a dedicated 240-second compaction timeout and synchronize the lockfile package version with pyproject.toml

Validation

• uv run --group dev python -m pytest (1247 passed, 8 skipped)
• uv run --group dev python -m mypy --strict src
• uv run --group dev python -m ruff check .
• uv run --group dev python -m ruff format --check .

Notes

Live CLI tests remain opt-in with DROID_LIVE_TESTS=1. Tool-control schema expansion is intentionally deferred.

[varin-nair-factory]

I ran the new APIs against a freshly built droid-dev. The live suite passed, and compact, fork, and rewind correctly preserved the original active session. I found one runtime-confirmed lifecycle bug and one structural issue in the typed API boundary.