A new owner resumes; the stale owner is rejected

Diagram guide Explore this system

Inspecting compiled semantics

E ExportT ThemeS Style0 Reset+ Zoom in- Zoom outEsc Close

Find a node

⌕ /

No matching nodes

Semantic passport

Verified source

Authored reach

Path Click where the path starts

Click two nodes on the diagram

Click a start, then an end. Paths follow the arrows.

Semantic lens Compare system roles

Choose up to two semantic kinds. One reveals its real traffic; two compare only direct authored relationships.

Choose a kind to inspect its nodes and touching relationships.

Semantic radar Building overview

Click nodeDrag to pan

Semantic radar needs more MAP space.

Lease expiry allows a new claimant; epoch checking prevents stale state commits.
Every guarded write atomically compares the current owner epoch.
External side effects also need idempotency or fencing enforced by that sink.
Without that external contract, a timeout remains an unknown outcome.

Node index