Hi RD-one,
The maps part JZ091AAE covers 10,000 square meters. You will only need one of this for the entire area (even though it is covered by four floors).
You will need to include JZ092AAE for the Blue dot navigation. Again this covers 10,000 square meters and only one is required, even though it will cover multiple floors.
For asset tracking include JZ093AAE. This is also based on 10,000 square meters as above.
For the white label App service which includes the Meridian web editor for creating the App and the publishing of the App to the Apple App Store and Google Play Store you need JZ094AAE. The App will be published for you by the Meridian Apps Team: https://docs.meridianapps.com/article/495-white-label-apps
Optionally, you might want to consider JZ095AAE for campaign triggering. You haven't specified a need for this in your message so you would need to look at the specific business requirements.
From a hardware perspective you will need an appropriate number of BLE beacons for Blue dot navigation. This can be based on battery powered beacons and/or Aruba Access Points with BLE radios in them.
JX984A will get you a 5 pack of LS-BT20 battery powered beacons.
JX985A will get you a 50 pack of LS-BT20 battery powered beacons.
JX987A will get you a 50 pac of AT-BT10-50 batter powered asset tags.
There are also USB beaons if required.
The SDK capability is included with a Maps subscription (I believe it just needs to be enabled with a support request). You could, for example, have an AppMaker App and utilise the SDK in another App if you needed to.
You can find a lot of documentation about the SDK here: https://docs.meridianapps.com/collection/288-developers which may help you uncover what the SDK does. Going the SDK path will require you have extensive development capability as well as the knowledge and time to work with Apple and Google to deploy to their respective App Stores.
Hopefully this helps.