Question: What occurs to the `alarmRecords` attribute for a short period after the `AlarmList.administrativeState` is changed from LOCKED to UNLOCKED, and what subsequent action may be taken by the MnS producer if supported?
Option 1: The `alarmRecords` are immediately updated, and the MnS producer always executes the Notify Alarm List Rebuilt use case.
Option 2: The `alarmRecords` attribute may contain out-of-date elements temporarily, after which the MnS producer shall execute the Notify Alarm List Rebuilt use case if supported, following the update of AlarmRecords.
Option 3: The `alarmRecords` are cleared, and the MnS producer pauses all notifications until the list is rebuilt.
Option 4: The `AlarmList.administrativeState` change has no temporary effect on the `alarmRecords` attribute's accuracy.
Explanation: When transitioning from a LOCKED to an UNLOCKED state, there's a brief period where the `alarmRecords` might not reflect the current alarm state due to synchronization needs. Once updated, if supported, the MnS producer will execute the Notify Alarm List Rebuilt use case to ensure all consumers are aware of the changes, highlighting the importance of timely and accurate fault management in telecom networks.