{
  "id": "type-h35",
  "revision": "75076e44c27d45b968d65eb62be3918d99d70d578252155d2e541a325d7bad69",
  "regions": [
    {
      "id": "zone-a",
      "label": "Zone A",
      "parent": null
    },
    {
      "id": "zone-b",
      "label": "Zone B",
      "parent": null
    },
    {
      "id": "control-plane",
      "label": "Control plane",
      "parent": null
    },
    {
      "id": "storage",
      "label": "Storage",
      "parent": null
    }
  ],
  "nodes": [
    {
      "id": "old",
      "label": "Old partition owner",
      "kind": "N05",
      "region": "zone-a",
      "ports": [
        {
          "id": "checkpoint",
          "profile": "P22",
          "contract": "PartitionCheckpointAtCutV1",
          "polarity": "Offer"
        },
        {
          "id": "handoff",
          "profile": "P22",
          "contract": "PartitionOwnershipEpochV1",
          "polarity": "Neutral"
        }
      ]
    },
    {
      "id": "next",
      "label": "Candidate partition owner",
      "kind": "N05",
      "region": "zone-b",
      "ports": [
        {
          "id": "restore",
          "profile": "P22",
          "contract": "PartitionCheckpointAtCutV1",
          "polarity": "Require"
        },
        {
          "id": "handoff",
          "profile": "P22",
          "contract": "PartitionOwnershipEpochV1",
          "polarity": "Neutral"
        }
      ]
    },
    {
      "id": "epoch",
      "label": "Partition epoch authority",
      "kind": "N21",
      "region": "control-plane",
      "ports": [
        {
          "id": "handoff",
          "profile": "P22",
          "contract": "PartitionOwnershipEpochV1",
          "polarity": "Offer"
        },
        {
          "id": "receipt",
          "profile": "P24",
          "contract": "PartitionHandoffEvidenceV1",
          "polarity": "Offer"
        }
      ]
    },
    {
      "id": "checkpoint",
      "label": "Partition checkpoint",
      "kind": "N26",
      "region": "storage",
      "ports": [
        {
          "id": "write",
          "profile": "P22",
          "contract": "PartitionCheckpointAtCutV1",
          "polarity": "Require"
        },
        {
          "id": "read",
          "profile": "P22",
          "contract": "PartitionCheckpointAtCutV1",
          "polarity": "Offer"
        }
      ]
    },
    {
      "id": "evidence",
      "label": "Handoff receipt",
      "kind": "N37",
      "region": "control-plane",
      "ports": [
        {
          "id": "record",
          "profile": "P24",
          "contract": "PartitionHandoffEvidenceV1",
          "polarity": "Require"
        }
      ]
    }
  ],
  "relations": [
    {
      "id": "checkpoint",
      "kind": "H02",
      "incidences": [
        {
          "node": "old",
          "port": "checkpoint",
          "role": "source",
          "ordinal": 0
        },
        {
          "node": "checkpoint",
          "port": "write",
          "role": "target",
          "ordinal": 0
        }
      ]
    },
    {
      "id": "restore",
      "kind": "H05",
      "incidences": [
        {
          "node": "next",
          "port": "restore",
          "role": "caller",
          "ordinal": 0
        },
        {
          "node": "checkpoint",
          "port": "read",
          "role": "callee",
          "ordinal": 0
        }
      ]
    },
    {
      "id": "handoff",
      "kind": "H35",
      "incidences": [
        {
          "node": "old",
          "port": "handoff",
          "role": "old",
          "ordinal": 0
        },
        {
          "node": "next",
          "port": "handoff",
          "role": "new",
          "ordinal": 0
        },
        {
          "node": "epoch",
          "port": "handoff",
          "role": "authority",
          "ordinal": 0
        }
      ]
    },
    {
      "id": "receipt",
      "kind": "H27",
      "incidences": [
        {
          "node": "epoch",
          "port": "receipt",
          "role": "source",
          "ordinal": 0
        },
        {
          "node": "evidence",
          "port": "record",
          "role": "target",
          "ordinal": 0
        }
      ]
    }
  ]
}