vars: {
  d2-config: {
    layout-engine: elk
    theme-id: 0
  }
}

direction: "down"

temporal: {
  label: "temporal"
  arrives: {
    label: "component\narrives"
  }
  install: {
    label: "install\neffects"
  }
  depart: {
    label: "component\ndeparts"
  }
  recover: {
    label: "recover\neffects"
  }
}

space: {
  label: "space"
  absent: {
    label: "dependencies\nare absent"
  }
  providers: {
    label: "providers\nappear"
  }
  withdraw: {
    label: "providers\nwithdraw"
  }
  reeval: {
    label: "re-evaluate\nsatisfaction"
  }
}

temporal.arrives -> temporal.install
temporal.install -> temporal.recover
temporal.depart -> temporal.recover

space.absent -> space.reeval
space.providers -> space.reeval
space.withdraw -> space.reeval

conclusion1: {
  label: "temporal composability\n= safe change over time"
}
conclusion2: {
  label: "spatial composability\n= safe dependency placement"
}

temporal.install -> conclusion1
space.reeval -> conclusion2