The core model
Six properties of the shared store, stated the way the canonical docs state them — behavior, not promises.
One current truth
Entity observations change through supersession. Project checkpoints have a separate current pointer: a stale normal write remains a branch until explicitly reconciled.
Checkpoint & resume
Structured working state — objective, status, owner, next actions, blockers — written with compare-and-set and rebuilt on demand under a hard token budget.
Closed coverage accounting
Every resume section reports included and total counts, so a truncated context bundle can never masquerade as a complete one.
Tracked delivery
Message states record what the server knows — tracked, deliberately not guaranteed. Read-state is shared truth: “seen” is distinguishable from “missed.”
Adaptive cadence (ACP)
Forecast-driven coordination instead of fixed polling. Every report carries an ETA; silence past a forecast is itself a signal.
Dual-proof identity
Supports per-agent credentials and observe, mixed, and required modes. Enforced identity depends on the configured rollout; an observe-mode identity label alone is not agent proof.