{
  "id": "type-n39",
  "revision": "57f3d4859e854db23512fefc6c04bdb6c2237f69a5d23aca1ed429446906d11a",
  "regions": [
    {
      "id": "workspace",
      "label": "Workspace",
      "parent": null
    },
    {
      "id": "model-host",
      "label": "Model host",
      "parent": null
    },
    {
      "id": "control-plane",
      "label": "Control plane",
      "parent": null
    },
    {
      "id": "runtime",
      "label": "Runtime",
      "parent": null
    }
  ],
  "nodes": [
    {
      "id": "snapshot",
      "label": "Authorized definition snapshot",
      "kind": "N35",
      "region": "workspace",
      "ports": [
        {
          "id": "cut",
          "profile": "P01",
          "contract": "AuthorizedDefinitionCutV1",
          "polarity": "Offer"
        }
      ]
    },
    {
      "id": "agent",
      "label": "Agent change proposer",
      "kind": "N39",
      "region": "model-host",
      "ports": [
        {
          "id": "context",
          "profile": "P01",
          "contract": "AuthorizedDefinitionCutV1",
          "polarity": "Require"
        },
        {
          "id": "patch",
          "profile": "P01",
          "contract": "GraphPatchAtBaseRevisionV1",
          "polarity": "Offer"
        }
      ]
    },
    {
      "id": "validate",
      "label": "Patch validation",
      "kind": "N01",
      "region": "control-plane",
      "ports": [
        {
          "id": "patch",
          "profile": "P01",
          "contract": "GraphPatchAtBaseRevisionV1",
          "polarity": "Require"
        },
        {
          "id": "plan",
          "profile": "P01",
          "contract": "FingerprintPlanV1",
          "polarity": "Offer"
        },
        {
          "id": "admittedPlan",
          "profile": "P01",
          "contract": "FingerprintPlanV1",
          "polarity": "Offer"
        }
      ]
    },
    {
      "id": "review",
      "label": "Human plan approval",
      "kind": "N20",
      "region": "control-plane",
      "ports": [
        {
          "id": "plan",
          "profile": "P01",
          "contract": "FingerprintPlanV1",
          "polarity": "Require"
        },
        {
          "id": "grant",
          "profile": "P20",
          "contract": "PlanBoundPatchGrantV1",
          "polarity": "Offer"
        }
      ]
    },
    {
      "id": "execute",
      "label": "Admitted patch execution",
      "kind": "N40",
      "region": "runtime",
      "ports": [
        {
          "id": "grant",
          "profile": "P20",
          "contract": "PlanBoundPatchGrantV1",
          "polarity": "Require"
        },
        {
          "id": "plan",
          "profile": "P01",
          "contract": "FingerprintPlanV1",
          "polarity": "Require"
        }
      ]
    }
  ],
  "relations": [
    {
      "id": "context",
      "kind": "H02",
      "incidences": [
        {
          "node": "snapshot",
          "port": "cut",
          "role": "source",
          "ordinal": 0
        },
        {
          "node": "agent",
          "port": "context",
          "role": "target",
          "ordinal": 0
        }
      ]
    },
    {
      "id": "patch",
      "kind": "H02",
      "incidences": [
        {
          "node": "agent",
          "port": "patch",
          "role": "source",
          "ordinal": 0
        },
        {
          "node": "validate",
          "port": "patch",
          "role": "target",
          "ordinal": 0
        }
      ]
    },
    {
      "id": "plan",
      "kind": "H02",
      "incidences": [
        {
          "node": "validate",
          "port": "plan",
          "role": "source",
          "ordinal": 0
        },
        {
          "node": "review",
          "port": "plan",
          "role": "target",
          "ordinal": 0
        }
      ]
    },
    {
      "id": "approval",
      "kind": "H23",
      "incidences": [
        {
          "node": "review",
          "port": "grant",
          "role": "principal",
          "ordinal": 0
        },
        {
          "node": "execute",
          "port": "grant",
          "role": "resource",
          "ordinal": 0
        }
      ]
    },
    {
      "id": "execute",
      "kind": "H02",
      "incidences": [
        {
          "node": "validate",
          "port": "admittedPlan",
          "role": "source",
          "ordinal": 0
        },
        {
          "node": "execute",
          "port": "plan",
          "role": "target",
          "ordinal": 0
        }
      ]
    }
  ]
}