GedCode v0.1.3-nightly.20260614.1

What's Changed

• docs: drop removed Bitbucket and Azure DevOps source-control providers (Plan 001) by @edgyarmati in #21
• docs: prune shipped items from TODO.md (Plan 002) by @edgyarmati in #22
• docs: [spike] scope GUI remote-project add gap (Plan 016) by @edgyarmati in #28
• docs: [spike] decide fate of Ged role-invocation subsystem (Plan 014) by @edgyarmati in #29
• docs: [spike] message queueing design (Plan 015) by @edgyarmati in #30
• fix: surface swallowed WebSocket subscription errors (Plan 007) by @edgyarmati in #24
• fix+perf: settle turnId-less interrupts; incremental web store slices (Plans 006+012) by @edgyarmati in #26
• perf: derive thread-shell summary counters incrementally (Plan 011) by @edgyarmati in #27
• chore+test: remove phantom turbo build tasks; add opt-in coverage (Plans 003+004) by @edgyarmati in #25
• fix: resolve pending Claude user-input requests when a session stops (Plan 005) by @edgyarmati in #23
• perf: shell stream avoids per-event per-subscriber re-query (Plan 013) by @edgyarmati in #31

Full Changelog: v0.1.1-nightly.20260610.1...v0.1.3-nightly.20260614.1