Changelog
What we have shipped
Dated themes from the coordination stack — leases, territory, formal exclusivity, semantic adapters, enforcement, and the public site. Not a fake weekly SaaS drip.
Merge-replay verification
Marketing site + waitlist surface
Public landing, manifesto, research, blog, and waitlist flow for design-partner evaluation — white marketing chrome over the same coordination story (leases, territory, verify).
Hardened runtime + enforcement ladder
Optional managent run --runtime=hardened (Docker/bubblewrap VFS) so non-leased territory is read-only at the mount layer; paired with enforce verify-pr / required GitHub checks so --no-verify cannot land. Advisory default unchanged.
Semantic impact demos + language adapters
Interactive semantic impact paths in the demo surface, backed by a language-adapter registry (TypeScript/JavaScript, Python, Java, Go, C#, C++, Rust, and more) separate from textual merge-replay ground truth.
Formal allocator conflict-freedom
Lean mechanization of reachable allocator safety: within modeled transitions, incompatible exclusive territories are never both active. Runtime active_lease_exclusivity invariants correspond. Explicitly out of scope: agent compliance and OS sandboxing.
Territory map as shared ground truth
Live ownership across laptop, CI, and cloud runners via GET /map — active leases, queue, hotspots, optional yours/others views. CLI status/watch and the workspace dashboard read the same plane.
CLI execute + MCP + try path
managent execute (Intent → Fleet Plan → Attested Merge), managent mcp over stdio for Claude Code, and managent try as the one-command first-success host path — seed home, start API, optional collision demo, print wiring.
Exclusive leases (claim → heartbeat → release)
Core lease protocol: acquire territory before edit, heartbeat while running, always release on exit — hotspot splits, idempotency keys, merge-replay verification on the server with root causes (scope_miss | lease_violation | structural).
Want the next release notes in your inbox?