There is a hidden feature in the latest Smart Lock 3.0 (Pro) firmware, which you might give a try:
If the Smart Lock 3.0 (Pro) runs a firmware >3.6.9 and debug mode of the Smart Lock is active and a door sensor is paired the Smart Lock goes in state “Undefined” when the door is opened while the Smart Lock thinks it is locked (i.e. the door was opened through a panic function or with a key when a cylinder with priority function is used, where the inner and outer keys are not rotating together).
In state “Undefined” it is still possible to lock / unlock / unlatch the door. Performing a lock command will drive the lock to full locked position in order to recalibrate the internal position sensing of the Smart Lock. In case of an unlatch command, the Smart Lock immediately unlatches the door and repositions itself based on the unlatched position. Unlock commands via BLE and remote unlock commands sent through the specific error dialogue that appears in “Undefined state” within the Nuki App, trigger an unlatch door command. All other unlock commands are denied.
After any of the above lock commands is finished the Smart Lock exits the “Undefined” state and displays the correct state again.