Summary

The spec describes a centralized single-writer pattern where a TaskEngine owns all task/project mutations via asyncio.Queue. Agents submit requests, the engine applies model_copy(update=...) sequentially and publishes snapshots. Not implemented.

Design Spec Reference

• §6.8 State Coordination vs Workspace Isolation (table)
• §15.5 Engineering Conventions — "State coordination" row

Scope

• TaskEngine single-writer service with asyncio.Queue
• Sequential mutation application via model_copy(update=...)
• Snapshot publishing for consumers
• Optional version: int field on state models for future optimistic concurrency